Documente Academic
Documente Profesional
Documente Cultură
Fundamentos de Matemtica I
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.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
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- 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,
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, 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.
Fundamentos de Matemtica I
18 Licenciatura em Cincias USP/Univesp Mdulo 1
Utilizamos a notao que envolve o smbolo { } para designar conjuntos. Assim, represen-
tamos o conjunto M, formalmente, como:
mi M ou mi M 1.2 e 1.3
Por exemplo, o conjunto dos nmeros inteiros, representado pela letra , tal que seus
elementos so dados por:
Muitas vezes, conjuntos so definidos a partir de uma propriedade P a ser satisfeita pelos seus
elementos. Assim, utilizamos a seguinte notao nesse caso:
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.7
Por exemplo, o conjunto de elementos constitudo pelos nmeros reais tais que mi2 = 1, isto :
{
M = mi mi 2 = 1 } 1.8
A = B.
M1 M 1.9
Por exemplo:
Fundamentos de Matemtica I
20 Licenciatura em Cincias USP/Univesp Mdulo 1
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:
c. Conjunto dos nmeros primos: {2,-2, 3, -3,5,-5, 7, -7,11,-11, 13,-13, 17, -17...}
Figura 1.8
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}
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
Fundamentos de Matemtica I
22 Licenciatura em Cincias USP/Univesp Mdulo 1
+ = {x x 0} 1.19
Figura 1.12
= {x x 0} 1.20
Figura 1.13
+* = {x x > 0} 1.21
Figura 1.14
* = {x x < 0} 1.22
Figura 1.15
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.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< xb } 1.24
Figura 1.17: Intervalo semifechado direita
ou intervalo semiaberto esquerda.
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:
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
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.
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
x se x 0
x = 1.31
x se x < 0
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.1 Unio
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
Fundamentos de Matemtica I
26 Licenciatura em Cincias USP/Univesp Mdulo 1
Exemplo 2
Considere os conjuntos:
A B = B A 1.39
A ( B C ) = ( A B) C 1.40
A ( A B) 1.41
AA =A 1.43
A = A 1.44
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:
1.6.2 Interseco
A B 1.45
A B = {x x A e x B} 1.46
A B = {2, 6, 7} 1.47
Figura 1.22: Interseco de conjuntos.
A ( B C ) = ( A B ) C 1.49
A B A 1.50
A A = A 1.52
A = 1.53
Fundamentos de Matemtica I
28 Licenciatura em Cincias USP/Univesp Mdulo 1
1.6.3 Diferena
C = A B 1.54
Exemplo 4
Dados dois conjuntos A e B no disjuntos, isto , A B , podemos representar num diagrama o
conjunto (A B) (A B).
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
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
Fundamentos de Matemtica I
30 Licenciatura em Cincias USP/Univesp Mdulo 1
O produto cartesiano
1.68
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 } 1.70