Você está na página 1de 73

FUNDAMENTOS DE MATEMATICA

Prof. Newton Lu Santos (UFPI) s 4 de setembro de 2008

0.1

Introduo ca

Desde a pr-histria da humanidade, o ser humano tem lidado em seus mais diversos e o momentos evolutivos com problemas de mensurao (aritmtica e geomtrica). Em parte, ca e e o desenvolvimento de boas tcnicas de mensurao permitiram ao ser humano ter um e ca maior controle sobre o nmero de membros de seus cls e sobre suas criaes - quando u a co passaram a criar animais cercados, para abate. Alm disso, a presena de bons sistemas e c de mensurao permitiu ao ser humano construir habitaes com muito maior conforto e ca co segurana que as cavernas poderiam oferecer. Mais ainda, permitiu a criao de cidades c ca com alto grau de organizao. ca De um ponto de vista histrico, os sistemas de numerao surgiram na seguinte o ca ordem (com pequenas mudanas em funo da civilizao): Nmeros naturais e adio e c ca ca u ca diferenas (positivas) de nmeros naturais; nmeros racionais positivos, algumas classes c u u de nmeros reais no racionais e positivos, nmeros inteiros negativos, nmeros racionais u a u u e nmeros reais negativos. u Neste texto de Fundamentos da Matemtica, no seguiremos esta linha histrica, a a o mas buscaremos desenvolver nossa sistematica de estudo sob um ponto de vista construtivo. Procuraremos com um m nimo de axiomas bsicos construir as estruturas numricas a e dos nmeros naturais, inteiros, racionais e reais. u

Cap tulo 1

Elementos de Teoria dos Conjuntos


DEFINICOES BASICAS AXIOMA DE FORMACAO DE PARES ETC

CAP ITULO 1. ELEMENTOS DE TEORIA DOS CONJUNTOS

Cap tulo 2

O Conjunto dos N meros Naturais u


2.1 Introduo ca

Em 1889, Giuseppe Peano, em seu trabalho Arithmetices Principia Nova Methodo Exposita(A Natureza e Signicado dos Nmeros) lanou as bases de um tratamento axu c iomtico dos nmeros naturais. a u O trabalho de Peano est para a Aritmtica assim como o trabalho de Euclides est para a e a a Geometria. A diferena, em favor do trabalho de Peano que a introduo axiomtica c e ca a a teoria dos nmeros naturais mais simples que a introduo axiomtica a geometria. u e ca a O que desenvolvemos a seguir , na verdade, uma reformulao do trabalho de Peano, bem e ca adequada aos nossos objetivos, que so uma introduo ao estudo dos nmeros naturais e a ca u sua estrutura algbrica e uma exposio de um modelo de uma teoria axiomtica. e ca a

2.2
2.2.1

Os Axiomas de Peano para o Conjunto N


Axiomas de Peano

O conjunto N dos nmeros naturais um conjunto satisfazendo os seguintes axiomas: u e (P1) Zero (0) um nmero natural, i.e., 0 N. e u u u (P2) Para cada nmero natural n, existe um unico nmero natural n , denominado de sucessor de n. 5

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

(P3) Zero no sucessor de nenhum nmero natural, i.e., para cada nmero natural n, a e u u tem-se n = 0. (P4) Se m e n so nmeros naturais e m = n ento m = n, ou seja, se m = n ento a u a a m = n (P5) (Axioma da Induo Finita) Se S um subconjunto de N tal que ca e 0S , k N, k S = k S ento S = N a Os axiomas (P2), (P3) e (P4) dizem-nos que existe uma funo ca :NN dada por (n) = n (a aplicao sucessor) tal que ca (n) = 0 , n N e (P4) injetora, por (P4). e Axioma (P5) nos diz que um conjunto S N que contenha o nmero natural 0 e que u tambm contenha o sucessor de cada um de seus elementos, coincide com o conjunto N. e (2.3) (2.1) (2.2)

e u Observao 2.1 O signicado informal do axioma (P5) que todo nmero natural pode ca ser obtido a partir de 0 por meio de repetidas aplicaes da operaao de tomar o sucessor. co c Assim, por exemplo, 1 o sucessor de 0, 2 o sucessor de 1, donde vem que 2 o sucessor e e e do sucessor de 0, etc. Para se entender melhor o axioma da induo util examinar o ca e exemplo, no qual N = {1, 2, 3, . . .} mas a funo sucessora, s : N N, modicada, pondoca e se s(n) = n + 2. Ento, se comearmos com 1 e a este nmero aplicarmos repetidamente a c u a operao de tomar o sucessor(nesta nova acepo) obteremos s(1) = 3, s(3) = 5, ca ca s(5) = 7, etc., e nunca chegaremos a qualquer nmero par. Portanto o diagrama u 0 2 4...
s s s s

1 3 5...

2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N

exibe uma funo injetiva s : N N para a qual no verdade que todo nmero natural ca a e u natural n pode ser obtido a partir de 0, mediante repetidas aplicaes da operao de passar co ca de k para s(k) Dentro de um ponto de vista estritamente matemtico podemos reformular o axioma da a induo do seguinte modo: Um subconjunto X N chama-se indutivo quando (X) X, ca ou seja, quando n X = (n) X, ou ainda, quando o sucessor de qualquer elemento de X tambm pertence a X. Dito isto, o axioma da induo arma que o unico e ca subcobnjunto indutivo de N que contm o nmero 0 o prprio N e u e o O papel fundamental do Axioma da Induo Finita na teoria dds nmeros naturais e, mais ca u geralmente, em toda a Matemtica, resulta do fato de que ele pode ser visto como um a mtodo de demonstrao, chamado o Mtodo da Induo Matemtica, ou Princ e ca e ca a pio da Induo Finita, ou Princ ca pio da Induo, conforme explicaremos agora. Tal mtodo apreca e senta uma tcnica de se demonstrar propriedades (constatar a veracidade de propriedades) e que possam ser indexadas por nmeros naturais, isto , que dependam de nmeros natu e u urais; dito de outra maneira, trata-se de um Teorema sobre teoremas. De posse de tal resultado poderemos testar o valor de verdade de armaes gerais, que dependam de co nmeros naturais. u Teorema 2.2.1 (Primeiro Princ pio da Induo Finita)) Suponhamos que a cada ca nmero natural n, corresponde uma asserao (armao) P (n) (que pode ser, dependendo u c ca de n, verdadeira ou falsa) e que: (a) P (0) verdadeira; e (b) se k N e P (k) verdadeira, ento P (k ) verdadeira e a e Ento P (n) verdadeira para todo n N. a e Antes de passarmos ` demonstrao do Teorema, algumas observaes: a ca co co ca o e Observao 2.2 Nas demonstraes por induo, a hiptese de que a propriedade P ca vlida para o nmero natural n (da qual deve decorrer que P vale tambm para (n)) a u e chama-se hiptese de induao. o c

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Observao 2.3 O Princ da Induo no utilizado somente como mtodo de demonca pio ca a e e strao. Ele serve tambm para denir funes f : N Y que tm como dom ca e co e nio o conjunto N dos nmeros naturais. u Para se denir uma funo f : X Y exige-se, em geral que seja dada uma regra bem ca determinada, a qual possa mostre como se deve associar a cada elemento x X um unico elemento y = f (x) Y . Entretanto, no caso particular em que o dom nio da funo o conjunto N dos nmeros ca e u naturais, a m de denir uma funo f : N Y no necessrio dizer, de uma s vez, ca a e a o qual a receita que d o valor f (n) para todo n N. Basta que se tenha conhecimento e a dos seguintes dados: 1. o valor f (0); 2. uma regra que permita calcular f ((n)) quando se conhece f (n). Estes dois dados permitem que se conhea f (n) para todo nmero natural n. (Diz-se ento c u a que a funo f foi denida por recorrncia) Com efeito, se chamarmos de X ao conjunto ca e dos nmeros naturais n para os quais se pode determinar f (n), o dado (1) acima diz que u 0 X e o dado (2) assegura que n X implica que (n) X. Logo pelo axioma da induo, tem-se X = N. ca Uma funo f : N Y cujo dom ca nio o conjunto dos nmeros naturais chama-se e u sequncia ou sucesso de elementos de Y . A notao usada para uma tal sequncia e a ca e (y1 , y2 , . . . , yn , . . .), onde se usa yn em vez de f (n) para indicar o valor da funo f no e ca nmero n. O elemento yn denominado n-simo termo da sequncia. u e e e

Vamos agora demonstrar o Primeiro Princ pio de Induo Finita. ca Prova Considere o conjunto S = {n N P (n) verdadeira } e Como, por hiptese, (a) P (0) verdadeira, temos que 0 S. o e Agora, dado k N, se k S ento P (k) verdadeira e, por (b), P (k ) tambm a e e e verdadeira, logo k S.

2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N

Assim, 0 S e, k S k S, logo, pelo axioma da induo nita, temos S = N e ca portanto P (n) verdadeira para todo nmero natural n. e u

Corolrio 2.2.1 Para todo a N, a = a a

Prova Seja P (n) a assero n = n . ca Pelo axioma (P3), n = 0, n N. Logo 0 = 0, e portanto P (0) verdadeira. e Seja k um nmero natural tal que P (k) verdadeira. Ento k = k . Pelo axioma (P4), u e a k = (k ) , isto , P (k ) tambm verdadeira. e e e Logo, pelo primeiro princ pio de induo, P (n) verdadeira para todo n natural. ca e

Exemplo 2.1 Mostre que para todo a N, a = 0, existe um unico elemento b N tal que a = b (isto , mostre que todo nmero natural no nulo sucessor de algum natural). e u a e Um nmero natural, b, como no exerc anterior, denominado antecessor de a. Assim u cio e estamos armando que todo nmero natural no nulo possui antecessor. u a Veremos agora alguns exemplos de falsos argumentos por induo nita. Os exemplos ca foram extra dos de um pequeno texto do Prof. Elon L. Lima ([?]) dispon na Internet vel e da excelente monograa de I. S. Sominskii, El metodo de la induccion matematicade onde extraimos vrios dos exemplos utilizados no presente texto. Vamos assumir para a os exemplos seguintes e para a seo de exerc ca cios, ao m do cap tulo, o conhecimento e validade da aritmtica usual dos nmeros racionais e dos nmeros reais e u u Pequena lista de falsos exemplos (a) Para cada n N ponhamos an = 1 1 1 1 + + + ... + 1.2 2.3 3.4 n.(n + 1)

10

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Um clculo simples mostra que valem as seguintes igualdades: a a1 = a2 = a3 = a4 = 1 1.2 1 1.2 1 1.2 1 1.2 1 2 1 2 + = 2.3 3 1 1 3 + + = 2.3 3.4 4 1 1 1 4 + + + = 2.3 3.4 4.5 5 = n n+1

Com base nos exemplos acima podemos concluir que para todo n N deve valer a frmula o an =

Correto? Calma! No se precipite! Apesar da frmula proposta ser verdadeira (exa o erc cio!), no suciente ter alguns exemplos em que a frmula valha para que a mesma a e o necessrio um argumento mais preciso para garantir a validade tenha validade universal. E a da expresso obtida para an , para todo n. O conhecimento do comportamento de uma a determinada regra, indexada nos nmeros naturais (neste caso, as expresses de an apreu o sentadas, quando n = 1, 2, 3 e 4) em casos particulares, no entanto, nos ajuda a intuir uma regra geral para o descrever o comportamento geral da regra. Agora, para demonstrar a validade da regra geral precisamos de argumentos adequados, por exemplo, um princ pio de induo nita. ca O exemplo seguinte, analisado por Leonhard Euler, bastante signicativo e nos mostra e que devemos ser cuidadosos ao considerar propriedades aparentemente vlidas, para todo a nN (b) Considere o trinmio p(n) = n2 + n + 41. Observe que p(0) = 41 um nmero o e u primo. Interessante no? Vejamos p(1) = 43 tambm primo. Coincidncia? Prossigamos a e e p(2) = 47, p(3) = 53, p(4) = 61, p(5) = 71, p(6) = 83, p(7) = 97, p(8) = 113 so todos a primos. Sentimo-nos tentados a enunciar a regra: Para todo nmero natural n, p(n) um u e nmero primo. De fato esta proposiao vlida para todo n < 40, contudo p(40) = 412 u c e a que no primo! a e (c) Consideremos agora a proposio P (n): No existem nmeros naturais grandes. ca a u

2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N

11

Provemo-la: primeiramente observamos que 0 no um nmero natural grande, logo P (0) a e u vlida. e a Seja agora dado k N e suponhamos que k no seja um nmero natural grande, i.e. a u P (k) vlido. Ora, somar uma unidade a um nmero natural que no grande no o e a u a e a tornar subitamente grande. Assim P (k+1) verdadeira. Logo pelo Primeiro Princ de a e pio Induo, nenhum nmero natural grande. (?!?) Contudo sabemos que existem nmeros ca u e u naturais to grandes quanto queiramos (1010 a
10

razoavelmente grande). De onde surgiu e

tal contradio? Os conceitos pequeno e grande no esto denidos e, portanto, no ca a a a e claro se 1.000.000.000.000 grande ou pequeno! e (d) Consideremos agora o seguinte teorema e correspondente demonstrao ca Teorema: Para cada nmero natural n, tem-se 2n > 2n + 1 u Prova: Suponhamos que dado k N tenhamos 2k > 2k + 1. Ento multiplicando-se cada a membro desta desigualdade por 2 obtemos 2.2k > 2.(2k + 1) = 2k + 2k + 1 + 1 > 2k + 2 + 1 = 2(k + 1) + 1 logo 2k+1 > 2(k + 1) + 1, e consequentemente, pelo primeiro princ pio da induo nita, ca conclu mos o resultado armado. cqd. Agora, um clculo direto nos mostra que 20 = 2.0 + 1, 21 < 2.1 + 1, 22 < 2.2 + 1 a em contradio com o que foi demonstrado. Veja que no foi levado em considerao o ca a ca primeiro passo da induo, isto a vericao de que o passo zero se verica! Nesta mesma ca e ca linha de racioc nio encotra-se a demonstrao do seguinte teorema ca Teorema: Todo nmero natural n, igual ao seu sucessor n + 1. u e Prova: Supondo que k = k + 1 vamos mostrar que k + 1 = k + 2. De fato, tomando-se o sucessor de ambos os membros da igualdade k = k + 1 obtemos o armado e o teorema est demonstrado, pelo primeiro princ a pio de induo nita. ca Corolrio N = {0}. a Assim, para fazer um uso vlido do primeiro princ a pio de induo nita, devem ca ser vericadas as duas condies: a base da induo, que ir garantir o in do processo co ca a cio indutivo, e a passagem da k-sima etapa para a (k + 1)-sima etapa que ir garantir o e e a processo de generalizao a partir da base. Ambas as etapas devem ser vericadas e uma ca no implica a outra! a

12

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

2.3

O Problema da existncia de n meros naturais e u

Ao apresentar os axiomas de Peano para a construo dos nmeros naturais, apesar de ca u nos ser plaus a existncia de um tal conjunto - e estar vel e amos em uma situao bastante ca dif cil, se toda a nossa discusso fosse um imenso vazio: anal, tudo o que se construiu a historicamente, sem um formalismo, para a soluo de problemas bastante prticos, como ca a contagem de membros de cls , resoluo de problemas de contagem, etc. tornar-se-ia um a ca grande vazio. Desta forma humanamente plaus que exista efetivamente um conjunto e vel de nmeros naturais. Contudo, desde que zemos a opo de uma construo formal u ca ca dos fundamentos da Matemtica, no que concerne ` construo formal das principais a a ca estruturas numricas, a partir de conceitos formais, e no puramente intuitivos - o que e a no pro que se utilize a intuio para formular hipteses e conjecturas -, devemos a be ca o justicar a existncia de um conjunto de nmeros naturais. e u Vamos, indutivamente, construir cada nmero natural, fazendo uso dos axiomas bsicos u a que apresentamos no cap tulo zero, acerca de elementos de lgica e teoria dos conjuntos. o Nossa part cula inicial, o n mero Zero justicado usando o axioma da existncia, de u e e modo que o tomo, conjunto vazio, associado ao nmero zero. a e u Usamos da o axioma dos pares para, dado , obtermos, formando pares, o par {, }. Por extensionalidade, {, } = {}, visto que {, } se, e somente se, {}, e x {, }, y {} se, e somente se, x = . E o nmero dois? {, {}} justicado com o axioma que permite a criao de pares, a u e ca partir da construo de um e da part ca cula zero. Cada nmero natural foi, sucessivamente, u constru porque temos um tomo, podemos fazer pares e identicar conjuntos. Isto , do a e O nmero zero, 0, identicado com o conjunto vazio; u e O nmero um, 1, identicado com o conjunto {}. Da 1 = {0} e 0 1; u e , O nmero dois, 2, identicado com o conjunto {, {}}. Da 2 = {0, 1} e 0 2, u e , 1 2; do u u e Uma vez constru o nmero n, o nmero n + 1 o conjunto {0, 1, . . . , n}.

