Você está na página 1de 17

Captulo 1 Os Nmeros

1.1 Notao
Nmeros naturais: N = {1,2,3,...}, mas existem vrios autores considerando N = {0,1,2,3,...}. Por isso, recomendado dizer nmeros positivos, nmeros no negativos, etc. sempre que possvel, para evitar confuses. Nmeros inteiros no negativos: Z
+

= {0,1,2,3,...}. No caso do conjunto dos nmeros que pode ser decomposto em positivo, negativo e zero, o sinal + na parte inferior indica o positivo mais o zero (no negativo) e o sinal de menos indica o negativo mais o zero (no positivo). Nmeros dos nmeros inteiros usado positivos: para eliminar Z
+

= {1,2,3,...}. o zero. O smbolo na parte superior do conjunto No caso geral, o conjunto (subconjunto do anel) sem o divisor de zero, o que no discutiremos aqui. Nmeros inteiros: Z = {...,3,2,1,0,1,2,3,...}. Nmeros racionais: Q = {m n : m, n Z,n = 0, a b
=cd

ad = bc}. Nmeros reais: R. Nmeros complexos: C = {x + iy : x, y R,i2 = 1}.

1.2 Nmeros naturais (inteiros positivos)


O nmero natural (no sentido de inteiro positivo) associado ao nmero de elementos do conjunto finito no vazio. O nmero de elementos do connjunto denominado de cardinalidade, o que no discutiremos os detalhes. O costume denotar a cardinalidade do conjunto X por #X, mas card(X) tambm usada. Se X e Y so conjuntos finitos (no vazios) e dijuntos (interseco vazia), #(XY )=#X+#Y define a soma que est associada ao nmero de elementos da unio dos conjuntos. O produto associado ao nmero de elemento do conjunto cartesiano, isto , se X e Y so conjuntos finitos dijuntos, ento #(X Y ) = (#X)(#Y ).

A adio no possui o elemento nulo, nem o elemento oposto, mas como vale a lei de cancelamento para adio, podemos definir a subtrao parcial. Ajudado pelo produto que tambm vale a lei de cancelamento, podemos efetuar clculos com facilidade. Apesar da construo intuitiva dos inteiros positivos e suas operaes obtidas atravs da cardinalidade do conjunto ser simples, a formalizao matemtica no dos mais simples. Em geral, a construo formal do nmero natural e suas operaes da soma e do produto so efetuados pelo axioma de Peano. A construo formal do objeto que satisfaz o axioma de Peano relativamente simples. O nome nmeros naturais deve se ao fato de ser associado naturalmente 1

CAPTULO 1. OS NMEROS 2 ao objeto concreto (cardinalidade do conjunto no vazio). O conjunto dos nmeros naturais denotado por N.

1.3 Nmeros Inteiros no negativos


Devido a praticidade, existem vrios autores que adotam o nmero no negativo como sendo nmero natural, mas o nmero zero o primeio nmero abstrato adotado na histria devido a sua praticidade. A adoo do nmero 0 no foi imediato, por conjunto vazio (associado ao nmero 0) ser um conceito abstrato. Abstrato significa que no podemos mostrar, mas precisamos convencer que existe. A primeira dificuldade observada na operao dos nmeros naturais a ausncia do elemento neutro na adio. Observando que N no apresenta o elemento nulo, definimos o conunto {0} N de nmeros inteiros no negativos e extendemos a soma por 0 + n = n +0= n para todo inteiro positivo n e tambm a regra 0+0=0. Usando as propriedades da soma, podemos provar que 0n = 0. A operao continua fechada e mantm suas propriedades. Como j discutido, alguns autores chamam o conjunto dos nmeros inteiros no negativos de nmeros naturais e denotam por N, o que requer cuidados adicionais quando menciona o conjunto dos nmeros naturais.

1.4 Nmeros inteiros


