Você está na página 1de 21

Teoria dos Conjuntos.............................................................................................................

1
1 Conjuntos Numricos.....................................................................................................2
1.1
Nmeros Naturais....................................................................................................2
1.2
Nmeros Inteiros.....................................................................................................3
1.2.1
Operaes com Nmeros Inteiros...................................................................4
1.2.1.1
Exemplo:...................................................................................................4
1.3
Nmeros Racionais.................................................................................................4
1.4
Nmeros Irracionais................................................................................................6
1.5
Nmeros Reais........................................................................................................7
1.5.1
Representao de um intervalo na reta real....................................................8
1.5.2
Tipos de Intervalos:..........................................................................................8
1.5.3
Unio e Interseco de Intervalos...................................................................9
1.6
Nmeros Complexos...............................................................................................9
1.7
Exerccios..............................................................................................................11
1.8
Os Conjuntos Vazio e Universo.............................................................................11
1.9
Subconjuntos.........................................................................................................12
1.10 Conjunto das Partes de um Conjunto...................................................................13
2 Operaes entre Conjuntos..........................................................................................14
2.1
Unio.....................................................................................................................14
2.2
Interseo..............................................................................................................14
2.3
Diferena...............................................................................................................14
2.4
Complementar.......................................................................................................15
2.5
Produto Cartesiano de Conjuntos.........................................................................15
2.6
Propriedades Formais...........................................................................................15
2.6.1
Propriedades das Operaes de Unio e Interseo....................................15
2.6.2
Propriedades da Operao de tomar Complementares................................15
2.6.3
Propriedades da Operao de Diferena......................................................16
2.7
Exerccios..............................................................................................................16

Teoria dos Conjuntos


A concepo de conjuntos nem precisa ser dita, o prprio nome j diz tudo. Ex.
Pega um grupo de cadeiras e junta sobre um crculo feito no cho.
Pronto, temos um conjunto de cadeiras.
Um conjunto frequentemente definido atravs de uma propriedade que
caracteriza seus elementos. Mais precisamente, parte-se de uma propriedade P. Ela
define um conjunto X, assim: se um objeto x goza da propriedade P, ento
x X; se x
no goza de P ento x X. Escreve-se:
X = {x | x goza da propriedade P}.
L-se: X o conjunto dos elementos x tal que x goza da propriedade P. No caso
particular em que a propriedade P se refere a elementos de um conjunto fundamental E,
indicaremos X por:
X = {x E | x goza da propriedade P}.

Caso ocorra de nenhum elemento de E gozar da propriedade P, diremos que o


conjunto {x E | x goza de P} no possui elemento algum e o denominaremos de
Conjunto Vazio. Para represent-lo, usaremos o smbolo .
Conjuntos numricos podem ser representados de diversas formas. A forma mais
simples dar um nome ao conjunto e expor todos os seus elementos, um ao lado do
outro, entre os sinais de chaves. Veja o exemplo:
Esse conjunto se chama "A" e possui trs termos, que esto listados entre chaves.
Os nomes dos conjuntos so sempre letras maisculas. Quando criamos um
conjunto, podemos utilizar qualquer letra.

1 Conjuntos Numricos
Para trabalharmos com nmeros, devemos primeiramente ter um conhecimento
bsico de quais so os conjuntos ("tipos") de nmeros existentes atualmente.
A noo de nmero tem provavelmente a idade do homem e certamente sempre
esteve ligada sua necessidade de registrar e interpretar os fenmenos que o cercavam.
Os primeiros smbolos numricos conhecidos surgiram com o intuito de representar
a variao numrica em conjuntos com poucos elementos. Com a ampliao e a
diversificao de suas atividades, o homem sentiu a necessidade de criar novos smbolos
numricos e processos de contagem e desenvolver sistemas de numerao.
A maioria dos sistemas de numerao tinha como base os nmeros 5 ou 10, numa
clara referencia ao numero de dedos que temos nas mos. Esses sistemas ainda no
possuam a notao posicional nem o nmero zero.
Os primeiros registros da utilizao da notao posicional ocorreram na Babilnia,
por volta de 2500
J o aparecimento do zero data do sculo IX e atribudo aos
hindus.
Tambm se atribuiu aos hindus o atual sistema de numerao posicional decimal,
que foi introduzido e difundido na Europa pelos rabes. Por essa razo, esse sistema
costumeiramente chamado de sistema de numerao indo-arbico.
Deve-se a Leonardo de Pisa (1175-1240), tambm chamado Fibonacci, a difuso
do sistema indo-arbico na Europa, atravs de sua obra Lber Abacci, de 1202.
1.1

Nmeros Naturais
Vamos comear nos primrdios da matemtica.
- Se eu pedisse para voc contar at 10, o que voc me diria?
- Um, dois, trs, quatro, cinco, seis, sete, oito, nove e dez.

Pois , estes nmeros que saem naturalmente de sua boca quando solicitado, so
chamados de nmeros NATURAIS, o qual representado pela letra
.
Foi o primeiro conjunto inventado pelos homens, e tinha como inteno mostrar
quantidades.
Obs.: Originalmente, o zero no estava includo neste conjunto, mas pela necessidade de
representar uma quantia nula, definiu-se este nmero como sendo pertencente ao
conjunto dos Naturais. Portanto:

Como o zero originou-se depois dos outros nmeros e possui algumas


propriedades prprias, algumas vezes teremos a necessidade de representar o conjunto
2

dos nmeros naturais sem incluir o zero. Para isso foi definido que o smbolo * (asterisco)
empregado ao lado do smbolo do conjunto, que representa a ausncia do zero. Veja o
exemplo:

1.2

Nmeros Inteiros

Os nmeros naturais foram suficientes para a sociedade durante algum tempo.


Com o passar dos anos, e o aumento das "trocas" de mercadorias entre os homens, foi
necessrio criar uma representao numrica para as dvidas.
Com isso inventaram-se os chamados "nmeros negativos", e junto com estes
nmeros, um novo conjunto: o conjunto dos nmeros inteiros, representado pela letra .

O conjunto dos nmeros inteiros formado por todos os nmeros NATURAIS mais
todos os seus representantes negativos.
Note que este conjunto no possui incio nem fim (ao contrrio dos naturais, que
possui um incio e no possui fim).
Assim como no conjunto dos naturais, podemos representar todos os inteiros sem
o ZERO com a mesma notao usada para os NATURAIS.

Em algumas situaes, teremos a necessidade de representar o conjunto dos


nmeros inteiros que NO SO NEGATIVOS.
Para isso emprega-se o sinal "+" ao lado do smbolo do conjunto (vale a pena
lembrar que esta simbologia representa os nmeros NO NEGATIVOS, e no os
nmeros POSITIVOS, como muita gente diz). Veja o exemplo:

Obs.: Note que agora sim este conjunto possui um incio. E voc pode estar pensando
"mas o zero no positivo". O zero no positivo nem negativo, zero NULO.
Ele est contido neste conjunto, pois a simbologia do sinalzinho positivo representa
todos os nmeros NO NEGATIVOS, e o zero se enquadra nisto.
Se quisermos representar somente os positivos (ou seja, os no negativos sem o
zero), escrevemos:

Pois assim teremos apenas os positivos, j que o zero no positivo. Ou tambm


podemos representar somente os inteiros NO POSITIVOS com:

Obs.: Este conjunto possui final, mas no possui incio. E tambm os inteiros negativos
(ou seja, os no positivos sem o zero):
3

Uma propriedade interessante dos nmeros inteiros, que j foi mencionada neste
texto (e que podemos representar em um grfico) a de ter em seu interior todos os
nmeros naturais. Veja o grfico a seguir:

Figura 1 N est contido em Z.

Todo nmero natural inteiro, isto , N um subconjunto de Z


1.2.1 Operaes com Nmeros Inteiros
I) Adio e Subtrao
I.a) Sinais iguais: Soma-se e conserva-se o mesmo sinal.
I.b) Sinais diferentes: Diminui-se e d-se o sinal do maior.
II) Multiplicao e Diviso:

Aplica-se a regra dos sinais:

Obs.: Pela ordem, resolver

1.2.1.1 Exemplo:

1.3

Nmeros Racionais

Olhando ainda pela linha do tempo, em um determinado momento comeou a ficar


crucial a necessidade de se representar "partes" de alguma coisa. Ex.: fatia de um bolo,
4

pedao de um terreno,... e por essa necessidade foi inventado as fraes. Para incluir os
nmeros ditos fracionrios, junto com os j existentes, criou-se o conjunto dos nmeros
RACIONAIS ( ), que indica uma razo (diviso) entre dois nmeros inteiros.
Os nmeros racionais so todos aqueles que podem ser representados por uma
frao de nmeros inteiros.
Mas os nmeros 6 e o 2,3 no tm o sinal de frao e so nmeros racionais?
- Ora, o 6 pode ser representado pela frao

ou at mesmo , e o 2,3 pode ser

, portanto, se um nmero tem a possibilidade de ser escrito em frao de nmeros


inteiros, considerado racional.
Ento me parece que todos os nmeros com vrgula sero racionais??
- No. Somente os que possurem finitos algarismos aps a vrgula, e as chamadas
dzimas peridicas, que possuem infinitos algarismos aps a vrgula mas so nmeros
racionais. Veja os exemplos a seguir.
3,14159265...

Este no um nmero Racional, pois possui infinitos


algarismos aps a vrgula (representados pelas reticncias)

2,252

Este um nmero Racional, pois possui finitos algarismos


aps a vrgula.

2,252525...

Este nmero possui infinitos nmeros aps a vrgula, mas


racional, chamado de dzima peridica. Reconhecemos um
nmero destes quando, aps a vrgula, ele sempre repetir um
nmero (no caso 25).