2.3. O PROBLEMA DA EXISTENCIA DE NUMEROS NATURAIS

13

O leitor dever notar que no usamos em nossa construo de um nmero natural, mas, a a ca u devido ` nitude de cada conjunto, a operao equivalente de formao de pares. a ca ca Denio 2.3.1 (Conceito de sucessor) Seja x um conjunto. O sucessor de x, Suc(x), ca caracterizado pelas seguintes propriedades e 1. x Suc(x); 2. Se y x, ento y Suc(x) a O conjunto acima um conjunto hereditrio. Em particular estamos falando dos conjuntos e a hereditrios nitos. a Ora, nossa questo bsica dever ser: temos bases consistentes para fazermos as cona a a strues de um nmero natural como acima? Vamos a essa questo. co u a Lembre-se de que se n um nmero natural, seu sucessor est bem denido e denotado e u a e Suc(n) e que denotamos o conjunto vazio por . Existe x tal que x e para todo elemento y x, tem-se Suc(y) x ou simbolicamente x( x y x(Suc(y) x)) (2.4)

Conforme mencionamos anteriormente, de maneira ingnua pensamos nos nmeros nate u urais como o ambiente natural para todas as poss veis contagens ou listagens. Isto , o e cojunto dos nmeros naturais a unio de de todos os conjunto nitos. Todavia, quando u e a tentamos representar tal idia matemtica nos deparamos com um problema fundamental: e a N = {0, 1, 2, 3, . . .} = {0, 1, 2, . . . , n}
nN

Tal frmula pass o e vel de cr ticas, uma vez que zemos a denio de N em funo de ca ca N e gostar amos de denir nossos objetos a partir de certos conceitos primitivos, bem formulados (e que no recorressem a si mesmos para se caracterizar). A idia de conjunto a e de todos os conjuntos, que alguns de ns conhecemos de nossos cursos bsicos. Existe o a um certo conceito de um chamado conjunto universo, que seria o conjunto de todos os conjuntos, a unio de todos esses conjuntos. Ora a existncia a e Temos agora um problema mais bsico, menos transcendente que o Platnico cona o junto universo, mas de natureza um pouco mais prtica: O que o conjunto dos nmeros a e u (todos eles!) naturais?

14

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

2.4

Operaoes em N c

Antes de denirmos uma operao no conjunto dos nmeros naturais, vamos denir o ca u conceito de operao em um conjunto. ca Denio 2.4.1 Uma operao binria - ou simplesmente, uma operao - em conjunto ca ca a ca X uma funo e ca : X X X (x, y) x y O nome binria deve-se ao fato de que a operao age sempre sobre pares. Existem a ca tambm operaes que dependem de um unico fator (operaes unrias) assim como de e co co a um nmero maior de fatores (por exemplo, o produto vetorial do espao euclidiano triu c dimensional dene uma operao binria, mas quando buscamos estend-lo para os espaos ca a e c euclidianos de dimenso maior, precisamos de um nmero maior de fatores para termos a u um bem denido produto vetorial) Vamos citar a seguir algumas boas propriedades que sempre devemos buscar saber se uma dada operao satisfaz. A vericao de algumas de tais propriedades permite que se ca ca possa extrair da operao vrias boas concluses. ca a o Diremos que uma operao binria, associativa se dados a, b, c X tivermos ca a e (a b) c = a (b c) Diremos que uma operao binria, comutativa se dados a, b X tivermos ca a e ab=ba Diremos que um elemento e X um elemento neutro para a operao binria, e ca a , se a e = e a = a para todo a X Se possui elemento neutro, e, e a X, diremos que b X um inverso para a e (relativo ` operao ), se a b = b a = e. a ca

2.4. OPERACOES EM N

15

2.4.1

A Operao de Adio em N ca ca

Denio 2.4.2 Chama-se adio em N a uma operao binria em N, i.e., a uma ca ca ca a aplicao ca :NNN onde a imagem do par (m, n) N N denotada por m + n e chamada de soma de m e e e n, satisfazendo: (A1) n N , n+0=n (isto , (n, 0) = n) e (i.e., (m, n ) = (m, n) )

(A2) m, n N , m + n = (m + n)

Teorema 2.4.1 Existe uma, e apenas uma operao + em N satisfazendo A1 e A2 ca

Prova (1) (Existncia de uma adio em N) e ca Fixemos m N e para cada n N, denamos uma aplicao fm : N N do seguinte ca modo: (A1 ) fm (0) = m (A2 ) n N, fm (n ) = (fm (n)) Seja S = {n N podemos denir fm (n)} Por ( A1 ), 0 S e por (A2 ), se k S, i.e., se podemos denir fm (k), ento podemos a denir fm (k ) (pois fm (k ) = (fm (k)) ) Agora veriquemos que fm bem-denida, isto , de fato uma funo, ou seja, se e e e ca n1 = n2 ento fm (n1 ) = fm (n2 ). (Em outras palavras, vericaremos que para um dado a n N, no podemos chegar a valores diferentes de fm (n) se fm satisfaz A1 e A2 ). a Seja S = {n N se n1 = n e n2 = n ento fm (n1 ) = fm (n2 )} a 0 S pois se n1 = 0 e n2 = 0 ento fm (n1 ) = fm (0) = m por (A1 ), bem como a fm (n2 ) = fm (0) = m, logo fm (n1 ) = fm (n2 ).

16

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Se k S (k N) ento sendo n1 = k e n2 = k temos, por (A2 ) que fm (n1 ) = fm (k ) = a (fm (k)) e tambm fm (n2 ) = fm (k ) = (fm (k)) . e Agora fm (k) denido de maneira unica pois k S , logo fm (k ) tambm o , e portanto e e e fm (n1 ) = fm (n2 ). Provamos ento que k S k S . a Pelo axioma da induo nita, S = N e portanto fm bem-denida para cada m N. ca e Agora, denamos : N N N por (m, n) = fm (n). Por (A1 ) e (A2 ) temos imediatamente que satisfaz (A1) e (A2), o que prova a existncia de uma adio em N. e ca (2) (Unicidade da Adio N) ca Suponha : N N N uma outraoperao em N, satisfazendo (A1) e (A2) (i.e., e ca (m, 0) = m e (m, n ) = ((m, n)) ). Fixe m N e considere Sm = {n N (m, n) = (m, n)} onde a adio constru na parte (1). e ca da Deixamos como exerc cio mostrar, pelo axioma da induo nita, que Sm = N e que, ca portanto, = .

ca a Teorema 2.4.2 A operao binria + em N satisfaz as seguintes propriedades: (i) (Existncia de um elemento neutro da adio) Para todo n N,tem-se que n + 0 = e ca 0 + n = n; (ii) Para todo n N, tem-se n = n + 1, onde 1 = 0 ; (iii) Para todo par m, n N, vale que m + n = m + n; (iv) (Propriedade comutativa da adiao) Dados m, n N, n + m = m + n; c ca (v) (Propriedade associativa da adio) Dados m, n, p N, tem-se (m + n) + p = m + (n + p).

Prova Provaremos apenas (iv), deixando as provas das demais propriedades como exerc cio. Para a prova de (iv), admitiremos (i) e (iii).

2.4. OPERACOES EM N Fixe m N e, para cada n N, considere a armao P (n): m + n = n + m ca P (0) verdadeira pois, por (i), m + 0 = 0 + m (= m) e Suponhamos que k N e P (k) verdadeira, isto , m + k = k + m. Ento e e a m + k = (m + k) = (k + m) = k + m logo, P (k ) tambm verdadeira. e e Pelo primeiro princ pio da induo nita, temos que m + n = n + m para cada n N. ca Logo, quaisquer que sejam m, n N temos m + n = n + m.
A1 P (k) A1

17

propr. (iii) = k +m

Nota 2.1 Ilustrando como a denio de adio por recorrncia determina m + n para ca ca e m, n N, denote 0 = 1, 1 = 2, 2 = 3, etc. e ento teremos como exemplo, a 3 + 4 = 4 + 3 = 4 + 2 = (4 + 2) = (4 + 1 ) = ((4 + 1) ) = ((4 + 0 ) ) = ((4 ) ) = (5 ) = 6 = 7 (!)

Exerc cio 2.1 Prove as seguintes propriedades da adio em N: ca (i) Para todo para m, n N, tem-se m + n = 0 m = n = 0 (ii) Para todos p, m, n N,tem-se m + p = n + p m = n (lei do cancelamento da

adio) (Ateno: nada de usar a aritmtica familiar dos nmeros inteiros!) ca ca e u

2.4.2

Multiplicao em N ca

Denio 2.4.3 Chama-se multiplicao em N a uma operao binria em N, ca ca ca a :NNN onde denotamos (m, n) = m.n (ou mn), chamado de produto de m e n, satisfazendo: (M1) n N, n.0 = 0 (isto , (n, 0) = 0) e

18

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

(M2) m, n N , m.n = m.n + m (i.e., (m, n ) = ((m, n), n) )

Teorema 2.4.3 Existe uma unica operao . em N satisfazendo M1 e M2 ca

Teorema 2.4.4 (i) n N, n.0 = 0.n = 0; (ii) (Propriedades distributivas da multiplicao em relao a adio). m, n, p N, ca ca ca temos (ii-a) p.(m + n) = p.m + p.n, (ii-b) (m + n).p = m.p + n.p ; (iii) (existncia de um elemento neutro para a multiplicao) n N , n.1 = 1.n = n e ca (onde lembramos que 1 = 0 ); ca (iv) (Propriedade comutativa da multiplicao) m, n N , m.n = n.m; (v) m, n N , m.n = 0 m = 0 ou n = 0; ca (vi) (Propriedade associativa da multiplicao) m, n, p N , (m.n).p = m.(n.p).

