[obm-l] Cardinalidade

[Artur Costa Steiner <artur@xxxxxxxxxxxxx>]

Boa tarde,

Eu ainda nao consegui demonstrar o seguinte, talvez alguem tenha uma sacada.

Seja A um conjunto infinito e f uma injecao de A sobre B. Se o conjunto B -
f(A) for, no maximo, enumeravel, entao A e B sao equivalentes.

Artur

________________________________________________
OPEN Internet e Informática
@ Primeiro provedor do DF com anti-vírus no servidor de e-mails @


=========================================================================
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
=========================================================================