Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Axioma Supremo PDF
Axioma Supremo PDF
• Si el conjunto A posee una cota inferior máxima, ésta se llama ı́nfimo de A y se denota
por inf A.
Ası́ pues,
Análogamente,
Axioma del Supremo: Todo conjunto no vacı́o de números reales que es acotado superior-
mente posee un supremo.
Una primera consecuencia serı́a la contraparte del axioma del supremo: El Axioma del
ı́nfimo, el cual establece que todo conjunto no vacı́o de números reales que es acotado superi-
ormente posee un ı́nfimo.
Ejercicio 1 : Deducir el axioma del ı́nfimo a partir del axioma del supremo.
Solución : Sea A 6= ∅ un conjunto acotado inferiormente. Entonces −A = {−x : x ∈ A}
es acotado superiormente y viceversa (obviamente que −A tampoco es vacı́o).
En efecto, a es cota inferior de A (la cual existe, por hipótesis) si y sólo si a ≤ x, ∀x ∈ A,
si y sólo si −a ≥ −x, ∀x ∈ A lo cual equivale a que −a ≥ y, ∀y ∈ −A.
Como estamos asumiendo el axioma del supremo, existe α = sup(−A). Afirmamos que
entonces −α = inf (A) (y de este modo establecemos la existencia del ı́nfimo para el conjunto
A ).
En efecto, como α = sup(−A), en particular se tiene que α es cota superior de −A. Por
lo recién visto, −α será entonces cota inferior de A .
Nos falta probar que es la mayor cota inferior. Esto es, que si ² es cualquier número
positivo, existirá algún y ∈ A tal que y < −α + ².
Pero, como α = sup(−A) entonces α − ² ya no es cota superior y por tanto existe un
elemento x ∈ −A tal que x > α − ².
Multiplicando por −1 y haciendo y = −x (nótese que entonces y ∈ A ) obtenemos el
resultado deseado.
Las siguientes propiedades, todas las cuales pueden deducirse del axioma del supremo,
mostrarán que podemos acercarnos a un número real cualquiera mediante racionales.
Algunos de los resultados podrán parecer demasiado obvios para requerir de una prueba.
De lo que se trata es de mostrar que los axiomas elegidos efectivamente dan cuenta de nuestra
intuición sobre la recta numérica.
Si pensamos geométricamente, lo primero que hacemos es “encerrar” el número dado en
un intervalo del tipo [n, n + 1[, donde n ∈ Z.
i) Dado cualquier real x > 0 existe algún natural (en particular un entero) n tal que
n > x.
Demostración : Supongamos que no. Entonces el conjunto N serı́a cotado superiormente
(el número x del enunciado serı́a una cota superior).
Por el axioma del supremo existe entonces a = sup(N).
Entonces a − 1 ya no es cota superior y, por lo tanto, existe n ∈ N tal que a − 1 < n.
Si sumamos 1 a ambos lados obtenemos a < n + 1, pero n + 1 también pertenece a N y
entonces a no serı́a cota superior. Esto contradice la hipótesis, y por tanto la afirmación
debe ser cierta.
ii) Dado cualquier real x, existe algún entero m tal que m < x.
Demostración : Si x ≥ 0 el entero −1 satisface lo pedido. Si x > 0 entonces, por la
parte i) existe un natural n tal que n > −x. Multiplicando por −1 y llamando m = −n
obtenemos el resultado.
Ası́ pues, podemos “cazar” cualquier número real entre dos enteros. Ahora es simple ver
que podemos “adelgazar” el intervalo a uno de largo 1:
iii) Dado cualquier real x > 0, existe un único entero p tal que p ≤ x < p + 1.
Demostración : Por las dos partes anteriores tenemos que, dado cualquier x ∈ R, existen
enteros m, n tales que m < x < n. Esto es, x pertenece a un conjunto de la forma
]m, m + 1 [ ∪ [m + 1, m + 2 [ ∪ · · · ∪ [n − 1, n [.
Como tales intervalos no se traslapan, x sólo puede pertenecer a uno sólo de ellos, el
cual es de la forma deseada. (Si x pertenece al primero de ellos, entonces, con mayor
razón pertenece al intervalo [m, m + 1 [ ya que este último contiene al primero).
Hemos probado la existencia de un entero p con la propiedad requerida. La unicidad de
dicho entero se prueba fácilmente pues, si existiese otro entero r tal que r ≤ x < r + 1
y si r < p, se tendrı́a que r + 1 ≤ p .
Como también se cumple que p ≤ x, se seguirı́a que r + 1 ≤ x. Pero también x < r + 1.
Luego se tendrı́a que r + 1 < r + 1, lo cual es imposible. Al mismo tipo de contradicción
se llega si suponemos que p < r.
Por tanto, r = p, lo cual establece la unicidad.
Ahora bien, una vez que hemos encerrado el punto (número real) x entre dos enteros
consecutivos, seguimos acercándonos a él usando fracciones de la unidad. Es intuitiva-
mente evidente que, dada cualquiera tal fracción n1 , podemos encerrar a x entre dos
múltiplos consecutivos de ella.
1
Como la distancia entre éstos es, precisamente n , tendremos que x está a distancia
menor que n1 , de un racional.
Es también intuitivamente obvio que n1 , puede hacerse tan pequeño como queramos si
n es lo bastante grande. Eso establecerı́a que podemos hallar racionales tan cerca como
deseemos del real x.
Pero esto que es intuitivamente evidente....¿puede concluı́rse de los axiomas que estamos
usando? Recuérdese que todo este negocio se orienta a probar que los axiomas (en
particular el axioma del supremo, que es el que nos interesa ahora) permiten establecer
tales “obviedades”. Ası́ pues, estableceremos otra obviedad más:
1
iv) Dado cualquier real ² > 0 (por chico que sea) existe algún natural n tal que n < ².
Demostración : Por la parte i) existe algún n ∈ N tal que n > 1² .
Aplicando recı́procos obtenemos lo deseado.
Ahora podemos establecer el resultado principal: que, dado cualquier número real, x, y
cualquier grado de proximidad que deseemos, ², podemos hallar algún racional, q, que
esté a menor distancia que ² de x. (O sea, tal que |x − q| < ². )
v) Dado cualquier real x y cualquier ² > 0 (por chico que sea) existe un número racional,
q, tal que |x − q| < ².
1
Demostración : Por la parte anterior, existe un natural n tal que n < ².
Consideremos ahora el número real nx.
Por la parte iii) existe un (único) entero m tal que m ≤ nx < m + 1. Dividiendo por n
tenemos que m n ≤x< n .
m+1
m
Si llamamos q = n tenemos que
m m+1 m 1
|x − q| = x − < − = < ².
n n n n
Hasta ahora el axioma del supremo nos ha permitido establecer que los racionales “están
por todas partes” en el eje numérico. En lenguaje más técnico, que son densos en R.
Pese de lo anterior y como lo habı́amos mencionado al principio, los racionales dejan
espacios en la recta. De acuerdo al mismo ejemplo que habı́amos mencionado entonces,
no existe un racional x tal que x2 = 2.
Veremos ahora que un tal número sı́existe en R, apoyándonos en el axioma del supremo.
Lo haremos de manera indirecta:
(x + q)2 = x2 + q(2x + q)
²
< x2 + ² ( pues q < )
2x + 1
– A 6= ∅ . ( 1 ∈ A ).
– A es acotado superiormente ( 2 es cota superior)
Por el axioma del supremo, existe a = sup(A).
Ahora bien, no puede ocurrir que a2 > 2 ya que, por el ejercicio 1, en tal caso existe un
real positivo q (de hecho, un racional) tal que (a − q)2 > 2.
Luego, a − q < q es también cota superior y por tanto a no serı́a la menor cota superior.
De modo análogo. y usando el ejercicio 2, concluı́mos que tampoco es posible que a2 < 2.
Por descarte tenemos que a2 = 2. De este modo hemos probado que el axioma del
supremo llena uno de los espacios que dejaba Q.
Se puede probar, de manera más o menos parecida, que existe un número real asociado a
cualquier punto de la recta (en tanto podamos caracterizarlo mediante alguna propiedad
que éste satisfaga).