Sea $h$ sea un inverso de $f\circ f \circ g\circ g \circ f\circ f$ .
$id=(f\circ f \circ g\circ g \circ f\circ f)\circ h=f\circ (f \circ g\circ g \circ f\circ f\circ h)$ implica que $f$ es suryectiva.
$id=h\circ (f\circ f \circ g\circ g \circ f\circ f)=(h\circ f\circ f \circ g\circ g \circ f)\circ f$ implica que $f$ es inyectiva.
Así, $f$ es una biyección y por tanto tiene un inverso $f'$ .
Entonces $g\circ g = f' \circ f' \circ (f\circ f \circ g\circ g \circ f\circ f) \circ f' \circ f'$ .
Esto implica que $g\circ g$ es invertible, porque es la composición de funciones invertibles.
Por fin, $g$ es invertible repitiendo el argumento utilizado para $f$ .
Más concretamente, dejemos que $k$ sea un inverso de $g\circ g$ . Entonces:
$id=(g\circ g) \circ k= g\circ (g \circ k)$ implica que $g$ es suryectiva.
$id=k \circ(g\circ g)=(k \circ g)\circ g$ implica que $g$ es inyectiva.
Así, $g$ es una biyección y, por tanto, invertible.
En términos más generales,
Si $F \circ G \circ F$ es invertible, entonces $F$ y $G$ son invertibles.
Aplique esto una vez a $F=f \circ f$ y $G=g\circ g$ y conseguir que $g\circ g$ es invertible.
Aplíquelo de nuevo a $F=g$ y $G=id$ y conseguir que $g$ es invertible.
1 votos
Si g no es invertible, entonces tampoco lo es la composición