Conjuntos num ericos

Conjuntos num ericos

Ana Carolina Boero
E-mail: ana.boero@ufabc.edu.br P agina: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo Andr e

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Como eles s ao apresentados na escola?

Na escola, somos apresentados a diversos tipos de n umeros: naturais, inteiros, racionais, reais e complexos. Os n umeros naturais aparecem vinculados a problemas de ordena c ao e contagem; os n umeros inteiros, a problemas que envolvem diferen cas e os n umeros racionais a problemas que envolvem divis oes. E quanto aos n umeros reais? Na escola:
somos convencidos da necessidade de engordar o conjunto dos

n umeros racionais;

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Como eles s ao apresentados na escola?

assumimos que existe um conjunto que cont em os racionais e

n umeros como 2 e , no qual podemos continuar somando, subtraindo, multiplicando e dividindo, al em de comparando; os elementos deste conjunto s ao denominados n umeros reais. Observa c ao: 2 e raiz do polin omio x 2 2; n ao existe polin omio (n ao nulo) com coecientes racionais do qual seja raiz.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Como eles s ao apresentados na escola?

Al em disso:
somos ensinados a representar os n umeros naturais, inteiros e

racionais como pontos de uma reta e nos convencemos de que nem todos os pontos da reta est ao identicados com n umeros racionais;
nossos professores dizem que e poss vel representar os n umeros reais

como pontos de uma reta, de modo que: cada n umero esteja identicado com um u nico ponto; cada ponto esteja identicado com um u nico n umero.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Como eles s ao apresentados na escola?

Por m:
aprendemos que os n umeros racionais podem ser escritos na forma

decimal (nita ou innita peri odica) e que uma decimal nita ou innita peri odica pode ser convertida em n umero racional;
nossos professores dizem que os n umeros irracionais s ao aqueles que

possuem representa c ao decimal innita n ao peri odica.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Como eles ser ao apresentados aqui?

Nesta e nas pr oximas aulas, estudaremos:
as propriedades alg ebricas dos n umeros reais (isto e, as leis que

regem as opera c oes de adi c ao e multiplica c ao e, consequentemente, as de subtra c ao e divis ao);

as propriedades da rela c ao de ordem entre dois n umeros reais; os n umeros naturais, inteiros e racionais; a completude dos n umeros reais.

Mais adiante, estudaremos:

a representa c ao decimal dos n umeros reais.

Observa c ao: n ao trataremos dos n umeros complexos nesta disciplina.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

N umeros reais

Assumiremos a exist encia de um conjunto R no qual est ao denidas duas opera c oes + e al em de uma rela c ao de ordem < satisfazendo os axiomas
(A1)-(A4), (M1)-(M4), (D), (O1)-(O4) e (C).

Os elementos de R ser ao denominados n umeros reais. Quest ao: e poss vel que dois conjuntos com tais caracter sticas tenham propriedades diferentes? N ao!

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Axiomas da adi c ao
A adi c ao associa cada par ordenado (x , y ) de n umeros reais a um u nico n umero real x + y , denominado a soma de x e y . Axiomas da adi c ao: (A1) (x + y ) + z = x + (y + z ), quaisquer que sejam x , y , z R; (A2) x + y = y + x , quaisquer que sejam x , y R; (A3) existe um ( unico) n umero real o qual ser a denotado por 0 satisfazendo x + 0 = x , qualquer que seja x R; (A4) para cada n umero real x existe um ( unico) n umero real o qual ser a denotado por x e denominado o oposto de x satisfazendo x + (x ) = 0. Observa c ao: dos axiomas (A1) e (A2) decorre que a adi c ao de tr es ou mais n umeros reais pode ser feita em qualquer ordem.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Axiomas da multiplica c ao
A multiplica c ao associa cada par ordenado (x , y ) de n umeros reais a um u nico n umero real x y , denominado o produto de x e y . Nota c ao simplicada: xy Axiomas da multiplica c ao: (M1) (x y ) z = x (y z ), quaisquer que sejam x , y , z R; (M2) x y = y x , quaisquer que sejam x , y R; (M3) existe um ( unico) n umero real o qual ser a denotado por 1 satisfazendo 1 = 0 e x 1 = x , qualquer que seja x R; (M4) para cada n umero real x = 0 existe um ( unico) n umero real o qual ser a denotado por x 1 e denominado o inverso de x satisfazendo x x 1 = 1. Observa c ao: dos axiomas (M1) e (M2) decorre que a multiplica c ao de tr es ou mais n umeros reais pode ser feita em qualquer ordem.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Axioma da distributividade

