1

Teoria dos Conjuntos

Pode-se dizer que a Teoria dos Conjuntos em
grande parte trabalho de um nico matemtico:
Georg Cantor (1845-1918).
A noo de conjunto no suscetvel de definio
precisa a partir d noes mais simples, ou seja,
uma noo primitiva.
de fundamental importncia para vrias reas da
cincia da computao:
Teoria dos Nmeros
Banco de Dados
Linguagens Formais, etc
Teoria dos Conjuntos
Conceitos Primeiros
1. Conjunto Notao: Letras Maisculas
Um conjunto uma coleo bem definida de
entidades ou objetos (chamados de membros ou
elementos do conjunto), considerados globalmente e
que pode ser identificada.
Ou, coleo no-ordenada de objetos.
Obs.: muitas vezes, todos os objetos em um conjunto
gozam de uma mesma propriedade.
Exemplos:
Conjunto de livros na biblioteca da UFSC (conj. finito)
Conjunto dos nmeros naturais (conj. infinito)
Conjunto de dinossauros vivos (conj. vazio, {}, )
Conjunto L de dois elementos, um dos quais o conjunto das
vogais e outro o conjunto das consoantes.
Teoria dos Conjuntos
Conceitos Primeiros
2. Elemento Notao: letras minsculas
Os objetos que constituem um conjunto denominam-
se elementos do conjunto.
Exemplos:
Jos um elemento do conjunto de Catarinenses.
1 um elemento do conjunto dos Nmeros Naturais.
-2 elemento do conjunto soluo da equao x
2
4 = 0.
{a, e, i, o, u} elemento do conjunto formado pelo conjunto
as vogais e pelo conjunto das consoantes.
Teoria dos Conjuntos
Conceitos Primeiros
3. Pertinncia Notao:
Qualquer objeto que seja elemento de um conjunto
dito pertencer aquele conjunto, ou ainda, o elemento
x possui o predicado P.
Se o elemento x no pertence ao conjunto, denota-se
por que tambm pode ser equivalente a dizer que x
no est no conjunto, ou ainda que x no possui o
predicado P.
4. Conjunto Universo Notao: U
Chama-se Conjunto Universo ou simplesmente
Universo de uma Teoria a todos os entes que so
considerados como elementos nesta Teoria.
Exemplo: em geometria o Universo o conjunto de
todos os pontos.
Teoria dos Conjuntos
Caractersticas dos Conjuntos
A ordem em que os elementos so listados em um
conjunto irrelevante: {3, 2, 1} = {1, 2, 3}.
A repetio dos elementos em um conjunto
irrelevante: {1, 1, 1, 3, 2, 2} = {1, 2, 3}.
Maneiras de Descrever um Conjunto
De maneira explcita: A={gua, terra, fogo, ar}
Indicando um padro: (normalmente para conjuntos
infinitos) P={2, 4, 6, 8, ...}
Por recurso:
1. 2 S
2. Se n S, ento (n+2) S
Teoria dos Conjuntos
Maneiras de Descrever um Conjunto
Atravs de uma propriedade que os elementos do
conjunto tenham em comum: (usa-se um predicado
P(x) para denotar a propriedade P referente a uma
varivel x)
S = {x | P(x)}
x(x S ^ P(x))
Exemplos:
A={x|x um inteiro e 3 < x < 7}
S={x|x soluo para x
2
4 = 0}
2
Teoria dos Conjuntos
Maneiras de Descrever um Conjunto
Atravs de um Diagrama de Venn
Afim de facilitar o entendimento de certas definies e
demonstraes da Teoria dos Conjuntos til a
representao de um conjunto por um recinto plano
delimitado por uma linha fechada qualquer no entrelaada.
Os elementos do conjuntos so os pontos internos ao recinto,
enquanto os elementos que no pertencem ao conjunto so
pontos externos ao recinto.
U A
x
2
A
x
1
A
Teoria dos Conjuntos
Conjuntos Especiais
N: conjunto dos n
os
naturais: {0, 1, 2, 3, ...}
Z: conjunto dos n
os
inteiros: {..., -2, -1, 0, 1, 2, ...}
Z*: conjunto dos n
os
inteiros positivos {1, 2, 3, ...}
Q: conjunto dos n
os
racionais: {x|x=n/m, m, nZ ^
m0}
R: conjunto dos n
os
reais: {x | x um nmero real}
Teoria dos Conjuntos
Igualdade de Conjuntos
Dois conjuntos A e B so iguais quando todo
elemento de A pertence tambm a B e,
reciprocamente, todo elemento de B pertencer a A.
A=B x ((xAxB) ^ (xBxA))
Desigualdade de Conjuntos
Se existe elemento de A que no pertence a B ou
existe elemento de B que no pertence a A, ento diz-
se que A no igual a B.
AB x ((xA ^ xB) v (xA ^ xB))
Teoria dos Conjuntos
Subconjuntos
O conjunto A dito um subconjunto de B se e
somente se todo elemento de A tambm um
elemento de B.
AB x (xAxB)
Diz-se que A est contido em B.
Se A no est contido em B, escreve-se AB.
Subconjunto Prprio
Se A um subconjunto de B, mas queremos enfatizar
que AB, escrevemos AB e dizemos que A um
subconjunto prprio de B.
AB x (xAxB) ^ x ((xA ^ xB) v
(xA ^ xB))
Teoria dos Conjuntos
Subconjuntos (Exemplos)
Sejam os conjuntos:
A={1, 7, 9, 15}
B={7, 9}
C={7, 9, 15, 20}
B C 15 C
B A {7, 9} B
B A {7} A
A C C
Seja A um conjunto e seja B={A,{A}}
A B e {A} B
{A} B e {{A}} B
A B
Teoria dos Conjuntos
Subconjuntos (Propriedades)
Reflexiva:
A A
Transitiva:
(A B) ^ (B C) (A C)
x(x A x B) ^ x(x B x C) x(x A x C)
x(A(x) B(x)) ^ x(B(x) C(x)) x(A(x) C(x))
Prova:
1. x(A(x) B(x)) P
2. x(B(x) C(x)) P
3. A(a) B(a) 1 EU
4. B(a) C(a) 2 EU
5. A(a) C(a) 3,4 SH
6. x(A(x) C(x)) 5 IU
3
Teoria dos Conjuntos
Outros Conjuntos Especiais
Conjunto Vazio:
Um conjunto que no contenha nenhum elemento
chamado de Conjunto Vazio - .
O conjunto vazio est contido ( subconjunto de
qualquer conjunto).
Conjunto Potncia:
Dado qualquer conjunto A, sabemos que o conjunto
vazio e o conjunto A so ambos subconjuntos de A.
Podemos definir TODOS os subconjuntos de A da
seguinte forma:
Para um conjunto A, o conjunto formado por todos os
subconjuntos de A chamado de Conjunto Pot ncia
de A.
denotado por 2
A
, ou P(A), ou ainda (A)
Teoria dos Conjuntos
Conjunto Potncia:
Exemplo: Seja A={1,2,3}. Ento P(A)
consiste de todos os subconjuntos de A;
P(A)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,
3}}
Obs.: Se A tem n elementos, P(A) tem 2
n
elementos.
Teoria dos Conjuntos
Seqncias:
Como os conjuntos no so ordenados, uma estrutura
diferente necessria para representar colees
ordenadas.
Tomemos o conjunto S={1,2,3} e seu conjunto
potncia P(S)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
Podemos utilizar uma representao binria para
representar distintamente os subconjuntos de um
conjunto.
Os diversos subconjuntos do conjunto S podem ser
representados:
=B
000
, {1}=B
100
, {2}=B
010
, {1,3}=B
101
,
{2,3}=B
011
=B
11
, B{1,2,3}=B
111
Onde os ndices de B contm 1 ou 0 se a respectiva
posio do conjunto original em relao ao
subconjunto possuir o elemento ou no.
Operaes sobre Conjuntos
UNIO:
Se A e B so conjuntos, a unio de A e B,
denotada por A B, o conjunto que contm
aqueles elementos que esto em A, ou em B,
ou em ambos:
A B = x(xA v xB)
A B
U
A B
Operaes sobre Conjuntos
INTERSEO:
Se A e B so conjuntos, a interseo de A e
B, denotada por A B, o conjunto que
contm aqueles elementos que esto em A e
em B ao mesmo tempo:
A B = x(xA ^ xB)
A B
U
A B
Operaes sobre Conjuntos
DIFERENA:
Se A e B so conjuntos, a diferena de A e B,
denotada por A - B, o conjunto que contm
aqueles elementos que esto em A mas no
esto em B:
A - B = x(xA ^ xB)
A B
U
A - B
4
Operaes sobre Conjuntos
COMPLEMENTO:
Se U o conjunto Universo, U- A chamado
de complemento de A e denotado por :
= U - B = x(xU ^ xA)
A
U

