1

Teoria dos Conjuntos

A Teoria dos conjuntos a teoria matemtica dedicada ao estudo da associao entre objetos com uma mesma propriedade.
Essa teoria foi elaborada por volta do ano de 1872 e sua origem pode ser encontrada nos trabalhos do matemtico russo
de origem alem, George Ferdinand Ludwig Philipp Cantor (1845-1918).
Essa teoria uma das mais poderosas ferramentas da matemtica, pois possibilita a representao de grande quantidade de problemas tanto na rea da matemtica como na Cincia da Computao utilizando a linguagem e a notao de
Conjuntos.
Um conjunto pode ser graficamente apresentado atravs do diagrama de Euler-Venn. Neste, os elementos so representados por pontos interiores a uma linha fechada. Dessa forma, os pontos exteriores linha representam elementos que
no pertencem ao conjunto considerado. Exemplo:

Figura 1: Diagrama de Euler-Venn

Adotaremos a existncia de trs conceitos primitivos: elemento, conjunto e pertinncia. Assim preciso entender que,
cada um de ns um elemento do conjunto de moradores desta cidade, ou melhor, cada um de ns um elemento que
pertence ao conjunto de habitantes da cidade, mesmo que no tenhamos definido o que conjunto, o que elemento e
o que pertinncia.
Conjunto uma estrutura que agrupa objetos e constitui uma base para construir estruturas complexas. Assim informalmente, um conjunto uma coleo, sem repeties e sem qualquer ordenao, de objetos denominados elementos. O
termo "elemento" usado de forma ampla e pode designar um objeto concreto ou abstrato. Neste contexto, um elemento
uma entidade bsica a qual no definida formalmente.
Exemplo:
As vogais a, e, i, o e u;
O par de sapatos prefeito;
Todos os brasileiros;
Os nmeros pares 0,2,4,6...
Entre os conjuntos, destacamos alguns conjuntos ditos importantes:
N, que representa o conjunto dos nmeros naturais;
Z, que representa o conjunto dos nmeros inteiros;
Q, que representa o conjunto dos nmeros racionais;
I, que representa o conjunto dos nmeros irracionais;
R, que representa o conjunto dos nmeros reais;
C, que representa o conjunto dos nmeros complexos.
Observe que um conjunto pode ser definido, listando-se todos os seus elementos (como as vogais a, e, i, o e u) ou
por propriedades declaradas (como todos os brasileiros). A definio de um conjunto listando todos os seus elementos
denominada denotao por extenso e dada pela lista de todos os seus elementos, em qualquer ordem (separados por
vrgulas) e entre chaves como por exemplo: Vogais = a, e, i, o, u
Neste caso, Vogais denota o conjunto { a, e, i, o , u }.
A definio de um conjunto por propriedades denominada denotao por compreenso como por exemplo: Pares =
{ n | nmero par}, a qual interpretada como o conjunto de todos os elementos n tal que n nmero par.
Assim, a forma geral de definio de um conjunto por propriedades :
{ x | p(x) },

