1. Teoria de Conjuntos Um conjunto uma coleo de objetos, sem repetio e no ordenada.

. Um objeto no pode aparecer em um conjunto mais de uma vez. No h ordem para os elementos do conjunto. Exemplo: {2, 3, } , {3, , 2} , {2, 2, 3, } representam o mesmo conjunto. Um objeto pertence a um conjunto chamado elemento do conjunto ou membro do conjunto. A pertinncia a um conjunto denotada pelo smbolo . A expresso x A significa que o objeto x elemento do conjunto A. A expresso x A significa que o objeto x no elemento do conjunto A. Outras formas de ler a expresso elemento de: membro de, pertence a, est em. Exemplos: 2 {2, 3, } 5 {2, 3, }

Cardinalidade, conjunto finito e infinito A cardinalidade ou tamanho de um conjunto A o nmero de objetos no conjunto e denotada pelas barras de valor absoluto em torno do smbolo do conjunto: | A | Exemplo: Se A = {2, 3, }, |A| = 3

Um conjunto finito se sua cardinalidade um inteiro ( finita). Caso contrrio, dizemos que o conjunto infinito. Conjunto vazio O conjunto vazio o com junto desprovido de elementos. Pode ser denotado por { } ou . A cardinalidade do conjunto vazio zero. Alguns conjuntos especiais: N = {0, 1, 2, 3, ....} conjunto dos nmeros naturais ou inteiros no negativos Z = {... -2, -1, 0, 1, 2, ....} conjunto dos nmeros inteiros Q - conjunto dos nmeros racionais, formados pela diviso de 2 inteiros a/b com b 0. R conjunto dos nmeros reais.

Descrio de conjuntos So duas as formas de descrever um conjunto:

1)

Listar os elementos entre chaves, separados por vrgula. A = {a, e, i, o, u}

2) Enunciar as propriedades que caracterizam os elementos do conjunto. B = {x : x um inteiro par, x > 0 }

Exemplos: A = {a, e, i, o, u} ou A = {x : x uma letra do alfabeto, x vogal} B = {2, 4, 6, 8, ...} (no possvel listar todos os elementos) ou B = {x : x um inteiro par, x > 0 }

Igualdade de conjuntos Dois conjuntos so iguais se tiverem exatamente os mesmos elementos.

Exemplo: E = {x : x2 3x + 2 = 0} F = {2, 1} G = {1, 2, 2, 1, 6/3} E = F = G

Observao: Um conjunto no se altera se seus elementos forem repetidos ou reordenados.

Conjunto Universo Em aplicaes da teoria dos conjuntos, os elementos dos conjuntos considerados pertencem a algum conjunto maior conhecido como conjunto Universo, denotado por U. O conjunto A = {2, 4, 6, 8, ...} pode ser entendido como um conjunto definido sobre o conjunto universo U dos nmeros naturais, ou dos inteiros. Subconjuntos A subconjunto de B se todo elemento de A tambm elemento de B. Diz-se que A est contido em B ou B contm A, usando os smbolos: A B B A A est contido em B B contm A

A no subconjunto de B se pelo menos um elemento de A no pertence a B, o que escrevemos A B ou B A. Exemplos: 1) N Z Q R 2) A = {2, 4, 6, 8, 10} C A B A B = { 2, 3, 4} C = {2, 3}

Observao: Todo subconjunto subconjunto dele mesmo. E = { 1, 3, 5} F = {5, 1, 3} E F eE=F O teorema a seguir enuncia algumas propriedades importantes de conjuntos: Teorema 1.1 i) Para todo conjunto A, temos A U ( Todo conjunto A subconjunto do conjunto universo e o conjunto vazio subconjunto de A) ii) Para todo conjunto A, A A (Todo conjunto A subconjunto de si mesmo) iii) Se A B e B C ento A C iv) A = B se e somente se A B e B A Dizemos que A subconjunto prprio de B tiver pelo menos um elemento que no pertence a B, isto , se A B mas A B. Nesse caso escrevemos A B. Observao: e tem significados relacionados porm diferentes. A notao x A significa que x elemento de A e a notao A B significa que todo elemento de A tambm elemento de B. Assim, {1, 2, 3} verdadeiro

 {1, 2, 3} falso Diagrama de Venn Um diagrama de Venn uma representao pictrica na qual os conjuntos so representados por reas representadas por curvas no plano (Fig. 1.1). Um retngulo representa o conjunto universo e os demais conjuntos so representados por discos.

B A

B A

a) A B

b) A e B so disjuntos Figura 1.1 Diagrama de Venn

