campo exponencial ordenado


En matemáticas , un campo exponencial ordenado es un campo ordenado junto con una función que generaliza la idea de funciones exponenciales en el campo ordenado de números reales.

Una exponencial en un campo ordenado es un isomorfismo estrictamente creciente del grupo aditivo de sobre el grupo multiplicativo de elementos positivos de . El campo ordenado junto con la función adicional se llama campo exponencial ordenado.

Un campo formalmente exponencial, también llamado campo exponencialmente cerrado, es un campo ordenado que se puede equipar con un exponencial . Para cualquier campo formalmente exponencial , se puede elegir una exponencial tal que para algún número natural . [3]