UNIVERSIDADE DO VALE DO RIO DOS SINOS

Cincias Exatas e Tecnolgica Matemtica para Computao

Profa. Maria Adlia Friedrich

CONJUNTOS FINITOS, INFINITOS E ENUMERVEIS Todo nmero natural tem um sucessor e assim podemos afirmar que o conjunto N infinito. Quando um conjunto finito? Para definirmos formalmente o que vem a ser um conjunto finito ou infinito, necessrio termos a ideia de bijeo entre dois conjuntos quaisquer. A utilizao da noo de aplicao bijetiva entre conjuntos a abordagem apropriada para comparar o tamanho" de dois conjuntos. Esta abordagem foi introduzida por Cantor e, surpreendentemente, conduz existncia de diferentes tamanhos infinitos.

George Cantor (1845-1918) foi um matemtico russo conhecido por ter elaborado a teoria dos conjuntos

Bijetora ou bijetiva Bij = Inj+sobrej

CONJUNTO FINITO Um conjunto A finito se existir uma bijeo entre A e o conjunto In={ x N / 1 , x n } = {1,2,3,...,n}, para algum n N . Neste caso, afirma-se que a cardinalidade de A (simbolizada por A ou #A) o nmero natural n.

Exemplo: O conjunto A = { mouse, teclado, pen drive, disquete } finito, pois existe uma bijeo de A com o conjunto I 4={ x N / 1 , x 4 } = {1,2,3,4}, como mostra a figura a seguir:

2 3 4

Cada elemento de A se corresponde com um nico e distinto elemento de

I4, de forma que nenhum elemento fique sem correspondncia, o que caracteriza a bijeo entre os dois conjuntos. Neste caso, a cardinalidade de A =4.
Observe que a cardinalidade de um conjunto finito ser sempre o nmero de elementos deste conjunto.

O conjunto vazio, que classificao tem? Finito, infinito ou nenhum dos dois? O conjunto vazio finito. Isto porque podemos estabelecer uma bijeo de com o conjunto I0={ x N / 1 x 0 }. Note que I0 o prprio conjunto vazio, pois no existe nmero natural tal que 1 x 0 . E sempre podemos estabelecer uma bijeo do conjunto nele mesmo. Assim, finito e sua cardinalidade zero. Note que zero o nmero de elementos do conjunto vazio, j que ele o conjunto que no possui elementos.

CONJUNTO INFINITO Como podemos estabelecer a cardinalidade de um conjunto infinito, isto , como teremos a medida de seu tamanho?

Vejamos: Vamos definir que dois conjuntos quaisquer possuem a mesma cardinalidade, se, e somente se, existir uma bijeo entre eles, isto , = bijeo. Neste caso, dizemos que os conjuntos A e B so equipotentes, isto tm a mesma potncia. Exemplo 1: Sejam os intervalos A = [0,2] R e B=[1,5] R. Podemos verificar que os conjuntos A e B possuem a mesma cardinalidade construindo uma bijeo f: A B definida por f(x) = 2x+1 , conforme mostra o grfico abaixo:

possvel perceber que cada ponto do intervalo [0,2] vai num distinto ponto do intervalo [1,5] sem deixar nenhum ponto deste intervalo sem correspondente. Assim, podemos dizer que os intervalos A e B possuem a mesma cardinalidade.
Quaisquer dois intervalos de nmeros reais possuem a mesma cardinalidade!

Exemplo 2: Podemos ver que o conjunto de todos os nmeros naturais N e o conjunto dos naturais pares 2N= {0,2,4,6,...} possuem a mesma cardinalidade, percebendo que a funo f: N 2N , f(x) = 2x uma funo bijetora. Na figura, vemos que atravs desta funo, cada nmero natural x vai ao nmero natural 2x:

Assim, o conjunto {0,2,4,6,8,...} e N = {0,1,2,3,4,5,6,...} possuem a mesma cardinalidade, mesmo que {0,2,4,6,8,...} seja um subconjunto prprio de N. IMPORTANTE! A relao de incluso est contido em no deve ser confundida com a relao possui um tamanho menor do que. Os nmeros pares esto contidos nos naturais, mas como totalidade ambos os conjuntos possuem o mesmo tamanho. Por isto, para evitar confuso, empregamos o termo cardinalidade no lugar de tamanho.

A propriedade de um conjunto ser equipotente a um subconjunto prprio de si mesmo como no exemplo anterior caracterstica dos conjuntos infinitos.

Assim, podemos definir que um conjunto infinito se for equipotente a um subconjunto prprio de si mesmo. Caso contrrio, o conjunto ser finito.

Exemplos familiares de conjuntos infinitos so os nmeros naturais N, os inteiros Z, os racionais Q e os nmeros reais R. Apesar de todos serem infinitos, nem todos possuem a mesma cardinalidade. A distino entre eles se d atravs de uma propriedade: h os conjuntos infinitos que so enumerveis e h os que no so enumerveis. CONJUNTO ENUMERVEL Um conjunto dito enumervel se existir uma bijeo f: N A ,isto , se A for equipotente a N. Se esta bijeo no existir, ento o conjunto no enumervel. Exemplo3: O conjunto Z dos nmeros inteiros enumervel. A funo f: N dada por: Z

uma bijeo. Pode parecer estranho ver que f uma bijeo de N em Z , porm, se calcularmos uns poucos valores de f para certos valores de x N, a

correspondncia entre os dois conjuntos se torna mais clara. Veja a tabela a seguir:

possvel notar que, por esta correspondncia, o zero vai no zero, todos os demais naturais pares vo em todos os inteiros negativos e todos os naturais mpares vo em todos os inteiros positivos, configurando ento, de fato, uma bijeo entre N e Z. Note que, assim, o conjunto Z equipotente a um subconjunto prprio seu, o conjunto N dos nmeros naturais. Dizemos que dois conjuntos A e B so equipotentes se eles tm o mesmo cardinal, e denotamos A B . Por exemplo, todos os conjuntos infinitos enumerveis so equipotentes com N

Importante!

Cardinal indica o nmero ou quantidade dos

elementos constituintes de um conjunto.

Ordinal introduz ordem e d idia de hierarquia:

primeiro, segundo, terceiro, etc.

Exemplo4: Analisando o conjunto Q, conjunto dos nmeros racionais. Vamos entender porque o conjunto dos nmeros racionais tambm equipotente ao conjunto dos naturais N, isto , Q um conjunto enumervel. Observe na figura abaixo que possvel listar todos os racionais positivos. Siga as setas para entender a construo da figura.

CONJUNTO DOS REAIS O estudo at agora poderia sugerir que, ento, todos os conjuntos so enumerveis, isto , que todos os conjuntos infinitos fossem equipotentes a N . Contudo, isto no verdade. Em 1874, Georg Cantor surpreendeu o mundo matemtico da poca, que at ento acreditava que todos os conjuntos infinitos eram enumerveis, ao afirmar que o conjunto dos nmeros reais noenumervel, ou seja, que R no tem a mesma cardinalidade que N. Cantor mostrou que o intervalo aberto (0,1)= {x R / 0 < x < 1} NO enumervel, isto , no podemos colocar cada elemento deste conjunto em correspondncia com um nico nmero natural. Ele fez esta demonstrao por absurdo, isto , sups que fosse possvel estabelecer uma bijeo dos nmeros reais do intervalo (0,1) com os nmeros naturais. Para simplificar, vamos supor que todo elemento do intervalo (0, 1) fosse escrito em notao binria por meio de um decimal infinito composto somente de 0 e 1, por exemplo, 0,0110101011100111... .Supondo que os decimais infinitos fossem enumerveis, ento seria possvel colocar todos eles numa lista sequenciada, x1,x2,x3,... , numa ordem previamente estabelecida, conforme mostra a figura abaixo:

 fcil construirmos um decimal infinito que no esteja nesta lista, o que nos levar a uma contradio com a hiptese deste conjunto ser enumervel. Isto feito usando o mtodo da Diagonalizao de Cantor: construmos um nmero real x que seja diferente de x1 na primeira casa decimal, diferente de x2 na segunda casa, diferente de x3 na terceira casa, e assim por diante, de maneira que esse nmero no coincidir com nenhum dos nmeros da lista acima. Se x1 tem 0 na primeira casa, x ter 1; se x2 tem 1 na segunda casa, x ter 0; se x3 tem 0 na terceira casa, x ter 1, de tal forma que este decimal infinito x seja diferente de qualquer nmero existente na lista x1,x2,x3,..., pois difere pelo menos no dgito descrito na diagonal da lista. V-se que impossvel enumerar todos os reais com dgitos 0 e 1, o que implica que impossvel enumerar, no caso geral, TODOS os nmeros reais. Portanto, o conjunto dos nmeros reais um infinito MAIOR daqueles que so enumerveis. Podemos ento agora comparar cardinalidades de conjuntos, estabelecendo quando que uma maior, menor ou igual do que a do outro. Vejamos: Dados dois conjuntos quaisquer A e B, dizemos que se existe uma funo injetora f: A B. Alm disso, se existir uma funo injetora f: A B , mas no existir bijeo entre A e B , ento dizemos que . De acordo com a definio acima, j que existe funo injetora f: N R .definida por f(x)=x, ou seja, leva cada nmero natural x no prprio natural x dentro de R, porm, no existe funo bijetora entre N e R, j que R no enumervel. O que podemos dizer ento de um conjunto A e seu conjunto das partes ? Lembre-se de que o conjunto das partes o conjunto formado por todos os possveis subconjuntos de A. Um conjunto finito de 3 elementos, por exemplo, tem 23 = 8 possveis subconjuntos. Um conjunto finito com n elementos tem 2n subconjuntos. Mas para um conjunto infinito enumervel, qual ser a cardinalidade do seu conjunto das partes?

Cantor tambm mostrou que a cardinalidade do conjunto das partes sempre MAIOR que a cardinalidade do conjunto A seja ele qual for.

Desta forma observe que a cardinalidade de um conjunto A , sempre menor ou igual que a cardinalidade do conjunto (A).

 Seja o conjunto A = { 1, 0, 3 } , ento Seja B = { -1, 0, 1, 3, 8 } ento Seja C = { } , ento =0 e =5e =1

=3e

Suponhamos que o conjunto das partes de um conjunto enumervel infinito A tambm fosse enumervel, ou seja, que fosse possvel estabelecer cada nmero natural a cada elemento desse conjunto dos subconjuntos de A. Sabemos que um subconjunto de A um conjunto formado apenas por elementos de A. Como A enumervel, podemos listar todos os seus elementos numa certa ordem sequenciada, digamos: x1,x2,x3,.... Para formarmos um subconjunto de A devemos escolher alguns elementos de A . Na figura abaixo, cada linha representa um subconjunto de A onde cada carta (que tem duas faces, uma branca e uma verde) representa um elemento de A na ordem que eles foram listados previamente: se a carta est com a face verde voltada para cima, o elemento daquela posio pertence ao subconjunto; caso a face branca esteja voltada para cima, o elemento daquela posio no pertence ao subconjunto.

fcil construirmos um subconjunto que no estar na lista acima: basta examinarmos o subconjunto constitudo pelas cartas na diagonal e suponhamos que cada carta nesta diagonal seja virada: assim, esse subconjunto no pode ser idntico ao primeiro subconjunto da lista, pois a primeira carta foi virada; no pode ser idntico ao segundo da lista, pois a segunda carta foi virada, e assim por diante. Construmos assim um subconjunto diferente que no est na lista. Desse modo, o conjunto de subconjuntos NO enumervel. Cantor estabeleceu ento medidas para as cardinalidades infinitas. A cardinalidade dos enumerveis (a menor cardinalidade infinita) era a dos nmeros naturais, e denotou esta cardinalidade por 0 (l-se: alef-zero). O smbolo (l-se: alef) a primeira letra do alfabeto hebraico. Para saber mais sobre o alfabeto hebraico

Dessa forma, a cardinalidade de qualquer conjunto em que possvel estabelecer uma bijeo com o conjunto N ser 0 . Assim, temos que

J para a cardinalidade dos conjuntos no enumerveis, Cantor denotou por 2 0 , j que o conjunto das partes de um conjunto A denota-se por . Cantor tambm provou que o conjunto das partes de N equipotente ao conjunto R. Por esta equipotncia, denota-se a cardinalidade de R por 2 0. A cardinalidade dos nmeros reais denominada cardinalidade do contnuo.

Em resumo, podemos dizer ento: - Se o conjunto for finito, a cardinalidade o seu nmero de elementos. - Se o conjunto for infinito, existem dois tipos de cardinalidades: a dos enumerveis (formado por todos os conjuntos que podem ser associados por uma bijeo com os nmeros naturais, com os inteiros e os racionais) e a cardinalidade dos no enumerveis 2 0 (formado pelos conjuntos que no podem ter seus elementos associados a cada nmero natural, como os reais, por exemplo). - Alm disso, a cardinalidade dos no-enumerveis MAIOR que a cardinalidade dos enumerveis. Pode-se dizer ento que os conjuntos infinitos no tm o mesmo tamanho: existem infinitos mais infinitos do que os outros!

Podemos ainda concluir que: O conjunto dos nmeros naturais pares infinito enumervel; suficiente definir f: N N como sendo f(n) = 2n . O conjunto dos nmeros naturais mpares infinito enumervel; suficiente definir g: N N como sendo g(n) = 2n-1 . O conjunto dos nmeros inteiros infinito enumervel; suficiente definir a aplicao h: N Z. Dizemos que um conjunto A tem cardinal do contnuo, se A equipotente com R.

Os seguintes conjuntos tem o cardinal do continuo: i) Qualquer subintervalo de R . ii) O conjunto dos nmeros complexos C .

10