Conjuntos Finitos, enumerveis e no-enumerveis

I. Princpio da Boa Ordenao: Todo subconjunto no-vazio possui um

elemento mnio.

Dem.: Se 1 ser o menor elemento de . Se, porm, 1 , ento considere

os conjuntos

= { , 1 } e =

Como 1 = {1} , logo 1 . Por outro lado, como no vazio,

conclumos que . Logo existe tal que + 1 , portanto temos que
0 = + 1 . Logo 0 o menor elemento de .

II. Conjuntos Finitos: Um conjunto diz-se finito quando vazio ou quando existe,
para algum , uma bijeo

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

III. Teorema: Seja . Se existir uma bijeo : , ento = .

Dem.: Induo!

Para = 1, ok! Suponha vlido para e mostraremos que vale + 1.

Considere a bijeo : +1 , defina ( + 1) = a restrio de a
fornece uma bijeo : {}. Se {} ento pela hiptese de
induo teremos {} = . Donde = +1 e = + 1. Se, porm, no
ocorrer {} , ento temos que + 1 {}. Neste caso existe
+1 tal que () = + 1. Defina a bijeo : +1 da seguinte forma,
( ) = ( ) se e + 1, enquanto () = , ( + 1) = + 1.

Agora a restrio a nos fornece a bijeo : { + 1}.

Evidentemente { + 1} , portanto pela hiptese de induo temos que
{ + 1} = , donde = +1

IV. Corolrio: Se existir uma bijeo : ento = . Consequentemente se

existem duas bijees : e : deve-se ter = .

Dem.: Com efeito, suponha , ento , logo =

V. Corolrio: Seja um conjunto finito. Uma aplicao : injetiva se, e

somente se, sobrejetiva.

Dem.: Como um conjunto finito, existe por definio uma bijeo

: , note que 1 : . Logo a aplicao : injetiva
ou sobrejetiva se, somente se, 1 : o . Considere : .

1
 () Suponha injetiva, defina = ( ). Teremos uma aplicao 1 : ,
mas = ( ) , como no existe uma bijeo entre um conjunto finito e sua
parte prpria, temos que = . Portanto sobrejetiva.
() Suponha sobrejetiva,

( ) = = ( )

Para cada existe = () tal que = ( ). Isto define uma

aplicao : tal que (()) = , . Isto mostra que injetiva e
sobrejetiva. Se 1 , 2 forem tais que (1 ) = (2 ) tomamos 1 , 2
com (1 ) = 1 e (2 ) = 2 e teremos

1 = ((1 )) = (1 ) = (2 ) = ( (2 )) = 2

Donde, 1 = (1 ) = (2 ) = 2, logo injetiva

VI. Corolrio: No pode existir uma bijeo : entre o conjunto finito e sua
parte prpria .

Dem.: Com efeito, como finito, existe por definio uma bijeo : .
Defina = 1 () = { ; () }. Ento uma parte prpria de e a
restrio de a fornece uma bijeo : .
A composta = ( )1 : seria ento uma bijeo de
sobre sua parte prpria , absurdo

VII. Corolrio: Se um conjunto finito ento todo subconjunto finito. O

nmero de elementos de no excede o de e s igual quando = .

Dem.: Induo! Considere = .

Para = 1, as nicas partes de 1 so e 1 . Suponha vlido para .

Vamos mostrar que vale para +1 . Considere +1 . Se ento, pela
hiptese de induo, ser finito cujo nmero de elementos , e portanto,
+ 1. Se porm + 1 , ento { + 1} e consequentemente existe
uma bijeo : { + 1}, com . Definiremos ento uma bijeo
: +1 da seguinte forma ( ) = ( ) para e ( + 1) = + 1.
Considere +1 . Se ento pela hiptese de induo, ser
finito cujo o nmero de elementos , e portanto + 1. Como temos
que + 1 + 1.
Se e tem elementos ento = . Pois no pode haver uma
bijeo de sobre sua parte prpria

2
VIII. Corolrio: Seja : uma funo injetiva. Se for finito ento tambm
ser. Alm disso, o nmero de elementos de no excede o de .

Dem.: Seja = () . Logo finito pois subconjunto do conjunto finito

. Logo existe uma bijeo : , temos tambm a bijeo : . A
composta 1 : , ou seja, finito. Alm disso o nmero de elementos
de = () que igual ao de , no excede o de

IX. Lema: Considere a funo : :

a. A funo injetiva se, somente se, possui inversa esquerda;
b. A funo sobrejetiva se, somente se, possui inversa direita.

Dem.:
a. () Suponha injetiva. Para cada () existe um nico = ()
tal que = ( ). Isto nos fornece : (). Fixemos 0 tal que
0 = () para (). Logo temos : . Portanto
( ( )) = , ou seja, = . Isto possui uma inversa esquerda.
() Suponha que possua uma inversa esquerda, = . Ento
( ( )) = , sejam 1 , 2 tal que (1 ) = (2 ), ento temos que
1 = ( (1 )) = ( (2 )) = 2 .

b. () Suponha sobrejetiva. Para cada existe = () tal que

= ( ). Isto nos fornece : tal que (()) = , ou seja,
= . Isto , possui uma inversa direita.
() Suponha que possua uma inversa direita, = . Ento
(()) = , logo para cada temos ( ) = (()) = , logo
sobrejetiva.

X. Corolrio: Seja : uma funo sobrejetiva. Se for finito ento tambm

ser e o seu nmero de elementos no excede o de .

Dem.: Como sobrejetiva existe uma inversa direita : tal que

( ()) = , como uma inversa esquerda de . Temos que injetiva,
pelo corolrio anterior finito. E seu nmero de elementos no excede o de

XI. Corolrio: Um subconjunto finito se, somente se, limitado.

Dem.: () Suponha finito, ento = {1 , , }, seja = 1 + + , da

, temos que , logo limitado.
() Suponha limitado ento para algum . Como
finito e uma subconjunto de segue-se que finito.

XII. Teorema: Sejam , conjuntos finitos disjuntos, com e elementos

respectivamente. Ento finito e possui + elementos.

Dem.: Como , so finitos existem as bijees : e : ,

definamos a funo : + por ( ) = ( ) se 1 e ( ) =

3
 ( ) = ( + ) se 1 . Como = , tem-se imediatamente que
uma bijeo.

XIII. Corolrio: Sejam 1 , , conjuntos finitos, dois a dois distintos, com

1 , , elementos respectivamente. Ento 1 finito e possui 1 +
+ elementos.

Dem.: Aplicando o teorema acima, temos 1 2 finito e possui 1 + 2

elementos, 1 2 2 = (1 2 ) 3 finito e possui 1 + 2 + 3
elementos, ..., 1 = (1 1 ) finito e possui 1 + +
elementos.

XIV. Corolrio: Sejam 1 , , conjuntos finitos (no necessariamente disjuntos) com

1 , , elementos respectivamente. Ento 1 finito e possui no
mximo 1 + + elementos.

Dem.: Para = 1, , seja = {(, ); }, dessa forma os so dois a dois

disjuntos e possuem elementos. Portanto 1 finito. Logo temos a
sobrejeo : 1 1 definida por (, ) = . Como
sobrejetiva e 1 finito temos que 1 finito e possui no
mximo 1 + + elementos.

XV. Corolrio: Sejam 1 , conjuntos finitos dois a dois disjuntos com 1 , ,

elementos respectivamente, ento 1 finito.

Dem.: Basta fazer para = 2, pois o caso geral reduz-se a aplicaes sucessivas.
Sejam , conjuntos finitos disjuntos, defina = {1 , , } e = {1 , , }.
Ento = 1 , onde = { }, logo so dois a dois disjuntos
e possui elementos, portanto = 1 possui + + = .
elementos.

XVI. Conjuntos Infinitos: Um conjunto diz-se infinito quando no finito. Assim

infinito quando no vazio nem existe, seja qual for , uma bijeo
: .

XVII. Teorema: Se um conjunto infinito, ento existe a aplicao : injetiva.

Todo conjunto infinito contm um subconjunto infinito enumervel.

Dem.: Para cada subconjunto no vazio , escolhemos um elemento

, para todo .

1
1
2
3 2

+1

Defina (1) = , (2) = 1 , (3) = 2 , , ( + 1) = , onde:

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

= { (1), , ()}

Desta forma completamos a definio indutiva da funo : . Mostraremos

que injetiva. De fato, sejam , suponha < , ento temos que
() { (1), , ( 1)} enquanto () {(1), , ( 1)}. Logo
() (). A imagem () , portanto, um subconjunto infinito enumervel
de .

