2 O Conceito de Conjunto

Neste cap tulo, apresentamos os conceitos de conjuntos, subconjuntos, e opera~es entre co conjuntos (uni~o, interse~o, e complementa~o), juntamente com as regras fundamena ca ca tais dessas opera~es. Estas s~o desenvolvidas em paralelo com o Cap co a tulo 1 sobre lgica. o Fam indexadas de conjuntos s~o discutidas. O Cap lias a tulo termina com o Paradoxo de Russel e uma nota histrica. o

2.1

Conjuntos e subconjuntos

\O que um conjunto" uma quest~o muito dif de se responder.1 Neste tratado e e a cil elementar, n~o entraremos em nenhuma abordagem axiomtica complicada da Teoria dos a a Conjuntos, e conter-nos-emos em aceitar o seguinte: um conjunto qualquer cole~o, e ca dentro de um todo de objetos denidos e disting uveis, chamados elementos, de nossa intui~o ou pensamento. Esta deni~o intuitiva de um conjunto foi dada primeiramente ca ca por Georg Cantor (1845{1918), que criou a teoria dos conjuntos em 1895. Exemplos: (a) O conjunto de todas as cadeiras na sala de aula de Teoria dos Conjuntos. (b) O conjunto de todos os estudantes desta universidade. (c) O conjunto das letras a, b, c e d. (d) O conjunto das regras de uso do laboratrio de informtica. o a (e) O conjunto de todos os nmeros racionais cujo quadrado 2. u e (f) O conjunto de todos os nmeros naturais. u (g) O conjunto de todos os nmeros reais entre 0 e 1. u Um conjunto que contm apenas um nmero nito de elementos chamado um e u e conjunto nito; um conjunto innito um conjunto que n~o nito. Exemplos de (a) a e a e (e) acima s~o todos de conjuntos nitos, e Exemplos (f) e (g) s~o de conjuntos innitos. a a Conjuntos s~o freqentemente designados fechando-se entre chaves os s a u mbolos que representam seus elementos, quando for poss faz^-lo. Assim, o conjunto no Exvel e emplo (c) fa; b; c; dg e o conjunto no Exemplo (f) pode ser denotado por f1; 2; 3; : : : g. e
1

O estudante tomar ci^ncia da diculdade quando chegarmos s se~es 2.7 e 2.8. a e a co

27

28

O Conceito de Conjunto

O conjunto do Exemplo (e) n~o tem elementos; um tal conjunto chamado o conjunto a e vazio, sendo denotado pelo s mbolo . Usaremos letras maisculas para denotar conjuntos, e letras minsculas para deu u notar elementos. Se a um elemento de um conjunto A, escrevemos a 2 A (leia-se: \a e um elemento de A" ou \a pertence a A"), enquanto que a 6 signica que a n~o e 2A a e elemento de A. Deni~o 2.1 Dois conjuntos A e B s~o iguais ou id^nticos quando contm os mesmos ca a e e elementos. Isto , A = B signica (8x)[(x 2 A) $ (x 2 B)]. e A ordem em que aparecem os elementos num conjunto n~o tem import^ncia. Asa a sim, o conjunto fa; b; cg o mesmo que fb; c; ag, etc. Alm disso, como os elementos de e e um conjuntos s~o distintos, fa; a; bg, por exemplo, n~o uma nota~o apropriada de um a a e ca conjunto, e deveria ser substitu por fa; bg. Se a um elemento de um conjunto, a e da e fag s~o considerados diferentes, isto , a 6fag. Pois fag denota o conjunto consistindo a e = do elemento a somente, enquanto que a apenas o elemento do conjunto fag. e Deni~o 2.2 Sejam A e B conjuntos. Se todo elemento de A elemento de B, ca e ent~o A chamado um subconjunto de B, em s a e mbolos: A B ou B A. Se A e subconjunto de B, ent~o B chamado um superconjunto de A. a e Assim, escrevendo logicamente, A B (8x)[(x 2 A) ! (x 2 B)] Obviamente, todo conjunto um subconjunto (e um superconjunto) de si mesmo. e Quando A B e A 6B, escrevemos A B, ou B ! A, e dizemos que A um = e subconjunto prprio de B, ou que B um superconjunto prprio de A. Em outras o e o palavras, A um subconjunto prprio de B quando todo elemento de A um elemento e o e de B, mas existe um elemento de B que n~o elemento de A. Se A n~o subconjunto a e a e de B, escrevemos A 6B. Teorema 2.1 O conjunto

um subconjunto de qualquer conjunto. e

(x 2 ) ! (x 2 A)

Demonstra~o. Seja A um conjunto qualquer. Provaremos que a proposi~o condicional ca ca verdadeira para todo x. Como o conjunto n~o tem nenhum elemento, a arma~o e a ca \x 2 " falsa, enquanto que \x 2 A" pode ser verdadeira ou falsa. Em qualquer dos e casos, a arma~o condicional \(x 2 ) ! (x 2 A)" verdadeira, conforme a tabela ca e verdade para a condicional (casos 3 e 4 da Tabela 1.5, Cap tulo 1). Assim,

A, para qualquer conjunto A.

O Conceito de Conjunto

29

Teorema 2.2 Se A B e B C ent~o A C. a Demonstra~o. Demonstraremos que (x 2 A) ) (x 2 C): ca (x 2 A) ) (x 2 B); ) (x 2 C); porque A B porque B C

Portanto, pela Lei Transitiva (Teorema 1.4(c) do Cap tulo 1), temos (x 2 A) ) (x 2 C) Conseqentemente, demonstramos que A C. u

2.1.1

Exerc cios