Prova Provaremos (i) e (ii)-(a) deixando as demais como exerc cio. Para mostrar (i), notemos que por (M1) j temos n.0 = 0, resta-nos, portanto, apenas a provar que 0.n = 0. Para cada n N, seja a assero P (n): 0.n = 0. ca P (0) verdadeira por (M1). Suponhamos agora que P (k) seja verdadeira, decorre de (M2) e que 0.k = 0.k + 0 = 0, onde a ultima igualdade decorre do fato que estamos assumindo P (k) ser verdadeira e 0 ser elemento neutro da adio (teorema 3.3-(i)). Logo P (k ) ca tambm verdadeira e pelo primeiro princ e e pio de induo nita segue que P (n) verdade ca e para todo n N e est demonstrado (i) a Provemos agora (ii)-(a): dados dois naturais q e m, considere, para cada n N, a assero ca P (n) denida por:

2.4. OPERACOES EM N

19

P (n) :
(A1)

q.(m + n) = q.m + q.n


(A1) (i)

P (0) verdadeira: q.(m + 0) = q.m = q.m + 0 = q.m + q.0 e Se P (k) verdadeira, isto , se q.(m + k) = q.m + q.k, ento temos: e e a P(k) V. e (A2) (M 2) q.(m + k ) = q.(m + k) = q.(m + k) + q = (M 2) assoc. da adio ca = (q.m + q.k) + p = q.m + (q.k + q) = q.m + q.k logo, P (k ) tambm verdadeira. e e Portanto, pelo primeiro princ pio de induo nita P (n) vlida para todo n N. Logo ca e a q, m N, n N, q.(m + n) = q.m + q.n.

e e Denio 2.4.4 (Potenciao em N) Dados a, n N dene-se a n-sima potncia de ca ca a (ou potncia de base a e expoente n) ao nmero natural an (l-se a elevado a n) denido e u e por (i) a0 = 1 e (ii) an = an .a

E um exerc elementar mostrar que, por (i) e (ii) an se dene (dado a) de forma unica cio para todo a N.

Teorema 2.4.5 a, b, m, n N, temos (i) an .am = am+n ; (ii) (an )m = an.m (iii) (a.b)n = an .bn

Prova Exerc cio

20

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

2.5

Ordem em N

e Denio 2.5.1 Dados m, n N, dizemos que m menor que n, e denotamos m < n, ca se existe u N, u = 0, tal que m + u = n.

Denio 2.5.2 Dados m, n N, dizemos que m maior que n, e denotamos m > n, ca e se n < m.

Notao 2.1 Dados m, n N, denotamos m n (respectivamente m n) se m < n ca (resp. m > n) ou m = n

Proposio 2.5.1 m, n N, m n u N tal que m + u = n. ca

Prova Exerc cio

Proposio 2.5.2 m, n N, m < n m n. ca

Prova (): Se m < n, ento existe u N, u = 0 com m + u = n. Por (2.4), existe v N tal que a u = v . Logo m + v = n e ento, pelo teorema (3.3), m + v = n. Da pela proposio a , ca acima m n (): Se m n, ento, pela proposio acima, existe u N com m + u = n. Se u = 0, a ca temos m < n. Se u = 0, m = n.

Teorema 2.5.1 a, b, c N, a (i) Se a < b e b < c, ento a < c;

2.5. ORDEM EM N (ii) (Lei da Tricotomia) Ou a < b, ou a = b, ou a > b; (iii) Se a < b, ento a + c < b + c; a (iv) Se a + c < b + c, ento a < b; a (v) Se a < b e c = 0, ento ac < bc; a a (vi) Se ac < bc e c = 0, ento a < b; (vii) Se ac = bc e c = 0, ento a = b. a

21

Prova (i) Se a < b e b < c, ento existem u, v N, u = 0, v = 0 com a + u = b e b + v = c. a Logo a + (u + v) = (a + u) + v = b + v = c implicando que a < c pois u + v = 0. (ii) Mostraremos primeiramente que duas das asseres: a < b, a = b e a > b no podem co a ocorrer simultaneamente. Se a < b e a = b, temos b < b, o que imposs pois se b < b, ento b + u = b para algum e vel a u N, u = 0, mas b + u = b implica b + u = b + 0, donde segue que u = 0. Analogamente, no podemos ter a > b e a = b. a Finalmente, se a < b e a > b, ento a < b e b < a e, por (i) a < a, o que, como vimos, a e imposs vel. Para completar a prova de (ii) mostraremos, por induo sobre n, que vale a propriedade ca P (n): Para todo m N, m < n, ou m = n, ou m > n P (0) verdadeira pois, m N, se m = 0 ento 0 + m = m implica 0 < m, ou ainda, e a m > 0. Seja dado k N e suponhamos P (k) verdadeira, isto , m N, tem-se m k ou m > k. e Dado m N, se m k, temos m + u = k para algum u N. Da m + u = (m + u) = k m < k (pois u = 0). Se m > k, ento pela proposio (5.5), m k . Assim, a ca m N, m < k ou m k e portanto P (k ) verdadeira e a nossa prova por induo e ca est completa. a (As provas dos demais resultados so deixadas como exerc a cio)

22

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Teorema 2.5.2 (Princ pio da Boa-Ordem em N, ou Princ pio do menor n mero u natural) Todo subconjunto no vazio de N possui um menor (ou um primeiro) elemento. a Isto , se A N e A = , ento existe a0 N tal que a0 a, a A e a

