Re: estranho

["Rogerio Fajardo" <rogeriofajardo@xxxxxxxxxxx>]

J� que o assunto � Teoria dos Conjuntos, gostaria que algu�m me resolvesse 
algumas d�vidas:
   1)A cardinalidade do conjunto dos n�meros reais � 2^n, onde n � a 
cardinalidade do conjunto dos naturais. Existe, ent�o, uma bije��o entre o 
conjunto dos reais e o conjunto dos subconjuntos dos naturais? Como prova?
   2)Existe uma bije��o entre o conjunto dos reais e o conjunto dos 
subconjuntos enumer�veis dos reais?
   3)Qual seria um exemplo de um conjunto maior do que o dos reais?

					Rogerio Fajardo


>From: "Nicolau C. Saldanha" <nicolau@mat.puc-rio.br>
>Reply-To: obm-l@mat.puc-rio.br
>To: obm-l@mat.puc-rio.br
>Subject: Re: estranho
>Date: Tue, 12 Sep 2000 13:53:17 -0300 (BRT)
>
>
>
>On Mon, 11 Sep 2000, Eduardo Favar�o Botelho wrote:
>
> > Espera a�!
> >
> >     Que neg�cio � esso de que um infinito � maior que o outro? como 
>assim
> > ser Q um conjunto enumer�vel?
> >     Estou confuso.
> >     E aproveitando a deixa, gostaria de deixar um problema bonitinho:
> > calcule S, sendo
> >
> >     S = 1 +2/2 +3/4 +4/8 +5/16 + ...
> >
> >     Abra�os, Eduardo
> >
> >
> > >Um exemplo:
> > >tome o conjunto dos n�meros reais R.
> > >lembre-se que Q (conjunto dos numeros racionais) e I (conjunto dos 
>numeros
> > irracionais) estao contidos >em R.
> > >Escolha um elemento de R aleatoriamente.
> > >Sabe qual e a probabilidade desse elemento ser racional?
> > >ZERO, apesar de Q ser um conjunto infinito e denso em R e portanto esse
> > evento e perfeitamente >possivel.
> > >Isto decorre do fato de Q ser um conjunto enumeravel (se e que isso faz
> > algum sentido para voce) e I, >assim como R nao sao enumeraveis, ou seja 
>sao
> > "muito maiores".
> >
>
>Um conjunto infinito X � enumer�vel se existe bije��o entre X e N,
>o conjunto dos naturais.
>
>O cardinal de X � igual ao de Y se existe bije��o entre X e Y.
>Escreve-se |X| = |Y|.
>X � infinito enumer�vel se |X| = |N|.
>
>O cardinal de X � maior ou igual do que o de Y se existir:
>(a) fun��o injetora de Y para X;
>(b) fun��o sobrejetora de X para Y.
>As condi��es (a) e (b) s�o equivalentes.
>Escreve-se |X| >= |Y|.
>
>Naturalmente, escreve-se |X| > |Y| quando |X| >= |Y| mas |X| != |Y|
>(onde != significa 'diferente de', ou seja, 'n�o igual a').
>
>Pode-se demonstrar que |N| = |Z| = |Q| < |R| = |C|,
>onde estes s�o os conjuntos dos naturais, inteiros, racionais,
>reais e complexos.
>Para qualquer conjunto X, sempre temos |X| < |P(X)|,
>onde P(X) = {Y | Y � subconjunto de X} � o conjunto das partes de X.
>Para quaisquer conjuntos infinitos X e Y temos |X| <= |Y| ou |Y| <= |X|
>e |X U Y| = |X x Y| = max(|X|,|Y|).
>
>O assunto � grande, veja um bom livro de teoria dos conjuntos,
>como Na�ve Set Theory, Halmos (existe tradu��o).
>
>[]s, N.
>

_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.

Share information about yourself, create your own public profile at 
http://profiles.msn.com.