isto , um determinado elemento a elemento deste conjunto se a propriedade verdadeira para a, ou seja, se p(a)
verdadeira. Por exemplo, para o conjunto:
B = { x | x brasileiro}
tem-se Jlio Csar de Melo e Sousa elemento de B e Bill Gates no elemento de B.
Os exemplos dados por Cantor sobre definio intuitiva de conjuntos so:
1. Um conjunto unitrio possui um nico elemento. Exemplo:
(a) o conjunto constitudo pelo jogador de futebol Pel;
(b) o conjunto de todos os nmeros que so simultaneamente pares e primos.
2. Dois Conjuntos so iguais se possuem exatamente os mesmos elementos.
3. Conjunto Vazio o conjunto que no possui nenhum elemento. Sua denominao simblica { } ou .
Ateno: Quando os smbolos { } ou , aparecerem listados ou visveis, dentro de um conjunto, o conjunto vazio
dever ser tratado como elemento desse conjunto especificado.
Exemplo: Seja o conjunto A = { , 1, 2, 3}, correto afirmar para o conjunto A, que A, pois um elemento
do conjunto A.
Outros exemplos:
(a) o conjunto de todos os brasileiros com mais de 300 anos;
(b) o conjunto de todos os nmeros os quais so simultaneamente pares e impares.
4. Os conjuntos podem ser finitos ou infinitos. Um conjunto finito pode ser definido reunindo todos os seus elementos
separados por vrgulas. J um conjuntos infinito pode ser definido por uma propriedade que deve ser satisfeita por
todos os seus membros. Exemplo de conjunto finito:
(a) - Conjunto vazio
(b) Vogais= {a, e, i, o, u}
(c) A = { x | x brasileiro}
Exemplo de conjunto infinito:
(a) Z - nmeros inteiros
(b) R - nmeros reais
Observe que o conjunto A={ x N | 0 < x < 4 } finito, pois poderia se representado por extenso, ou seja, A = { 1, 2, 3}.
Analogamente para o conjunto B = { x | x aluno universitrio} a representao por extenso extremamente trabalhosa. Tambm repare que o conjunto infinito { x Z | x 0 } corresponde ao conjunto N
H muitas vezes a necessidade de contar o nmero de elementos de um conjunto finito. Essa pode no ser uma tarefa
trivial. Contar os elementos em um conjunto pode ser possvel considerando que o nmero de elemento dependem de
um evento, quebrando-se esse evento em uma sequncia de sub-eventos ou de sub-eventos disjuntos, sem que hajam
resultados possveis comuns possvel enumerar, ou seja, contar os elementos de um conjunto.
Para exemplificar, pode-se supor que realizado um levantamento entre 87 assinantes de um determinado boletim
informativo na rea de informtica. Os resultados de seu levantamento revelam que 68 assinantes tm disponvel um
Sistema Operacional baseado em Windows, 34 tem disponvel um sistema Unix e 30 tm acesso a um Mac. Alm disso,
19 tm acesso a ambos, Windows e Unix, 11 tm acesso Unix e Mac, e 23 podem acessar tando Windows quanto o Mac.
A pergunta agora que voc precisa responder : Quantos de seus assinantes tem acesso a todos os trs tipos de Sistemas
Operacionais? Esse um exemplo de um problema de contagem, onde preciso determinar a quantidade de elementos
de um conjunto - O conjunto aqui o formado por todos os assinantes com acesso aos trs sistemas.

1.1

Relao de Pertinncia

A relao de pertinncia indica se um determinado elemento pertence ou no a um determinado conjunto. Assim, se um

determinado elemento a elemento de um conjunto A, tal fato denotado por:
aA
o qual e interpretado como segue:
a pertence ao conjunto A
Caso contrrio, afirma-se que a no pertence ao conjunto A. Tal fato denominado por:
a
/A
Como exemplo pode-se citar:
1. Relativamente ao conjunto Vogais= {a, e, i, o, u}, tem-se que:
(a) a Vogais
(b) h
/ Vogais
1. Relativamente ao conjunto B = { x | x brasileiro}, tem-se que:
(a) Pel B
(b) Bill Gates
/B
Quando fazemos uso da relao de pertinncia, estamos, necessariamente, relacionando um elemento a um conjunto,
nesta ordem.
"elemento" "conjunto"
"elemento"
/ "conjunto"
Em geral todos os objetos em um conjunto tem algum propriedade em comum (alm de pertencerem ao mesmo
conjunto, claro!). Baseados nessa informao admite-se o seguinte, qualquer objeto que apresente essa propriedade
pertence ao conjunto e qualquer objeto que no apresente essa propriedade no pertence ao conjunto.

1.2

Alfabetos, Palavras e Linguagens

A noo de conjunto permite definir linguagem, um dos conceitos mais fundamentais em Computao Informtica.
Para a definio de linguagem, necessrio antes introduzir os conceitos de alfabeto e de cadeia de caracteres. O estudo
detalhado destes e de outros conceitos correlatos realizado em algumas disciplinas como Linguagens Formais e Compiladores.

