[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] ex de função...



Olá, boa noite
 
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)
 
Abraços
 
Vinícius Meireles Aleixo