Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

Aula 3 Conjuntos Finitos, Enumerveis e a No-Enumerveis a a

Metas da aula: Apresentar a deniao de conjunto nito e de nmero c u
de elementos de um conjunto nito. Denir conjunto enumervel e conjunto a no-enumervel. a a

Objetivos: Ao nal desta aula, voc dever ser capaz de: e a

Saber o signicado e o uso da deniao matemtica de conjunto nito c a bem como demonstrar fatos simples envolvendo esse conceito; Saber o signicado e o uso da deniao matemtica de conjunto enuc a mervel bem como demonstrar fatos simples envolvendo esse conceito. a

Conjuntos Finitos e Innitos

O Produto Interno Bruto (PIB) dos Estados Unidos da Amrica, no ano e de 2005, foi calculado em 12.452.000.000.000 (doze trilhes, quatrocentos e o cinqenta e dois bilhes) de dlares e o do Brasil, no mesmo ano de 2005, u o o foi calculado em 795.000.000.000 (setecentos e noventa e cinco bilhes) de o dlares. Essas estimativas deram aos EUA e ao Brasil, respectivamente, a 1a o e a 11a posiao na classicaao das maiores economias do mundo. c c O fato para o qual queremos chamar atenao aqui no tem nada a ver c a com economia. O ponto que queremos ressaltar que, no nosso dia-a-dia, por exemplo, e na leitura de um jornal, podemos nos deparar com nmeros to grandes que u a nenhum ser humano na face da Terra seria capaz de contar 1, 2, 3,. . . , at e chegar a eles, sem saltar nenhum nmero intermedirio, simplesmente porque u a seriam necessrios centenas ou milhares de anos para faz-lo, estimando-se a e que levssemos, digamos, em mdia, 1/2 segundo para recitar cada um deles. a e Mesmo assim, voc no hesitaria em armar prontamente que os nmeros e a u referentes aos PIBs citados representam quantidades nitas, seja l o que isso a realmente signique em ultima instncia. a O fato que a noao de conjunto nito extremamente primitiva, e o ser e c e humano criou sistemas numricos capazes de representar qualquer quantidade e nita muito antes de se preocupar em obter uma deniao matemtica precisa c a do que venha ser conjunto nito. Muito ao contrrio, a deniao que se a c
39

CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL procurou dar em tempos muito mais recentes (h menos de um sculo e meio) a e tinha, diante de si, o desao de possibilitar a demonstraao matemtica de c a fatos absolutamente evidentes para o senso comum como, por exemplo, o de que a unio de uma quantidade nita de conjuntos nitos um conjunto a e nito. Anal, temos certeza de que um trilho uma quantidade nita a e porque sabemos que um trilho corresponde a mil grupos de um bilho de a a elementos e, por sua vez, um bilho corresponde a mil grupos de um milho, a a que por sua vez corresponde a mil grupos de mil etc. Por ora basta; vamos a deniao matemtica. ` c a Denio 3.1 ca

1. Dizemos que o conjunto vazio tem 0 elementos. 2. Se n N, dizemos que um conjunto A tem n elementos se existe uma bijeao do conjunto Jn := {1, 2, . . . , n} sobre A. Se A tem n elementos, c dizemos que n a cardinalidade de A e denotamos, n = #(A), ou e n = card(A). 3. Um conjunto dito nito se, ou vazio, ou tem n elementos para e e algum n N. 4. Um conjunto A dito innito se ele no nito. e a e Como a inversa de uma bijeao uma bijeao, segue que o conjunto c e c A tem n elementos se e somente se existe uma bijeao de A sobre Jn . Do c mesmo modo, como a composiso de duas bijeoes uma bijeao, temos que a c e c um conjunto A tem n elementos se e somente se existe uma bijeao de A sobre c um outro conjunto B que possui n elementos. Alm disso, um conjunto C e e nito se e somente se existe uma bijeao de C sobre um conjunto D que c e nito. Uma vez apresentada a deniao matemtica do que venha ser um c a conjunto ter n elementos preciso, antes de mais nada, que se verique a e unicidade deste n, isto , que um mesmo conjunto no pode possuir, de acordo e a com a deniao, mais de um nmero n de elementos. Alm disso, poderia c u e acontecer que, com a deniao dada, fosse poss mostrar que N nito, c vel e o que iria contrariar a noao primitiva que temos desse conceito. Assim, c e preciso mostrar que a deniao acima implica que N innito, como manda c e o senso comum.
CEDERJ 40

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

Teorema 3.1 (Unicidade) Se m, n N e m < n, ento no pode existir uma bijeao f : Jm Jn . Em a a c particular, se A nito #(A) um nmero unico. e e u Prova: Suponhamos, por absurdo, que existam m, n N, com m < n, tal que existe uma bijeao f : Jm Jn . Ento, o conjunto C dos n N para os c a quais existe m < n tal que existe uma bijeao entre Jm e Jn no-vazio. c e a Pelo Princ pio da Boa Ordenaao esse conjunto possui um menor elec mento n0 . Assim, existem m0 < n0 e uma bijeao f : Jm0 Jn0 . Claramente c n0 > 1, pois do contrrio no haveria m N com m < n0 . Se f (m0 ) = n0 a a ento f |Jm0 1 uma bijeao entre Jm0 1 e Jn0 1 , o que contradiz o fato de a e c n0 ser o menor elemento de C. Por outro lado, se f (m0 ) = n0 , tomemos m1 Jm0 tal que f (m1 ) = n0 e n1 Jn0 tal que f (m0 ) = n1 . Denimos g : Jm0 Jn0 pondo g(m0 ) = n0 , g(m1 ) = n1 , e g(m) = f (m), para todo m Jm0 \ {m1 , m0 }. Claramente, g uma bijeao, dado que f o . Ento, e c e a temos que g|Jm0 1 uma bijeao entre Jm0 1 e Jn0 1 , o que nos d novamente e c a uma contradiao e prova a primeira parte do teorema. c Quanto a #(A) ser um nmero unico, se isso no fosse verdade exisu a tiriam m, n N, com m < n, e duas bijeoes f : Jm A e g : Jn A. c 1 Nesse caso, f g seria uma bijeao de Jm sobre Jn o que contradiz a parte c j provada do teorema. Logo, #(A) um nmero unico. a e u

Teorema 3.2 O conjunto N dos nmeros naturais um conjunto innito. u e Prova: Suponhamos por absurdo que N nito. Nesse caso existe m N e e uma bijeao f : Jm N. Seja n := f (m). Denimos g : N N \ {n} pondo c g(k) = k, se k < n, e g(k) = k + 1, se k n. Ento g uma bijeao (por a e c qu?). Por outro lado, como f bijeao, ento h := f |Jm1 uma bijeao e e c a e c 1 entre Jm1 e N \ {n}. Logo, g h uma bijeao de Jm1 sobre Jm o que e c nos d uma contradiao em vista do Teorema 3.1. Logo, N um conjunto a c e innito.

O prximo resultado estabelece algumas propriedades elementares de o conjuntos nitos e innitos. Teorema 3.3

41

CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL (a) Se A um conjunto com m elementos e B um conjunto com n elee e mentos e se A B = , ento A B tem m + n elementos. a (b) Se A um conjunto com m elementos e C A um conjunto com 1 e e elemento ento A \ C um conjunto com m 1 elementos. a e (c) Se C um conjunto innito e B um conjunto nito, ento C \ B e e a e um conjunto innito. Prova: Provemos (a). Seja f uma bijeao de Jm sobre A e g uma bijeao c c de Jn sobre B. Denimos h : Jm+n A B pondo h(i) := f (i), para i = 1, . . . , m, e h(i) = g(i m), para i = m + 1, . . . , m + n. Voc poder e a vericar sem diculdade que h uma bijeao de Jm+n sobre A B. e c

A demonstraao de (b) segue diretamente de (a). A prova de (c) segue c tambm de (a), mas por contradiao, supondo, por absurdo, que C um e c e conjunto innito, B um conjunto nito e que C \B um nito. Os detalhes e e dessas demonstraoes so deixados para voc como exerc (veja Exerc 2 c a e cio cio ao nal desta aula).

O fato de que um subconjunto de um conjunto nito tambm um e e conjunto nito intuitivamente obvio mas precisa ser demonstrado partindoe se da deniao dada acima. Como veremos, a prova, embora simples, requer c um pouco mais de trabalho que o esperado. Teorema 3.4 Suponhamos que A e B sejam conjuntos e que A B. (a) Se B um conjunto nito ento A um conjunto nito. e a e (b) Se A um conjunto innito ento B um conjunto innito. e a e Prova: Provemos, inicialmente, (a). Se A = ento j sabemos que A a a nito e nada h para demonstrar. Suponhamos ento que A = . A e a a prova ser feita por induao sobre o nmero de elementos de B. Se B tem a c u 1 elemento ento o unico subconjunto no-vazio de B ele prprio. Logo a a e o A = B e, portanto, A nito. e Suponhamos que todo subconjunto de um conjunto com n elementos nito; essa a proposiao P [n] cuja veracidade tomamos como hiptese. e e c o Provemos que, neste caso, vale P [n + 1], isto , que todo subconjunto de e um conjunto com n + 1 elementos nito. Seja, ento, B um conjunto com e a
CEDERJ 42

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

A armaao (b) a contrapositiva de (a). Recordemos que a contrac e positiva de uma proposiao da forma p q a proposiao q p e c e c que essas duas proposioes so equivalentes, isto , possuem tabelas-verdade c a e idnticas. e

n + 1 elementos, A B e seja f : Jn+1 B uma bijeao. Se f (n + 1) A, c / ento A B1 := B \ {f (n + 1)} e, pelo a tem (b) do Teorema 3.3, B1 tem n elementos. Logo, pela hiptese de induao P [n], nesse caso A nito. Por o c e outro lado, se f (n + 1) A, ento A1 := A \ {f (n + 1)} subconjunto de a e B1 que tem n elementos. Logo, A1 nito. Mas ento, pelo e a tem (a) do Teorema 3.3, A = A1 {f (n + 1)} nito. e

Conjuntos Enumerveis a
Os conjuntos innitos so divididos em duas classes complementares: a a dos que so enumerveis e a dos que so no-enumerveis. a a a a a Denio 3.2 ca Diz-se que um conjunto A enumervel se ele nito ou se existe uma e a e bijeao f : N A. No segundo caso, diremos que A innito enumervel, c e a quando quisermos enfatizar o fato do conjunto ser innito, que decorre imediatamente da existncia da referida bijeao e do fato de que N innito. A e c e bijeao f de N sobre A chamada uma enumeraao dos elementos de A e, c e c denotando-se ak = f (k), podemos escrever A = {a1 , a2 , a3 , }. Diz-se que um conjunto A no-enumervel se ele no enumervel. e a a a e a Pelas propriedades das bijeoes, claro que A innito enumervel c e e a se e somente se existe uma bijeao de A sobre N. Outrossim, A innito c e enumervel se e somente se existe uma bijeao de A sobre um conjunto B a c que innito enumervel. De modo mais geral, A enumervel se e somente e a e a se existe uma bijeao de A sobre um conjunto B enumervel. c a Exemplos 3.1

(a) O conjunto P = {2n : n N} dos nmeros naturais pares innito u e enumervel, j que f : N P denida por f (n) = 2n, para n N, a a e uma bijeao de N sobre P. Do mesmo modo, o conjunto dos nmeros c u naturais mpares I = {2n 1 : n N} innito enumervel, j que e a a g : N I denida por g(n) = 2n 1 uma bijeao de N sobre I. e c
43 CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL (b) O conjunto Z dos nmeros inteiros enumervel. u e a Podemos descrever uma enumeraao para Z de modo esquemtico na c a forma 0, 1, 1, 2, 2, 3, 3, . 1 3 5 7 2 4 6 Isto , o 1 aplicado sobre 0, os nmeros naturais pares so aplicae e u a dos sobre os inteiros negativos e os nmeros naturais u mpares sobre os inteiros positivos, ou seja, os nmeros naturais. A bijeao corresponu c dente, f : N Z, denida de modo expl e cito por (k1) , se k e mpar 2 . f (k) = k , se k par e
2

(c) A unio de dois conjuntos enumerveis disjuntos um conjunto enua a e mervel. a

Sejam A e B conjuntos enumerveis, com A B = . Se A e B so a a nitos AB nito pelo Teorema 3.3 e, portanto, enumervel. Se um e e a deles, digamos, A, nito, com A = {a1 , . . . , ap }, e o outro, B, innito e e enumervel, com B = {b1 , b2 , b3 , . . . }, ento denimos uma bijeao f : a a c N A B pondo f (k) := ak , para k = 1, . . . , p, e f (k) := bkp , para k > p. Portanto, AB innito enumervel. Finalmente, se A e B so e a a innitos enumerveis, com A = {a1 , a2 , a3 , . . . } e B = {b1 , b2 , b3 , . . . }, a denimos uma bijeao f : N A B pondo f (k) = a (k+1) , se k c e 2 mpar, e f (k) = b k , se k par. De modo esquemtico representamos e a 2 essa enumeraao na forma c a1 , 1 b1 , 2 a2 , 3 b2 , 4 a3 , 5 b3 , 6

Teorema 3.5 Todo subconjunto A N enumervel. e a Prova: Se A nito ento A enumervel, por deniao, e nada h para e a e a c a provar. Se A innito, denimos uma bijeao f de N sobre A pondo f (1) := e c a1 , onde a1 o menor elemento de A, f (2) := a2 , sendo a2 o menor elemento e de A\{a1 }, e assim por diante. Isto , supondo que f (1) := a1 , . . . , f (n) := an e tenham sido denidos, com a1 < a2 < < an , denimos f (n + 1) := an+1 , onde an+1 o menor elemento de A \ {a1 , . . . , an }. Armamos que f : N A e assim denida uma bijeao. Claramente f injetiva pois f (m) < f (n), se e c e
CEDERJ 44

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

m < n. Em particular, f (N) um conjunto innito enumervel pois f e a e uma bijeao de N sobre f (N). Por outro lado, se houvesse a A tal que c a f (N), ento a seria necessariamente maior que todos os elementos de / a f (N) e, portanto, ter amos f (N) Ja , o que, pelo Teorema 3.4(a), contradiz o fato de f (N) ser innito.

O resultado a seguir mostra que subconjuntos de conjuntos enumerveis a tambm so conjuntos enumerveis. e a a Teorema 3.6 Suponhamos que A e B so conjuntos e que A B. a (a) Se B enumervel, ento A enumervel. e a a e a (b) Se A no-enumervel, ento B no enumervel. e a a a e a a Prova: Provemos inicialmente (a). Se B nito, ento A nito, pelo e a e Teorema 3.4(a), e, portanto, enumervel. Suponhamos ento que B e a a e innito enumervel. Nesse caso, existe uma bijeao g : B N, de B sobre a c N. Pondo h := g|A, temos que h uma bijeao de A sobre um subconjunto e c de N, isto , h uma bijeao de A sobre um conjunto enumervel, pelo e e c a Teorema 3.5. Logo, A enumervel. e a A armaao (b) eqivalente a (a) pois a sua contrapositiva. c e u e

Teorema 3.7 As seguintes armaoes so eqivalentes. c a u (a) A um conjunto enumervel. e a (b) Existe uma sobrejeao de N sobre A. c (c) Existe uma injeao de A para N. c Prova: (a)(b) Se A nito, existe uma bijeao f de algum conjunto Jn e c sobre A e ento denimos g : N A por a f (k), para k = 1, . . . , n, g(k) := f (n), para k > n.
45 CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL Ento, g uma sobrejeao de N sobre A. Se A innito enumervel, ento a e c` e a a existe uma bijeao f de N sobre A, a qual , em particular, uma sobrejeao c e c de N sobre A. (b)(c) Se f uma sobrejeao de N sobre A, denimos g : A N pondo e c g(a) igual ao menor elemento do conjunto no-vazio de nmeros naturais a u 1 f (a) := {n N : f (n) = a}. Como f (g(a)) = a, segue que g injetiva e (por qu?). e (c)(a) Se g uma injeao de A para N, ento g uma bijeao de A sobre e c a e c g(A) N. Pelo Teorema 3.6(a), g(A) enumervel, donde se conclui que o e a conjunto A enumervel. e a