Alfabeto
Um Alfabeto conjunto finito, isto , os elementos do alfabeto so usualmente denominados de smbolos ou caracteres.
Nesse caso, um smbolo um elemento qualquer de um alfabeto e sua representao simblica (Sigma).
Nota: Um conjunto vazio considerado um alfabeto, porm um conjunto infinito no um alfabeto. Exemplos:
= {a, b}
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Os conjuntos e {a, b, c} so alfabetos;
O conjunto N no um alfabeto;

Palavra, Cadeia de Caracteres, Sentena

Uma Palavra ou Cadeia de Caracteres ou Sentena sobre um alfabeto uma sequncia finita de smbolos (do alfabeto)
justapostos. Portanto, uma cadeia sem smbolos uma palavra vlida, e o smbolo:
(epsilon) denota a cadeia vazia, palavra vazia ou sentena vazia;
Se representa um alfabeto, ento * denota todas as palavras possveis do conjunto . Outros exemplos:
uma palavra sobre o alfabeto {a, b, c};
uma palavra do alfabeto ;
a, e, i, o, u, ai, oi, ui e aeiou so exemplos de palavras do conjunto das Vogais;
{a,b}* = { , a, bb, aa, ab, ba, bb, aaa, ...};
* = { }
Cadeia de caracteres (string, palavra) concatenao de smbolos de um alfabeto exemplos: aab , 123094 cadeia
vazia: no contm nenhum smbolo, anotada com . O comprimento de uma cadeia o nmero de smbolos presentes
nessa cadeia. Exemplos: |aab| = 3 , |123094|=6 , ||=0

Linguagem Formal
Uma Linguagem Formal, ou simplesmente Linguagem, um conjunto de palavras sobre um alfabeto. Assim,pode-se
supor que o alfabeto = {a, b }, ento:
O conjunto vazio e o conjunto formado pela palavra vazia so linguagens de .
O conjunto de palndromos (palavras que tm a mesma leitura a esquerda para a direita e vice-versa) sobre um
exemplo de linguagem (infinita):
Palndromos = { , a, b, aa, bb, aaa, aba, bab, bbb, aaaa, ...}
Exemplo 1 :
As linguagens de programao como Pascal, C e Java so linguagens constitudas por letras, dgitos e alguns smbolos especiais (como espao, parnteses, pontuao, etc). Nesse caso, cada programa na linguagem corresponde
a uma palavra sobre o alfabeto. Ou seja, uma linguagem de programao definida por todos os seus programas
possveis. Portanto, Pascal, Java, C, bem como qualquer linguagem de programao de propsitos gerais, so conjuntos infinitos.
Exemplo 2:
Um compilador de uma linguagem de programao um software que traduz um programa escrito na linguagem
de programao (linguagem fonte) para um cdigo executvel no sistema computacional (linguagem objeto). Em
geral, um compilador estruturado em duas grandes partes: anlise (anlise lxica, anlise sinttica e anlise
semntica) e sntese (gerao e otimizao de cdigo executvel). Resumidamente, a anlise verifica se um dado
programa fonte p , de fato, um programa vlido para a linguagem L em questo, ou seja, verifica se:
pL

Subconjuntos e Igualdade de Conjuntos

Alm da noo de pertinncia j apresentada, outra noo fundamental da Teoria dos Conjuntos a de continncia ou
incluso, a qual permite introduzir os conceitos de subconjuntos e igualdade de conjuntos. A relao de continncia
ou incluso indica se um determinado conjunto est contido ou no em um outro conjunto. Como exemplo, se todos
os elementos de um conjunto A tambm so elementos de um conjunto B, ento afirma-se que A est contido em B e
denota-se por:
AB
ou, alternativamente, que B contm A, e denota-se por:
BA

Nesse caso, A B ou B A), afirma-se que A subconjunto de B. Adicionalmente, se A B, mas existe b