Axioma da distributividade: (D) x (y + z ) = x y + x z , quaisquer que sejam x , y , z R. Observa c ao: estamos adotando a conven c ao de que a multiplica c ao tem prioridade em rela c ao ` a adi c ao e, por isso, escrevemos x y + x z em vez de (x y ) + (x z ).

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Algumas consequ encias dos axiomas de corpo

Proposi c ao Sejam x, y e z n umeros reais. Valem: (1) se x + y = x + z ent ao y = z; (2) se xy = xz e x = 0 ent ao y = z; (3) 0x = 0; (4) se xy = 0 ent ao x = 0 ou y = 0; (5) (x ) = x; (6) se x = 0 ent ao x 1 = 0 e (x 1 )1 = x; (7) se x = 0 e y = 0 ent ao xy = 0 e (xy )1 = x 1 y 1 ; (8) (x )y = (xy ) e (x )(y ) = xy .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Subtra c ao e divis ao
Dado um par ordenado (x , y ) de n umeros reais, denimos a diferen ca de x e y como o n umero real x + (y ). Nota c ao: x y A opera c ao que associa cada par ordenado (x , y ) de n umeros reais ao n umero real x y e chamada subtra c ao. Dado um par ordenado (x , y ) de n umeros reais com y = 0, denimos o quociente de x por y como o n umero real xy 1 . Nota c ao:
x y

Nota c ao alternativa: x /y A opera c ao que associa cada par ordenado (x , y ) de n umeros reais com y = 0 ao n umero real x /y e chamada divis ao.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades da subtra c ao e divis ao

Proposi c ao Sejam x, y , z e w n umeros reais tais que y , w = 0. Valem: (1) (2) (3) (4) (5) (6)
z w se, e somente se, = xw yw ; +zy z +w = xwyw ; xw zy z w = yw ; z xz w = yw ; x y se z = 0 ent ao z = xw yz . w x y x y x y x y x y

xw = zy ;

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Axiomas de ordem

A rela c ao de ordem < nos permite comparar dois n umeros reais distintos. Axiomas de ordem: (O1) dados dois n umeros reais x e y quaisquer, vale uma, e somente uma, das seguintes condi c oes: x < y , x = y , y < x ; (O2) se x < y e y < z ent ao x < z , quaisquer que sejam x , y , z R; (O3) quaisquer que sejam x , y e z n umeros reais, se x < y ent ao x + z < y + z; (O4) quaisquer que sejam x e y n umeros reais e qualquer que seja z um n umero real com z > 0, se x < y ent ao xz < yz .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Outras nota c oes e abrevia co es

Outras nota c oes:

y > x signica x < y ; x y signica x < y x = y ; y x signca x y .

Abrevia c oes:
x < y < z abrevia x < y y < z ; x y < z abrevia x y y < z ; x < y z abrevia x < y y z ; x y z abrevia x y y z .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Algumas consequ encias dos axiomas de ordem

Proposi c ao Sejam x, y e z n umeros reais. Valem: (1) se x < y e z < 0 ent ao xz > yz; (2) se x = 0 ent ao x 2 > 0; (3) 1 > 0; (4) se se (5) se se x > 0 ent ao x < 0; x < 0 ent ao x > 0; 0 < x < y ent ao 0 < y 1 < x 1 ; x < y < 0 ent ao y 1 < x 1 < 0.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Valor absoluto

Seja x um n umero real. O valor absoluto (ou m odulo) de x e dado por |x | = Exemplos: (a) |1/3| = 1/3; (b) |0| = 0; (c) | 2| = ( 2) = 2. x x se se x 0 x <0

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Valor absoluto

Observa c oes:
|x | 0; |x | = 0 se, e somente se, x = 0; x |x |; |x | = | x |; |x |2 = x 2 .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exerc cio resolvido

Determine o conjunto das solu c oes reais das seguintes equa c oes: (a) |2x 1| = 3 (b) |x + 1| = 3x + 2 (c) |3x 1| = |2x + 3| (d) |x 2 + x 5| = |4x 1| Solu c ao: (a) {1, 2} (b) {1/2} (c) {2/5, 4} (d) {6, 1, 1, 4}

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades do valor absoluto

Proposi c ao Sejam x e r n umeros reais com r > 0. Valem: (1) |x | < r se, e somente se, r < x < r ; (2) |x | > r se, e somente se, x < r ou x > r . Proposi c ao Sejam x e y n umeros reais. Valem: (1) |xy | = |x ||y |; (2) |x + y | |x | + |y |.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exerc cio resolvido

Determine o conjunto das solu c oes reais das seguintes inequa c oes: (a) |2x + 1| < 3 (b) |4x 3| > 5 (c) |x 2| + |x + 2| 2|x | (d) |2x 6| |x | 4 x Solu c ao: (a) {x R : 2 < x < 1} (b) {x R : x < 1/2 ou x > 2} (c) R (d) {x R : 1 x 5}

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Dist ancia entre dois n umeros reais

Sejam x e y n umeros reais. A dist ancia de x a y e dada por |x y |. Observa c oes:

|x y | 0; |x y | = 0 se, e somente se, x = y ; |x y | = |y x |; |x z | |x y | + |y z |.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Intervalos
Sejam a e b n umeros reais tais que a < b . Os conjuntos [a, b ] ]a, b ] [a, b [ ]a, b [ = = = = {x {x {x {x R:ax R:a<x R:ax R:a<x b} b} < b} < b}

s ao denominados intervalos (limitados) com extremos a e b .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Intervalos
Sejam a e b n umeros reais. Os conjuntos [a, +[ ]a, +[ ] , b ] ] , b [ ] , + [ = = = = = {x {x {x {x R R:x R:x R:x R:x a} > a} b} < b}

tamb em s ao denominados intervalos (ilimitados).

Observa c ao: + e s ao apenas s mbolos, n ao n umeros!

Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exerc cio resolvido

Expresse cada um dos conjuntos abaixo usando a nota c ao de intervalo. (a) {x R : 3x + 2 < x + 3 x + 4} (b) {x R : (x 2)3 (x + 1)2 > 0} (c) {x R : (3x + 4)/(1 x ) 2} Solu c ao: (a) ] , 1/4[ [1/2, +[ = [1/2, 1/4[ (b) ]2, +[ (c) ] , 2/5] ]1, +[

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Observa c ao nal

Proposi c ao Sejam a, r e x n umeros reais com r > 0. S ao equivalentes: (a) |x a| < r ; (b) a r < x < a + r . (c) x ]a r , a + r [.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

A ideia intuitiva de n umero natural

Para introduzir os n umeros naturais, come camos com os n umeros

0, cuja exist encia e garantida pelo axioma (A3) e 1, cuja exist encia e garantida pelo axioma (M3).

O n umero 1 + 1 e denotado por 2, o n umero 2 + 1 e denotado por 3 e assim por diante. Os n umeros 0, 1 e os n umeros 2, 3, . . . obtidos mediante adi c oes sucessivas do n umero 1 s ao denominados n umeros naturais. Nota c ao: o conjunto dos n umeros naturais ser a denotado por N

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Princ pio de Indu c ao Finita

Princ pio de Indu c ao Finita (PIF) Se S N e tal que
0S e qualquer que seja n n umero natural, se n S ent ao n + 1 S

ent ao S = N .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

PIF adiantado

Proposi c ao (tamb em chamada de PIF) Seja k N. Se S N e tal que

k S e qualquer que seja n k n umero natural, se n S ent ao n + 1 S

ent ao S {n N : n k }.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplo
Usaremos o PIF para mostrar que o produto de quaisquer tr es n umeros naturais consecutivos e divis vel por 6. Seja S = {m N : 6 | m(m + 1)(m + 2)}. Queremos mostrar que S = N.
0 S : 0 1 2 = 0 e 6 | 0. se n e um n umero natural arbitr ario tal que n S , ent ao n + 1 S :

(n + 1)(n + 2)(n + 3) = n(n + 1)(n + 2) + 3(n + 1)(n + 2) Temos que 6 | (n + 1)(n + 2)(n + 3), pois 6 | n(n + 1)(n + 2) j a que n S e (n + 1)(n + 2) e par, o que implica 6 | 3(n + 1)(n + 2). Do PIF segue que S = N.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplo
Usaremos o PIF para mostrar que 2n > n + 2, qualquer que seja n 3 n umero natural. Seja S = {m N : 2m > m + 2}. Queremos mostrar que S {n N : n 3}.
3 S : 2 3 = 6 > 5 = 3 + 2. se n 3 e um n umero natural arbitr ario tal que n S , ent ao

n + 1 S: 2(n + 1) = 2n + 2 > (n + 2) + 2 > (n + 1) + 2 Do PIF segue que S {n N : n 3}.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exerc cio resolvido

Determine a soma dos n primeiros n umeros pares. Solu c ao: (1) Inferindo a f ormula: n=1 n=2 n=3 n=4 n=5 0 0+2 0+2+4 0+2+4+6 0+2+4+6+8 = 0 = = 2 = = 6 = = 12 = = 20 = 01 12 23 34 45

Chute: a soma dos n primeiros n umeros pares e (n 1)n.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exerc cio resolvido (continua c ao)

(2) Demonstrando a validade do chute: Seja S o conjunto constitu do de todos os n umeros naturais n 1 para os quais vale a seguinte condi c ao: a soma dos n primeiros n umeros pares e (n 1)n. Queremos mostrar que S {n N : n 1}.
1 S: se n 1 e um n umero natural arbitr ario tal que n S , ent ao

n + 1 S : como n S , a soma dos n primeiros n umeros pares e (n 1)n; observe ainda que o (n + 1)- esimo n umero par e 2n. (n 1)n + 2n = n2 n + 2n = n2 + n = n(n + 1). Do PIF segue que S {n N : n 1}.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Operando com n umeros naturais

Proposi c ao Sejam m e n n umeros naturais. Valem: (1) m + n e natural; (2) mn e natural. Observa c ao: o conjunto dos n umeros naturais n ao e fechado para subtra c ao (isto e, a diferen ca de dois n umeros naturais n ao precisa ser um n umero natural) e tampouco o e para divis ao (ou seja, o quociente de dois n umeros naturais n ao e necessariamente um n umero natural).

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Potencia c ao com expoente natural

Seja a = 0 um n umero real. Denimos:

a0 = 1; an+1 = an a, qualquer que seja n N.

a1 a2 a3 . . .

= = =

a0+1 a1+1 a2+1 . . .

= a0 a = a1 a = a2 a . . .

= a = aa = aaa . . .

Em outras palavras, se n > 0 ent ao an = a a . . . a (n vezes).

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Potencia c ao com expoente natural

Exemplos: (a) 23 = 8; (b) (5/2)0 = 1; (c) (2)3 = 8; (d) (1/3)4 = 1/81.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades da potencia c ao com expoente natural

Proposi c ao Sejam a = 0 um n umero real e n um n umero natural. Valem: (1) se a > 0, ent ao an > 0; (2) se a < 0 e n e par, ent ao an > 0; se a < 0 e n e mpar, ent ao an < 0. Proposi c ao Seja a = 0 um n umero real e sejam m e n n umeros naturais. Valem: (1) am+n = am an ; (2) amn = (am )n .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades da potencia c ao com expoente natural

Proposi c ao Sejam a, b = 0 n umeros reais e n um n umero natural. Valem: (1) (ab )n = an b n ; (2) (a/b )n = an /b n .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Outro exemplo de aplica c ao do PIF

Vamos mostrar que se um conjunto tem n elementos, seu conjunto das partes tem 2n elementos. Seja S o conjunto constitu do de todos os n umeros naturais n para os quais vale a seguinte condi c ao: dado um conjunto arbitr ario com n elementos, seu conjunto das partes tem 2n elementos. Queremos mostrar que S = N.
0 S: o u nico conjunto com 0 elemento e e P () = {}. se n e um n umero natural arbitr ario tal que n S , ent ao n + 1 S :

considere X um conjunto arbitr ario com n + 1 elementos e xe x X ; como X \ {x } tem n elementos e n S , conclu mos que P (X \ {x }) tem 2n elementos; portanto, P (X ) tem 2 2n = 2n+1 elementos. Do PIF segue que S = N.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Mais um exemplo de aplica c ao do PIF

Seja x 1 um n umero real. Vamos mostrar que (1 + x )n 1 + nx para todo n umero natural n 1. Seja S = {m N : (1 + x )m 1 + mx }. Queremos mostrar que S {n N : n 1}.
1 S : (1 + x )1 = 1 + x = 1 + 1 x . se n 1 e um n umero natural arbitr ario tal que n S , ent ao

n + 1 S: (1 + x )n+1 = (1 + x )n (1 + x ) (1 + nx )(1 + x ) = 1 + nx + x + nx 2 = 1 + (n + 1)x + nx 2 1 + (n + 1)x

Do PIF segue que S {n N : n 1}.

Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Princ pio da boa ordena c ao

Material adicional

Seja X um conjunto n ao vazio de n umeros naturais. Dizemos que m X e m nimo (respectivamente, m aximo) de X se m n (respectivamente, m n) para todo n X . Princ pio da boa ordena c ao Todo conjunto n ao vazio de n umeros naturais tem m nimo.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Segundo princ pio de indu c ao

Material adicional

Segundo princ pio de indu c ao Seja k N. Se S N e tal que

k S e qualquer que seja n > k n umero natural, se k , . . . , n 1 S ent ao

nS ent ao S {n N : n k }.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplo
Material adicional

Usaremos o segundo princ pio de indu c ao para mostrar que se um n umero natural e maior ou igual a 2, ent ao ele e primo ou e igual a um produto de primos. Seja S o conjunto constitu do de todos os n umeros naturais n que s ao primos ou iguais a um produto de primos. Queremos mostrar que S {n N : n 2}.
2 S: 2 e primo. se n > 2 e um n umero natural arbitr ario tal que 2, . . . , n 1 S ,

ent ao n S : se n e primo, n S ; se n n ao e primo, existem a e b n umeros naturais tais que n = ab , 2 a < n e 2 b < n; como 2, . . . , n 1 S , a S e b S (ou seja, a e b s ao primos ou produtos de primos); logo, n = ab S . Do segundo princ pio de indu c ao segue que S {n N : n 2}.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

O conjunto dos n umeros inteiros

Um n umero real x e chamado de n umero inteiro se x N ou x N. Nota c ao: o conjunto dos n umeros inteiros ser a denotado por Z Observa c ao: N Z R. Proposi c ao Sejam m e n n umeros inteiros. Valem: (1) m + n e inteiro; (2) m n e inteiro; (3) mn e inteiro. Observa c ao: o conjunto dos n umeros inteiros n ao e fechado para divis ao.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Potencia c ao com expoente inteiro

Sejam a = 0 um n umero real e n > 0 um n umero natural. Denimos an = 1/an . Exemplos: (a) 23 = 1/8; (b) (5/2)1 = 2/5; (c) (2)3 = 1/8; (d) (1/3)4 = 81. Observa c ao: se a > 0 e n e um n umero inteiro, ent ao an > 0.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades da potencia c ao com expoente inteiro

Proposi c ao Seja a = 0 um n umero real e sejam m e n n umeros inteiros. Valem: (1) am+n = am an ; (2) amn = am /an ; (3) amn = (am )n . Proposi c ao Sejam a, b = 0 n umeros reais e n um n umero inteiro. Valem: (1) (ab )n = an b n ; (2) (a/b )n = an /b n .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

O conjunto dos n umeros racionais

Um n umero real x e chamado de n umero racional se existem n umeros inteiros m e n com n = 0 tais que x = m/n; caso contr ario, x e chamado de n umero irracional. Nota c ao: o conjunto dos n umeros racionais ser a denotado por Q Observa c ao: N Z Q R. Proposi c ao Sejam x e y n umeros racionais. Valem: (1) x + y e racional; (2) x y e racional; (3) xy e racional; (4) se y = 0 ent ao x /y e racional.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedade dos n umeros racionais

Proposi c ao Se x e um n umero racional, ent ao

existem p , q Z com q > 0 tais que x = p /q e mdc(p , q ) = 1; al em disso, se m, n Z s ao tais que n > 0, x = m/n e

mdc(m, n) = 1, ent ao m = p e n = q.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Cotas

Seja X um conjunto n ao vazio de n umeros reais. Dizemos que m X e m nimo (respectivamente, m aximo) de X se m x (respectivamente, m x ) para todo x X . Nota c ao: min X (respectivamente, max X ) Seja X um conjunto n ao vazio de n umeros reais. Dizemos que c R e cota inferior (respectivamente, cota superior) de X se c x (respectivamente, c x ) para todo x X .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplos
(a) X = {1, 2, 3} min X = 1 e max X = 3 qualquer n umero real menor ou igual a 1 e cota inferior de X qualquer n umero real maior ou igual a 3 e cota superior de X (b) X = {x R : 1 x < 2} min X = 1 e X n ao tem m aximo qualquer n umero real menor ou igual a 1 e cota inferior de X qualquer n umero real maior ou igual a 2 e cota superior de X (c) X = {x R : x > 0} X n ao tem m nimo nem m aximo qualquer n umero real menor ou igual a 0 e cota inferior de X X n ao tem cota superior

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Inmo

Seja X um conjunto n ao vazio de n umeros reais. Dizemos que a R eo nmo de X se (i) a e cota inferior de X e (ii) nenhum n umero real maior que a e cota inferior de X . Nota c ao: a = inf X O nmo de X e a maior das cotas inferiores de X .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Supremo

Seja X um conjunto n ao vazio de n umeros reais. Dizemos que b R eo supremo de X se (i) b e cota superior de X e (ii) nenhum n umero real menor que b e cota superior de X . Nota c ao: b = sup X O supremo de X e a menor das cotas superiores de X .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplos

(a) X = {1, 2, 3} min X = inf X = 1 max X = sup X = 3 (b) X = {x R : 1 x < 2} min X = inf X = 1 sup X = 2 (c) X = {x R : x > 0} inf X = 0 X n ao tem supremo

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Axioma da completude

Seja X um conjunto n ao vazio de n umeros reais. Dizemos que X e limitado inferiormente (respectivamente, limitado superiormente) se X possui uma cota inferior (respectivamente, cota superior). Axioma da completude: (C) todo subconjunto n ao vazio de n umeros reais que e limitado superiormente tem supremo. Equival encia: (C) todo subconjunto n ao vazio de n umeros reais que e limitado inferiormente tem nmo.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Exemplos

(a) X = {x R : x 0 e x 2 < 2} X = : 0 X . X e limitado superiormente: 2 e cota superior de X . Segue de (C) que existe b = sup X . (b) X = {x R : x 0 e x 2 < a}, onde a > 0 e um n umero real xado. X = : 0 X . X e limitado superiormente: max{1, a} e cota superior de X . Segue de (C) que existe b = sup X . Mostraremos adiante que b 2 = a.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedade arquimediana

Propriedade arquimediana Sejam x > 0 e y n umeros reais. Existe um n umero natural n tal que nx > y . Observa c oes:
se y e um n umero real, existe um n umero natural n tal que n > y ; se x > 0 e um n umero real, existe um n umero natural n tal que

1/n < x .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

A exist encia da raiz quadrada

Seja a um n umero real. Dizemos que um n umero real x 0 e raiz quadrada de a se x 2 = a. Proposi c ao Todo n umero real a 0 tem uma u nica raiz quadrada. Nota c ao: Exemplos: (a) (b) 36 = 6 (e n ao 6, embora (6)2 = 62 = 36); (5)2 = 5 (e n ao 5). x 2 = |x |. a

Observa c ao: se x e um n umero real, ent ao

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

A exist encia de ra zes n- esimas

Proposi c ao Seja n = 0 um n umero natural. Valem: (1) se a 0 e um n umero real, ent ao existe um u nico n umero real x 0 tal que x n = a; (2) se a < 0 e um n umero real e n e mpar, ent ao existe um u nico n umero real x (necessariamente negativo) tal que x n = a; Nota c ao: n a (leia raiz n- esima de a).

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades das ra zes n- esimas

Material adicional

Proposi c ao Sejam a > 0 um n umero real e m um n umero inteiro. Sejam tamb em n = 0 e p = 0 n umeros naturais. Valem: (1) np amp = n am ; (2) p n a = pn a; (3) n am = ( n a)m . Proposi c ao Sejam a, b > 0 n umeros reais e n = 0 um n umero natural. Valem: n n n (1) ab = a b; (2) n a/b = n a/ n b.

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Potencia c ao com expoente racional

Sejam a > 0 um n umero real, m um n umero inteiro e n = 0 um n umero natural. Denimos a m /n = n a m . Exemplos: (a) 31/2 = (b) 21/3 = 3 3;

2;

(c) (2/3)4/2 = 9/4. Observa c oes:

a potencia c ao com expoente racional est a bem denida; ela estende a potencia c ao com expoente inteiro; se x e um n umero racional, ent ao ax > 0.
Ana Carolina Boero Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Propriedades da potencia c ao com expoente racional

Proposi c ao Seja a > 0 um n umero real e sejam x e y n umeros racionais. Valem: (1) ax +y = ax ay ; (2) ax y = ax /ay ; (3) axy = (ax )y . Proposi c ao Sejam a, b > 0 n umeros reais e x um n umero racional. Valem: (1) (ab )x = ax b x ; (2) (a/b )x = ax /b x .

Ana Carolina Boero

Bases Matem aticas

Conjuntos num ericos

Axiomas de corpo ordenado e suas consequ encias Valor absoluto, dist ancia entre dois n umeros reais e intervalos N umeros naturais N umeros inteiros, racionais e irracionais Axioma da completude

Densidade dos racionais e dos irracionais

Material adicional

Proposi c ao Sejam x e y n umeros reais tais que x < y . Existe um n umero racional r tal que x < r < y . Proposi c ao Sejam x e y n umeros reais tais que x < y . Existe um n umero irracional s tal que x < s < y .

Ana Carolina Boero

Bases Matem aticas