39
Números Reais Gl ´ aucio Terra [email protected] Departamento de Matem ´ atica IME - USP umeros Reais – p. 1/2

Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

  • Upload
    others

  • View
    20

  • Download
    1

Embed Size (px)

Citation preview

Page 1: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Números ReaisGlaucio Terra

[email protected]

Departamento de Matematica

IME - USP

Numeros Reais – p. 1/24

Page 2: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos

DEFINIÇÃO Seja K um conjunto munido de duasoperações, denotadas por “+” e “·”. Diz-se que(K,+, ·) é um corpo se satisfizer as seguintescondições:

Numeros Reais – p. 2/24

Page 3: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos

DEFINIÇÃO Seja K um conjunto munido de duasoperações, denotadas por “+” e “·”. Diz-se que(K,+, ·) é um corpo se satisfizer as seguintescondições:

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

(A2) ∀x, y : x + y = y + x

(A3) ∃0 ∈ K,∀x : x + 0 = x

(A4) ∀x,∃(−x) : x + (−x) = 0

Numeros Reais – p. 2/24

Page 4: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos

(M1) ∀x, y, z : (x · y) · z = x · (y · z)

(M2) ∀x, y : x · y = y · x

(M3) ∃1 ∈ K, 1 6= 0,∀x : x · 1 = x

(M4) ∀x,∃x−1 : x · x−1 = 1

Numeros Reais – p. 3/24

Page 5: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos

(M1) ∀x, y, z : (x · y) · z = x · (y · z)

(M2) ∀x, y : x · y = y · x

(M3) ∃1 ∈ K, 1 6= 0,∀x : x · 1 = x

(M4) ∀x,∃x−1 : x · x−1 = 1

(D) ∀x, y, z : x · (y + z) = x · y + x · z

Numeros Reais – p. 3/24

Page 6: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Propriedades da Adição eMultiplicação

PROPOSIÇÃO Seja (K,+, ·) um corpo. Asseguintes propriedades decorrem de (A1)-(A4):

1. o elemento neutro da adição é único;

2. dado x ∈ K, o simétrico de x é único; alémdisso, −(−x) = x;

3. lei do cancelamento: x + z = y + z ⇔ x = y;

Numeros Reais – p. 4/24

Page 7: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Propriedades da Adição eMultiplicação

PROPOSIÇÃO Seja (K,+, ·) um corpo. Asseguintes propriedades decorrem de (M1)-(M4):

1. o elemento neutro da multiplicação é único;

2. dado x ∈ K,x 6= 0, o inverso multiplicativo dex é único; além disso, (x−1)−1 = x;

3. lei do cancelamento:x · z = y · z e z 6= 0 ⇒ x = y;

Numeros Reais – p. 5/24

Page 8: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Propriedades da Adição eMultiplicação

PROPOSIÇÃO 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/24

Page 9: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Relações de Ordem

DEFINIÇÃO Sejam A um conjunto e 6⊂ A × Auma relação em A. Diz-se que 6 é uma relaçãode ordem parcial se:

Numeros Reais – p. 7/24

Page 10: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Relações de Ordem

DEFINIÇÃO Sejam A um conjunto e 6⊂ A × Auma relação em A. Diz-se que 6 é uma relaçãode ordem parcial se:

(O1) (∀x ∈ A)x 6 x (i.e., 6 é reflexiva);

Numeros Reais – p. 7/24

Page 11: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Relações de Ordem

DEFINIÇÃO Sejam A um conjunto e 6⊂ A × Auma relação em A. Diz-se que 6 é uma relaçãode ordem parcial se:

(O1) (∀x ∈ A)x 6 x (i.e., 6 é reflexiva);

(O2) (∀x, y ∈ A) se x 6 y e y 6 x, então x = y(i.e., 6 é anti-simétrica);

Numeros Reais – p. 7/24

Page 12: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Relações de Ordem

DEFINIÇÃO Sejam A um conjunto e 6⊂ A × Auma relação em A. Diz-se que 6 é uma relaçãode ordem parcial se:

(O1) (∀x ∈ A)x 6 x (i.e., 6 é reflexiva);

(O2) (∀x, y ∈ A) se x 6 y e y 6 x, então x = y(i.e., 6 é anti-simétrica);

(O3) (∀x, y, z ∈ A) se x 6 y e y 6 z, então x 6 z(i.e., 6 é transitiva).

Numeros Reais – p. 7/24

Page 13: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Relações de Ordem

Uma relação de ordem parcial diz-se total oulinear se também satisfizer:

(O4) (∀x, y ∈ A) x 6 y ou y 6 x.

