LICENCIATURA EM CINCIAS USP/ UNIVESP

1
INTRODUO
TEORIA DOS CONJUNTOS
Gil da Costa Marques
1.1 Introduo
1.2 Conceitos bsicos
1.3 Subconjuntos e intervalos
1.4 O conjunto dos nmeros reais
1.5.1 A relao de ordem em
1.5 Intervalos
1.5.1 Vizinhana de um ponto
1.5.2 Comprimento de um segmento (distncia entre dois pontos numa reta)
1.6 Operaes com conjuntos
1.6.1 Unio
1.6.2 Interseco
1.6.3 Diferena
1.6.4 Produto cartesiano de conjuntos
F
u
n
d
a
m
e
n
t
o
s

d
a

M
a
t
e
m

t
i
c
a

I
O material desta disciplina foi produzido pelo Centro de Ensino e Pesquisa Aplicada (CEPA) do
Instituto de Fsica da Universidade de So Paulo (USP) para o projeto Licenciatura em Cincias
(USP/Univesp).
Crditos
Coordenao de Produo: Beatriz Borges Casaro.
Reviso de Texto: Marcia Azevedo Coelho, Marina Keiko Tokumaru e Paulo Barroso.
Design Instrucional: Fernanda Diniz Junqueira Franco, Gezilda Balbino Pereira, Jean Rafael
Tomceac, Juliana Moraes Marques Giordano, Michelle Carvalho e Vani Kenski.
Projeto Grfico e Diagramao: Daniella de Romero Pecora, Leandro de Oliveira,
Priscila Pesce Lopes de Oliveira e Rafael de Queiroz Oliveira.
Ilustrao: Alexandre Rocha, Aline Antunes, Benson Chin, Camila Torrano, Celso Roberto Loureno,
Joo Costa, Lidia Yoshino, Mauricio Rheinlander Klein e Thiago A. M. S.
Fotografia: Jairo Gonalves.
3
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
1.1 Introduo
Georg Cantor (1845-1918) recebeu o crdito por ter revolucio-
nado a matemtica com a Teoria dos Conjuntos, que foi desenvolvida
por ele a partir de 1874.
Cantor iniciou seus estudos procurando uma formalizao para o
conceito de infinito, chegando concluso de que existem diferentes
ordens de infinitos. A classificao dessas ordens se torna possvel
quando essa questo formulada em termos de nmeros, denomi-
nados por ele transfinitos. A introduo desses conceitos levou-o a
desenvolver um formalismo matemtico, conhecido hoje como Teoria dos Conjuntos.
De acordo com Howard Eves, citao encontrada em seu livro Histria da Matemtica,
A moderna teoria matemtica dos conjuntos uma
das mais notveis criaes do esprito humano
e ela adquire enorme importncia em vrias reas da matemtica, fazendo com que esse ferra-
mental seja essencial quando se estudam os fundamentos da matemtica. Esse o caso do clculo
diferencial e integral. E isso justifica sua incluso num texto dedicado ao clculo.
Pode-se considerar a Teoria dos Conjuntos como um formalismo interdisciplinar: ela serve
como um elo entre a matemtica, de um lado, e a filosofia e a lgica, de outro lado. Da se infere
a relevncia para toda a cincia.
1.2 Conceitos bsicos
Intuitivamente, um conjunto M uma coleo de objetos defi-
nidos e separados, mas que formam um todo. Os objetos pertencentes
coleo so os elementos do conjunto. Objetos podem ser entendi-
dos no sentido mais abrangente possvel. Podem ser tanto reais quanto
imaginrios. No entanto, na matemtica mais usual trabalharmos
com objetos associados a nmeros.
Figura 1.1: Georg Ferdinand
Ludwig Philipp Cantor,
matemtico russo (1845-1918).
Figura 1.2: Conjunto de objetos.
4
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
Utilizamos a notao que envolve o smbolo { } para designar
conjuntos. Assim, representamos o conjunto M, formalmente,
como:
1.1
O fato de um objeto m
i
fazer parte ou no dos elementos de um conjunto indicado,
respectivamente, por:
1.2 1.3 e
Por exemplo, o conjunto dos nmeros inteiros, representado pela letra , tal que seus
elementos so dados por:
1.4
Muitas vezes, conjuntos so definidos a partir de uma propriedade P a ser satisfeita pelos seus
elementos. Assim, utilizamos a seguinte notao nesse caso:
1.5
A notao acima deixa explcito que o conjunto M constitudo por todos os elementos m
i
que
satisfazem a propriedade P. Nessa notao, o conjunto dos nmeros naturais seria especificado como
o conjunto formado pelos nmeros inteiros no negativos. Admitindo-se que n
i
, escrevemos:
1.6
Quando no existem elementos que satisfaam uma determinada propriedade, dizemos que o
conjunto vazio. Ele representado pelo smbolo:
1.7
M m m m m ={ }
1 2 3 4
, , , ....
m M
i
m M
i
ou
= { } 0 1 1 2 2 3 3 4 4 , , , , , , , , .....
M m m P
i i
=
{ }
satisfaz
=
{ }
n n
i i
0
{ } ou
Figura 1.3: Conjunto de nmeros.
5
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
Por exemplo, o conjunto de elementos constitudo pelos nmeros reais tais que m
i
2
= 1, isto :
1.8
um conjunto vazio, uma vez que no existe nmero real que
satisfaa condio imposta.
Conjuntos iguais so aqueles que tm os mesmos elementos.
Por exemplo, o conjunto de razes do polinmio de segundo grau
x
2
3x + 2 = 0 igual ao conjunto {1, 2}.
Para conjuntos A e B iguais, escrevemos: A = B.
1.3 Subconjuntos e intervalos
Denominamos subconjunto de um conjunto M a qualquer coleo M
1
de objetos, que so ele-
mentos de M. Dizemos que o conjunto M
1
est contido em M e, para indicar esse fato, escrevemos:
1.9
Por exemplo:
1.10
Escrevemos, analogamente, quando um conjunto B contm o
conjunto A (Figura 1.5):
1.11
Figura 1.4: Dois conjuntos que
tm os mesmos elementos.
M m m
i i
=
{ }
=
2
1
M M
1