Operaes entre conjuntos A unio de dois conjuntos A e B, denotada por A B, o conjunto de todos os elementos que pertencem a A ou a B: A B = {x : x A ou x B} A interseo de dois conjuntos A e B, denotada por A B, o conjunto dos elementos que pertencem a A e a B: A B = {x : x A e x B}

Se A B = , A e B so ditos disjuntos. A Figura 1.2 ilustra as operaes de unio e interseo.

A U B A B U

a) A B

b) A B Figura 1.2 Operaes de unio e interseo

O complementar absoluto ou simplesmente o complementar de um conjunto A, denotado por AC ou por A, o conjunto dos elementos que pertencem a U mas no pertencem a A: AC = { x: x U, x A} O complementar relativo de um conjunto B em relao a A, ou a diferena entre A e B, denotada por A\B ou A B, o conjunto dos elementos que pertencem a A mas no pertencem a B: A\B = {x: x A, x B} A Figura 1.3 ilustra as operaes de complemento e complemento relativo.

U A B

a) A

b) A - B Figura 1.3 Operaes de complementar e diferena

Produtos Fundamentais Considere n conjuntos distintos A1, A2, ..., An Um produto fundamental de conjuntos um conjunto na forma A1* A2* .... An* Onde Ai pode representar Ai ou Ai. Observamos que: n 1) existem 2 produtos fundamentais 2) quaisquer dois produtos fundamentais so disjuntos 3) o conjunto universo a unio de todos os produtos fundamentais
Exemplo: Sejam os conjuntos A, B, C Os oito produtos fundamentais desses trs conjuntos so: P1 = A B C P2 = A B C P3 = A B C P4 = A B C P5 = A B C

P6 = A B C P7 = A B C P8 = A B C

Esses oito produtos correspondem s oito regies assinaladas no diagrama de Venn de A, B, C, da Figura 1.4.
U

A
P4 P3

B
P2 P1 P5 P7 P8 P6

C
Figura 1.4Produtos fundamentais

A Diferena Simtrica dos conjuntos A e B, denotada por A B, consiste em todos os elementos que pertencem a A ou B mas no a ambos: A B = (A B) \ (A B)

U A B

Figura 1.5. A B

lgebra de conjuntos Os conjuntos em geral satisfazem a vrias leis ou identidades, como as listadas na Tabela 1.1. Tabela 1.1 Leis da lgebra de conjuntos

Leis de idempotncia 1a) A A = A Leis de Associatividade 2a) (A B) C = A (B C) Leis de Comutatividade 3a) A B = B A Leis de distributividade Leis da identidade 5a) A = A 6a) A U = U Leis da involuo Leis dos complementares 8a) A A = U 9a) U = Leis de DeMorgan 10a) (A B) = A B

1b) A A = A 2b) (A B) C = A (B C) 3b) A B = B A

4a) A (B C) = (A B) (A 4b) A (B C) = (A B) (A C) C)

5b) A U = A 6b) A = 7) (A) = A 8b) A A = 9b) = U 10b) (A B) = A B

Dualidade As identidades na Tabela 1.1 esto organizadas em pares, que so equaes duais. De forma geral, suponha que E seja uma equao da lgebra de conjuntos. A equao dual de E, E, a equao obtida pela substituio de cada ocorrncia de , , U e em E por, respectivamente , , e U. Teorema Um teorema uma afirmao declarativa sobre matemtica, para a qual existe uma prova. Uma afirmao declarativa uma sentena que expressa uma idia sobre como alguma coisa .

Ex: Vai chover amanh. Prova uma dissertao que mostra, de maneira irrefutvel, que uma afirmao verdadeira. Designaes para um teorema Palavras que constituem alternativas para teorema: Resultado: Uma expresso modesta para teorema. Fato: um teorema de importncia bastante limitada. Proposio: Um teorema de importncia secundria. Mais importante ou mais geral que um fato, mas no tem tanto prestgio quanto um teorema. Lema: Um teorema cujo objetivo principal ajudar a provar outro teorema mais importante. Lemas so partes ou instrumentos usados para elaborar uma prova complicada. Corolrio: Resultado com uma prova rpida, cujo passo principal o uso de outro teorema provado anteriormente. Alegao: Anlogo a lema. Formas de expressar um teorema Se-ento: Se A ento B (A chamado hiptese e B Concluso)

Sempre que a condio A for verdadeira, a condio B tambm ser. Ex: A soma de dois nmeros inteiros pares par. pode ser reformulada como: Se x e y so inteiros pares, ento x+y tambm par. Maneiras alternativas de expressar Se A ento B: A implica B ou B implicado por A Sempre que A, temos B ou B, sempre que A A suficiente para B ou A uma condio suficiente para B A B A afirmao Se A, ento B

