1

Gil da Costa Marques

1.1 Introduo
1.2 Conceitos bsicos
1.3 Subconjuntos e intervalos
1.4 O conjunto dos nmeros reais
1.4.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

Licenciatura em Cincias USP/Univesp

Fundamentos de Matemtica I

INTRODUO
TEORIA DOS CONJUNTOS

Licenciatura em Cincias USP/Univesp Mdulo 1

17

1.1 Introduo
Georg Cantor (1845-1918) recebeu o crdito por ter revolucionado 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- Figura 1.1: Georg Ferdinand
Ludwig Philipp Cantor,
nados por ele transfinitos. A introduo desses conceitos levou-o a matemtico russo (1845-1918).
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 ferramental 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, por exemplo.
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 dessa teoria para toda a cincia.

1.2 Conceitos bsicos

Intuitivamente, um conjunto M uma coleo de objetos definidos e separados, mas que formam um todo. Os objetos pertencentes
coleo so os elementos do conjunto. Objetos podem ser entendidos 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.2: Conjunto de objetos.

Fundamentos de Matemtica I

18

Licenciatura em Cincias USP/Univesp Mdulo 1

Utilizamos a notao que envolve o smbolo { } para designar conjuntos. Assim, representamos o conjunto M, formalmente, como:

M = {m1 , m2 , m3 , m4 ....}

Figura 1.3: Conjunto de nmeros.

1.1

O fato de um objeto mi ser ou no elemento de um conjunto indicado, respectivamente, por:

mi M ou mi M

1.2

1.3

Por exemplo, o conjunto dos nmeros inteiros, representado pela letra , tal que seus
elementos so dados por:

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

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:

M = {mi mi satisfaz P

1.5

A notao acima deixa explcito que o conjunto M constitudo por todos os elementos mi 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 ni , escrevemos:

= {ni ni 0 }

1.6

Quando no existem elementos que satisfaam uma determinada propriedade, dizemos que o
conjunto vazio. Ele representado pelo smbolo:

ou

1 Introduo Teoria dos Conjuntos

{}

1.7

Licenciatura em Cincias USP/Univesp Mdulo 1

19

Por exemplo, o conjunto de elementos constitudo pelos nmeros reais tais que mi2 = 1, isto :

M = mi mi 2 = 1

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
x23x+2=0 igual ao conjunto {1, 2}.
Para conjuntos A e B iguais, escrevemos:

1.8

Figura 1.4: Dois conjuntos que

tm os mesmos elementos.
So iguais, portanto.

A = B.

1.3 Subconjuntos e intervalos

Denominamos subconjunto de um conjunto M a qualquer coleo M1 de objetos, que so elementos de M. Dizemos que o conjunto M1 est contido em M e, para indicar esse fato, escrevemos:

M1 M

1.9

{1, 5} {1, 2, 4, 5}

1.10

Por exemplo:

Escrevemos, analogamente, quando um conjunto B contm o

conjunto A (Figura 1.5):
Figura 1.5: a. A um subconjunto de B.
b. C um subconjunto de D.

B A ou A B

1.11

Fundamentos de Matemtica I

20

Licenciatura em Cincias USP/Univesp Mdulo 1

Alguns dos subconjuntos dos nmeros inteiros so:

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

1.12

conjunto esse muitas vezes designado por conjunto dos nmeros naturais (). Tomando-se o
negativo dos nmeros do subconjunto de 1.12, obtemos outro subconjunto do conjunto dos
nmeros inteiros:

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

1.13

O conjunto dos inteiros excluindo o nmero zero:

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

1.14

Introduzimos ainda os subconjuntos dos nmeros inteiros:

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

1.15

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

1.16

Alguns subconjuntos do conjunto so os seguintes:

a. Conjunto dos nmeros pares: {..., -4, -2, 0, 2, 4, ...}
Figura 1.6

b. Conjunto dos nmeros mpares: {..., -3, -1, 1, 3, ...}

Figura 1.7

c. Conjunto dos nmeros primos: {2,-2, 3, -3,5,-5, 7, -7,11,-11, 13,-13, 17, -17...}
Figura 1.8

d. Conjunto dos nmeros positivos, mltiplos de 3 e menores do que 10: {3, 6, 9}

Figura 1.9

1 Introduo Teoria dos Conjuntos

Licenciatura em Cincias USP/Univesp Mdulo 1

21

Exemplos

Exemplo 1
Vamos representar explicitamente os seguintes conjuntos:
a. * = {ni | ni > 0}. Logo, * = {1, 2, 3, ...}.

b. B = {x : 2 x 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 x 3 5
2 x 8
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 .
Figura 1.10:
A reta real.

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:

 = {x x = a / b , a  b  }

1.17

O conjunto um subconjunto do conjunto , isto , .

Fundamentos de Matemtica I

22

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 ni inteiro,
por definio:

Figura 1.11

= {ni ni > 0 }

1.18

Definimos por exemplo, no caso dos nmeros reais:

Figura 1.12

Figura 1.13

Figura 1.14

Figura 1.15

+ = {x x 0}

1.19

= {x x 0}

1.20

+* = {x x > 0}

1.21

* = {x x < 0}

1.22

1.4.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.

1 Introduo Teoria dos Conjuntos

Licenciatura em Cincias USP/Univesp Mdulo 1

23

1.5 Intervalos
A partir de dois nmeros reais, designados por a e b, de tal sorte que a b, podemos definir
conjuntos especiais a partir desses nmeros, que denominamos intervalos.
Intervalo aberto aquele definido por:

]a, b[ = {x

a< x<b

Figura 1.16: Intervalo aberto ]a,b[

1.23

Intervalo aberto esquerda o conjunto:

]a , b ] = { x

a< xb

1.24
Figura 1.17: Intervalo semifechado direita
ou intervalo semiaberto esquerda.

Intervalo aberto direita o conjunto:

[a, b[ = {x

a x<b

1.25
Figura 1.18: Intervalo semifechado esquerda
ou intervalo semiaberto direita

Finalmente, definimos um intervalo fechado como aquele cujos elementos incluem os

extremos do intervalo, ou seja,

[ a , b ] = {x

a xb

Figura 1.19: Intervalo fechado [a,b]

1.26

Os intervalos 1.23, 1.24, 1.25 e 1.26 podem ser entendidos como subconjuntos dos nmeros reais estendidos, ou seja, o conjunto de nmeros reais incluindo e +.
De acordo com essa interpretao, podemos introduzir os seguintes intervalos:

], b] , ], b[ , [a, +[ ,

]a, +[

1.27

Em particular, o intervalo ], +[ denota o conjunto de nmeros reais.

Fundamentos de Matemtica I

24

Licenciatura em Cincias USP/Univesp Mdulo 1

Utilizando essa simbologia, o conjunto ser representado pelo intervalo aberto, sem limite
definido e sem pontos extremos:

], +[ =

1.28

Todo intervalo dotado da propriedade:

x, y I , x z y z I

1.29

ou seja, se dois nmeros pertencem ao intervalo, ento, o mesmo vale para qualquer nmero
entre eles.

1.5.1 Vizinhana de um ponto

Dado um ponto x0 no eixo real ou um elemento do conjunto dos nmeros reais, definimos
uma vizinhana completa desse ponto representada por V(x0) a um intervalo aberto I que o
contenha, ou seja, x0 I.
Definimos a vizinhana- de x0 sobre o eixo real, denotada por V(x0), como o intervalo aberto:

V ( x0 ) = ] x0 , x0 + [

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, representado por |x|, definido por:

x se x 0
x =
x se x < 0

1 Introduo Teoria dos Conjuntos

1.31

Licenciatura em Cincias USP/Univesp Mdulo 1

25

Da definio 1.31 segue-se que, |x| 0 e x |x|; se y for outro nmero real:

xy = x y

1.32

Dados dois pontos quaisquer, x1 e x2, 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:

d ( x1 , x2 ) = x2 x1

1.33

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:

A B

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:

A B = {x x A ou x B

1.35

Figura 1.20: Unio de conjuntos.

Fundamentos de Matemtica I

26

Licenciatura em Cincias USP/Univesp Mdulo 1

Exemplo 2
Considere os conjuntos:
A = {1, 2, 4, 6, 7, 9,11}

1.36

B = {0, 2, 5, 6, 7,10,12}

1.37

A B = {0,1, 2, 4, 5, 6, 7, 9,10,11,12}

1.38

Pode-se verificar que as seguintes propriedades so vlidas:

A B = B A

1.39

A ( B C ) = ( A B) C

1.40

A ( A B)

1.41

A B se, e somente se, A B = B

AA =A

1.42

A = A

1.44

1.43

Exemplo 3
Ao resolver uma inequao como (x2 5x + 6)(2x 1) 0, podemos dar o conjunto-soluo na
forma de um intervalo.Vejamos:
x2 5x + 6 = 0 x = 2 ou x = 3
2x 1 = 0 x = 1/2
Estudando o sinal do produto das duas funes
y1(x) = x2 5x + 6
y2(x) = x 1/2
temos:

Figura 1.21: Variao de sinal das funes y1(x) = x2 5x + 6 e y2(x) = x 1/2

1 Introduo Teoria dos Conjuntos

Licenciatura em Cincias USP/Univesp Mdulo 1

27

Logo, (x2 5x + 6)(2x 1) 0 quando x 3 ou 2 x 1/2, isto ,

S = ], 3] [2, 1/2]

1.6.2 Interseco
A interseco de dois conjuntos, representada por:

A B

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:

A B = {x x A e x B}

1.46

No exemplo dado anteriormente:

Figura 1.22: Interseco de conjuntos.

A B = {2, 6, 7}

Pode-se verificar que as seguintes propriedades so vlidas:

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.47

1.48
1.49
1.50
1.51
1.52
1.53

Fundamentos de Matemtica I

28

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:

C = 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.

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.55
{1, 2} {vermelho, preto, branco} = {1, 2}.
1.56
{1, 2, verde} {vermelho, branco, verde} = {1, 2}.
1.57
{1, 2} {1, 2} = .
1.58
{1, 2, 3, 4} {1, 3} = {2, 4}.

Exemplo 4
Dados dois conjuntos A e B no disjuntos, isto , A B , podemos representar num diagrama o
conjunto (A B) (A B).

Figura 1.24: Conjunto (A B) (A B).

1 Introduo Teoria dos Conjuntos

Licenciatura em Cincias USP/Univesp Mdulo 1

29

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:

A B

1.59

Esse novo conjunto (o produto cartesiano de A e B) construdo mediante a 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:

A B = {( x, y ) x A e y B}

1.60

Exemplo 5
{1, 2} {vermelho, branco} = {(1, vermelho), (1, branco), (2, vermelho), (2, branco)};

1.61

{1, 2} {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.

1.62

Algumas propriedades dos produtos cartesianos so:

A =

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

1.63
1.64
1.65
1.66
1.67

Fundamentos de Matemtica I

30

Licenciatura em Cincias USP/Univesp Mdulo 1

O produto cartesiano

1.68

um conjunto que pode ser colocado em correspondncia

biunvoca com os pontos do plano.
2 = = {( x, y ) x e y }

Figura 1.25: Plano cartesiano.

O produto cartesiano

= 3

1.69

um conjunto que pode ser colocado em correspondncia biunvoca com os pontos do espao.
3 = {( x, y , z ) x , y e z }

Figura 1.26: O espao tridimensional o

conjunto 3.

1 Introduo Teoria dos Conjuntos

1.70