1

TPICO

INTRODUO TEORIA DOS CONJUNTOS

Gil da Costa Marques

1.1 Elementos da Teoria dos Conjuntos

1.2 Introduo
1.3 Conceitos Bsicos
1.4 Subconjuntos e Intervalos
1.5 Conjuntos Numricos
1.5.1 O Conjunto dos Nmeros Reais

1.6 Intervalos
1.6.1 Vizinhana de um Ponto
1.6.2 Comprimento de um segmento (distncia entre dois pontos numa reta)

1.7 Operaes Com Conjuntos

1.7.1 Unio ou Soma
1.7.2 Interseco
1.7.3 Diferena
1.7.4 Produto Cartesiano de Conjuntos

Licenciatura em Cincias USP/Univesp

Licenciatura em Cincias USP/Univesp

1.1 Elementos da Teoria dos Conjuntos

1.2 Introduo
Georg Cantor (1845-1918) recebeu o crdito por ter revolucionado a matemtica com a Teoria dos Conjuntos, foi desenvolvida por ele
a partir de 1874.
Cantor iniciou seus estudos procurando uma formalizao do conceito de infinito, e chegou concluso de que existem diferentes ordens
de infinitos. A classificao dessas ordens se torna possvel quando essa
questo formulada em termos de nmeros, denominados por ele, Figura 1.1: George Ferdinand
Ludwig Philipp Cantor, russo,
transfinitos. A introduo desses conceitos levou-o a desenvolver um nasceu em 3 de Marode1845,
morte em 6 de Janeirode1918.
formalismo matemtico conhecido hoje como Teoria dos Conjuntos. / Fonte: CEPA
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.
Ela adquire enorme importncia em vrias reas da matemtica, fazendo com que esse ferramental
seja essencial quando se trata do estudo dos 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, a filosofia e a lgica, de outro lado. Donde se
infere sua relevncia para a cincia como um todo.

1.3 Conceitos Bsicos

De acordo com Cantor, um conjunto M uma coleo de objetos
(m) definidos e separados mas formando um todo. Os objetos pertencentes coleo so designados 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. / Fonte: CEPA

Figura 1.3: Conjunto de

nmeros. / Fonte: CEPA
introduo teoria dos conjuntos

Licenciatura em Cincias USP/Univesp

Glossrio

{}

Utilizamos a notao envolvendo o smbolo { } para designar conjuntos.

Assim, representamos o conjunto M formalmente, como:

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

conjuntos

1.1

O fato de um objeto m1 fazer parte, ou no, dos elementos de um conjunto

indicado, respectivamente, por:

mi M e mi M

no pertence

1.2

1.3

pertence

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

conjunto dos
nmeros inteiros

Z=

{0, 1, 1,

2, 2,3, 3, 4, 4.....}

1.4

Muitas vezes, conjuntos so definidos a partir de uma restrio a ser satisfeita pelos
seus elementos. Assim, utilizamos a seguinte notao para designar tais conjuntos:
tal que

M = {mi satisfazem a condio... }

1.5

Na notao acima, o smbolo m1| deve ser lido como os elementos m1 so tais
que. Nessa notao, o conjunto dos nmeros naturais seria especificado como
o conjunto formado pelos nmeros inteiros positivos, alm do nmero zero.
Admitindo-se os n1 como sendo nmeros inteiros, escrevemos:

=
N {ni ni 0 }
1.6
Quando no existem elementos satisfazendo uma determinada restrio dizemos
que o conjunto vazio. Ele representado pelo smbolo

conjunto vazio

TERRA E UNIVERSO Fundamentos da Matemtica I

1.7

Licenciatura em Cincias USP/Univesp

Por exemplo, o conjunto de elementos constitudo por nmero reais tais que
m = 1 definido, portanto, por:

=
M
mi mi 2 = 1
1.8

5
Glossrio

2
i

um conjunto vazio, uma vez que no existe nmero real que satisfaa restrio
imposta aos seus elementos.
Conjuntos iguais so aqueles que tm todos os seus
elementos em comum. Por exemplo o conjunto de
razes do polinmio de segundo grau x23x+2=0
igual ao conjunto {1, 2}.
Figura 1.4: Conjunto de
Para conjuntos A e B iguais, escrevemos: A = B
nmeros. / Fonte: CEPA

1.4 Subconjuntos e Intervalos

Denominamos subconjunto de um conjunto M a qualquer agregado de objetos, M1, cujos elementos so elementos de M. Dizemos que o conjunto M1 est
contido em M e para indicar tal circunstncia, escrevemos:

M1 M