1. Demonstre que o conjunto de letras da palavra \catarata" e o conjunto de letras da palavra \catraca" s~o iguais. a 2. Decida, dentre os seguintes conjuntos, quais s~o subconjuntos de quais: a (a) A = ftodos os nmeros reais satisfazendo x2 8x + 12 = 0g u (b) B = f2; 4; 6g (c) C = f2; 4; 6; 8; : : : g (d) D = f6g 3. Liste todos os subconjuntos do conjunto f1; 0; 1g. 4. Demonstre que [(A B) ^ (B A)] , (A = B) [Nota: Freqentemente, em u matemtica, o melhor meio de demonstrar que A = B mostrar que A B e B A.] a e 5. Demonstre que (A ) ) (A = ). 6. Demonstre que (a) [(A B) ^ (B C)] ) (A C) (b) [(A B) ^ (B C)] ) (A C) 7. D^ um exemplo de um conjunto cujos elementos s~o tambm conjuntos. e a e 8. Em cada um dos seguintes itens, determine se a arma~o verdadeira ou falsa. ca e Se for verdadeira, demonstre-a. Se for falsa, mostre-o atravs de um exemplo (um tal e exemplo, mostrando que uma proposi~o falsa, chamado um contra-exemplo). ca e e (a) Se x 2 A e A 2 B ent~o x 2 B. a (b) Se A B e B 2 C ent~o A 2 C. a (c) Se A 6B e B C ent~o A 6C. a (d) Se A 6B e B 6C ent~o A 6C. a (e) Se x 2 A e A 6B ent~o x 6 a 2 B. (f) Se A B e x 6 ent~o x 6 2B a 2 A. 9. Dado um conjunto com n elementos, demonstre que existem exatemente C(n; r) subconjuntos com r elementos.

30

O Conceito de Conjunto

2.2

Especica~o de conjuntos ca

Um modo de construir um novo conjunto, a partir de um conjunto dado, especicar e aqueles elementos, do conjunto dado, que satisfazem uma propriedade particular. Por exemplo, seja A o conjunto de todos os estudantes desta universidade. A proposi~o \x ca paulista" verdadeira para alguns elementos x de A e falsa para outros. Empregaremos e e a nota~o ca fx 2 A j x paulistag e para especicar o conjunto de todas os estudantes paulistas desta universidade. Similarmente, fx 2 A j x n~o paulistag a e especica o conjunto de estudantes n~o paulistas desta universidade. a Como regra, a todo conjunto A e a toda proposi~o p(x) sobre x 2 A, existe um ca conjunto fx 2 A j p(x)g, cujos elementos s~o precisamente aqueles elementos x 2 A a para os quais a arma~o p(x) verdadeira. Numa abordagem axiomtica da teoria dos ca e a conjuntos, esta regra habitualmente postulada como um axioma, chamado o Axioma e da Especica~o. O s ca mbolo fx 2 A j p(x)g lido: o conjunto de todos os x em A tais e que p(x) verdadeira. A nota~o da forma fx 2 A j p(x)g, que descreve um conjunto e ca e chamada a nota~o de constru~o do conjunto. ca ca Exemplo 2.1 Seja R o conjunto dos nmeros reais. Ent~o u a (a) fx 2 R j x = x + 1g o conjunto vazio. e 2 (b) fx 2 R j 2x 5x 3 = 0g o conjunto f1=2; 3g. e 2 (c) fx 2 R j x + 1 = 0g o conjunto vazio. e Por causa de freqente aparecimento, atravs do restante deste e dos demais u e cap tulos, e em outros tpicos de matemtica, os seguintes s o a mbolos especiais ser~o a reservados para os conjuntos descritos: R= Q= Z= N= I= R+ = fx j x um nmero realg e u fx j x um nmero racionalg e u fx j x um nmero inteirog e u fx j x um nmero naturalg e u fx 2 R j 0 x 1g fx 2 R j x > 0g

Note que N Z Q R e N R+ R. E bem poss que elementos de um conjunto possam ser tambm conjuntos. Por vel e exemplo, o conjunto de todos os subconjuntos de um conjunto dado A tem conjuntos como seus elementos. Este conjunto chamado conjunto das partes 2 de A, e denotado e e
Na teoria dos conjuntos, a exist^ncia do conjunto das partes n~o tida como obvia. Como a e a e exist^ncia de um conjunto das partes n~o conseq^ncia do axioma da especica~o, um novo axioma e a e ue ca necessrio; este axioma habitualmente chamado o Axioma do Conjunto das Partes e pode ser assim e a e enunciado: Para cada conjunto, existe um conjunto de conjuntos que consiste de todos os subconjuntos do conjunto dado.
2

O Conceito de Conjunto por }(A). Exemplo 2.2 }(fag) = f; fagg, }() = fg, e }(fa; bg) = f; fag; fbg; fa; bgg.

31

Teorema 2.3 Se A consiste de n elementos, ent~o seu conjunto das partes }(A) contm a e n exatamente 2 elementos. Demonstra~o. O teorema claramente verdadeiro para A = . Para um conjunto n~o ca e a vazio A, seja A = fa1 ; a2 ; a3 ; : : : ; an g. Dado um elemento ak de A, para cada subcona e junto de A temos duas possibilidades: ou ele contm ak ou n~o o contm. Portanto, e o problema de encontrar o nmero de subconjuntos de A pode ser considerado como o u problema de preencher uma lista de n espaos em branco 2 2 2 2, aleatoriamente, c com os nmeros 0 e 1, um nmero em cada espao. Cada preenchimento dos n espaos u u c c determina um subconjunto X de A da seguinte maneira: ak 2 X se e somente se 1 aparece no k-simo espao (para cada k 2 f1; 2; : : : ; ng). Como existem exatamente e c n 2 preenchimentos distintos, existem 2n subconjuntos de A. E tambm interessante a seguinte demonstra~o alternativa do Teorema 2.3: e ca Demonstra~o alternativa. Primeiramente, o conjunto vazio pertence a }(A). Em ca seguida, cada elemento x 2 A forma um subconjunto fxg pertencente a }(A). Observe que o nmero desse conjuntos unitrios C(n; 1). Continuando, existem exatamente u a e C(n; 2) subconjuntos de A contendo exatemente 2 elementos de A.3 Finalmente, existe exatamente C(n; n) = 1 subconjunto de A contendo n elementos de A, que o prprio e o A. Contando o conjunto vazio, o nmero total de subconjuntos de A igual a C(n; 0) + u e C(n; 1) + + C(n; n). Ent~o, usando a expans~o binomial para (1 + 1)n , temos a a (1 + 1)n = C(n; 0) + C(n; 1) + + C(n; n) Assim, o nmero de elementos de }(A) (1 + 1)n = 2n . u e

