Teoria Elementar dos Conjuntos

Este cap tulo visa oferecer uma breve reviso sobre teoria elementar dos conjuntos. Alm de conceitos a e bsicos importantes em matemtica, a sua imprtncia reside no fato da lgebra dos conjuntos tratar-se a a a a de um exemplo de lgebra booleana. Como referncia bibliogrca, recomenda-se o livro [Filho, 1980]. a e a Conjuntos e elementos Conjuntos so colees de objetos, denominados elementos1 a co Exemplos de conjuntos O conjunto de todos os nmeros inteiros, o conjunto de todos os alunos de MAC0329 do u semestre corrente, o conjunto de todos os seres humanos vivos atualmente, o conjunto de todos os nmeros reais maiores que zero e menores que 1, o conjunto de todos os jogadores u da atual seleo brasileira de futebol, o conjunto de todas as letras do alfabeto romano, ca etc.

Notao ca Conjuntos sero representados por letras maisculas: A, B, C, S, etc. Elementos de um a u conjunto sero representados por letras minsculas: a, b, x, y, etc. a u Em geral, podemos especicar um conjunto descrevendo os seus elementos via uma condio, ca ou ento enumerando os seus elementos. Por exemplo, o conjunto A de todos os nmeros a u inteiros pares pode ser expresso por: A = {x Z | x par} e e o conjunto B das cores da bandeira brasileira pode ser expresso por: B = {verde, amarelo, azul, branco} Conjuntos universo e vazio Dois conjuntos especiais so o conjunto universo, isto , o conjunto de todos os objetos a e em questo, e o conjunto vazio, isto , o conjunto que no contm nenhum elemento. Os a e a e conjuntos universo e vazio so denotados, respectivamente, por U e . a
No objetivo fazermos uma denio formal de conjunto. Basta utilizaremos a noo intuitiva que temos sobre a e ca ca conjuntos.
1

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

Conjunto unitrio a Em lgebra de conjuntos, os objetos de interesse so os conjuntos e no os elementos a a a que pertencem a eles. Assim, as operaes devem ser denidas sobre ou entre conjuntos, co mas nunca sobre elementos isolados. Para tratar elementos, devemos considerar conjuntos unitrios. Por exemplo, se a um elemento de U ento {a} denota o conjunto unitrio a e a a que contm apenas um unico elemento, o elemento a. e Relao elemento conjunto ca Se um elemento x pertence a um conjunto A, escrevemos x A. Diremos, alternativamente, que x membro de A. Se x no pertence ao conjunto A, escrevemos x A. e a Relao conjunto conjunto ca Um conjunto A igual a um conjunto B, denotado A = B, se eles contm exatamente os e e mesmos elementos. Se no forem iguais, eles so diferentes, e denotado por A = B. a a Um conjunto A est contido num conjunto B se todos os elementos de A pertencem a tambm ao conjunto B. Escrevemos A B e dizemos tambm que A um subconjunto e e e de B. Se, alm disso, B possui pelo menos um elemento que no pertence a A, ento e a a dizemos que A est propriamente contido em B, ou que A um subconjunto prprio a e o de B, e denotamos A B.