1.9

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

1.10

est contido

contm

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: B um subconjunto de A / Fonte: CEPA

B A

1.11

Alguns dos subconjuntos dos nmeros inteiros so:

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

1.12

dos
Z conjunto
nmeros inteiros
conjunto
nmeros
Z + dos
inteiros positivos
incluindo o 0

introduo teoria dos conjuntos

Licenciatura em Cincias USP/Univesp

Glossrio

conjunto
dos nmeros
inteiros negativos
incluindo o 0

Conjunto esse muitas vezes designado por conjunto dos nmeros naturais (N). O
conjunto dos nmeros obtidos anteriormente, tomando-se o negativo dos mesmos:

Z =

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

1.13

O conjunto dos inteiros excluindo-se o nmero zero:

Z*

conjunto dos
nmeros inteiros
excluindo o 0

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

1.14

Adotando-se a mesma notao, introduzimos ainda os subconjuntos dos nmeros inteiros:

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

1.15

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

1.16

1.5 Conjuntos Numricos

conjunto dos
nmeros inteiros
excluindo o 0

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), muitas vezes denominado reta real, ou simplesmente reta. Tal conjunto
representado pela letra R.
Figura 1.6 /
Fonte: CEPA

Alguns subconjuntos notveis de R, so:

a) Conjunto dos nmeros pares: {..., -4, -2, 0, 2, 4, ...}
b) Conjunto dos nmeros impares: {..., -3, -1, 1, 3, ...}

Figura 1.7 /
Fonte: CEPA
Figura 1.8 /
Fonte: CEPA

c) Conjunto dos nmeros primos: {2,-2, 3, -3,5,-5, 7, -7,11,-11, 13,-13, 17, -17...}
Figura 1.9 /
Fonte: CEPA

d) Conjunto dos nmeros positivos e mltiplos de 3 e menores do que 10:

{3, 6, 9}

Figura 1.10 /
Fonte: CEPA

TERRA E UNIVERSO Fundamentos da Matemtica I

Licenciatura em Cincias USP/Univesp

O conjunto dos nmeros racionais, ser representado pela letra Q. Por definio, fazem parte
desse conjunto todos os nmeros que podem ser escritos como quocientes de nmeros inteiros.
Explicitamente, escrevemos:

Q=

{x

x = a / b , a Z b Z }

1.17

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 R*, Q*, N*,... para indicar tal conjunto.Temos assim que para ni inteiro, por definio:

Figura 1.11 / Fonte CEPA

N = {ni ni > 0 }

1.18

Dessa forma, definimos por exemplo, no caso dos nmeros reais:

R+ =
{ x R x 0}

1.19

R =
{ x R x 0}

1.20

R+* =
{ x R x > 0}

1.21

R* =
{ x R x < 0}

1.22

Figura 1.12 / Fonte CEPA

Figura 1.13 / Fonte CEPA

Figura 1.14 / Fonte CEPA

Figura 1.15 / Fonte CEPA

1.5.1 O Conjunto dos Nmeros Reais

Para dois elementos pertencentes ao conjunto dos nmeros reais valem as operaes usuais
como as de adio e multiplicao. Podemos introduzir ainda outra operao conhecida como
relao de ordem. Ela ser representada pelo smbolo . Se a e b forem dois elementos distintos de R(a b) a notao a < b significa que para tais nmeros vale a relao de ordem a b.
Se a,b, c e d R, a relao de ordem goza das seguintes propriedades:
para nmeros arbitrrios, tem-se que a b ou a b;

introduo teoria dos conjuntos

Licenciatura em Cincias USP/Univesp

