Vai um de função aqui do ITASejam 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 Ab)existe a função inversa de fc)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.