Axioma de Completez

Diego A. Giron
1 de Octubre de 2016
Axioma de Completez
Todo conjunto no vaco y acotado superiormente X R posee un supremo,
esto es simbolicamente.
(X)(X R X 6= X acotado Superiormente (b R)(b = Sup X)

Teorema de Completez
Todo conjunto no vacio y acotado inferiormente posee un nfimo.
Simbolicamente
(X)(X R X 6= X acotado Inferiormente (a R)(a = Inf X)
Demostracion:
Sea (X R)(X 6= ) y acotado Inferiormente, es decir:
(c R)(x X)(c x)
Sea X = {x R/x X} R Inverso Aditivo.
Como (x X)(c x)
(x X)(c x) ?
(x X)(x c) ?
Luego c es cota superior de X
como X 6= entonces (x X)
por lo tanto x X
Luego X 6= , ahora por el axioma de completez
( b R)(b = Sup X)
Sea a = b R, esto es, a lo hacemos igual al inverso.
Veamos que a = Inf X
Como b = SupX i)(x X)(x b)
ii)( > 0)( x X)(b  < x)
1

Como a = b R
por i)(x X)(x b)
(x X)(x b)
(x X)(b x)
(x)(x X b x)
(x)(x X a x)
(x)(x X a x)
(x)(x X b x)
(x)(x X b x)
(x)(x X a x)
(x)(x X b x)
(x X)(a x)
Luego a es cota inferior de X
Apartir de ii)( > 0)( x X)(b  < x)
Como a = b R
a = b R
Sea ( > 0)( x X)(a  < x)
( > 0)( x X)(b  < x)
( > 0)( x X)((a + ) < x)
( > 0)( x X)(a +  > x)
( > 0)( x X)(x < a + )
( > 0)(x)(x X x < a + )
( > 0)(x)(x X x < a + )
( > 0)(x X x < a + )
( > 0)(x)(x X x < a + )
( > 0)(x X)(x < a + )
Luego a es la mayor de las cotas Inferiores