Glossrio

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.6 Intervalos
A partir de dois nmeros reais, designados por a e b, de tal sorte que ambos
sejam nmeros reais tais que a b, ento podemos definir conjuntos especiais a
partir dos mesmos, aos quais designamos intervalos.
Intervalo aberto aquele definido por

]a, b[ = { x R

Figura 1.16: Intervalo aberto

]a,b[ / Fonte CEPA

a< x<b

1.23

Intervalo aberto esquerda o conjunto cujos elementos so dados por:

Figura 1.17: Intervalo semi-fechado

]a,b] / Fonte CEPA

]a , b ] = { x R

a< xb

1.24

Intervalo aberto direita aquele para o qual seus elementos so dados por

Figura 1.18: Intervalo semi-aberto

[a,b[ / Fonte CEPA

[ a, b[ = { x R

a x<b

1.25

Finalmente, definimos os intervalos fechados como aqueles cujos elementos

incluem os extremos do intervalo. Ou seja,

Figura 1.19: Intervalo fechado

[a,b] / Fonte CEPA

[ a, b ] = { x R

a xb

1.26

Os intervalos acima podem ser entendidos como subconjuntos dos nmeros

reais estendidos. Isto o conjunto de nmeros reais aumentados, ou estendidos,
de tal forma a incluir e + .
De acordo com essa interpretao, podemos introduzir os seguintes intervalos:

+ mais infinito
menos infinito

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

TERRA E UNIVERSO Fundamentos da Matemtica I

]a, +[

1.27

Licenciatura em Cincias USP/Univesp

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

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

], +[ = R

9
Glossrio

1.28

Todo intervalo dotado da propriedade:

x, y , x z y z

1.29

qualquer

Ou seja, se dois nmeros pertencem a ele, ento o mesmo vale para um

nmero entre eles.

1.6.1 Vizinhana de um Ponto

Dado um ponto x0 no eixo real, ou um elemento do conjunto dos nmeros
reais, definimos a 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 sendo o intervalo aberto:

V ( x0 ) =] x0 , x0 + [
1.30

1.6.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 uma reta. Escrevemos, assim, x R . O mdulo de um nmero real,
ou seu valor absoluto, representado por |x|, definido por:

introduo teoria dos conjuntos

10

Licenciatura em Cincias USP/Univesp

Glossrio

x se x 0
x =
x se x < 0

1.31

Da definio (1.31) segue que, se y for outro nmero real

x 0

xy = x y ,

x x

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.7 Operaes Com Conjuntos

Definimos trs operaes envolvendo conjuntos. A unio (ou soma), a interseco e a diferena de conjuntos.

1.7.1 Unio ou Soma

A unio de dois conjuntos A e B representada por:

A B

unio

1.34

um novo conjunto cujos elementos so aqueles que pertencem a um dos

dois conjuntos, ou a ambos. Ou seja, os elementos que pertencem a pelo menos
um dos conjuntos. Formalmente, escrevemos A unio B da seguinte forma:

A B=

{x

x A ou x B

Figura 1.20: Unio de conjuntos. / Fonte: CEPA

TERRA E UNIVERSO Fundamentos da Matemtica I

1.35

Licenciatura em Cincias USP/Univesp

Exemplo: considere os conjuntos

A = {1, 2, 4, 6, 7,9,11}

Glossrio

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
A ( B C ) = ( A B ) C
A ( A B )

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

11

1.39
1.40
1.41
1.42
1.43
1.44

1.7.2 Interseco
A interseco de dois conjuntos , representada por:

A B

1.45

interseco

que se l A interseco B, um novo conjunto, aqui includa a possibilidade de

um conjunto vazio, cujos elementos so comuns a ambos os conjuntos.
Formalmente, escrevemos:

A B = { x x A e x B}

1.46
1.47

No exemplo dado anteriormente:

A B = {2, 6, 7}

1.47

Figura 1.21: Interseco de

conjuntos. / Fonte: CEPA

introduo teoria dos conjuntos

12

Licenciatura em Cincias USP/Univesp

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

1.48
1.49

A B A
AA = A
A =

1.51

A B se, e somente se A B = A

1.53

1.50

1.52

1.7.3 Diferena
Podemos definir o conjunto diferena (C) de dois conjuntos A e B (A B), como aquele
cujos elementos pertencem ao conjunto A, mas que no pertencem ao conjunto B. Ele
representado por:

C= A B

Figura 1.22: A diferena entre

os conjuntos A e B representado por A B o conjunto dos
elementos que esto em A mas
no esto em B. / Fonte: CEPA

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

1.7.4 Produto Cartesiano de Conjuntos

A partir de dois conjuntos A e B podemos criar um novo conjunto mediante uma operao
denominada produto cartesiano dos mesmos. Tal produto ser representado por:

A B

1.59

Este novo conjunto (o produto cartesiano de A e B) construdo mediante associao

de todo elemento de um conjunto a todo elemento pertencente ao outro. Assim, o produto

TERRA E UNIVERSO Fundamentos da Matemtica I

Licenciatura em Cincias USP/Univesp

13

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

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:

1.61
1.62

A =

1.63

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

1.64

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

1.65

R R

1.66

O produto cartesiano

um conjunto que pode ser colocado em correspondncia biunvoca com os pontos do plano.
O produto cartesiano

R R R

Figura 1.23: Plano cartesiano.

/ Fonte: CEPA

1.67

um conjunto que pode ser colocado em correspondncia biunvoca com os pontos do espao.

introduo teoria dos conjuntos