Vai um de função aqui do ITA
Sejam A e B conjuntos infinitos de numeros
naturais.Se f: A -> B e g: B -> A são funções tais que f(g(x))=x, para
todo x em B e g(f(x))=x, para todo x em A, então,
temos:
a)existe x_0 em B, tal que f(y) = x_0, para todo
y em A
b)existe a função inversa de f
c)existem x_0 e x_1 em A, tais que x_0<>x_1
e f(x_0)=f(x_1)
d)existe a em B, tal que g(f(g(a))) <>
g(a)
Tentei fazer...
Existe um teorema que diz que sempre que fog=gof a função admite
inversa(alguém sabe demonstrar)...aí nesse caso daria
b.