Teoria dos Conjuntos

Fabiano C. Botelho
fabiano@decom.cefetmg.br http://www.dcc.ufmg.br/~fbotelho

Transp. cedidas pelo Prof. Antonio Alfredo Ferreira Loureiro

loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro

CEFET-MG/DECOM

MD

Conceitos

Introduo
O que os seguintes objetos tm em comum? um grupo de pessoas um rebanho de animais um buqu de ores uma dzia de ovos Conjunto: coleo de objetos bem denidos, denominados elementos ou membros do conjunto. As palavras conjunto e elementos so termos indenidos da teoria dos conjuntos. Teoria dos conjuntos: base do pensamento matemtico. Todos objetos matemticos podem ser denidos em termos de conjuntos.

CEFET-MG/DECOM

MD

Conceitos

Introduo
Notao: Seja S um conjunto e a um elemento de S. a S: a pertence a S a S: a no pertence a S Axioma da extenso: Um conjunto completamente determinado pelos seus elementos. A ordem na qual os elementos so listados irrelevante. Elementos podem aparecer mais de uma vez no conjunto.

CEFET-MG/DECOM

MD

Conceitos

Formas de denir um conjunto

Listar seus elementos entre chaves: {Ana, Roberto, Carlos} {Roberto, Carlos, Ana} {Roberto, Roberto, Ana, Carlos, Ana} Especicar uma propriedade que dene um conjunto, como S {x|P (x)}: {x Z | 2 < x < 5} {x R | 2 < x < 5} P (x) no pode ser uma propriedade qualquer. Exemplo: S = {A|A um conjunto e A A}; S S? [Paradoxo de Russel] Usar uma denio recursiva: 1A se x A e x + 2 < 10, ento x + 2 A
CEFET-MG/DECOM MD

Conceitos

Formas de denir um conjunto

Usar operaes sobre conjuntos para criar novos conjuntos: S = {1, 3, 5, 7, 9} P Especicar uma funo caracterstica: k para x = 1, 3, 5, 7, 9 A(x) = 0 caso contrrio Nem sempre possvel utilizar todos os tipos de denio: Exemplo: S = {x R |0 x 1} No possvel denir S listando os elementos.

CEFET-MG/DECOM

MD

Conceitos

Relaes entre conjuntos: Subconjuntos

Denio: Se A e B so conjuntos, A chamado subconjunto de B, escrito A B, sse cada elemento de A tambm um elemento de B. Simbolicamente: A B x, se x A ento x B. As frases A est contido em B e B contm A so formas alternativas de dizer que A um subconjunto de B.

CEFET-MG/DECOM

MD

Conceitos

Relaes entre conjuntos: Subconjunto prprio

Denio: Se A e B so conjuntos, A subconjunto prprio de B sse cada elemento de A est em B mas existe pelo menos um elemento de B que no est em A. Simbolicamente: A B A B e A = B.

CEFET-MG/DECOM

MD

Conceitos

Relaes entre conjuntos: Diagramas de Venn

Se os conjuntos A e B forem representados por regies no plano, relaes entre A e B podem ser representadas por desenhos chamados de Diagramas de Venn. Exemplo 1: A B.

CEFET-MG/DECOM

MD

Conceitos

Relaes entre conjuntos: Diagramas de Venn

Exemplo 2: A B.

CEFET-MG/DECOM

MD

Conceitos

Relaes entre conjuntos: Igualdade

Denio: Dados os conjuntos A e B, A = B sse cada elemento de A est em B e cada elemento de B est em A. Simbolicamente: A = B A B e B A.

CEFET-MG/DECOM

MD

Conceitos

10

Operaes sobre conjuntos

Sejam A e B subconjuntos do conjunto universal U . Unio: A B = {x U |x A ou x B} Notao: A1 A2 . . . An = n Ai i=1 Interseco: A B = {x U |x A e x B} Notao: A1 A2 . . . An = n Ai i=1 Diferena: B A = {x U |x B e x A} Complemento: Ac = {x U |x A}

CEFET-MG/DECOM

MD

Conceitos

11

