Professional Documents
Culture Documents
Demostración. Por el axioma del supremo existe sup S sea µ = sup S por lo que tenemos que
x ≤ µ ∀x ∈ S ⇒ a + x ≤ µ + a ∀x ∈ S
por lo tanto
ı́nf A ≥ ı́nf B
Demostración. Supongamos que F es un campo ordenado completo. Procedemos por contradicción, su-
pongamos que F no es arquimediano.
Esto es, no es verda que
Tenemos que A,B son no vacios pues 1 ∈ A y 2 ∈ B . Además, A está acotado superiormente. Al ser F
completo existe u = sup A donde u ≥ 1 pues 1 ∈ A.
Tenemos lo siguiente:
(1) Suponga que 0 < y < u. Entonces y < sup A, por tanto existe a ∈ A tal que y < a ≤ u y también
y 2 < a2 < 2. Por lo tanto y ∈ A
u+y
(2) Suponga que y > u. Entonces sea u < t < y , tal t existe por ejemplo t = . Como t > sup A,
2
t∈ / A; por tanto t ≥ 2 entonces y > t ≥ 2. Por lo tanto y ∈ B
2 2 2
Según lo anterior se tiene que todo número positivo menor a u, esta en A, y todo número mayor que u,
esta en B
Vampos a probar que u2 = 2. Para esto usamos que
n o
Sea > 0 escogemos δ ∈ F tal que 0 < δ < mı́n u,
4u
entonces
0<δ<u y 0<δ<
4u
tenemos entonces que u − δ ∈ A y u + δ ∈ B por lo tanto
(u − δ)2 < 2 < (u + δ)2
ademas
u − δ < u ⇒ (u − δ)2 < u2 y u < u + δ ⇒ u2 < (u + δ)2
es decir
(u − δ)2 < u2 < (u + δ)2 (2)
sumando (1) y (2) tenemos
(u − δ)2 − (u + δ)2 < u2 − 2 < (u + δ)2 − (u − δ)2
y por tanto
−4δu < u2 − 2 < 4δu ⇒ |u2 − 2| < 4δu
según la δ escogida δ < se tiene
4u
|u2 − 2| < 4δu ⇒ |u2 − 2| < 4u · =
4u
como esto es válido ∀ > 0 entonces u2 = 2
Corolario 1. El campo ordenado Q de los números racionales no es completo
Demostración. Ya se demostrado que no existe x ∈ Q tal que x2 = 2
Corolario 2. En un campo ordenado completo, todo subconjunto acotado inferiormente tiene una máxima
cota inferior
Demostración. Supongamos que A es un subconjunto no vacio y acotado inferiormente de un campo
ordenado completo F. Esto quiere decir que existe u ∈ F tal que
∀ x ∈ A, u ≤ x ⇒ − u ≥ −x ∀ x ∈ A
(2) entonces si w es una cota inferior de A, entonces -w es una cota superior de -A, y −w ≥ v esto es
w ≤ −v por lo tanto −v = ı́nf A
Números Reales R