MATEMATICAS.NET

Cuerpos ordenados

Anuncios

Sabemos que un cuerpo conmutativo no es más que un anillo unitario y conmutativo donde todo elemento diferente del cero aditivo tiene inverso multiplicativo. Por ello, la estructura de cuerpo totalmente ordenado se obtiene considerándolo como un anillo totalmente ordenado. Esto es, se considera una 4-tupla

,

donde es un cuerpo conmutativo, un subconjunto de , tal que es una partición de , un semigrupo y un magma. Como ya demostramos en la entrada relativa a anillos ordenados, todo cuerpo ordenado, al ser un anillo unitario y conmutativo ordenado, tiene característica cero. También vimos una serie de propiedades que verificaban las desigualdades. Las completaremos con una serie de nuevas desigualdades y llegaremos a la conclusión de que el orden en el cuerpo es denso y dicho cuerpo es infinito.

Sean elementos del cuerpo ordenado . Entonces si es el orden total de dicho cuerpo,

a)Las desigualdades y , implican .
b) Si es , entonces .
c) Si se cumple , entonces .
d) Si tenemos , entonces .

a) Como y también , resulta que su suma

es un elemento de , lo que nos permite afirmar que .

b) Si  y suponemos que , resultaría que . Pero sabemos que en todo anillo unitario y conmutativo ordenado es . Para evitar esta contradicción, es .

c) Supongamos que es . Entonces multiplicando ambos miembros por , resulta

,

es decir, . Volviendo a multiplicar por ambos miembros

,

expresión que, en virtud de la asociatividad y conmutatividad del producto viene a dar

.

Pero esto contradice nuestra suposición inicial . Por tanto,

.

d) La prueba es análoga a la de c).

Recordemos ahora que un orden es denso en un conjunto si para todos , tales que y , existe un , con , tal que . Es decir, que si tenemos dos elementos, uno mayor que el otro, entre ellos hay un tercero que es mayor que el menor y menor que el mayor.  Para probar que todo cuerpo ordenado tiene un orden denso primero probaremos que todo cuerpo ordenado es infinito y para ello usaremos la idea de aplicación que preserva el orden. 

Definición: Sean y conjuntos ordenados. Una aplicación

se dice que preserva el orden si implica , para todos .

Cuando los conjuntos y tienen además estructura algebraica podemos considerar homomorfismos que preserven el orden. Esto es, aplicaciones que además de conservar las operaciones también conserven el orden.

Teorema: Todo cuerpo ordenado contiene un subanillo isomorfo al anillo de los enteros .

Demostración: Sea el neutro multiplicativo del cuerpo , definimos para cada entero , el elemento

(n veces), si ,

si

(-n) veces, si .

Comprobaremos que esta asignación determina una aplicación que conserva las operaciones y el orden y además resulta inyectiva. En efecto, la definición es correcta ya que sólo es posible asignar un elemento del cuerpo a cada entero. Además, sean enteros, trivialmente comprobamos que  y también . Para acabar si , entonces 
Esta última propiedad nos muestra además que es inyectiva pues si , entonces en virtud del orden total definido en los enteros, será o , luego las imágenes y tienen la misma relación que sus originales y no son iguales.

Por tanto, existe en todo cuerpo ordenado un subconjunto infinito y así todo cuerpo ordenado es infinito (aunque no precisemos de qué tipo). Ahora veremos que el orden es denso.

Teorema: Todo cuerpo ordenado tiene un orden denso.

Demostración: Sean elementos del cuerpo ordenado  con , entonces

,

,

(donde utilizamos , siendo el elemento correspondiente al entero en el isomorfismo de orden anterior). Como , entonces

.

Esto prueba que el orden es denso.

Anuncios