Propriedades da relao ca A relao de incluso de conjuntos obedece `s seguintes propriedades. Para quaisquer X, Y e Z, ca a a I1. (reexiva) X X I2. (transitiva) X Y e Y Z = X Z I3. (anti-simtrica) X Y e Y X = X = Y e I4. (a) X (b) X U

Conjunto potncia (power set) ou conjunto das partes de um conjunto e Dado um conjunto A, o conjunto potncia de A denotado por P(A) e denido por e e P(A) = {X U : X A}, ou seja, P(A) o conjunto de todos os subconjuntos de A. e

Exerc cio: Seja A = {a, b, c}. Liste todos os elementos de P(A). Exerc cio: Mostre que se A contm n elementos ento P(A) contm 2n elementos. e a e

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

Complemento, unio e interseo a ca O complemento de um conjunto X, denotado X c , consiste de todos os elementos em U que no esto em X, ou seja, X c = {x U | x X}. a a Conjuntos podem ser combinados para gerar outros conjuntos. Para isso, podemos considerar duas regras (operaes) que denem formas pelas quais conjuntos podem ser combico nados: a unio e a interseo. a ca Dados dois conjuntos X e Y quaisquer, a unio de X e Y denotada X Y e denida a e como sendo o conjunto de elementos que pertencem ou a X, ou a Y ou a ambos, ou seja, X Y = {x U | x X ou x Y }. A interseo de X e Y denotada X Y e ca e denida como sendo o conjunto de elementos que pertencem tanto a X como a Y , ou seja, X Y = {x U | x X e x Y }. Se X Y = (conjunto vazio) ento dizemos que X e Y so disjuntos. a a Exemplos: {1, 2, 3} {2, 4, 6} = {1, 2, 3, 4, 6} {a} {b} = {a, b} Diagramas de Venn Os diagramas de Venn so uteis para reforar a noo intuitiva sobre conjuntos, principala c ca mente para analisar relaes entre os conjuntos e tambm seus membros. Para demonstrar co e propriedades dos conjuntos, uma prova estritamente algbrica seria necessria. No ene a tanto, para entender uma propriedade e, mais do que isso, para nos convencermos de sua validade, os diagramas de Venn so bastante uteis. a No diagrama de Venn o conjunto universo representado por um retngulo, mais pree a cisamente, pelos pontos interiores ao retngulo. Qualquer conjunto desenhado como a e sendo uma curva fechada, inteiramente contida no retngulo. Pontos interiores ` curva a a correspondem aos elementos do conjunto. No exemplo da gura 1, a unio e interseo de a ca dois conjuntos genricos esto representadas pelas regies hachuradas das guras 1a e 1b, e a o respectivamente. O complemento de um conjunto representado no diagrama da gura 1c. e
X Y

{1, 2, 3} {2, 4, 6} = {2} {a} {b} =

111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000 111111111111111111111 000000000000000000000

(a) X Y

(b) X Y

(c) X c

Figura 1: Diagramas de Venn (a) Unio de dois conjuntos. (b) Interseo de dois conjuntos. (c) a ca Complemento de um conjunto.

Exerc cio: Seja x um elemento no conjunto universo U e X e Y dois subconjuntos quaisquer de U . Mostre que x membro de apenas um dos conjuntos X Y , X Y c , X c Y e X c Y c . e Dica: Desenhe o diagrama de Venn e argumente.

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

Leis fundamentais Dados conjuntos X, Y, Z quaisquer, utilize diagramas de Venn para convencer-se da validade das seguintes leis. L1. Comutativa (a) X Y = Y X (b) X Y = Y X L2. Associativa (a) X (Y Z) = (X Y ) Z (b) X (Y Z) = (X Y ) Z L3. Distributiva (a) X (Y Z) = (X Y ) (X Z) (b) X (Y Z) = (X Y ) (X Z) L4. Idempotncia e (a) X X = X (b) X X = X L5. Absoro ca (a) X (X Y ) = X (b) X (X Y ) = X L6. Complementao ca (a) X X c = (b) X X c = U L7. Complementao dupla ca (X c )c = X L8. De Morgan (a) (X Y )c = X c Y c (b) (X Y )c = X c Y c L9. Operaes com e U co (a) (Elemento neutro) U X = X e X = X (b) X = e U X = U (c) c = U e U c =

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

