Posts Tagged ‘Propiedad Arquimediana’

Propiedad Arquimediana:
• Dado cualquier número , existe un que satisface .
• Dado cualquier número real , existe un que satisface .
Dem. La primera parte de la propiedad establece que no está acotado
superiormente. Nunca ha habido ninguna duda acerca de la verdad de esto, y
se podría argumentar razonablemente que no deberíamos tener que
demostrarlo en absoluto. Este es un punto de vista legítimo, especialmente a la
luz del hecho de que hemos decidido asumir otras propiedades familiares de
, y como dadas en las entradas anteriores.
El argumento en contra es que vamos a probarlo porque podemos. Un conjunto
puede poseer la Propiedad Arquimediana sin ser completo — es un buen
ejemplo– pero una demostración de este hecho requiere una buena dosis de
escrutinio en la construcción axiomática del cuerpo ordenado en cuestión. En el
caso de , el Axioma de Completitudnos proporciona un argumento muy corto.
Un gran número de profundos resultados depende en última instancia de esta
relación entre y , así que tener una prueba para ello añade un poco de
seguridad extra para estos próximos argumentos.
De modo que sin dilatarlo más iniciamos aquí la demostración. Supongamos,
por contradicción, que está acotado superiormente. Por el Axioma de
Completitud, debe entonces tener una menor cota superior,
digamos . Si consideramos , entonces ya no tenemos una cota
superior (Recordar Caracterizando un supremo), y por lo tanto existe un
que satisface . Pero esto es equivalente a . Como ,
tenemos una contradicción con el hecho de que se supone que es una cota
superior de . (Observemos que la contradicción sólo depende del Axioma de
Completitud y del hecho de que es cerrado bajo la adición.)
La segunda parte se sigue de la primera tomando .

Esta familiar propiedad de es la clave para un hecho extremadamente

importante acerca de cómo encaja dentro de .
De más está decir que su nombre se asocia al famoso matemático
griego Arquímedes de Siracusa (aproximadamente 287 a.C. – 212 a.C.)

Densidad de en .
Para cualesquiera dos números reales y con , existe un número
racional que satisface .
Dem. Por simplicidad, asumimos que . El caso en que se sigue
rápidamente de este. Un número racional es un cociente de enteros, de modo
que debemos producir de modo que
El primer paso es elegir el denominador suficientemente grande como para
que incrementos sucesivos de tamaño estén suficientemente cerca al
“pararse sobre” el intervalo .

Usando la Propiedad Arquimediana, podemos tomar suficientemente

grande de modo que

Multiplicando la desigualdad anterior por obtenemos . Con el ya

elegido, la idea ahora es elegir como el menor número natural mayor que .
En otras palabras, tomamos tal que

Ahora, de la desigualdad anterior inmediatamente se cumple que , que

es la mitad del objetivo. Teniendo en mente que la desigualdad anterior es
equivalente a , podemos usar una de las desigualdades
anteriores para escribir

Como implica , tenemos , como queríamos.

Este Teorema puede ser redactado de otra manera diciendo que

es denso en . Sin mayor esfuerzo, podemos usar este resultado para
demostrar que también los números irracionales son densos en .
Pero antes de irnos hoy, los invito a pensar la relación de lo que hemos visto y
el siguiente planteo del Dr. Paenza en su programa Alterados por Pi