Beruflich Dokumente
Kultur Dokumente
Glaucio Terra
glaucio@ime.usp.br
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:
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
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
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
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:
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);
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
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.,
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.
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:
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
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
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.
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).
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
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)
Corpos Ordenados
P ROPOSIO Para todo n N, tem-se: 1. n 0 = 0 2. n 1 > 0
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.
Mdulo
D EFINIO Seja (K, +, , ) um corpo ordenado. Denimos || : K K por: . |x| = x, x, se x 0 se x < 0
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|
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)
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)
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).
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.
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 .
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.
Referncias Complementares
W. Rudin, Principles of Mathematical Analysis, McGrawHill, New York, 1976. L. H. J. Monteiro, Elementos de lgebra, Impa, Rio de Janeiro, 1969.