Tuplas ordenadas
Seja n um inteiro positivo e seja x1, x2, . . . , xn uma seqncia de elementos no necessariamente distintos. A n-tupla ordenada, (x1, x2, . . . , xn), consiste de: elementos da seqncia, i.e., x1, x2, . . . , xn, e a ordem desses elementos na seqncia, i.e., x1 o primeiro elemento, x2 o segundo, etc. Exemplos: Uma 2-tupla ordenada chamada de par ordenado. Uma 3-tupla ordenada chamada de tripla ordenada. Duas n-tuplas ordenadas (x1, x2, . . ., xn) e (y1, y2, . . ., yn) so iguais sse xi = yi, para i = 1 . . . n.

CEFET-MG/DECOM

MD

Conceitos

12

Produto Cartesiano
Dado dois conjuntos A e B, o produto cartesiano de A e B, denotado AB, o conjunto de todos os pares ordenados (a, b), onde a A e b B. Notao: A B = {(a, b)|a A e b B} Dado os conjuntos A1, A2, . . . , An, o produto cartesiano de A1, A2, . . . , An, denotado A1 A2 . . . An, o conjunto de todas n-tuplas ordenadas (a1, a2, . . . , an), onde ai Ai para i = 1 . . . n. Notao: A1 A2 . . . An = {(a1, a2, . . . , an)|ai Ai para i = 1 . . . n}

CEFET-MG/DECOM

MD

Conceitos

13

Propriedades de subconjuntos
Incluso da interseco: para todos conjuntos A e B. AB A AB B Incluso na unio: para todos conjuntos A e B. AAB B AB Propriedade transitiva dos subconjuntos: para todos conjuntos A, B e C. se A B e B C ento A C

CEFET-MG/DECOM

MD

Conceitos

14

Identidades de conjuntos
Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U . Comutatividade: AB =BA Associatividade: (A B) C = A (B C) Distributividade: A (B C) = (A B) (A C) Interseco com U: AU =A Unio com U: AU =U
CEFET-MG/DECOM MD

AB =BA

(A B) C = A (B C)

A (B C) = (A B) (A C)

Conceitos

15

Identidades de conjuntos
Complemento duplo: (Ac)c = A Idempotncia: AA=A De Morgan: (A B)c = Ac B c A (B C) = (A B) (A C) Absoro: A (A B) = A

AA=A

(A B)c = Ac B c A (B C) = (A B) (A C)

A (A B) = A

Representao alternativa para diferena de conjuntos: A B = A Bc

CEFET-MG/DECOM MD

Conceitos

16

Teorema sobre conjunto vazio

Teorema: Um conjunto com nenhum elemento um subconjunto de cada conjunto. Em outras palavras, se um conjunto com nenhum elemento e A um conjunto qualquer, ento A.

Prova (por contradio): Suponha que no. Suponha que exista um conjunto com nenhum elemento e um conjunto A tal que A. [Deve-se deduzir uma contradio.] Neste caso, deve haver um elemento de que no um elemento de A [pela denio de subconjunto]. Mas no pode haver tal elemento j que no tem nenhum elemento. Isto uma contradio. . . . A suposio que existem conjuntos e A, onde no tem nenhum elemento e A F e o teorema V.

CEFET-MG/DECOM

MD

Conceitos

17

Teorema sobre conjunto vazio

Corolrio: Existe somente um conjunto com nenhum elemento. Prova: Suponha que 1 e 2 so conjuntos com nenhum elemento. Pelo teorema acima, 1 2 j que 1 no tem nenhum elemento. Da mesma forma, 2 1 j que 2 no tem nenhum elemento. Logo, 1 = 2 pela denio de igualdade de conjuntos. Denio: o conjunto nico com nenhum elemento chamado de conjunto vazio e denotado pelo smbolo .

CEFET-MG/DECOM

MD

Conceitos

18

Propriedades de conjuntos que envolvem

Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U . Unio com : A=A Interseco e unio com o complemento: A Ac = A Ac = U Interseco com : A= Complementos de U e : Uc =

c = U

CEFET-MG/DECOM