a b
Figura 1.5: a. A um subconjunto de B.
b. C um subconjunto de D.
1 5 1 2 4 5 , , , , { } { }
B A A B ou
6
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
Alguns dos subconjuntos dos nmeros inteiros so:
1.12
conjunto esse muitas vezes designado por conjunto dos nmeros naturais (). O conjunto dos
nmeros obtidos anteriormente, tomando-se o negativo desses mesmos nmeros:
1.13
O conjunto dos inteiros excluindo o nmero zero:
1.14
Introduzimos ainda os subconjuntos dos nmeros inteiros:
1.15
1.16
Alguns subconjuntos do conjunto so os seguintes:
a. Conjunto dos nmeros pares: {..., -4, -2, 0, 2, 4, ...}
b. Conjunto dos nmeros mpares: {..., -3, -1, 1, 3, ...}
c. Conjunto dos nmeros primos: {2,-2, 3, -3,5,-5, 7, -7,11,-11, 13,-13, 17, -17...}
d. Conjunto dos nmeros positivos e mltiplos de 3 e menores do que 10: {3, 6, 9}

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

= { } 0 1 2 3 4 , , , , ,...

*
, , , , , , , ,... = { } 1 1 2 2 3 3 4 4

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

= { }
*
, , , ,... 1 2 3 4
Figura 1.6
Figura 1.7
Figura 1.8
Figura 1.9
7
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1

Exemplo
Vamos representar explicitamente os seguintes conjuntos:
a.

=
{ }
n n
i i
> 0
A equao x
2
= 2 tem razes x
1
= 2 e x
2
= 2 que no so nmeros inteiros. Logo, A = .
b. B x x = = { } : 2 3 12
A equao 2x - 3 = 12 admite x = 15/2 como nica raiz, e 15/2 um nmero racional.
Logo, B = {15/2}.
c. C x x =
{ }
: 3 5
Resolvendo a inequao modular |x 3| 5, temos:


5 3 5
2 8
x
x
Logo, C = {0, 1, 2, 3, 4, 5, 6, 7, 8}
1.4 O conjunto dos nmeros reais
Conjuntos numricos so aqueles cujos elementos so nmeros. O conjunto de todos os nmeros,
que podem ser colocados em correspondncia biunvoca com os pontos do espao localizados
sobre uma reta orientada (com um ponto de referncia denominado origem), o conjunto dos
nmeros reais. Tal conjunto representado pela letra .
O conjunto dos nmeros racionais representado pela letra . Por definio, fazem parte
desse conjunto todos os nmeros que podem ser escritos como quocientes de nmeros inteiros.
Explicitamente, escrevemos:
1.17
O conjunto um subconjunto do conjunto , isto , .
Figura 1.10:
A reta real.
= =
{ }

x x a b a b / ,
8
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
Evidentemente, temos tambm e , isto , o conjunto dos nmeros naturais e
aquele dos nmeros inteiros so subconjuntos de .
Em se tratando de nmeros reais, costumeira a introduo de outros conjuntos alm
daqueles j definidos. Assim, se excluirmos o elemento zero, colocamos (como feito acima)
um asterisco *, *, *,... para indicar o conjunto correspondente. Temos assim que para n
i