Numeros Reais – p. 8/24

Page 14: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Sejam (K,+, ·) um corpo e 6 umarelação de ordem total em K. Diz-se que(K,+, ·,6) é um corpo ordenado se os seguintesaxiomas forem satisfeitos:

Numeros Reais – p. 9/24

Page 15: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Sejam (K,+, ·) um corpo e 6 umarelação de ordem total em K. Diz-se que(K,+, ·,6) é um corpo ordenado se os seguintesaxiomas forem satisfeitos:

(OA) x 6 y ⇒ x + z 6 y + z

Numeros Reais – p. 9/24

Page 16: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Sejam (K,+, ·) um corpo e 6 umarelação de ordem total em K. Diz-se que(K,+, ·,6) é um corpo ordenado se os seguintesaxiomas forem satisfeitos:

(OA) x 6 y ⇒ x + z 6 y + z

(OM) x 6 y e z > 0 ⇒ x · z 6 y · z

Numeros Reais – p. 9/24

Page 17: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Propriedades de CorposOrdenados

PROPOSIÇÃO Seja (K,+, ·,6) um corpoordenado. 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 6= 0, x e x−1 têm o mesmo sinal;

3. 0 < x < y ⇒ 0 < y−1 < x−1

4. 0 > x > y ⇒ 0 > y−1 > x−1

Numeros Reais – p. 10/24

Page 18: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Sejam (K,+, ·) e (F,+, ·) corpos.Diz-se que φ : K → F é um homomorfismo decorpos se: (i) φ(x + y) = φ(x) + φ(y), (ii)φ(x · y) = φ(x) · φ(y) e (iii) φ(1) = 1.

Numeros Reais – p. 11/24

Page 19: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Sejam (K,+, ·) e (F,+, ·) corpos.Diz-se que φ : K → F é um homomorfismo decorpos se: (i) φ(x + y) = φ(x) + φ(y), (ii)φ(x · y) = φ(x) · φ(y) e (iii) φ(1) = 1.

Se (K,+, ·,6) e (F,+, ·,6) forem corposordenados, φ : K → F diz-se um homomorfismode corpos ordenados se for um homomorfismode corpos e se preservar ordem, i.e.x 6 y ⇒ φ(x) 6 φ(y).

Numeros Reais – p. 11/24

Page 20: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Seja (K,+, ·) um corpo. Dadosx ∈ K e n ∈ N, define-se n · x indutivamente por:

1. 1 · x.= x

2. (n + 1) · x.= n · x + x

Numeros Reais – p. 12/24

Page 21: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

DEFINIÇÃO Seja (K,+, ·) um corpo. Dadosx ∈ K e n ∈ N, define-se n · x indutivamente por:

1. 1 · x.= x

2. (n + 1) · x.= n · x + x

PROPOSIÇÃO 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/24

Page 22: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

PROPOSIÇÃO Para todo n ∈ N, tem-se:

1. n · 0 = 0

2. n · 1 > 0

Numeros Reais – p. 13/24

Page 23: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados

PROPOSIÇÃO Para todo n ∈ N, tem-se:

1. n · 0 = 0

2. n · 1 > 0

PROPOSIÇÃO Sejam (K,+, ·,6) um corpoordenado e φ : Q → K dada por(∀m/n ∈ Q)φ(m/n)

.= (m · 1)/(n · 1). Então φ é

um homomorfismo de corpos ordenados.

Numeros Reais – p. 13/24

Page 24: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Módulo

DEFINIÇÃO Seja (K,+, ·,6) um corpo ordenado.Definimos |·| : K → K por:

|x|.=

