Cuerpo de Levi-Civita

Cuerpo ordenado con infinitesimos

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 .

Ejemplos

editar
  •   es un infinitesimo mayor que  , pero menor que todo número real positivo.
  •   es menor que  , y también es menor que   para cualquier   real positivo.
  •   difiere infinitesimalmente de 1.
  •   es mayor que  , pero aún menor que cada número real positivo.
  •   es mayor que cualquier número real.
  •   se interpreta como  .
  •   es un miembro válido del cuerpo, porque la serie debe interpretarse formalmente, sin ninguna consideración de convergencia.

Definición de las operaciones de cuerpo y cono positivo

editar

Si   y   son dos series de Levi-Civita, entonces

  • su suma   es la suma puntual  .
  • su producto   es el producto de Cauchy  .

(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).

  • La relación   se mantiene si   (es decir,   tiene soporte no vacío) y el coeficiente mínimo distinto de cero de   es estrictamente positivo.

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.

Propiedades y aplicaciones

editar

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.

Relaciones con otros cuerpos ordenados

editar

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:

Subcuerpos notables

editar
  • El cuerpo   de números reales.
  • El cuerpo   de fracciones de polinomios reales con un infinitesimo positivos indeterminado  .
  • El cuerpo   de series de Laurent formales sobre  .
  • El cuerpo   de series de Puiseux sobre  .

Extensiones notables

editar
  • El cuerpo   de series de Hahn con coeficientes reales y exponentes racionales.
  • El cuerpo   de transeres logarítmico-exponenciales.
  • El cuerpo   de números surreales con fecha de nacimiento debajo del primer  -número,  .
  • Los cuerpos de números hiperreales construidos como ultrapotencias de   módulo un ultrafiltro libre en   (aunque aquí las inclusiones no son canónicas).

Véase también

editar

Referencias

editar
  1. Khodr Shamseddine, Martin Berz "Analysis on the Levi-Civita Field: A Brief Overview", Contemporary Mathematics, 508 pp 215-237 (2010)

Enlaces exteriores

editar