As igualdades das leis acima podem ser entendidas com o aux de diagramas de Venn. Para provar lio as igualdades podemos mostrar que o conjunto do lado esquerdo est contido no do lado direito e a vice-versa (propriedade de anti-simetria de ), ou ainda via transformaes lgicas (ver exemplo mais co o adiante). Note que X Y = (X c Y c )c . Isto implica que o operador poderia ser dispensado. Maiores detalhes sobre isso sero vistos oportunamente. Enquanto isso, vale a pena mencionarmos que embora no a a necessrio, o uso dos trs operadores conveniente. a e e Algumas leis so semelhantes aos da lgebra dos nmeros. No entanto, na lgebra dos conjuntos no a a u a a existem, como na lgebra usual, expresses do tipo 2X ou X 2 e algumas leis como as de nmero 3b, a o u 4 e 5 no so vlidas na lgebra dos nmeros. a a a a u Observe tambm que a maior parte das leis aparece aos pares. Iremos ver mais adiante que isso est e a ligado ao princ pio da dualidade. Exerc cio: Prove a validade das leis L3, L5 e L8 acima. Como exemplo, vamos mostrar a validade da lei L3(a), isto , X (Y Z) = (X Y ) (X Z). e Primeiramente utilizaremos o diagrama de Venn para nos convencermos da validade. O conjunto X (Y Z) corresponde ` regio hachurada pelas linhas verticais e pelas linhas horizontais na gura 2a. a a Esta coincide com a regio hachurada no diagrama mais ` direita da gura 2b, que representa o a a conjunto (X Y ) (X Z).
X Y X Y X Y X Y

Z Z Y Z X X (Y Z) X Y X Y X Z X Z (X Y ) (X Z) Z Z

(b) Figura 2: (a) X (Y Z) e (b) (X Y ) (X Z).

(a)

Para provar a igualdade, devemos mostrar que X (Y Z) (X Y )(X Z) e que (X Y )(X Z) X (Y Z). Prova: Considere x X (Y Z). Ento x X. Alm disso, x Y Z. Logo, temos que ou x Y a e e/ou x Z. Se x Y , ento x X Y . Se x Z, ento x X Z. Logo, x (X Y ) (X Z). a a Por outro lado, considere y (X Y ) (X Z). Ento, ou y (X Y ) e/ou y (X Z). Se a y (X Y ), ento y X e y Y . Se y Y ento y Y Z e portanto, y X (Y Z). De forma a a similar, se y (X Z), ento y X e y Z, de modo que y Y Z e portanto, y X (Y Z). a Podemos utilizar o mesmo racioc acima, porm expressando os conjuntos explicitamente, conforme nio e a seguir: X (Y Z) = {x | x X e x Y Z}

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

= {x | x X e (x Y ou x Z)} = {x | (x X e x Y ) ou (x X e x Z)} = {x | x X Y ou x X Z} = (X Y ) (X Z)

Exerc cio: A seguintes generalizaes das leis de De Morgan so vlidas ? Explique sua resposta. co a a (A1 A2 An )c = Ac Ac Ac 1 2 n (A1 A2 An )c = Ac Ac Ac 1 2 n Exerc cio: Desenhe a relao X Y num diagrama de Venn. Quais igualdades envolvendo os ca conjuntos X e Y so verdadeiras quando X Y ? Liste pelo menos trs. a e Outras propriedades Para quaisquer conjuntos X, Y e Z, as seguintes propriedades so verdadeiras: a P1. (a) X Y X e X Y Y (b) X X Y e Y X Y P2. (a) X Y = X sse X Y (b) X Y = Y sse X Y P3. (a) X = Y sse (X Y e Y X) (b) X = Y sse X c = Y c

Exerc cio: Mostre que A (A B) = A. Por P1(b), sabemos que A A B. Mas ento, por P2(a) A A B implica que A (A B) = A. a Exerc cio: Dados dois conjuntos X e Y a diferena deles denida por X \ Y = {x U : x c e X e x Y } e a diferena simtrica entre eles denida por XY = (X \ Y ) (Y \ X). Expresse c e e estes conjuntos em termos das operaes de complementao, unio e interseo (deduza a partir do co ca a ca diagrama de Venn). Obs.: Na presena dos operadores , e c estes operadores podem ser prticos. a Simplicao de expresses ca o As operaes , e c podem ser utilizadas para combinar conjuntos de vrias formas. co a A combinao pode ser representada por uma expresso que descreve como os conjuntos ca a foram combinados. Assim como a combinao de conjuntos resulta em um conjunto, uma ca expresso que descreve uma combinao de conjuntos representa um conjunto (aquele que a ca resulta aps as combinaes serem executadas). o co
c,

no h necessidade dos operadores \ e . No entanto, a a

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