{

x, se x > 0

−x, se x < 0

Numeros Reais – p. 14/24

Page 25: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Módulo

PROPOSIÇÃO Seja (K,+, ·,6) um corpoordenado. Tem-se, ∀x, y ∈ K:

1. |x| = max{x,−x}

2. |x · y| = |x| · |y| e, se y 6= 0, |xy| = |x|

|y|

3. ||x| − |y|| 6 |x + y| 6 |x| + |y|

4. dado a > 0, tem-se|x − y| 6 a ⇔ y − a 6 x 6 y + a

Numeros Reais – p. 15/24

Page 26: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Majorante, Supremo e Máximo

DEFINIÇÃO Sejam X um conjunto munido deuma ordem parcial 6, A ⊂ X e a ∈ X.

Numeros Reais – p. 16/24

Page 27: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Majorante, Supremo e Máximo

DEFINIÇÃO Sejam X um conjunto munido deuma ordem parcial 6, A ⊂ X e a ∈ X.

1. a diz-se um majorante ou limitante superiorde A se (∀x ∈ A)x 6 a;

Numeros Reais – p. 16/24

Page 28: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Majorante, Supremo e Máximo

DEFINIÇÃO Sejam X um conjunto munido deuma ordem parcial 6, A ⊂ X e a ∈ X.

1. a diz-se um majorante ou limitante superiorde A se (∀x ∈ A)x 6 a;

2. a diz-se supremo de A se for o menormajorante de A;

Numeros Reais – p. 16/24

Page 29: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Majorante, Supremo e Máximo

DEFINIÇÃO Sejam X um conjunto munido deuma ordem parcial 6, A ⊂ X e a ∈ X.

1. a diz-se um majorante ou limitante superiorde A se (∀x ∈ A)x 6 a;

2. a diz-se supremo de A se for o menormajorante de A;

3. a diz-se máximo de A se for majorante de A ese a ∈ A.

Numeros Reais – p. 16/24

Page 30: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Axioma do Supremo

DEFINIÇÃO Seja X um conjunto munido de umarelação de ordem parcial 6. Diz-se que (X,6)satisfaz o axioma do supremo se o seguinteaxioma for satisfeito:

(S) Todo subconjunto não-vazio de X limitadosuperiormente admite supremo.

Numeros Reais – p. 17/24

Page 31: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Axioma do Supremo

DEFINIÇÃO Seja X um conjunto munido de umarelação de ordem parcial 6. Diz-se que (X,6)satisfaz o axioma do supremo se o seguinteaxioma for satisfeito:

(S) Todo subconjunto não-vazio de X limitadosuperiormente admite supremo.

DEFINIÇÃO Seja (K,+, ·,6) um corpo ordenado.Diz-se que o mesmo é um corpo ordenadocompleto se o conjunto ordenado (K,6)satisfizer o axioma (S).

Numeros Reais – p. 17/24

Page 32: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Axioma do Supremo

PROPOSIÇÃO Seja X um conjunto munido deuma relação de ordem total 6. São equivalentes:

1. Todo subconjunto não-vazio de X limitadosuperiormente admite supremo.

2. Todo subconjunto não-vazio de X limitadoinferiormente admite ínfimo.

Numeros Reais – p. 18/24

Page 33: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados Completos

PROPOSIÇÃO Seja (K,+, ·,6) um corpoordenado. São equivalentes:

1. N não é limitado superiormente

2. ∀a, b > 0,∃n ∈ N : na > b

3. ∀a > 0,∃n ∈ N : 1/n < a

Numeros Reais – p. 19/24

Page 34: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados Completos

PROPOSIÇÃO Seja (K,+, ·,6) um corpoordenado. São equivalentes:

1. N não é limitado superiormente

2. ∀a, b > 0,∃n ∈ N : na > b

3. ∀a > 0,∃n ∈ N : 1/n < a

DEFINIÇÃO Seja (K,+, ·,6). Se uma dascondições equivalentes da proposição anteriorfor satisfeita, diz-se que (K,+, ·,6) é um corpoarquimediano.

Numeros Reais – p. 19/24

Page 35: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Corpos Ordenados Completos

PROPOSIÇÃO Se (K,+, ·,6) é um corpoordenado completo, então é arquimediano.

Numeros Reais – p. 20/24

Page 36: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

O Corpo dos Reais

Admitiremos que existe um corpo ordenadocompleto (R,+, ·,6), e o chamaremos de corpodos números reais.

Numeros Reais – p. 21/24

Page 37: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Intervalos Encaixados

TEOREMA Seja I1 ⊃ · · · ⊃ In ⊃ In+1 ⊃ · · · umaseqüência decrescente de intervalos fechados elimitados de R, In = [an, bn]. Então existex ∈ ∩n∈NIn.

Numeros Reais – p. 22/24

Page 38: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

TEOREMA

1. R não é enumerável.

2. Se A ⊂ R é um intervalo não-degenerado,então A é não-enumerável.

3. Todo intervalo não-degenerado de R contémnúmeros racionais e irracionais.

Numeros Reais – p. 23/24

Page 39: Números Reais - IME-USP - Instituto de Matemática e ... · Números Reais Glaucio Terra ... Nu´meros Reais – p. 15/24. Majorante, Supremo e Máximo DEFINIÇÃO Sejam X um conjunto

Referências Complementares

• W. Rudin, Principles of MathematicalAnalysis, McGrawHill, New York, 1976.

• L. H. J. Monteiro, Elementos de Álgebra,Impa, Rio de Janeiro, 1969.

Numeros Reais – p. 24/24