Enumerabilidade. Capítulo 6

Documentos relacionados
Conjuntos Enumeráveis e Não-Enumeráveis

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Análise I Solução da 1ª Lista de Exercícios

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)

Números naturais e cardinalidade

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Os números reais. Capítulo O conjunto I

Questão 3. a) (1,5 pontos). Defina i) conjunto aberto, ii) conjunto

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição

Teoria intuitiva de conjuntos

Contando o Infinito: os Números Cardinais

Os números naturais. Capítulo Operações em N

Parte 1. Conjuntos finitos, enumeráveis e

1 Conjuntos, Números e Demonstrações

Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos

O espaço das Ordens de um Corpo

Capítulo 0: Conjuntos, funções, relações

Faculdade de Computação

Então (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X.

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

Funções monótonas. Pré-Cálculo. Atividade. Funções crescentes. Parte 3. Definição

Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise

Cálculo Diferencial e Integral Química Notas de Aula

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Cálculo Diferencial e Integral I

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense

Funções monótonas. Pré-Cálculo. Funções decrescentes. Funções crescentes. Humberto José Bortolossi. Parte 3. Definição. Definição

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.

Produtos de potências racionais. números primos.

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

MA11 - Unidade 4 Representação Decimal dos Reais Semana 11/04 a 17/04

1 Conjuntos enumeráveis

Funções potência da forma f (x) =x n, com n N

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de

Teoria da Medida e Integração (MAT505)

Neste capítulo estamos interessados em resolver numericamente a equação

Cap. 5 Estabilidade de Lyapunov

ANÁLISE E TOPOLOGIA. 1 o semestre. Estudaremos neste curso alguns dos conceitos centrais da análise matemática: números reais, derivadas,

Um Estudo Sobre a Enuberabilidade do Conjunto Q dos Números Racionais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

3 O Teorema de Ramsey

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

Propriedades das Funções Contínuas

Construção dos Números Reais

Funções, Seqüências, Cardinalidade

Notas Sobre Sequências e Séries Alexandre Fernandes

NÚCLEO EDUCAFRO KALUNGA DISCIPLINA DE MATEMÁTICA PROFESSOR DEREK PAIVA

Tópicos de Matemática. Teoria elementar de conjuntos

Aula 5 Aula 6 Aula 7. Ana Carolina Boero. Página:

Notas de aulas. álgebra abstrata

20 AULA. Cardinalidade e Conjuntos Enumeráveis LIVRO. META: Estabelecer os conceitos de cardinalidade e de conjuntos enumeráveis.

Dízimas e intervalos encaixados.

O PRINCÍPIO DAS GAVETAS Paulo Cezar Pinto Carvalho - IMPA

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:

Terminologia, Técnicas de Prova, Enumerabilidade

Fabio Augusto Camargo

Axiomas de corpo ordenado

Notas de Aula de Fundamentos de Matemática

Se mdc(a,m) = 1, como a é invertível módulo m, a equação. ax b (mod m)

Provas de Análise Real - Noturno - 3MAT003

Rascunho. De N a R. Capítulo O conjunto N Operações em N

Axiomatizações equivalentes do conceito de topologia

Análise I. Notas de Aula 1. Alex Farah Pereira de Novembro de 2017

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito?

1 Limites e Conjuntos Abertos

LTDA APES PROF. RANILDO LOPES SITE:

ALGORITMO DE EUCLIDES

Aula 4 Aula 5 Aula 6. Ana Carolina Boero. Página:

Curso de Matemática Aplicada.

Definição: Um ou mais elementos que tenham características iguais ou atendam a uma regra que lhes permitam fazer parte de um mesmo meio.

Representação decimal dos números racionais

Notas sobre Sequências e Cardinalidade (1)

MEDIDAS COM SINAL.. Uma medida com sinal σ-aditiva (ou, simplesmente, uma medida com sinal) µ(a n ) def = lim

INTRODUÇÃO À TEORIA DOS CONJUNTOS

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Teorema Do Ponto Fixo Para Contrações 1

Centro de Informática UFPE

1. Funções Reais de Variável Real Vamos agora estudar funções definidas em subconjuntos D R com valores em R, i.e. f : D R R

Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c.

Uma Conversa Sobre Números Transcendentes

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

Cálculo Numérico. Santos Alberto Enriquez-Remigio FAMAT-UFU 2015

Transcrição:

Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo capítulo investigaremos mais uma propriedade que distingue os racionais dos reais. Lembremos que no primeiro capítulo, vimos como que o conjunto dos números naturais é aquele cujos elementos são usados para enumerar. Nesse sentido, nos perguntamos quais conjuntos que podem ser enumerados. Dizemos que um conjunto X não vazio é dito enumerável se acontece uma das duas possibilidades: - X é finito; - X é infinito e existe uma bijeção entre N e X. Mostrar que um conjunto é ou não enumerável depende da investigação da finitude e, caso necessário, da função bijetiva. Neste curso, duas vertentes serão utilizadas. Na primeira delas, veremos esta estrutura citada anteriormente. Na segunda, buscaremos mostrar que um conjunto é ou não enumerável a partir de proposições que facilitem o trabalho. Inicialmente, vejamos alguns exemplos. Exemplo 1. Mostre que o conjunto X 1 = {a, b, c, d} é enumerável. Como X 1 é finito, então segue da definição que ele é enumerável. Exemplo 2. Mostre que o conjunto X 2 dos números pares a partir do 6 é enumerável. Precisamos mostrar que X 2 é finito ou que é infinito e admite uma bijeção entre N e ele. Claramente, ele não é finito. Então buscamos uma bijeção entre N e X 2 através de operações que transformem um conjunto no outro. X 2 6 8 10 12 14 16... 3 4 5 6 7 8... N 1 2 3 4 5 6... 32

Para o nosso problema, tanto faz encontrar uma bijeção entre N e X 2 ou entre X 2 e N. Importa apenas explicitar alguma das duas. Ao observarmos a tabela, temos que, dado um elemento x de X 2, primeiramente dividimos ele por 2 e depois subtraímos essa mesma quantidade. Logo, uma das bijeções desejadas é f : X 2 N tal que f(x) = (x/2) 2. Caso estivéssemos em busca da função bijetiva que parte de N até X 2, já não precisaríamos mais de tanto trabalho. Basta utilizar a mesma tabela, só que na ordem contrária: partindo de N, primeiramente somamos dois e, em seguida, dobramos este valor. Portanto, a inversa da f acima seria g : N X 2 tal que g(n) = 2(n + 2). Resta mostrar que essas funções são bijetivas. Para mostrar que f é injetiva, suponha que existam x 1 e x 2 tais que f(x 1 ) = f(x 2 ). Logo, f(x 1 ) = x 1 2 2 = x 2 2 2 = f(x 2) = x 1 = x 2. Para f ser sobrejetiva, resta mostrar que, para todo n em N, ele é atingido por alguém do domínio. De fato, como já construímos uma inversa para ela, vemos que o número natural n é atingido pelo elemento 2(n + 2) em X 2. Assim, todo número em N é imagem de algum elemento do domínio. Portanto, f é injetiva e sobrejetiva, ou seja, bijetiva. Exemplo 3. Mostre que o conjunto X 3 dos quadrados dos naturais pares é enumerável. A construção segue o mesmo padrão. Primeiramente, identificamos uma associação entre os elementos desse conjunto e os naturais. X 3 4 16 36 64 100 144... 2 4 6 8 10 12... N 1 2 3 4 5 6... Com isto, conseguimos duas funções (potencialmente bijetivas). As funções f : X 3 N tal que f(x) = x/2 e g : N X 3 tal que g(n) = (2n) 2 são as candidatas. Exercício 6.1. Mostre que essas funções f e g acima são bijetivas. Exercício 6.2. Obtenha uma enumeração de N em cada um dos conjuntos abaixo, mostrando que cada função é uma bijeção. a) C 1 = {n N : n é divisível por 2 e não por 4}. b) C 2 = {m N : m é um múltiplo ímpar de 3}. c) C 3 = {n nn } n N. d) C 4 = {m N : m é um natural ímpar que é um quadrado perfeito }. A partir de agora veremos uma sequência de proposições que facilitarão na hora de mostrar se um conjunto é ou não é enumerável. Na maioria das vezes é possível concluir sem conseguir exibir a enumeração! Proposição 1. Um conjunto X não vazio de números naturais é finito se e somente se ele é limitado superiormente. Demonstração: ( ) Se é finito, então X = {x 1, x 2,..., x n }, sendo x i N para todo i. Ao tomarmos a soma de todos os termos, temos o número y = x 1 + x 2 +... + x n que é maior 33

