[obm-l] #Ordinais = #Cardinais ?

["Eduardo Casagrande Stabel" <dudasta@xxxxxxxxxxxx>]

Oi Pessoal!

Para cada n�mero cardinal c podemos considerar um conjunto A_c com a mesma
cardinalidade: #A_c = c. Podemos colocar uma boa ordem < em A_c, e
considerar o n�mero ordinal a associado a este A_c com esta ordem <. Esta
"fun��o" que est� levando cardinais em ordinais � injetora.

No outro sentido, considera para o primeiro ordinal infinito w o cardinal
infinito f(w) = aleph_0. Defina, por recurs�o transfinita, o valor de f num
ordinal a > w como sendo f(a) = menor cardinal maior que todo cardinal do
conjunto { f(b) : b < a }. Esta "fun��o" � injetora.

Eu usei o termo "fun��o", com aspas, pois n�o existe conjunto dos ordinais
nem conjunto dos cardinais para serem dom�nio ou contra-dom�nio.

Faz sentido esta discuss�o? A segunda "fun��o" � sobrejetora tamb�m?

Abra�o!
Duda.

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