MD

Conceitos

19

Parties de conjuntos
Denio: Dois conjuntos so chamados disjuntos sse eles no tm nenhum elemento em comum. Simbolicamente, A e B so disjuntos A B = Proposio: Dados dois conjuntos A e B, (A B) e B so disjuntos. Prova (por contradio): Suponha que no. Suponha que existam conjuntos A e B tais que (A B) e B no sejam disjuntos. [Deve-se deduzir uma contradio.] Neste caso, (A B) B = e, desta forma, existe um elemento x em (A B) B. Pela denio de interseco, x (A B) e x B e j que que x (A B), pela denio de diferena, x A e x B. Acabou-se de mostrar que x B e x B, o que uma contradio.

. . . A suposio que existem conjuntos A e B tais que (A B) e B no so disjuntos F e a proposio V.

CEFET-MG/DECOM MD

Conceitos

20

Parties de conjuntos
Denio (conjuntos mutuamente disjuntos): Conjuntos A1, A2, . . . , An so mutuamente disjuntos (ou disjuntos par-a-par ou sem sobreposio) sse Ai Aj para todos i, j = 1, 2, . . . , n e i = j, i.e., Ai Bi = . Denio (partio): Uma coleo de conjuntos no vazios {A1, A2, . . ., An} uma partio do conjunto A sse 1. A = A1 A2 . . . An 2. A1, A2, . . . , An so mutuamente disjuntos

CEFET-MG/DECOM

MD

Conceitos

21

Conjunto potncia
Denio (conjunto potncia): Dado um conjunto A, o conjunto potncia de A, denotado por P(A), o conjunto de todos os subconjuntos de A. Ache o conjunto potncia do conjunto {x, y}. P({x, y}) = {, {x}, {y}, {x, y}}. Teorema: Para todos conjuntos A e B, se A B ento P(A) P(B). Prova: Suponha que A e B so conjuntos tais que A B. [Deve-se mostrar que P(A) P(B)]. Suponha que X P(A). [Deve-se mostrar que X P(B)]. J que X P(A) ento X A pela denio de conjunto potncia. Mas como A B, temos que X B pela propriedade transitiva dos subconjuntos. Conclui-se ento que X P(B) [o que devia ser mostrado].

. . . P(A) P(B) pela denio de subconjunto.

CEFET-MG/DECOM MD

Conceitos

22

Conjunto potncia
Teorema: Para todos inteiros n 0, se um conjunto X tem n elementos ento P(X) tem 2n elementos.

Prova (por induo matemtica): Considere a propriedade Qualquer conjunto com n elementos tem 2n elementos. Passo base: Para n = 0 tem-se 20 = 1 subconjunto. O nico conjunto com zero elementos o conjunto vazio que s tem um subconjunto que ele prprio. Logo, a propriedade verdadeira para n = 0.

CEFET-MG/DECOM

MD

Conceitos

23

Conjunto potncia
Passo indutivo: se a frmula verdadeira para n = k ento deve ser verdadeira para n = k+1. (a) Seja k 0 e suponha que qualquer conjunto com k elementos tem 2k subconjuntos. [hiptese indutiva] (b) Deve-se mostrar que qualquer conjunto com k + 1 elementos tem 2k+1 subconjuntos. Seja X um conjunto com k + 1 elementos e escolha um elemento z em X. Observe que qualquer subconjunto de X ou contm z ou no contm. Alm disso, qualquer subconjunto de X que no contm z um subconjunto de X {z}. E qualquer subconjunto A de X {z} pode ser associado com um subconjunto B, igual a A {z}, de X que contm z. Conseqentemente, existem tantos subconjuntos de X que contm z como os que no contm, e assim existem duas vezes tantos subconjuntos de X quanto existem subconjuntos de X {z}. Mas como X {z} tem k elementos e como o nmero de subconjuntos de X {z} 2k temos que o nmero de subconjuntos de X duas vezes o nmero de subconjuntos de X {z}, ou seja, 2 2k = 2k+1 . [O que devia ser provado]

CEFET-MG/DECOM

MD

Conceitos

24