que todos elementos de X, ou seja, serve como uma cota superior para o conjunto. Logo, X é limitado superiormente. ( ) Se X é limitado superiormente, então existe algum natural y tal que x i y, para todo x i X. Assim, X deve ser um subconjunto de {1, 2,..., y}, já que X N. Usaremos esta proposição para demonstrar um resultado bastante interessante, o qual comentaremos posteriormente. Proposição 2. Todo subconjunto X dos números naturais é enumerável. Demonstração: Temos duas opções para X: ou ele é um conjunto finito ou ele é um conjunto infinito. Caso seja finito, então ele é enumerável por definição. Se ele for infinito, consideramos a função ϕ : N X tal que ϕ(x) = x n de modo que: x 1 é o menor elemento de X. x 2 é o menor elemento de X \ {x 1 }. x 3 é o menor elemento de X \ {x 1, x 2 }. x 4 é o menor elemento de X \ {x 1, x 2, x 3 }.. X n+1 é o menor elemento de X \ {x 1, x 2, x 3,..., x n }. O Princípio da Boa Ordem nos garante que cada um desses menores elementos podem ser tomados, já que todo subconjunto não vazio dos naturais admite um elemento minimal. Note que esta função é construída indutivamente, já que é necessário o passo atual para construir o seguinte. Ainda mais: com isto, temos que x 1 < x 2 <... < x n <..., o que já nos garante que esta função é injetiva! Para mostrar que ϕ é sobrejetiva, suponha que existe elemento x de X tal que ϕ(x) = x n x para todo n. Isto significa que x > x n para todo n N; caso contrário, se houvesse j tal que x < x j, então x j não seria o menor elemento a ser escolhido daquela vez. Por outro lado, ter que x > x n nos garante uma contradição, já que, pela Proposição 1, um subconjunto não vazio de naturais é finito e, por hipótese, temos X infinito. A contradição ocorre devido à suposição da existência de tal x que não é imagem de alguém do domínio de ϕ. Assim, esta função é obrigatoriamente sobrejetiva e, consequentemente, é bijetiva. Note que esta última proposição traz um resultado que muda um pouco a nossa forma de lidar com a enumerabilidade. Todo subconjunto não vazio dos naturais é enumerável, mesmo que aparentemente não haja padrão nos termos da sequência. Por exemplo, até hoje não é conhecida nenhuma expressão que determine a sequência de números naturais primos. Por outro lado, como formam um subconjunto não vazio de N, são enumeráveis devido à Proposição 2. Com um pouco mais de trabalho, é possível estender esta Proposição para subconjuntos de conjuntos enumeráveis. Proposição 3. Sejam X, Y conjuntos tais que X Y. Se Y for enumerável, então X é enumerável. Demonstração: Começamos do mesmo modo. Há duas possibilidades para X, ser finito ou infinito. Se for finito, então é enumerável por definição. Se X for infinito, então necessariamente Y deve ser infinito (como pode caber um conjunto infinito dentro de outro finito?). Como Y é infinito e é enumerável, existe função f 1 bijeção entre N e Y. Lembre também que X Y implica a existência da função inclusão g 1, que faz g(x) = x para todo x X. 34