2.2.1

Exerc cios

1. Exiba entre chaves os elementos de cada um dos seguintes conjuntos. A = fx 2 N j x < 5g B = fx 2 Z j x2 25g C = fx 2 Q j 10x2 + 3x 1 = 0g D = fx 2 R j x3 + 1 = 0g E = fx 2 R+ j 4x2 4x 1 = 0g 2. Denote cada um dos seguintes conjuntos pela nota~o de constru~o do conjunto. ca ca A = f1; 2; 3g B = f1; 2 ; 1 ; 0g 3 3
3

Veja problema 9, Exerc cios 2.1.1

32

O Conceito de Conjunto

C = f1; 3; p 7; 9; : :pg 5; : D = f1 3; 1 + 3g 3. Quais s~o os elementos do conjunto das partes do conjunto fx; fy; zgg? Quantos a elementos tem esse conjunto das partes? 4. Seja B um subconjunto de A, e seja }(A : B) = fX 2 }(A) j X Bg. (a) Seja B = fa; bg e A = fa; b; c; d; eg. Liste os membros do conjunto }(A : B); quantos s~o eles? a (b) Demonstre que }(A : ) = }(A). 5. Sejam A um conjunto com n elementos e B um subconjunto com m elementos, n m. (a) Encontre o nmero de elementos do conjunto }(A : B). u (b) Deduza o Teorema 2.3 a partir de (a), fazendo B = .

2.3

Uni~es e interse~es o co