XVIII. Corolrio: Um conjunto infinito se e somente se, existe uma bijeo :

, de sobre uma parte prpria .

Dem.: () Como infinito possui uma subconjunto infinito enumervel, seja

= {1 , , , } esse conjunto. Defina = ( ) {2 , , 2 , }.
Evidentemente uma parte prpria de . Definamos uma bijeo :
pondo ( ) = , se e ( ) = 2 .
() Se tal bijeo existir ser infinito, pois no pode haver uma bijeo de um
conjunto finito sobre sua parte prpria.

XIX. Conjuntos Enumerveis: Um conjunto diz-se enumervel quando finito ou

quando existe uma bijeo : .

Exemplo: Mostre que o conjunto enumervel.

Soluo: Basta exibir uma bijeo : . Defina a funo da seguinte forma

2, > 0
( ) = { }
2 + 1, 0

5
 Afirmao: uma bijeo.

De fato, considere 1 , 2 tal que (1 ) = (2 ).

21 = 22 1 = 2
21 + 1 = 22 + 1 1 = 2 . Logo injetiva.

Para cada , existe = () , tal que = ( ). Isto nos fornece

(()) = , logo sobrejetiva, pois possui uma inversa direita. Portanto
uma bijeo, e 1 : uma enumerao dos nmeros inteiros, logo o
conjunto enumervel.

Teorema: Todo subconjunto enumervel.

Dem.: Se for finito, no h o que fazer. Se for infinito, definiremos

indutivamente uma bijeo : .

(1) = min
(2) = min( { (1)})
(3) = min( {(1), (2)})

( + 1) = min( { (1), , ()})

Mostraremos que bijetora.

injetiva. Com efeito, note que ( + 1) = min( {(1), , ()}), logo

( + 1) { (1), ()} ( + 1) () .

Para = 1

(2) { (1)} (2) (1)

(2) (2) min = (1)
Logo (2) > (1)

Para 2

( + 1) { (1), , ( 1)}
( + 1) min( { (1), , ( 1)}) = ()
Logo ( + 1) > ()

sobrejetiva. Com efeito, suponha que se tenha (), logo temos que
{ (1), , ()},
min( { (1), , ( 1)}) , > 1
(), > 1. Absurdo! Pois o () = {(1), (), } infinito!
Portanto = ().

XX. Corolrio: Um subconjunto de um conjunto enumervel enumervel. Ou se

: injetiva e enumervel, ento enumervel.

6
 Dem.: Como enumervel, existe uma bijeo : , logo temos a
composta : uma bijeo de sobre um subconjunto de que
enumervel, logo enumervel. No caso particular , tomamos a bijeo
: , como um subconjunto de , enumervel.

XXI. Corolrio: Se : sobrejetiva e enumervel, ento enumervel.

Dem.: Como enumervel, existe uma bijeo : . Como

sobrejetiva, possui uma inversa direita : , logo = . Note que
uma inversa esquerda de , logo a funo : injetiva. Portanto a
composta : uma bijeo de sobre um subconjunto de que
enumervel, logo enumervel.

XXII. Teorema: Sejam , conjunto enumerveis. O produto cartesiano

enumervel.

Dem.: Existem bijees : e : . Logo : dada por

(, ) = ((), ()) bijetora. Basta mostrar que enumervel. Para
isto defina : dada por (, ) = 2 . 3 . Pela unicidade da
decomposio em fatores primos, injetiva, portanto enumervel. Note
que em particular injetiva, logo enumervel.

XXIII. Corolrio: O conjunto dos nmeros racionais enumervel.

Dem.: Seja o conjunto dos inteiros diferente de zero, logo temos que
enumervel, por ser um subconjunto do conjunto enumervel . Temos tambm
que o produto cartesiano de conjuntos enumerveis enumervel. Portanto defina
: por

(, ) =

Para cada existe (, ) = () tal que = (, ).
Mas isto nos fornece (()) = , logo sobrejetiva, pois possui uma
inversa direita. Portanto o conjunto enumervel.

XXIV. Corolrio: Sejam, 1 , 2 , , , conjuntos enumerveis. A reunio =

=1 enumervel.

Dem.: Como cada enumervel, , existe uma bijeo =

para cada . Defina : por (, ) = (). V-se
imediatamente que sobrejetiva, portanto
=1 enumervel.