stringtranslate.com

Campo ordenado

En matemáticas , un cuerpo ordenado es un cuerpo con un ordenamiento total de sus elementos que es compatible con las operaciones del cuerpo. Ejemplos básicos de cuerpos ordenados son los números racionales y los números reales , ambos con sus ordenamientos estándar.

Cada subcampo de un cuerpo ordenado es también un cuerpo ordenado en el orden heredado. Cada cuerpo ordenado contiene un subcampo ordenado que es isomorfo a los números racionales . Cada cuerpo ordenado Dedekind-completo es isomorfo a los reales. Los cuadrados son necesariamente no negativos en un cuerpo ordenado. Esto implica que los números complejos no pueden ordenarse ya que el cuadrado de la unidad imaginaria i es −1 (que es negativo en cualquier cuerpo ordenado). Los cuerpos finitos no pueden ordenarse.

Históricamente, la axiomatización de un campo ordenado se fue abstrayendo gradualmente de los números reales, por matemáticos como David Hilbert , Otto Hölder y Hans Hahn . Esto eventualmente se convirtió en la teoría Artin-Schreier de campos ordenados y campos formalmente reales .

Definiciones

Existen dos definiciones comunes equivalentes de un cuerpo ordenado. La definición de orden total apareció por primera vez históricamente y es una axiomatización de primer orden del ordenamiento como predicado binario . Artin y Schreier dieron la definición en términos de cono positivo en 1926, que axiomatiza la subcolección de elementos no negativos. Aunque este último es de orden superior, considerar los conos positivos como conos prepositivos máximos proporciona un contexto más amplio en el que los ordenamientos de cuerpo son ordenamientos parciales extremos .

Pedido total

Un campo junto con un pedido total es un campo ordenado si el orden satisface las siguientes propiedades para todos

Como es habitual, escribimos para y . Las notaciones y representan y , respectivamente. Los elementos con se denominan positivos.

Cono positivo

AEl cono prepositivo opreordenamientode un cuerpoes unsubconjuntoque tiene las siguientes propiedades:[1]

AUn campo preordenado es un campo equipado con un preordenamiento. Sus elementos distintos de ceroforman unsubgrupodel grupo multiplicativo de

Si además, el conjunto es la unión de y llamamos cono positivo de Los elementos distintos de cero de se llaman elementos positivos de

Un campo ordenado es un campo junto con un cono positivo

Los preordenamientos en son precisamente las intersecciones de familias de conos positivos en Los conos positivos son los preordenamientos máximos. [1]

Equivalencia de las dos definiciones

Sea un campo. Existe una biyección entre los ordenamientos de campo de y los conos positivos de

Dado un ordenamiento de campo ≤ como en la primera definición, el conjunto de elementos tal que forma un cono positivo de A la inversa, dado un cono positivo de como en la segunda definición, se puede asociar un ordenamiento total en fijando en significa Este ordenamiento total satisface las propiedades de la primera definición.

Ejemplos de campos ordenados

Ejemplos de campos ordenados son:

Los números surrealistas forman una clase propia y no un conjunto , pero por lo demás obedecen a los axiomas de un cuerpo ordenado. Todo cuerpo ordenado puede incluirse en los números surrealistas.

Propiedades de los campos ordenados

La propiedad
La propiedad

Para cada a , b , c , d en F :

Cada subcampo de un campo ordenado es también un campo ordenado (que hereda el orden inducido). El subcampo más pequeño es isomorfo a los racionales (como cualquier otro campo de característica 0), y el orden en este subcampo racional es el mismo que el orden de los racionales mismos.

Si cada elemento de un cuerpo ordenado se encuentra entre dos elementos de su subcuerpo racional, entonces se dice que el cuerpo es arquimediano . De lo contrario, dicho cuerpo es un cuerpo ordenado no arquimediano y contiene infinitesimales . Por ejemplo, los números reales forman un cuerpo arquimediano, pero los números hiperreales forman un cuerpo no arquimediano, porque extiende los números reales con elementos mayores que cualquier número natural estándar . [4]

