En matemáticas , un campo ordenado es un campo junto con un ordenamiento total de sus elementos que es compatible con las operaciones de campo. Ejemplos básicos de campos ordenados son los números racionales y los números reales , ambos con su ordenamiento estándar.
Cada subcampo de un campo ordenado también es un campo ordenado en el orden heredado. Cada campo ordenado contiene un subcampo ordenado que es isomorfo a los números racionales . Todo campo ordenado completo de Dedekind es isomorfo a los reales. Los cuadrados son necesariamente no negativos en un campo ordenado. Esto implica que los números complejos no se pueden ordenar ya que el cuadrado de la unidad imaginaria i es −1 (que es negativo en cualquier campo ordenado). No se pueden ordenar campos finitos .
Hay dos definiciones comunes equivalentes de un campo 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, ver los conos positivos como conos prepositivos máximos proporciona un contexto más amplio en el que los ordenamientos de campos son ordenamientos parciales extremos .
Orden total
Un campo junto con un pedido total es uncampo ordenado si el pedido satisface las siguientes propiedades para todos
si entonces y
si y entonces
Como de costumbre, escribimos para y . Las notaciones y representan y , respectivamente. Los elementos con se llaman positivos.
Cono positivo
AEl cono prepositivo opreordenamientode un campoes unsubconjuntoque tiene las siguientes propiedades:[1]
Para y en ambos y están en
Si entonces en particular, y
El elemento no está en
Acampo preordenado es un campo equipado con un preordenado. 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. Hay 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 que forma un cono positivo de Por el contrario, dado un cono positivo de como en la segunda definición, se puede asociar un ordenamiento total estableciendo la media Este ordenamiento total satisface las propiedades de la primera definición.
Ejemplos de campos ordenados
Ejemplos de campos ordenados son:
el campo de los números racionales con su ordenamiento estándar (que es también su único ordenamiento);
el campo de los números reales con su ordenamiento estándar (que es también su único ordenamiento);
cualquier subcampo de un campo ordenado, como los números algebraicos reales o los números computables , se convierte en un campo ordenado restringiendo el ordenamiento al subcampo;
el campo de funciones racionales , donde y son polinomios con coeficientes racionales y , puede convertirse en un campo ordenado fijando un número trascendental real y definiendo si y sólo si . Esto equivale a incrustar en via y restringir el orden de a un orden de la imagen de . De esta manera, obtenemos muchos pedidos diferentes de .
el campo de funciones racionales , donde y son polinomios con coeficientes reales y , se puede convertir en un campo ordenado definiéndolo como que , donde y son los coeficientes principales de y , respectivamente. De manera equivalente: para funciones racionales tenemos si y solo si para todos suficientemente grande . En este campo ordenado el polinomio es mayor que cualquier polinomio constante y el campo ordenado no es de Arquímedes .
El campo de la serie formal de Laurent con coeficientes reales, donde x se considera infinitesimal y positiva
Los números surrealistas forman una clase propia en lugar de un conjunto , pero por lo demás obedecen a los axiomas de un campo ordenado. Cada campo ordenado se puede incrustar en los números surrealistas.
Propiedades de campos ordenados
Para cada a , b , c , d en F :
Ya sea − a ≤ 0 ≤ a o a ≤ 0 ≤ − a .
Se pueden "agregar desigualdades": si a ≤ b y c ≤ d , entonces a + c ≤ b + d .
Se pueden "multiplicar desigualdades con elementos positivos": si a ≤ b y 0 ≤ c , entonces ac ≤ bc .
"Multiplicar con negativos invierte una desigualdad": si a ≤ byc ≤ 0, entonces ac ≥ bc .
Si a < b y a , b > 0, entonces 1/ b < 1/ a .
Los cuadrados no son negativos: 0 ≤ a 2 para todo a en F . En particular, dado que 1=1 2 , se deduce que 0 ≤ 1. Dado que 0 ≠ 1, concluimos que 0 < 1.
Un campo ordenado tiene la característica 0. (Dado que 1 > 0, entonces 1 + 1 > 0, y 1 + 1 + 1 > 0, etc., y ninguna suma finita de unos puede ser igual a cero). En particular, los campos finitos no pueden ser ordenado.
Toda suma de cuadrados no trivial es distinta de cero. Equivalentemente: [2] [3]
Cada subcampo de un campo ordenado es también un campo ordenado (heredando el orden inducido). El subcampo más pequeño es isomorfo a los racionales (como para 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 campo ordenado se encuentra entre dos elementos de su subcampo racional, entonces se dice que el campo es de Arquímedes . De lo contrario, dicho campo es un campo ordenado no de Arquímedes y contiene infinitesimales . Por ejemplo, los números reales forman un campo de Arquímedes, pero los números hiperreales forman un campo no de Arquímedes, porque extiende los números reales con elementos mayores que cualquier número natural estándar . [4]
Un campo ordenado F es isomorfo al campo de números reales R si y sólo 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 campo es de Arquímedes.
Todo campo ordenado es un campo formalmente real , es decir, 0 no se puede escribir como una suma de cuadrados distintos de cero. [2] [3]
Por el contrario, todo campo formalmente real puede equiparse con un orden total compatible, que lo convertirá en un campo ordenado. (No es necesario determinar este orden de forma única). La prueba utiliza el lema de Zorn . [5]
Los campos finitos y, más generalmente, los campos de características positivas no se pueden convertir en campos ordenados, como se muestra arriba. Los números complejos tampoco se pueden convertir en un campo ordenado, ya que −1 es un cuadrado de la unidad imaginaria i . Además, los números p -ádicos no se pueden ordenar, 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á equipado con 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 del conjunto de ordenamientos X F de un campo formalmente real F . Cada orden puede considerarse como un homomorfismo de grupo multiplicativo de F ∗ a ±1. Dando ±1 la topología discreta y ±1 F la topología del producto induce la topología subespacial en 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]
Fans y campos superordenados
Un abanico en F es un T preordenado con la propiedad de que si S es un subgrupo del índice 2 en F ∗ que contiene T − {0} y no contiene −1 entonces S es un ordenamiento (es decir, S está cerrado bajo suma). [9] Un campo superordenado es un campo totalmente real en el que el conjunto de sumas de cuadrados forma un abanico. [10]
Ver también
Grupo linealmente ordenado : grupo con orden total traslacionalmente invariante; es decir, si a ≤ b, entonces ca ≤ cb
Grupo ordenado – Grupo con un pedido parcial compatiblePages displaying short descriptions of redirect targets
Anillo pedido – anillo con un pedido total compatiblePages displaying wikidata descriptions as a fallback
Campo de preorden : concepto algebraico en la teoría de la medida, también conocido como álgebra de conjuntosPages displaying short descriptions of redirect targets
Espacio de Riesz : espacio vectorial parcialmente ordenado, ordenado como una red
Notas
^ ab Lam (2005) pág. 289
^ ab Lam (2005) pág. 41
^ ab Lam (2005) pág. 232
^ Bair, Jacques; Henry, Valerie. «Diferenciación implícita con microscopios» (PDF) . Universidad de Lieja . Consultado el 4 de mayo de 2013 .
^ Lam (2005) pág. 236
^ 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.