Você está na página 1de 12

NATURAIS E CONJUNTOS FINITOS E INFINITOS

Universidade do Estado do Par a Profo Msc Marcel Nascimento.

9 de abril de 2013

Conjuntos nitos e innitos

CONJUNTO DOS NATURAIS

No conjunto I N , temos duas opera c oes bem denidas: -+:I ADIC AO N I N IN tal que (m, n) m + n. - : IN IN IN tal que (m, n) m n. MULTIPLICAC AO Temos as seguintes propriedades: m + 1 = s (m). m + (n + 1) = (m + n) + 1. m 1 = m. m (n + 1) = m n + m.

Conjuntos nitos e innitos

Como consequ encia, pode-se demonstrar as seguintes propriedades: Propriedades assoc. (m + n) + p = m + (n + p ) distrib. m.(n + p ) = m.n + m.p comutat. m + n = n + m, mn =nm m n = m p = n = p . cancel. m + n = m + p = n = p ,

Dados dois n umeros naturais n, m, dizemos que m e menor que n (escreve-se m < n) quando existe p IN tal que m = n + p . A nota c ao m n signica m < n ou m = n. Observa c ao Prova-se que: m < n, n < p = m < p. Observa c ao Vale apenas uma das alternativas: m = n, m < n, n < m.
Conjuntos nitos e innitos

Teorema (Princ pio da Boa Ordena c ao - Rela c ao de ordem) Todo subconjunto n ao vazio A IN possui um menor elemento, isto e, um elemento n0 A tal que n0 n, n A.

Conjuntos nitos e innitos

CONJUTOS FINITOS
Deni c ao (Conjunto Finito) Um conjunto X diz-se nito quando e vazio ou quando existem n IN e uma fun c ao bijetora f : In X , em que In = {p I N ; p n }. Neste caso, escrevendo x1 = f (1), x2 = f (2), . . . , xn = f (n), temos ent ao X = {x1 , . . . , xn }. (n e dito cardinalidade de X ) As pr oximas proposi c oes comprovam que a cardinalidade de um conjunto nito n ao depende da fun c ao bijetora. Lema Se existe uma bije c ao f : X Y ent ao, dados a X e b Y , existe tamb em uma bije c ao g : X Y tal que g (a) = b. Teorema Se A e um subconjunto pr oprio de In , n ao pode existir uma bije c ao denida f : A In .
Conjuntos nitos e innitos

COROLARIOS

Corol ario (1) Se f : Im X e g : In X s ao bije c oes, ent ao m = n. Corol ario (2) Seja X um conjunto nito. Uma aplica c ao f : X X e injetiva, se e somente se, e sobrejetiva. Corol ario (3) N ao pode existir uma bije c ao entre um conjunto nito e uma sua parte pr opria.

Conjuntos nitos e innitos

Teorema (2) Todo subconjunto de um conjunto nito e nito. Diz-se que um subconjunto X IN e limitado quando existe p IN tal que x p , x X . Corol ario (1) Um subconjunto X IN e nito, se e somente se, e limitado.

Conjuntos nitos e innitos

CONJUNTO INFINITO

Deni c ao (Conjunto Innito) Diz-se que um conjunto e innito se ele n ao e nito. Ou seja, X e innito quando n ao e vazio e nem existe uma bije c ao f : In X , n I N. Exemplo O conjunto dos naturais, IN , e innito. Basta observar que o I N n ao e limitado, e pelo corol ario anterior, n ao e nito.

Conjuntos nitos e innitos

CONJUNTO INFINITO

Deni c ao (Conjunto Innito) Diz-se que um conjunto e innito se ele n ao e nito. Ou seja, X e innito quando n ao e vazio e nem existe uma bije c ao f : In X , n I N. Exemplo O conjunto dos naturais, IN , e innito. Basta observar que o I N n ao e limitado, e pelo corol ario anterior, n ao e nito.

Conjuntos nitos e innitos

Teorema Se X e um conjunto innito, ent ao existe uma aplica c ao injetiva f : IN X . Corol ario (1) Um conjunto X e innito se, e somente se, existe uma bije c ao : X Y sobre um subconjunto pr oprio Y X . Desta forma, podemos concluir, por exemplo, para o conjunto P = 2, 4, 6, . . . (conj. dos pares) que a fun c ao : I N P , tal que (n) = 2n e uma bije c ao. Isto mostra que h a tantos n umeros pares quantos n umeros naturais existem. (Ou seja, esses dois conjuntos P e I N t em o mesmo grau de innitude).

Conjuntos nitos e innitos

CONJUNTOS ENUMERAVEIS

Deni c ao (Conjuntos enumer aveis) Um conjunto X e enumer avel quando e nito, ou quando existe uma bije c ao f : I N X . Chamamos a aplica c ao f de enumera c ao. Assim, escrevendo f (1) = x1 , f (2) = x2 , . . . , f (n) = xn , . . . , tem-se X = {x1 , x2 , . . . , xn , . . . }. Teorema Todo subconjunto X IN e enumer avel.

Conjuntos nitos e innitos

Corol ario Seja f : X Y injetiva. Se Y e enumer avel, ent ao X tamb em. Em particular, todo subconjunto de um conjunto enumer avel e enumer avel. Teorema Todo conjunto innito cont em um subconjunto innito enumer avel. Exemplo
1

O conjunto dos inteiros e enumer avel. Basta tomar a bije c ao f :I N Z pode ser denida pondo f (n) = (n 1)/2 para n mpar e f (n) = n/2 para n par. O conjunto dos racionais e enumer avel.

Conjuntos nitos e innitos