Cardinalidade de Conjuntos:

Conjuntos finitos, infinitos,

enumerveis e noenumerveis
Ana Maria Luz F. Amaral
Matemtica Discreta 2013.2

George Cantor (18451918)

Matemtico alemo George Cantor (1845-1918) o
inventor
da os
moderna
Teoria dos
Conjuntos
Deus criou
nmeros naturais.
O resto
obra dose dos
chamados
Nmeros
Transfinitos.
Atravs do seu
homens. Leopold
Kronecker
(1823-1891)
hoje
famoso
Diagonal
pode-se
A teoria
dos Mtodo
conjuntosda
de Cantor
uma
molstia, uma
demonstrar
umdafato
ento
impensvel:
que
doena perversa,
qualat
algum
dia, os
matemticos estaro
existem
maiores do que outros!
curados.infinitos
Henri Poincar(1854-1912)
Ningum nos expulsar do paraso que Georg Cantor abriu
Os
conceitos
inovadores propostos por
para
ns Davidmatemticos
Hilbert (1862-1943)
Cantor enfrentaram uma resistncia significativa
por parte da comunidade matemtica da poca. Os
matemticos modernos, por seu lado, aceitam
plenamente o trabalho desenvolvido por Cantor na
sua teoria dos conjuntos, reconhecendo-a como
uma mudana de paradigma da maior importncia.

Sumrio

Cardinalidade de Conjuntos:
Conjuntos finitos e infinitos
Conjuntos enumerveis e noenumerveis (Hotel de Hilbert e
Mtodo da Diagonal de Cantor)

Cardinalidade de
Conjuntos
Scheinerman:
O nmero de elementos em um conjunto A se denota
por |A|. A cardinalidade de A nada mais do que o
nmero de objetos no conjunto.
Diz-se que o conjunto finito se sua cardinalidade
um inteiro. Em caso contrrio, dizemos que o
conjunto infinito
Exemplos:| | 0
Se A={1,2,3}, |A|=3

Conjuntos finitos e
infinitos
P. Menezes:
Cardinalidade definida usando funes bijetoras.
A cardinalidade de um conjunto A :
Finita: se existe uma bijeo entre A e o conjunto
{1,2,3,..., n} para algum n pertencente aos Naturais: |A|
=n.
Infinita: se existe uma bijeo entre A e um subconjunto
prprio de A.
Portanto, um conjunto A um:
conjunto finito (possui cardinalidade finita) se for
possvel represent-lo por extenso
Conjunto infinito se for possvel retirar alguns elementos
de A e, mesmo assim, estabelecer uma bijeo com A.

Ex: O conj. dos Naturais

infinito

Conjuntos enumerveis e
no- enumerveis
Definio (P. Menezes): Um conjunto A dito:

Finitamente contvel se for finito;

Infinitamente contvel ou enumervel: quando existe

uma bijeo f entre o conjunto A e um subconjunto infinito de
IN Neste caso f chama-se enumerao dos elementos de A.
Escrevendo-se f(1)=a1, f(2)=a2,..., f(n)=an,... Tem-se ento
A={a1,a2,...,an,...}

No contvel: caso contrrio

Conjuntos enumerveis e
no- enumerveis

Exemplo: Hotel de Hilbert

Veremos um vdeo que mostra o

gerente do Hotel Hilbert, que
possui infinitos quartos, tratando
o problema de acomodar novos
hspedes quando o hotel j tem
infinitos hspedes. Cada hspede
em um quarto.
Observe que o gerente fala que o
hotel est lotado, no sentido de
que h infinitos hspedes, mas
no no sentido de que no caiba
mais hspedes.

Hotel de Hilbert: vdeo da

Equipe M3 da UNICAMP
(aproxidamente 10 min).

Exemplo: Hotel de Hilbert

Num primeiro momento um novo hspede chega e gostaria de se
acomodar no hotel. Se o hotel tivesse apenas um nmero
finito de quartos, ento claro que o requerimento no
poderia ser cumprido, mas como o hotel possui um nmero
infinito de quartos ento se movermos o hspede do quarto 1
para o quarto 2, o hspede do quarto 2 para o quarto 3 e assim
por diante, movendo o hspede do quarto N para o quarto N+1,
podemos acomodar o novo hspede no quarto 1, que agora
est vago. Por um argumento anlogo possvel alocar um
nmero infinito (enumervel) de novos clientes (um nibus
com infinitos passageiros): apenas mova o hspede do quarto 1
para o quarto 2, o hspede do quarto 2 para o quarto 4, e em
geral do quarto N para o quarto 2N, assim todos os quartos de
nmero mpar estaro livres para os novos hspedes.

Exemplo: Hotel de Hilbert

Ento, um desafio ainda maior se apresenta ao gerente do Hotel
Hilbert: acomodar os passageiros de uma excurso com infinitos
nibus cada um com infinitos passageiros. O gerente resolve este
problema realocando seus hspedes - desta vez, um hspede que
esteja no quarto n dever se mudar para o quarto 2 n . O gerente dispe
de infinitas vagas novamente. Depois, o gerente associa a cada nibus
um nmero primo diferente de dois. Ento, ele acomoda os
passageiros segundo a seguinte regra: o passageiro que est na
cadeira n do nibus p ocupar o quarto de nmero p n

Exemplo: Hotel de Hilbert

No,
a seguir veremos
o por
qu? de hspedes
Se chegasse
um grupo
infinito
ao Hotel
contendo
novo
Observe
quede
emHilbert,
todas as
situaesum
acima
sempre
conseguimos
a quantidade
hspede
para cada enumerar
numero real,
o gerente
de
hspedes
e os quartos do Hotel, ou seja,
poderia
hosped-los?
possvel construir uma bijeo entre N e a
quantidade de hspedes e uma bijeo entre
N o nmero de quartos

Um conjunto maior que

o dos nmeros Naturais
Para comparar a quantidade de elementos de dois
conjuntos
infinitos, devemos verificar se existe alguma funo bijetora
entre eles.
Caso exista, dizemos que estes conjuntos tm a mesma
cardinalidade.
At agora, o conjunto N dos nmeros naturais foi o nico
que
abordamos, porm existem outros conjuntos infinitos que
conhecemos, como o conjunto R, dos nmeros reais, e que
diferem significativamente do conjunto dos nmeros
naturais. De fato, o conjunto dos nmeros reais possui
uma cardinalidade maior do que a dos nmeros naturais
e, portanto maior do que ele.

Mtodo da diagonal de
Cantor
Quando se tinha conjuntos infinitos enumerveis de hspedes para se
hospedar no Hotel de Hilbert, sempre se conseguia reorganizar os
hspedes, mas no momento que voc tem uma quantidade infinita noenumervel (nmeros Reais) surge um problema, afinal existem infinitos
maiores que outros.

Veremos a seguir um vdeo que mostra a conversa do matemtico

George Cantor com seu amigo Lukas Zweig (lingista). Cantor
muito animado com sua nova descoberta explica ao amigo o seu
hoje famoso Mtodo da Diagonal para demonstrar que o conjunto
dos nmeros Reais no enumervel. O vdeo apresenta o
argumento de Cantor como uma aplicao do mtodo de prova
de teoremas em matemtica chamado Mtodo de Reduo ao
Absurdo inventado pelos antigos matemticos gregos.

Os infinitos de Cantor:
vdeo da Equipe M3 da
UNICAMP (aproxidamente
14 min).

No caso do Hotel de
Hilbert...

No caso do Hotel de
Hilbert...

O conjunto dos nmeros

Reais no-enumervel
Como Cantor disse no vdeo: Dois conjuntos tem a
mesma cardinalidade se possvel construir uma
bijeo entre eles. (P. Menezes chama estes
conjuntos de equipotentes !
Teorema: R no enumervel.
Idia da prova: Construmos uma bijeo entre R e
S={x pertencente a R;0<x<1}=]0,1[. Seja f:SR
(1 / 2 s ) 1,

f (s)

0 s 1/ 2

(1 /( 2 s 2)) 1, 1 / 2 s 1

Com o argumento da diagonal de Cantor mostramos

que ]0,1[ no enumervel, logo se R tem a
mesma cardinalidade de S ento R no
enumervel.

Existem infinitos e no contveis

problemas para os quais no existe
qualquer algoritmo capaz de solucionlos!

Exerccio: Mostre que o

conjunto dos Irracionais
no-enumarvel

Exerccos

Exerccios de 7.1 a 7.9 do Paulo B.

Menezes, Matemtica Discreta para
Computao e Informtica, 2a. edio,
Sagra Luzzatto / Instituto de Informtica
da UFRGS, Porto Alegre, 2006.
Exerccios Seo 3.1 do 75 ao 84 do J.L.
Gersting, Fundamentos Matemticos para
a Cincia da Computao. 5 edio, LTC
Editora, Rio de Janeiro (2001).

Referncias

Paulo B. Menezes, Matemtica Discreta para Computao e

Informtica, 2a. edio, Sagra Luzzatto / Instituto de Informtica da
UFRGS, Porto Alegre, 2006. Captulo 7.
J.L. Gersting, Fundamentos Matemticos para a Cincia da
Computao. 5 edio, LTC Editora, Rio de Janeiro (2001). P. 139142
E. R. Scheinerman, Matemtica Discreta, Thomson, So Paulo, 2006.
p.50
Renata de Freitas, Petrucio Viana. Hotel de Hilbert. Disponvel em:
http://www.uff.br/grupodelogica/hotel_hilbert_slides.pdf
Hotel de Hilbert, vdeo da Equipe M3 da UNICAMP (aproxidamente
10 min). Disponvel em: http://youtu.be/pjOVHzy_DVU (Acesso em
17/07/2013)
Os infinitos de Cantor, vdeo da Equipe M3 da UNICAMP
(aproxidamente 14 min). Disponvel em:
http://m3.ime.unicamp.br/recursos/1120 (Acesso em 17/07/2013)