Introduo aos conjuntos

No estudo de Conjuntos, trabalhamos com alguns conceitos

primitivos, que devem ser entendidos e aceitos sem definio.
Para um estudo mais aprofundado sobre a Teoria dos Conjuntos,
pode-se ler: Naive Set Theory, P.Halmos ou Axiomatic Set
Theory, P.Suppes. O primeiro deles foi traduzido para o
portugus sob o ttulo (nada ingnuo de): Teoria Ingnua dos
Conjuntos.
Alguns conceitos primitivos

Conjunto: representa uma coleo de objetos.

a. O conjunto de todos os brasileiros.
b. O conjunto de todos os nmeros naturais.
c. O conjunto de todos os nmeros reais tal que x-4=0.
Em geral, um conjunto denotado por uma letra maiscula do
alfabeto: A, B, C, ..., Z.
Elemento: um dos componentes de um conjunto.
a. Jos da Silva um elemento do conjunto dos brasileiros.
b. 1 um elemento do conjunto dos nmeros naturais.
c. -2 um elemento do conjunto dos nmeros reais que
satisfaz equao x-4=0.
Em geral, um elemento de um conjunto, denotado por uma letra
minscula do alfabeto: a, b, c, ..., z.
Pertinncia: a caracterstica associada a um elemento que faz
parte de um conjunto.
a. Jos da Silva pertence ao conjunto dos brasileiros.
b. 1 pertence ao conjunto dos nmeros naturais.

c. -2 pertence ao conjunto de nmeros reais que satisfaz

equao x-4=0.
Smbolo de pertinncia: Se um elemento pertence a um conjunto
utilizamos o smbolo que se l: "pertence".
Para afirmar que 1 um nmero natural ou que 1 pertence ao
conjunto dos nmeros naturais, escrevemos:
1 N
Para afirmar que 0 no um nmero natural ou que 0 no
pertence ao conjunto dos nmeros naturais, escrevemos:
0 N
Um smbolo matemtico muito usado para a negao a barra /
traada sobre o smbolo normal.
Algumas notaes para conjuntos

Muitas vezes, um conjunto representado com os seus

elementos dentro de duas chaves { e } atravs de duas formas
bsicas e de uma terceira forma geomtrica:
Apresentao: Os elementos do conjunto esto dentro de duas
chaves { e }.
a. A={a,e,i,o,u}
b. N={1,2,3,4,...}
c. M={Joo,Maria,Jos}
Descrio: O conjunto descrito por uma ou mais propriedades.
a. A={x: x uma vogal}
b. N={x: x um nmero natural}
c. M={x: x uma pessoa da famlia de Maria}

Diagrama de Venn-Euler: (l-se: "Ven-iler") Os conjuntos so

mostrados graficamente.

Subconjuntos

Dados os conjuntos A e B, diz-se que A est contido em B,

denotado por A B, se todos os elementos de A tambm esto em
B. Algumas vezes diremos que um conjunto A est propriamente
contido em B, quando o conjunto B, alm de conter os elementos
de A, contm tambm outros elementos. O conjunto A
denominado subconjunto de B e o conjunto B o superconjunto
que contm A.
Alguns conjuntos especiais

Conjunto vazio: um conjunto que no possui elementos.

representado por { } ou por . O conjunto vazio est contido em
todos os conjuntos.
Conjunto universo: um conjunto que contm todos os
elementos do contexto no qual estamos trabalhando e tambm
contm todos os conjuntos desse contexto. O conjunto universo
representado por uma letra U. Na sequncia no mais usaremos
o conjunto universo.
Reunio de conjuntos

A reunio dos conjuntos A e B o conjunto de todos os

elementos que pertencem ao conjunto A ou ao conjunto B.
A B = { x: x A ou x B }
Exemplo: Se A={a,e,i,o} e B={3,4} ento A B={a,e,i,o,3,4}.

Interseo de conjuntos

A interseo dos conjuntos A e B o conjunto de todos os

elementos que pertencem ao conjunto A e ao conjunto B.
A B = { x: x A e x B }
Exemplo: Se A={a,e,i,o,u} e B={1,2,3,4} ento A B=.