inteiro, por definio:
1.18
Definimos por exemplo, no caso dos nmeros reais:
1.19
1.20
1.21
1.22
1.5.1 A relao de ordem em
Para dois elementos pertencentes ao conjunto dos nmeros reais valem as operaes usuais
de adio e multiplicao. Podemos introduzir ainda uma relao conhecida como relao
de ordem. Ela ser representada pelo smbolo . Se a e b forem dois elementos distintos de
(a b), a notao a < b significa que, para tais nmeros, vale a relao de ordem a b.
Se a, b, c e d , a relao de ordem goza das seguintes propriedades:
para nmeros arbitrrios, temos a b ou a b;
se as duas condies, a b e b a, forem satisfeitas, ento, b = a;
se a b e b c, ento, a c;
se a b e c d, ento, a + c b + d.
Figura 1.11

=
{ }
n n
i i
> 0

+
=
{ }
x x 0
Figura 1.12

=
{ }
x x 0
Figura 1.13

+
= >
{ }
*
x x 0
Figura 1.14

= <
{ }
*
x x 0
Figura 1.15
9
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
1.5 Intervalos
A partir de dois nmeros reais, designados por a e b, de tal sorte que a b, ento, podemos
definir conjuntos especiais a partir desses nmeros, que denominamos intervalos.
Intervalo aberto aquele definido por:
1.23
Intervalo aberto esquerda o conjunto:
1.24
Intervalo aberto direita o conjunto:
1.25
Finalmente, definimos um intervalo fechado como aquele cujos elementos incluem os ex-
tremos do intervalo, ou seja,
1.26
Os intervalos 1.23, 1.24, 1.25 e 1.26 podem ser entendidos como subconjuntos dos nme-
ros reais estendidos, ou seja, o conjunto de nmeros reais incluindo e +.
De acordo com essa interpretao, podemos introduzir os seguintes intervalos:
1.27
Em particular, o intervalo ], +[ denota o conjunto de nmeros reais.
Figura 1.16: Intervalo aberto ]a,b[
a b x a x b , ] [ = < <
{ }

Figura 1.17: Intervalo semifechado direita
ou intervalo semiaberto esquerda.
a b x a x b , ] ] = <
{ }