Prova Considere o conjunto S = {n N n a, a A} Claramente 0 S. Agora, notemos que se a A ento a S (visto que a > a. a / Como S no contm a para cada a A (e A = ), temos S = N. a e Agora, 0 S e S = N implicam que k N tal que k S e k S (pois, pelo axioma da / induo nita, se (i) 0 S e (ii) k S implica k S, ento S = N). ca a Como k S, existe a0 A tal que k > a0 e ento k a0 . Como tambm k a0 , vem / a e que k = a0 , o que conclui esta demonstrao. ca

Teorema 2.5.3 (Primeiro Princ pio da Induo Finita Revisto) Seja n0 um nmero ca u natural e suponhamos que a cada nmero natural n, n > n0 , corresponde uma assero u ca P (n) (que pode ser, dependendo de n, verdadeira ou falsa), e que: (a) P (n0 ) verdadeira; e (b) k N, se P (k) verdadeira ento P (k + 1) verdadeira. e a e Ento P (n) verdadeira para todo n N, com n > n0 . a e

Prova Considere a assero: Q(n): P (n0 + n) verdadeira, para n 0, e aplique o ca e teorema (2.2), lembrando que k = k + 1.

Teorema 2.5.4 (Segundo Princ pio da Induo Finita) Seja n0 N e suponhamos ca que a cada nmero natural n, n n0 , corresponde uma assero P (n) tal que u ca (a) P (n0 ) verdadeira; e e a e (b) k N, se P (n) verdadeira para n0 n < k, ento P (k) verdadeira.

2.5. ORDEM EM N Ento, P (n) verdadeira, n N, n n0 . a e

23

Prova Considere o conjunto A = {n N n n0 e P (n) falsa } e Mostraremos, usando o princ pio da boa-ordem em N, que (a) e (b) implicam A = e portanto P (n) verdadeira para cada n n0 . e Suponhamos que A = . Pelo princ pio da boa-ordem em N, existe um primeiro elemento n1 A. Ento n1 > n0 pois P (n0 ) verdadeira (por (a)). Alm disso, se n0 n < n1 a e e ento P (n) verdadeira (pois n1 o menor elemento em A). Mas isto, por (b), acarreta a e e P (n1 ) verdadeira e temos uma contradio. ca Logo A = .

Teorema 2.5.5 n N, no existe m N com n < m < n . a Prova Exerc cio

2.5.1

Exemplos de aplicaes dos princ co pios de induo nita ca

Exemplo 2.2 Para cada n N, n 0, 32n 1 divis por 8, isto , 32n 1 = 8m, e vel e para algum m N. Prova Se n = 0, 32n 1 = 30 1 = 0 = 8.0. Suponhamos que 32k 1 = 8m para algum m N. Ento 32(k+1) 1 = 32k+2 1 = 32k .32 1 = (1 + 8m).9 1 = 9 + 9.8m 1 = 8 + 8.9m = a 8.(1 + 9M ) = 8m . Logo, 32n 1 divis por n, n N. e vel Exemplo 2.3 (Teorema do Algor timo da Diviso Euclidiana em N) Dados n, d a N, com d = 0, existem q, r N satisfazendo n = q.d + r e 0 r < d.

24 Prova Fixe d N, d = 0.

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Se n = 0, basta tomar q = r = 0. Seja k N e suponhamos que existem q, r N, com k = q.d + r ento k + 1 = (q.d + r) + 1 = q.d + (r + 1). a Agora, r < d implica r + 1 = r d. Se r + 1 < d, tomamos r = r + 1 e teremos k + 1 = q.d + r Se r + 1 = d, teremos k + 1 = q.d + d = (q + 1).d tomando q = q + 1 e r = 0, vem k + 1 = q .d + r com 0 r < d. Observao 2.4 O Teorema do Algor ca timo da Diviso Euclidiana em N a armao, a e ca em teoria, de que a diviso de um nmero natural n por por um divisor d, produzindo quoa u ciente q e um resto r, este menor que o divisor, conforme aprendemos na escola elementar (primeiro grau) sempre poss e vel. Exerc cio 2.2 Mostre que o quociente q e o resto r da diviso euclidiana de n por d a (d = 0) so unicos, isto , se n = q.d + r e n = q .d + r com 0 r < d e 0 r < d, a e ento q = q e r = r . (Sugesto: comece supondo que q = q , de onde q < q ou q > q . a a Mostre que q < q r d) Como uma aplicao temos o ca Teorema 2.5.6 (Representao dos nmeros naturais no sistema decimal) Para todo ca u nmero natural n com n 1, existem nmeros naturais a0 , . . . , as {0, 1, . . . , 9}, com u u s 0 e as = 0 tal que n=
i=0 s

0 r < d.

com

0 r < d.

10i .ai = a0 + . . . + as .10s

2.5. ORDEM EM N Prova (pelo segundo princ pio da induo nita) ca Se n = 1, temos n = a0 = 1 (s = 0)

25

Seja k 1 e suponhamos que para todo nmero natural n com 1 n < k, vale a u propriedade enunciada. Mostraremos que ento o mesmo vale para k: a Pelo algor timo da diviso em N, existem q, r N com a k = q.10 + r agora fcil ver que q < k (porqu ?). e a e Se q = 0, temos k = a0 onde a0 = r {0, . . . , 9}. Se q > 0 (ento q 1), como 1 q < k, pela hiptese de induo, a o ca q = bt .10t + . . . + b0 para certos b0 , . . . , bt {0, . . . , 9} e 0 r < 10

Logo, k = q.10 + r = bt .10t+1 + . . . + b0 .101 + r, com bt , . . . , b0 , r {0, . . . , 9}, e a nossa prova por induo est completa. ca a c a Exerc cio 2.3 Mostre que os naturais a0 , . . . , as na representaao decimal de n so determinados de maneira unica (Sugesto: Faa-o por induo sobre n, usando o segundo a c ca princ pio de induao nita, mostrando primeiramente que se n = a0 + . . . + as .10s = c b0 + . . . + bt .10t com a0 , . . . , as , b0 , . . . , bt {0, . . . , 9}, as = 0 e bt = 0 ento s = t e as = bt a Os exerc cios resolvidos a seguir, bem como a lista que segue, apresentam vrias a classes de problemas, dos mais triviais aos mais elaborados. Estaremos supondo tacitamente que o leitor possui familiaridade com a aritmtica usual do conjunto dos nmeros e u reais, bem como conhecimentos da estrutura de certas funes elementares, como polico nomiais, exponencial e trigonomtricas. Vrios dos problemas esto relacionados com e a a aplicaes ` teoria dos nmeros, `s sries de potncias e sries de Fourier que surgem de co a u a e e e maneira natural em problemas de equaes diferenciais parciais e da f co sica matemtica. a Exerc cios Resolvidos Existe uma bem conhecida estria (lenda?) que nos conta que o grande matemtico Carl o a Friederich Gauss, em 17... contando apenas com 7 anos, foi desaado - juntamente com

26

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

seus colegas da classe em que estudava - a calcular a soma dos 100 primeiros nmeros u naturais (talvez esperasse por alguns minutos de sossego, o professor do jovem Gauss). Imediatamente, todas as crianas se puseram a efetuar as somas 1+2 = 3, 3+3 = 6, 3+4 = c 10, etc., exceto Gauss que se manteve por alguns instantes absorto em seus pensamentos. Todavia, antes que o professor pudesse chamar a ateno do inativo menino, este tomou ca da pena e fez alguns poucos clculos em seu caderno, logo fornecendo o resultado ao a professor: 5050. Quando ento inferido sobre como efetuara este clculo to rapidamente, a a a Gauss explicou: veja: 100 + 1 = 101, 99 + 2 = 101, 98 + 3 = 101, etc, 1 + 100 = 101, assim somando de 1 a 100 duas vezes de maneira inteligente vemos que 1 + 2 + . . . + 100 = x 100 + 99 + . . . + 1 = x

101 + 101 + . . . + 101 = 2x ou seja 100 101 = 2x de onde vem o resultado obtido! Este simples, mas brilhante argumento permite que possamos ter uma expectativa do valor da soma dos n primeiros nmeros naturais, no nulos: 2(1 + 2 + . . . + n) = n(n + 1) ou u a 1 + 2 + ... + n = n(n + 1) 2

Contudo para provar que este resultado vlido para qualquer nmero natural n pree a u cisamos usar induo nita sobre n ca Exerc cios Propostos Questo 1. Determine a soma dos n primeiros nmeros naturais. Prove a validade da a u frmula obtida via induo nita. o ca Questo 2. Determine a soma dos n primeiros nmeros naturais impares. Prove a a u validade da frmula obtida via induo nita. o ca Questo 3. Determine a soma dos n primeiros nmeros naturais pares. Prove a validade a u da frmula obtida via induo nita. o ca

2.5. ORDEM EM N

27

Questo 4. Prove que a soma dos n primeiros quadrados de nmeros naturais dada a u e n(n + 1)(2n + 1) por 2 Questo 5. Prove que a soma dos quadrados dos n primeiros nmeros naturais impares a u dado por e 12 + 32 + . . . + (2n 1)2 = n(2n 1)(2n + 1) 3

Questo 6. Prove que a soma alternada dos quadrados dos n primeiros nmeros naturais a u dado por e 12 22 + 32 42 + . . . + (1)n1 n2 = (1)n1 n(n + 1) 2

Questo 7. Mostre que a soma dos cubos dos n primeiros nmeros naturais dada por a u e 13 + 23 + . . . + n3 = n(n + 1) 2
2

Questo 8. Mostre que para cada nmero real x = 1, vale a frmula da soma dos a u o n-primeiros termos da progresso geomtrica: a e 1 + x + x2 + . . . + xn = (o que dizer se tivermos x = 1?) Questo 9. Prove a validade da seguinte identidade: a 1.2 + 2.3 + 3.4 + . . . + n(n + 1) = n(n + 1)(n + 2) 3 xn+1 1 x1

Questo 10. Prove a identidade: a 1.2.3 + 2.3.4 + 3.4.5 + . . . + n(n + 1)(n + 2) = n(n + 1)(n + 2)(n + 3) 4

Questo 11. Mostre que: a 1 1 1 1 n + + + ... + = 1.3 3.5 5.7 (2n 1).(2n + 1) 2n + 1

28

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Questo 12. Mostre que: a 12 22 32 n2 n(n + 1) + + + ... + = 1.3 3.5 5.7 (2n 1).(2n + 1) 2(2n + 1) Questo 13. Mostre que: a 1 1 1 1 n + + + ... + = 1.4 4.7 7.10 (3n 2).(3n + 1) 3n + 1 Questo 14. Mostre que: a 1 1 1 1 n + + + ... + = 1.5 5.9 9.13 (4n 3).(4n + 1) 4n + 1 Questo 15. Mostre que: a 1 1 1 n 1 + + + ... + = a.(a + 1) (a + 1).(a + 2) (a + 2).(a + 4) (a + n 1).(a + n) a(a + n) Questo 16. Se un uma sequncia de nmeros naturais vericando as condies u0 = 2, a e e u co u1 = 3 e para cada n N vale a relao: ca un+1 = 3un 2un1 obtenha uma frmula geral para un (isto , que independa das expresses de uk para o e o k < n) (dica: un = 2n + 1) Questo 17. Se n! denota o produto dos n primeiros nmeros naturais no nulos (i.e., a u a n! = 1.2. . . . .n que denominamos fatorial de n). Encontre uma expresso geral para a a soma sn = 1.1! + 2.2! + 3.3! + . . . + n.n! (dica: sn = (n + 1)! 1) Questo 18. Prove que para todo n N e todo x = 1, 1 vale a identidade a 1 2 4 8 2n 2n+1 1 + + + + + n = 1 + x 1 + x2 1 + x4 1 + x8 1 + x2 x 1 1 x2n+1

2.5. ORDEM EM N Questo 19. Dados os nmeros e , com = e + = 1 sejam a u + = m, v3 = m a m a , m1 = a, a , m1 a v4 = m , a m a m m1 v2 = m a vk

29

etc.,

ou seja, para todo k > 1, vk+1 = m Mostre que vn =

(n+1 n+1 ) (n n ) (n n ) (n1 n1 )

Questo 20. Provar as seguintes identidades trigonomtricas: a e 1. cos cos 2 cos 4 . . . cos 2n = sin 2. sin x + sin 2x + . . . sin nx = sin 2n+1 2n+1 sin (n + 1)x x 2 sin x 2 sin 2 sin + cos x + cos 2x + . . . cos nx = (2n + 1)x 2 x 2 sin 2

3.

1 2

4.

sin x + 2 sin 2x + . . . n sin nx =

(n + 1) sin nx n sin(n + 1)x x 4 sin2 2 (n + 1) cos nx n cos(n + 1)x 1 x 4 sin2 2

5.

cos x + 2 cos 2x + . . . n cos nx =

Questo 21. Determine o menor k0 N tal que 2k > 2k + 1 para todo k k0 . Mostre a que, de fato tem-se 2k > 2k + 1 para todo k k0 . Questo 22.Determine o menor k0 N tal que 2k > k 2 para todo k k0 . Mostre que, a de fato tem-se 2k > k 2 para todo k k0 .

30

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Questo 23. [DESAFIO!!] Mostre que dado n N, xado, existe k0 = k0 (n) N tal a que 2k > k n para todo k k0 . Questo 24. Prove a desigualdade de Bernouli: dado a R, a > 1 e a = 0, ento para a a todo n N tem-se (1 + a)n > 1 + na

Questo 25. Prove que a mdia geomtrica de um nmero nito de nmeros positivos a e e u u no maior que sua mdia aritmtica. Isto dados a1 , . . . an nmeros reais positivos ento a e e e e u a a1 + . . . + an n a1 . . . . .an n Questo 26. Mostre que para todo nmero natural n > 1 tem-se a u 4n (2n)! < n+1 (n!)2

Questo 27. Mostre que dados a, b R, com a = b e a + b > 0, ento para todo nmero a a u natural n > 1 tem-se (a + b)n < 2n1 (an + bn )

Questo 28. Para todo x R, x > 0 e para todo nmero natural no nulo, n, tem-se a u a xn + xn2 + . . . + 1 xn2 + 1 n+1 xn

Questo 29. Prove que um conjunto de n retas distintas em um plano e que se cortam a em um ponto comum dividem o plano em 2n partes. Questo 30.Prove que n retas em um plano dividem-no em regies que podem ser cola o oridas de branco e preto de tal modo que duas regies vizinhas quaisquer (isto , regies o e o cuja fronteira um segmento retil e neo comum) possuem cores distintas.

2.5. ORDEM EM N

31

Questo 31. Demonstre que n planos passando por um ponto comum, sem que trs a e quaisquer deles se intersectem em uma mesma reta dividem o espao em an = n(n 1) + 2 c partes.

32

CAP ITULO 2. O CONJUNTO DOS NUMEROS NATURAIS

Cap tulo 3

O Conjunto Z dos N meros u Inteiros


3.1 Introduo ca

Neste cap tulo introduzimos o conjunto dos nmeros inteiros utilizando a j assentada u a estrutura algbrica do conjunto N. Intuitivamente, a idia de como isto feito a seguinte. e e e e Em N, a diferena m n de dois nmeros naturais s faz sentido se m n. Nesse caso, c u o m = n + u para algum u N e ento podemos denir m n = u. O conjunto Z, ser a a o conjunto de todas as diferenas m nonde m, n so nmeros naturais quaisquer. A c a u cada par de nmeros naturais (m, n) associamos um objeto denotado por (m, n) que a u e diferena entre m e n, sendo que (m, n) = (r, s) quando e somente quando m + s = n + r c (isto inspirado no fato que desejamos estabelecer, que m n = r s m + s = n + r). e Se m > n, essa diferena um inteiro positivo e se m < n ela um inteiro negativo. c e e Tambm deniremos uma multiplicao e uma adio em Z, bem como uma ordem, e e ca ca veremos que uma parte de Z (os inteiros no negativos) se identica com o conjunto N. A a estrutura algbrica de Z tem seu estudo iniciado neste cap e tulo e enriquecido nos cap tulos posteriores.

3.2

Relaes de equivalncia co e

Este conceito, que parte integrante de todo curso de lgebra moderna, e nada tem a ver e a com nmeros naturais nem com inteiros, ser abordado aqui por ser uma ferramenta na u a 33

34

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

construo do conjunto Z a partir do conjunto N. ca Par ordenado Se a e b so elementos de um conjunto, adotaremos como um conceito a primitivo o conceito de par ordenado de primeiro elemento a e segundo elemento b, denotado por (a, b). No necessrio que se tenha a = b e axiomatizaremos que a e a (Igualdade de pares ordenados) Sendo a, b, c, d A, A um conjunto qualquer, (a, b) = (c, d) se, e somente se a = c e b = d.

Denio 3.2.1 (Produto cartesiano de dois conjuntos) Sendo A e B dois conjunca tos no vazios, o produto cartesiano de A e B, denotado por A B (l-se A cartesiano a e B) o conjunto e A B := {(a, b) a A, b B} se A = ou B = , denimos A B = . Exemplo 3.1 Se A = {1, 2} e B = {2, 3, 4}, ento a A B = {(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4)} Denio 3.2.2 (Relao entre dois conjuntos) Dados dois conjuntos A e B, chamaca ca se relao entre A e B (ou de A em B) a todo subconjunto R de A B. ca Exemplo 3.2 Se A = {1, 2} e B = {2, 3, 4}, so exemplos de relaes entre A e B os a co seguintes conjuntos: R = {(1, 2), (1, 3), (1, 4)} S = {(2, 2)} T = neste caso nenhum ponto de A relaciona-se com pontos de B ou seja, cada ponto de A esta relacionado com cada ponto de B U =AB

Notao 3.1 Se R uma relaao entre A e B e se (x, y) R tambm podemos escrever ca e c e xRy e dizer que x est relacionado com (ou associado a) y pela relao R. J a R b a ca a denota que (a, b) R. No exemplo acima temos 1R2, 2 R 2, 2S2, 2 T 3, em verdade / (x, y) A B tem-se x T y e, de modo semelhante, (x, y) A B, tem-se xU y

3.2. RELACOES DE EQUIVALENCIA

35

Denio 3.2.3 (Dom ca nio, imagem e relao inversa de uma relao R) Sendo R ca ca uma relao de A em B, denem-se: ca (i) o dom nio de R como sendo o seguinte subconjunto de A D(R) = {a A existe b B com (a, b) R} (ii) o conjunto-imagem (ou a imagem) de R como sendo o subconjunto de B: Im(R) = {b B existe a A com (a, b) R} (iii) a relao inversa de R como sendo a relao de A em B dada por ca ca R1 = {(b, a) B A (a, b) R} Exemplo 3.3 Considerando as relaes R, S, T e U do exemplo 2.6, temos: co D(R) = {1} , Im(R) = B e R1 = {(2, 1), (3, 1), (4, 1)} e e e S 1 = S T 1 = T U 1 = B A

D(S) = Im(S) = {2} D(T ) = Im(T ) = D(U ) = A , Im(U ) = B

ca e ca Denio 3.2.4 Sendo A um conjunto qualquer, uma relao em A uma relao de A ca em A Denio 3.2.5 (Relao de equivalncia num conjunto) Seja A um conjunto e seja ca ca e R uma relao em A. ca (a) Dizemos que R uma relao reexiva se: (x, x) R para cada x A. e ca e ca e (b) Dizemos que R uma relao simtrica se: (x, y) A A, (x, y) R implica que (y, x) R. (c) Dizemos que R uma relao transitiva se: x, y, z A, (x, y) R e (y, z) R e ca implica (x, z) R.

36

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

(d) Dizemos que R uma relao de equivalncia se R reexiva, simtrica e transitiva, e ca e e e ou seja, x, y, z A, tem-se xRx, xRy yRx e, xRy e yRz xRz. Exemplos (a) A relao de igualdade: Se A um conjunto qualquer, seja R a relao em A dada ca e ca por: xRy x = y, x, y A. Ento R uma relao de equivalncia em A. Como a e ca e conjunto de pares, R = {(x, x) x A}. (b) Seja A = R, o conjunto dos nmeros reais e seja a relaao de equivalncia em A u c e (muitas relaes de equivalncia so denotadas pelo s co e a mbolo ): x, y R, x y x y Ento temos: a (i) x R, x x = 0 Z x x (portanto reexiva) e (iii) x, y R, se x y, ento x y Z y x = (x y) Z, logo y x ( a e simtrica) e (iii) x, y, z R, x y e y z x y Z e y z Z (x y) + (y z) = x z Z, consequentemente x z ( transitiva) e Por (i), (ii), (iii), uma relao de equivalncia em R e ca e (c) Seja A = N e seja R a relao em N, i.e., a, b N, aRb a b. ca Ento temos a (i) R reexiva: Para todo a N, tem-se a a, logo aRa e (ii) R no simtrica: Dados a, b N, se aRb no decorre que bRa . a e e a Na verdade, temos aRb e bRa se, e somente se a = b. Portanto R no uma relao de a e ca equivalncia (embora tambm seja transitiva) em N. e e (d) Seja A um conjunto qualquer e f : A A uma funo tal que, f f = idA , ou ca seja, para todo x A, temos f (f (x)) = x. Dena uma relao R em A por: a, b A, ca aRb a = b ou f (a) = b. Mostre que a relao uma relao de equivalncia ca e ca e um nmero inteiro e u

3.2. RELACOES DE EQUIVALENCIA (e) Consideremos o conjunto de todas as retas de um plano R2 , isto , e L = {X R2 X uma reta em R2 } e e seja R a relao em L denida por ca XRY se, e somente se, X=Y ou X Y =

37

a relao R simplesmente a relao de paralelismo da Geometria Planae no dif ca e ca a e cil ver que R uma relao de equivalncia sobre o conjunto L (demonstre este fato). e ca e (f ) A relao de perpendicularismo em L (isto , duas retas X e Y em L esto relaca e a cionadas, X Y se, e somente se, so perpendiculares: X Y ) apenas simtrica: a e e note que uma dada reta X L no pode ser perpendicular a si mesma (logo, no vale a a a propridade reexiva) e se temos X e Y L, duas retas perpendiculares X Y ento, a naturalmente, Y X, mas novamente no vlido que X X, ou seja, tambm no a e a e a vale a propriedade transitiva. Sejam A um conjunto e R uma relao de equivalncia em A ca e

Denio 3.2.6 (Classes de equivalncia de uma relao de equivalncia) Se a ca e ca e A, a classe de equivalncia de a mdulo R (ou com respeito a relao R) o subconjunto e o ca e de A: [a]R = {x A xRa} = {x A (x, a) R} Denotamos, se isto no nos trouxer confuso, a a [a]R = [a] = a

ca e Proposio 3.2.1 Seja R = uma relao de equivalncia em A, e sejam a, b A. As ca seguintes armaes so equivalentes (isto , uma delas vale se, e somente se, cada uma co a e das demais tambm vale): e (i) a b; (ii) a b; (iii) b a; (iv) a = b

38

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

Prova Mostraremos que (i) (ii), (ii) (iii), (iii) (iv) e (iv) (i). (i) (ii): a b (a, b) R a [b]R = b (ii) (iii): a b (a, b) R (a, b) R, logo, x A, x a (x, b) R x b,
(a,b)R R sim. e

(b, a) R b a.

(iii) (iv): por hiptese, b a, o que equivalente a dizer que (b, a) R e tambm que o e e

a=b

def (iv) (i): Por hiptese, a = b. Da como a a, temos a a a a = a b a b. o ,


a=b

Teorema 3.2.1 Seja R = uma relaao de equivalncia em A. Ento c e a (i) a A, tem-se a = ; (ii) a, b A, tem-se ou a = b, ou a b = . e a e ca (iii) A a reunio das classes de equivalncia da relao R.

As armaes do teorema acima podem ser re-escritas como co (i) Toda a classe de equivalncia de um elemento de A no vazia; e e a (ii) Duas classes de equivalncia ou so iguais ou so disjuntas; e a a (iii) Todo elemento de A est em alguma classe de equivalncia da relao R. a e ca

Prova (i) (fcil): a A, a aaaaa= a a. Logo {a} a, de onde segue que {a}
aA

(ii) (to fcil quanto (i)): a A, a a

A=

aA
aA

(iii) Suponhamos a, b A com a b = . Mostraremos que ento a = b. a

3.2. RELACOES DE EQUIVALENCIA

39

Como a b = , existe x A tal que x a e x b, logo x a e x b imlicam, por transitividade, que a b e, portanto, a = b.

Denio 3.2.7 (O conjunto quociente de uma relao de equivalncia) Seja A ca ca e um conjunto e R uma relao de equivalncia em A. Chama-se conjunto quociente de A ca e pela relao R ao conjunto das classes de equivalncia da relao R, denotado ca e ca A/R = {[a]R a R} (note que A/R um conjunto de subconjuntos de A). e

Exemplos (a) Seja A = {1, 2, 3, 4, 5, 6} e seja a relao de equivalncia em A onde 1 2, 2 3 e ca e 4 5. Ento temos a = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6), (1, 2), (2, 1), (2, 3), (3, 2), (1, 3), (3, 1), (4, 5), (5, 4)} e neste caso, 1 = 2 = 3 = 4 = 5 = 6 = 1 e ento a A/ = {1, 4, 6} = {{1, 2, 3}, {4, 5}, {6}}

