4.4. LA FUNCIÓN INVERSA
123
De las igualdades de arriba obtenemos que x = x , como queríamos demostrar.
Ahora mostraremos que f es sobreyectiva. Fijemos y ∈ B. Debemos hallar x ∈ A tal que
f (x) = y. Como y ∈ B, entonces g(y) ∈ A. Afirmamos que g(y) es la preimage