Como vimos no caso de algumas leis, existem diferentes formas para se expressar um mesmo conjunto. Por exemplo, vimos que X = X X. Ou ainda, (X Y )c = X c Y c . Assim sendo, surge a possibilidade de estudarmos diferentes formas de expresso de a conjuntos. Expresses podem ser expandidas, fatoradas ou simplicadas aplicando-se as o leis fundamentais. Exemplo: Mostramos a simplicao da expresso [(A B) (A B c )] (Ac B). ca a [(A B) (A B c )] (Ac B) = [A (B B c )] (Ac B) = (A U ) (Ac B) = A (Ac B) = (A Ac ) (A B) = (A B) = AB o Exerc cio: Simplique as seguintes expresses: a) (A B c )c (B C) b) [(A B) (A B c )] (A B) c) (A B C) (A B C c ) (Ac B C c ) (Ac B c C c ) d) (A B) (A B c ) (Ac B) Exerc cio: Verique se as seguintes igualdades / armaes so vlidas. Justique (pode ser via co a a diagrama de Venn) ou mostre um contra-exemplo a) (A B) B = B b) (A C) (B C) = A C c) Se A B = A C ento B = C a d) A (B C) = (A B) C e) A B = (Ac B c )c f) (A B c ) (Ac B) (Ac B c ) = Ac B c g) A (B \ C) = (A B) \ (A C) h) A B = A \ (A \ B) i) X \ X = j) X \ = X k) \ X = l) (X \ Y ) \ Z = X \ (Y Z) m) (X \ Y ) \ Z = (X \ Z) \ Y n) X \ Y = X Y c o) (A \ B)c = B Ac p) (A \ B) C = (A C) \ B q) XX = r) XY = Y X s) X = X t) XY = (X Y c ) (X c Y ) u) X (Y Z) = (X Y )(X Z) v) X (Y Z) = (X Y )(X Z) x) Se A B e A C ento A B C a

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

Nos seguintes exemplos ilustramos como podemos utilizar a lgebra dos conjuntos para analisar a armaes ou conjunto de armaes. co co Exemplo: Dado que Scrates um homem e que todos os homens so mortais, deseja-se mostrar que o e a Scrates mortal. o e Vamos usar a propriedade de que X Y e Y Z implica X Z. Sejam U : conjunto de todos os seres vivos X: conjunto de todos os seres vivos humanos Y : conjunto de todos os mortais S: conjunto unitrio cujo unico elemento Scrates a e o Utilizando esta notao, temos que S X (Scrates um homem) e que X Y (todos ca o e os homens so mortais). Logo, S Y (ou seja, Scrates mortal). a o e

Exemplo: Considere as quatro armaes a seguir: co a) Um homem infeliz no dono do seu prprio nariz. a e o b) Todos os homens casados tm responsabilidades e c) Todo homem ou casado ou dono do seu prprio nariz (ou ambos). e e o d) Nenhum homem com responsabilidades pode pescar todos os dias. Sejam U : conjunto de todos os homens H: conjunto dos homens felizes B: conjunto dos homens donos dos prprios narizes o M : conjunto dos homens casados R: conjunto dos homens com responsabilidades F : conjunto dos homens que pescam todo dia Que tipo de concluses podemos derivar a partir das armaes acima? o co a) H c B c B H b) M R Rc M c c) M B = U M c B (ou B c M ) d) R F = F Rc Combinando (d) e (b) temos que F Rc M c (Todo homem que pesca todos os dias no a so casados). a Combinando F M c e (c) temos que F B (Todo homem que pesca todos os dias e dono do seu prprio nariz) o Combinando F B e (a) temos que F H (Todo homem que pesca todos os dias feliz). e

Exemplo: Trs colecionadores ingleses, A, B e C, de obras literrias antigas tm interesse pelas e a e seguintes obras:

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

