4 Conjuntos Enumerveis e Conjuntos a N~o Enumerveis a a

A deni~o de Dedekind, de conjunto innito, usada ma discuss~o de propriedades ca e a demonstrado, dentre outras coisas, de conjuntos innitos e de conjuntos nitos. E que conjuntos enumerveis s~o os menores, em tamanho, dentre os conjuntos innitos. a a Propriedades e exemplos, de conjuntos enumerveis e de conjuntos n~o enumerveis, s~o a a a a dadas.

4.1

Conjuntos nitos e innitos

Na Se~o 2.1, Cap ca tulo 1, mencionamos informalmente que um conjunto nito um e conjunto que contm apenas uma quantidade nita de elementos; embora este conceito e possa ser transformado em uma deni~o matemtica mais precisa, daremos prefer^ncia ca a e a uma deni~o alternativa (Deni~o 4.1), formulada por Dedekind. ca ca Foi enfatizado, na Se~o 2.1, do Cap ca tulo 2, que o conjunto N, dos nmeros u naturais, um conjunto innito. Seja Np = f2; 4; 6; : : : g o conjunto de todos os nmeros e u naturais pares. Como foi mostrado ao leitor, no Problema 8, Exerc cios 3.6.1, existe uma correspond^ncia um-a-um entre o conjunto N e seu subconjunto prprio Np . e o Em outras palavras, Uma parte t~o numerosa quanto o todo.1 e a Esta propriedade estranha (de um conjunto innito) incomodou muitos matema ticos, inclusive Georg Cantor. Foi Richard Dedekind (1831{1916)2 que tornou esta
Uma diferena notvel em rela~o ao axioma de Euclides: \O todo maior que qualquer de suas c a ca e partes." (325 a.C.). 2 Richard Dedekind, um dos maiores matemticos, nasceu em 6 de outubro de 1831, em Brunswick, a Alemanha. De in cio, os interesses de Dedekind estavam na F sica e na Qu mica; ele considerava a Matemtica meramente como uma serva das ci^ncias. Mas isto n~o durou muito; aos dezessete anos, a e a
1

77

78

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

propriedade a caracter stica denidora de um conjunto innito. A seguinte deni~o foi ca dada por Dedekind em 1888.

Deni~o 4.1 Um conjunto X innito quando possui um subconjunto prprio Y , tal ca e o que existe uma correspond^ncia um-a-um entre X e Y . Um conjunto nito se n~o for e e a innito. Em outras palavras, um conjunto X innito se e somente se existe uma inje~o e ca f : X ! X tal que f (X) um subconjunto prprio de X. Logo, o conjunto N de e o numeros naturais um conjunto innito. e Exemplo 4.1 O conjunto

e os conjuntos unitrios3 s~o nitos. a a

Solu~o. (a) Como o conjunto vazio n~o possui nenhum subconjunto prprio, o conjunto ca a o vazio nito. (b) Seja fag um conjunto unitrio qualquer. Como o unico subconjunto e a prprio de fag o conjunto vazio, e n~o h nenhuma correspond^ncia biun o e a a e voca entre fag e , fag necessariamente nito. e

Teorema 4.1 (a) Todo superconjunto, de um conjunto innito, innito. e (b) Todo subconjunto, de um conjunto nito, nito. e Demonstra~o. ca (a) Seja X um conjunto innito e seja Y um superconjunto de X, i.e., X Y . e Ent~o, pela Deni~o 4.1, existe uma inje~o f : X ! X tal que f(X) 6X. a ca ca = Dena uma fun~o g : Y ! Y por ca f (y) g(y) = y

se y 2 X se y 2 Y X

Deixamos ao leitor vericar que a fun~o g : Y ! Y injetora e que g(Y ) 6Y . ca e = Segue ent~o, pela Deni~o 4.1, que Y innito. a ca e (b) Seja Y um conjunto nito e seja X um subconjunto de Y , i.e., X Y . Para demonstrar que X nito, supomos o contrrio, que X innito. Ent~o, por (a), o e a e a conjunto Y deve ser innito. Isto uma contradi~o. Portanto, o conjunto X nito. e ca e
ele havia se mudado, da F sica e da Qu mica, para a Matemtica, cuja lgica achava mais satisfatria. a o o Aos dezenove anos, matriculou-se na Universidade de Gttingen para estudar Matemtica, e recebeu seu o a grau de doutor tr^s anos depois, sob a orienta~o de Gauss. Sua contribui~o fundamental Matemtica e ca ca a a inclui o famoso \corte de Dedekind", um conceito importante no estudo de nmeros irracionais, que o u leitor poder ter a oportunidade de estudar em um curso de anlise real. a a 3 Um conjunto unitrio um conjunto que consiste de um unico elemento. a e

 ~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

79

Teorema 4.2 Seja g : X ! Y uma correspond^ncia um-a-um. Se o conjunto X e e innito, ent~o Y innito. a e Demonstra~o. Como X innito, pela Deni~o 4.1, existe uma inje~o f : X ! X ca e ca ca tal que f (X) 6X. Como g : X ! Y uma correspond^ncia um-a-um, tambm o = e e e e g 1 : Y ! X (Teorema 3.14, Cap tulo 3). Temos agora o seguinte diagrama de inje~es: co Y ? ? g 1 y
f

Y x ?g ?

X X ! Conseqentemente, a composi~o h = g f g 1 : Y ! Y de inje~es uma u ca co e inje~o [Problema 7, Exerc ca cios 3.7.1]. Finalmente, temos h(Y ) = (g f g 1 )(Y ) = (g f )(g 1 (Y )) = (g f )(X) = g(f (X)) e g(f (X)) 6Y , porque f (X) 6X. = = Logo, h(Y ) um subconjunto prprio de Y , e portanto Y innito. e o e Corolrio 4.1 Seja g : X ! Y uma correspond^ncia um-a-um. Se o conjunto X a e e nito, ent~o Y nito. a e Demonstra~o. Exerc ca cio. Teorema 4.3 Seja X um conjunto innito e seja x0 2 X. Ent~o X fx0 g innito. a e Demonstra~o. Pela Deni~o 4.1, existe uma inje~o f : X ! X tal que f (X) X. ca ca ca H dois casos a serem considerados: (1) x0 2 f(X), ou (2) x0 2 X f (X). Em cada a caso, devemos construir uma inje~o gX fx0 g: ! X fx0 g, tal que g(X fx0 g) 6 ca = X fx0 g. Caso 1. x0 2 f(X). Existe um elemento x1 em X tal que f (x1 ) = x0 . Uma fun~o ca g : X fx0 g ! X fx0 g pode agora ser denida por g(x) = f(x) x2 se x 6x1 = se x = x1 2 X fx0 g

80

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

e a em que x2 um elemento do conjunto n~o vazio Xf(X), arbitrariamente xado. Segue que gX fx0 g : ! X fx0 g injetora e que g(X fx0 g) = f (X fx0 ; x1 g)[ fx2 g 6 e = X fx0 g. Portanto, X fx0 g innito neste caso. e Caso 2. x0 2 X f (X). Dena uma fun~o g : X fx0 g ! X fx0 g por g(x) = f (x) para todo x 2 ca e e e X fx0 g. Como f : X ! X injetora, tambm o g : X fx0 g ! X fx0 g. Finalmente, g(X fx0 g) = f (X) ff (x0 )g 6X fx0 g = Portanto, em qualquer caso, X fx0 g innito. e No que segue, denotaremos por Nk , k 2 N, o conjunto de todos os nmeros u naturais de 1 at k; isto , Nk = f1; 2; : : : ; kg. Como uma aplica~o do Teorema 4.3, e e ca mostramos no seguinte exemplo que cada Nk nito. e Exemplo 4.2 Para cada k 2 N, o conjunto Nk nito. e Demonstra~o. Demonstraremos isto pelo princ de indu~o matemtica. Pelo Exemca pio ca a plo 4.1, a arma~o verdadeira para k = 1. Agora, suponha que o conjunto Nk nito ca e e para algum nmero natural k. Considere o conjunto Nk+1 = Nk [ fk + 1g. Se Nk+1 for u innito, ent~o, pelo Teorema 4.3, Nk+1 fk + 1g = Nk ser um conjunto innito, o que a a contradiz a hiptese de indu~o. Logo, se Nk nito, ent~o Nk+1 nito. Portanto, o ca e a e pelo princ de indu~o matemtica, o conjunto Nk nito para cada k 2 N. pio ca a e Na verdade, existe uma conex~o a ntima entre um conjunto nito n~o vazio e um a conjunto Nk . Teorema 4.4 Um conjunto X nito se e somente se X = e pond^ncia um-a-um com algum Nk . e

ou X

est em corresa

Demonstra~o. Se X vazio ou est em correspond^ncia um-a-um com algum Nk , ca e a e ent~o, pelo Corolrio do Teorema 4.2, e Exemplos 4.1 e 4.2, o conjunto X nito. a a e Para mostrar a rec proca, mostramos, equivalentemente, sua contrapositiva: Se a a e a e X = e X n~o est em correspond^ncia um-a-um com nenhum Nk , ent~o X innito. 6 Podemos tomar um elemento x1 de X, e ter novamente X fx1 g n~o vazio; pois, a caso contrrio, ter a amos X = fx1 g em correspond^ncia com N1 , uma contradi~o com e ca a hiptese sobre X. o Continuando desta maneira, suponhamos que escolhemos elementos x1 , x2 , : : : , xk de X. Ent~o X fx1 ; x2 ; : : : ; xk g n~o vazio; caso contrrio, teremos X = fx1 ; x2 ; a e a a : : : ; xk g em correspond^ncia um-a-um com Nk , uma contradi~o com nossa hiptese e ca o sobre X. Logo, podemos sempre escolher um elemento xk+1 de X fx1 ; x2 ; : : : ; xk g. Ent~o, por indu~o matemtica, para todo nmero natural n, existe um subconjunto a ca a u

 ~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

81

prprio fx1 ; x2 ; : : : ; xn g de X. Denotemos o conjunto dos xn 's escolhidos por Y .4 o Ent~o a fun~o f : Y ! Y fx1 g, denida por f (xk ) = xk+1 para todo k 2 N, a ca estabelece uma correspond^ncia um-a-um entre Y e seu subconjunto prprio Y fx1 g. e o Portanto, pela Deni~o 4.1, Y innito e portanto, pelo Teorema 4.1, X innito. ca e e Mencionaremos aqui que o Teorema 4.4 sugere uma deni~o alternativa de conca juntos nitos e innitos. Podemos denir um conjunto como sendo nito se e somente se ele vazio ou est em correspond^ncia um-a-um com algum Nk , e sendo innito se e a e e somente se n~o nito. Desta deni~o alternativa, nossa Deni~o 4.1 pode ser a e ca ca demonstrada como um teorema. Entretanto, isto requeriria mais ou menos o mesmo montante de trabalho requerido pela nossa presente abordagem.

4.1.1

Exerc cios

1. Complete a demonstra~o do Teorema 1. ca 2. Seja g : X ! Y uma correspond^ncia um-a-um. Demonstre que se X nito, ent~o e e a Y nito. e 3. Demonstre que os conjuntos Z, Q e R s~o innitos. a 4. Demonstre que se A um conjunto innito, ent~o A A tambm o . e a e e 5. Demonstre que se A e B s~o conjuntos innitos, ent~o A [ B um conjunto innito. a a e 6. Demonstre que a reuni~o de um nmero nito de conjuntos nitos um conjunto a u e nito. 7. Sejam A e B dois conjuntos tais que A [ B innito. Demonstre que ao menos um e dos dois conjuntos A e B innito. e 8. Demonstre a seguinte generaliza~o do Teorema 4.3: Se Y um subconjunto nito ca e de um conjunto innito X, ent~o X Y innito. a e

4.2

Equipot^ncia de conjuntos e

Dois conjuntos nitos X tem o mesmo nmero de elementos se e somente se existe uma u correspond^ncia um-a-um f : X ! Y . Embora a frase \mesmo nmero de elementos" e u n~o se aplique aqui se X e Y s~o innitos, parece natural pensar que dois conjunto innia a tos, que estejam em correspond^ncia um-a-um, tem o mesmo tamanho. Formalizaremos e esta intui~o como segue: ca Deni~o 4.2 Dois conjuntos X e Y dizem-se equipotentes, fato denotado por X Y , ca quando existe uma correspond^ncia um-a-um f : X ! Y . e
Aqui os autores usaram implicitamente o \axioma da escolha", um axioma importante a ser discutido no Cap tulo 6. Uma forma do axioma da escolha pode ser enunciada como: \Seja P um conjunto n~o a vazio, de subconjuntos n~o vazios de um conjunto dado X. Ent~o existe um conjunto R X tal que a a para todo C 2 P, C \ R um conjunto unitrio". Este axioma ser usado em todas as partes deste e a a livro, sem ser explicitamente mencionado.
4

82

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

Obviamente, todo conjunto equipotente a si mesmo. Como a inversa de uma e correspond^ncia um-a-um uma correspond^ncia um-a-um (Teorema 3.14), X Y e e e se e somente se Y X. Convencionaremos que o s mbolo f : X Y signicar a \f : X ! Y uma correspond^ncia um-a-um e portanto X Y ". Usando esta nota~o e e ca conveniente, a primeira metade do Problema 9, Exerc cios 3.7.1 pode ser re-enunciado como: Se f : X Y e g : Y Z, ent~o g f : X Z. Acabamos de demonstrar ent~o a a o seguinte teorema. Teorema 4.5 Seja Ium conjunto de conjuntos e seja R uma rela~o em Idada por: ca X R Y se e somente se X e Y s~o membros de Ie X Y . Ent~o R uma rela~o de a a e ca equival^ncia em I e . No seguinte exemplo, os s mbolos ]0; 1[ e ] 1; 1[ denotam intervalos de nmeros u reais. Exemplo 4.3 (a) ]0; 1[ ] 1; 1[. (b) ] 1; 1[ R, e R ]0; 1[. Solu~o. (a) A fun~o f : ]0; 1[ ! ] 1; 1[, dada por f (x) = 2x 1, uma corresponca ca e d^ncia um-a-um. Portanto, ]0; 1[ ] 1; 1[. e (b) A fun~o trigonomtrica g : ] 1; 1[ ! R, dada por g(x) = tg(x=2), uma ca e e correspond^ncia um-a-um; portanto ] 1; 1[ R. O leitor deveria vericar esta asser~o e ca esboando um grco de g(x) = tg(x=2). Uma demonstra~o rigorosa pode ser obtida c a ca vericando-se as seguintes duas observa~es: co (1) g : ] 1; 1[ ! R cont e nua, e ilimitada, tanto superiormente como inferiormente. 0 2 e (2) g (x) = (=2) sec (x=2) > 0, 8x, ) g estritamente crescente. Como a \rela~o" de equipot^ncia transitiva,5 ]0; 1[ ] 1; 1[ e ] 1; 1[ R ca e e implicam ]0; 1[ R.

Teorema 4.6 Sejam X, Y , Z e W conjuntos com X \ Z = f : X Y e g : Z W . Ent~o f [ g : (X [ Z) (Y [ W ). a

=Y

\ W , e sejam

Demonstra~o. Como f : X ! Y e g : Z ! W s~o funoes com X \ Z = , pelo ca a c~ Teorema 3.8, do Cap tulo 3, f [ g : X [ Z ! Y [ W uma fun~o. Deixaremos ao e ca leitor a demonstra~o de que esta ltima fun~o uma correspond^ncia um-a-um. ca u ca e e
Falando estritamente, \" n~o uma rela~o de equival^ncia, porque seu dom a e ca e nio n~o um a e conjunto (veja Teorema 2.10 do Cap tulo 2). Mas podemos cham-la uma relaao se considerarmo-la a c~ denida em qualquer conjunto de conjuntos I(Teorema 4.5).
5

 ~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

83

Teorema 4.7 Sejam X, Y , Z e W conjuntos tais que X Y e Z W . Ent~o a X Z Y W. Demonstra~o. Sejam f : X Y e g : Z W . Denamos a fun~o f g : X Z ! ca ca Y W , por (f g)(x; z) = (f(x); g(z)) para todo (x; z) 2 X Z. Pedimos ao leitor demonstrar que esta ultima fun~o uma correspond^ncia um-a-um. ca e e Examinando os vrios conjuntos nitos Nk = f1; 2; 3; : : : ; kg, conforme k cresce, a e notando que os conjuntos innitos Z, Q, e R (veja Problema 3, Exerc cios 4.1.1) s~o a superconjuntos de N, parece que o \menor" conjunto innito o conjunto N de todos e os nmeros naturais, ou qualquer conjunto que seja equipotente a N. Aprenderemos em u breve, na Se~o 4.4, que nem todos os conjuntos innitos s~o equipotentes a N. ca a Deni~o 4.3 Um conjunto X dito ser enumervel quando X N. Um conjunto ca e a contvel um conjunto nito ou enumervel. a e a Seja X um conjunto enumervel. Ent~o existe uma correspond^ncia biun a a e voca f : X N. Se denotamos f(1) = x1 ; f (2) = x2 ; f (3) = x3 ; : : : ; f(k) = xk ; : : : ent~o X pode ser denotado alternativamente por fx1 ; x2 ; x3 ; : : : ; xk ; : : : g; as retic^ncias a e ( : : : ) s~o usadas para indicar que os elementos s~o etiquetados em uma ordem denida, a a conforme indicado pelos ndices. Uma explica~o para o termo \contvel" est agora ca a a em pauta. Para um conjunto nito, teoricamente poss contar seus elementos e o e vel termo adequado. Muito embora a contagem de fato de todos os elementos de um e vel, o conjunto X est em a conjunto enumervel X = fx1 ; x2 ; x3 ; : : : ; g seja imposs a correspond^ncia biun e voca com os nmeros de contagem, os nmeros naturais. u u Teorema 4.8 Todo subconjunto innito, de um conjunto enumervel, enumervel. a e a Demonstra~o. Seja Y um subconjunto innito de um conjunto enumervel X = fx1 ; ca a x2 ; x3 ; : : : g. Seja n1 o menor ndice para o qual xn1 2 Y , e seja n2 o menor ndice para o qual xn2 2 Y xn1 . Tendo denido xnk1 , seja nk o menor ndice tal que xnk 2 Y fxn1 ; xn2 ; : : : ; xnk1 g. Um tal nk sempre existe pois Y innito, o que e garante que Y fxn1 ; xn2 ; : : : ; xnk1 g 6 para cada k 2 N. Deste modo, constru = mos uma correspond^ncia um-a-um f : Y N, sendo f(k) = xnk para cada k 2 N. Portanto, e Y enumervel. e a Uma demonstra~o mais curta, porm menos intuitiva, do Teorema 4.8, indicada ca e e no Problema 10 ao nal desta se~o. O seguinte corolrio uma conseq^ncia imediata ca a e ue da Deni~o 4.3 e do Teorema 4.8. ca

84

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

Corolrio 4.2 Todo subconjunto de um conjunto contvel contvel. a a e a

Mais exemplos e propriedades de conjuntos enumerveis s~o dados na prxima a a o se~o. ca

4.2.1

Exerc cios

1. Complete a demonstra~o do Teorema 6. ca 2. Complete a demonstra~o do Teorema 7. ca 3. Demonstre que se X e Y s~o dois conjuntos, ent~o X Y Y X. a a 4. Demonstre que se (X Y ) (Y X) ent~o X Y . a 5. Demonstre a seguinte generaliza~o do Teorema 4.6: Seja fX j 2 g e fY j ca 2 g duasS lias de conjuntos disjuntos, tal que X Y para cada 2 . Ent~o fam a S 2 X 2 Y . 6. Demonstre que se X um conjunto enumervel e Y um subconjunto nito de X, e a e ent~o X Y enumervel. [Compare com o Problema 8, Exerc a e a cios 4.1.1.] 7. Demonstre que se X um conjunto enumervel e Y um conjunto nito, ent~o e a e a X [ Y enumervel. e a u 8. Demonstre que o conjunto Np , de todos os nmeros naturais pares, e o conjunto Ni , de todos os nmeros naturais u mpares, s~o enumerveis. a a 9. Seja A um conjunto n~o vazio, e seja 2A o conjunto das fun~es de A no conjunto a co A f0; 1g. Demonstre que }(A) 2 . 10. Sejam X um conjunto enumervel e Y um subconjunto innito de X. Seja g : X a N, e seja h : Y ! N a fun~o denida por ca h(y) = nmero de elementos em f1; 2; 3; : : : ; g(y)g \ g(Y ) u Demonstre que h uma correspond^ncia um-a-um e que portanto Y enumervel. e e e a

4.3

Exemplos e propriedades de conjuntos enumera veis

O conjunto Np de todos os nmeros naturais pares e o conjunto Ni de todos os nmeros u u naturais mpares s~o enumerveis (Problema 8, Exerc a a cios 4.2.1). Como a reuni~o Np [ a Ni (= N) destes dois conjuntos enumerveis enumervel, o prximo teorema deveria a e a o ser previs vel.

Teorema 4.9 A uni~o de dois conjuntos enumerveis enumervel. a a e a Demonstra~o. Sejam A e B dois conjuntos enumerveis. Mostraremos que A [ B ca a e enumervel nos dois casos seguintes: a

 ~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis Caso 1. A \ B = .

85

Como A N e N Np , temos A Np . De modo semelhante, temos B Ni . Conseqentemente, pelo Teorema 4.6, temos (A [ B) (Np [ Ni ) = N, o que u demonstra que A [ B enumervel. e a Caso 2. A \ B 6. = Seja C = B A. Ent~o A [ C = A [ B e A \ C = ; o conjunto C B ou a e nito ou enumervel [Corolrio 4.2 do Teorema 4.8]. Se C nito, pelo Problema a a e 7 dos Exerc cios 4.2.1, A [ C enumervel, e se C enumervel, ent~o A [ C e a e a a e enumervel, pelo caso 1 acima. a Portanto, o conjunto A [ B enumervel. e a Corolrio 4.3 Sejam A1 ; A2 ; : : : ; An conjuntos enumerveis. Ent~o a a a mervel. a Sn
k=1

Ak enue

Demonstra~o. A demonstra~o deixada ao leitor, como um exerc ca ca e cio. Pedimos ao leitor vericar o prximo exemplo. o Exemplo 4.4 O conjunto Z de todos os inteiros enumervel. e a Teorema 4.10 O conjunto N N enumervel. e a Demonstra~o. Considere a fun~o f : N N ! N dada por ca ca f (j; k) = 2j 3k para todo (j; k) 2 N N. Esta fun~o injetora, de modo que ca e N N f(N N) N: Como NN innito, f(NN) tambm o . Pelo Teorema 4.8, f (NN) enumervel e e e e a e portanto N N enumervel. e a Corolrio 4.4 Para cada k 2 N, seja Ak um conjunto enumervel satisfazendo Aj \ a a S 6 Ak = para todo j 6k. Ent~o k2N Ak enumervel. = a e a Demonstra~o. Para cada k 2 N, seja fk : N ! N fkg uma fun~o dada por fk (j) = ca ca (j; k) para todo j 2 N. Claramente, cada fk : N ! N fkg uma correspond^ncia e e um-a-um. Ou seja, N N fkg. Como Ak N e N N fkg para cada k 2 N, temos Ak S N fkgS para cada k 2 N. Segue ent~S do Problema 5 dos Exerc ao, cios 4.2.1, que k2N Ak k2N N fkg. Mas o conjunto k2N N fkg igual ao conjunto e S enumervel N N. Portanto, k2N Ak enumervel. a e a
6

Este resultado verdadeiro sem a hiptese \Ak \ Aj = e o

para todo j 6k." Veja Problema 7. =

86

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

Exemplo 4.5 O conjunto Q de todos os nmeros racionais enumervel. u e a Demonstra~o. Representaremos cada nmero racional de maneira nica como p=q, ca u u sendo p 2 Z, q 2 N e o mximo divisor comum de p e q igual a 1. Seja Q+ o conjunto a de tais elementos com p=q > 0, e seja Q = fp=q j p=q 2 Q+ g. Ent~o Q = a evidente que Q+ Q . Portanto, para mostrar que Q enumervel, Q+ [ f0g [ Q . E e a suciente mostrar que Q+ enumervel. Para este propsito, consideramos a fun~o e e a o ca f : Q+ ! N N, dada por f (p=q) = (p; q). Como esta fun~o injetora, temos ca e Q+ f(Q+ ) N N. Como Q+ , como um superconjunto de N, innito, f (Q+ ) e e e a um subconjunto innito do conjunto enumervel N N. Portanto, f(Q+ ) enumervel a e conseqentemente Q+ enumervel. A demonstra~o est agora completa. u e a ca a O prximo teorema indica que os conjunto enumerveis s~o, em um certo sentido, o a a os menores em \tamanho" dentre os conjuntos innitos. Teorema 4.11 Todo conjunto innito contm um subconjunto enumervel. e a Demonstra~o. Seja X um conjunto innito qualquer. Ent~o X 6, de modo que ca a = podemos escolher um elemento, digamos x1 , no conjunto X. A seguir, seja x2 um elemento em X fx1 g. De modo semelhante, escolha um elemento x3 do conjunto n~o vazio X fx1 ; x2 g. Tendo assim denido xk1 , escolhemos um elemento xk no a conjunto X fx1 ; x2 ; : : : ; xk1 g. Tal xk existe para cada k 2 N, porque X innito, o e que garante que X fx1 ; x2 ; : : : ; xk1 g 6 para todo k 2 N. O conjunto fxk j k 2 Ng = um subconjunto enumervel de X, e a demonstra~o est completa. e a ca a

4.3.1

Exerc cios

1. Demonstre a asser~o do Exemplo 4.3: O conjunto Z de todos os inteiros enuca e mervel. a 2. Demonstre o Corolrio 4.3 do Teorema 4.9. a 3. Demonstre que a uni~o de um nmero nito de conjuntos contveis contvel. a u a e a 4. Demonstre que se A e B s~o conjuntos enumerveis, ent~o tambm o A B. Em a a a e e particular, Z N, Z Z, e Q Q s~o enumerveis. a a 5. Encontre uma fun~o injetora f : Q ! Z N e d^ uma demonstra~o alternativa ca e ca para o Exemplo 4.5. 6. Demonstre que o conjunto dos c rculos no plano cartesiano, tendo raios racionais e centros em pontos com ambas as coordenadas racionais, enumervel. e a S e a a 7. Demonstre que se para cada k 2 N, Bk um conjunto enumervel, ent~o k2N Bk enumervel. e a

4.4

Conjuntos n~o enumerveis a a

Todos os conjuntos innitos que vimos at o momento s~o enumerveis. Isto pode e a a levar o leitor a indagar se todos os conjuntos innitos s~o enumerveis. E comumente a a

 ~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

87

pensado que Georg Cantor tentou demonstrar que todo conjunto innito enumervel, e a quando iniciou seu desenvolvimento da teoria dos conjuntos. Entretanto, ^le surprendeue se demonstrando que existem conjuntos n~o enumerveis. a a Teorema 4.12 O intervalo aberto ]0; 1[ de nmeros reais um conjunto n~o enumervel. u e a a Demonstra~o. Expressemos primeiramente cada nmero x, x < 0 < 1, como ca u uma expans~o decimal na forma 0; x1 xp 3 : : : , com xn 2 f0; 1; 2; : : : ; 9g para caa x 2 da n. Por exemplo, 1=3 = 0; 333 : : : , 2=2 = 0; 707106 : : : . De modo a ter uma unica express~o, para aqueles nmeros com uma expans~o decimal nita, tais como a u a 1=4 = 0; 25, concordaremos em subtrair 1 do ultimo d gito e acrescentar 9's, de modo que 1=4 = 0; 24999 : : : , e n~o 0; 25000 : : : . Sob este acordo, dois nmeros no intervalo a u ]0; 1[ s~o iguais se e somente se os d a gitos correspondentes, de suas expans~es decimais, o s~o id^nticos. Assim, se dois tais nmeros, x = 0; x1 x2 x3 : : : e y = 0; y1 y2 y3 : : : tem a e u uma casa decimal, digamos a k-sima casa decimal, tal que xk 6yk , ent~o x 6y. Este e = a = um ponto crucial sobre o qual nossa demonstra~o se apoia. e ca Agora, suponha que o conjunto ]0; 1[ enumervel. Ent~o existe uma correspone a a d^ncia um-a-um f : N ]0; 1[. Ent~o podemos listar todos os elementos de ]0; 1[ como e a segue: f (1) = 0; a11 a12 a13 : : : f (2) = 0; a21 a22 a23 : : : f (3) = 0; a31 a32 a33 : : : . . . f (k) = 0; ak1 ak2 ak3 : : : . . .

()

em que cada ajk 2 f0; 1; 2; : : : ; 9g. Construiremos um nmero z 2 ]0; 1[, que n~o pode ser encontrado na lista acima de u a f (k)'s. Esta contradi~o implicar que nossa suposi~o prvia de que ]0; 1[ enumervel ca a ca e e a estava errada, e que portanto ]0; 1[ n~o enumervel. Seja z = 0; z1 z2 z3 : : : denido por e a a zk = 5, se akk 65, e zk = 1 se akk = 5, para cada k 2 N. O nmero z = 0; z1 z2 z3 : : : = u claramente satisfaz 0 < z < 1; mas z 6f (1) pois z1 6a11 , z 6f (2) pois z2 6a22 , : : : , = = = = e de modo geral z 6f (k) pois zk 6akk , para todo k 2 N. Portanto, z 6 (N) = ]0; 1[. = = 2f Temos ent~o a contradi~o prometida, e a demonstra~o est completa. a ca ca a Corolrio 4.5 O conjunto R dos nmeros reais n~o enumervel. a u a e a Demonstra~o. Fizemos a demonstra~o, no Exemplo 4.3(b), de que R ]0; 1[. Agora, ca ca ]0; 1[ n~o enumervel; portanto seu conjunto equipotente R tambm n~o enumervel e a a e e a a (veja Problema 1).

88

~ Conjuntos Enumeraveis e Conjuntos Nao Enumeraveis

Exemplo 4.6 O conjunto de todos os nmeros irracionais n~o enumervel. u e a a Demonstra~o. Demonstramos, no Exemplo 4.5, que o conjunto Q dos nmeros racioca u nais enumervel. O conjunto dos nmeros irracionais , por deni~o, o conjunto e a u e ca a R Q. E fcil ver que R Q um conjunto innito. Para mostrar que R Q n~o e e a enumervel, supomos o contrrio, que R Q enumervel. Segue ent~o que a uni~o a a e a a a (R Q) [ Q = R enumervel (Teorema 4.9). Isto contradiz o corolrio do Teorema e a a 12. Portanto o conjunto R Q dos nmeros irracionais n~o enumervel. u e a a Notas. (1) O mtodo de demonstra~o usado no Teorema 4.12 chamado mtodo e ca e e diagonal de Cantor, porque foi criado por Cantor e a constru~o do nmero chave ca u ca e gitos a11 ; a22 ; a33 ; : : : na diagonal z = 0; z1 z2 z3 : : : , na demonstra~o, baseada nos d principal da tabela () de d gitos. Esta demonstra~o, embora possa n~o ser apreciada ca a pelo iniciante, revela a engenhosidade de Cantor. (2) A exist^ncia de conjuntos n~o enumerveis mostra que existem classes de e a a conjunto innitos. Na verdade, como o leitor ver no prximo cap a o tulo, existe uma abund^ncia de \classes de equipot^ncia" de conjunto innitos. a e

4.4.1

Exerc cios

1. Sejam A e B dois conjuntos equipotentes. Demonstre que se A n~o enumervel, e a a ent~o B n~o enumervel. a e a a 2. Demonstre que todo superconjunto de um conjunto n~o enumervel n~o enumervel. a a e a a 3. Usando o resultado do Problema 2, acima, d^ uma demonstra~o alternativa do e ca corolrio do Teorema 4.12. a 4. Demonstre que o conjunto dos nmeros irracionais entre 0 e 1 n~o enumervel. u e a a