Resta agora mostrar que a função h 1 := f 1 g 1 é bijetiva. Entretanto, isto geralmente não é verdade! A inclusão é injetiva e a enumeração é bijetiva; portanto, a composição é injetiva. O que falha geralmente é a sobrejetividade. Para entender porque isso acontece, imagine que vários elementos de Y foram enumerados e ganharam rótulos. Todos os rótulos utilizados para os elementos de Y\X serão desprezados no momento em que tentarmos construir a enumeração para os elementos de X, o que significa que nem todos naturais serão utilizados na enumeração e h 1 não será sobrejetiva. O esquema a seguir, baseado num exemplo, mostra melhor esta ideia. Y y 1 y 2 y 3 y 4 y 5 y 6 y 7 y 8 y 9... 1 2 3 4 5 6 7 8 9... 1 3 7 8... X y 1 y 3 y 7 y 8... Apesar da composição não ser suficientemente boa, existe um procedimento padrão para construir tal função sobrejetiva. Segundo o esquema acima, nem todos rótulos foram utilizados. Considere o conjunto h 1 (X) como sendo os rótulos dos elementos de X através da enumeração de Y (no exemplo acima, seria o conjunto {1, 3, 7, 8,...}. Note que, por serem rótulos, são um subconjunto de N. No diagrama de Venn acima, fica mais fácil de ver que h 1 (X) N. Da Proposição anterior, temos que h 1 (X) deve ser enumerável e, como não é finito - já que h 1 é injetiva e X é infinito -, existe bijeção f : h 1 (X) N. Por outro lado, a restrição do contradomínio de h 1 produz uma nova função, agora bijetiva (pois mantemos a lei de associação e o domínio): h : X h 1 (X) tal que h(x) = h 1 (x). Tomando a composição F := f h que liga X a N, temos uma composição de bijeções. Portanto, F é uma bijeção enter X e N, o que mostra que X é enumerável. 35

Até agora, a única forma de mostrar que um conjunto é enumerável é exibir uma bijeção entre ele e N ou que ele é finito. A próxima proposição reduz um pouco a preocupação em encontrar a função bijetiva. Proposição 4. São equivalentes: i) X é enumerável; ii) Existe função sobrejetiva de N em X; iii) Existe função injetiva de X em N. Demonstração: Comecemos mostrando que [i = ii]. Por hipótese, X é enumerável. Portanto, X é finito ou X é infinito e existe bijeção entre N e X. Se X for infinito, esta função citada é sobrejetiva, o que satisfaz a condição. O caso mais complexo é se X for finito. Considere X = {x 1, x 2,..., x n }. Defina f : N X de modo que f(i) = x i se 1 i n. Observe que todos x i são atingidos pelos naturais 1, 2,..., n, o que já nos garante a condição de sobrejeção. Para os demais inteiros, basta combiná-los a quaisquer elementos de X, já que só falta completar a associação para obtermos uma função. Por exemplo, podemos fazer f(i) = x 1 se i > n. [ii = iii]: Esta parte da demonstração é válida para quaisquer funções e não é exatamente um problema envolvendo enumerabilidade. Seja f uma função sobrejetiva de N em X. Para cada elementos x de X, considere sua imagem inversa, conjunto dos elementos n de N tal que f(n) = x. f 1 ({x}) = {n N : f(n) = x} Como f é sobrejetiva, a imagem inversa associada a todo elemento x de X é não vazia. Pelo Axioma da Escolha, podemos tomar qualquer n x f 1 ({x}) e criar uma função g : X N tal que g(x) = n x. Resta agora mostrar que g é injetiva. Suponha que existam x 1 e x 2 em X tais que g(x 1 ) = g(x 2 ) = n. Da definição de g, temos que n f 1 ({x 1 }) e n f 1 ({x 2 }), ou seja, f(n) = x 1 e f(n) = x 2. Mas como f é uma função, a única possibilidade é a que x 1 = x 2. Logo, g é injetiva. 36