Operaes sobre Conjuntos

Produto Cartesiano:
O produto cartesiano de dois conjuntos o conjunto
de todos os pares ordenados dos elementos do
primeiro conjunto que pode-se formar com os
elementos do segundo conjunto.
Definio: Supondo-se A e B serem conjuntos de um
Universo U. O Produto Cartesiano de A e B
denotado por AxB e definido por:
AxB={(x,y) | (xA ^ yB)
Exemplo: Dados os conjuntos X={a,b} e Y={1,2}, o
produto cartesiano de XxY :
XxY={(a,1),(a,2),(b,1),(b,2)}
Operaes sobre Conjuntos
Propriedades das Operaes sobre Conjuntos:
Comutatividade:
A B = B A
A B = B A
Associatividade:
A (B C) = (A B) C
A (B C) = (A B) C
Distributividade:
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Idempotncia
A A = A
A A = A
Leis de De Morgan
(A B) = A B
(A B) = A B
Operaes sobre Conjuntos
Propriedades das Operaes sobre Conjuntos:
Propriedades do Complemento:
() = A
A = U
A =
Propriedades de Elemento Neutro
A = A
A U = A
Exemplo:
Sejam A, B e C conjuntos. Mostre que:
A (B C) = (C B) A
Cardinalidade de Conjuntos
Os Nmeros Naturais
Conjunto bastante conhecido, freqentemente
utilizado para contar elementos e objetos;
Esta utilizao permite a definio da noo de
similaridade ou equipotncia de dois conjuntos e
tambm do conceito de Nmero Cardinal de um
conjunto.
Os Axiomas de Peano
O conjunto NN={0,1,2,...} dos nmeros naturais
(incluindo o zero) pode ser gerado iniciando-se com
um conjunto vazio e a noo de conjunto
sucessor de um conjunto.
Um conjunto sucessor denotado por A
+
e definido
como sendo o conjunto A
+
= A {A}
Cardinalidade de Conjuntos
Os Axiomas de Peano
Seja o conjunto vazio e seus conjuntos sucessores:

+
, (
+
)
+
, ((
+
)
+
)
+
, ...
Que so:
, {}, {{}}, {{}{{}}}...
Se chamarmos de 0 o conjunto , ento
+
=0
+
=1,
1
+
={0,0
+
}=2, e assim por diante, obteremos o
conjunto {0,1,2,...}.
0 NN (onde 0 = )
Se n NN, ento n
+
NN onde n
+
= n {n}
Se um subconjunto S NN possui as propriedades:
0 S, e
Se n S, ento n
+
S
Ento S=NN
5
Cardinalidade de Conjuntos
Contagem de Conjuntos
O que devemos fazer neste caso estabelecer uma
correspondncia de um-para-um entre os objetos a
serem contados e o conjunto dos naturais.
Definio: Dois conjuntos A e B so ditos
equipotentes (ou equivalentes, ou possuindo a mesma
cardinalidade), e denotados por A ~ B, se e somente
se existir uma correspondncia de um-para-um entre
os elementos de A e os elementos de B.
Exemplo: Mostre que os nmeros naturais N e os
nmeros naturais pares P tem a mesma cardinalidade.
Para cada elemento n de N, corresponder o elemento 2x dos
nmeros pares. Assim, podemos estabelecer a
correspondncia de um-para-um entre os dois conjuntos e
portanto N ~ P.
Note entretanto que P N.
Cardinalidade de Conjuntos
Contagem de Conjuntos
Definio: Um conjunto A dito finito se ele tem n
elementos distintos onde n N. O nmero n chama-
se nmero cardinal de A e escreve-se:
n(A) = n ou |A| = n
Exemplo: Seja o conjunto dos inteiros positivos mpares
menor do que 10.
|A|=5
Definio: Diz-se que um conjunto infinito se ele
for equivalente a um subconjunto prprio.
Definio: Qualquer conjunto equivalente ao
conjunto dos nmeros naturais chamado de
enumervel.
Cardinalidade de Conjuntos
Contagem de Conjuntos
Definio: A cardinalidade de um conjunto infinito e
enumervel denotada pelo smbolo
0
(aleph zero).
Definio: Todo conjunto finito ou enumervel
chamado de contvel.
O conjunto dos nmeros reais, por exemplo,
infinito, porm, por ser compacto no pode se
estabelecer uma correspondncia de um-para-um com
o conjunto dos nmeros naturais e, portanto, ele
no-enumervel.
Definio: Um conjunto que seja infinito e no-
enumervel chamado incomensurvel.
Cardinalidade de Conjuntos
Princpio da Adio
Definio: Se A e B so conjuntos disjuntos
[(AB)=], ento |AB|=|A|+|B|, ou estendendo:
|A
1
A
2
A
3
... A
n
|=|A
1
|+|A
2
|+...+|A
n
|
Exemplo: Um estudante tem que escolher um projeto
em uma de 3 listas. As 3 listas contm 23, 15 e 19
possveis projetos, respectivamente. Quantas
possibilidades de projetos h para escolher.
Cardinalidade de Conjuntos
Princpio da Multiplicao
Definio: Se A e B so conjuntos finitos, ento
|AxB|=|A|.|B|, ou estendendo:
|A
1
xA
2
xA
3
x... xA
n
|=|A
1
|x|A
2
|x...x|A
n
|
Exemplo: A ltima parte de um nro. de telefone tem 4
dgitos. Quantos nmeros de 4 dgitos existem?
Resp: Podemos imaginar como o total de possibilidades de
uma seqncia de 4 etapas de escolha de 1 dgito:
10x10x10x10=10.000
Cardinalidade de Conjuntos
Princpio da Incluso e da Excluso
Definio: Se A e B so conjuntos finitos, ento
|AB|=|A|+|B|-|AB|.
Exemplo: Suponha que haja 1807 calouros no CTC
da UFSC. Destes, 453 esto cursando Computao,
567 esto cursando Eng. Mecnica e 299 esto em
ambos os cursos. Quantos no esto cursando nem
Computao nem Eng. Mecnica?
|Computao|=|A|=453
|Eng.Mecnica|=|B|=567
|A B|=299
|AB|=|A|+|B| -|AB|=453+567-299=721 esto cursando
Computao ou Eng.Mecnica,
Logo 1807-721=1086 no esto cursando nenhum dos dois
cursos.
6
Cardinalidade de Conjuntos
Princpio da Incluso e da Excluso
Definio: Se A, B e C so conjuntos finitos, ento
|ABC|=|A|+|B|+|C| -|AB| -|AC| -| BC|+|AB C|.
Exemplo: Uma quitanda vende apenas brcolis,
cenoura e batata. Em um dia, a quitanda atendeu 208
pessoas. Se 114 compraram brcolis, 152 compraram
cenouras e 17 compraram batatas, 64 compraram
brcolis e cenouras, 12 cenouras e batatas e 8 brcolis
e batatas. Determine se algum comprou os 3
produtos simultaneamente.