Com isso podemos concluir que o conjunto dos nmeros RACIONAIS formado
por todos os nmeros Inteiros (como vimos no exemplo anterior, um inteiro pode ser
representado como uma frao, por exemplo, 10 pode ser ) e mais alguns.
Portanto, o conjunto dos inteiros est "dentro" do conjunto dos Racionais.
Representamos assim:

Figura 2 - Z est contido em Q.

Os nmeros racionais so aqueles que podem ser expressos na forma a/b, onde a
e b so inteiros quaisquer, com b diferente de 0.
Q = { a/b com a e b pertencentes a Z com b diferente de 0 }
Assim como exemplo podemos citar o 1/2 , 1 , 2,5 ,...
-Nmeros decimais exatos so racionais. Pois:
0,1 = 1/10
5

2,3 = 23/10
- Nmeros decimais peridicos so racionais.
0,1111... = 1/9
0,3232 ...= 32/99
2,3333 ...= 21/9
0,2111 ...= 19/90
-Toda dzima peridica 0,9999 ... 9 ... uma outra representao do nmero 1.
Observe que o nmero racional 0,323232.... pode ser escrito como x; onde:
100x = 32,3232....; isto : 100x = 32 + 0,3232... = 32 + x. Implicando em dizer que
100x x = 32; logo x = 32/99.
Obs.: As notaes para os "no positivos" e os "no negativos", utilizados para os
inteiros, tambm podem ser usadas para os racionais. O zero um nmero racional, pois
podemos represent-lo pela frao:
= {Todos os racionais sem o zero}
= {Todos os racionais NO NEGATIVOS}
= {Todos os racionais NO NEGATIVOS sem o zero, ou seja, os positivos}
= {Todos os racionais NO POSITIVOS}
= {Todos os racionais NO POSITIVOS sem o zero, ou seja, os negativos}
1.4

Nmeros Irracionais

Se formos um pouco mais alm na histria, vamos chegar ao famoso teorema de


Pitgoras.
Pense comigo: Se temos um tringulo com catetos medindo 1 unidade de
comprimento.

Figura 3 Tringulo retngulo de hipotenusa igual a

Pelo teorema de Pitgoras, calculamos que o terceiro lado (a hipotenusa), vale .


- E quanto ?
- Pois isto no podemos dizer exatamente. O que se sabe que no d para
representar como uma frao de nmeros inteiros, pois tem infinitas casas depois da
vrgula (e no uma dzima peridica). Ento no podemos cham-lo de nmero racional.
Por este motivo houve a necessidade de criar-se mais um conjunto. Que, por oposio
aos nmeros racionais, chama-se "CONJUNTO DOS NMEROS IRRACIONAIS".
Formado por todos os nmeros que, ao contrrio dos racionais, NO podem ser
representados por uma frao de nmeros inteiros. Este conjunto representado por .

O conjunto dos nmeros irracionais so aqueles que no podem ser expressos na


forma a/b, com a e b inteiros e b diferente de 0. So compostos por dzimas infinitas no
peridicas.
Por exemplo:

Obs.: Note que as dzimas peridicas so nmeros racionais, enquanto as dzimas no


peridicas so nmeros irracionais.
Por exemplo:
=> Todos estes valores no podem ser representados por uma frao de
nmeros inteiros, portanto, so chamados de nmeros irracionais.
=> Este nmero tambm no tem uma representao em forma de frao, por
isso tambm um nmero irracional. Ou seja, se somarmos um racional com um
irracional teremos como resultado um irracional.
=> Este tambm irracional, pelo mesmo motivo do nmero acima.
- Todas as razes no exatas fazem parte do conjunto dos nmeros irracionais. Mas no
so s elas, tambm esto neste conjunto o nmero pi (=3,141592...), o nmero de
Euler (e = 2,71828...), e alguns outros.
Portanto, se um nmero for racional, no pode ser irracional, e vice-versa. Por isso
que, ao representarmos nos bales, devemos separ-los. Veja a figura a seguir:

Figura 4 Conjuntos Q e I.

1.5

Nmeros Reais

Os nmeros racionais e irracionais foram utilizados por sculos e at hoje so


considerados os mais importantes. Por este motivo, foi dado um nome para o conjunto
formado por todos estes conjuntos. O nome escolhido foi "CONJUNTO DOS NMEROS
REAIS" que a reunio do conjunto dos nmeros irracionais com o dos racionais.

Figura 5 -

Se um nmero Real, ou ele ser Racional ou ele ser Irracional, e se encontrar


no seu respectivo conjunto. No existindo nenhum nmero que seja REAL e no seja ou
RACIONAL ou IRRACIONAL.
1.5.1 Representao de um intervalo na reta real
Um intervalo representado na reta real utilizando-se de uma pequena bolinha
vazia para indicar que um dos pontos extremos no pertence ao intervalo e de uma
bolinha cheia para indicar que o ponto extremo pertence.
Figura 6 Representao de um intervalo na reta real.

1.5.2 Tipos de Intervalos:


Dados a e b nmeros reais, com a b, x pertencente ao intervalo e c o seu comprimento,
podemos classificar os intervalos como:
a) Intervalo Fechado de comprimento finito c = b - a:
[a,b] = {x R | a x b}
b) Intervalo fechado esquerda e aberto direita de comprimento finito c = b - a:
[a,b[ = [a,b) = {x R | a x < b}
c) Intervalo aberto esquerda e fechado direita de comprimento finito c = b - a:
(a,b] = ]a,b] = {x R | a < x b}
d) Intervalo aberto de comprimento finito c = b - a:
]a,b[ = (a,b) = {x R | a < x < b}
e) Intervalo aberto direita de comprimento infinito:
]-,b[ = (-,b) = {x R | x < b}
f) Intervalo fechado direita de comprimento infinito:
]-,b] = (-,b] = {x R | x b}
g) Intervalo fechado esquerda de comprimento infinito:
[a,+) = [a,+[ = {x R | a x} ou [a,+) = [a,+[ = {x R | x a}
h) Intervalo aberto esquerda de comprimento infinito:
]a,+[ = (a,+) = {x R | x > a}
i) Intervalo aberto de comprimento infinito:
8

]-,+[ = (-,+) = R
j) Intervalo fechado de comprimento nulo:
Como o comprimento nulo e o intervalo fechado, ento a = b e esse intervalo
corresponde ao conjunto unitrio {a}, isto , a um ponto da reta real.
Concluo a classificao dos intervalos com a seguinte pergunta para vocs: E o
intervalo vazio como seria definido?
1.5.3 Unio e Interseco de Intervalos
Como intervalos so conjuntos natural que as operaes mencionadas possam ser
realizadas. E, trata-se de um procedimento muito comum na resoluo de alguns
problemas.
E a maneira mais fcil e intuitiva de realizar essas operaes atravs da representao
grfica dos intervalos envolvidos. Vamos um exemplo prtico de como efetuar tais
operaes.
Sejam A = [-1,6] = {x R | -1 x 6} e B = (1,+) = {x R | x > 1} dois intervalos e vamos
determinar A U B e A B.
Primeiramente, marcamos todos os pontos que so extremos ou origens dos intervalos
em uma mesma reta. Em seguida, abaixo dessa reta, traamos os intervalos que
representam graficamente os conjuntos A e B. E, por fim, s utilizar a definio de unio
e interseco para determinar os trechos que esto em pelo menos um intervalo e os
trechos comuns aos dois intervalos, respectivamente. Veja a soluo de A B na figura a
seguir e de onde tambm facilmente observado o resultado de A U B:
A B = {x R | 1 < x 6} e A U B = {x R | -1 x}

Figura 7 Interseco de intervalos.

1.6

Nmeros Complexos

Durante muito tempo foi s isso que precisamos, conseguamos fazer todos os
clculos necessrios com apenas estes nmeros. Mas o tempo foi passando e novas
necessidades foram surgindo, veja a histria a seguir.
Com um grande salto no tempo, chegamos na casa de nosso querido amigo Caju!
Estava ele brincando com nmeros em sua casa, quando houve o seguinte
dilogo...
Caju - Me, me. Olha s que legal, eu sei que
5, porque 5 ao quadrado
25.
Me - Oh! Meu filho, muito bem!
9

Caju - Tambm sei que


9, pois 9 ao quadrado 81.
Me - Ah, filhinho, que bonitinho! Mas me diz uma coisa, quanto
Caju - Ora me, isso fcil,
5 !
Me - Ento me prova.
Caju - Olha me, (5) ao quadrado d... d...... ops, d +25...

Pois , qualquer nmero negativo elevado ao quadrado resulta um valor positivo,


ento como fazer para calcular a raiz quadrada de um nmero negativo?
A partir da firmou-se um mistrio na Matemtica: quanto vale esta raiz?
O tempo passou, e para solucionar o caso, convencionou-se que
chamado de unidade imaginria.

, onde i

Ex.:
Aqui foram usadas as propriedades de radiciao.
E com isso formou-se o conjunto dos nmeros IMAGINRIOS, representado pela
letra , que composto por todas as razes de nmeros negativas.
Novamente temos uma diviso, ou o nmero Real ou no Real. Por isso
devemos colocar o balo dos imaginrios separado dos nmeros Reais. Veja o desenho:

Figura 8 Conjunto dos complexos.

Agora, neste caso temos uma dvida. Se somarmos um nmero Real com um
nmero imaginrio, como por exemplo:
2+3i
Em que balo ele vai se encontrar?
- No pode ser real, e tambm no pode ser imaginrio.
Para solucionar este caso, convencionou-se que o conjunto dos Reais junto com o
conjunto dos Imaginrios, chamado de Conjunto dos nmeros COMPLEXOS, que
representado por C.
Note que o conjunto dos nmeros complexos o conjunto de TODOS os nmeros
que conhecemos at hoje! Preste bem ateno, eu disse TODOS os nmeros conhecidos
at hoje! Veja o grfico a seguir:

10

Figura 9 - Conjunto dos complexos.

1.7

Exerccios

1. Diga a qual conjunto pertence os nmeros:


a)