(b) No exemplo 3.2, (e), consideramos o conjunto L de todas as retas do plano, e dissemos que a relao de paralelismo denia uma relao de equivalncia em L. Vale notar que a ca ca e classe de equivalncia X determinada por uma reta X L, o conjunto de todas as retas e e contidas em R2 e que so paralelas a reta X. Dizemos neste caso que X a direo da a e ca reta X e o conjunto quociente L/R o conjunto das direes do plano R2 . Notemos que e co duas retas A e B possuem mesma direo se, e somente se, A = B, ou seja, se, e somente ca se, A//B. Como uma classe de equivalncia X ca determinada por qualquer um de seus e representantes e como dada qualquer reta X L sempre existe uma (e somente uma) reta X0 em L que paralela a X e que passa pela origem (0, 0) R2 (um dos axiomas da e Geometria Plana) podemos identicar X X0 .

40

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

(c) No exemplo 2.12, (b) vericamos que a relao: ca x, y R, x y x y um nmero inteiro e u

uma relao de equivalncia. No dif ver que as classes de equivalncia de so e ca e a e cil e a dadas por [a] = {a + m m Z}. Alm disso, como qualquer nmero real x R, pode e u ser escrito de forma unica, como uma parte inteira mais um nmero entre 0 e 1, isto , u e x = m+r, onde m Z e 0 r < 1, resulta que dado qualquer nmero real x, existir um, e u a somente um nmero 0 r < 1 tal que [x] = [r]. Assim, como r unico, podemos identicar u e [x] com r e como 0 1, segue que [0] = [1]. Uma representao geomtrica para o conjunto ca e quociente R/ a do intervalo unitrio [0, 1] com seus extremos identicados. Com um e a pouco de boa vontade, o leitor pode enxergar tal conjunto como uma circunferncia (em e verdade, todo gemetra entende tal conjunto desta maneira!). o (d) Observao: todo o colecionador possui um conhecimento intuitivo de classes de ca equivalncia e conjuntos quocientes, ao agrupar objetos que possuem estrutura ou proe priedade comum. Por exemplo: um colecionador de selos agrupando selos por nacionalidade considera a seguinte relao : ca selo A selo B selo A tem a mesma nacionalidade que o selo B Pergunta-se: a relao acima uma relao de equivalncia? Se for determine o conjunto ca e ca e quociente {selos do colecionador}/

3.3

Construo do conjunto Z dos n meros inteiros ca u

Consideremos o conjunto N dos nmeros naturais e seja A = NN o produto cartesiano de u N por si mesmo. A o conjunto de todos os pares ordenados (a, b) onde a e b so nmeros e a u naturais. J sabemos que sobre N esto denidas operaes de adio e de multiplicao a a co ca ca satisfazendo as condies (A1), (A2) da denio de adio e (M1), (M2) da denio de co ca ca ca multiplicao. Deniremos uma relao R = sobre o conjunto A = N N do seguinte ca ca modo

3.3. CONSTRUCAO DO CONJUNTO Z DOS NUMEROS INTEIROS

41

Denio 3.3.1 Se (a, b) e (c, d) so dois elementos quaisquer de A, ento colocaremos ca a a (a, b) (c, d) se, e somente se a+d=b+c

por exemplo, temos (a, a) (b, b) quaisquer que sejam a, b N, ou ainda, (0, 0) (a, a), qualquer que seja a N

Teorema 3.3.1 A relao R = introduzida na denio 3.1, acima uma relao de ca ca e ca equivalncia sobre A e

Prova Precisamos vericar que R = satisfaz as condies de uma relao de equivalncia, co ca e ou seja, precisamos vericar que reexiva, simtrica e transitiva: e e reexiva: com efeito, para todo elemento (a, b) A temos que (a, b) (a, b) pois e a + b = b + a (a adio em N comutativa!) ca e simtrica: sejam (a, b) e (c, d) dois elementos quaisquer de A e suponhamos que e e (a, b) (c, d), ou seja, que a + d = b + c; por comutatividade da adio em N, temos ca d + a = c + b ou ainda, c + b = d + a, consequentemente (c, d) (a, b) transitiva: sejam (a, b), (c, d) e (e, f ) trs elementos quaisquer de A e suponhamos e e que (a, b) (c, d) e (c, d) (e, f ), logo a+d=b+c e c+f =d+e (3.1)

ento, usando as propriedades j provadas da adio em N, temos a a ca (a + f ) + d = a + (f + d)


3.1 assoc. 3.1 assoc. comut.

a + (d + f ) = (a + d) + f b + (e + d) = (b + e) + d
assoc.

assoc.

(3.2) (3.3)

= (b + c) + f = b + (c + f ) = b + (d + e)

comut.

portanto, pela lei de cancelamento na adio, em N, segue que a + f = b + e donde vem ca que (a, b) (e, f )

42

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

Assim, a relao uma relao de equivalncia em A ca e ca e Se (a, b) um elemento qualquer de A indicaremos por (a, b) a classe de equivalncia de e e (a, b) mdulo R = determinada por (a, b), isto (a, b) = {(x, y) A (x, y) (a, b)} o e

Denio 3.3.2 (Conjunto dos N meros Inteiros) Indicaremos por Z ao conjunto ca u quociente de A pela relao de equivalncia , quer dizer Z = A/ = N N/ . Z ser ca e a chamado de conjunto dos nmeros inteiros. u

Recorde que duas classes de equivalncia so iguais (a, b) = (c, d) se, e somente se, (a, b) e a (c, d) e veja que o conjunto Z de todas as classes de equivalncia mdulo , forma uma e o partio de A = N N. ca

3.4

Adio em Z ca

Podemos denir tambm uma adio em Z da forma seguinte e ca

Denio 3.4.1 (Adio em Z) Chama-se adio em Z a uma operao binria em Z, ca ca ca ca a i.e., a uma aplicao ca :ZZZ onde a imagem de um par ((a, b), (c, d)) em Z Z dada por e ((a, b), (c, d)) = (a, b) + (c, d)) = (a + c, b + d) e chamada de soma de (a, b) e (c, d)
def.

A razo para esta denio simples, se tivermos em mente que ao falarmos em uma a ca e classe (a, b) Z, na verdade estamos pensando no nmero inteiro denido por a b u (recorrendo ao nosso conhecimento intuitivo da aritmtica dos nmeros inteiros), segue e u ento que a soma de dois nmeros inteiros, (a, b) e (c, d) pode ser pensada como a soma a u (a b) + (c d) = (a + c) (b + d), ou seja, por isto denimos (a, b) + (c, d) = (a + c, b + d).

3.4. ADICAO EM Z

43

Precisamos agora vericar que a soma acima denida est bem-denida, quer dizer, prea cisamos mostrar que a soma de (a, b) e (c, d) no depende dos representantes (a, b) e (c, d) a das classes de equivalncia (a, b) e (c, d), ou seja devemos mostrar que se (a, b) = (a , b ) e e (c, d) = (c , d ), ento a (a + c, b + d) = (a + c , b + d ) De fato, se (a, b) = (a , b ) e (c, d) = (c , d ), ento (a, b) (a , b ) e (c, d) (c , d ), logo a a+b =b+a de onde vem que e c+d =d+c (3.4)

(a + c) + (b + d ) = ((a + c) + b ) + d = (a + (b + c)) + d
comut. assoc. 3.4

assoc.

assoc.

= (a + (c + b )) + d
3.4 assoc.

comut.

= ((a + b ) + c) + d = ((b + a ) + c) + d
assoc. assoc.

assoc.