Quando a interseo de dois conjuntos A e B o conjunto vazio,

dizemos que estes conjuntos so disjuntos.
Propriedades dos conjuntos

1. Fechamento: Quaisquer que sejam os conjuntos A e B, a

reunio de A e B, denotada por A B e a interseo de A e
B, denotada por A B, ainda so conjuntos no universo.
2. Reflexiva: Qualquer que seja o conjunto A, tem-se que:
A A=A e A A=A
3. Incluso: Quaisquer que sejam os conjuntos A e B, temse que:
A A B, B A B, A B A, A B B
4. Incluso relacionada: Quaisquer que sejam os conjuntos
A e B, tem-se que:
A B equivale a A B = B
A B equivale a A B = A
5. Associativa: Quaisquer que sejam os conjuntos A, B e C,
tem-se que:

A (B C) = (A B) C
A (B C) = (A B) C
6. Comutativa: Quaisquer que sejam os conjuntos A e B,
tem-se que:
A B=B A
A B=B A
7. Elemento neutro para a reunio: O conjunto vazio o
elemento neutro para a reunio de conjuntos, tal que para
todo conjunto A, se tem:
A =A
8. Elemento "nulo" para a interseo: A interseo do
conjunto vazio com qualquer outro conjunto A, fornece
o prprio conjunto vazio.
A =
9. Elemento neutro para a interseo: O conjunto universo U
o elemento neutro para a interseo de conjuntos, tal
que para todo conjunto A, se tem:
A U=A
10. Distributiva: Quaisquer que sejam os conjuntos A, B e
C, tem-se que:
A (B C ) = (A B) (A C)
A (B C) = (A B) (A C)
Os grficos abaixo mostram a distributividade.

Diferena de conjuntos

A diferena entre os conjuntos A e B o conjunto de todos os

elementos que pertencem ao conjunto A e no pertencem ao
conjunto B.
A-B = {x: x A e x B}
Do ponto de vista grfico, a diferena pode ser vista como:

Complemento de um conjunto

O complemento do conjunto B contido no conjunto A, denotado

por CAB, a diferena entre os conjuntos A e B, ou seja, o
conjunto de todos os elementos que pertencem ao conjunto A e
no pertencem ao conjunto B.
CAB = A-B = {x: x A e x B}
Graficamente, o complemento do conjunto B no conjunto A,
dado por:

Quando no h dvida sobre o universo U em que estamos

trabalhando, simplesmente utilizamos a letra c posta como
expoente no conjunto, para indicar o complemento deste
conjunto. Muitas vezes usamos a palavra complementar no lugar
de complemento.
Exemplos: c=U e Uc=.
Leis de Augustus De Morgan

1. O complementar da reunio de dois conjuntos A e B a

interseo dos complementares desses conjuntos.
(A B)c = Ac Bc
2. O complementar da reunio de uma coleo finita de
conjuntos a interseo dos complementares desses
conjuntos.
(A1 A2 ... An)c = A1c A2c ... Anc
3. O complementar da interseo de dois conjuntos A e B
a reunio dos complementares desses conjuntos.
(A B)c = Ac Bc
4. O complementar da interseo de uma coleo finita de
conjuntos a reunio dos complementares desses
conjuntos.
(A1 A2 ... An)c = A1c A2c ... Anc
Diferena simtrica

A diferena simtrica entre os conjuntos A e B o conjunto de

todos os elementos que pertencem reunio dos conjuntos A e B
e no pertencem interseo dos conjuntos A e B.
A B = { x: x A B e x A B }
O diagrama de Venn-Euler para a diferena simtrica :

Exerccio: Dados os conjuntos A, B e C, pode-se mostrar que:

1. A= se, e somente se, B=A B.
2. O conjunto vazio o elemento neutro para a operao de
diferena simtrica. Usar o tem anterior.
3. A diferena simtrica comutativa.
4. A diferena simtrica associativa.
5. A A= (conjunto vazio).
6. A interseo entre A e B C distributiva, isto :
A (B C) = (A B) (A C)
7. A B est contida na reunio de A C e de B C, mas esta
incluso prpria, isto :
A B (A C) (B C)