Este nmero pode ser representado por 355/10 ento RACIONAL e


consequentemente REAL e COMPLEXO

b)

Este nmero inteiro e positivo, ento NATURAL e consequentemente


INTEIRO, RACIONAL, REAL e COMPLEXO.

c)

Esta raiz no exata, ento, IRRACIONAL e consequentemente REAL e


COMPLEXO

d)

Esta raiz exata, e isto igual a 12, ento, NATURAL e consequentemente


INTEIRO, RACIONAL, REAL e COMPLEXO

e)

Raiz de nmero negativo, que igual a 9i, ento, IMAGINRIO


consequentemente COMPLEXO.

f)

Nmero multiplicado por unidade


consequentemente COMPLEXO.

g)

Nmero real somado com um imaginrio, COMPLEXO.

imaginria,

IMAGINRIO

2. (FUVEST) P uma propriedade relativa aos nmeros naturais. Sabe-se que:


I) P verdadeira para o natural n = 10;
II) se P verdadeira para n, ento P verdadeira para 2n;
III) se P verdadeira para n, n > 2, ento P verdadeira para n - 2.
Pode-se concluir que:
(A) P verdadeira para todo nmero natural n.
(B) P verdadeira somente para nmeros naturais n, n 10.
(C) P verdadeira para todos os nmeros naturais pares.
(D) P somente verdadeira para potncias de 2.
(E) P no verdadeira para os nmeros mpares.
1.8

Os Conjuntos Vazio e Universo

Exemplo: O conjunto vazio pode ser definido por intermdio de qualquer propriedade
contraditria, como por exemplo:
= { x N | 5 < x < 6 }. E tambm, = {x | x x }.
{xN/x <1 e x >2} = = { }
11

{x / x.0=2} =
(no existe x que multiplicado por 0, resulte 2.)
Muitas vezes, para facilitar o raciocnio, recorremos ao Diagrama de Venn,
conforme mostra a figura 10, para representarmos um determinado conjunto. Por
exemplo:
A
a
u

B
1

(a) Conjunto A das vogais

(b) Conjunto B dos algarismos


mpares do numeral 123

Figura 10 Diagrama de Venn.

Quando utilizamos a linguagem de conjuntos em determinado assunto,


importante determinar o conjunto formado pela totalidade dos elementos que esto sendo
considerados; esse conjunto chamado Conjunto Universo para o assunto em questo.
Para represent-lo, usaremos o smbolo U.
Um Conjunto Finito aquele em que podemos determinar a quantidade de
elementos. Do contrrio, o conjunto dito Infinito. Por exemplo,
Conjuntos Finitos:
dgitos decimais = { 0, 1, 2, ..., 9}
dgitos binrios = { 0, 1}
Conjuntos Infinitos:
nmeros naturais = { 0, 1, 2, ...}
nmeros naturais pares = { 0, 2, 4, 6, ...}
O nmero de elementos em um conjunto finito chamado de Cardinalidade ou de
Nmero Cardinal do Conjunto. Por exemplo, se A = { 1, 2, 2, 5} tem-se card(A) = 3.
Um conjunto A dito enumervel (ou contvel) se existe uma correspondncia um
para um entre todos os elementos de A e os nmero inteiros. Por exemplo:
conjuntos finitos, N, Z, Q
R - exemplo de conjunto no-enumervel. Basta mostrar que um subconjunto de
R no enumervel. (Por exemplo, o intervalo [0, 1]. )
1.9

Subconjuntos

Dados os conjuntos A e B, dizemos A subconjunto de B quando todo elemento de


A tambm elemento de B. Para indicar este fato, usa-se a notao: A B.
Quando A B, diz-se tambm que A parte de B, que est includo em B, ou contido em
B. A relao A B chama-se Relao de Incluso.
Os smbolos de incluso , , , , so usados para estabelecer relaes apenas
entre dois conjuntos.
Obs.: A A, qualquer que seja A.
A, qualquer que seja A.
12

N z Q R (os conjuntos numricos cumprem as relaes de incluso)


Quando se escreve A B no est includa a possibilidade de A = B. No caso em
que A B e A B, diz-se que A um subconjunto prprio de B, ou que A uma parte
prpria de B, ou ainda, que A est contido propriamente em B.
Dizemos que A = B A B e B A. Dois conjuntos A e B so iguais se, e
somente se, todo elemento de A tambm elemento de B e vice-versa. Por exemplo:
{1, 1, 3, 4 } = { 1, 3, 4 }

N* = {1, 2, 3, 4, ... } = z*+

N = {0, 1, 2, 3, 4, ... } = z+

Obs.: 1) De um modo geral, para qualquer conjunto A, o conjunto vazio e o prprio