Teorema 3.8 O conjunto N N innito enumervel. e a Prova: Lembremos que N N consiste de todos os pares ordenados (m, n) com m, n N. Obtemos uma enumeraao para os elementos de N N de c modo esquemtico na forma: a (1, 1), 1 (1, 2), 2 (2, 1), 3 (1, 3), 4 (2, 2), 5 (3, 1), 6 (1, 4), , 7

no sentido crescente da soma m + n e de m (Fig. 3.1). A frmula expl o cita para a bijeao de N sobre N N representada esc quematicamente como acabamos de descrever ser dada na seao Prossiga a c ao nal desta aula. Uma outra forma de mostrar que N N a seguinte. Voc deve se leme e brar de que um nmero natural dito primo se os unicos nmeros naturais u e u dos quais ele mltiplo so o 1 e ele prprio. Pode-se provar sem diculdade e u a o que todo nmero natural admite uma unica decomposiao em fatores primos u c (veja Exerc 14, abaixo). Observe ento que a funao g(m, n) := 2m 3n cio a c e uma injeao de N N para N, como conseqncia da unicidade da decomc ue posiao dos nmeros naturais em fatores primos. Assim, pelo Teorema 3.7(c), c u N N enumervel. De passagem, observamos que, como usual, escrevee a e mos, de forma mais simples, g(m, n) em vez de g((m, n)).

