Puesto que f(f(x)) existe, esto implica que f(x) debe estar en el dominio de f (cosa que no podemos formulario de $f(f(x))$. Así que f debe asignar un conjunto a de la misma, es decir,$f:A \rightarrow A$. Ejemplos de utilización de decir R y C son, por tanto, no es válido: el dominio de f es R o C, en este caso tendrás $f: R \rightarrow C$ $F: C \rightarrow R$ $f = F|_R$ (es decir, f es $F$ restringido a R) y, a continuación,$F(f(x)) = x$.
En general si $f:A \to B$$F:B \to A$$f = F \implies B = A$, y aquí $f = F$ es implícita por $f(f(x)) = x$.
Así que con esa comprensión, entonces f es un bijection.
- f debe ser en (surjective) ya que para todos $x \in A$ $f(x) $ se define (en virtud de la comprensión normal) y $=x$, así que para todos los $x \in A$ existe $x \in A$ tal que $x = f(x)$
- f debe ser en (inyectiva) como $f(y) = y$ así que si $f(x) = f(y)$$x = y$.