Axioma de Arquímedes
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/Archimedean_property.png/220px-Archimedean_property.png)
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:
|
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:
|
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):
|
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 viene expresada por:[2]
|
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:
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]
Cuerpos no arquimedeanos
Algunos sistemas numéricos diferentes de los números reales forman un cuerpo no aquimedeano, donde la propiedad de Arquímedes no es válida. Un ejemplo de ellos son los números p-ádicos que son una compleción del cuerpo de los números racionales pero usando en lugar de la normal usual, una normal no arquimedeana.
Véase también
Referencias
- ↑ 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