MathLabs

Problem 5

Let GG be a set of non-constant functions f:R→Rf:\mathbb R\to\mathbb R of the form f(x)=ax+bf(x)=ax+b, with real a,ba,b and a≠0a\ne0. Suppose: if f,g∈Gf,g\in G then g∘f∈Gg\circ f\in G; each inverse f−1f^{-1} belongs to GG; and every f∈Gf\in G has a fixed point. Prove that there is k∈Rk\in\mathbb R fixed by every f∈Gf\in G.
Step 1 of 4: Fixed points and inverses
In plain words

An affine map with slope one can have a fixed point only when it is the identity.

f(x)=ax+b,f−1(x)=x/a−b/af(x)=ax+b, f^{-1}(x)=x/a-b/a
Detailed analysis

If a=1a=1, having a fixed point forces b=0b=0, so ff is the identity. If a≠1a\ne1, its unique fixed point is b/(1−a)b/(1-a).