Você está na página 1de 39

Nmeros Reais

Glaucio Terra
glaucio@ime.usp.br

Departamento de Matematica IME - USP

Numeros Reais p. 1/2

Corpos
D EFINIO Seja K um conjunto munido de duas operaes, denotadas por + e . Diz-se que (K, +, ) um corpo se satiszer as seguintes condies:

Numeros Reais p. 2/2

Corpos
D EFINIO Seja K um conjunto munido de duas operaes, denotadas por + e . Diz-se que (K, +, ) um corpo se satiszer as seguintes condies:
(A1) (A2) (A3) (A4)

x, y, z : (x + y) + z = x + (y + z) x, y : x + y = y + x 0 K, x : x + 0 = x x, (x) : x + (x) = 0

Numeros Reais p. 2/2

Corpos
(M1) (M2) (M3) (M4)

x, y, z : (x y) z = x (y z) x, y : x y = y x 1 K, 1 = 0, x : x 1 = x x, x1 : x x1 = 1

Numeros Reais p. 3/2

Corpos
(M1) (M2) (M3) (M4) (D)

x, y, z : (x y) z = x (y z) x, y : x y = y x 1 K, 1 = 0, x : x 1 = x x, x1 : x x1 = 1

x, y, z : x (y + z) = x y + x z

Numeros Reais p. 3/2

Propriedades da Adio e Multiplicao


P ROPOSIO Seja (K, +, ) um corpo. As seguintes propriedades decorrem de (A1)-(A4): 1. o elemento neutro da adio nico; 2. dado x K, o simtrico de x nico; alm disso, (x) = x; 3. lei do cancelamento: x + z = y + z x = y;

Numeros Reais p. 4/2

Propriedades da Adio e Multiplicao


P ROPOSIO Seja (K, +, ) um corpo. As seguintes propriedades decorrem de (M1)-(M4): 1. o elemento neutro da multiplicao nico; 2. dado x K, x = 0, o inverso multiplicativo de x nico; alm disso, (x1 )1 = x; 3. lei do cancelamento: x z = y z e z = 0 x = y;

Numeros Reais p. 5/2

Propriedades da Adio e Multiplicao


P ROPOSIO Seja (K, +, ) um corpo. Tem-se: 1. x : 0 x = 0 2. x, y : (x) y = x (y) = (x y) 3. x y = 0 x = 0 ou y = 0

Numeros Reais p. 6/2

Relaes de Ordem
D EFINIO Sejam A um conjunto e A A uma relao em A. Diz-se que uma relao de ordem parcial se:

Numeros Reais p. 7/2

Relaes de Ordem
D EFINIO Sejam A um conjunto e A A uma relao em A. Diz-se que uma relao de ordem parcial se:
(O1)

(x A)x

x (i.e.,

reexiva);

Numeros Reais p. 7/2

Relaes de Ordem
D EFINIO Sejam A um conjunto e A A uma relao em A. Diz-se que uma relao de ordem parcial se:
(O1) (O2)

(x A)x

x (i.e.,

reexiva); x, ento x = y

(x, y A) se x y e y (i.e., anti-simtrica);

Numeros Reais p. 7/2

Relaes de Ordem
D EFINIO Sejam A um conjunto e A A uma relao em A. Diz-se que uma relao de ordem parcial se:
(O1) (O2) (O3)

(x A)x

x (i.e.,

reexiva); x, ento x = y z, ento x z

(x, y A) se x y e y (i.e., anti-simtrica); yey

(x, y, z A) se x (i.e., transitiva).

Numeros Reais p. 7/2

Relaes de Ordem
Uma relao de ordem parcial diz-se total ou linear se tambm satiszer:
(O4)

(x, y A) x

y ou y

x.

Numeros Reais p. 8/2

Corpos Ordenados
D EFINIO Sejam (K, +, ) um corpo e uma relao de ordem total em K. Diz-se que (K, +, , ) um corpo ordenado se os seguintes axiomas forem satisfeitos:

Numeros Reais p. 9/2

Corpos Ordenados
D EFINIO Sejam (K, +, ) um corpo e uma relao de ordem total em K. Diz-se que (K, +, , ) um corpo ordenado se os seguintes axiomas forem satisfeitos:
(OA)

y x+z

y+z

Numeros Reais p. 9/2

Corpos Ordenados
D EFINIO Sejam (K, +, ) um corpo e uma relao de ordem total em K. Diz-se que (K, +, , ) um corpo ordenado se os seguintes axiomas forem satisfeitos:
(OA) (OM)

x x

y x+z yez

y+z yz

0xz

Numeros Reais p. 9/2

Propriedades de Corpos Ordenados


P ROPOSIO Seja (K, +, , ) um corpo ordenado. Tem-se: 1. Regra de sinais: (a) x > 0 e y > 0 x y > 0 (b) x < 0 e y > 0 x y < 0 (c) x < 0 e y < 0 x y > 0 2. se x = 0, x e x1 tm o mesmo sinal; 3. 0 < x < y 0 < y 1 < x1 4. 0 > x > y 0 > y 1 > x1

Numeros Reais p. 10/2

Corpos Ordenados
D EFINIO Sejam (K, +, ) e (F, +, ) corpos. Diz-se que : K F um homomorsmo de corpos se: (i) (x + y) = (x) + (y), (ii) (x y) = (x) (y) e (iii) (1) = 1.

Numeros Reais p. 11/2

Corpos Ordenados
D EFINIO Sejam (K, +, ) e (F, +, ) corpos. Diz-se que : K F um homomorsmo de corpos se: (i) (x + y) = (x) + (y), (ii) (x y) = (x) (y) e (iii) (1) = 1. Se (K, +, , ) e (F, +, , ) forem corpos ordenados, : K F diz-se um homomorsmo de corpos ordenados se for um homomorsmo de corpos e se preservar ordem, i.e. x y (x) (y).

Numeros Reais p. 11/2

Corpos Ordenados
D EFINIO Seja (K, +, ) um corpo. Dados x K e n N, dene-se n x indutivamente por: . 1. 1 x = x . 2. (n + 1) x = n x + x

Numeros Reais p. 12/2

Corpos Ordenados
D EFINIO Seja (K, +, ) um corpo. Dados x K e n N, dene-se n x indutivamente por: . 1. 1 x = x . 2. (n + 1) x = n x + x P ROPOSIO Seja (K, +, ) um corpo. Tem-se, m, n N, x, y K: 1. (m + n) x = m x + n x 2. n (x + y) = n x + n y 3. n (x y) = (n x) y = x (n y)

Numeros Reais p. 12/2

Corpos Ordenados
P ROPOSIO Para todo n N, tem-se: 1. n 0 = 0 2. n 1 > 0

Numeros Reais p. 13/2

Corpos Ordenados
P ROPOSIO Para todo n N, tem-se: 1. n 0 = 0 2. n 1 > 0 P ROPOSIO Sejam (K, +, , ) um corpo ordenado e : Q K dada por . (m/n Q)(m/n) = (m 1)/(n 1). Ento um homomorsmo de corpos ordenados.

Numeros Reais p. 13/2

Mdulo
D EFINIO Seja (K, +, , ) um corpo ordenado. Denimos || : K K por: . |x| = x, x, se x 0 se x < 0

Numeros Reais p. 14/2

Mdulo
P ROPOSIO Seja (K, +, , ) um corpo ordenado. Tem-se, x, y K: 1. |x| = max{x, x} 2. |x y| = |x| |y| e, se y = 0, 3. ||x| |y|| 4. dado a |x y| |x + y| 0, tem-se aya |x y |=
|x| |y|

|x| + |y| x y+a

Numeros Reais p. 15/2

Majorante, Supremo e Mximo


