Introduo

Conjunto: coleo de objetos bem definidos, denominados elementos ou membros do conjunto. Teoria dos conjuntos: base do pensamento matemtico. Todos objetos matemticos podem ser definidos em termos de conjuntos. Notao: Seja S um conjunto e a um elemento de 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.

Formas de definir um conjunto

Listar seus elementos entre chaves: {Ana, Roberto, Carlos} {Roberto, Carlos, Ana} {Roberto, Roberto, Ana, Carlos, Ana} Especificar uma propriedade que define um conjunto como :

P(x) no pode ser uma propriedade qualquer. Exemplo:

Usar uma definio recursiva:

Usar operaes sobre conjuntos para criar novos conjuntos:

Especificar uma funo caracterstica:

Nem sempre possvel utilizar todos os tipos de definio: Exemplo:

No possvel definir S listando os elementos.

Relaes entre conjuntos: Subconjuntos

Definio: Se A e B so conjuntos, A chamado subconjunto de B, escrito se cada elemento de A tambm um elemento de B. Simbolicamente:

As frases A est contido em B e B contm A so formas alternativas de dizer que A um subconjunto de B.

Relaes entre conjuntos: Subconjunto prprio

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

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:

Exemplo 2:

Relaes entre conjuntos: Igualdade

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

Operaes sobre conjuntos

Sejam A e B subconjuntos do conjunto universal U:

Tuplas ordenadas
Seja n um inteiro positivo e seja x1, x2, ... , xn uma sequncia de elementos no necessariamente distintos. A n-tupla ordenada, (x1, x2, ... , xn), consiste de: elementos da sequncia, i.e., x1, x2, ... , xn, e a ordem desses elementos na sequncia, 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 se xi = yi, para i = 1 ... n.

Produto Cartesiano
Dado dois conjuntos A e B, o produto cartesiano de A e B, denotado A x B, o conjunto de todos os pares ordenados (a, b), onde

Dado os conjuntos A1, A2, ... , An, o produto cartesiano de A1, A2, ... , An, denotado A1 x A2 x ... x An, o conjunto de todas n-tuplas ordenadas (a1, a2, ... , an), onde

Propriedades de subconjuntos
Incluso da interseo: para todos conjuntos A e B.

Incluso na unio: para todos conjuntos A e B.

Propriedade transitiva dos subconjuntos: para todos conjuntos A, B e C.

Identidades de conjuntos
Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U.

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

Prova (por contradio): Suponha que no. Suponha que exista um conjunto com nenhum elemento e um conjunto A tal que [Deve-se deduzir uma contradio]. Neste caso, deve haver um elemento de que no um elemento de A [pela definio 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 F e o teorema V. Corolrio: Existe somente um conjunto com nenhum elemento. Prova: Suponha que 1 e 2 so conjuntos com nenhum elemento. Pelo teorema acima, j que 1 no tem nenhum elemento. Da mesma forma, j que 2 no tem nenhum elemento. Logo, 1 = 2 pela definio de igualdade de conjuntos. Definio: o conjunto nico com nenhum elemento chamado de conjunto vazio e denotado pelo smbolo .

Propriedades de conjuntos que envolvem

Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U.

Parties de conjuntos
Definio: Dois conjuntos so chamados disjuntos se eles no tm nenhum elemento em comum. Simbolicamente,

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, e, desta forma, existe um elemento x em Pela definio de interseco, que , pela definio de diferena, e j . Acabou-

se de mostrar que , 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. Definio (conjuntos mutuamente disjuntos): Conjuntos A1, A2, ... , An so mutuamente disjuntos (ou disjuntos par a par ou sem sobreposio) se ... , n e i j, i.e., Definio (partio): Uma coleo de conjuntos no vazios { A1, A2, ... , An } uma partio do conjunto A se para todos i, j = 1, 2,

Conjunto potncia

Definio (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 Prova: Suponha que A e B so conjuntos tais que ]. Suponha que ento , temos que . . [Deve-se mostrar que [Deve-se mostrar que ento

]. J que conjunto potncia. Mas como

pela definio de pela propriedade [o que devia ser

transitiva dos subconjuntos. Conclui-se ento que mostrado]. .. pela definio de subconjunto.

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

Prova (por induo matemtica): Considere a propriedade Qualquer conjunto com n n elementos tem 2 elementos. 0 Passo base: Para n = 0 tem-se 2 = 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. Passo indutivo: se a frmula verdadeira para n = k ento deve ser verdadeira para n = k+1. k (a) Seja k 0 e suponha que qualquer conjunto com k elementos tem 2 subconjuntos. [hiptese indutiva] k+1 (b) Deve-se mostrar que qualquer conjunto com k+1 elementos tem 2 subconjuntos. Seja X um conjunto com k+1 elementos e escolha um elemento z em X. Observe que qualquer subconjunto de X ou contm ou no contm z. 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 a um subconjunto B, igual a A U {z}, de X que contm z. Consequentemente, 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}. k Mas como X {z} tem k elementos e como o nmero de subconjuntos de X {z} 2 temos que o nmero de subconjuntos de X duas vezes o nmero de subconjuntos de X k k+1 {z}, ou seja, 2 . 2 = 2 . [O que devia ser provado]