conjunto A so seus subconjuntos.
2) Na relao entre P(A) e seus elementos, utilizamos os smbolos de pertinncia
(, ). Assim se {a} elemento de P(A), podemos escrever {a} P(A).
3) Se o conjunto A tem n elementos, ento P(A) tem 2n elementos.
Exemplo: Os conjuntos numricos cumprem as relaes de incluso, ou seja, N z
Q R. Temos N z, o que traduz a afirmao: todo nmero natural um nmero
inteiro. Todo nmero inteiro um nmero racional e existem nmeros racionais que no
so inteiros; isto , z parte prpria de Q.
O conjunto vazio subconjunto de qualquer conjunto A . Para demonstrar,
suponha que o conjunto vazio no esteja contido em A, isto , A. Logo, existe um
elemento a tal que a e a A. Como no existe a , somos obrigados a admitir que
A, seja qual for o conjunto A.
Uma vez introduzido o sinal de incluso, a noo de igualdade entre conjuntos
pode ser posta sob a forma:
A = B A B e B A.
A igualdade de conjuntos :
Reflexiva: A = A, seja qual for o conjunto A;
Simtrica: se A = B, ento B = A.
Transitiva: se A = B e B = C, ento A = C.
A relao de incluso A B :
Reflexiva: A A, seja qual for o conjunto A;
Anti-simtrica: se A B e B A, ento A = B.
Transitiva: se A B e B C, ento A C.
A verificao dessas propriedades imediata e, ser feita mais adiante.
1.10 Conjunto das Partes de um Conjunto
A famlia de todos os subconjuntos do conjunto A denominada Conjunto das
partes de A, simbolizada por P(A) ou 2A.
De modo geral, para qualquer conjunto A, o
conjunto vazio e o prprio conjunto A so seus subconjuntos.

13

Na relao entre P(A) e seus elementos, utilizamos os smbolos de pertinncia (,


). Assim se {a} elemento de P(A), podemos escrever {a} P(A). {{a}} subconjunto de
P(A), ou seja, {{a}} P(A).
Se o conjunto A tem n elementos, ento P(A) tem 2n elementos.
Exemplo: Seja X = { 1, 2, 3}. Ento, P(X) = { , {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, X} com 8
elementos.

2 Operaes entre Conjuntos


2.1

Unio
A unio (ou reunio) dos conjuntos A e B o conjunto A B, formado por todos os
elementos de A mais os elementos de B. Assim, afirmar que x A B significa dizer que
pelo menos uma das afirmaes seguintes verdadeira: x A ou x B. Podemos
escrever
A B = { x | x A ou x B}.
Exemplo: Tomemos o conjunto universo U = N e sejam A = { x N | 2 < x < 8} e B = { x
N | x > 4}. Ento A B = { 3, 4, 5, 6, ... }.
2.2

Interseo
A interseo dos conjuntos A e B o conjunto A B, formado por todos os
elementos comuns a A e B. Assim, afirmar que x A B significa dizer que se tem, ao
mesmo tempo, x A e x B. Escrevemos ento
A B = { x | x A e x B}.
Exemplo: Considere o exemplo anterior onde A = { x N | 2 < x < 8} e B = { x N | x >
4}. Ento A B = { 3, 4 }.
Pode ocorrer que no exista elemento algum x tal que x A e x B. Neste caso,
tem-se A B = e os conjuntos A e B dizem-se disjuntos.
Dados dois conjuntos A e B, representamos graficamente a unio dos conjuntos
pela parte hachurada - figura 2(a). Hachure na figura 2(b) a interseo entre eles.
A

(a) Unio de A e B

(b) Interseo de A e B

Figura 11 Diagrama de Venn.

Quaisquer que sejam os conjuntos A e B tem-se A B A e A B B.


Exemplo: Sejam os conjuntos A = { x N | x mltiplo de 2 } e B ={ x N | x mltiplo
de 3 }. Como um nmero natural mltiplo simultaneamente de 2 e de 3 se e somente se
este nmero mltiplo de 6, temos: A B = { x N | x mltiplo de 6 }.
14

2.3

Diferena
A diferena entre os conjuntos A e B o conjunto A B, formado por todos os
elementos de A que no pertencem a B. Escrevemos ento
A B = { x | x A e x B}.
Graficamente, temos a figura 12, onde os conjuntos A e B so representados por
discos. A diferena A B a parte indicada.

Figura 12 - Diagrama de Venn

2.4

Complementar
Dados os conjuntos A e B, onde B A, chamamos de complementar de B em

relao a A e se representa por CAB o conjunto formado pelos elementos que pertencem
a A e no pertencem a B.
Se B A, ento CAB = A B .
2.5

Produto Cartesiano de Conjuntos


Outra operao til entre conjuntos o produto cartesiano que se baseia no conceito
de par ordenado. Ao escrevermos um par ordenado (x, y), a ordem dos elementos
fundamental: x o primeiro elemento do par e y o segundo elemento do par.
O produto cartesiano dos conjuntos A e B o conjunto A x B cujos elementos so
todos os pares ordenados (x, y) tal que x elemento de A e y elemento de B. Portanto:
A x B = { (x,y) | x A e y B}.
Obs.: 1) Dados dois pares ordenados (x, y) e (a, b), dizemos que:
(x, y) = (a, b) x = a e y = b
2) Se o conjunto A tem m elementos e B n elementos, ento A x B ter m.n
elementos.
2.6