Figura 1.18: Intervalo semifechado esquerda
ou intervalo semiaberto direita
a b x a x b , [ [ = <
{ }

Figura 1.19: Intervalo fechado [a,b]
a b x a x b , [ ] =
{ }

] ] ] [ + [ [ + ] [ , , , , , , , b b a a e
10
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
Utilizando essa simbologia, o conjunto ser representado pelo intervalo aberto, sem limite
definido, sem pontos extremos:
1.28
Todo intervalo dotado da propriedade:
1.29
ou seja, se dois nmeros pertencem ao intervalo, ento, o mesmo vale para qualquer nmero
entre eles.

Exemplo
Ao resolver uma inequao como (x
2
5x + 6)(2x 1) 0, podemos dar o conjunto-soluo na
forma de um intervalo. Vejamos:
x
2
5x + 6 = 0 x = 2 ou x = 3
2x 1 = 0 x = 1/2
Estudando o sinal do produto das duas funes
y
1
(x) = x
2
5x + 6
y
2
(x) = x 1/2
temos:
Logo, (x
2
5x + 6)(2x 1) 0 quando x 3 ou 2 x 1/2, isto ,
S = ], 3] [2, 1/2]
+ ] [ = ,
x y I x z y z I , ,
Figura 1.20: Variao de sinal das funes y
1
(x) = x
2
5x + 6 e y
2
(x) = x 1/2
11
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
1.5.1 Vizinhana de um ponto
Dado um ponto x
0
no eixo real ou um elemento do conjunto dos nmeros reais, definimos
uma vizinhana completa desse ponto representada por V(x
0
) a um intervalo aberto I que o
contenha, ou seja, x
0
I .
Definimos a vizinhana- de x
0
sobre o eixo real, denotada por V

(x
0
), como o intervalo aberto:
1.30
1.5.2 Comprimento de um segmento (distncia entre
dois pontos numa reta)
Antes de introduzirmos o conceito de distncia entre dois pontos pertencentes reta ou
de comprimento de um segmento de reta, introduzimos o mdulo ou valor absoluto de um
nmero real.
Seja x um nmero real ou, analogamente, a coordenada cartesiana de um ponto sobre a reta
real. Escrevemos, assim, x . O mdulo de um nmero real ou seu valor absoluto, represen-
tado por |x|, definido por:
1.31
Da definio (1.31) segue-se que, se y for outro nmero real:
1.32
Dados dois pontos quaisquer, x
1
e x
2
, podemos introduzir um intervalo fechado que os
contenha. Tal intervalo corresponde a um segmento de reta. Definimos o comprimento do
segmento ou distncia entre esses dois pontos como:
1.33
V x x x

0 0 0
( ) = + ] [ ,
x
x x
x x
=

<

se
se
0
0
x xy x y x x = 0 ,
d x x x x
1 2 2 1
, ( ) =
12
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
1.6 Operaes com conjuntos
Definimos algumas operaes que envolvem conjuntos, como veremos a seguir:
1.6.1 Unio
A unio de dois conjuntos A e B representada por:
1.34
um novo conjunto cujos elementos so aqueles que pertencem a um dos dois conjuntos,
ou a ambos, isto , os elementos pertencem a pelo menos um dos conjuntos. Formalmente,
escrevemos A unio B da seguinte maneira:
1.35

Exemplo
Considere os conjuntos:
1.36
1.37
1.38
A B
Figura 1.21: Unio de conjuntos.
A B x x A x B =
{ }
ou
A={ } 1 2 4 6 7 9 11 , , , , , ,
B ={ } 0 2 5 6 7 10 12 , , , , , ,
A B ={ } 0 1 2 4 5 6 7 9 10 11 12 , , , , , , , , , ,
13
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
Pode-se vericar que as seguintes propriedades so vlidas:
A B B A =

A B C A B C ( ) = ( )

A A B ( )
A B se, e somente se, A B B =
A A A =
A A =
1.6.2 Interseco
A interseco de dois conjuntos, representada por:
1.45
que se l A interseco B, um novo conjunto cujos elementos so comuns a ambos os
conjuntos. Evidentemente, pode acontecer que no haja elementos em comum e, nesse caso,
A B o conjunto vazio. Dizemos, ento, que A e B so disjuntos. Formalmente, escrevemos:
1.46
No exemplo dado anteriormente:
1.47

A B B A =
A B C A B C ( ) = ( )
A B A
A B se, e somente se, A B A =
A A A =
A=
1.39
1.40
1.41
1.42
1.43
1.44
A B
Figura 1.22: Interseco de conjuntos.
A B x x A e x B =
{ }

A B ={ } 2 6 7 , ,
1.48
1.49
1.50
1.51
1.52
1.53
14
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
1.6.3 Diferena
Podemos definir o conjunto diferena (C) de dois conjuntos
A e B, que indicado por A B, como aquele cujos elementos
pertencem ao conjunto A, mas no pertencem ao conjunto B. Ele
representado por:
1.54
Se B for um subconjunto de A ou o prprio conjunto (B A), dizemos que o conjunto
diferena o complemento de B em A.
Exemplos:
{1, 2} {vermelho, preto, branco} = {1, 2}.
{1, 2, verde} {vermelho, branco, verde} = {1, 2}.
{1, 2} {1, 2} = .
{1, 2, 3, 4} {1, 3} = {2, 4}.

Exemplo
Dados dois conjuntos A e B no disjuntos, isto , A B , podemos representar num diagrama o
conjunto (A B) (A B).
Figura 1.23: A diferena entre os
conjuntos A e B representada por
A B o conjunto dos elementos que
esto em A, mas no esto em B.
C A B =
1.55
1.56
1.57
1.58
Figura 1.24
15
Fundamentos da Matemtica I
Licenciatura em Cincias USP/Univesp Mdulo 1
1.6.4 Produto cartesiano de conjuntos
A partir de dois conjuntos A e B, podemos criar um novo conjunto mediante uma operao
denominada produto cartesiano desses conjuntos, representado por:
1.59
Esse novo conjunto (o produto cartesiano de A e B) construdo mediante associao de
todo elemento do primeiro conjunto a todo elemento pertencente ao outro. Assim, o produto
cartesiano A B de dois conjuntos formado por elementos que so pares ordenados (a, b)
tais que a um elemento de A e b um elemento de B.
Temos, assim, que:
1.60

Exemplos
{1, 2} {vermelho, branco} = {(1, vermelho), (1, branco), (2, vermelho), (2, branco)};
{1, 2} {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.
Algumas propriedades dos produtos cartesianos so:

A =
A B C A B A C ( ) = ( ) ( )
A B C A C B C ( ) = ( ) ( )
A B C A B A C = ( ) ( ) ( )

( ) ( ) ( ) A B C A C B C =
O produto cartesiano
1.68
um conjunto que pode ser colocado em correspondncia biunvoca com os pontos do plano.
A B
A B x y x A y B = ( )
{ }
, e
1.61
1.62
1.63
1.64
1.65
1.66
1.67


2
= = ( )
{ }
x y x y , : e
16
1 Introduo Teoria dos Conjuntos
Licenciatura em Cincias USP/Univesp Mdulo 1
O produto cartesiano
1.69
um conjunto que pode ser colocado em correspondncia
biunvoca com os pontos do espao.

Figura 1.26
Agora sua vez...
Acesse o ambiente virtual e realize as atividades propostas.
Figura 1.25: Plano cartesiano.