Teorema 3.9 O conjunto dos nmeros racionais Q innito enumervel. u e a

CEDERJ 46

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

(1,4)

(1,3)

(2,3)

(1,2)

(2,2)

(3,2)

(1,1)

(2,1)

(3,1)

(4,1)

Figura 3.1: Enumeraao de N N pelo processo diagonal c Prova: Lembre-se de que Q denido por Q = { m : m, n Z, n = 0}. e n J provamos que Z (innito) enumervel e, portanto, Z \ {0} tambm a e a e , pelos Teoremas 3.6(a) e 3.3(c). Assim, existem bijeoes g1 : N Z e e c g2 : N Z \ {0}. Ento, G((j, k)) = (g1 (j), g2 (k)) uma bijeao de N N a e c sobre Z(Z\{0}) (por qu?). Como NN enumervel, ento Z(Z\{0}) e e a a enumervel. Portanto, existe uma bijeao h1 : N Z (Z \ {0}). e a c

Agora, a funao h2 : Z (Z \ {0}) Q denida por h2 (m, n) = m c n uma sobrejeao de Z (Z \ {0}) sobre Q (por qu?). Logo f := h2 h1 e c e uma sobrejeao de N sobre Q. Pelo Teorema 3.7(b) conclu e c mos que Q e enumervel. Como Q contm N e este ultimo innito, segue tambm que a e e e Q innito. e

