Bueno, Enrique.
Debí expresarme mejor cuando te respondí que "yo no digo que las funciones sean iguales...", pues ambos estamos de acuerdo en que un nombre es para una sola función: 'g' es una sola, en regla de correspondencia y dominio. No hay transigencia en ello, ni incurrí en ese esa ligereza..
Lo que quiero decir es esto —espero dejarme entender—:
"g∘g∘⋯∘g = idℝ" {'n' composiciones} implicaría, componiendo 1 vez más, que
"g∘[g∘g∘⋯∘g]" = g {'n+1' composiciones}, propiamente una periodicidad.
Sin embargo la condición del problema no es tan estricta..por ello, en el título puse "periodicidad" (en comillas), puesto que no se exige condiciones para la función toda, sino específicamente para su regla de correspondencia.
Dado que solo se pide que: g[g[g[g[g[.....g[g[x]]....]]]]] = x, no se requiere que ran (g) = dom (g); tan solo se necesita que:
∅ ≠ [ran (g) ∩ dom(g)] = dom (g∘g) ⊆ ℝ
∅ ≠ [ran (g∘g) ∩ dom(g)] = dom (g∘g∘g) ⊆ ℝ
∅ ≠ [ran (g∘g∘g) ∩ dom(g)] = dom (g∘g∘g∘g) ⊆ ℝ
................................................................................. hasta llegar a la 'n'–sima:
∅ ≠ [ran (g∘g∘g∘⋯g) ∩ dom(g)] = dom (g∘g∘g∘⋯g∘g) ⊆ ℝ.
_______________________________________________
** Un ejemplo:
g: [-1; 1> ⊆ ℝ → ℝ / g(x) = (x+1)/(x-1)
que cumple la condición del problema para n=1: g[g(x)] = x
Tal cual se ha mostrado, usando la notación sugerida, dom (g) = [-1; 1>; de allí, se deduce rápidamente que ran (g) = <–∞; 0]. Luego, puedes verificar que "g∘g" solo tiene dominio [-1; 0], etc.