[iii = i]: Suponha agora que exista uma função injetiva f de X em N. Analisemos as duas possibilidades para a quantidade de elementos de X. Se o conjunto for finito, automaticamente será enumerável por definição. Se for infinito, precisamos exibir a bijeção. A princípio, a função f da hipótese é a principal candidata, já que já é injetiva. Infelizmente, a sobrejeção falha em geral. Mas o argumento a ser utilizado é o mesmo da demonstração da Proposição 3. O conjunto f(x) = {n N : n = f(x)} é um subconjunto dos naturais (portanto, enumerável) e admitem uma correspondência biunívoca com os elementos de x, já que f é injetiva. Logo, a função g : X f(x) tal que g(x) = f(x) é uma bijeção desejada. Estas proposições demonstradas até agora serão a base para mostrar que alguns dos conjuntos numéricos são enumeráveis. Proposição 5. O conjunto dos inteiros é enumerável. Demonstração: Um dos pensamentos mais comuns é de que Z contém o dobro dos elementos de N. Agora veremos que, na verdade, os dois possuem mesma quantidade de elementos. Uma função construída de forma alternada resolve nosso problema: Fazemos, portanto, as seguintes associações de números inteiros aos naturais: 0 1 1 2 1 3 2 4 2 5 3 6 3 7 4 8...... Formalizamos isto em uma função definida em duas partes: { 2x, se x N f(x) = 2x + 1, se x Z \ N. Resta mostrar que esta função é bijetiva. A f é sobrejetiva pois todos os naturais são pares ou ímpares. Os números naturais pares são atingidos pelos números inteiros positivos e pelo zero; os naturais ímpares são atingidos pelos inteiros negativos. Suponha agora que existam dois inteiros x 1 e x 2 tais que f(x 1 ) = f(x 2 ). Note que, necessariamente, os dois devem ter mesmo sinal. Caso contrário, a imagem desses números deveria ser par e ímpar simultaneamente. 37

Se x 1 e x 2 são positivos, então, aplicando a função, temos 2x 1 = 2x 2 e, consequentemente, x 1 = x 2. Caso ocorra x 1 0 e x 2 0, acontece 2x 1 + 1 = 2x 2 + 1, o que implica x 1 = x 2. Portanto, a f citada é bijetiva. Proposição 6. O conjunto dos números racionais é enumerável. Demonstração: Primeiramente, devemos relembrar como definimos os números racionais. A enumeração que encontraremos está atrelada àquele procedimento. Considere A = {(m, n) (Z\{0}) Z}. Este conjunto admite enumeração derivada da figura acima, que copia o procedimento que adotamos para os números inteiros: a enumeração segue alguma ordem de proximidade com a origem do eixo ou plano cartesiano. Neste caso, a ordem de enumeração seria: (1, 0) (1, 1) ( 1, 1) ( 1, 0) ( 1, 1) (1, 1) (2, 1) (2, 0) (2, 1) (2, 2)... 1 2 3 4 5 6 7 8 9 10... Devido ao comportamento dessa bijeção, não existe uma forma ótima de escrever quem é o par ordenado associado a um número natural escolhido. Demonstraremos que Q é enumerável mesmo sem conhecer explicitamente a bijeção. Caso consideremos apenas a condição da construção de números racionais, os pares ordenados (1, 1) e (2, 2), por exemplo, dariam origem aos mesmos racionais, embora admitissem rótulos 2 e 10, considerando a enumeração de A. Buscamos uma bijeção entre os naturais e os racionais, independendo da forma que escrevemos este número. Para resolver este problema, consideramos uma forma de escrever Q sem repetir nenhuma das frações: Q = {(m, n) A : MDC( m, n ) = 1}. Com isto, todo r em Q é escrito de forma única. Por outro lado, isto implica que Q A. Mas como A é enumerável, segue da Proposição 3 que o conjunto dos racionais é enumerável. 38

Mostrar que o conjunto dos reais não é enumerável é um pouco mais complicado. Faremos duas demonstrações nesse material. A primeira abordagem é a que utiliza uma ferramenta bastante interessante, que é o Teorema dos Intervalos Compactos Encaixados (um intervalo é compacto se é limitado e fechado). Proposição 7 (Teorema dos intervalos compactos encaixados). Dada sequência de intervalos então tem-se que [a i, b i ]. i=1 [a 1, b 1 ] [a 2, b 2 ]... [a n, b n ]..., Demonstração: Observemos o que acontece na sequência dos a i. Como cada intervalo está contido no próximo, segue que a i < a i+1 para todo i N e podemos escrever a 1 < a 2 <... < a n <... Por outro lado, essa sequência de números reais é limitada. Qualquer um dos termos b k serve como cota superior. Caso isto não fosse verdade, existiria algum j, k N tal que a j > b k ; mas isto contradiz o fato de que os intervalos são da forma [a i, b i ]. Temos, portanto, uma sequência limitada de números reais. O Axioma do supremo nos diz que toda sequência limitada de números reais admite supremo. Denotemos por x o supremo do conjunto {a i } i N. Por hipótese, para todo i N valem x a i (pois x é supremo dos termos a i ) e x b i (porque x é a menor das cotas superiores). Assim, concluímos que x [a i, b i ] para todo i natural. Uma das demonstrações possíveis de que R não é enumerável segue do Teorema dos Intervalos Compactos Encaixados (TICE). A proposição a seguir será demonstrada de duas formas diferentes. Proposição 8. O conjunto dos números reais não é enumerável. Demonstração 1: (Via TICE) De acordo com a Proposição 4, basta mostrar que não pode existir função sobrejetiva de N em R. Suponha que exista função f : N R sobrejetiva. Escrevamos f(i) = x i, com i N. Para cada x i, construímos um intervalo [a i, b i ] de modo que x i [a i, b i ] e que ocorra [a i, b i ] [a i+1, b i+1 ]. O esquema abaixo mostra uma possível organização dos passos i = 1, 2 e 3. Do Teorema dos Intervalos Compactos Encaixados, temos que existe x R tal que x pertence a todos [a i, b i ], sendo i natural. Por hipótese, f é sobrejetiva. Logo, existe j N tal que f(j) = x j = x. Observemos a consequência disto acontecer quando consideramos a construção dos intervalos: x j [a j, b j ] e x [a j, b j ], o que gera uma contradição. Esta contradição decorre da suposição de que f 1 ({x}). Devido a isto, nenhuma função f de N a R pode ser sobrejetiva. Da proposição 4, R não é enumerável. 39

Demonstração 2: (Construção da Diagonal de Cantor) O objetivo desta demonstração é utilizar a demonstração de que o intervalo ]0, 1[ não é enumerável e, a partir disso, concluir a não enumerabilidade do conjunto dos reais. Suponha, por contradição, que o intervalo seja enumerável e considere f(i) = x i uma enumeração. Nesta enumeração, toda vez que um número tiver expansão decimal finita (racional), considere a versão em que a expansão é infinita e periódica. Por exemplo, ao invés de escrever 0, 234, tomamos 0, 233999... A partir dos números escolhidos por f, construímos um novo número x a partir da i-ésima casa decimal de x i (para todo i natural) da seguinte forma: Se a i-ésima casa decimal de x i for 1, então a i-ésima casa decimal de x é 2. Se a i-ésima casa decimal de x i não for 1, então a i-ésima casa decimal de x é 1. Exemplo: x 1 0, 1 7 6 9 0 5 0 2 4 2... x 2 0, 9 5 8 5 3 5 8 6 2 7... x 3 0, 6 8 6 8 6 4 6 0 7 5... x 4 0, 8 8 8 8 8 8 8 8 8 8... x 5 0, 1 2 3 4 5 6 7 8 9 0... x 6 0, 8 5 0 6 4 1 9 9 4 8... x 7 0, 3 4 3 5 5 3 2 5 5 2... x 8 0, 1 6 9 0 5 3 7 9 4 2... x 9 0, 4 6 3 5 2 4 7 9 1 3... x 10 0, 3 3 3 4 4 4 2 2 2 1... Da enumeração acima, o número construído é x = 0, 2111121122... O x criado participa em algum ponto da enumeração? Não. Caso participasse, x = x k para algum k natural. Da construção de x, temos que a k-ésima casa decimal desse número é diferente da k-ésima cada decimal de x k, o que gera um absurdo. Portanto, não existe função sobrejetiva de N em ]0, 1[, o que implica (Proposição 4) que este intervalo não é enumerável. Claramente, ]0, 1[ R. Caso o conjunto dos números reais fosse enumerável, todo subconjunto dele (inclusive o intervalo) seriam enumeráveis, o que contradiz a demonstração acima. Logo, R não pode ser enumerável. Exercício 6.3. Mostre que todo conjunto infinito contém um subconjunto enumerável. Exercício 6.4. Encontre uma decomposição N = X 1 x 2... X n... tal que os conjuntos X 1, X 2,..., X n,... sejam dois a dois disjuntos. Exercício 6.5. Sabemos que Q é um conjunto enumerável. Portanto, o conjunto { } n A = n + 1 : n N é enumerável e finito. a) Considere a aplicação f : N A tal que f(n) = n n+1. Mostre que f é injetiva e sobrejetiva. b) Determine a bijeção inversa g : A N da função f. c) Considere B = {1, 2} A. Explique porque B é enumerável e defina uma bijeção de N sobre B.. 40