/ A,
ento afirma-se que A est contido propriamente em B. Nesse caso, possvel observar que se caso houver um nico
elemento do primeiro conjunto no pertencer ao segundo para que o primeiro conjunto no esteja contido no segundo.
A relao de continncia ou incluso indica se um determinado conjunto est contido ou no em um outro conjunto.
Se todos os elementos de um conjunto pertencem a outro, ento o primeiro conjunto est contido no segundo. Basta
um nico elemento do primeiro conjunto no pertencer ao segundo para que o primeiro conjunto no esteja contido no
segundo.
Note que, quando fazemos uso da relao de incluso estamos, necessariamente, relacionando um conjunto a outro
conjunto. Essas relaes podem ser observadas a seguir:
"conjunto" "conjunto" ou
"conjunto"6 "conjunto" ou
"conjunto" "conjunto" ou
"conjunto"6 "conjunto".
Se um conjunto A est contido no conjunto B, dizemos que A um subconjunto de B.
Observaes: Todo o conjunto A subconjunto dele prprio, ou seja A A ;
O conjunto vazio, por conveno, subconjunto de qualquer conjunto, ou seja A.
Se A e B so conjuntos e todo o elemento x pertencente a A tambm pertence a B, ento o conjunto A dito um
subconjunto do conjunto B, denotado por A B. Note que esta definio inclui o caso em que A e B possuem os mesmos
elementos, isto , so o mesmo conjunto (A = B). Se A est contido em B, porm ocorre que pelos menos um elemento
pertencente a B mas no pertence a A, ento A chamado de subconjunto prprio de B, denotado por A B.
Exemplo:
{ a, b} { b, a}
{ a, b} { a, b, c}, { a, b} { a, b, c }
{ 1, 2,3} N, { 1,2,3} N;
Um conjunto especial e importante o conjunto universo, simbolicamente denotado por U, o qual contm todos os
conjuntos que esto sendo considerados. Ou seja, o conjunto universo define o "contexto"de discusso"(e portanto, U no
um conjunto fixo). Uma vez definido o conjunto universo U, para qualquer conjunto A, tem-se que:
AU
Os conjuntos A e B sao ditos conjuntos iguais, o que denotado por:
A=B
se, e somente se possuem exatamente os mesmos elementos. Formalmente, afirma-se que :
A=BAB e BA
Exemplo:
{1, 2, 3} = { x N | x > 0 e x < 4 }
N = { x Z | x 0}
{1, 2, 3} = { 3, 3, 3, 2, 2, 1}
Esse ltimo item ilustra claramente a definio de igualdade. De fato, fcil verificar que:
{1, 2, 3} { 3, 3, 3, 2, 2, 1} e { 3, 3, 3, 2, 2, 1} {1, 2, 3}
Observer que este exemplo tambm ilustra por que as repeties de elementos podem ser desconsideradas.

Unio de Conjuntos
Dados os conjuntos A e B, define-se como unio dos conjuntos A e B ao conjunto representado por A B, formado por
todos os elementos pertencentes a A ou B, ou seja:
A B = { x | x A ou x B }

Figura 2: Diagrama de Venn - Unio

Figura 3: Diagrama de Venn - Interseco

Interseco de Conjuntos
Dados os conjuntos A e B, define-se como interseco dos conjuntos A e B ao conjunto representado por A B, formado
por todos os elementos pertencentes a A e B, simultaneamente, ou seja:
AB={x|xAexB}

Diferena de Conjuntos
Dados os conjuntos A e B, define-se como diferena entre A e B (nesta ordem) ao conjunto representado por A-B, formado
por todos os elementos pertencentes a A, mas que no pertencem a B, ou seja:
A - B = { x | x A, x
/B}

Figura 4: Diagrama de Venn - Diferena

Produto Cartesiano
Dados os conjuntos A e B, chama-se produto cartesiano A com B, ao conjunto AxB, formado por todos os pares ordenados
(x,y), onde x elemento de A e y elemento de B, ou seja:
AxB = { x,y | x A ou y B }

