Anillo ordenado

Los números reales son un anillo ordenado que también es un campo ordenado . Los números enteros , un subconjunto de los números reales, son un anillo ordenado que no es un campo ordenado.

En álgebra abstracta , un anillo ordenado es un anillo R (generalmente conmutativo ) con un orden total ≤ tal que para todos a , b y c en R : ^[1]

• si a ≤ b entonces a + c ≤ b + c .
• si 0 ≤ a y 0 ≤ b entonces 0 ≤ ab .

Ejemplos

Los anillos ordenados son familiares por la aritmética . Los ejemplos incluyen los números enteros , los racionales y los números reales . ^[2] (Los racionales y reales de hecho forman campos ordenados .) Los números complejos , por el contrario, no forman un anillo o campo ordenado, porque no existe una relación de orden inherente entre los elementos 1 e i .

Elementos positivos

En analogía con los números reales, llamamos a un elemento c de un anillo ordenado R positivo si 0 < c y negativo si c < 0. 0 no se considera ni positivo ni negativo.

El conjunto de elementos positivos de un anillo ordenado R suele denotarse por R ₊ . Una notación alternativa, preferida en algunas disciplinas, es utilizar R ₊ para el conjunto de elementos no negativos y R ₊₊ para el conjunto de elementos positivos.

Valor absoluto

Si es un elemento de un anillo ordenado R , entonces el valor absoluto de , denotado , se define así: ${\displaystyle a}$ ${\displaystyle a}$ ${\displaystyle |a|}$

${\displaystyle |a|:={\begin{cases}a,&{\mbox{if }}0\leq a,\\-a,&{\mbox{otherwise}},\end{cases}}}$

donde es el inverso aditivo de y 0 es el elemento identidad aditivo . ${\displaystyle -a}$ ${\displaystyle a}$

Anillos ordenados discretos

Un anillo ordenado discreto o anillo ordenado discreto es un anillo ordenado en el que no hay ningún elemento entre 0 y 1. Los números enteros son un anillo ordenado discreto, pero los números racionales no.

Propiedades básicas

Para todo a , b y c en R :

• Si a ≤ b y 0 ≤ c , entonces ac ≤ bc . ^[3] Esta propiedad se utiliza a veces para definir anillos ordenados en lugar de la segunda propiedad en la definición anterior.
• | ab | = | un | | segundo |. ^[4]
• Un anillo ordenado que no es trivial es infinito. ^[5]
• Exactamente una de las siguientes es cierta: a es positiva, − a es positiva o a = 0. ^[6] Esta propiedad se deriva del hecho de que los anillos ordenados son grupos abelianos , linealmente ordenados con respecto a la suma.
• En un anillo ordenado, ningún elemento negativo es un cuadrado: ^[7] En primer lugar, 0 es un cuadrado. Ahora si a ≠ 0 y a = b ² entonces b ≠ 0 y a = (− b ) ² ; como b o − b es positivo, a debe ser no negativo.

Ver también

• Campo ordenado  : objeto algebraico con una estructura ordenada
• Grupo ordenado  – Grupo con un pedido parcial compatiblePáginas que muestran descripciones breves de los objetivos de redireccionamiento
• Espacio vectorial topológico ordenado
• Espacio vectorial ordenado  : espacio vectorial con orden parcial
• Anillo parcialmente pedido  – Anillo con pedido parcial compatible
• Espacio parcialmente ordenado  - Espacio topológico parcialmente ordenado
• Espacio de Riesz  : espacio vectorial parcialmente ordenado, ordenado como una red, también llamado red vectorial
• Semirros ordenados

Notas

La siguiente lista incluye referencias a teoremas verificados formalmente por el proyecto IsarMathLib.

1. Lam, TY (1983), Ordenamientos, valoraciones y formas cuadráticas , Serie de conferencias regionales de matemáticas del CBMS, vol. 52, Sociedad Matemática Estadounidense , ISBN 0-8218-0702-1, Zbl  0516.12001
2. * Lam, TY (2001), Un primer curso sobre anillos no conmutativos , Textos de Graduado en Matemáticas, vol. 131 (2ª ed.), Nueva York: Springer-Verlag, págs. xx+385, ISBN 0-387-95183-0, SEÑOR  1838439, Zbl  0980.16001
3. OrdRing_ZF_1_L9
4. OrdRing_ZF_2_L5
5. ord_ring_infinito
6. OrdRing_ZF_3_L2, consulte también OrdGroup_decomp
7. OrdRing_ZF_1_L12