Propriedades Formais
Veremos, a seguir, algumas propriedades das operaes entre subconjuntos de um
dado conjunto fundamental E. As propriedades devem ser demonstradas.
2.6.1 Propriedades das Operaes de Unio e Interseo
Quaisquer que sejam os conjuntos A, B, C, partes de um conjunto fundamental E,
tem-se:
Unio
1) A = A
2) A E = E
3)
4)
5)
6)

ACA = A
AA = A
AB = BA
(A B) C = A (B C)

Interseo
1) A =
2) A E = A
3)
4)
5)
6)

A CA = A
AA = A
AB = BA
(A B) C = A (B C)
15

7) A B = A B A
8) A (B C) = (A B) (A C)

7) A B = A A B
8) A (B C) = (A B) (A C)

2.6.2 Propriedades da Operao de tomar Complementares


Os conjuntos A e B so partes de um conjunto fundamental E, em relao ao qual
estamos tomando os complementares.
1)

C (C

A) = A

2) A B C B C A
3) A = C A = E
4)
B
5)
B

(A B) =

(A B) =

As propriedades 4 e 5, da tabela anterior, denominadas Leis de Morgan mostram


que:
o complementar da unio igual interseo dos complementares; e que
o complementar da interseo igual reunio dos complementares.
2.6.3 Propriedades da Operao de Diferena
Sejam A, B e C conjuntos quaisquer num universo E.
1) A - = A

-A=

2) A - E =
3) A - A =

E -A=C A

4) A - C A = A
5)

(A - B) =

A B

6) A - B = C B - C A
7) A (B - C) = (A B) - (C - A)
8) A (B - C) = (A B) - (A C)
2.7

Exerccios

1. Se A = { a, b }, classifique em verdadeiro ou falso:


a) { b } A
c) { a } A
b) A
d) a A
2. Diga quais das seguintes proposies so verdadeiras:
a) { {1,2},{3,4}} = {1,2,3,4}
g) {}
b) {1,2} {{1,2}}
h) {}
c) {1,2} {{1,2}}
i) {1,2,2,3,3} = {1,2,3}
d) {a} {b,{a}}
j) {1,2,3}{1,2,2,3,3}
e) {a} {b,{a}}
k)
f) = {}
l)
3. - Sejam U = {2, 1, 2} , G={1, 2, {1}, {2}, {1,2}}.
a) U G? Justifique.
b) U G? Justifique.
16

4. Estabelea entre cada um dos conjuntos ou elementos U = {1,2,3,4}, V = {1,4,5}, W =


2, X = {3, }, Y = , Z = { {1}, 2, {3}, 4}, relaes de e/ou , sempre que
possvel. Justifique.
5. Considere os conjuntos A={alunos de ED}, T={turmas existentes na Unitri}. Sendo n o
nmero total de turmas, seja I={i IN: i n }. Designamos cada turma por P, iI. Diga
quais das seguintes afirmaes so verdadeiras ou falsas, para i I:
a) P T
d) P A
b) P T
e) P A T
c) P A
f) P A T
6. Defina o conjunto IR A, onde A definido do seguinte modo:
a) A = { x IR : | x + 5 | 4 x 0 }
b) A = { x IR : 6x + 9 0 2x 4 }
c) A = { x IR : 6x + 9 0 } { x IR : 6x + 9 0 }
d) A = { x IR : | x 7 | = 4 } { x IR : 7x 5 4 }
7. Dado o conjunto A = { 5, -2.3, 0.131131113..., 0.333..., 2/5, 3.141592... }, escreva o
subconjunto de A cujos elementos sejam nmeros racionais.
8. Qual o conjunto unio do conjunto dos inteiros positivos divisveis por 2 e do conjunto
dos inteiros positivos divisveis por 3? Qual o conjunto interseo?
9. Dado o conjunto U = { 0, 1, 2, 3, 4, 5, 6, 7, 8 }
a) o subconjunto A dos nmeros menores que 5.
b) o subconjunto B dos nmeros maiores que 3 e menores que 6.
c) o subconjunto C dos nmeros pares maiores que 6.
d) o subconjunto D dos nmeros mpares maiores que 7.
10.
11.
12.

D um exemplo para ilustrar A B = A C com B C.


Mostre que para todo conjunto X, X.
Considere a seguinte coleo de conjuntos: Ti {n IN : n i}, para i IN.

a) Mostre que Ti Tj i j , i,j IN.


10

b) Determine Ti e
i=1

Ti

iIN

10

Ti
i=1

c)

Determine

Ti

iIN

