2

O Conceito de Conjunto

Neste cap¶³tulo, apresentamos os conceitos de conjuntos, subconjuntos, e opera»c~oes entre

conjuntos (uni~ao, interse»c~ao, e complementa»c~ao), juntamente com as regras fundamen-
tais dessas opera»c~oes. Estas s~ao desenvolvidas em paralelo com o Cap¶³tulo 1 sobre l¶ogica.
Fam¶³lias indexadas de conjuntos s~ao discutidas. O Cap¶³tulo termina com o Paradoxo de
Russel e uma nota hist¶orica.

2.1 Conjuntos e subconjuntos

\O que ¶e um conjunto" ¶e uma quest~ao muito dif¶³cil de se responder.1 Neste tratado
elementar, n~ao entraremos em nenhuma abordagem axiom¶atica complicada da Teoria dos
Conjuntos, e conter-nos-emos em aceitar o seguinte: um conjunto ¶e qualquer cole»c~ao,
dentro de um todo de objetos de¯nidos e distingÄu¶³veis, chamados elementos, de nossa
intui»c~ao ou pensamento. Esta de¯ni»c~ao intuitiva de um conjunto foi dada primeiramente
por Georg Cantor (1845{1918), que criou a teoria dos conjuntos em 1895. Exemplos:
(a) O conjunto de todas as cadeiras na sala de aula de Teoria dos Conjuntos.
(b) O conjunto de todos os estudantes desta universidade.
(c) O conjunto das letras a, b, c e d.
(d) O conjunto das regras de uso do laborat¶orio de inform¶atica.
(e) O conjunto de todos os n¶umeros racionais cujo quadrado ¶e 2.
(f) O conjunto de todos os n¶umeros naturais.
(g) O conjunto de todos os n¶umeros reais entre 0 e 1.
Um conjunto que cont¶em apenas um n¶umero ¯nito de elementos ¶e chamado um
conjunto ¯nito; um conjunto in¯nito ¶e um conjunto que n~ao ¶e ¯nito. Exemplos de (a) a
(e) acima s~ao todos de conjuntos ¯nitos, e Exemplos (f) e (g) s~ao de conjuntos in¯nitos.
Conjuntos s~ao freqÄuentemente designados fechando-se entre chaves os s¶³mbolos
que representam seus elementos, quando for poss¶³vel faz^e-lo. Assim, o conjunto no Ex-
emplo (c) ¶e fa; b; c; dg e o conjunto no Exemplo (f) pode ser denotado por f1; 2; 3; : : : g.
1
O estudante tomar¶
a ci^encia da di¯culdade quando chegarmos µas se»c~
oes 2.7 e 2.8.

27
28 O Conceito de Conjunto

O conjunto do Exemplo (e) n~ao tem elementos; um tal conjunto ¶e chamado o conjunto
vazio, sendo denotado pelo s¶³mbolo ¿.
Usaremos letras mai¶usculas para denotar conjuntos, e letras min¶usculas para de-
notar elementos. Se a ¶e um elemento de um conjunto A, escrevemos a 2 A (leia-se: \a
¶e um elemento de A" ou \a pertence a A"), enquanto que a 6 2 A signi¯ca que a n~ao ¶e
elemento de A.

ao 2.1 Dois conjuntos A e B s~ao iguais ou id^enticos quando cont¶em os mesmos

De¯ni»c~
elementos. Isto ¶e, A = B signi¯ca (8x)[(x 2 A) $ (x 2 B)].

A ordem em que aparecem os elementos num conjunto n~ao tem import^ancia. As-
sim, o conjunto fa; b; cg ¶e o mesmo que fb; c; ag, etc. Al¶em disso, como os elementos de
um conjuntos s~ao distintos, fa; a; bg, por exemplo, n~ao ¶e uma nota»c~ao apropriada de um
conjunto, e deveria ser substitu¶³da por fa; bg. Se a ¶e um elemento de um conjunto, a e
fag s~ao considerados diferentes, isto ¶e, a 6
= fag. Pois fag denota o conjunto consistindo
do elemento a somente, enquanto que a ¶e apenas o elemento do conjunto fag.

De¯ni»c~ao 2.2 Sejam A e B conjuntos. Se todo elemento de A ¶e elemento de B,

ent~ao A ¶e chamado um subconjunto de B, em s¶³mbolos: A ½ B ou B ¾ A. Se A ¶e
subconjunto de B, ent~ao B ¶e chamado um superconjunto de A.
Assim, escrevendo logicamente,
A ½ B ´ (8x)[(x 2 A) ! (x 2 B)]

Obviamente, todo conjunto ¶e um subconjunto (e um superconjunto) de si mesmo.

Quando A ½ B e A 6 = B, escrevemos A Ã B, ou B ! A, e dizemos que A ¶e um
subconjunto pr¶oprio de B, ou que B ¶e um superconjunto pr¶oprio de A. Em outras
palavras, A ¶e um subconjunto pr¶oprio de B quando todo elemento de A ¶e um elemento
de B, mas existe um elemento de B que n~ao ¶e elemento de A. Se A n~ao ¶e subconjunto
de B, escrevemos A 6 ½ B.

Teorema 2.1 O conjunto ¿ ¶e um subconjunto de qualquer conjunto.

Demonstra»c~ao. Seja A um conjunto qualquer. Provaremos que a proposi»c~ao condicional
(x 2 ¿) ! (x 2 A)
¶e verdadeira para todo x. Como o conjunto ¿ n~ao tem nenhum elemento, a a¯rma»c~ao
\x 2 ¿" ¶e falsa, enquanto que \x 2 A" pode ser verdadeira ou falsa. Em qualquer dos
casos, a a¯rma»c~ao condicional \(x 2 ¿) ! (x 2 A)" ¶e verdadeira, conforme a tabela
verdade para a condicional (casos 3 e 4 da Tabela 1.5, Cap¶³tulo 1).
Assim, ¿ ½ A, para qualquer conjunto A.
O Conceito de Conjunto 29

Teorema 2.2 Se A ½ B e B ½ C ent~ao A ½ C.

Demonstra»c~ao. Demonstraremos que (x 2 A) ) (x 2 C):

(x 2 A) ) (x 2 B); porque A ½ B
) (x 2 C); porque B ½ C

Portanto, pela Lei Transitiva (Teorema 1.4(c) do Cap¶³tulo 1), temos

(x 2 A) ) (x 2 C)

ConseqÄuentemente, demonstramos que A ½ C.

2.1.1 Exerc¶³cios
1. Demonstre que o conjunto de letras da palavra \catarata" e o conjunto de letras da
palavra \catraca" s~ao iguais.
2. Decida, dentre os seguintes conjuntos, quais s~ao subconjuntos de quais:
(a) A = ftodos os n¶umeros reais satisfazendo x2 ¡ 8x + 12 = 0g
(b) B = f2; 4; 6g
(c) C = f2; 4; 6; 8; : : : g
(d) D = f6g
3. Liste todos os subconjuntos do conjunto f¡1; 0; 1g.
4. Demonstre que [(A ½ B) ^ (B ½ A)] , (A = B) [Nota: FreqÄ uentemente, em
matem¶atica, o melhor meio de demonstrar que A = B ¶e mostrar que A ½ B e B ½ A.]
5. Demonstre que (A ½ ¿) ) (A = ¿).
6. Demonstre que
(a) [(A Ã B) ^ (B ½ C)] ) (A Ã C)
(b) [(A ½ B) ^ (B Ã C)] ) (A Ã C)
7. D^e um exemplo de um conjunto cujos elementos s~ao tamb¶em conjuntos.
8. Em cada um dos seguintes itens, determine se a a¯rma»c~ao ¶e verdadeira ou falsa.
Se for verdadeira, demonstre-a. Se for falsa, mostre-o atrav¶es de um exemplo (um tal
exemplo, mostrando que uma proposi»c~ao ¶e falsa, ¶e chamado um contra-exemplo).
(a) Se x 2 A e A 2 B ent~ao x 2 B.
(b) Se A ½ B e B 2 C ent~ao A 2 C.
(c) Se A 6
½ B e B ½ C ent~ao A 6 ½ C.
(d) Se A 6½BeB6 ½ C ent~ao A 6
½ C.
(e) Se x 2 A e A 6 ½ B ent~ao x 62 B.
(f) Se A ½ B e x 6 2 B ent~ao x 6
2 A.
9. Dado um conjunto com n elementos, demonstre que existem exatemente C(n; r)
subconjuntos com r elementos.
30 O Conceito de Conjunto

2.2 Especi¯ca»c~
ao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto dado, ¶e especi¯car
aqueles elementos, do conjunto dado, que satisfazem uma propriedade particular. Por
exemplo, seja A o conjunto de todos os estudantes desta universidade. A proposi»c~ao \x
¶e paulista" ¶e verdadeira para alguns elementos x de A e falsa para outros. Empregaremos
a nota»c~ao
fx 2 A j x ¶e paulistag
para especi¯car o conjunto de todas os estudantes paulistas desta universidade. Similar-
mente,
fx 2 A j x n~ao ¶e paulistag
especi¯ca o conjunto de estudantes n~ao paulistas desta universidade.
Como regra, a todo conjunto A e a toda proposi»c~ao p(x) sobre x 2 A, existe um
conjunto fx 2 A j p(x)g, cujos elementos s~ao precisamente aqueles elementos x 2 A
para os quais a a¯rma»c~ao p(x) ¶e verdadeira. Numa abordagem axiom¶atica da teoria dos
conjuntos, esta regra ¶e habitualmente postulada como um axioma, chamado o Axioma
da Especi¯ca»c~ao. O s¶³mbolo fx 2 A j p(x)g ¶e lido: o conjunto de todos os x em A tais
que p(x) ¶e verdadeira. A nota»c~ao da forma fx 2 A j p(x)g, que descreve um conjunto ¶e
chamada a nota»c~ao de constru»c~ao do conjunto.

Exemplo 2.1 Seja R o conjunto dos n¶umeros reais. Ent~ao

(a) fx 2 R j x = x + 1g ¶e o conjunto vazio.
(b) fx 2 R j 2x2 ¡ 5x ¡ 3 = 0g ¶e o conjunto f¡1=2; 3g.
(c) fx 2 R j x2 + 1 = 0g ¶e o conjunto vazio.

Por causa de freqÄuente aparecimento, atrav¶es do restante deste e dos demais

cap¶³tulos, e em outros t¶opicos de matem¶atica, os seguintes s¶³mbolos especiais ser~ao
reservados para os conjuntos descritos:

R= fx j x ¶e um n¶umero realg
Q= fx j x ¶e um n¶umero racionalg
Z= fx j x ¶e um n¶umero inteirog
N= fx j x ¶e um n¶umero naturalg
I= fx 2 R j 0 · x · 1g
R+ = fx 2 R j x > 0g

Note que N ½ Z ½ Q ½ R e N ½ R+ ½ R.
¶ bem poss¶³vel que elementos de um conjunto possam ser tamb¶em conjuntos. Por
E
exemplo, o conjunto de todos os subconjuntos de um conjunto dado A tem conjuntos
como seus elementos. Este conjunto ¶e chamado conjunto das partes 2 de A, e ¶e denotado
2
Na teoria dos conjuntos, a exist^encia do conjunto das partes n~ao ¶e tida como o¶bvia. Como a
exist^encia de um conjunto das partes n~ao ¶e conseqÄ
u^encia do axioma da especi¯ca»c~ao, um novo axioma
¶e necess¶ario; este axioma ¶e habitualmente chamado o Axioma do Conjunto das Partes e pode ser assim
enunciado: Para cada conjunto, existe um conjunto de conjuntos que consiste de todos os subconjuntos
do conjunto dado.
O Conceito de Conjunto 31

por }(A).

Exemplo 2.2 }(fag) = f¿; fagg, }(¿) = f¿g, e }(fa; bg) =

f¿; fag; fbg; fa; bgg.

Teorema 2.3 Se A consiste de n elementos, ent~ao seu conjunto das partes }(A) cont¶em
exatamente 2n elementos.

Demonstra»c~ao. O teorema ¶e claramente verdadeiro para A = ¿. Para um conjunto n~ao

vazio A, seja A = fa1 ; a2 ; a3 ; : : : ; an g. Dado um elemento ak de A, para cada subcon-
junto de A temos duas possibilidades: ou ele cont¶em ak ou n~ao o cont¶em. Portanto,
o problema de encontrar o n¶umero de subconjuntos de A pode ser considerado como o
problema de preencher uma lista de n espa»cos em branco 2 2 2 ¢ ¢ ¢ 2, aleatoriamente,
com os n¶umeros 0 e 1, um n¶umero em cada espa»co. Cada preenchimento dos n espa»cos
determina um subconjunto X de A da seguinte maneira: ak 2 X se e somente se 1
aparece no k-¶esimo espa»co (para cada k 2 f1; 2; : : : ; ng). Como existem exatamente
2n preenchimentos distintos, existem 2n subconjuntos de A.
¶ tamb¶em interessante a seguinte demonstra»c~ao alternativa do Teorema 2.3:
E
Demonstra»c~ao alternativa. Primeiramente, o conjunto vazio ¿ pertence a }(A). Em
seguida, cada elemento x 2 A forma um subconjunto fxg pertencente a }(A). Observe
que o n¶umero desse conjuntos unit¶arios ¶e C(n; 1). Continuando, existem exatamente
C(n; 2) subconjuntos de A contendo exatemente 2 elementos de A.3 Finalmente, existe
exatamente C(n; n) = 1 subconjunto de A contendo n elementos de A, que ¶e o pr¶oprio
A. Contando o conjunto vazio, o n¶umero total de subconjuntos de A ¶e igual a C(n; 0) +
C(n; 1) + ¢ ¢ ¢ + C(n; n). Ent~ao, usando a expans~ao binomial para (1 + 1)n , temos

