Axioma de Arquímedes

El axioma de Arquímedes (llamado así en honor al ma- es infinitesimal con respecto al otro, se dice que es ar-
temático griego Arquímedes) es un antiguo enunciado quimediano. Inversamente, una estructura que conten-
que forma parte de los axiomas llamados de continuidad; ga dos elementos no-nulos, uno de los cuales es infini-
de manera informal, se puede expresar como la propiedad tesimal con repecto al otro, se llama no-arquimediano.
de no tener elementos infinitamente grandes ni infinita- Por ejemplo, el cuerpo de los números reales es arqui-
mente pequeños. Presente en los Elementos de Euclides, mediano, mientras que el de las funciones racionales es
este axioma se inscribe dentro del campo de estudio de la no-arquimediano.
geometría sintética. En un sentido moderno, se le llama
arquimediano a estructuras matemáticas cuyos elemen-
tos verifican una propiedad análoga al axioma de Arquí-
medes.
4 Ejemplos
Propiedad arquimediana de los números reales:[1]
1 Antiguas formulaciones
4.1 Grupo
El axioma de Arquímedes es una propiedad utilizada des-
de la Antigüedad. Se aplica a magnitudes que guardan una Sea (G,+,≤) un grupo conmutativo totalmente ordenado.
proporción entre ellas.
(G,+,≤) verifica el axioma de Arquímedes (o es arquime-
Del libro V de los Elementos de Euclides: diano) si y solo si:
Arquímedes atribuye de hecho este axioma a Eudoxio de para cualesquiera elementos a > 0 y b ≥ 0 de G, existe un
Cnido, quien es presumiblemente el autor de los libros V número natural n tal que n × a ≥ b.
y XII de los Elementos. El axioma se aplica a longitudes,
áreas, volúmenes, ángulos rectos. Esta propiedad es uti- Formalmente, esto se escribe: ∀(a, b) ∈ G , (a > 0, b ≥
2

lizada en el libro V para definir la noción de proporción 0) ⇒ ∃n ∈ N que tal a |

+ a + ... + a ≥ b
{z }
entre magnitudes. Permite demostrar la proposición 1 del veces n

libro X, que es frecuentemente utilizada en el método de

exhausción:
4.2 Anillo

Sea (A,+,×,≤ ) un anillo totalemente ordenado.

2 Axiomas de continuidad (A,+,×,≤) verifica el axioma de Arquímedes (o es arqui-
mediano) si y solo si el grupo conmutativo (A,+,≤) es ar-
El matemático alemán David Hilbert expone, en sus quimediano.
fundamentos de la geometría (1899), una formulación
moderna del axioma de Arquímedes, que es el primer
axioma de continuidad (axioma V.1): 4.3 Cuerpo

Sea (K,+,×,≤) un cuerpo totalmente ordenado.

3 Propiedad arquimediana (K,+,×,≤) verifica el axioma de Arquímedes (o es arqui-
mediano) si y solo si el grupo conmutativo (K,+,≤) es ar-
En álgebra abstracta y análisis, la propiedad arquime- quimediano. Tal cuerpo es isomorfo a un subcuerpo del
diana es una propiedad que poseen ciertas estructuras cuerpo de los reales (R,+,×,≤).[2]
algebraicas, como por ejemplo algunos grupos o cuerpos Se dice que un cuerpo ordenado K es arquimediano sobre
ordenados o normados. De manera informal, es la pro- un subcuerpo con el orden inducido F, si para todo β de
piedad de no poseer elementos “infinitamente grandes” o K hay un y de F con |β|<y, donde se considera valor abso-
“infinitamente pequeños”. luto de b.<ref> “Diccionario de matemáticas” (2001) Es-
Una estructura algebraica en la cual dos elementos no- pinosa, Julián ( coordinador); ISBN 84-8055-355-3 pág.
nulos son comparables, en el sentido que ninguno de ellos 72</ref>

1
2 6 ENLACES EXTERNOS

5 Bibliografía
[1] APOSTOL, Cálculus

[2] N. Bourbaki - Elementos de matemática - Algèbre VI - 7.

6 Enlaces externos
• Archimedean property en PlanetMath

• Esta obra deriva de la traducción parcial de Axiome

d'Archimède de Wikipedia en francés, publicada
por sus editores bajo la Licencia de documenta-
ción libre de GNU y la Licencia Creative Commons
Atribución-CompartirIgual 3.0 Unported.

• Esta obra deriva de la traducción parcial de

Archimédien de Wikipedia en francés, publicada
por sus editores bajo la Licencia de documenta-
ción libre de GNU y la Licencia Creative Commons
Atribución-CompartirIgual 3.0 Unported.

• Esta obra deriva de la traducción parcial de

Archimedean property de Wikipedia en inglés, pu-
blicada por sus editores bajo la Licencia de do-
cumentación libre de GNU y la Licencia Creative
Commons Atribución-CompartirIgual 3.0 Unpor-
ted.
 3

7 Text and image sources, contributors, and licenses

7.1 Text
• Axioma de Arquímedes Fuente: http://es.wikipedia.org/wiki/Axioma%20de%20Arqu%C3%ADmedes?oldid=79529331 Colaboradores:
Dorieo, Mar del Sur, Poco a poco, Raulshc, Luckas-bot, TiriBOT, Jerowiki, Kim for sure, GrouchoBot, EmausBot, ZéroBot, Grillitus,
KLBot2, Barymar, Luis Eduardo Arias y Anónimos: 2

7.2 Images

7.3 Content license

• Creative Commons Attribution-Share Alike 3.0