[obm-l] Sobre funções sobrejetoras e cardinalidade de conjuntos

["David Cardoso" <david-obm@xxxxxxxxxxxx>]

Gostaria de ajuda com esse exercício:

Mostre que se existe um mapeamento de B sobre A (i.e., sobrejetor), então
2^|A| <= 2^|B|.
[Dica: Dado g mapeando B sobre A (i.e., sobrejetor), seja f[X] = g^-1[X],
para todo X contido em A]

Alguém me ajuda?

[]s, David.



=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================