O nmero inteiro foi o segundo passo dos nmeros abstratos para completar operao de soma. O objetivo principal completar a operao de subtrao que s pode ser feito parcialmente no conjunto dos nmeros inteiros no negativos. Definimos o conjunto Z = (N) {0} N onde N = {n : n N} um novo conjunto, denominado de conjunto dos nmeros negativos. Definimos a soma entre nmeros positivos e negativos por n+(n)=(n)+n = 0. Extendendo a operao de soma e do produto para manter suas propriedades vlidas, podemos provar vrias propriedades conhecidas tais como ((m)+(n) = (m + n), (a)(b) = ab, etc.

1.5 Nmeros Reais e Complexos


O conunto dos nmeros racionais obtido, extendendo o inteiro de forma que permite efetuar a diviso. usando Q = a relao {a
b

: (a, b) de equivalncia. Z Z, a b Continuar = c


d

ad = bc} pode ser formalizado de forma simples, existindo a ordem coerente com a operao, mas no ser mais de boa ordem.

At os nmeros racionais, a preocupao completar a operao (lgebra), mas o conjunto dos nmeros reais obtido de forma a ter continuidade (sem pontos faltando entre eles) que uma das propriedades topolgicas. Para construir, requer tcnicas mais sofisticadas que dos casos anteriores. O conjunto dos nmeros complexos obtido, completando algebricamente para ter raiz de qualquer polinmio. Com esta extenso, ser perdido a ordem coerente com a operao. Exitem forma de definir produto em R4 e R8, denominados de quatrnios e octnios, mas perder alguma das proriedades sobre o produto. Isto deixa em dvida, se ainda pode ser chamado de nmeros.

Captulo 2 Axioma dos Nmeros Inteiros


2.1 Axioma da soma e do produto nos nmeros inteiros
A operao nos nmeros inteiros apresenta vrias propriedades interessantes. A operao da soma est completa e o produto que est quase completa. Dai podemos levantar a questo da unicidade dos inteiros, isto , se o conjunto tiver operao com a mesma propriedade do nmero inteiro, o conjunto do nmero inteiro? Se no for, quais propriedades precisam ser acrescentados? Isto equivale a perguntar as propriedades essenciais para inverter o processo de construo, decompondo na forma (P) {0} P onde P = N = {1,2,3,...} que o conjunto das somas de 1, e P = {n : n P}. Dizemos que n uma soma de 1 quando n = 1 ou n = m+1 onde m uma soma de 1. Esta forma recursiva de definir deve se ao axioma de Peano ainda no apresentada. Note que os nmeros naturais so somas de 1. O inteiro apresenta a soma com propriedades completa. Axioma 2.1 (soma). Em Z, est definido uma operao binria denominada de soma que associa um nico valor a + b para cada inteiro a e b. a, b, c Z, a soma satisfaz a + b Z (fechamento). a + b = b + a (comutatividade). (a + b) + c = a + (b + c) (associatividade). 0 Z : a +0=0+ a = a (elemento neutro da soma, denominado de elemento nulo). a Z : a + (a) = (a) + a (elemento inverso da soma, denominado de elemento oposto). Quando definimos a soma no conjunto, espera-se que seja fechada, comutativa e associativa. Por soma ser comutativa, a+0= a implica que 0 + a = a. Razo de estar colocando ambas para enfatizar o fato da operao nem sempre ser comutativa, como no caso de alguns produtos (por exemplo, produto das matrizes) onde precisamos explicitar que o elemento neutro deve valer em ambos lados. No caso do elemento oposto (elemento inverso da soma) similar. A razo de adotar 0 devido a unicidade do elemento nulo, e o uso de a pela unicidade do elemento oposto associado a a. Estas unicidades podem ser provados facilmente no caso geral, como segue. O elemento neutro e da operao D deve satisfazer aDe = eDa = a para todo elemento do conjunto. Obviamente, se tem o elemento neutro, a operao fechada.

Proposio 2.2 (Unicidade do elemento neutro). Numa operao binria, o elemento neutro, caso exista, nico. 3

CAPTULO 2. AXIOMA DOS NMEROS INTEIROS 4 Demonstrao. Suponhe que aDb define uma operao binria e temos dois elementos neutros e e e . Ento temos que e = eDe por e ser elemento neutro, mas eDe = e por e ser elemento neutro. Assim, no pode haver mais de um elemento neutro. No caso do elemento oposto, podemos provar que o elemento inverso de qualquer operao binria associativa nico. Para ter elemento inverso, precisamos ter elemento neutro. Se e elemento neutro da operao D, b inversa de a na operao D quando aDb = bDa = e. Proposio 2.3 (Unicidade do elemento inverso). Numa operao binria associativa, o elemento inverso de cada elemento, caso exista, nico. Demonstrao. Suponhe que aDb define uma operao binria associativa e e o elemento neutro. Se b e b so elementos inversos de a, temos que bDa = e e aDb = e. Assim, b = bDe = bD(aDb ) = (bDa)Db = eDb = b . Assim, no pode haver mais de um elemento inverso. Exerccio 2.1. Reescreva as demonstraes usando a notao de soma para provar que elemento nulo nico e para cada elemento, o oposto nico. Tambm prove que matriz identidade nico e tambm que, se a matriz A tiver a inversa, A1 nica. Exerccio 2.2. Mostre o cancelamento da adio, isto , se a+x = a+y ento x = y. Reescreva a demonstrao e prove que, se a tem a inversa relativaemente a operao D, ento aDx = aDy implica x = y. Observao 2.4. Note que nem toda operao binria associativa. Por exemplo, a(bc) = (
ab

)
c

para o caso geral. Exerccio 2.3. Mostre que a potnciao ab no tem elemento neutro. Exerccio 2.4. Discuta porque no tem sentido dizer no elemento inverso na potenciao. embrando que a radiciao uma operao inversa da potenciao, discuta sobre a diferena entre elemento inverso e a oprao inversa. Para simplificar, denotaremos a + (b) por a b. Exemplo 2.5. Para todo inteiro, (a) = a. De fato, se x = a, temos que x + a = 0 de onde a = x. Mas x = (a). Observe que o argumento serve para provar que, em qualquer operao binria, se existir o inverso de um elemento, o inverso do inverso ele mesmo. Como exerccio, mostre que (A1)
1

= A para toda matriz invertvel. O inteiro tambm tem a operao de produto, quase to boa quando da soma. S no tem o elemento inverso, mas vale a lei de cancelamento. Axioma 2.6 (produto). Em Z, est definido uma operao binria denominada de produto que associa um nico valor a b para cada inteiro a e b. a, b, c Z, o produto satisfaz a b Z (fechamento). a b = b a (comutatividade). (a b) c = a (b c) (associatividade). a (b + c) = a b + a c e (a + b) c = a c + b c (distributividade)

CAPTULO 2. AXIOMA DOS NMEROS INTEIROS 5 1 Z : a 1=1 a (elemento neutro do produto, No caso de Z, denominamos de elemento unidade). a = 0,a x = a y = x = y (cancelamento do produto). Quando definimos o produto no conjunto que j tem a soma, espera-se que seja distributiva. Mesmo que o produto no seja muito bom, a distributividade permite xomplementar a soma nos clculos. Veja por exemplo, o caso da potenciao que nem associativa, ser importante por estabelecer relao entre a soma e o produto. Quando o produto for comutativo, a (b + c) = a b + a c implica que (a + b) c = a c + b c (prove), mas estamos colocando ambas, para enfatizar que no caso no comutativo (como no caso do produto de matrizes), distributividade deve valer para ambos lados. O uso de 1 para elemento unidade por ter no mximo um elemento neutro em qualquer oeprao binria (caso exista, nico) como j discutido na soma. Apesar de no ter elemento inverso no produto, o cancelamento permite manipular expresses com facilidade. No caso de nmeros, omitimos o com frequncia quando no h ambiguidade, e o produto entre dois nmeros arbicos costuma ser denotado por em vez de como em 2+2=22 = 22 = 4 . Exerccio 2.5. Mostre que o cancelamento do produto equivalemnte a afirmao ab = 0 se, e somente se, a = 0 ou b = 0. Exemplo 2.7. Temos que 0a = 0, pois 0a = (0 + 0)a = 0a + 0a, o que implica que 0a 0a = (0a + 0a) 0a = 0a + (0a 0a)=0a. Assim, 0=0a.

Exemplo 2.8. Temos que (a)b = ab.


Soluo. Para mostrar que oposto de ab, basta mostrar que a soma com ab nulo. Mas, ab + (a)b = (a a)b = 0b = 0.

Exerccio 2.6. Mostre que (a)(b) = ab.

2.2 Separando os nmeros positivos


As propriedades da soma e do produto no so suficientes para caracterizar o nmero inteiro. Na prtica, no suficiente, nem para separar os nmeros do resto do conjunto. Por exemplo, a soma e o produto dos polinmios tem mesma propriedade dos nmeros inteiros. Caso da matriz quadrada j estar excluida, devido a popriedade multiplicativa, pois no produto matricial, nem sempre vale o cancelamento. Para separar alguns conjuntos numricos, observemos que os nmeros inteiros, nmeros racionais e nmeros reais podem ser separados em positivos, negativos e zero. Se observar bem o que valem para nmeros positivos (e negativos), podemos estabelecer o axioma do positivo. Separar positivo equivalente a estabelecer uma ordem compatvel com as operaes.

Axioma 2.9 (positivo). Existe um conjunto P Z fechado para soma e para o produto (a, b Z = a b, a + b Z) tal que, para todo inteiro n, vale a tricotomia (vale uma delas e somente uma delas). aP a=0 a P

CAPTULO 2. AXIOMA DOS NMEROS INTEIROS 6 Quando tem o conjunto P como acima, denominado de conjunto dos positivos, podemos estabelecer uma ordem em Z, associada a P como sendo a<b b a P. Quando a<b, dizemos que a menor que b. Quandoa<b ou a = b , dizemos que a menor ou igual a b e denotamos por a b. Naturalmente, a maior que b denotado por a>b definido como sendo b<a e a maior ou igual a b denotado por a b definido como sendo b a. bivio que a > 0 a P (prove) e a>b b a P. Exemplo 2.10. Mostre que, se a < 0 e b > 0 ento ab < 0. Exerccio 2.7. Mostre que, se a < 0 e b < 0 ento ab > 0. Exemplo 2.11. Para todo inteiro a = 0, temos que a2 > 0. De fato, se a > 0, temos que a2 > 0 pelo fechamento do produto em P. Se a < 0, temos que a > 0. Assim, (a)(a) = a2 > 0 novamente pelo fechamento do produto em P. Exerccio 2.8. Mostre que, se a < 0 e b > 0 ento ab < 0. Exerccio 2.9. Mostre que, se a > 1 e b > 0 ento ab > b. Exerccio 2.10. Usando o exerccio acima, prove que 2 no um produto de dois inteiros positivos maior que 1. Repita para 3. Exerccio 2.11. Argumente porque 1 + + 1 = 0 (soma finita de 1's nunca nulo).

Exerccio 2.12. Seja mento nulo


e elemento Z 2 0 { com a neutro do produto 0, 1} operao 1. de adio e multiplicao comutativas, com eleSendo + 1 = 1 as propriedades de adio e da multiplicao so mesmos do inteiro. Mostre que no existe o 0, positivo em Z
2

. Exerccio 2.13. Generalizando o problema acima, justifique que, se a soma finita a++a = 0 para algum inteiro positivo a, ento no pode existir o positivo no conjunto. Quando possvel separar os nmeros positivos como em Z, Q e R, podemos definir o valor absoluto como sendo |a| =

{ a a , ,a< a 0 0 . Obviamente, a,|a| P. Exerccio 2.14. Mostre que |a| 0 e |a| = 0 a = 0. Exerccio 2.15. Mostre que se |a| = |b| ento a = b.

Exerccio 2.16. Mostre que |a| a |a|


Exerccio 2.17 (intervalo). Mostre que |a| < b b<a<b. Exerccio 2.18 (desigualdade triangular). Mostre que |a + b||a| + |b|. Observao 2.12. Valor absoluto pode existir no conjunto que no pode serpara o positivo como no caso de C na qual a norma (denotado por duas verticais em vez de uma, e tem as propriedades levemente diferente do valor absoluto) um valor absoluto. Como curiosidade, ainda no excluimos os polinmios. Se considerar o conjunto dos polinmios inteiros com coeficientes inteiros, podemos escolher P como sendo o conjunto dos polinmios com coeficiente de maor grau positivo. Esta particularidade devido ao fato do polinmio herdar vrias propriedades algbricas de seus coeficientes.

CAPTULO 2. AXIOMA DOS NMEROS INTEIROS 7

2.3 A ordem no conjunto dos inteiros positivos


Para distinguir o conjunto dos nmero inteiros vom o outro conjunto, observemos que a ordem em P bem especial, diferente dos nmeros racionais e dos reais. No conjunto dos nmeros inteiros positivos, todo subconjunto tem o menor elemento. Definio 2.13. Uma ordem no conjunto denominado de boa ordem quando todo subconjunto no vazio tem o menor elemento. Axioma 2.14 (inteiro positivo). A ordem estabelecida em Z por P, induz uma boa ordem em P. Com os axiomas at agora, possvel mostrar que parte positiva do inteiro o conjunto das somas de 1. (isto , so os nmeros naturais). Lembrando que estamos considerando que n soma de 1 quando n = 1, ou n = m+1 onde m uma soma de 1. Proposio 2.15. 1 o menor inteiro positivo. Demonstrao. Inicialmente, observe que 1=12 > 0. Agora precisamos provar que ele o menor positivo. Como P um subconjunto de P, ele deve ter o menor elemento. Suponhe por absurdo que o menor elemento de P a < 1. Ento temos 0 <a< 1. Como a2 > 0, afirmamos que a2 < a. De fato, a a2 = a(1 a) > 0 pois a > 0 e 1 a > 0 (por a < 1). Logo, 0 < a2 < a, contradizendo o fato de a ser o menor positivo, o que absurdo. A demonstrao acima, denominado de demonstrao por absurdo bastante usada quando no consegue uma demonstrao construtiva (direta). Com a prtica, consegue identificar maioria dos problemas que precisam ser demonstrados por absurdo. Exerccio 2.19. Mostre que, para todo inteiro n, no existe inteiro a tal que n<a<n + 1. Proposio 2.16. P formado pelas somas de 1. Demonstrao. Suponhe por absurdo que exista inteiro positivo maior que 1, e que no seja soma de 1. Seja A, o conjunto destes inteiros positivos. Como A P e P tem a boa ordem, A possui o menor elemento a A. Ento a 1 / A e consequntemente, existe inteiro n que uma soma de 1 tal que a 1 < n. Ento a<n + 1, o que quer dizer que a menor que alguma soma de 1. Considere o conjunto de todos os inteiros positivos que soma de 1, mas que seja maior que a. Ento ele tem o menor elemento m > 1 (note que a > 1). Assim, temos m 1 a<m, o que absurdo por m 1 uma soma de 1.

2.4 O Axioma de Peano


Para demonstraes das propriedades relacionados ao nmero natural (no sentido de inteiro positivo), costuma recorrer ao axioma de Peano. O axioma de Peano determina exatamente o conjunto dos nmeros naturais na qual permite definir ordem, soma e produto unicamente determinada.

Axioma 2.17 (Peano). O conjunto dos nmeros naturais caractelizado por Todo nmero natural n possui o sucessor denotado por s(n) tal que s(m) = s(n) = m = n. Existe um nico elemento que no sucessor, denotado por 1. Se X um subconjunto dos nmeros naturais tal que 1 X e n X = s(n) X ento X o prprio conjunto dos nmeros naturais.

CAPTULO 2. AXIOMA DOS NMEROS INTEIROS 8 O axioma de Peano determina uma ordem natual no conjunto por n < s(n). Esta ordem uma boa ordem. Uma das mais importantes consequncias do axioma de Peano o Teorema da induo finita. Para simplificar, denotaremos s(n) = n + 1 na qual ter sentido quando definir a soma coerente com o axioma de Peano. Teorema 2.18 (primeiro princpio da induo finita). Se p(n) uma propriedade sobre nmero natural n tal que p(1) verdadeira. Se p(n) verdadcdeira, ento p(n + 1) verdadeira. Ento p(n) verdadeira para todo nmero natural. Demonstrao. Seja X = {n N : p(n) verdadeira} ento 1 X e n X = n + 1 X pela hiptese (suposio). Pelo axioma de Peano, X = N. Usando o princpio da induo finita, podemos definir ou provar a propriedade sobre nmeros naturais de forma expecial, denominado de forma indutiva. Por exemplo, a adio e a multiplicao so definidas indutivamente por n +1=s(n) e m + (n +1)=(m + n)+1 m 1 = m e m (n + 1) = m n + m. Com isso, a operao ficar definido para todo nmero natural devido ao princpio da induo finita e podemos provar as suas propriedades atravs da induo finita. Da forma anloga, podemos definir indutivamente a potenciao por m1 = m e mn+1 = mn m. Tambm possvel provar por induo que N tem a boa ordem, o que deixaremos de lado. No entanto, se tomar s(n) = n + 1em P dos nmeros inteiros positivos, veremos que tem mesma adio, produto e ordem que dos nmeros naturais. Logo, para ser o mesmo, basta satisfazer o axioma de Peano. Teorema 2.19. O conjunto dos nmeros inteiros positivos o conjunto dos nmeros naturais. Demonstrao. Vamos verificar o axioma de Peano em P. Como P fechado pela adio e 1 > 0, para todo n > 0, n + 1 > 0 e temos que m +1= n +1 = m = n pelo cancelamento da adio. O elemento 1 no sucessor do inteiro positivo, pois n+1=1 = n = 0 e 0 no positivo. Como todo inteiro positivo n pode ser escrito na forma n = (n1) + 1, todo inteiro positivo n maior que 1 sucessor do inteiro positivo n 1. Logo, 1 o nico que no sucessor. Se X um subconjunto com 1 X e n X = n + 1 X ento X exatamente o conjunto das somas de 1, que o conjunto dos inteiros positivos. Usando o princpio da induo finita, podemos definir/provar para todo inteiro positivo. Como inteiro decompe em positivo, negativo e zero, alguns ajustes permite demonstrar para todo inteiro. Exerccio 2.20. Usando a induo finita, prove

1. A frmula para soma de P.A. (progresso aritmtica). 2. A frmula para soma de P.G. (progresso geomtrica). 3. am+n = am an para m,n > 0 (usar a definio indutiva da potncia comentada anteriormente). 4. Definir indutivamente o n! e provar que 2n1 n! < nn para n > 1. 5. 1+2+22 + + 2k = 2k+1 1 (representao binria).

Você também pode gostar