Referncias
GERSTING, Judith L. Fundamentos matemticos para a cincia da computao: um tratamento moderno de matemtica
discreta. 5. ed Rio de Janeiro (RJ): LTC, 2004. xiv, 597p
MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica, 2a. edio, Sagra Luzzatto / Instituto
de Informtica da UFRGS, Porto Alegre, 2006.
6

Exerccios de Fixao
.
Questo 01 - A interseco entre o conjunto A = {0, 1, 2, 3, 4} e o conjunto B = {4, 5, 6, 7} :
a) {0, 1, 2, 3, 4}
b) {0, 1, 2, 3, 5, 6, 7}
c) {4}
d) {0, 1, 2, 3, 4, 5, 6, 7}
Questo 02 - Uma escola oferece reforo escolar em todas as disciplinas. No ms passado, dos 100 alunos que fizeram
reforo escolar nessa escola, 50 fizeram reforo em Matemtica, 25 fizeram reforo em Portugus e 10 fizeram reforo
em Matemtica e Portugus. Ento, correto afirmar que, no ms passado, desses 100 alunos, os que no fizeram reforo
em Matemtica e nem em Portugus igual a:
a) 15
b) 35
c) 20
d) 30
e) 25
Questo 03 - Em um colgio com 520 alunos, 330 estudam ingls, 185 estudam espanhol e 63 estudam ambas as
lnguas. Pela teoria dos conjuntos pergunta-se: Quantos alunos no estudam nenhuma das duas lnguas?
a) 68
b) 5
c) 57
d) 131
e) 58
Questo 04 - Os muulmanos sequer se limitam aos pases de etnia rabe, como muitos imaginam. Por exemplo, a
maior concentrao de muulmanos do mundo encontra-se na Indonsia, que no um pas de etnia rabe. (Adaptado
da Superinteressante, Ed. 169). Considere T o conjunto de todas as pessoas do mundo; M o conjunto de todas aquelas
que so muulmanos e A o conjunto de todas aquelas que so rabes. Sabendo que nem toda pessoa que muulmana
rabe, pode-se representar o conjunto de pessoas do mundo que no so muulmanas nem rabes por:
a) T - (A M)
b) T - A
c) T - (A M)
d) (A - M) (M - A)
e) M - A
Questo 05 - Se A e B so conjuntos quaisquer e C(A,B)=A-(A B), ento C(A, B) igual ao conjunto
a)
b) B
c) B - A
d) A - B
e) (A B) - A
Questo 06 - Considere os conjuntos M e N tais que M N = {1, 2, 3, 4, 5, 6}, M N = {1, 2} e N - M = {3, 4 }.
Assinale a alternativa correta.
a) M = {1, 2, 3}
b) M = {1, 2, 5, 6}
c) N = {1, 2, 4}
d) N = {1, 2}
e) M = {1, 2, 3, 4}
Questo 07 - Dois conjuntos B e C so subconjuntos de um conjunto A, porm A tambm subconjunto de B e
contm os elementos de C. Desse modo, pode-se afirmar que:
a) A = B e C B
b) A B e C B

c) A B e C B
d) A B e C = B
e) A = B e B = C
Questo 08 - Dado A = { x R | -1 x < 1} e { B = [0, 5), determine:
a) A B
b) A B
c) A - B
d) B - A
Questo 09 - Descreva de forma alternativa (usando outra forma de notao) e diga se so finitos ou infinitos os
seguintes conjuntos:
a) Todos os nmeros inteiros maiores que 10
b) 1, 3, 5, 7, 11,...
c) Todos os pases do mundo
Questo 10 - Para A={1}, B={1, 2} e C={ {1},1}, assinale as afirmativas corretas, em seguida justifique-as. (somente
as afirmativas corretas)
a)
AB
[ ]
b) A B
[ ]
c)
AB
[ ]
d) A = B
[ ]
e)
AC
[ ]
f)
AC
[ ]
g) A C
[ ]
h) A = C
[ ]
i)
1A
[ ]
j)
1C
[ ]
k) {1} A [ ]
l)
{1} C [ ]
m)
/C
[ ]
n) C
[ ]