(1 + 1)n = C(n; 0) + C(n; 1) + ¢ ¢ ¢ + C(n; n)

umero de elementos de }(A) ¶e (1 + 1)n = 2n .

Assim, o n¶

2.2.1 Exerc¶³cios
1. Exiba entre chaves os elementos de cada um dos seguintes conjuntos.
A = fx 2 N j x < 5g
B = fx 2 Z j x2 · 25g
C = fx 2 Q j 10x2 + 3x ¡ 1 = 0g
D = fx 2 R j x3 + 1 = 0g
E = fx 2 R+ j 4x2 ¡ 4x ¡ 1 = 0g
2. Denote cada um dos seguintes conjuntos pela nota»c~ao de constru»c~ao do conjunto.
A = f1; 2; 3g
B = f¡1; ¡ 23 ; ¡ 13 ; 0g
3
Veja problema 9, Exerc¶³cios 2.1.1
32 O Conceito de Conjunto

C = f1; 3; p
5; 7; 9; : :p
:g
D = f1 ¡ 3; 1 + 3g
3. Quais s~ao os elementos do conjunto das partes do conjunto fx; fy; zgg? Quantos
elementos tem esse conjunto das partes?
4. Seja B um subconjunto de A, e seja }(A : B) = fX 2 }(A) j X ¾ Bg.
(a) Seja B = fa; bg e A = fa; b; c; d; eg. Liste os membros do conjunto }(A : B);
quantos s~ao eles?
(b) Demonstre que }(A : ¿) = }(A).
5. Sejam A um conjunto com n elementos e B um subconjunto com m elementos,
n ¸ m.
(a) Encontre o n¶umero de elementos do conjunto }(A : B).
(b) Deduza o Teorema 2.3 a partir de (a), fazendo B = ¿.

2.3 Uni~
oes e interse»c~
oes
Na aritm¶etica, podemos somar, multiplicar, ou subtrair dois n¶ umeros quaisquer. Na teoria
dos conjuntos, h¶a tr^es opera»c~oes | uni~ao, interse»c~ao, e complementa»c~ao | respectiva-
mente an¶alogas µas opera»c~oes adi»c~ao, multiplica»c~ao, e subtra»c~ao de n¶umeros.

