En matemáticas, un campo ordenado no arquimediano es un campo ordenado que no satisface la propiedad de Arquímedes . Ejemplos son el campo Levi-Civita , los números hiperrealistas , los números surrealistas , el campo Dehn y el campo de funciones racionales con coeficientes reales con un orden adecuado.
Definición
La propiedad de Arquímedes es una propiedad de ciertos campos ordenados como los números racionales o los números reales , indicando que cada dos elementos están dentro de un múltiplo entero entre sí. Si un campo contiene dos elementos positivos x < y para los cuales esto no es cierto, entonces x / y debe ser un infinitesimal , mayor que cero pero menor que cualquier fracción unitaria entera . Por tanto, la negación de la propiedad de Arquímedes equivale a la existencia de infinitesimales.
Aplicaciones
Los campos hiperrealistas , campos ordenados no arquimedianos que contienen los números reales como subcampo, pueden usarse para proporcionar una base matemática para análisis no estándar .
Max Dehn utilizó el campo de Dehn, un ejemplo de un campo ordenado no arquimediano, para construir geometrías no euclidianas en las que el postulado paralelo no es verdadero pero, sin embargo, los triángulos tienen ángulos que suman π . [1] [ dudoso ]
El campo de las funciones racionales sobre se puede utilizar para construir un campo ordenado que es completo (en el sentido de convergencia de secuencias de Cauchy) pero no son los números reales. [2] Esta finalización puede describirse como el campo de la serie formal de Laurent sobre. A veces, el término completo se utiliza para indicar que se cumple la propiedad del límite superior mínimo . Con este significado de completo, no hay campos completos ordenados que no sean de Arquímedes. La sutil distinción entre estos dos usos de la palabra completo es ocasionalmente una fuente de confusión.
Referencias
- ↑ Dehn, Max (1900), "Die Legendre'schen Sätze über die Winkelsumme im Dreieck" , Mathematische Annalen , 53 (3): 404–439, doi : 10.1007 / BF01448980 , ISSN 0025-5831 , JFM 31.0471.01.
- ^ Contraejemplos en análisis de Bernard R. Gelbaum y John MH Olmsted, Capítulo 1, Ejemplo 7, página 17.