Na aritmtica, podemos somar, multiplicar, ou subtrair dois nmeros quaisquer. Na teoria e u dos conjuntos, h tr^s opera~es | uni~o, interse~o, e complementa~o | respectivaa e co a ca ca mente anlogas s opera~es adi~o, multiplica~o, e subtra~o de nmeros. a a co ca ca ca u Deni~o 2.3 A uni~o de dois conjuntos quaisquer A e B, denotada por A [ B, o ca a e conjunto dos elementos x tais que x pertence a pelo menos um dos dois conjuntos A e B. Ou seja, x 2 A [ B se e somente se x 2 A _ x 2 B. Deni~o 2.4 A interse~o de dois conjuntos quaisquer A e B, denotada por A \ B, ca ca o conjunto dos elementos x tais que x pertence a ambos os conjuntos A e B. Em e s mbolos, A \ B = fx j (x 2 A) ^ (x 2 B)g, ou fx 2 A j x 2 Bg. Se A \ B = , dizemos que A e B s~o conjuntos disjuntos. a Por exemplo, se A = f1; 2; 3; 4g e B = f3; 4; 5g, ent~o A [ B = f1; 2; 3; 4; 5g e a A \ B = f3; 4g; se Im denota o conjunto de nmeros imaginrios, ent~o os conjuntos u a a Im e R s~o disjuntos. a Exemplo 2.3 No que segue, os conjuntos I; N; Z; : : : s~o denidos como na ultima a se~o. ca (a) I \ Z = f0; 1g e N \ I = f1g. (b) Z [ Q = Q e Z \ Q = Z. (c) I [ I = I e I \ I = I.

O Conceito de Conjunto

33

Teorema 2.4 Sejam X um conjunto e A, B e C subconjuntos de X. Ent~o temos: a (a) Os elementos neutros: A[ =A A\X =A (b) As leis de idempot^ncia: e A[A=A A\A=A (c) As leis comutativas: A[B =B[A A\B =B\A (d) As leis associativas: A [ (B [ C) = (A [ B) [ C A \ (B \ C) = (A \ B) \ C (e) As leis distributivas: A \ (B [ C) = (A \ B) [ (A \ C) A [ (B \ C) = (A [ B) \ (A [ C) Demonstra~o. Deixaremos as demonstra~es das partes (a), (b) e (c) para o leitor, ca co como exerc cios. (d) De acordo com a Deni~o 2.3, ca x 2 A [ (B [ C) , x 2 A _ (x 2 B [ C) e x 2B[C ,x 2B_x 2C Assim, x 2 A [ (B [ C) , x 2 A _ (x 2 B _ x 2 C) Pela Lei Associativa (para a disjun~o), (x 2 A) _ (x 2 B _ x 2 C) equivalente a ca e (x 2 A _ x 2 B) _ (x 2 C). A ultima arma~o, pela Deni~o 2.3, equivalente a ca ca e (x 2 A [ B) _ (x 2 C), e portanto x 2 (A [ B) [ C. Assim, temos x 2 A [ (B [ C) , x 2 (A [ B) [ C Pela deni~o 2.1, A [ (B [ C) = (A [ B) [ C. ca A demonstra~o acima pode ser condensada em uma exposi~o limpa de passos ca ca lgicos essenciais, com a justicativa de cada passo escrita direita para fcil refer^ncia: o a a e

34 x 2 A [ (B [ C) , (x 2 A) _ (x 2 B [ C) , (x 2 A) _ [(x 2 B) _ (x 2 C)] , [(x 2 A) _ (x 2 B)] _ (x 2 C) , (x 2 A [ B) _ (x 2 C) , x 2 (A [ B) [ C

O Conceito de Conjunto Def. de [ Def. de [ Assoc. para _ Def. de [ Def. de [

Portanto, pela Deni~o 2.1, acabamos de provar que A [ (B [ C) = (A [ B) [ C. ca O estudante deveria tentar apreciar este tipo de demonstra~o, ordenada precisaca mente pela lgica. o Deixaremos a demonstra~o de A \ (B \ C) = (A \ B) \ C ao leitor, como ca exerc cio. (e) Novamente, apenas a primeira parte do item (e) ser demonstrada, sendo a segunda a parte deixada como exerc cio. x 2 A \ (B [ C) , (x 2 A) ^ (x 2 B [ C) Def. de \ , (x 2 A) ^ [(x 2 B) _ (x 2 C)] Def. de [ , [(x 2 A) ^ (x 2 B)] _ [(x 2 A) ^ (x 2 C)] Lei Dist. da lgica (Cap. 1) o , (x 2 A \ B) _ (x 2 A \ C) Def. de \ , x 2 (A \ B) [ (A \ C) Def. de [ Portanto, pela Deni~o 2.1, A \ (B [ C) = (A \ B) [ (A \ C). ca

2.3.1
1. 2. 3. 4. 5. 6.

Exerc cios

Demonstre que A B , A [ B = B. Demonstre que A B , A \ B = A. Demonstre as partes (a), (b), e (c) do Teorema 2.4. Demonstre a segunda metade do Teorema 2.4(d). Demonstre a segunda metade do Teorema 2.4(e). Demonstre que (a) A C e B C implica A [ B C. (b) A B e A C implica A B \ C. [Sugest~o: Use o Teorema 1.5, do Cap a tulo 1, se desejar.] 7. Demonstre que (A \ B) [ C = A \ (B [ C) , C A. 8. Demonstre que se A B ent~o }(A) }(B). a 9. Demonstre que A [ B = A \ B , A = B. 10. Demonstre que se A B, ent~o A [ C B [ C e A \ C B \ C, para qualquer a conjunto C. 11. Demonstre que se A C e B D ent~o A [ B C [ D. a

O Conceito de Conjunto

35

2.4

Complementos

Existe, na teoria dos conjuntos, uma opera~o conhecida como complementa~o, que ca ca e similar opera~o de subtra~o na aritmtica. a ca ca e

Deni~o 2.5 Se A e B s~o conjuntos, o complemento relativo de B em A o conjunto ca a e A B, denido por A B = fx 2 A j x 6 2 Bg Nesta deni~o, n~o assumido que B A. ca a e

Exemplo 2.4 Sejam A = fa; b; c; dg e B = fc; d; e; f g Encontre A B e A (A \ B). Solu~o. ca A B = fa; b; c; dg fc; d; e; fg = fa; bg e A (A \ B) = fa; b; c; dg fc; dg = fa; bg Embora o conjunto universal no sentido absoluto, o conjunto de todos os conjuntos, n~o exista (veja o Paradoxo de Russel na se~o 2.7), n~o h problema em assumirmos a ca a a temporariamente que todos os conjuntos mencionados, no restante deste e dos demais cap tulos, s~o subconjuntos de um conjunto xado U, que pode ser considerado (tema porariamente) como um conjunto universal no sentido restrito. De modo a enunciar as regras bsicas a respeito de complementa~es, do modo mais simples poss a co vel, assumiremos, a menos que seja dito em contrrio, que todos os complementos s~o formados a a 0 relativamente a este conjunto U. Escreveremos ent~o A como sendo U A. a Exemplo 2.5 Demonstre que A B = A \ B 0 . Solu~o. ca x 2 A \ B 0 (x 2 A) ^ (x 2 U B) (x 2 A) ^ [(x 2 U ) ^ (x 6 2 B)] (x 2 A \ U) ^ (x 6 2 B)] (x 2 A) ^ (x 6 2 B) , x 2 (A B) Portanto, pela Deni~o 2.1, A \ B 0 = A B. ca Def. de \, Def. de 0 Def. 2.5 Assoc. de ^, Def. de \ A\U =A Def. 2.5

36 Teorema 2.5 Sejam A e B conjuntos. Ent~o a (a) (A0 )0 = A. (b) 0 = U e U 0 = . (c) A \ A0 = e A [ A0 = U . (d) A B se e somente se B 0 A0

O Conceito de Conjunto

Demonstra~o. As demonstra~es das partes (a), (b), e (c) usam apenas denioes e ca co c~ s~o deixadas ao leitor, como exerc a cio. Daremos uma demonstra~o da parte (d): ca A B [(x 2 A) ! (x 2 B)] [(x 6 ! (x 6 4 2 B) 2 A)] 0 [(x 2 B ) ! (x 2 A0 )] B 0 A0 Def. de Contrap. Def. de 0 Def. de

Portanto, acabamos de demonstrar que (A B) (B 0 A0 ).

Na demonstra~o acima, novamente s ca mbolos e leis da lgica (do Cap o tulo 1) s~o a usados, o que nos permite exibir cada passo da demonstra~o de maneira simples e ca elegante, com justicativas ao lado direito. O leitor encorajado a fazer uso total do e Cap tulo 1, nas demonstraoes, sempre que poss c~ vel. A propriedade mais util de complementos o seguinte Teorema de De Morgan. e Compare-o com as Leis de De Morgan no Cap tulo 1.

Teorema 2.6 (Teorema de De Morgan) Para quaisquer dois conjuntos A e B, (a) (A [ B)0 = A0 \ B 0 (b) (A \ B)0 = A0 [ B 0 . Demonstra~ de (a): ca x 2 (A [ B)0 [x 2 A [ B] [(x 2 A) _ (x 2 B)] (x 2 A) ^ (x 2 B) (x 2 A0 ) ^ (x 2 B 0 ) x 2 (A0 \ B 0 ) Portanto, pela Deni~o 2.1, (A [ B)0 = A0 \ B 0 . ca A demonstra~o de (b) deixada ao leitor. ca e
4

Def. de 0 Def. de [ De M. da lgica o 0 Def. de Def. de \

Lembremo-nos que a nega~o de x 2 B, (x 2 B), denotada por x 6 ca e 2 B.

O Conceito de Conjunto Exemplo 2.6 Sejam A, B, e C tr^s conjuntos quaisquer. Decida se o conjunto e A \ (B C) o mesmo que (A \ B) (A \ C). e Solu~o. ca (A \ B) (A \ C) = (A \ B) \ (A \ C)0 = (A \ B) \ (A0 [ C 0 ) = (A \ B \ A0 ) [ (A \ B \ C 0 ) = (A \ A0 \ B) [ (A \ B \ C 0 ) = [ [A \ (B \ C 0 )] = A \ (B C)

37

Exemplo 2.5 Teor. de De M. (Teor. 2.6) Dist. Com. Teor. 2.5(c): A \ A0 = Teor. 2.4(a), Exemplo 2.5

Portanto, demonstramos que A \ (B C) = (A \ B) (A \ C).

2.4.1
1. 2. 3. 4. 5. 6.

Exerc cios

Sejam A e B conjuntos. Demonstre que A B = A (A \ B). Demonstre as partes (a), (b), e (c) do Teorema 2.5. Sejam A e B conjuntos. Demonstre que B A0 se e somente se A \ B = . Sejam A e B conjuntos. Demonstre que (A B) [ B = A se e somente se B A. Demonstre o Teorema 2.6(b). Sejam A, B, e C tr^s conjuntos quaisquer. Demonstre que e (a) (A C) [ (B C) = (A [ B) C, (b) (A C) \ (B C) = (A \ B) C. 7. Sejam A e B dois conjuntos quaisquer. Demonstre que A e B A s~o disjuntos, e a que A [ B = A [ (B A). (Isto mostra como representar a uni~o A [ B como uma a uni~o disjunta.) a 8. Sejam A, B, e C tr^s conjuntos quaisquer. Demonstre que e 0 (a) (A \ B \ C) = A0 [ B 0 [ C 0 (b) (A [ B [ C)0 = A0 \ B 0 \ C 0 . Generalize estes resultados a proposioes envolvendo n conjuntos c~ A1 ; A2 ; A3 ; : : : ; An : 9. Para conjuntos quaisquer A e B demonstre ou refute que (a) }(A) \ }(B) = }(A \ B) (b) }(A) [ }(B) = }(A [ B). 10. Demonstre que se A C, B C, A [ B = C, e A \ B = , ent~o A = C B. a 11. Sejam A e B dois conjuntos quaisquer. Demonstre que (A B) [ (B A) = (A [ B) (A \ B):

38

O Conceito de Conjunto

2.5

Diagramas de Venn

Como aux na vizualiza~o de operaoes de conjuntos, introduziremos diagramas, lio ca c~ chamados diagramas de Venn, que representam conjuntos geometricamente. Representaremos o conjunto universal relativo U por um ret^ngulo, e os subconjuntos de U a por c rculos desenhados dentro do ret^ngulo. Por exemplo, na Figura 1, representamos a dois conjuntos A e B como dois c rculos sombreados; a parte duplamente hachurada e a interse~o A \ B, e a rea sombreada total a uni~o A [ B. ca a e a

Figura 1. A Figura 2 mostra dois conjuntos A e B que s~o disjuntos. A rea sombreada na a a 0 Figura 3 representa o complemento A do conjunto A. O conjunto AB, o complemento relativo de B em A, representado pela parte sombreada na Figura 4. e

Figura 2.

Figura 3.

O Conceito de Conjunto

39

Figura 4.

Figura 5.

Figura 6. Um diagrama de Venn t pico de tr^s conjuntos A, B, e C pode ser desenhado e como na Figura 5. Esses tr^s conjuntos dividem o conjunto universal U em 8 partes, tal e como indicado na gura 6. Usando os diagramas acima, podemos dar argumentos heur sticos simples para a validade de, por exemplo, a lei distributiva A \ (B [ C) = (A \ B) [ (A \ C), como segue: Da Figura 6, A \ (B [ C) consiste das reas 2, 3 e 7. Por outro lado, a (A \ B) [ (A \ C) representada pela uni~o das reas 2 e 7, e reas 3 e 7. Portanto, a e a a a igualdade A\(B [C) = (A\B)[(A\C) parece plaus vel. Entretanto, em matemtica, a um argumento heur stico n~o pode ser aceito como uma demonstra~o. a ca

40

O Conceito de Conjunto

2.5.1

Exerc cios

1. Desenhe um diagrama de Venn para A B. 2. Desenhe diagramas de Venn para A \ B 0 , A0 \ B e A0 \ B 0 . 3. Desenhe diagramas de Venn para A [ B 0 , A0 [ B e A0 [ B 0 . Nos problemas de 4 a 10, desenhe diagramas de Venn e d^ argumentos heur e sticos de que cada uma das arma~es plaus co e vel. 4. A \ (B \ C) = (A \ B) \ C. 5. A [ (B [ C) = (A [ B) [ C. 6. A [ (B \ C) = (A [ B) \ (A [ C). 7. (A [ B)0 = A0 \ B 0 . 8. (A \ B)0 = A0 [ B 0 . 9. A \ (B A) = e A [ (B A) = A [ B. 10. (A [ B) (A \ B) = (A B) [ (B A).

2.6

Fam lias indexadas de conjuntos

Recordemos que um conjunto uma cole~o de elementos que s~o todos distintos. e ca a Grosseiramente falando, uma fam uma cole~o de objetos, n~o necessariamente lia e ca a distintos, chamados membros. Por exemplo, fa; a; ag uma fam com tr^s membros, e lia e a, a e a. Mas a mesma fam fa; a; ag, considerada como um conjunto apenas o lia e conjunto unitrio fag com um nico elemento, a. a u Seja um conjunto e suponhamos que para cada elemento de , existe um conjunto associado A . A fam de todos esses conjuntos A chamada uma fam lia e lia indexada de conjuntos, indexada pelo conjunto , e denotada por e fA j 2 g Por exemplo, a fam de conjuntos, f1; 2g; f2; 4g; f3; 6g; : : : ; fn; 2ng; : : : , pode lia ser considerada como uma fam indexada de conjuntos, indexada pelo conjunto N dos lia nmeros naturais, sendo An = fn; 2ng para cada n 2 N. Esta fam de conjuntos pode u lia ser denotada por ffn; 2ng j n 2 Ng. Uma fam arbitrria de conjuntos pode parecer n~o ser indexada, mas na maioria lia a a dos casos podemos facilmente encontrar um conjunto que pode ser usado para indexar a fam de conjuntos dada. lia Exemplo 2.7 Indexe a fam F de conjuntos ; N; Z; Q; R; R. lia Solu~o. Como esta fam contm exatamente seis membros (embora dois deles sejam ca lia e o mesmo), escolhemos = f1; 2; 3; 4; 5; 6g e fazemos A1 = , A2 = N, A3 = Z, A4 = Q, A5 = R e A6 = R. A fam de conjuntos est ent~o indexada. lia a a Virtualmente todos os s mbolos e nota~es usados para conjuntos aplicam-se a co fam lias tambm. Por exemplo, 2 F e R+ 6F indicam, respectivamente, que e 2

O Conceito de Conjunto

41

a e e um membro da fam F e R+ n~o membro de F. Podemos tambm escrever e lia F = f; N; Z; Q; R; Rg. Estendamos agora os conceitos de uni~o [ e interse~o \, das Deni~es 1.3 e a ca co 1.4, a uma fam arbitrria de conjuntos. lia a Deni~o 2.6 Seja F uma fam arbitrria de conjuntos. A uni~o dos conjuntos em ca a a S S lia F, denotada por A2F A ou F, o conjunto de todos os elementos que est~o em A e a para algum A 2 F. Ou seja, [ A = fx 2 U j x 2 A para algum A 2 Fg
A2F

Se a fam F indexada pelo conjunto , a seguinte nota~o alternativa pode ser usada: lia e ca [ A = fx 2 U j x 2 A para algum 2 g
2

Se o conjunto de ndices nito, = f1; 2; 3; : : : ; ng para algum nmero natural e u n, nota~es mais intuitivas, tais como co
n [ i=1

Ai ou A1 [ A2 [ [ An S
2

s~o usadas freqentemente para a u

A .

Exemplo 2.8 Encontre a uni~o da fam de conjuntos a lia f1g; f2; 3g; f3; 4; 5g; : : : ; fn; n + 1; : : : ; 2n 1g: Solu~o. Esta fam de conjuntos pode ser considerada como indexada por = ca lia f1; 2; 3; : : : ; ng, sendo Ai = fi; i + 1; : : : ; 2i 1g, para cada i 2 . O problema S se reduz a encontrar n fi; i + 1; : : : ; 2i 1g. Observe que cada inteiro entre 1 e i=1 2n 1 pertence a algum Ai na fam e nenhum outro elemento pertence a qualquer lia, desses Ai . Portanto,
n [ i=1

fi; i + 1; : : : ; 2i 1g = f1; 2; 3; : : : ; 2n 1g

Deni~o 2.7 Seja T uma fam arbitrria de conjuntos. A interse~o de conjuntos ca F a ca T lia em F, denotada por A2F ou F, o conjunto de todos os elementos que est~o em A e a para todo A 2 F. Ou seja, \ = fx 2 U j x 2 A para todo A 2 Fg
A2F

42

O Conceito de Conjunto

Aqui, a arma~o \x 2 A para todo A 2 F" pode ser expressada alternativamente ca como \A 2 F ! x 2 A. Esta ultima express~o melhor na demonstra~o de teoremas, a e ca como veremos no Teorema 2.7 adiante. Se a fam F indexada pelo conjunto , a seguinte nota~o alternativa pode ser lia e ca usada: \ A = fx 2 U j x 2 A para todo 2 g
2

Se o conjunto de ndices for nito, = f1; 2; : : : ; ng para algum inteiro positivo n, ent~o como no caso da uni~o, escrevemos habitualmente a a
n \ i=1

Ai ou A1 \ A2 \ An

em vez de

T
2

A .

Sejam a e b dois nmeros reais quaisquer. Por intervalo aberto ]a; b[ entendemos u o subconjunto fx 2 R j a < x < bg de R. Segue que se a b ent~o ]a; b[ = . a Exemplo 2.9 Encontre a interse~o da fam de intervalos abertos ca lia ]0; 1[ ; ]0; 1 [ ; ]0; 1 [ ; : : : 2 3 T 1 Solu~o. Devemos encontrar o conjunto n2N ]0; n [. Falando intuitivamente, a fam ca lia dada uma seq^ncia de intervalos \decrescentes" ]0; 1=n[ , em que o intervalo ]0; 1=n[ e ue se \aproxima" do conjunto T vazio quando n torna-se grande. Portanto, podemos conjeturar que a interse~o n2N ]0; 1=n[ deve ser o conjunto vazio. Demonstraremos ca que T nossa conjetura verdadeira. Suponha em contrrio, que existe algum nmero real e a u a amos 0 < a < 1=n para todo n 2 N. Isto contradiz o fato a 2 n2N ]0; 1=n[. Ent~o ter de que para um nmero real xado a > 0, sempre T u existe um n 2 N, sucientemente grande, tal que 1=n < a. A contradi~o mostra que n2N ]0; 1=n[ = . ca Teorema 2.7 Seja fA j 2 g uma fam vazia de conjuntos; isto , = . Ent~o lia e a S (a) 2 A = . T (b) 2 A = U . Demonstra~o. (a) Para mostrar ca S A para todo x (em U ): 2 x6 2 S 0 S
2

2 A = , mostramos equivalentemente que x 6 1 A A Nota~o ca

A @x 2

S
2

(x 2 A para algum 2 ) Def. 2.6 (x 6 para todo 2 ) 2A N.Q. (Cap. 1) ( 2 ! x 6 ) 2A

O Conceito de Conjunto

43

A ultima arma~o , pelo Teorema 1.7 do Cap ca e tulo 1, verdadeira para todo x 2 U , e ca ca pois 2 uma contradi~o. Isto completa a demonstra~o da parte (a). T (b) Demonstraremos que x 2 2 A , para todo x em U. Observe que x2 T
2

A (x 2 A ; 8 2 ) ( 2 ! x 2 A )

Def. 2.7

A ultima asser~o , como explicamos na demonstra~o da parte (a), uma ar ca e ca ma~o verdadeira para todo x 2 U . A demonstra~o est terminada. ca ca a Muitos teoremas, a respeito de opera~es de um nmero nito de conjuntos, podem co u ser generalizados a teoremas a respeito de opera~es de uma fam arbitrria de conco lia a juntos. Por exemplo, o seguinte teorema generaliza o Teorema de De Morgan. Compare este teorema com o Teorema 2.6. Teorema 2.8 (Teorema de De Morgan Generalizado) Seja fA j 2 g uma fam arbitrria de conjuntos. Ent~o lia a a 0 T S (a) = 2 A0 . 2 A 0 S T (b) A = 2 A0 . 2 Demonstra~o. Demonstraremos apenas a parte (a), e deixaremos a parte (b) ao estuca dante. !0 ! S S Def. de 0 x2 A x 2 A
2 2

(9 2 )(x 2 A ) (8 2 )(x 6 ) 2A (8 2 )(x 2 A0 ) T x 2 2 A0 Portanto, pela Deni~o 2.1, ca S

2 A

Def. 2.6 N.Q. (Cap. 1) Def. de 0 Def. 2.7

2

A0 .

O seguinte teorema uma generaliza~o do Teorema 2.4(e). e ca Teorema 2.9 (Leis Distributivas Generalizadas) Seja A um conjunto e seja F = lia a a fB j 2 g uma fam arbitrria de conjuntos. Ent~o S S (a) A \ B = (A \ B ): T2 T2 (b) A [ 2 B = 2 (A [ B ):

44

O Conceito de Conjunto S

Demonstra~o. Um elemento x est no conjunto A \ ca a 2 B se e somente se x 2 A S ca e e x 2 2 B , o que, de acordo com a Deni~o 2.6, equivalente a x2A e x 2 B para algum 2

Esta ultima asser~o pode ser expressa, pela Deni~o 2.4, como ca ca para algum 2 S o que, pela Deni~o 2.6, precisamente x 2 2 (A \ B ). Assim, pela Deni~o 2.1, ca e ca S S A\ 2 B = 2 (A \ B ). A demonstra~o da parte (b) um exerc ca e cio. x 2 A \ B

2.6.1

Exerc cios

1. Sejam = f1; 2; 3; 4g, e A1 = fa; b; c; dg, A2 = fb; c; dg, A3 = fa; b; cg, A4 = fa; bg. S Encontre o seguinte. (a) T4 Ai . i=1 (b) 4 Ai . i=1 2. Para dois nmeros reais quaisquer a e b, por intervalo fechado [a; b] entendemos o u conjunto fx 2 R j a x bg. Se a > b, [a; b] = . Encontre os seguintes conjuntos. T (a) Sn2N [0; 1=n] (b) n2N [0; 1=n] T (c) 99 [0; 1=n] n=1 0 S T 3. Demonstre o Teorema 2.8(b): A = 2 A0 . 2 T T 4. Demonstre o Teorema 2.9(b): A [ 2 B = 2 (A [ B ). 5. Expanda (a) (A1 [ A2 ) \ (B1 [ B2 [ B3 ) em uma uni~o de interse~es, e a co (b) (A1 \ A2 ) [ (B1 \ B2 \ B3 ) em uma interse~o de uni~es. [Sugest~o: Use o ca o a Teorema 2.9 vrias vezes.] a 6. Expanda S S a co (a) (Tm Ai ) \ (Tn Bj ) em uma uni~o de interse~es, e i=1 j=1 m n (b) ( i=1 Ai ) [ ( j=1 Bj ) em uma interse~o de uni~es. [Veja Problema 5.] ca o 7. Sejam fA j 2 g e fB j 2 g duas fam de conjuntos. Expanda lias S S (a) (T2 A ) \ ( T2 B ) em uma uni~o de interseoes, e a c~ (b) ( 2 A ) [ ( 2 B ) em uma interse~o de uni~es. [Veja Problemas 5 e 6.] ca o

2.7

O paradoxo de Russel

Neste momento muitos de ns achamos que entendemos o signicado de conjunto | pelo o menos intuitivamente. A maioria de ns, fazendo um curso de teoria dos conjuntos pela o

O Conceito de Conjunto

45

primeira vez, n~o perceberia o que h de errado em considerar \o conjunto de todos os a a conjuntos" ou o assim chamado \conjunto universal" no sentido absoluto. Na verdade, por um per odo de tempo (pelo menos de 1895, quando Georg Cantor pioneiramente criou uma teoria dos conjuntos, at 1902, quando o Paradoxo de Russel apareceu), e a exist^ncia de um tal conjunto universal era considerada como certa. Foi o famoso e a lsofo ingl^s Bertrand Russel (1872{1970)5 que chocou a comunidade matemtica em o e 1902, declarando que a admiss~o de um conjunto de todos os conjuntos levaria a uma a contradi~o. Este o famoso Paradoxo de Russel. Apresentaremos este paradoxo na ca e forma de dois lemas aparentemente contraditrios, dos quais um teorema conseq^ncia. o e ue Lema 2.1 Suponhamos que existe um conjunto U de todos os conjuntos. Seja R = fS 2 U j S 6 6 Ent~o R 6 2 Sg. a 2 R. Demonstra~o. Suponhamos, ao contrrio, que R 2 R. Ent~o, pela especica~o ca a a ca do conjunto R, devemos ter R 6R, o que contradiz a hiptese de que R 2 R. A 2 o contradi~o prova que R 6 ca 2 R.

Lema 2.2 Suponhamos que existe um conjunto U de todos os conjuntos. Seja R o conjunto fS 2 U j S 6 2 Sg. Ent~o R 2 R. a Demonstra~o. Suponha o contrrio, que R 6 Ent~o, como R 2 U , temos R 2 R ca a 2 R. a pela deni~o de R. Isto uma contradi~o. Assim, R 2 R. ca e ca Teorema 2.10 N~o existe um conjunto de todos os conjuntos. a Demonstra~o. Em vista dos Lemas 2.1 e 2.2, o conjunto de todos os conjuntos n~o ca a pode existir. Pois, se existisse, levaria contradi~o \R 6 e R 2 R". a ca 2R Paul R. Halmos coloca-o do seguinte modo: \Nada contm tudo."7 e
5 Bertrand Russel nasceu em 18 de maio de 1872, em Trelleck, Wales, Inglaterra. Antes que completasse quatro anos, seus pais faleceram. Foi sempre um garoto quieto e t mido, at ingressar no Trinity e College, na Universidade de Cambridge, em 1890. Aps tr^s anos de Matemtica, concluiu que o que o e a lhe estava sendo ensinado estava cheio de erros. Vendeu seus livros de matemtica e mudou-se para a a losoa. No seu Principia Mathematica (1910{1913), um trabalho monumental em tr^s volumes, e em co-autoria com Alfred North Whitehead (1861{1947), tentou remodelar a teoria dos conjuntos, de modo a evitar paradoxos. Em 1918 escreveu \Quero posicionar-me borda do mundo e perscrutar a a escurid~o alm, e ver um pouco mais do que outros viram. : : : Quero trazer de volta ao mundo dos a e homens um pouquinho de sabedoria". Ele seguramente o fez, mais do que \um pouquinho". No mesmo ano, foi preso por um comentrio desfavorvel sobre o exrcito americano. Em 1950 recebeu a Ordem a a e do Mrito do rei da Inglaterra e o Pr^mio Nobel de Literatura. Em seus ultimos anos, liderou vrias e e a manifesta~es contra os armamentos nucleares. co 6 Conforme a regra da especica~o, R um conjunto freqentemente chamado \o conjunto de ca e u Russel". 7 Paul R. Halmos, Naive Set Theory (Teoria Ing^nua dos Conjuntos), D. Van Nostrand Company, e Inc., New York, 1960, p.6.

46

O Conceito de Conjunto

2.8

Um comentrio histrico a o

A teoria moderna dos conjuntos geralmente considerada ter sido criada em 1859 pelo e matemtico famoso Georg Cantor8 (1845{1918), que notou a necessidade de uma tal a teoria quando estudava sries trigonomtricas. Cantor escreveu: \Por um `conjunto' e e entenderemos qualquer cole~o dentro de um todo de objetos distintos denidos, de ca nossa intui~o ou pensamento". Esta deni~o n~o proibe ningum de considerar o ca ca a e \conjunto" de todos os conjuntos, como o fez Bertrand Russel. A diculdade real na deni~o de Cantor de um conjunto a palavra \cole~o". O que uma cole~o? E ca e ca e ca claro que podemos procur-la em um dicionrio e encontrar algo como estas deni~es: a a co \cole~o: um grupo de objetos coletados." ca \grupo: um agregado ou cole~o." ca \agregado: uma cole~o." ca Estas dicilmente nos ajudar~o. Quando um matemtico d uma deni~o, n~o a a a ca a para que seja um mero sin^nimo, tal como o s~o \cole~o" e \conjunto", ou uma e o a ca deni~o circular como encontrar ca amos em um dicionrio. Aparentemente, Cantor n~o a a estava consciente de que o termo \conjunto" era realmente inden vel. Para evitar qualquer diculdade, tal como o Paradoxo de Russel na teoria dos conjuntos, devemos aceitar os termos \conjunto" e \elemento" como termos indenidos, ou primitivos, e guiar estes conceitos primitivos por um nmero de axiomas, incluindo o u Axioma da Especica~o e o Axioma do Conjunto das Partes, que foram apresentados ca na se~o 2.2. Outros axiomas, tais como \A = B" se e somente se A e B contm os ca e mesmos elementos" (Axioma da Extens~o), \ um conjunto" (Axioma do Conjunto a e Vazio), \Se A e B s~o conjuntos, ent~o tambm o fA; Bg" (Axioma do Emparelhaa a e e mento), e \Se F um conjunto de conjuntos ent~o F um conjunto" (Axioma das e a e Uni~es) s~o freqentemente dados em tratamentos axiomticos da teoria dos conjuntos. o a u a O Paradoxo de Russel n~o foi o unico a aparecer na teoria dos conjuntos. Logo a depois do seu aparecimento, muitos paradoxos foram constru por vrios matemticos dos a a e lgicos. Como uma conseq^ncia de todos esses paradoxos, muitos matemticos e o ue a lgicos contribu o ram a vrias formula~es da \teoria axiomtica dos conjuntos", cada a co a uma projetada de modo a evitar esses paradoxos e, ao mesmo tempo, a preservar o corpo principal da teoria dos conjuntos de Cantor. Entretanto, at o momento da escrita e 9 destas notas , ningum apareceu com um sistema axiomtico completamente satisfatrio e a o para a teoria dos conjuntos. Apesar das diculdades supracitadas, a teoria dos conjuntos de Cantor j penetrou a em todos os ramos da matemtica moderna, e provou ser de import^ncia particular a a nos fundamentos da anlise moderna e da topologia. Na verdade, mesmo os mais a
Georg Cantor nasceu em S~o Petersburgo, Rssia, em 1845, mudou-se para a Alemanha em 1856, a u estudou matemtica na Universidade de Berlim (1863{1869), e ensinou na Universidade de Halle (1969{ a 1905). Um dos interesses de Cantor eram as sries trigonomtricas, que o levaram a investigar os e e fundamentos da anlise. Como resultado, ele criou o trabalho revolucionrio sobre a teoria dos conjuntos a a e uma aritmtica dos nmeros transnitos. e u 9 1974
8

O Conceito de Conjunto

47

simples e bem constru dos sistemas axiomticos da teoria dos conjuntos s~o inteiramente a a adequados para a constru~o de virtualmente toda a matemtica clssica (e.g., a teoria ca a a dos nmeros reais e complexos, lgebra, topologia, etc.). u a

48

Relacoes e Funcoes ~ ~