D EFINIO Sejam X um conjunto munido de uma ordem parcial , A X e a X.

Numeros Reais p. 16/2

Majorante, Supremo e Mximo


D EFINIO Sejam X um conjunto munido de uma ordem parcial , A X e a X. 1. a diz-se um majorante ou limitante superior de A se (x A)x a;

Numeros Reais p. 16/2

Majorante, Supremo e Mximo


D EFINIO Sejam X um conjunto munido de uma ordem parcial , A X e a X. 1. a diz-se um majorante ou limitante superior de A se (x A)x a; 2. a diz-se supremo de A se for o menor majorante de A;

Numeros Reais p. 16/2

Majorante, Supremo e Mximo


D EFINIO Sejam X um conjunto munido de uma ordem parcial , A X e a X. 1. a diz-se um majorante ou limitante superior de A se (x A)x a; 2. a diz-se supremo de A se for o menor majorante de A; 3. a diz-se mximo de A se for majorante de A e se a A.

Numeros Reais p. 16/2

Axioma do Supremo
D EFINIO Seja X um conjunto munido de uma relao de ordem parcial . Diz-se que (X, ) satisfaz o axioma do supremo se o seguinte axioma for satisfeito:
(S)

Todo subconjunto no-vazio de X limitado superiormente admite supremo.

Numeros Reais p. 17/2

Axioma do Supremo
D EFINIO Seja X um conjunto munido de uma relao de ordem parcial . Diz-se que (X, ) satisfaz o axioma do supremo se o seguinte axioma for satisfeito:
(S)

Todo subconjunto no-vazio de X limitado superiormente admite supremo.

D EFINIO Seja (K, +, , ) um corpo ordenado. Diz-se que o mesmo um corpo ordenado completo se o conjunto ordenado (K, ) satiszer o axioma (S).

Numeros Reais p. 17/2

Axioma do Supremo
P ROPOSIO Seja X um conjunto munido de uma relao de ordem total . So equivalentes: 1. Todo subconjunto no-vazio de X limitado superiormente admite supremo. 2. Todo subconjunto no-vazio de X limitado inferiormente admite nmo.

Numeros Reais p. 18/2

Corpos Ordenados Completos


P ROPOSIO Seja (K, +, , ) um corpo ordenado. So equivalentes: 1. N no limitado superiormente 2. a, b > 0, n N : na > b 3. a > 0, n N : 1/n < a

Numeros Reais p. 19/2

Corpos Ordenados Completos


P ROPOSIO Seja (K, +, , ) um corpo ordenado. So equivalentes: 1. N no limitado superiormente 2. a, b > 0, n N : na > b 3. a > 0, n N : 1/n < a D EFINIO Seja (K, +, , ). Se uma das condies equivalentes da proposio anterior for satisfeita, diz-se que (K, +, , ) um corpo arquimediano.

Numeros Reais p. 19/2

Corpos Ordenados Completos


P ROPOSIO Se (K, +, , ) um corpo ordenado completo, ento arquimediano.

Numeros Reais p. 20/2

O Corpo dos Reais


Admitiremos que existe um corpo ordenado completo (R, +, , ), e o chamaremos de corpo dos nmeros reais.

Numeros Reais p. 21/2

Intervalos Encaixados
T EOREMA Seja I1 In In+1 uma seqncia decrescente de intervalos fechados e limitados de R, In = [an , bn ]. Ento existe x nN In .

Numeros Reais p. 22/2

T EOREMA 1. R no enumervel. 2. Se A R um intervalo no-degenerado, ento A no-enumervel. 3. Todo intervalo no-degenerado de R contm nmeros racionais e irracionais.

Numeros Reais p. 23/2

Referncias Complementares

W. Rudin, Principles of Mathematical Analysis, McGrawHill, New York, 1976. L. H. J. Monteiro, Elementos de lgebra, Impa, Rio de Janeiro, 1969.

Numeros Reais p. 24/2