= (b + a ) + (c + d ) = (b + a ) + (d + c ) = b + (a + (d + c ) = = b + ((a + d) + c ) =

assoc

b + ((d + a ) + c ) = b + (d + (a + c )) = (b + d) + (a + c )

logo (a + c) + (b + d ) = (b + d) + (a + c ), ou seja (a + c, b + d) (a + c , b , d ), e portanto (a + c, b + d) = (a + c , b + d ) com isto, acabamos de mostrar a seguinte

ca ca a Proposio 3.4.1 (Boa-denio da adio em Z) A operao de adio em Z est ca ca ca bem-denida.

Observe que, por exemplo, que dados a, b, c N, temos que (a, a) (0, 0) ou, equivalentemente, (a, a) = (0, 0) e temos (a, a) + (b, c) = (0, 0) + (b, c) = (0 + b, 0 + c) = (b, c) = (b + 0, c + 0) = (b, c) + (0, 0) ou seja, o nmero inteiro (a, a) = (0, 0) faz o papel de elemento neutro para a adio em u ca Z.

44

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

Teorema 3.4.1 (Propriedades da adio em Z) A operao de adiao em Z satisfaz ca ca c as seguintes propriedades (I1) Associativa: dados (a, b), (c, d) e (e, f ) Z, vale que ((a, b) + (c, d)) + (e, f ) = (a, b) + ((c, d) + (c, d)) (I2) Comutativa: dados (a, b) e (c, d) Z, ento a (a, b) + (c, d) = (c, d) + (a, b) (I3) Existncia de elemento neutro da adio: o elemento (a, a) = (0, 0) satisfaz a e ca seguinte propriedade: (0, 0) + (c, d) = (c, d) = (c, d) + (0, 0) (I4) Existncia de elemento oposto, ou inverso, ou simtrico da adio: dado (a, b) Z, e e ca o elemento (b, a) Z satisfaz a propriedade (a, b) = (b, a) = (0, 0) = (b, a) + (a, b) dizemos, neste caso que (b, a) o elemento oposto (ou inverso, ou simtrico) de e e (a, b). E usual denotarmos o elemento (b, a) por (a, b)

Prova Exerc cio. Notemos que tanto o elemento neutro (0, 0) como o oposto da adio so unicos. ca a De fato, se (0 , 0 ) um outro elemento neutro para a adio em Z, ento e ca a (0, 0)
(0 , 0 ) el. neutro e

(0, 0) + (0 , 0 )

(0, 0) el. neutro e

(0, 0)

A demonstrao de que o inverso de um nmero inteiro unico, semelhante e ca como ca u e e exerc cio.

Observao 3.1 Dado (a, b) Z, note que podemos re-escrever um tal nmero como ca u (a, b) = (a, 0) + (0, b) = (a, 0) + ((b, 0))

3.5. MULTIPLICACAO EM Z

45

Observao 3.2 As propriedades acima (Teorema 4.3) denem aquilo que podemos chamar ca de um Grupo Abeliano, em outras palavras:

Denio 3.4.2 Seja G um conjunto e seja : G G G uma operao binria em G, ca ca a denida por: (g1 , g2 ) = g1 g2 satisfazendo as propriedades: (G1) Associativa: (a b) c = a (b c) a, b, c B a G

(G2) Elemento neutro: existe um elemento e G satisfazendo a e = e a = a

(G3) Elemento inverso: para todo a G existe um elemento b G tal que ab = ba = e; denotamos um tal elemento b, usualmente por a1 . Chamamos ento o par (G, ) de um grupo (quando estiver clara qual a operao cona e ca siderada em G, diremos apenas que G um grupo). Se, alm das propriedades (G1), e e (G2) e (G3), tambm valer a propriedade e (G4) Comutativa: a b = b a quaisquer que sejam a, b G ento diremos que (G, ) um grupo comutativo, ou abeliano (devido a um matemtico a e a chamado Abel).

Ou seja o conjunto dos nmero inteiros, com a operao de adio um grupo abeliano u ca ca e (voltaremos a estudar grupos abelianos em um cap tulo posterior).

3.5

Multiplicao em Z ca

Podemos tambm introduzir um produto em Z, que vem generalizar o produto em Z. e Para ganharmos intuio am de decidir qual seria uma boa denio para o produto de ca ca dois nmeros inteiros, observemos que dados (a, b), (c, d) Z, pensando nestes nmeros u u como as diferenasa b e c d apelando mais uma vez para o nosso conhecimento da c aritmtica de Z, vemos que e (a b)(c d) = ac ad bc + bd = (ac + bd) (ad + bc)

46

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

desta maneira, uma forma conveniente de denirmos a multiplicao em Z : ca e

Denio 3.5.1 (Multiplicao em Z) Chama-se multiplicao em Z a uma operao ca ca ca ca binria em Z, a :ZZZ onde denotamos ((a, b), (c, d)) = (a, b).(c, d) (ou (a, b)(c, d)), chamado de produto de (a, b) e (c, d), e denido por (a, b).(c, d) = (ac + bd, ad + bc)

Agora devemos vericar que a multiplicao dada est bem-denida (((3, 5) = (0, 2), ca a ((7, 4) = (3, 0) segue que (3, 5).(7, 4) = ((41, 47) = (0, 6) = (0, 2).(3, 0))

Proposio 3.5.1 (Boa-denio da multiplicao) ca ca ca

Denamos 1 = (1, 0). O teorema seguinte nos mostra algumas propriedades que a multiplicao dos nmeros inteiros satisfaz: ca u

Teorema 3.5.1 x Z , x.1 = 1 .x = x xy = yx (3.5) (3.6) (3.7) (3.8)

x, y Z , x, y, z Z , x, y, z Z , x.(y + z) = xy + xz e

(x.y).z = x.(y.z) (x + y).z = xz + yz

Prova exerc cio

3.6. ORDEM EM Z Teorema 3.5.2 (Regras de sinal) f orallx, y, z Z, x.(y) = (x).y = (xy) (x).(y) x.(y z) x+y =0 = x.y = xy xz x = y

47

(3.9) (3.10) (3.11) (3.12)

Prova exerc cio

3.6

Ordem em Z

Am de denirmos uma ordem em Z, apelamos para o nosso conhecimento do que a e relao de ordem em N e a estendemos para Z. Uma maneira intuitiva de denirmos uma ca a u ordem em Z a seguinte: se (a, b)=a b e (c, d)=c d so dois nmeros inteiros, e ento a b < c d equivalente a dizer que a + d < c + b. De maneira precisa: a e

Denio 3.6.1 Dados x = (a, b), y = (c, d) em Z, dizemos que x menor que y, e ca e denotamos x < y, se a + d < b + c, onde esta ultima relao < aquela denida em N. ca e

Proposio 3.6.1 (Boa-denio da ordem) A relao <em Z bem-denida, isto ca ca ca e , se (a, b) = (a , b ) e (c, d) = (c , d ) Z e a + d < b + c, ento a + d < b + c . e a

Prova Sendo (a, b) = (a , b ) e (c, d) = (c , d ) temos a + b = b + a e c + d = d + c . Logo, (a + b ) + (d + c ) = (b + a ) + (c + d ) ou seja (reagrupando os termos convenientemente) (a + d) + (b + c ) = (b + c) + (a + d ) (3.13)

Sendo a + d < b + c (em N), temos que existe u N, u = 0, tal que a + d + u = b + c. Somando u a ambos os termos da igualdade 3.13 e reagrupando convenientemente os

48

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

termos da igualdade, obtemos (a + d + u) + (b + c ) = (b + c) + (a + d + u) consequentemente (b + c) + (b + c ) = (b + c) + (a + d + u) de onde segue que b + c = a + d + u ou ainda a + d < b + c .

Denio 3.6.2 Dados x, y Z, dizemos que x maior que y, e escrevemos x > y, se ca e y<x

Observao 3.3 Se x = (a, b) e y = (c, d) Z, teremos x > y y < x (c, d) < ca (a, b) c + b < d + a a + d > b + c, ou seja (a, b) > (c, d) a + d > b + c

Notao 3.2 Se x, y Z, denotamos x y (respectivamente x y) se x < y ou x = y ca (respectivamente x > y ou x = y)

Denio 3.6.3 Dizemos que x Z um inteiro positivo se x > 0, e que x um inteiro ca e e negativo se x < 0

Observao 3.4 Sendo x = (a, b) Z um inteiro positivo, fcil ver que: ca e a (i) x>0a>b e (ii) x<0a<b

Proposio 3.6.2 Seja x Z. Ento ca a x > 0 existe n N, n = 0, com x < 0 existe n N, n = 0, com x = (n, 0) x = (0, n) (3.14) (3.15)

3.6. ORDEM EM Z Prova

49

(3.14) Sendo x = (a, b) > 0, temos a > b. Logo existe n N, n = 0, tal que a = b + n. Ento x = (a, b) = (b + n, b) = (n, 0). a Por outro lado, se x = (n, 0), com n = 0 ento n > 0 implica, por (6.7) que x > 0 a (3.15) A demonstrao deste item semelhante a de (i) e deixada como exerc ca e e cio.

Nota 3.1 O natural n da proposio 6.8 unico. De fato, se n1 , n2 N e (n1 , 0) = (n2 , 0) ca e ento n1 + 0 = 0 + n2 n1 = n2 . Analogamente, (0, n1 ) = (0, n2 ) n1 = n2 . a

Teorema 3.6.1 (Propriedades da ordem em Z) (i) x, y, z Z, se x < y e y < z, ento x < z a (ii) (Lei da tricotomia) x, y Z, ocorre uma e apenas uma das seguintes asseres: ou co x < y, ou x = y, ou x > y (iii) x, y, z Z, se x < y ento x + z < y + z a (iv) x, y Z, se x > 0 e y > 0 ento xy > 0 a

Prova Provaremos apenas (i) e (ii) deixando as demais como exerc cio. (i) Sejam x = (a, b), y = (c, d), z = (e, f ) Z. Se x < y e y < z segue que a + d < b + c e c + f < d + e. Logo, somando as duas ultimas desigualdades teremos: (a+d)+(c+f ) < (b+c)+(d+e) (d+c)+(a+f ) < (d+c)+(b+e) a+f < b+e x < z (ii) por fazer

Teorema 3.6.2 x, y, z Z, (i) x < y x y < 0 y x > 0 (ii) x + z < y + z x < y

50

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

(iii) (Regras de sinais) x > 0, y < 0 xy < 0 x < 0, y > 0 xy < 0 x < 0, y < 0 xy > 0 (3.16) (3.17) (3.18) (3.19) (iv) Se Se (v) Se Se (vi) xy = 0 x = 0 ou y = 0 xz < yz xz < yz e e z>0x<y z<0x>y (3.22) (3.23) x<y x<y e e z>0 z<0 ento a ento a xz < yz xz > yz (3.20) (3.21)

3.7
3.7.1

Um Micro-Curso de Aritmtica dos Inteiros e


Princ pio do Menor Inteiro

a ser feito

3.7.2

Valor Absoluto ou Mdulo o


: se x > 0 if x = 0 if x < 0

Denio 3.7.1 Dado n Z, dene-se o valor absoluto (ou mdulo) de x como sendo o ca o nmero inteiro, denotado por |x|, denido por u x 0 |x| = x

3.7. UM MICRO-CURSO DE ARITMETICA DOS INTEIROS

51

Deixamos ao leitor, como exerc cio, as provas das seguintes propriedades do valor absoluto:

Proposio 3.7.1 x, y Z, ca (i) (ii) (iii) (iv) (v) |x| 0 e |x| = 0 x = 0 | x| = |x| |x.y| = |x|.|y| |x y| |x| + |y| |x| y y x y

3.7.3

M ltplos e Divisores u

Denio 3.7.2 Dados a, b Z, dizemos que ca a divide b, ou que a divisor de b, ou que e a fator de b, ou que e e u b mltiplo de a se existe c Z, tal que b = a.c.

Notao 3.3 Dados a, b Z, denotamos ca a|b , se a divide b

Exemplo 3.4

1. 2|(6) pois 6 = 2.(3).

2. a Z, a|a, 1|a, e a|0, pois, respectivamente a = a.1, a = 1.a e 0 = a.0.

52

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS 3. 0|0 pois 0 = 0.c qualquer que seja c Z. 4. 0|a a = 0. De fato: 0|a a = 0.c para algum c Z, logo 0|a a = 0

Proposio 3.7.2 a, b, c Z valem ca (i) a|a (ii) a|b e b|a a = b (iii) a|b e b|c implica que a|c (iv) a|b e a|c ento a|(m.b + n.c), m, n Z a (v) a|b e a|(b c) implica que a|c

Prova (i) a = a.1 a|a (ii) a|b e b|a implicam que b = a.c e a = b.d para certos inteiros c e d. Assim, a = b.d = (a.c).d = a.(c.d). Temos duas situaes a analisar co (ii-1) Se a = 0, ento b = a.c b = 0. Logo a = b a (ii-2) Se a = 0, ento a = a.(c.d) c.d = 1 de onde vem que c = d = 1 (prove esta a ultima armao como exerc ca cio). Da a = b.d = b.(1) a = b. , Reciprocamente, a = b b = a, e ento a = b.(1) e b = a.(1) de onde segue que a b|a e a|b. (iii) a|b e b|c existem d, e Z, tais que b = a.d e c = b.e c = b.e = (a.d).e = a.(d.e) a|c. (iv) a|b e a|c existem inteiros d e e tais que b = a.d e c = a.e. Logo, dados m, n Z, observamos que m.b + n.c = m.(a.d) + n.(a.e) = a.(m.d + n.e) a|(m.b + n.c) (v) Se a|b e a|(b c), a propriedade (iv) que acabamos de demonstrar nos mostra que a|[b (b c)], e portanto a| c a|c.

3.7. UM MICRO-CURSO DE ARITMETICA DOS INTEIROS

53

3.7.4

Algor tmo da Diviso Euclidiana a

Em primeira instncia, relembraremos o seguinte a

Teorema 3.7.1 (Algor tmo da Diviso em N) Dados n, d N, com d = 0, existem a q, r N satisfazendo n = q.d + r e 0r<d

(No prximo teorema, estabeleceremos que os inteiros q (quociente) e r (resto) so unicos). o a

Prova (por induo sobre n) ca Fixado d N, d = 0. Se n = 0, temos 0 = d.0 + 0 Tomamos ento q = 0 e r = 0. a Seja k N e suponhamos que existem q, r N, com k = q.d + r ento k + 1 = (q.d + r) + 1 = q.d + (r + 1). a Como, 0 r < d, temos 0 < r + 1 d. Se r + 1 < d, tomamos q = q, r = r + 1 e teremos k + 1 = q .d + r Se r + 1 = d, teremos k + 1 = q.d + d = (q + 1).d Neste caso, tomamos q = q + 1, r = 0, e teremos k + 1 = q .d + r e a nossa prova por induo est completa. ca a com 0 r < d. com 0 r < d. e 0 r < d.

54

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

Teorema 3.7.2 (Algor tmo da Diviso em Z) Dados n, d Z, d = 0, existem q, a r Z satisfazendo n = d.q + r e 0 r < |d|

Alm disso, os inteiros q e r nas condies acima so unicos. e co a

Exemplo 3.5 Antes de procedermos a demontrao do teorema 4.2, ilustraremos com ca exemplos bem simples o seu enunciado. Na diviso euclidiana de 23 por 10 temos a Dividindo 23 por 10 ser amos tentados a fazer claro que 23 = 10.(2) + (3) mas se quizermos o resto r nas condis do teorema E ce 4.2., o quociente e o resto aqui obtidos so inadequados. O correto seria a no sentido de que 23 = 10.(3) + 7 e 0 7 < |10|

Os exemplos acima sugerem as adaptaes que devem ser feitas para estabelecermos o co algor tmo da diviso em Z a partir do algor a tmo da diviso em N. a

Prova do Teorema 3.7.2 (I) Existncia de q e r (ser dividida em 3 casos) e a (1o caso) Se n 0 e d > 0 basta aplicarmos o algor tmo da diviso em N e obtemos os a desejados q e r. (2o caso) Se n < 0 e d > 0: Pelo algor tmo da diviso em N, existem q e r N, tais que a |n| = d.q + r , e 0r<d (3.24)

Mas como |n| = n, (3.24) pode re-escrito como n = d.q + r , ou ainda n = d.q r

Temos duas situaes a analisar: (a) se r = 0, e (b) se r > 0 co

3.7. UM MICRO-CURSO DE ARITMETICA DOS INTEIROS (a) Se for r = 0, teremos n = d.(q) = d.(q) + 0 = d.q + r onde q = q e r = 0 (b) Se for r > 0, teremos n = d.q r = d.q d + d r = d.(q 1) + (d r) = d.q + r com 0 r < |d|

55

sendo q = q 1 e r = d r. Veja que 0 < r < d implica que d < r < 0, e somando d nos trs membros da desigualdade: d d < d r < d, de onde conclu e mos que 0 < r < d (3o caso) Se n qualquer e d < 0: e Pelos casos (1o ) e (2o ), como |d| > 0, existem q, r Z tais que n = |d|.q + r , D como |d| = d, vem que , n = d.(q) + r , com 0 r < |d| com 0 r < |d|

Fica assim provada a existncia dos nmeros q e r. Resta mostrar que r e q so unicos e u a (II) Unicidade de q e r Sejam n, d Z, com d = 0, e suponhamos que n = d.q1 + r1 = n = d.q2 + r2 Ento a d.(q1 q2 ) = r2 r1 |d|.|q1 q2 | = |r2 r1 | Como |r2 r1 | < |d|, temos que |d|.|q1 q2 | < |d| |q1 q2 | < 1 q1 = q2 e ento r2 r1 = d(q1 q2 ) = 0, implicando que r1 = r2 . a com 0 r1 < |d| e 0 r2 < |d|

56

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

3.7.5

Mximo Divisor Comum a

a ser desenvolvido

3.7.6

Congruncia Mdulo m em Z e o

u e Denio 3.7.3 Dados nmeros inteiros a, b e m, dizemos que a congruente (ou ca cngruo) a b mdulo m, e denotamos o o a b (mod m) se m divide a b ou ab
m

Dados a, b e m Z tem-se a b (mod m) m|(a b) a b = q.m para algum q Z

o que, por sua vez equivalente a a = b + q.m para algum q Z e


m

ca ca Proposio 3.7.3 Dado m um inteiro, relao denida em Z (chamada relao de ca congruncia mdulo m), uma relao de equivalncia, isto e o e ca e e Reexiva: a Z, Simtrica: a, b Z e Transitiva: a, b, c Z aa a b b a ab
m m m m

b c a c

Prova Sejam dados a, b, c Z, m|0 m|(a a) a a a b m|(a b) m| (a b) m|(b a) b a


m m m m m

(3.25) (3.26)

(iii) Se a b e b a isto implica que m|(a b) e m|(b c), e portanto m divide a soma m|[(a b) + (b c)], ou seja m|(a c). Consequentemente a c Vejamos agora, algumas propriedades da congruncia mdulo m e o
m

3.7. UM MICRO-CURSO DE ARITMETICA DOS INTEIROS

57

Proposio 3.7.4 Seja m um nmero inteiro xado. Dados a, b, c, d Z e n N, ca u tem-se (i) Se a b ento a + c b + c a a (ii) Se a b e c d ento a + c b + d (ii) Se a b ento a.c b.c a (iii) Se a b e c d ento a.c b.d a (iv) Se a b ento an bn a
m m m m m m m m m m m m

Prova ab
m

m|(a b)
m m

m|[(a + c) (b + c)]

a+cb+c

(3.27)

(ii) se temos a b e c d segue que m|(a b) e m|(c d), logo m divide a soma m|[(a b) + (c d)] consequentemente, a + c b + d ab
m m

m|[(a + c) (b + d)]

m|(a b)

m|(a b).c

m|(a.c b.c)

a.c b.c (3.28)

Observao 3.5 (Congruncias sem importncia) Nem todas as congruncias trazem ca e a e informao de algum interesse. Vejamos algumas congruncias sem importncia: ca e a (i) Se m = 0, a b 0|(a b) a b = 0 a = b Assim, a relao a relao de igualdade em Z ca e ca
0 0

58 (ii) Se m = 1,

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

a b 1|(a b) a b = 1.(a b) a e b so inteiros quaisquer a Logo, a, b Z, a 1 Em vista de (i) e (ii), as congruncias mdulo 0 e mdulo 1 so casos desinterese o o a santes de congruncia. e (iii) Dado m Z, e dados a, b Z, observamos que a b m|(a b) m|(a b) a b Portanto, as congruncias mdulo m e mdulo m so a mesma relao de cone o o a ca gruncia. e
m m m 1

Em virtude do observado acima em (i), (ii) e (iii), doravante s estudaremos a relao o ca para m 2

Proposio 3.7.5 Sejam a, b, m Z, m 2. Ento ca a (i) Se r o resto da diviso Euclideana de a por m, ento a r e a a (ii) Se a s e 0 s < m ento s o resto da diviso Euclideana de a por m. a e a (iii) a b a e b possuem o mesmo resto quando divididos por m.
m m m

Prova (i) Por hiptese, a = m.q + r para um certo quociente q, sendo 0 r < m. Logo, o a r = m.q m|(a r) a r (ii) Por hiptese, a s, com 0 s < m. Logo, o m|(a s) a s = m.q a = m.q + s para algum para algum qZ qZ, sendo 0s<m
m m

(mod m)

3.7. UM MICRO-CURSO DE ARITMETICA DOS INTEIROS

59

Pela unicidade do quociente e do resto no algor tmo da diviso Euclideana, conclu a mos que s o resto da diviso Euclideana de a por m. e a (iii) Sejam r1 e r2 os restos das divises Euclideanas de a e b, respectivamente, por m. o Por (i) temos que a r1 e b r2 . Logo, se r1 = r2 , por transitividade temos que a b. Reciprocamente, se a b ento a r2 (pois b r2 ). Como 0 r2 < m, por (ii) r2 o a e resto da diviso Euclideana de a por m, logo r2 = r1 . a Como exemplos de aplicaes aritmticas da congruncia mdulo m (determinaes de co e e o co restos de divises Euclideanas ). o Exemplo 1. Determinar o resto da diviso Euclideana de 236638 por 7 a
m m m m m m

60

CAP ITULO 3. O CONJUNTO Z DOS NUMEROS INTEIROS

Cap tulo 4

NUMEROS RACIONAIS
Podemos construir o conjunto dos nmeros racionais como o conjunto das solues da u co equao ca x.a = b com a Z , b Z, ou, equivalentemente, como o conjunto dos quocientes de nmeros u inteiros, isto a partir da relao de equivalncia em Z Z e ca e (a, b) (c, d) ad = cb Em que Q denimos uma adio e uma multiplicao dadas por ca ca (a, b) + (c, d) := (ad + cb, bd) (a, b).(c, d) := (ac, bd) Problema: Em Q podemos representar o nmero racional, 1, simplesmente por 1/1 ou u como uma dizima peridica 0, 9999..., mais geralmente qualquer nmero racional tem o u representao na forma de d ca zima peridica o a, b1 . . . bl a1 a2 . . . ak a qual pode ser considerada como limite de nmeros racionais representados na base u decimal com representao nita, por exemplo ca 61

62

CAP ITULO 4. NUMEROS RACIONAIS

x1 = a x2 = a, b1 . . . bl x3 = a, b1 . . . bl a1 a2 . . . ak x4 = a, b1 . . . bl a1 a2 . . . ak a1 a2 . . . ak . . . xn = a, b1 . . . bl a1 a2 . . . ak . . . a1 a2 . . . ak . . . Existem nmeros que surgem de maneira natural em problemas de mensurao e u ca que no so nmeros racionais. a a u (a) A medida da diagonal de um quadrado de lado de medida um, no um nmero a e u racional; (b) A medida da diagonal de um cubo de lado de medida um, no um nmero racional; a e u (c) O per metro de uma circunferncia de raio unitrio, no um nmero racional. e a a e u

Cap tulo 5

NUMEROS REAIS
5.1 INTRODUCAO

Genericamente falando, um dos procedimentos bsicos que adotamos em Matemtica, a a o qual tem permitido seu substancial avano e fora de credibilidade, consiste na prec c ocupao em classicar objetos que sejam matematicamente interessantes (assim como ca colecionadores de selos, gurinhas, carros, peas de arte, etc., tambm se preocupam com c e o problema da classicao, que se no for efetivada acaba transformando a coleo em ca a ca simplesmente um amontoado de coisas parecidas). Dentro desta perspectiva de classicao, aps obter uma classe interessantede objetos matemticos, sua estrutura, suas ca o a sub-partes que ainda guardam informaes interessantes, o prximo passo consiste em co o determinar quais so as transformaes que levam tais objetos interessantes em objetos a co interessantes na mesma classe, isto , quais so as transformaes que preservam proe a co priedades interessantes destes objetos, e, neste sentido, a classe destas tais transformaes co , ela mesma, interessante! Feito isto, em um segundo momento uma pergunta que se e faz como transitar de uma classe de objetos interessantes para outra classe de objetos e interessantes, de tal forma que se associe conjuntos interessantes a conjuntos, propriedades interessantes de uma classe a propriedades interessantes de outra classe e setas interessantes em setas interessantes. Essencialmente, esta a proposta de uma rea/linguagem e a denominada teoriadas categorias. Nosso procedimento, neste texto, ser essencialmente a este! Iremos, primeiramente conhecer elementos da estrutura do conjunto dos nmeros u reais, sua construo a partir dos nmeros racionais, sua estrutura topolgica (quais so os ca u o a 63

64

CAP ITULO 5. NUMEROS REAIS

subconjuntos interessantes, para a anlise, em R), estrutura de aproximao de nmeros a ca u reais (sequncias, sries e produtrios) e aps isto, vamos estudar a estrutura das funes e e o o co que preservam estas propriedades de aproximao (funes cont ca co nuas) entre outras funes co pertencentes a classes interessantes! O estudo do conjunto dos nmeros reais, exige uma abordagem completamente diferente u daquela que viemos utilizando at o presente momento. Nossas construes deixaro de e co a ter uma fundamentao essencialmente aritmtica a se tornaro anal ca e a ticas por excelncia: e o cerne da estrutura dos nmeros reais consiste no fato de que cada nmero real um u u e limite de nmeros racionais e reciprocamente, sequncias de Cauchy de nmeros racionais u e u se acumulam (de fato, convergem) sobre entidades que denominaremos nmeros reais. u

5.2

Construo de R ca

Nesta seo apresentaremos uma das poss ca veis construes para o conjunto dos nmeros co u reais, a partir dos nmeros racionais, mais precisamente, a partir de sequncias de nmeros u e u racionais que, apesar de no necessariamente convergirem para um nmero racional, posa u suem seus termos de ordem alta arbitrariamente prximos. o Seja (Q, +, ., ) o corpo ordenado dos nmeros racionais. Se chama sucesso (sequncia) u a e em Q a toda aplicao ca x:NQ Se x uma sucesso em Q e x(n) = xn , para todo n N, x ser representada por e a a claro que podemos construir sequncias com entradas aleatrias, o que consiste (xn )nN E e o tambm em uma classe bastante interessante de sequncias. Contudo, no nosso caso, e e estamos interessados em considerar sequncias que possuam um comportamento bastante e controlado, no sentido denido a seguir.

Denio 5.2.1 (Sequncias de Cauchy) Uma sucesso, (xn )n em Q dita ser de ca e a e Cauchy se para todo r Q+ existe um n0 N tal que para todo par m, n N com m, n n0 se verica |xm xn | < r. Tendo denido uma classe interessante de sucesses (sequncias de Cauchy) natural o e e colecionar todas tais sequncias. Denotaremos por CQ ao conjunto de todas as sucesses e o

5.2. CONSTRUCAO DE R de Cauchy de nmeros racionais, i.e. u CQ = {(xn )n ; xn Q e (xn )n de Cauchy} e

65

Proposio 5.2.1 (Propriedades operacionais de sequncias de Cauchy e limitao) ca e ca

(a) Toda sucesso de Cauchy, (xn ) limitada (isto , existe a Q+ tal que |xn | a para a e e todo n N) (b) Se (xn )n , (yn )n so sequncias de Cauchy de nmeros racionais ento (xn )n , (xn + a e u a yn )n e (xn .yn )n so sequncias de Cauchy. a e

Prova (a) Se (xn ) sucesso de Cauchy ento (xando-se r = 1, por exemplo) tem-se que existe e a a n0 N, tal que para todo m, n n0 tem-se |xm xn | < 1. Em particular pondo-se n = n0 segue que ||xm | |xn0 || |xm xn0 | < 1 implicando que 1 |xn0 | < |xm | < 1 + |xn0 |, para todo m n0

Assim, tomando-se a = max{|x1 |, . . . , |xn0 1 |, 1 + |xn0 |} tem-se que |xn | a para todo n N. (b) E imediato que se (xn )n de Cauchy ento (xn )n tambm o (|xn xm | = |(xn ) e a e e (xm )|). Para provar que soma de sequncias de Cauchy sequncia de Cauchy, dadas (xn ), (yn ) e e e CQ e dado se tenha |(xm + ym ) (xn + yn )| = |(xm xn ) + (ym yn )| |xm xn | + |ym yn | < r/2 + r/2 = r Q+ tome n1 , n2 N tal que para todo m, n n1 e todo k, l n2 , tenha-se que |xn xm | < r/2 e |yk yl | < r/2. Escolha n0 = max{n1 , n2 } para obter que m, n n0

66 ou seja (xn + xn )n CQ .

CAP ITULO 5. NUMEROS REAIS

Para provar que se (xn ), (yn ) CQ ento a sequncia produto (xn yn ) CQ tome a, b Q+ a e tais que xn < a e yn < b para todo n N e para r Q+ dado, escolha n1 , n2 N tais que para todo m, n N e todo k, l N tenha-se |xn xm | < r/2b e |yk yl | < r/2a (tais naturais n1 , n2 existem pois (xn ) e (yn ) so sucesses de Cauchy. Tome agora n0 = max{n1 , n2 }, a o ento para todo par m, n n0 vale que a |xn yn xm ym | = |xn yn xm yn + xm yn xm ym | = |(xn xm )yn + xm (yn ym )| |(xn xm )||yn | + |xm ||(yn ym )| |(xn xm )|b + a|(yn ym )| r r b+a = r. 2b 2a Denio[Sucesso Nula] Uma sucesso (xn )n em Q se chama sucesso nula, se para todo ca a a a r Q+ existe n0 N tal que para todo n N com n n0 verica-se que |xn | r.

Proposio 5.2.2 (Propriedades operacionais das sucesses nulas) Sucesses nuca o o las satisfazem `s seguintes propriedades: a 1. Toda sucesso nula uma sucesso de Cauchy (o rec a e a proco no verdadeiro) a e 2. Se (xn ) uma sucesso de Cauchy no nula e xn = 0 para todo n N, ento (x1 ) e a a a n uma sucesso de Cauchy e a 3. Se (xn ) e (yn ) so sucesses nulas de nmeros racionais, ento (xn ), (xn + yn ) so a o u a a sucesses nulas o 4. Se (xn ) uma sucesso limitada e (yn ) uma sucesso nula, (xn yn ) uma sucesso e a e a e a nula.

Prova Vamos provar (2) e (4) cando os demais itens como exerc cio. Prova de (2): Se (xn ) no nula, existe r1 Q+ tal que para todo natural n1 , sempre se e a pode encontrar n n1 vericando |xn | > r1 . Para este r1 , como (xn )n de Cauchy, existe e

5.2. CONSTRUCAO DE R

67

n2 N tal que para todo par k, l N, k, l n2 vale que |xk xl | < r1 /2 implicando que: ||xk | |xl || |xk xl | < r1 2 ou |xl | r1 r1 |xk | |xl | + 2 2

Em particular tomando-se l = n, temos |xl | > r1 /2 e consequentemente: r1 r1 r1 = r1 < |xk | < r1 + 2 2 2 portanto, para todo n n2 temos que |xn | r1 /2, ou 1 2 < |xn | r1 Finalmente, dado Q+ , usando mais uma vez o fato de que (xn ) de Cauchy, obtemos e
2 r1 2

n0 N, com n0 n2 tal que para todo par m, n n0 verica-se que |xm xn | < donde vem que: | 1 1 xm xn |xm xn | r2 1 r2 2 2 |=| |= < 1 < 1. . = xn xm xm xn |xm ||xn | 2 |xn ||xm | 2 r1 r1

Logo (1/xn )n de Cauchy. e Prova de (4): Como (xn )n limitada (no necessariamente de Cauchy) existe M Q+ e a tal que |xn | < M para todo n N. E como (yn )n sucesso nula, dado r > 0 poss e a e vel obter n0 N tal que para todo n n0 tem-se que |yn | < r/M . Disto, segue-se que |xn yn | = |xn ||yn | M |yn | < M r = r, M n n0 .

Seja CQ o conjunto das sucesses de Cauchy de nmeros racionais. Ento a relao binria o u a ca a denida por (xn ) (yn ), se (xn yn )n sucesso nula e a

uma relao de equivalncia em CQ . e ca e prova reexiva: Dada (xn )n CQ tem-se que (xn xn )n sequcia nula (alguma dvida?); e e e u

68

CAP ITULO 5. NUMEROS REAIS

simtrica: Se (xn ) (yn ) ento (xn yn ) nula e tambm ((xn ) (yn ))n = e e a e (yn xn )n nula consequentemente (yn ) (xn ); transitiva: Se (xn ) (yn ) e (yn ) (zn ) ento (xn yn )n e (yn zn )n so nulas. e a a Como a sequncia da soma de duas sequncias nulas tambm sequncia nula segue que e e e e e ((xn yn ) + (yn zn ))n = (xn zn )n logo (xn ) (zn ). Denotaremos por R ao conjunto quociente CQ / e o denominaremos conjunto dos n meros reais. Cada classe de equivalncia = [(xn )n ] ser denominada nmero real. u e a u Em CQ podemos denir a lei de composio interna, denotada por +: ca (xn )n + (yn )n =(xn + yn )n (observe que (xn + yn )n CQ ) Na notao acima, notamos que (yn ) [(xn )] se, e s se, (yn )n = (xn )n + (zn )n , onde (zn )n ca o nula. e Propriedade de +: 1. (CQ , +) um grupo abeliano; e 2. Se (xn ) (xn ) e (yn ) (yn ) ento vale que a (xn + yn )n (xn + yn )n Em CQ tambm podemos denir a lei de composio interna, denotada por .: e ca (xn )n .(yn )n =(xn .yn )n (novamente, observe que (xn .yn )n CQ ) Propriedades de (CQ , +, .): 1. (CQ , +) um anel comutativo com elemento unidade; e e a a a 2. Se (xn )n CQ uma sucesso no nula com xn = 0, n N, ento (xn )n tem um inverso em (CQ , +, .); sequncia nula e e

5.2. CONSTRUCAO DE R a 3. Se (xn ) (xn ) e (yn ) (yn ) ento vale que (xn + yn )n (xn + yn )n Seja + (respectivamente, .) a lei de composio interna em R denida por ca + = (resp., . = )

69

onde a classe de equivalncia da sucesso (xn + yn )n (resp., (xn .yn )n ) se (xn )n , e e a (yn )n (observe que + e . esto bem denidos). Nestas condies tem-se que o terno a co (R, +, .) um corpo. e Uma sucesso de nmeros racionais dita ser positiva se existem a Q+ e n0 N tais a u e que para todo n N com n n0 tem-se xn a. Propriedade: Se (xn )n , (yn )n CQ so sucesses positivas ento (xn + yn )n e (xn yn )n a o a tambm o so. e a Seja < a relao binria em CQ denida por (xn )n < (yn )n se (yn xn )n uma sucesso ca a e a positiva. Propriedades 1. < uma relao transitiva em CQ ; e ca 2. Se (xn ), (yn ), (zn ) CQ e (xn ) < (yn ) ento se verica que a (xn ) + (zn ) < (yn ) + (zn ) e a a 3. Se (xn ), (yn ), (zn ) CQ , (xn ) < (yn ) e (zn ) uma sucesso positiva, ento se verica que (xn ).(zn ) < (yn ).(zn ) 4. Se (xn ), (yn ) CQ so tais que (xn ) positiva e (yn ) nula ento se verica que a e e a (xn + yn ) positiva e e a a a e e 5. Se (xn ) CQ uma sucesso no nula ento, ou (xn ) positiva, ou (xn ) o .

70 Seja < a relao binria em R denida por < se ca a (xn )n < (yn )n

CAP ITULO 5. NUMEROS REAIS

onde (xn )n , (yn )n (observe que < est bem denida!). Nestas condies tem-se a co que (R, +, ., <) um corpo ordenado e arquimediano, isto : e e

ca a Denio 5.2.2 (Corpo Ordenado) Seja (K, +, .) um corpo e uma relao binria ca sobre K. Diremos que (K, +, ., ) um corpo ordenado se as seguintes propriedades e so vericadas: a 1. a a para todo a K; 2. Se a, b K, e a b, b a ento a = b; a 3. Dados a, b, c K, se a b e b c, ento a c; a 4. Para todo a, b K ento, ou a b, ou b a; a 5. Para todo a, b K, com a b e para todo c K, se tem que a + c b + c 6. Para todo a, b K, com a b e para todo c K, com 0 c se tem que ac bc

Denio 5.2.3 (Condio Arquimediana) Um corpo ordenado (K, +, ., ) se chama ca ca arquimediano se para todo , K com 0 < < , ento existe n N tal que a n <

(verique que, de fato (R, +, ., <) arquimediano) e Em R existe uma cpia isomorfade Q, isto , denindo a aplicao o e ca : Q R r

5.2. CONSTRUCAO DE R

71

onde a classe da sucesso (xn )n , xn = r, para todo n N. Ento tem-se que um e a a e homomorsmo injetivo de corpos, i.e. (a + b) = (a) + (b), e injetivo como funo, ou ainda e ca ker() = {c Q; (c) = 0} = {0} onde 0 a classe das sequncias nulas e e Denio 5.2.4 (Supremo & ca Inmo) Em um corpo ordenado K, seja X K um subconjunto: 1. Dizemos que um elemento a K uma cota superior para X se x a para todo e x X; 2. Dizemos que um elemento b K uma cota inferior para X se b x para todo e x X; 3. Se X possui cota superior dizemos que X limitado superiormente, se X possui cota e inferior, dizemos que X limitado inferiormente e se X possui cotas inferiores e e superiores, dizemos que X limitado; e 4. Se X = , um conjunto limitado superiormente, ento a menor de suas cotas e a superiores denominada supremo de X e denotada por sup X; e 5. Se X = , um conjunto limitado inferiormente, ento a maior de suas cotas e a inferiores denominada e nmo de X e denotada por inf X; (ab) = (a)(b)

Observao em Q no verdade que todo subconjunto no vazio e limitado superiormente ca a e a possua supremo, por exemplo no possui supremo em Q o seguinte conjunto: a [0, 2] Q Diferentemente do que ocorre no corpo dos racionais, em R temos o

72

CAP ITULO 5. NUMEROS REAIS

Teorema 5.2.1 (R completo) Todo subconjunto no vazio e limitado superiormente e a de nmeros reais possui supremo. u

Prova Seja X R um subconjunto no vazio de nmeros reais, e U uma cota superior para a u X. Substituindo por um valor maior, se necessrio, podemos assumir que U racional. a e Como S no vazio, existe um nmero racional L Q tal que L < s para algum s em S. e a u Agora dena uma sequncia de racionais (un ) e (ln ) como segue: e 1. Ponha u0 = U e l0 = L. Para cada n considere o nmero: u mn = (un + ln )/2 Se mn uma cota superior para X dena: e un+1 = mn Caso contrrio ponha: a ln+1 = mn e un+1 = un e ln+1 = ln

Esta construo dene duas sequncias de Cauchy de racionais, e desta forma temos ca e nmeros reais l = (ln ) and u = (un ). Prove por induo em n que: u ca un um limitante superior para X para todo n e e: ln nunca limitante superior para X para todo n e Assim u um limitante superior para X. Para ver que o menor limitante superior, e e observe que o limite de (un ln ) 0, e portanto l = u. Agora suponha que b < u = l. e Como (ln ) montona crescente segue que b < ln para algum n. Mas ln no um limitante e o a e superior para X assim tambm no o ser b. Logo u o menor limitante superior para X. e a a e

5.2. CONSTRUCAO DE R

73

5.2.1

MODULO

Denio 5.2.5 Dado um nmero real seu mdulo o nmero real denotado por || e ca u o e u denido por || = max{, }. Proposio 5.2.3 O mdulo de um nmero real verica as seguintes propriedades ca o u 1. Se x 0 (resp. x 0), tem-se que |x| = x (resp. |x| = x); c 2. A condiao |x| = 0 equivale a x = 0; 3. A condiao |x| < y (resp |x| y) equivale a y < x < y (resp. y x y); c 4. |x + y| |x| + |y|; 5. ||x| |y|| |x y|; 6. |xy| = |x||y| Prove!!!