Infinitos racionais Série Rádio Cangália Objetivos 1. Apresentar o teorema e uma demonstração de que há tantos infinitos números racionais quanto naturais. Infinitos racionais Série Rádio Cangália Conteúdos Números e funções. Números racionais. Duração Aprox. 10 minutos. Objetivos 1. Apresentar o teorema e uma demonstração de que há tantos infinitos números racionais quanto naturais. Sinopse O programa apresenta o teorema que diz que há infinitos números racionais construindo uma função biunívoca ou bijetiva entre o conjunto dos números naturais e o conjunto dos números racionais. Material relacionado Vídeos: Hotel Hilbert, A razão dos irracionais; Áudios: Infinitos I, Infinitos II, Newton e os números. ÁUDIO Infinitos racionais 2/10 Introdução Sobre a série A série Rádio Cangália apresenta programas descontraídos de variedades que usualmente abordam uma informação ou notícia de conhecimentos gerais, com comentários de um professor de matemática. Os temas não são tratados em profundidade, mas oferecem oportunidade de o professor trabalhar assuntos interdisciplinares em sala de aula ou em atividades extraclasse. O programa pode trazer também uma piada ou uma frase célebre, sem preocupações maiores além de oferecer motivos de discussão em torno de um conteúdo e reforçar a descontração. Sobre o programa O programa foi desenvolvido a partir das seguintes falas: • E a piada de hoje é: “Água mole, pedra dura, tanto bate, até que acaba a água”. • Mas esse não é o ditado certo. • Sim, por isso que é engraçado. E tem essa também: “é melhor ter um maribondo voando do que dois na mão”. Demais, né? • Só uma pergunta: o que tem de matemática nisso? • É a graça das incertezas. Não falamos de probabilidades? • Depois dessas piadas horríveis, vamos para a frase do dia: "Os homens estão mais dispostos a pagar um prejuízo do que um benefício, pois a gratidão pesa pro homem, e a vingança é um prazer!” • É uma frase pessimista na natureza do ser humano do senador do Império Romano, Cornélio Tácito. Ele viveu entre os anos 56 e 117 depois de Cristo. • O conjunto dos números racionais é enumerável, ou contável. • Primeiro vamos explicar o significado de um conjunto ser enumerável. Se um conjunto tiver um número finito de elementos, então enumerar é dar um número natural de contagem pra cada ÁUDIO Infinitos racionais 3/10 • • • • • • • • • • • • • • elemento, e assim podemos colocar em fila indiana e contar um, dois, três... até o último elemento. Vamos fixar a nomenclatura. Número natural é o conjunto dos números um, dois, três etc. Dizemos que um conjunto é enumerável se todos os elementos tiverem seu número natural por algum protocolo. E sabendo o número natural, a gente saberia qual elemento correspondente, através do protocolo. E o protocolo seria uma função bijetora entre o conjunto finito e um subconjunto também finito dos números naturais. Exatamente. A cada elemento de um conjunto correspondemos um e somente um elemento do outro conjunto. E quando o conjunto tiver uma quantidade infinita de elementos? Neste caso, um conjunto é enumerável se tiver uma função bijetora entre seus elementos e os números naturais. Em outras palavras, se conseguirmos colocar todos os elementos em uma ordem natural, em uma fila indiana, um atrás do outro, como se fosse UMA LISTA e todos serem contados, ainda que a contagem seja infinita, então o conjunto é enumerável. Exatamente. O matemático que estabeleceu esses conceitos de infinitos e contabilidade de conjuntos infinitos foi GEORGE CÂNTOR. Cabe lembrar que o conjunto dos números naturais tem infinitos elementos, pois sempre existe um sucessor a um número natural. Não tem fim. Entendido. Voltamos ao teorema. Vamos mostrar que o conjunto dos números RACIONAIS é enumerável. Números racionais são aqueles que construímos pela divisão de dois números, do tipo A sobre B, onde A é chamado de numerador e é um número inteiro, e B é chamado de denominador e é um número natural. É bom visualizar o numerador sobre o denominador e, para facilitar, vamos considerar apenas os naturais no numerador. Vamos mostrar que o conjunto dos racionais positivos é enumerável. Ok. Nós trataremos os positivos aqui, e depois a turma completa a demonstração. Agora temos que um racional positivo é da forma: numerador sobre denominador, sendo que ambos são números naturais de contagem. Portanto, podemos construir um protocolo de contagem ÁUDIO Infinitos racionais 4/10 • • • • • • • • • • • • • da seguinte forma: o numerador e o denominador podem ser fatorados em números primos e simplificados. E pelo teorema fundamental da aritmética, todo número natural pode ser escrito de maneira única pelo produto de potências de números primos. Então, tenha em mente os primos e respectivas potências do numerador, assim como outros primos e respectivas potências do denominador. Certo, no numerador vai ter um produto de potências de números primos e no denominador outro produto de números primos. (pausa) Agora construa a seguinte a função: multiplique os números primos do numerador com as respectivas potências dobradas e multiplique tudo pelo produto dos números primos do denominador com as respectivas potências dobradas menos um. Então este protocolo vai ser o produto do numerador ao quadrado pelo produto dos primos do denominador cujas respectivas potências serão modificadas para o dobro menos um, quer dizer, um número ímpar. Correto, vai ser um número natural fatorado em números primos com potências pares e ímpares. As potências pares são do numerador e as potências ímpares são do denominador. Acho que dá tempo de dar um exemplo. Anotem aí. Digamos que o numerador seja dois elevado a três vezes sete. (pausa) E o denominador seja três vezes cinco elevado a dois. A fração então é 56 sobre 75. Certo, mas escreva na forma fatorada: dois à potência três vezes sete dividido por três vezes cinco à potência dois. Então, o número natural que esta fração ou número racional vai receber é dois à potência seis, vezes sete à potência dois, vezes três à potência um, vezes cinco à potência três. Entendi. Fazendo as contas, este número racional 56 sobre 75 vai receber a etiqueta um milhão, cento e setenta e seis mil. Certo, o importante é que todas as funções utilizadas são bijetivas, de forma que se conhecemos o número natural dado, conseguimos saber qual é o número racional correspondente e vice-versa. Dado um número racional positivo, construímos um único número natural correspondente. E assim terminamos os principais passos para mostrar que o conjunto dos números racionais é enumerável. E por que este teorema é importante? ÁUDIO Infinitos racionais 5/10 • É importante pelo seu grau de abstração de infinito. Cântor teve muito transtorno para entender e ser entendido com os vários conceitos de infinitos que ele encontrou ou definiu. • Mas, na prática, este teorema serve pra alguma coisa? • Serve para a gente entender o conjunto de números racionais em comparação aos naturais e é o passo importante para entendermos os números REAIS e IRRACIONAIS. O conjunto dos REAIS não é enumerável. Tem outro tipo de infinidade. • E importante, pois os números aparecem em todos os lugares! • Os números são abstrações matemáticas. O que fazemos com frequência é uma correspondência entre os conjuntos numéricos e alguns objetos concretos, mas os números mesmos estão nas nossas mentes. • Mas os computadores usam números o tempo todo! • Sim, a gente programa os computadores, isto é, faz as devidas correspondências ou funções que eu estava falando. Mas eu entendo o jeito de falar - os números aparecem em todos os lugares. • Bom, nosso tempo acabou e, novamente, obrigada professor Leumas pelas explicações de hoje. E obrigada Henrique pelo suporte de sempre! • (sotaque francês) Merci Ivone et au revoir! • O programa começa em inglês e termina em francês! Vai entender! Sugestões de atividades Antes da execução Revisar os conceitos básicos de conjuntos dos números, potenciação e de funções. Definição de função Uma relação f entre dois conjuntos A e B é uma função de um conjunto A em um conjunto B se, e somente se, todo elemento de A estiver associado através de f a um único elemento de B. Em outras palavras: ÁUDIO Infinitos racionais 6/10 ݂: ܤ → ܣé função ⟺ dado ݐ ܤ ∈ ݕ !∃ ܣ ∈ ݔ. ݍ. ݂ሺݔሻ = ݕ. Definição de função injetora Considerando a função definida acima, ela é dita injetora (ou injetiva) se, e somente se, a imagem por f de elementos distintos de A corresponderem a elementos distintos de B. Em outras palavras: ݂: ܤ → ܣé injetora ⟺ dados ݔଵ , ݔଶ ∈ ܣ, se ݔଵ ≠ ݔଶ ⟹ ݂ ሺݔଵ ሻ ≠ ݂ ሺݔଶ ሻ. Definição de função sobrejetora Considerando a função definida acima, ela é dita sobrejetora (ou sobrejetiva) se, e somente se, todo elemento de B for associado a algum elemento de A pela função f. E outras palavras: ݂: ܤ → ܣé sobrejetora ⟺ dado ݐ ܣ ∈ ݔ ∃ ܤ ∈ ݕ. ݍ. ݂ ሺݔሻ = ݕ Definição de função bijetora Uma função f de A em B é bijetora se, e somente se, ela é injetora e sobrejetora. Definição do Conjunto dos Racionais O conjunto dos números racionais, denotado por ℚ, é o conjunto dos pares ordenados (frações) , onde a é um número inteiro qualquer e b é um número inteiro qualquer diferente do zero. O número a é chamado de numerador e o b de denominador da fração . As frações devem ter as seguintes propriedades: • Igualdade: = • Soma: + = ௗ ⇔ ܽ݀ = ܾܿ ௗ ௗା ௗ • Multiplicação: × = ௗ ௗ Durante a execução Escrever no quadro os dados e as contas mencionados no programa à medida que eles forem falados. ÁUDIO Infinitos racionais 7/10 Depois da execução O jeito mais simples de mostrar que os racionais são enumeráveis, isto é, contáveis, e com a mesma cardinalidade dos números naturais é fazer uma tabela da seguinte forma: Tabela 1 ... ... 5/5 5/4 5/3 5/2 5/1 4/5 4/4 4/3 4/2 4/1 3/5 3/4 3/3 3/2 3/1 2/5 2/4 2/3 2/2 2/1 1/5 1/4 1/3 1/2 1/1 0 -1/1 -1/2 -1/3 -1/4 -1/5 -2/1 -2/2 -2/3 -2/4 -2/5 -3/1 -3/2 -3/3 -3/4 -3/5 -4/1 -4/2 -4/3 -4/4 -4/5 -5/1 -5/2 -5/3 -5/4 -5/5 ... ... Cada célula da tabela corresponde a um número racional e um número racional corresponde a pelo menos uma célula da tabela. Isso porque os números 1/1=2/2=3/3 etc. têm o mesmo valor, assim como ½=2/4=4/8 etc. Isto é, essa tabela quando estendida infinitamente em todos os lados tem todos os números racionais com repetições. Mas é claro que, se essa tabela for contável, isto é, enumerável, então o conjunto dos números racionais também é enumerável. Com efeito, se considerarmos a diagonal que vai da esquerda para a direita e, começando no 0, alterarmos os lados com números positivos e negativos, teremos uma sequência contável dos elementos da tabela, a saber 0, 1/1, -1/1, 2/1, 1/1, -1/2, -2/1, 3/1, 2/2, 1/3 etc. Isso porque essas diagonais têm quantidade finita de elementos com números racionais que vai crescendo de maneira enumerável. ÁUDIO Infinitos racionais 8/10 Daí concluímos que o conjunto dos números racionais é contável, isto é, correspondemos um número natural a cada elemento da Tabela 1. A forma com que o programa do áudio apresenta uma demonstração de que os números racionais são contáveis é interessante pois envolve o conceito de fatoração de números naturais e de função bijetiva. Isto é, todo número racional positivo pode ser escrito da seguinte forma: ܲଵ భ ܲଶ మ ⋯ ܲ ೝ = ݔభ మ ܳଵ ܳଶ ⋯ ܳ௦ ೞ Ou melhor, a fração está simplificada e tanto o numerador quanto o denominador estão fatorados nos seus números primos P e Q, respectivamente, tendo cada um, suas potências p e q. Assim, a proposta função bijetiva do número racional x>0 acima é a seguinte: ଶభ ݂ ሺݔሻ = ൫ܲଵ ଶమ ܲଶ ଶೝ ⋯ ܲ ଶభିଵ ൯ × ൫ܳଵ ଶమ ିଵ ܳଶ ଶೞ ିଵ ⋯ ܳ௦ ൯ A imagem dessa função é o conjunto dos números naturais. Podemos mostrar que essa função é bijetiva, pois cada número racional estará associado a um único número natural e cada número natural pode ser fatorado em números primos, e assim podemos recompor o número racional x. Por exemplo: • f(( ½ )= 12 x 2 = 2 • f(5/4)= 52 x 23 = 200 ହ • =ݔቀ ቁ=ቀ ହ ଶయ × ଷ×ହమ ቁ assim ݂ሺݔሻ = ሺ2 × 7ଶ ሻ × ሺ3 × 5ଷ ሻ = 1.176.000 Podemos dar os seguintes exemplos da função inversa: • y=7, então temos um número primo elevado à potência ímpar. Assim x=1/7, pois f(1/7)=7. ÁUDIO Infinitos racionais 9/10 • y=52. Fatoramos 26=22 x 13. Então, o primo elevado à potência par estará no numerador e o outro no denominador. Assim, ଶ = ݔ, pois f(2/13)=52. ଵଷ O protocolo de enumeração dos racionais positivos, então, está dado e, dessa forma, mostramos que eles são contáveis. Sugestões de leitura G. Iezzi e C. Murakami (1977). FUNDAMENTOS DE MATEMÁTICA E LEMENTAR. 3ª Ed. Vol. 1 Cap. III, V e X. Atual Editora. Ficha técnica Autor Samuel Rocha de Oliveira Revisoras Otília W. Paques e Carolina Bonturi Coordenação de Mídias Audiovisuais Prof. Dr. Eduardo Paiva Coordenação Geral Prof. Dr. Samuel Rocha de Oliveira Universidade Estadual de Campinas Reitor Fernando Ferreira Costa Vice-reitor Edgar Salvadori de Decca Pró-Reitor de Pós-Graduação Euclides de Mesquita Neto Instituto de Matemática, Estatística e Computação Científica Diretor Caio José Colletti Negreiros Vice-diretor Verónica Andrea González-López ÁUDIO Infinitos racionais 10/10