A Figura 3.2 representa o esquema do processo diagonal para enumeraao dos elementos de Q implicitamente empregado na prova anterior. c O prximo resultado estabelece que a unio de uma coleao (possivelo a c mente innita) enumervel de conjuntos enumerveis tambm um conjunto a a e e enumervel. a Teorema 3.10 Se Am um conjunto enumervel para cada m N, ento a unio A := e a a a e a m=1 Am enumervel.
47 CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL
1 1 2 1 3 1 4 1

1 2

2 2

3 2

1 3

2 3

1 4

Figura 3.2: Enumeraao de Q pelo processo diagonal. c

Prova: Em vista do Teorema 3.7, precisamos apenas mostrar que existe uma sobrejeao de N sobre A. Para cada m N, seja gm uma sobrejeao c` c de N sobre Am ; tal sobrejeao existe j que Am enumervel. Denimos c` a e a g : N N A por g(m, n) = gm (n). Armamos que g uma sobrejeao; deixaremos a voc a demonstraao sime c e c ples desse fato (veja Exerc 8, abaixo). Como N N enumervel, existe cio e a uma bijeao e, portanto, uma sobrejeao f : N N N, donde g f uma c c e sobrejeao de N sobre A. Aplicando o Teorema 3.7 outra vez, conclu c mos que A enumervel. Observe que o caso da unio de uma coleao nita de e a a c conjuntos enumerveis A1 , . . . , An decorre do que acabamos de provar; basta a fazer Ak = An , para k = n + 1, n + 2, . . . .

Para concluir, vamos enunciar e provar um bel ssimo teorema devido a Georg Cantor (1845-1918) a quem tambm devemos a idia genial do e e processo diagonal para mostrar que N N e Q so enumerveis. A prova a a que daremos igualmente devida a Cantor e tambm envolve um racioc e e nio diagonal, como veremos.