assegura que a condio B verdadeira sempre que A o for, mas no faz qualquer referncia a B quando A falsa. Se e Somente Se: A se e somente se B Que uma maneira concisa de expressar:

Se A ento B, e se B ento A. Ex: Se um inteiro x par, ento x +1 impar, e se x+1 impar, ento x par. pode ser escrito como: Um inteiro x par se e somente se x+1 impar. Maneiras alternativas de expressar A se e somente se B: A see B A necessrio e suficiente para B A equivalente a B A B A afirmao A se e somente se B assegura que as condies A e B devem ser ambas verdadeiras ou ambas falsas.

Cardinalidade de conjuntos finitos O nmero de elementos de um conjunto finito A o tamanho de A ou cardinalidade de A. denotado por |A|, #(A), card(A) ou n(A).

Lema 1.1: Se A e B so conjuntos finitos disjuntos, ento A B finito e |A B| = |A| + |B| Teorema 1.2: Se A e B so conjuntos finitos, ento A B e A B so finitos e |A B| = |A| + |B| - |A B| Corolrio1.1: Se A, B e C so conjuntos finitos, ento A B C tambm e |A B C | = |A| + |B| + |C| - |A B| - |A C| - |B C| + |A B C |

Classes de conjuntos Uma classe de conjuntos ou coleo de conjuntos um conjunto de conjuntos.

So usados geralmente quando queremos tratar de alguns subconjuntos de um dado conjunto. Uma subclasse ou subcoleo formada por alguns conjuntos de uma classe de conjuntos. Exemplo: S = {1, 2, 3, 4} A a classe de subconjuntos de S que contm exatamente trs elementos de S. A = [{1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}] B a classe de subconjuntos de S que contm trs elementos sendo um deles o nmero 2. B = [{1, 2, 3}, {1, 2, 4}, {2, 3, 4}] B subclasse de A Obs: Uma coleo de conjuntos pode ser denotada entre colchetes ou entre chaves.

Conjunto Potncia Seja A um conjunto. O conjunto potncia de A ou conjunto das partes de A o conjunto de todos os subconjuntos de A. Notao: 2A

Se A finito, o conjunto Potncia de A tambm . O nmero de elementos do conjunto potncia de A 2 elevado cardinalidade de A: |A| = 2 |A| Exemplo: A = {1, 2, 3}
2A = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

Parties Seja A um conjunto no vazio. Uma partio de A uma subdiviso de A em conjuntos no vazios, disjuntos. Ou: Uma partio de A uma coleo {Ai} de subconjuntos no vazios de A tais que: i) cada a em A pertence a algum dos Ai ii) os conjuntos em {Ai} so disjuntos dois a dois, isto , se Ai Aj ento Ai Aj = Uma partio pode ser representada em diagrama de Venn, como mostra a figura 1.6. Os subconjuntos de uma partio so chamados de clulas.

A1 A4

A2

A3

A5

Figura 1.6. diagrama de Venn de uma partio de conjuntos.

Exemplo: A = {1, 2, 3, 4, 5, 6, 7, 8, 9} B = {{1, 2, 3}, {5, 8, 9}, {4, 6, 7}} C = {{1, 2, 3}, {5, 3, 8, 9}, {4, 6, 7} D = {{1, 2, 3}, {5, 8, 9}, {6, 7}} Generalizao de operaes entre conjuntos Considere um nmero finito de conjuntos A1, A2, ..., Am. A unio e interseo desses conjuntos , respectivamente, denotada e definida por: A1 A2 ... Am = A = {x : x Ai para algum Ai} e
m i 1 i

partio no partio no partio

A1 A2 ... Am =

i =1

Ai

= {x : x Ai para todo Ai} e

Generalizaes para colees de conjuntos Seja A uma coleo de conjuntos. (A: A A) = {x: x A para algum A A} e (A: A A) = {x: x A para todo A A}. Induo Matemtica

A induo matemtica uma propriedade do conjunto N = {1, 2, 3, ...} que usada em muitas demonstraes. Princpio de Induo Matemtica I: Seja P uma proposio definida nos inteiros positivos N, ou seja, P(n) verdadeiro ou falso para cada n em N. Suponha que P tem as seguintes propriedades: i)
ii)

P(1) verdade. P(n+1) verdade sempre que P(n) verdade).

Ento, P verdade para todo inteiro positivo. Princpio de Induo Matemtica II: Seja P uma proposio definida nos inteiros positivos N tal que: i)
ii)

P(1) verdade.

P(n) verdade se P(k) verdade para todo 1 k n. Ento, P verdade para todo inteiro positivo.