13.
De trinta e cinco candidatos a uma vaga de programador, vinte e cinco sabem
FORTRAN, vinte e oito sabem Pascal e dois no sabem nenhuma delas. Quantos
sabem as duas linguagens?
14.
Um total de sessenta clientes potenciais foi a uma loja de equipamento informtico.
Deles cinqenta e dois fizeram compras: - vinte compraram papel; - trinta e seis
compraram diskettes; - quinze compraram tinteiros de impressora; - seis compraram
simultaneamente papel e diskettes; - nove compraram simultaneamente diskettes e
tinteiros; - cinco compraram simultaneamente papel e tinteiros. Quantos compraram os
trs artigos?
15.
Um vendedor de praia tem cinco qualidades diferentes de sanduches (fiambre,
queijo, presunto, carne assada e mistas) e trs qualidades diferentes de bebidas (sumo
de laranja, cerveja e caf). Quantos menus diferentes pode ele oferecer, compostos de
uma bebida e de um sanduche?
16.
possvel ir de Braga ao Porto de comboio ou de autocarro. Do Porto para Lisboa
pode-se ir de comboio, autocarro ou avio e de Lisboa para o Funchal pode-se ir de
avio ou barco. Quantos itinerrios distintos se podem escolher para ir de Braga ao
Funchal passando por Lisboa?
17

17.
Num baile havia quarenta e cinco raparigas. Destas, vinte danaram rock, dezoito
danaram lambada, quinze danaram twist, nove danaram rock e twist, sete danaram
rock e lambada, seis danaram twist e lambada e trs danaram as trs danas.
Quantas no danaram?
18.
Sejam A, B e C conjuntos. Prove as propriedades a seguir:
a) A B = B A e A B = B A.
g) A C A =
b) A B A e A B B
h) A C A = U
c) A B = B A
i) C (A B) = C A C B
d) A B) C = A (B C)
j) C B C A C(C A) C(C B)
e) C ( C A ) = A
k) A (B C) = (A B) (A C)
f) A B C B C A

18

19. Prove que A = B se, e somente se, (A CB) (C A B) = .


20. Prove as seguintes afirmaes:
a) A B A B = A
b) B A A B = A
c) (A B) C = A (B C)
d) A (B C) = (A B) (A C)
e) (A - B) (B - A) = (A B) - (A B)
f)

CBCA

C(C A) C(C B)

g) A B = A C B
h) A B = U C A B

i) A B A C B =
21. Define-se diferena simtrica entre os conjuntos A e B por: A B = (AB)
(BA). Mostre que:
a) A B = ( A B ) ( A B )
b) Se A B = ento A = B
c) (A B) C = A (B C)
d) A B = B A
e) A A =
22. Determine P({a}), P(), P({}) e P(P()). (P(X) representa partes do
conjunto X).
23. Prove que, para quaisquer conjuntos A e B, se tem:
a) AB P(A) P(B).
b) P(A) P(B) = P(A B).
c) P(A) P(B) P(A B). Em que condies se tm a igualdade?

24. Considere os seguintes conjuntos:


A = {a0 a1 x a2 x 2 R2 x : a0 a 2 0} e B = {a0 a1 x a2 x 2 R2 x : a0 a1 0}

a) verifique se p(x)=1+2x-x A B.
b) verifique se h(x)=1-x-x A B.
c) determine A B.
25. Mostrar que:
a) Se A e B so conjuntos finitos ento AB finito.
b) Se A e B so conjuntos finitos ento AB finito.
c) Se A e B so conjuntos finitos ento {f | f aplicao de A em B} finito.

26. Mostrar que:


a) Se A um conjunto enumervel ento {B A | B finito} enumervel.
b) Se A um conjunto enumervel ento P(A) no enumervel.
c) Se A um conjunto enumervel ento {B A | B infinito} no
enumervel.
27. Seja A um conjunto infinito. Mostrar que A enumervel se e s se, para
cada parte infinita X de A, se tem A X.
28. So verdadeiras ou falsas as afirmaes:
a) Se A, B, C so conjuntos tais que C e A C = B C, ento A = B.
b) Se A e B so conjuntos tais que A B enumervel, ento A enumervel
ou B enumervel.
c) Se A, B, C so conjuntos tais que A C = B C e C , ento A = B.
d) Sejam A um conjunto e x A. Se A infinito ento A {x} = A.
---------------------------------------------------------------------------------------------------------APNDICE A. Os Smbolos da Linguagem dos Conjuntos - Resumo
Nos itens anteriores, medida que falvamos sobre conjuntos, os
smbolos foram surgindo e agora j conhecemos e estamos utilizando uma boa
quantidade deles. Vamos fazer um resumo de tais smbolos:
aA
l-se:
a pertence a A
aA
l-se:
a no pertence a A
A = {x | x goza a propriedade P}
l-se: A o conjunto dos x tal que x
goza a propriedade P
A=B
l-se:
A igual a B
AB
l-se:
A diferente de B
AB
l-se:
A est contido em B
AB
l-se:
A no est contido em B
AB
AB

C AB
AB
AB
AB
x
x
x
pq
pq

l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:
l-se:

A contm B
A no contm B
conjunto vazio
complementar de A em relao a B
A menos B
A inter B
A unio B
qualquer que seja x ou para todo x
existe ao menos um x ou pelo menos um x
no existe x algum
se p ento q ou p implica q
p equivalente a q