CEDERJ

48

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

Teorema 3.11 (Teorema de Cantor) Se A um conjunto qualquer, ento no existe nenhuma sobrejeao de A e a a c sobre o conjunto P(A) de todos os subconjuntos de A. Prova: Suponhamos que g : A P(A) uma sobrejeao. Para cada a A, e c g(a) um subconjunto de A e, portanto, a pode ou no ser um elemento de e a g(a). Ento, denimos o conjunto a D := {a A : a g(a)}. / Como D subconjunto de A e, por conseguinte, D P(A), e como g e e sobrejeao, ento D = g(a0 ) para algum a0 A. Devemos ter a0 D, ou c a a0 D. Se a0 D, ento, como D = g(a0 ), a0 g(a0 ), o que contradiz / a a deniao de D. Da mesma forma, se a0 D, ento a0 g(a0 ) e, pela c / a / deniao de D, devemos ter a0 D, o que tambm nos d uma contradiao. c e a c Portanto, no pode existir uma tal sobrejeao. a c

O Teorema de Cantor implica, em particular, que P(N) no-enumervel, e a a j que no pode existir uma bijeao de N sobre P(N). a a c` Exerc cios 3.1

1. Prove que um conjunto A nito se e somente se existe uma bijeao e c` de A sobre um conjunto nito B. 2. D os detalhes da prova das partes (b) e (c) do Teorema 3.3. e 3. Seja A := {1, 2} e B := {a, b, c}. (a) Determine o nmero de injeoes diferentes de A para B. u c (b) Determine o nmero de sobrejeoes diferentes de A para B. u c 4. Exibir uma bijeao uma bijeao entre N e todos os nmeros c c u mpares maiores que 11. 5. Exiba uma bijeao entre N e um seu subconjunto prprio. c o 6. Prove que A enumervel se e somente se existe uma bijeao de A e a c sobre um conjunto B enumervel. a 7. D um exemplo de uma coleao enumervel de conjuntos nitos cuja e c a unio no nita. a a e
49

CEDERJ

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL 8. Prove que a funao g : N N A, denida na demonstraao do c c Teorema 3.10 de fato uma sobrejeao. e c 9. Prove que o conjunto dos nmeros primos innito enumervel. (Dica: u e a Para provar que esse conjunto nito, argumente por contradiao.) e c 10. Obtenha uma representaao N = A1 A2 An tal que os c conjuntos A1 , A2 ,. . . , An , . . . sejam innitos e dois a dois disjuntos. 11. Use o Princ pio da Induao Matemtica para provar que se A tem n c a elementos ento P(A) tem 2n elementos. a 12. Seja A N innito. Prove que existe uma unica bijeao crescente c f : N A (m < n f (m) < f (n)). (Dica: Para provar a existncia e de uma tal funao use reiteradas vezes o Princ c pio da Boa Ordenaao c e o fato de que A innito.) e 13. Prove que a coleao F(N) de todos os subconjuntos nitos de N c e enumervel. a 14. Prove que todo nmero natural possui uma unica representaao como u c produto de potncias de nmeros primos. (Dica: Use o Princ e u pio da Induao Forte para mostrar que existe uma tal representaao. A unic c cidade decorre da deniao de nmero primo e do fato que se n um c u e mltiplo de m, ento todo divisor de m um divisor de n. ) u a e 15. Inspirado pela demonstraao do Teorema de Cantor, prove que o conc junto das funoes f : N {0, 1} no-enumervel. c e a a

Prossiga: O Processo Diagonal de Cantor.

Como os grandes gnios do futebol, Cantor era totalmente investido e daquele sentimento diagonal do homem-gol, evocado nos versos da canao c O futebol de Chico Buarque. Em um punhado de momentos de pura genialidade, Cantor recorreu a ataques pela diagonal para furar bloqueios que guardavam verdadeiras maravilhas matemticas atrs de si. a a Vamos a seguir determinar mais precisamente a bijeao f : N N N c representada pictoricamente na Figura 3.1 e com isso completar a prova do Teorem 3.8. Em vez de buscar diretamente uma expresso para f , bem mais sima e ples exibir uma expresso para a inversa de f , g : NN N. Portanto, o que a
CEDERJ 50

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