A obras sobre pol tica em ingls e co em l e ca ngua estrangeira. B obras sobre pol tica, exceto co em ingls, e obras em ingls que no sejam co ca e e a ca C obras que no sejam co, e que sejam em ingls ou sobre pol a ca e tica em l ngua estrangeira. Pergunta-se quais so as obras pelas quais mais de um colecionador tm interesse? a e Dena os conjuntos A: B: C: E: F: P: todas as obras pelos quais A se interessa todas as obras pelos quais B se interessa todas as obras pelos quais C se interessa todas as obras em ingls e todas as obras que so co a ca todas as obras sobre pol tica

Podemos ento expressar o conjunto Z de obras pelos quais pelo menos dois colecionadores possuem a interesse por: Z = (A B) (A C) (B C) (1) Analogamente, podemos expressar os conjuntos A, B e C em termos dos conjuntos E, F e P da seguinte forma: A = (P E) (F E c ) B = (P (F E)c ) (E F c ) C = F c (E (P E c )) Simplicando Z, aps substitu o rmos A, B e C, temos que Z = (E F c ) (P E c ) (2)

ou seja, que h pelo menos dois interessados em obras no-co em ingls e obras sobre pol a a ca e tica em l ngua estrangeira. Vimos at aqui os principais conceitos relacionados a conjuntos. Em particular, note que conjuntos e juntamente com as operaes de unio, interseo e complementao podem ser vistos como um co a ca ca sistema algbrico, onde expresses podem ser escritas para representar uma srie de operaes sobre e o e co conjuntos e as mesmas podem ser, por exemplo, simplicadas aplicando-se manipulaes algbricas co e baseadas nas leis bsicas. a Produto cartesiano Sejam A e B dois conjuntos no vazios. O produto cartesiano de A e B, denotado A B, a o conjunto de todos os pares ordenados (x, y) tais que o primeiro elemento x pertence a e A e o segundo elemento y pertence a B. A B = {(x, y) : x A e y B} Generalizando, dados n conjuntos A1 , A2 ,. . ., An , o produto cartesiano destes n conjuntos dado por e A1 A2 An = {(a1 , a2 , . . . , an ) : a1 A1 e a2 A2 e . . . e an An }

Nina S. T. Hirata (DCC/IME-USP) Notas de aula de MAC0329 (2007)

10

Quando Ai = Aj para quaisquer i e j, denota-se o produto cartesiano acima tambm por e An . Exerc cio: Seja B = {0, 1}. Liste todos os elementos do produto cartesiano B B B. Relaes binrias e funes co a co Sejam A e B dois conjuntos no vazios. Uma relao binria R sobre A e B um subcona ca a e junto de A B, isto , R A B. e Dizemos que y correspondente de x pela relao R se (x, y) R, e denotamos xRy (l-se e ca e x-erre-y). Se R A A, dizemos que R uma relao binria sobre A. Se R A1 A2 An , e ca a ento R uma relao n-ria. a e ca a Uma relao binria R sobre A uma relao de equivalncia se para quaisquer trs ca a e ca e e elementos a, b e c de A vale as propriedades: (reexiva) aRa (simtrica) se aRb ento bRa e a (transitiva) se aRb e bRc ento aRc a Uma relao binria f A B uma funo de A em B se para todo x A existe ca a e ca um unico y B tal que (x, y) f . A funo denotada f : A B e em vez de xf y ca e denotamos f (x) = y. O elemento y = f (a) B a imagem de a A. e Uma relao f que associa um elemento b B para cada elemento do produto direto A1 A2 An ca denominada uma funo de n variveis. e ca a a co Exerc cio: Explique o que so funes sobrejetoras, injetoras e bijetoras. Operaes co Uma funo de A em A muitas vezes denominada uma operao unria. Por exemplo, ca e ca a o complemento c uma operao unria. Uma funo de duas variveis de A A em A e ca a ca a e muitas vezes denominada uma operao binria. Por exemplo, na lgebra elementar a ca a a operao + em 1 + 3 = 4 uma funo que associa ao par (1, 3) o elemento 4. ca e ca

Referncias Bibliogrcas e a
[Filho, 1980] Filho, E. A. (1980). Teoria Elementar dos Conjuntos. Livraria Nobel S.A., So Paulo. a

Ultima reviso em 27 de fevereiro de 2007. a 11