ao 2.3 A uni~ao de dois conjuntos quaisquer A e B, denotada por A [ B, ¶e o

De¯ni»c~
conjunto dos elementos x tais que x pertence a pelo menos um dos dois conjuntos A e
B. Ou seja, x 2 A [ B se e somente se x 2 A _ x 2 B.

De¯ni»c~ao 2.4 A interse»c~ao de dois conjuntos quaisquer A e B, denotada por A \ B,

¶e o conjunto dos elementos x tais que x pertence a ambos os conjuntos A e B. Em
s¶³mbolos, A \ B = fx j (x 2 A) ^ (x 2 B)g, ou fx 2 A j x 2 Bg. Se A \ B = ¿,
dizemos que A e B s~ao conjuntos disjuntos.

Por exemplo, se A = f1; 2; 3; 4g e B = f3; 4; 5g, ent~ao A [ B = f1; 2; 3; 4; 5g e

A \ B = f3; 4g; se Im denota o conjunto de n¶umeros imagin¶arios, ent~ao os conjuntos
Im e R s~ao disjuntos.

Exemplo 2.3 No que segue, os conjuntos I; N; Z; : : : s~ao de¯nidos como na u¶ltima

se»c~ao.
(a) I \ Z = f0; 1g e N \ I = f1g.
(b) Z [ Q = Q e Z \ Q = Z.
(c) I [ I = I e I \ I = I.
O Conceito de Conjunto 33

Teorema 2.4 Sejam X um conjunto e A, B e C subconjuntos de X. Ent~ao temos:

(a) Os elementos neutros:

A[¿ =A
A\X =A

(b) As leis de idempot^encia:

A[A=A
A\A=A

(c) As leis comutativas:

A[B =B[A
A\B =B\A

(d) As leis associativas:

A [ (B [ C) = (A [ B) [ C
A \ (B \ C) = (A \ B) \ C

(e) As leis distributivas:

A \ (B [ C) = (A \ B) [ (A \ C)
A [ (B \ C) = (A [ B) \ (A [ C)

Demonstra»c~ao. Deixaremos as demonstra»c~oes das partes (a), (b) e (c) para o leitor,
como exerc¶³cios.
(d) De acordo com a De¯ni»c~ao 2.3,
x 2 A [ (B [ C) , x 2 A _ (x 2 B [ C)
e
x 2B[C ,x 2B_x 2C
Assim,
x 2 A [ (B [ C) , x 2 A _ (x 2 B _ x 2 C)
Pela Lei Associativa (para a disjun»c~ao), (x 2 A) _ (x 2 B _ x 2 C) ¶e equivalente a
(x 2 A _ x 2 B) _ (x 2 C). A u ¶ltima a¯rma»c~ao, pela De¯ni»c~ao 2.3, ¶e equivalente a
(x 2 A [ B) _ (x 2 C), e portanto x 2 (A [ B) [ C.
Assim, temos
x 2 A [ (B [ C) , x 2 (A [ B) [ C
Pela de¯ni»c~ao 2.1, A [ (B [ C) = (A [ B) [ C.
A demonstra»c~ao acima pode ser condensada em uma exposi»c~ao limpa de passos
l¶ogicos essenciais, com a justi¯cativa de cada passo escrita µa direita para f¶acil refer^encia:
34 O Conceito de Conjunto

x 2 A [ (B [ C) , (x 2 A) _ (x 2 B [ C) Def. de [
, (x 2 A) _ [(x 2 B) _ (x 2 C)] Def. de [
, [(x 2 A) _ (x 2 B)] _ (x 2 C) Assoc. para _
, (x 2 A [ B) _ (x 2 C) Def. de [
, x 2 (A [ B) [ C Def. de [

Portanto, pela De¯ni»c~ao 2.1, acabamos de provar que A [ (B [ C) = (A [ B) [ C.

O estudante deveria tentar apreciar este tipo de demonstra»c~ao, ordenada precisa-
mente pela l¶ogica.
Deixaremos a demonstra»c~ao de A \ (B \ C) = (A \ B) \ C ao leitor, como
exerc¶³cio.
(e) Novamente, apenas a primeira parte do item (e) ser¶a demonstrada, sendo a segunda
parte deixada como exerc¶³cio.

x 2 A \ (B [ C) , (x 2 A) ^ (x 2 B [ C) Def. de \
, (x 2 A) ^ [(x 2 B) _ (x 2 C)] Def. de [
, [(x 2 A) ^ (x 2 B)] _ [(x 2 A) ^ (x 2 C)]
Lei Dist. da l¶ogica (Cap. 1)
, (x 2 A \ B) _ (x 2 A \ C) Def. de \
, x 2 (A \ B) [ (A \ C) Def. de [

Portanto, pela De¯ni»c~ao 2.1, A \ (B [ C) = (A \ B) [ (A \ C).

2.3.1 Exerc¶³cios
1. Demonstre que A ½ B , A [ B = B.
2. Demonstre que A ½ B , A \ B = A.
3. Demonstre as partes (a), (b), e (c) do Teorema 2.4.
4. Demonstre a segunda metade do Teorema 2.4(d).
5. Demonstre a segunda metade do Teorema 2.4(e).
6. Demonstre que
(a) A ½ C e B ½ C implica A [ B ½ C.
(b) A ½ B e A ½ C implica A ½ B \ C.
[Sugest~ao: Use o Teorema 1.5, do Cap¶³tulo 1, se desejar.]
7. Demonstre que (A \ B) [ C = A \ (B [ C) , C ½ A.
8. Demonstre que se A ½ B ent~ao }(A) ½ }(B).
9. Demonstre que A [ B = A \ B , A = B.
10. Demonstre que se A ½ B, ent~ao A [ C ½ B [ C e A \ C ½ B \ C, para qualquer
conjunto C.
11. Demonstre que se A ½ C e B ½ D ent~ao A [ B ½ C [ D.
O Conceito de Conjunto 35

2.4 Complementos
Existe, na teoria dos conjuntos, uma opera»c~ao conhecida como complementa»c~ao, que ¶e
similar µa opera»c~ao de subtra»c~ao na aritm¶etica.

ao 2.5 Se A e B s~ao conjuntos, o complemento relativo de B em A ¶e o conjunto

De¯ni»c~
A ¡ B, de¯nido por
A ¡ B = fx 2 A j x 6
2 Bg
Nesta de¯ni»c~ao, n~ao ¶e assumido que B ½ A.

Exemplo 2.4 Sejam

A = fa; b; c; dg e B = fc; d; e; f g
Encontre A ¡ B e A ¡ (A \ B).
Solu»c~ao.
A ¡ B = fa; b; c; dg ¡ fc; d; e; fg = fa; bg
e
A ¡ (A \ B) = fa; b; c; dg ¡ fc; dg = fa; bg

Embora o conjunto universal no sentido absoluto, o conjunto de todos os conjuntos,

n~ao exista (veja o Paradoxo de Russel na se»c~ao 2.7), n~ao h¶a problema em assumirmos
temporariamente que todos os conjuntos mencionados, no restante deste e dos demais
cap¶³tulos, s~ao subconjuntos de um conjunto ¯xado U, que pode ser considerado (tem-
porariamente) como um conjunto universal no sentido restrito. De modo a enunciar as
regras b¶asicas a respeito de complementa»c~oes, do modo mais simples poss¶³vel, assumire-
mos, a menos que seja dito em contr¶ario, que todos os complementos s~ao formados
relativamente a este conjunto U. Escreveremos ent~ao A0 como sendo U ¡ A.

Exemplo 2.5 Demonstre que A ¡ B = A \ B 0 .

Solu»c~ao.

x 2 A \ B 0 ´ (x 2 A) ^ (x 2 U ¡ B) Def. de \, Def. de 0
´ (x 2 A) ^ [(x 2 U ) ^ (x 6
2 B)] Def. 2.5
´ (x 2 A \ U) ^ (x 6
2 B)] Assoc. de ^, Def. de \
´ (x 2 A) ^ (x 6
2 B) A\U =A
, x 2 (A ¡ B) Def. 2.5

Portanto, pela De¯ni»c~ao 2.1, A \ B 0 = A ¡ B.

36 O Conceito de Conjunto

Teorema 2.5 Sejam A e B conjuntos. Ent~ao

(a) (A0 )0 = A.
(b) ¿0 = U e U 0 = ¿.
(c) A \ A0 = ¿ e A [ A0 = U .
(d) A ½ B se e somente se B 0 ½ A0

Demonstra»c~ao. As demonstra»c~oes das partes (a), (b), e (c) usam apenas de¯ni»co~es e
s~ao deixadas ao leitor, como exerc¶³cio. Daremos uma demonstra»c~ao da parte (d):

A ½ B ´ [(x 2 A) ! (x 2 B)] Def. de ½

´ [(x 6
2 B) ! (x 6 2 A)] 4 Contrap.
´ [(x 2 B 0 ) ! (x 2 A0 )] Def. de 0
´ B 0 ½ A0 Def. de ½

Portanto, acabamos de demonstrar que (A ½ B) ´ (B 0 ½ A0 ).

Na demonstra»c~ao acima, novamente s¶³mbolos e leis da l¶ogica (do Cap¶³tulo 1) s~ao

usados, o que nos permite exibir cada passo da demonstra»c~ao de maneira simples e
elegante, com justi¯cativas ao lado direito. O leitor ¶e encorajado a fazer uso total do
Cap¶³tulo 1, nas demonstra»co~es, sempre que poss¶³vel.
A propriedade mais u¶til de complementos ¶e o seguinte Teorema de De Morgan.
Compare-o com as Leis de De Morgan no Cap¶³tulo 1.

Teorema 2.6 (Teorema de De Morgan) Para quaisquer dois conjuntos A e B,

(a) (A [ B)0 = A0 \ B 0
(b) (A \ B)0 = A0 [ B 0 .

Demonstra»c~a de (a):

x 2 (A [ B)0 ´ » [x 2 A [ B] Def. de 0
´ » [(x 2 A) _ (x 2 B)] Def. de [
´ » (x 2 A) ^ » (x 2 B) De M. da l¶ogica
´ (x 2 A0 ) ^ (x 2 B 0 ) Def. de 0
´ x 2 (A0 \ B 0 ) Def. de \

Portanto, pela De¯ni»c~ao 2.1, (A [ B)0 = A0 \ B 0 .

A demonstra»c~ao de (b) ¶e deixada ao leitor.

4
Lembremo-nos que a nega»c~ao de x 2 B, » (x 2 B), ¶e denotada por x 6
2 B.
O Conceito de Conjunto 37

Exemplo 2.6 Sejam A, B, e C tr^es conjuntos quaisquer. Decida se o conjunto

A \ (B ¡ C) ¶e o mesmo que (A \ B) ¡ (A \ C).
Solu»c~ao.

(A \ B) ¡ (A \ C) = (A \ B) \ (A \ C)0 Exemplo 2.5

= (A \ B) \ (A0 [ C 0 ) Teor. de De M. (Teor. 2.6)
= (A \ B \ A0 ) [ (A \ B \ C 0 ) Dist.
= (A \ A0 \ B) [ (A \ B \ C 0 ) Com.
= ¿ [ [A \ (B \ C 0 )] Teor. 2.5(c): A \ A0 = ¿
= A \ (B ¡ C) Teor. 2.4(a), Exemplo 2.5

Portanto, demonstramos que A \ (B ¡ C) = (A \ B) ¡ (A \ C).

2.4.1 Exerc¶³cios
1. Sejam A e B conjuntos. Demonstre que A ¡ B = A ¡ (A \ B).
2. Demonstre as partes (a), (b), e (c) do Teorema 2.5.
3. Sejam A e B conjuntos. Demonstre que B ½ A0 se e somente se A \ B = ¿.
4. Sejam A e B conjuntos. Demonstre que (A ¡ B) [ B = A se e somente se B ½ A.
5. Demonstre o Teorema 2.6(b).
6. Sejam A, B, e C tr^es conjuntos quaisquer. Demonstre que
(a) (A ¡ C) [ (B ¡ C) = (A [ B) ¡ C,
(b) (A ¡ C) \ (B ¡ C) = (A \ B) ¡ C.
7. Sejam A e B dois conjuntos quaisquer. Demonstre que A e B ¡ A s~ao disjuntos, e
que A [ B = A [ (B ¡ A). (Isto mostra como representar a uni~ao A [ B como uma
uni~ao disjunta.)
8. Sejam A, B, e C tr^es conjuntos quaisquer. Demonstre que
(a) (A \ B \ C)0 = A0 [ B 0 [ C 0
(b) (A [ B [ C)0 = A0 \ B 0 \ C 0 .
Generalize estes resultados a proposi»co~es envolvendo n conjuntos

A1 ; A2 ; A3 ; : : : ; An :

9. Para conjuntos quaisquer A e B demonstre ou refute que

(a) }(A) \ }(B) = }(A \ B)
(b) }(A) [ }(B) = }(A [ B).
10. Demonstre que se A ½ C, B ½ C, A [ B = C, e A \ B = ¿, ent~ao A = C ¡ B.
11. Sejam A e B dois conjuntos quaisquer. Demonstre que

(A ¡ B) [ (B ¡ A) = (A [ B) ¡ (A \ B):
38 O Conceito de Conjunto

2.5 Diagramas de Venn

Como aux¶³lio na vizualiza»c~ao de opera»co~es de conjuntos, introduziremos diagramas,
chamados diagramas de Venn, que representam conjuntos geometricamente. Repre-
sentaremos o conjunto universal relativo U por um ret^angulo, e os subconjuntos de U
por c¶³rculos desenhados dentro do ret^angulo. Por exemplo, na Figura 1, representamos
dois conjuntos A e B como dois c¶³rculos sombreados; a parte duplamente hachurada ¶e
a interse»c~ao A \ B, e a ¶area sombreada total ¶e a uni~ao A [ B.

Figura 1.

A Figura 2 mostra dois conjuntos A e B que s~ao disjuntos. A ¶area sombreada na

Figura 3 representa o complemento A0 do conjunto A. O conjunto A¡B, o complemento
relativo de B em A, ¶e representado pela parte sombreada na Figura 4.

Figura 2.

Figura 3.
O Conceito de Conjunto 39

Figura 4.

Figura 5.

Figura 6.

Um diagrama de Venn t¶³pico de tr^es conjuntos A, B, e C pode ser desenhado

como na Figura 5. Esses tr^es conjuntos dividem o conjunto universal U em 8 partes, tal
como indicado na ¯gura 6.
Usando os diagramas acima, podemos dar argumentos heur¶³sticos simples para
a validade de, por exemplo, a lei distributiva A \ (B [ C) = (A \ B) [ (A \ C),
como segue: Da Figura 6, A \ (B [ C) consiste das ¶areas 2, 3 e 7. Por outro lado,
(A \ B) [ (A \ C) ¶e representada pela uni~ao das ¶areas 2 e 7, e ¶areas 3 e 7. Portanto, a
igualdade A\(B [C) = (A\B)[(A\C) parece plaus¶³vel. Entretanto, em matem¶atica,
um argumento heur¶³stico n~ao pode ser aceito como uma demonstra»c~ao.
40 O Conceito de Conjunto

2.5.1 Exerc¶³cios
1. Desenhe um diagrama de Venn para A ½ B.
2. Desenhe diagramas de Venn para A \ B 0 , A0 \ B e A0 \ B 0 .
3. Desenhe diagramas de Venn para A [ B 0 , A0 [ B e A0 [ B 0 .
Nos problemas de 4 a 10, desenhe diagramas de Venn e d^e argumentos heur¶³sticos
de que cada uma das a¯rma»c~oes ¶e plaus¶³vel.
4. A \ (B \ C) = (A \ B) \ C.
5. A [ (B [ C) = (A [ B) [ C.
6. A [ (B \ C) = (A [ B) \ (A [ C).
7. (A [ B)0 = A0 \ B 0 .
8. (A \ B)0 = A0 [ B 0 .
9. A \ (B ¡ A) = ¿ e A [ (B ¡ A) = A [ B.
10. (A [ B) ¡ (A \ B) = (A ¡ B) [ (B ¡ A).

2.6 Fam¶³lias indexadas de conjuntos

Recordemos que um conjunto ¶e uma cole»c~ao de elementos que s~ao todos distintos.
Grosseiramente falando, uma fam¶³lia ¶e uma cole»c~ao de objetos, n~ao necessariamente
distintos, chamados membros. Por exemplo, fa; a; ag ¶e uma fam¶³lia com tr^es membros,
a, a e a. Mas a mesma fam¶³lia fa; a; ag, considerada como um conjunto ¶e apenas o
conjunto unit¶ario fag com um ¶unico elemento, a.
Seja ¡ um conjunto e suponhamos que para cada elemento ° de ¡, existe um
conjunto associado A° . A fam¶³lia de todos esses conjuntos A° ¶e chamada uma fam¶³lia
indexada de conjuntos, indexada pelo conjunto ¡, e ¶e denotada por
fA° j ° 2 ¡g

Por exemplo, a fam¶³lia de conjuntos, f1; 2g; f2; 4g; f3; 6g; : : : ; fn; 2ng; : : : , pode
ser considerada como uma fam¶³lia indexada de conjuntos, indexada pelo conjunto N dos
n¶umeros naturais, sendo An = fn; 2ng para cada n 2 N. Esta fam¶³lia de conjuntos pode
ser denotada por ffn; 2ng j n 2 Ng.
Uma fam¶³lia arbitr¶aria de conjuntos pode parecer n~ao ser indexada, mas na maioria
dos casos podemos facilmente encontrar um conjunto ¡ que pode ser usado para indexar
a fam¶³lia de conjuntos dada.

Exemplo 2.7 Indexe a fam¶³lia F de conjuntos ¿; N; Z; Q; R; R.

Solu»c~ao. Como esta fam¶³lia cont¶em exatamente seis membros (embora dois deles sejam
o mesmo), escolhemos ¡ = f1; 2; 3; 4; 5; 6g e fazemos A1 = ¿, A2 = N, A3 = Z,
A4 = Q, A5 = R e A6 = R. A fam¶³lia de conjuntos est¶a ent~ao indexada.

Virtualmente todos os s¶³mbolos e nota»c~oes usados para conjuntos aplicam-se a

fam¶³lias tamb¶em. Por exemplo, ¿ 2 F e R+ 6 2 F indicam, respectivamente, que ¿
O Conceito de Conjunto 41

¶e um membro da fam¶³lia F e R+ n~ao ¶e membro de F. Podemos tamb¶em escrever

F = f¿; N; Z; Q; R; Rg.
Estendamos agora os conceitos de uni~ao [ e interse»c~ao \, das De¯ni»c~oes 1.3 e
1.4, a uma fam¶³lia arbitr¶aria de conjuntos.

De¯ni»c~ S F uma fam¶

ao 2.6 Seja S ³lia arbitr¶aria de conjuntos. A uni~ao dos conjuntos em
F, denotada por A2F A ou F, ¶e o conjunto de todos os elementos que est~ao em A
para algum A 2 F. Ou seja,
[
A = fx 2 U j x 2 A para algum A 2 Fg
A2F

Se a fam¶³lia F ¶e indexada pelo conjunto ¡, a seguinte nota»c~ao alternativa pode ser usada:
[
A° = fx 2 U j x 2 A° para algum ° 2 ¡g
°2¡

Se o conjunto ¡ de ¶³ndices ¶e ¯nito, ¡ = f1; 2; 3; : : : ; ng para algum n¶umero natural

n, nota»c~oes mais intuitivas, tais como
[
n
Ai ou A1 [ A2 [ ¢ ¢ ¢ [ An
i=1
S
s~ao usadas freqÄuentemente para °2¡ A° .

Exemplo 2.8 Encontre a uni~ao da fam¶³lia de conjuntos

f1g; f2; 3g; f3; 4; 5g; : : : ; fn; n + 1; : : : ; 2n ¡ 1g:

Solu»c~ao. Esta fam¶³lia de conjuntos pode ser considerada como indexada por ¡ =
f1; 2; 3; : : : ; ng, sendoSAi = fi; i + 1; : : : ; 2i ¡ 1g, para cada i 2 ¡. O problema
se reduz a encontrar ni=1 fi; i + 1; : : : ; 2i ¡ 1g. Observe que cada inteiro entre 1 e
2n ¡ 1 pertence a algum Ai na fam¶³lia, e nenhum outro elemento pertence a qualquer
desses Ai . Portanto,
[
n
fi; i + 1; : : : ; 2i ¡ 1g = f1; 2; 3; : : : ; 2n ¡ 1g
i=1

De¯ni»c~ F uma fam¶

ao 2.7 Seja T T ³lia arbitr¶aria de conjuntos. A interse»c~ao de conjuntos
em F, denotada por A2F ou F, ¶e o conjunto de todos os elementos que est~ao em A
para todo A 2 F. Ou seja,
\
= fx 2 U j x 2 A para todo A 2 Fg
A2F
42 O Conceito de Conjunto

Aqui, a a¯rma»c~ao \x 2 A para todo A 2 F" pode ser expressada alternativamente

como \A 2 F ! x 2 A. Esta u¶ltima express~ao ¶e melhor na demonstra»c~ao de teoremas,
como veremos no Teorema 2.7 adiante.
Se a fam¶³lia F ¶e indexada pelo conjunto ¡, a seguinte nota»c~ao alternativa pode ser
usada: \
A° = fx 2 U j x 2 A° para todo ° 2 ¡g
°2¡

Se o conjunto de ¶³ndices ¡ for ¯nito, ¡ = f1; 2; : : : ; ng para algum inteiro positivo

n, ent~ao como no caso da uni~ao, escrevemos habitualmente
\
n
Ai ou A1 \ A2 \ ¢ ¢ ¢ An
i=1
T
em vez de °2¡ A° .
Sejam a e b dois n¶umeros reais quaisquer. Por intervalo aberto ]a; b[ entendemos
o subconjunto fx 2 R j a < x < bg de R. Segue que se a ¸ b ent~ao ]a; b[ = ¿.

Exemplo 2.9 Encontre a interse»c~ao da fam¶³lia de intervalos abertos

]0; 1[ ; ]0; 12 [ ; ]0; 13 [ ; : : :

T
Solu»c~ao. Devemos encontrar o conjunto n2N ]0; n1 [. Falando intuitivamente, a fam¶³lia
dada ¶e uma seqÄu^encia de intervalos \decrescentes" ]0; 1=n[ , em que o intervalo ]0; 1=n[
se \aproxima" do conjunto T vazio ¿ quando n torna-se grande. Portanto, podemos
conjeturar que a interse»c~ao n2N ]0; 1=n[ deve ser o conjunto vazio. Demonstraremos
que T
nossa conjetura ¶e verdadeira. Suponha em contr¶ario, que existe algum n¶umero real
a 2 n2N ]0; 1=n[. Ent~ao ter¶³amos 0 < a < 1=n para todo n 2 N. Isto contradiz o fato
de que para um n¶umero real ¯xado a > 0, sempre T existe um n 2 N, su¯cientemente
grande, tal que 1=n < a. A contradi»c~ao mostra que n2N ]0; 1=n[ = ¿.

Teorema 2.7 Seja fA° j ° 2 ¡g uma fam¶³lia vazia de conjuntos; isto ¶e, ¡ = ¿. Ent~ao
S
(a) °2¿ A° = ¿.
T
(b) °2¿ A° = U .
S
Demonstra»c~ao. (a) Para mostrar
S °2 ¿ A° = ¿, mostramos equivalentemente que x 6
2
°2¿ °
A para todo x (em U ):
0 1
S S
x6
2 A° ´ » @x 2 A° A Nota»c~ao
°2 ¿ °2¿
´ » (x 2 A° para algum ° 2 ¿) Def. 2.6
2 A° para todo ° 2 ¿)
´ (x 6 N.Q. (Cap. 1)
´ (° 2 ¿ ! x 62 A° )
O Conceito de Conjunto 43

A u¶ltima a¯rma»c~ao ¶e, pelo Teorema 1.7 do Cap¶³tulo 1, verdadeira para todo x 2 U ,
pois ° 2 ¿ ¶e uma contradi»c~ao. Isto completa a demonstra»c~ao da parte (a).
T
(b) Demonstraremos que x 2 °2¿ A° , para todo x em U. Observe que
T
x2 A° ´ (x 2 A° ; 8° 2 ¿) Def. 2.7
°2¿
´ (° 2 ¿ ! x 2 A° )

A u¶ltima asser»c~ao ¶e, como explicamos na demonstra»c~ao da parte (a), uma a¯r-
ma»c~ao verdadeira para todo x 2 U . A demonstra»c~ao est¶a terminada.

Muitos teoremas, a respeito de opera»c~oes de um n¶umero ¯nito de conjuntos, podem

ser generalizados a teoremas a respeito de opera»c~oes de uma fam¶³lia arbitr¶aria de con-
juntos. Por exemplo, o seguinte teorema generaliza o Teorema de De Morgan. Compare
este teorema com o Teorema 2.6.

Teorema 2.8 (Teorema de De Morgan Generalizado) Seja fA° j ° 2 ¡g uma

fam¶³lia arbitr¶aria de conjuntos. Ent~ao
³S ´0 T
(a) °2¡ °A = °2¡ A0° .
³T ´0 S
(b) °2¡ °A = °2¡ A0° .

Demonstra»c~ao. Demonstraremos apenas a parte (a), e deixaremos a parte (b) ao estu-

dante.
à !0 à !
S S
x2 A° ´ » x 2 A° Def. de 0
°2¡ °2¡
´ » (9° 2 ¡)(x 2 A° ) Def. 2.6
´ (8° 2 ¡)(x 6
2 A° ) N.Q. (Cap. 1)
´ (8° 2
T ¡)(x 2 A0° ) Def. de 0
´ x 2 °2¡ A0° Def. 2.7
³S ´0 T
Portanto, pela De¯ni»c~ao 2.1, °2¡ A° = °2¡ A0° .

O seguinte teorema ¶e uma generaliza»c~ao do Teorema 2.4(e).

Teorema 2.9 (Leis Distributivas Generalizadas) Seja A um conjunto e seja F =

fB° j ° 2 ¡g uma fam¶³lia arbitr¶aria de conjuntos. Ent~ao
³S ´ S
(a) A \ B° = (A \ B° ):
³T°2¡ ´ T°2¡
(b) A [ °2¡ B° = °2¡ (A [ B° ):
44 O Conceito de Conjunto
³S ´
Demonstra»c~ao. Um elemento x est¶a no conjunto A \ °2¡ B° se e somente se x 2 A
S
e x 2 °2¡ B° , o que, de acordo com a De¯ni»c~ao 2.6, ¶e equivalente a

x2A e x 2 B° para algum °2¡

Esta u¶ltima asser»c~ao pode ser expressa, pela De¯ni»c~ao 2.4, como

x 2 A \ B° para algum ° 2 ¡
S
o que, pela De¯ni»c~ao 2.6, ¶e precisamente x 2 °2¡ (A \ B° ). Assim, pela De¯ni»c~ao 2.1,
³S ´ S
A\ °2¡ ° =
B °2¡ (A \ B° ).

A demonstra»c~ao da parte (b) ¶e um exerc¶³cio.

2.6.1 Exerc¶³cios
1. Sejam ¡ = f1; 2; 3; 4g, e A1 = fa; b; c; dg, A2 = fb; c; dg, A3 = fa; b; cg, A4 =
fa; bg. S
Encontre o seguinte.
(a) T4i=1 Ai .
(b) 4i=1 Ai .
2. Para dois n¶umeros reais quaisquer a e b, por intervalo fechado [a; b] entendemos o
conjuntoT fx 2 R j a · x · bg. Se a > b, [a; b] = ¿. Encontre os seguintes conjuntos.
(a) Sn2N [0; 1=n]
(b) n2N [0; 1=n]
T
(c) 99n=1 [0; 1=n] ³T ´0 S
3. Demonstre o Teorema 2.8(b): °2¡ A ° = °2¡ A0° .
³T ´ T
4. Demonstre o Teorema 2.9(b): A [ °2¡ B° = °2¡ (A [ B° ).
5. Expanda
(a) (A1 [ A2 ) \ (B1 [ B2 [ B3 ) em uma uni~ao de interse»c~oes, e
(b) (A1 \ A2 ) [ (B1 \ B2 \ B3 ) em uma interse»c~ao de uni~oes. [Sugest~ao: Use o
Teorema 2.9 v¶arias vezes.]
6. Expanda
S Sn
(a) (Tmi=1 Ai ) \ ( Tj=1 Bj ) em uma uni~
ao de interse»c~oes, e
m n
(b) ( i=1 Ai ) [ ( j=1 Bj ) em uma interse»c~ao de uni~oes. [Veja Problema 5.]
7. SejamSfA° j ° 2 ¡g S e fB± j ± 2 ¢g duas fam¶³lias de conjuntos. Expanda
(a) (T°2¡ A° ) \ ( T±2¢ B± ) em uma uni~ao de interse»co~es, e
(b) ( °2¡ A° ) [ ( ±2¢ B± ) em uma interse»c~ao de uni~oes. [Veja Problemas 5 e 6.]

2.7 O paradoxo de Russel

Neste momento muitos de n¶os achamos que entendemos o signi¯cado de conjunto | pelo
menos intuitivamente. A maioria de n¶os, fazendo um curso de teoria dos conjuntos pela
O Conceito de Conjunto 45

primeira vez, n~ao perceberia o que h¶a de errado em considerar \o conjunto de todos os
conjuntos" ou o assim chamado \conjunto universal" no sentido absoluto. Na verdade,
por um per¶³odo de tempo (pelo menos de 1895, quando Georg Cantor pioneiramente
criou uma teoria dos conjuntos, at¶e 1902, quando o Paradoxo de Russel apareceu),
a exist^encia de um tal conjunto universal era considerada como certa. Foi o famoso
¯l¶osofo ingl^es Bertrand Russel (1872{1970)5 que chocou a comunidade matem¶atica em
1902, declarando que a admiss~ao de um conjunto de todos os conjuntos levaria a uma
contradi»c~ao. Este ¶e o famoso Paradoxo de Russel. Apresentaremos este paradoxo na
forma de dois lemas aparentemente contradit¶orios, dos quais um teorema ¶e conseqÄu^encia.

Lema 2.1 Suponhamos que existe um conjunto U de todos os conjuntos. Seja R =

2 Sg.6 Ent~ao R 6
fS 2 U j S 6 2 R.

Demonstra»c~ao. Suponhamos, ao contr¶ario, que R 2 R. Ent~ao, pela especi¯ca»c~ao

do conjunto R, devemos ter R 6 2 R, o que contradiz a hip¶otese de que R 2 R. A
contradi»c~ao prova que R 6
2 R.

Lema 2.2 Suponhamos que existe um conjunto U de todos os conjuntos. Seja R o

conjunto fS 2 U j S 6
2 Sg. Ent~ao R 2 R.

Demonstra»c~ao. Suponha o contr¶ario, que R 6 2 R. Ent~ao, como R 2 U , temos R 2 R

pela de¯ni»c~ao de R. Isto ¶e uma contradi»c~ao. Assim, R 2 R.

Teorema 2.10 N~ao existe um conjunto de todos os conjuntos.

Demonstra»c~ao. Em vista dos Lemas 2.1 e 2.2, o conjunto de todos os conjuntos n~ao
pode existir. Pois, se existisse, levaria µa contradi»c~ao \R 6
2 R e R 2 R".

Paul R. Halmos coloca-o do seguinte modo: \Nada cont¶em tudo."7

5
Bertrand Russel nasceu em 18 de maio de 1872, em Trelleck, Wales, Inglaterra. Antes que comple-
tasse quatro anos, seus pais faleceram. Foi sempre um garoto quieto e t¶³mido, at¶e ingressar no Trinity
College, na Universidade de Cambridge, em 1890. Ap¶ os tr^es anos de Matem¶atica, concluiu que o que
lhe estava sendo ensinado estava cheio de erros. Vendeu seus livros de matem¶atica e mudou-se para
a ¯loso¯a. No seu Principia Mathematica (1910{1913), um trabalho monumental em tr^es volumes,
em co-autoria com Alfred North Whitehead (1861{1947), tentou remodelar a teoria dos conjuntos, de
modo a evitar paradoxos. Em 1918 escreveu \Quero posicionar-me µa borda do mundo e perscrutar a
escurid~ao al¶em, e ver um pouco mais do que outros viram. : : : Quero trazer de volta ao mundo dos
homens um pouquinho de sabedoria". Ele seguramente o fez, mais do que \um pouquinho". No mesmo
ano, foi preso por um coment¶ario desfavor¶avel sobre o ex¶ercito americano. Em 1950 recebeu a Ordem
do M¶erito do rei da Inglaterra e o Pr^emio Nobel de Literatura. Em seus u ¶ltimos anos, liderou v¶arias
manifesta»c~oes contra os armamentos nucleares.
6
Conforme a regra da especi¯ca»c~ao, R ¶e um conjunto freqÄ uentemente chamado \o conjunto de
Russel".
7
Paul R. Halmos, Naive Set Theory (Teoria Ing^enua dos Conjuntos), D. Van Nostrand Company,
Inc., New York, 1960, p.6.
46 O Conceito de Conjunto

2.8 Um coment¶
ario hist¶
orico
A teoria moderna dos conjuntos ¶e geralmente considerada ter sido criada em 1859 pelo
matem¶atico famoso Georg Cantor8 (1845{1918), que notou a necessidade de uma tal
teoria quando estudava s¶eries trigonom¶etricas. Cantor escreveu: \Por um `conjunto'
entenderemos qualquer cole»c~ao dentro de um todo de objetos distintos de¯nidos, de
nossa intui»c~ao ou pensamento". Esta de¯ni»c~ao n~ao proibe ningu¶em de considerar o
\conjunto" de todos os conjuntos, como o fez Bertrand Russel. A di¯culdade real na
¶
de¯ni»c~ao de Cantor de um conjunto ¶e a palavra \cole»c~ao". O que ¶e uma cole»c~ao? E
claro que podemos procur¶a-la em um dicion¶ario e encontrar algo como estas de¯ni»c~oes:
\cole»c~ao: um grupo de objetos coletados."
\grupo: um agregado ou cole»c~ao."
\agregado: uma cole»c~ao."
Estas di¯cilmente nos ajudar~ao. Quando um matem¶atico d¶a uma de¯ni»c~ao, n~ao
¶e para que seja um mero sin^onimo, tal como o s~ao \cole»c~ao" e \conjunto", ou uma
de¯ni»c~ao circular como encontrar¶³amos em um dicion¶ario. Aparentemente, Cantor n~ao
estava consciente de que o termo \conjunto" era realmente inde¯n¶³vel.
Para evitar qualquer di¯culdade, tal como o Paradoxo de Russel na teoria dos
conjuntos, devemos aceitar os termos \conjunto" e \elemento" como termos inde¯nidos,
ou primitivos, e guiar estes conceitos primitivos por um n¶umero de axiomas, incluindo o
Axioma da Especi¯ca»c~ao e o Axioma do Conjunto das Partes, que foram apresentados
na se»c~ao 2.2. Outros axiomas, tais como \A = B" se e somente se A e B cont¶em os
mesmos elementos" (Axioma da Extens~ao), \¿ ¶e um conjunto" (Axioma do Conjunto
Vazio), \Se A e B s~ao conjuntos, ent~ao tamb¶em o ¶e fA; Bg" (Axioma do Emparelha-
mento), e \Se F ¶e um conjunto de conjuntos ent~ao F ¶e um conjunto" (Axioma das
Uni~oes) s~ao freqÄ
uentemente dados em tratamentos axiom¶aticos da teoria dos conjuntos.
O Paradoxo de Russel n~ao foi o u¶nico a aparecer na teoria dos conjuntos. Logo
depois do seu aparecimento, muitos paradoxos foram constru¶³dos por v¶arios matem¶aticos
e l¶ogicos. Como uma conseqÄu^encia de todos esses paradoxos, muitos matem¶aticos e
l¶ogicos contribu¶³ram a v¶arias formula»c~oes da \teoria axiom¶atica dos conjuntos", cada
uma projetada de modo a evitar esses paradoxos e, ao mesmo tempo, a preservar o
corpo principal da teoria dos conjuntos de Cantor. Entretanto, at¶e o momento da escrita
destas notas9 , ningu¶em apareceu com um sistema axiom¶atico completamente satisfat¶orio
para a teoria dos conjuntos.
Apesar das di¯culdades supracitadas, a teoria dos conjuntos de Cantor j¶a penetrou
em todos os ramos da matem¶atica moderna, e provou ser de import^ancia particular
nos fundamentos da an¶alise moderna e da topologia. Na verdade, mesmo os mais
8
Georg Cantor nasceu em S~ao Petersburgo, R¶ ussia, em 1845, mudou-se para a Alemanha em 1856,
estudou matem¶atica na Universidade de Berlim (1863{1869), e ensinou na Universidade de Halle (1969{
1905). Um dos interesses de Cantor eram as s¶eries trigonom¶etricas, que o levaram a investigar os
fundamentos da an¶alise. Como resultado, ele criou o trabalho revolucion¶ario sobre a teoria dos conjuntos
e uma aritm¶etica dos n¶
umeros trans¯nitos.
9
1974
O Conceito de Conjunto 47

simples e bem constru¶³dos sistemas axiom¶aticos da teoria dos conjuntos s~ao inteiramente
adequados para a constru»c~ao de virtualmente toda a matem¶atica cl¶assica (e.g., a teoria
dos n¶umeros reais e complexos, ¶algebra, topologia, etc.).
48 Relac
»o~ es e Func
»o~ es