MODULO 1 - AULA 3

Inicialmente, observemos que NN pode ser visto como uma coleao de c diagonais: a primeira delas contm apenas o ponto (1, 1); a segunda contm e e 2 pontos (1, 2) e (2, 1); a terceira contm 3 pontos (1, 3), (2, 2), (3, 1) etc. e Assim, a k-sima diagonal contm k pontos (m, n) cuja soma das coordenadas e e constante m + n = k + 1. Em particular, o nmero de pontos inclu e u dos da primeira at a k-sima diagonal (inclusive) : e e e 1 S(k) := 1 + 2 + + k = k(k + 1). 2 A segunda equaao foi vericada no Exemplo 2.1(a). Ora, para um ponto c (m, n) qualquer, sabemos que ele pertence a (m + n 1)-sima diagonal, e ` e a sua ordem na enumeraao estabelecida no processo diagonal ser igual ao c a nmero de pontos contidos nas diagonais que antecedem a diagonal a qual u ` ele pertence, isto , S(m + n 2) mais o valor de sua primeira coordenada e m. Sendo sssim, denimos: g(m, n) := S(m + n 2) + m, para (m, n) N N. (3.1)

temos a fazer encontrar uma expresso para g e provar que essa expresso e a a realmente representa uma bijeao; neste caso, teremos tambm provado que c e a inversa de g, isto , f , uma bijeao de N sobre N N. e e c

Concluso da Prova do Teorema 3.8: Vamos ento mostrar que g a a denida em (3.1) uma bijeao de N N sobre N. Mostremos inicialmente e c que g injetiva. Se (m, n) = (m , n ), ento: e a ou (i) m + n = m + n ; ou (ii) m + n = m + n e m = m . De fato, chamando de P a proposiao m + n = m + n e Q a proposiao c c m = m , ento (i) P e (ii) P e Q. Assim, a negaao da proposiao a e e c c (i) ou (ii) a proposiao P e (P ou Q) que equivalente a P e e c e Q, isto , m + n = m + n e m = m , que, por sua vez, equivalente a e e (m, n) = (m , n ). Caso tenhamos (i), podemos supor m + n < m + n . Notemos que vale S(k + 1) = S(k) + (k + 1). (3.2)

Ento, usando (3.2), o fato, que da decorre, de que S crescente, e tambm a e e que m > 0, temos g(m, n) = S(m + n 2) + m S(m + n 2) + (m + n 1) < S(m + n 2) + m = g(m , n ).
51 CEDERJ

= S(m + n 1) S(m + n 2)

Conjuntos Finitos, Enumerveis e No-Enumerveis a a a

ANALISE REAL Caso tenhamos (ii), ento a g(m, n) m = S(m + n 2) = S(m + n 2) = g(m , n ) m , donde se conclui, igualmente, que g(m, n) = g(m , n ). Portanto, g injetiva. e Mostremos agora que g tambm sobrejetiva. Claramente g(1, 1) = 1. e e Se r N, com r 2, encontraremos (mr , nr ) N N com g(mr , nr ) = r. Como r < S(r), ento o conjunto Cr := {k N : S(k) r} no-vazio. a e a Usando o Princ da Boa Ordenaao, seja kr > 1 o menor elemento em Cr . pio c Em particular, S(kr 1) < r. Assim, como r 2, usando (3.2), temos S(kr 1) < r S(kr ) = S(kr 1) + kr . Seja mr := r S(kr 1), de modo que 1 mr kr , e seja nr := kr mr + 1, de modo que 1 nr kr e mr + nr 1 = kr . Da segue que g(mr , nr ) = S(mr + nr 2) + mr = S(kr 1) + mr = r. Portanto, g uma sobrejeao de N N sobre N. Como j provamos que g e c a e uma injeao, segue que g uma bijeao e, portanto, N N enumervel. c e c e a Recomendamos fortemente que voc faa uma pesquisa na internet soe c bre a vida e a obra de Georg Cantor, usando um s de buscas como o tio http://www.google.com ou visitando diretamente, por exemplo, a pgina a da web: http://pt.wikipedia.org/wiki/Georg Cantor.

CEDERJ

52