Un cuerpo ordenado F es isomorfo al cuerpo de números reales R si y solo si cada subconjunto no vacío de F con un límite superior en F tiene un límite superior mínimo en  F. Esta propiedad implica que el cuerpo es arquimediano.

Espacios vectoriales sobre un cuerpo ordenado

Los espacios vectoriales (en particular, los n -espacios ) sobre un cuerpo ordenado presentan algunas propiedades especiales y tienen algunas estructuras específicas, a saber: orientación , convexidad y producto interno definido positivamente . Véase Espacio de coordenadas reales#Propiedades geométricas y usos para una discusión de aquellas propiedades de R n , que pueden generalizarse a espacios vectoriales sobre otros cuerpos ordenados.

Ordenabilidad de los campos

Todo campo ordenado es un campo formalmente real , es decir, 0 no puede escribirse como una suma de cuadrados distintos de cero. [2] [3]

Por el contrario, todo cuerpo formalmente real puede estar dotado de un orden total compatible, que lo convertirá en un cuerpo ordenado (no es necesario que este orden esté determinado de forma única). La prueba utiliza el lema de Zorn . [5]

Los campos finitos y, más generalmente, los campos de característica positiva no pueden convertirse en campos ordenados, como se muestra arriba. Los números complejos tampoco pueden convertirse en un campo ordenado, ya que −1 es un cuadrado de la unidad imaginaria i . Además, los números p -ádicos no pueden ordenarse, ya que según el lema de Hensel Q 2 contiene una raíz cuadrada de −7, por lo tanto 1 2  + 1 2  + 1 2  + 2 2  +  −7 2  = 0, y Q p ( p  > 2) contiene una raíz cuadrada de 1 −  p , por lo tanto ( p  − 1)⋅1 2  +  1 −  p 2  = 0. [6]

Topología inducida por el orden

Si F está dotado de la topología de orden que surge del orden total ≤, entonces los axiomas garantizan que las operaciones + y × son continuas , de modo que F es un campo topológico .

Topología de Harrison

La topología de Harrison es una topología sobre el conjunto de ordenamientos X F de un cuerpo formalmente real F . Cada orden puede considerarse como un homomorfismo de grupo multiplicativo de F sobre ±1. Dando ±1 la topología discreta y ±1 F la topología del producto se induce la topología del subespacio sobre X F . Los conjuntos de Harrison forman una subbase para la topología de Harrison. El producto es un espacio booleano ( compacto , de Hausdorff y totalmente desconectado ), y X F es un subconjunto cerrado, por lo tanto nuevamente booleano. [7] [8]

Aficionados y campos superordenados

Un abanico en F es un preordenamiento T con la propiedad de que si S es un subgrupo de índice 2 en F que contiene a T  − {0} y no contiene −1 entonces S es un ordenamiento (es decir, S está cerrado bajo adición). [9] Un cuerpo superordenado es un cuerpo totalmente real en el que el conjunto de sumas de cuadrados forma un abanico. [10]

Véase también

Notas

  1. ^ Ab Lam (2005) pág. 289
  2. ^ Ab Lam (2005) pág. 41
  3. ^ Ab Lam (2005) pág. 232
  4. ^ Bair, Jaques; Henry, Valérie. «Diferenciación implícita con microscopios» (PDF) . Universidad de Lieja . Consultado el 4 de mayo de 2013 .
  5. ^ Lam (2005) pág. 236
  6. ^ Los cuadrados de las raíces cuadradas −7 y 1 −  p están en Q , pero son < 0, por lo que estas raíces no pueden estar en Q, lo que significa que sus expansiones p -ádicas no son periódicas.
  7. ^ Lam (2005) pág. 271
  8. ^ Lam (1983) págs. 1-2
  9. ^ Lam (1983) pág. 39
  10. ^ Lam (1983) pág. 45

Referencias