Axioma de Arquímedes

El axioma de Arquímedes (llamado así en honor al matemático griego Arquímedes y también conocido como axioma de Arquímedes-Eudoxo[1]) es un antiguo enunciado que forma parte de los axiomas llamados de continuidad. De manera informal, se puede expresar como la propiedad de no tener elementos infinitamente grandes ni infinitamente pequeños. Presente en los Elementos de Euclides, este axioma se inscribe dentro del campo de estudio de la geometría sintética. En un sentido moderno, se le llama arquimediano a estructuras matemáticas cuyos elementos verifican una propiedad análoga al axioma de Arquímedes.

Antiguas formulaciones

El axioma de Arquímedes es una propiedad utilizada desde la Antigüedad. Se aplica a magnitudes que guardan una proporción entre ellas.

Del libro V de los Elementos de Euclides:

Las magnitudes se dice que guardan una razón entre ellas si, multiplicadas, estas magnitudes pueden excederse mutuamente.

Arquímedes atribuye de hecho este axioma a Eudoxio de Cnido, quien es presumiblemente el autor de los libros V y XII de los Elementos. El axioma se aplica a longitudes, áreas, volúmenes, ángulos rectos. Esta propiedad es utilizada en el libro V para definir la noción de proporción entre magnitudes. Permite demostrar la proposición 1 del libro X, que es frecuentemente utilizada en el método de exhausción:

Dadas dos magnitudes desiguales, si se corta de la mayor una parte más grande que su mitad, si se corta del resto una parte más grande que su mitad, y si se continúa de este modo sucesivamente, quedará una magnitud que será más pequeña que la menor de las dos magnitudes dadas [originalmente].

Axiomas de continuidad

El matemático alemán David Hilbert expone, en sus 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):

Sean dos segmentos AB y CD tales que C es diferente de D. Entonces existe un entero n, y n puntos A₁, ..., A_n de la recta que contiene al segmento AB, tales que A_j se sitúa entre A_j-1 y A_j+1 si 2 ≤ j < n - 1, A_jA_j+1 es congruente a CD si 1≤ j <n - 1, A se confunde con A₁ y B se sitúa entre A y A_n.

Propiedad arquimediana

En álgebra abstracta y análisis, la propiedad arquimediana es una propiedad que poseen ciertas estructuras algebraicas, como por ejemplo algunos grupos o cuerpos ordenados o normados. De manera informal, es la propiedad de no poseer elementos "infinitamente grandes" o "infinitamente pequeños".

Una estructura algebraica en la cual dos elementos no-nulos son comparables, en el sentido que ninguno de ellos es infinitesimal con respecto al otro, se dice que es arquimediano. Inversamente, una estructura que contenga dos elementos no-nulos, uno de los cuales es infinitesimal con respecto al otro, se llama no-arquimediano. Por ejemplo, el cuerpo de los números reales es arquimediano, mientras que el de las funciones racionales es no-arquimediano.

Ejemplos

Propiedad arquimediana de los números reales:[2]

Si $y\$ es un número real arbitrario y $x>0\$ entonces existe un entero positivo $n\$ tal que $nx>y\$ .

Grupo

Sea (G,+,≤) un grupo conmutativo totalmente ordenado.

(G,+,≤) verifica el axioma de Arquímedes (o es arquimediano) si y solo si:

para cualesquiera elementos a > 0 y b ≥ 0 de G, existe un número natural n tal que n × a ≥ b.

Formalmente, esto se escribe: $\forall (a,b)\in G^{2},(a>0,b\geq 0)\Rightarrow \exists n\in \mathbb {N} {\text{ tal que }}\underbrace {a+a+...+a} _{\text{n veces}}\geq b$

Anillo

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

(A,+,×,≤) verifica el axioma de Arquímedes (o es arquimediano) si y solo si el grupo conmutativo (A,+,≤) es arquimediano.

Cuerpo

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

(K,+,×,≤) verifica el axioma de Arquímedes (o es arquimediano) si y solo si el grupo conmutativo (K,+,≤) es arquimediano. Tal cuerpo es isomorfo a un subcuerpo del cuerpo de los reales (R,+,×,≤).[3]

Se dice que un cuerpo ordenado K es arquimediano sobre un subcuerpo con el orden inducido F, si para todo β de K hay un y de F con |β| < y, donde se considera valor absoluto de β.[4]

Bibliografía

Kline, Morris (1990). Mathematical thought from ancient to modern times. v. 3. Oxford University Press. ISBN 978-0-19-977048-9. OCLC 726764443. Consultado el 18 de febrero de 2022.
APOSTOL, Cálculus
N. Bourbaki - Elementos de matemática - Algèbre VI - 7.
"Diccionario de matemáticas" (2001) Espinosa, Julián ( coordinador); ISBN 84-8055-355-3 pág. 72

Enlaces externos

Archimedean property en PlanetMath.
Esta obra contiene una traducción parcial derivada de «Axiome d'Archimède» de Wikipedia en francés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Esta obra contiene una traducción parcial derivada de «Archimédien» de Wikipedia en francés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Esta obra contiene una traducción parcial derivada de «Archimedean property» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.

Datos: Q634579
Multimedia: Archimedean property / Q634579

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.

[1] Kline, Morris (1990). Mathematical thought from ancient to modern times. v. 3. Oxford University Press. ISBN 978-0-19-977048-9. OCLC 726764443. Consultado el 18 de febrero de 2022.

[2] APOSTOL, Cálculus

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

[4] "Diccionario de matemáticas" (2001) Espinosa, Julián ( coordinador); ISBN 84-8055-355-3 pág. 72