En matemáticas, el cuerpo de Levi-Civita, llamado así por Tullio Levi-Civita, es un cuerpo ordenado no-arquimediano; es decir, un sistema numérico que contiene cantidades infinitas e infinitesimos. Cada miembro se puede construir como una serie formal de potencias de la forma:
donde son números reales, es el conjunto de números racionales, y debe interpretarse como un infinitesimal positivo. El soporte de , es decir, el conjunto de índices de los coeficientes diferentes de cero debe ser un conjunto “finito por la izquierda”: para cualquier miembro de , solo hay una cantidad finita de elementos menores que él. Esta restricción es necesaria para que la multiplicación y la división estén bien definidas y tengan unicidad. El orden se define de acuerdo con el orden lexicográfico de la lista de coeficientes, que es equivalente a la suposición de que es un infinitesimo.
El cuerpo de Levi-Civita contiene un subconjunto isomorfo a los números reales (por lo que pueden considerar se parte de él), como las series en las que todos los coeficientes desaparecen excepto .
Si y son dos series de Levi-Civita, entonces
(Se puede comprobar que el soporte de esta serie es finito a la izquierda y que para cada uno de sus elementos , el conjunto es finito, por lo que el producto está bien definido).
Equipado con estas operaciones y el orden lexicográfico, el cuerpo de Levi-Civita es de hecho una extensión de cuerpo ordenada de donde la serie es un infinitesimal positivo.
El cuerpo de Levi-Civita es un cuerpo real cerrado, lo que significa que puede ser algebraicamente cerrado adjuntando la unidad imaginaria (i), o dejando que los coeficientes sean complejos. Además, es lo suficientemente rico como para permitir que se realice una cantidad significativa de análisis en él, ya que sus elementos se pueden representar en una computadora en el mismo sentido que los números reales se pueden representar usando coma flotante.
Es la base de la diferenciación automática, una forma de realizar la diferenciación en casos que son intratables por métodos de diferenciación simbólica o diferencias finitas[1]
El cuerpo de Levi-Civita también es métricamente completo, lo que significa que relativizando las definiciones de sucesiones de Cauchy y de sucesión convergente a las sucesiones de la serie de Levi-Civita, toda secuencia de Cauchy en el cuerpo de Levi-Civita es convergente. Equivalentemente, se puede decir que no tiene ninguna extensión de cuerpos no trivial que sea densa y adecuada.
Como un cuerpo ordenado, tiene una valoración natural dada por el exponente racional correspondiente al primer coeficiente distinto de cero de una serie de Levi-Civita. El anillo de valoración es el de series acotadas por números reales, el cuerpo residual es , y el grupo de valoración es . El cuerpo valorado resultante es Henseliano (siendo real cerrado con un anillo de valoración convexo) pero no esféricamente completo. De hecho, el cuerpo de serie de Hahn con coeficientes reales y grupo de valores es una extensión inmediata adecuada, que contiene series como que no están en el cuerpo de Levi-Civita.
El cuerpo de Levi-Civita es la compleción de Cauchy del cuerpo de series de Puiseux con coeficientes reales, es decir, es una extensión densa de que ya no admite ninguna otra densa y adecuada, que no sea trivial. En la sección siguiente se da una lista de algunos de sus subcuerpos propios notables y sus extensiones de cuerpo ordenadas adecuadas: