NOTAS SOBRE CUERPOS ORDENADOS

e OMITE EDITO!{
Dr L \JI' o\ ':>antah' ENZO R. GENTILE
Dr e n't1an Sanlhl't
Or :--,,,rJ:.rt ' Fa\'J
Or ;,,rgL\'arga' I. I NTRODUCC ION. CUERPOS ORDENADOS, REALES Y
Dr 1\oJ:.rtt' ~1JatL'l' ARQUIMEDIANIDAD.

DmH TOR En toda la exposicin designaremos por K a un cuerpo

Dr RnJ:.Lrto \1Jall'llo
(conmutativo) . Una relacin binaria ~ en K se denomina un
orden si, cualesquiera sean a,b,c E K, se satisfacen :
\ 1<.. FDll\El TORA
~)rJ Fhda FerrevrJ

l. a S a
._,El RE~ ARIO EjECL. Tl\'0
l1L" BL'TPMd1no AudJ'I)
2. a
3. a
~

~
b, b
b, b
~

~
e
a
~

~
a
a = b
~ e
} Axiomas de orden

4. a ~ b b ~ a } Axioma de orden total

SECRETARIA DE ED!CIO:--.:
Lu1sa Gallardo
5. a
6. o
~

~
b
a,
~a+

o ~ b
e ~

~ O
b + e
~ a. b } Axiomas de compatibilidad

COLABORADORES.
Un cuerpo K se dice ordenado si posee alguna
Llllll't'rSidnd NaCI!lltlll dt c,,,,,.l7
Dr. Toms Godoy relacin de orden. En un cuerpo pueden existir: ningn orden ,
Lic. Gabriela Cendova un slo orden, un nmero finito de rdenes, infinitos rdenes.
Leandro Caghero '
!m~' Pacharom Es posible dar ejemplos de todas esas situaciones. Por
LJC Paulo Tirao
ejemplo si K es un cuerpo con la propiedad que
Canna Boyalhn
MnJCa Flores n.l = 1 + 1 + . . . +1 =O, para algn nmero natural n, entonces
K no admite ningn orden. En particular ningn cuerpo finito
Utlln'r.<.u fad Nncumal de Tuwmnn .
LJC Maria l abe! Viggiam Rocha ni ningn cuerpo de caractersticas finita posee rdenes .
Demos una demostracin de este hecho. Sea n E N tal
que n. 1 = 1 + ... + 1 (n veces) =O en K. Se sigue de 4. y 6.
que O ~ l. Por lo tanto

(n - 1).1. +O~ (n- 1).1 + 1 = n.1

Rrgtslro Nnc"mnl dr la Praptrdnd llllrlrctual N 9 168024

1
o sea de las caractersticas salientes. Por ejemplo, el orden en
(n- 1).1 ~O. R define el valor absoluto lrl y con este valor absoluto se
1

Por otra parte define una distancia Q. metrica en IR, a saber, la distancia
o~ 1 ~o~ 1 ~ 1 + 1 ~o~ 1 + 1 ~ 1 + 1 + 1 ~ ... entre r y r es el nmero real lr - r 1. La importancia
1 2 1 2
. . .0 ~ (n- 1).1. de poseer una distancia se traduce en todo un inmenso
Concluimos que Captulo de la Matemtica: el analisis real .
(n - 1). 1 = O,
como Por supuesto que los subcuerpos de IR heredan propie-
n. 1 = O, dades de orden y son tambin cuerpos ordenados. Ahora bien,
se sigue finalmente que en los subcuerpos de IR y por supuesto el mismo IR el orden
1 = o, tiene una peculiaridad: es arquimediano. O sea, se satisfa-
una contradiccin. cen la3 propiedades siguientes, equivalentes entre si:
El cuerpo complejo C no posee ningn orden. En l. Para todo r E IR+ existe n E IN tal que r < n.
efecto, como vimos antes verifica que o ~ l. o (IR+: = {r E IR/ O< r}}.
sea -1 ~ O. Sea i E e, -1. Si o ~ entonces ii. IN no est acotado en IR.
O~ i.i = -1. Luego -1 =O, o tambin 1 =O, un absurdo . iii. Para todo rE IR+ existen E IN tal que n.r > l.
Sea i ~ O, por lo tanto o ~ -i y tambin
O~ -i.-i = -1 . Otra vez se sigue 1 =O. Por lo tanto nin- Una propiedad equivalente a la arquimedianidad en IR,
gn orden es posible en C. es la densidad de O (los nmeros racionales) en tl orden de
Pregunta: Habr relaciones binarias en e que satisfacen IR: dados r < r
1
en IR existe q E O tal que r < q < r .
2 1 2
solamente l. a 5.? Gracias a la arquimedianidad del orden de IR podemos probar,
Sea K un cuerpo con una relacin de orden ~. Si a ~ b y por ejemplo, que la sucesin 1, 1/2, 1/3, ... , ~/n, ... tiende
a * b escribimos a < b . Dejamos a cargo del lector probar a cero. En efecto, dado e > O, existe un entero n E IN tal
las relaciones: que 1/c < n, o sea 1/n < c. Por lo tanto todo el segmento
O ~ O < a
2
i. a * de sucesin 1/n, 1/n + 1, ... est contenido en (O,c).
ii. o < 1, La teora muestra que para todo cuerpo ordenado K,
2 2
i i i. Sean a, .. . ,a
1 n
E K. Entonces o ~ a
1
+ ... + a
n '
con arquimediano, existe un morfismo "ordenado" f:K ~IR, es de-
2 2
o = a +
1
... + a
n
s y slo si a
1
= = a
n
= o. cir un morfismo de cuerpos que respeta los rdenes: x < y en
K =} f(x) < f(y) en IR. O sea, todos los cuerpos ordenados
Hablar de cuerpos ordenados significa pensar en los arquimedianos son isomorfos a subcuerpos de IR.
nmeros reales. La relacin de orden de este cuerpo es una

2 3
o sea de las caractersticas salientes. Por ejemplo, el orden en
(n- 1).1 ~O. R define el valor absoluto lrl y con este valor absoluto se
1

Por otra parte define una distancia Q. metrica en IR, a saber, la distancia
o~ 1 ~o~ 1 ~ 1 + 1 ~o~ 1 + 1 ~ 1 + 1 + 1 ~ ... entre r y r es el nmero real lr - r 1. La importancia
1 2 1 2
. . .0 ~ (n- 1).1. de poseer una distancia se traduce en todo un inmenso
Concluimos que Captulo de la Matemtica: el analisis real .
(n - 1). 1 = O,
como Por supuesto que los subcuerpos de IR heredan propie-
n. 1 = O, dades de orden y son tambin cuerpos ordenados. Ahora bien,
se sigue finalmente que en los subcuerpos de IR y por supuesto el mismo IR el orden
1 = o, tiene una peculiaridad: es arquimediano. O sea, se satisfa-
una contradiccin. cen la3 propiedades siguientes, equivalentes entre si:
El cuerpo complejo C no posee ningn orden. En l. Para todo r E IR+ existe n E IN tal que r < n.
efecto, como vimos antes verifica que o ~ l. o (IR+: = {r E IR/ O< r}}.
sea -1 ~ O. Sea i E e, -1. Si o ~ entonces ii. IN no est acotado en IR.
O~ i.i = -1. Luego -1 =O, o tambin 1 =O, un absurdo . iii. Para todo rE IR+ existen E IN tal que n.r > l.
Sea i ~ O, por lo tanto o ~ -i y tambin
O~ -i.-i = -1 . Otra vez se sigue 1 =O. Por lo tanto nin- Una propiedad equivalente a la arquimedianidad en IR,
gn orden es posible en C. es la densidad de O (los nmeros racionales) en tl orden de
Pregunta: Habr relaciones binarias en e que satisfacen IR: dados r < r
1
en IR existe q E O tal que r < q < r .
2 1 2
solamente l. a 5.? Gracias a la arquimedianidad del orden de IR podemos probar,
Sea K un cuerpo con una relacin de orden ~. Si a ~ b y por ejemplo, que la sucesin 1, 1/2, 1/3, ... , ~/n, ... tiende
a * b escribimos a < b . Dejamos a cargo del lector probar a cero. En efecto, dado e > O, existe un entero n E IN tal
las relaciones: que 1/c < n, o sea 1/n < c. Por lo tanto todo el segmento
O ~ O < a
2
i. a * de sucesin 1/n, 1/n + 1, ... est contenido en (O,c).
ii. o < 1, La teora muestra que para todo cuerpo ordenado K,
2 2
i i i. Sean a, .. . ,a
1 n
E K. Entonces o ~ a
1
+ ... + a
n '
con arquimediano, existe un morfismo "ordenado" f:K ~IR, es de-
2 2
o = a +
1
... + a
n
s y slo si a
1
= = a
n
= o. cir un morfismo de cuerpos que respeta los rdenes: x < y en
K =} f(x) < f(y) en IR. O sea, todos los cuerpos ordenados
Hablar de cuerpos ordenados significa pensar en los arquimedianos son isomorfos a subcuerpos de IR.
nmeros reales. La relacin de orden de este cuerpo es una

2 3
Sea K un cuerpo ordenado con una relacin de orden. ti vo en todos los ordenes de K, entonces a es una suma de
1

Notacion: x < y sii X :S y y X ~ Y cuadrados en K.

x>ysii y < x. 2 2
Los cuerpos K con la propiedad que a 1 + .. . + a n =
Se sigue de las propiedades de :S que: O ~ a = = a = O, se denominan cuerpos formalmente rea-
l n
a ~ O ~ O < a
2
i. les o simplemente cuerpos reales. El Teorema de Artin-
2 2
ii. a , . . . ,an E K, no todos cero ~O < a 1 + ... + an Schreier establece una equivalencia entre cuerpos ordenados
1
iii. o< 1 y cuerpos reales. Sealemos que la teora de cuerpos reales
iv. O< 1 + . .. + 1 ( n veces)= n . 1, con lo que K es un es una rama importante de la teora de cuerpos y donde se
cuerpo de caracterstica O. desarrolla una intensa labor de investigacin. Las deriva-
Se sigue de iv. que K contiene una "copia" de IN y por su- ciones ms importantes de esta teora son la geometra alge-
puesto de Q. O sea Q es subcuerpo de K. Podemos entonces braica real, el lgebra real y el anlisis no arquimediano o
analizar la propiedad de arquimedianidad de K, respecto de no normal (Non-standard Analysis).
Q. Si K es un cuerpo con un orden :S, diremos entonces que K El objeto de estas Notas es mostrar "otra" cara de
es arguimediano, si para todo x E K existe n E IN con x < n. la moneda, a saber, cuerpos no arguimedianos . Esto no es
En forma equivalente si Q es denso en el orden :S, o sea una curiosidad, es un campo de intensa investigacin. Vin-
x , x E K, x < x ~ existe q E Q con x < q < x . Notemos culado a esto est el llamado Anlisis No Normal que no so-
1 2 1 2 1 2
que en un mismo cuerpo K pueden existir distintos ordenes lamente es una nueva rama del anlisis sino que introduce
tales que K es arquimediano respecto de unos pero no de profundos principios dentro de la Matemtica al considerar
otros. modelos no normales de los modelos tradicionales.
En general dado un cuerpo K y un subcuerpo F se de- En un cuerpo K pueden existir muchos rdenes y en-
fine la propiedad de ser K arguimediano respecto de E si pa- tonces es conveniente utilizar otra formalizacin . Introdu-
ra todo x E K, O < x existe f E F tal que x < f. ciremos la nocin de cono de positividad o simplemente cono
La propiedad ii. de ms arriba dice que en un cuerpo para definir un orden. Entonces un subconjunto P e K se
ordenado una suma de cuadrados es cero s y slo si todos dir cono de posit i vi dad si verifica las propiedades si-
los sumandos son ceros. Es interesante sealar un clebre guientes:
Teorema de Artin-Schreier que establece la reciproca, es de-
cir, si K es un cuerpo con la propiedad que suma de cuadra- P + P e P es decir p, p EP~p +p EP
1 2 1 2
dos es igual a cero slo si todos los sumandos son ceros en- P.P e P es decir p,p EP~p.p EP
1 2 1 2
tonces existe en K una relacin de orden y K es un cuerpo
ordenado. Un resultado anlogo establece que si K es un -1 ~ P ~ P ~ -P = {0} es decir
cuerpo y a es un elemento en K con la propiedad de ser posi- = -p2 ~ pl = p2 = o

4 5
Sea K un cuerpo ordenado con una relacin de orden. ti vo en todos los ordenes de K, entonces a es una suma de
1

Notacion: x < y sii X :S y y X ~ Y cuadrados en K.

x>ysii y < x. 2 2
Los cuerpos K con la propiedad que a 1 + .. . + a n =
Se sigue de las propiedades de :S que: O ~ a = = a = O, se denominan cuerpos formalmente rea-
l n
a ~ O ~ O < a
2
i. les o simplemente cuerpos reales. El Teorema de Artin-
2 2
ii. a , . . . ,an E K, no todos cero ~O < a 1 + ... + an Schreier establece una equivalencia entre cuerpos ordenados
1
iii. o< 1 y cuerpos reales. Sealemos que la teora de cuerpos reales
iv. O< 1 + . .. + 1 ( n veces)= n . 1, con lo que K es un es una rama importante de la teora de cuerpos y donde se
cuerpo de caracterstica O. desarrolla una intensa labor de investigacin. Las deriva-
Se sigue de iv. que K contiene una "copia" de IN y por su- ciones ms importantes de esta teora son la geometra alge-
puesto de Q. O sea Q es subcuerpo de K. Podemos entonces braica real, el lgebra real y el anlisis no arquimediano o
analizar la propiedad de arquimedianidad de K, respecto de no normal (Non-standard Analysis).
Q. Si K es un cuerpo con un orden :S, diremos entonces que K El objeto de estas Notas es mostrar "otra" cara de
es arguimediano, si para todo x E K existe n E IN con x < n. la moneda, a saber, cuerpos no arguimedianos . Esto no es
En forma equivalente si Q es denso en el orden :S, o sea una curiosidad, es un campo de intensa investigacin. Vin-
x , x E K, x < x ~ existe q E Q con x < q < x . Notemos culado a esto est el llamado Anlisis No Normal que no so-
1 2 1 2 1 2
que en un mismo cuerpo K pueden existir distintos ordenes lamente es una nueva rama del anlisis sino que introduce
tales que K es arquimediano respecto de unos pero no de profundos principios dentro de la Matemtica al considerar
otros. modelos no normales de los modelos tradicionales.
En general dado un cuerpo K y un subcuerpo F se de- En un cuerpo K pueden existir muchos rdenes y en-
fine la propiedad de ser K arguimediano respecto de E si pa- tonces es conveniente utilizar otra formalizacin . Introdu-
ra todo x E K, O < x existe f E F tal que x < f. ciremos la nocin de cono de positividad o simplemente cono
La propiedad ii. de ms arriba dice que en un cuerpo para definir un orden. Entonces un subconjunto P e K se
ordenado una suma de cuadrados es cero s y slo si todos dir cono de posit i vi dad si verifica las propiedades si-
los sumandos son ceros. Es interesante sealar un clebre guientes:
Teorema de Artin-Schreier que establece la reciproca, es de-
cir, si K es un cuerpo con la propiedad que suma de cuadra- P + P e P es decir p, p EP~p +p EP
1 2 1 2
dos es igual a cero slo si todos los sumandos son ceros en- P.P e P es decir p,p EP~p.p EP
1 2 1 2
tonces existe en K una relacin de orden y K es un cuerpo
ordenado. Un resultado anlogo establece que si K es un -1 ~ P ~ P ~ -P = {0} es decir
cuerpo y a es un elemento en K con la propiedad de ser posi- = -p2 ~ pl = p2 = o

4 5
P u -P K es decir x E K ~ x E P -x E P. Un problema general de la teora es el siguiente :
dado un cuerpo K determinar todos sus rdenes. En esta Nota
Si ~ es una relacin de orden en K entonces daremos un ejemplo de cuerpo K con un conjunto no numerable
P: = {x E Kl O ~ x} conoes de un
positividad. de rdenes. Se trata del cuerpo de funciones racionales
Recprocamente s i P es un cono de positividad la relacin reales ~(X) que no es otra cosa que el cuerpo de cocientes
binaria a ~ b si b - a E P, es una relacin de orden en K. del anillo de polinomios ~[X]. Es este un ejemplo obligado
Hay pues correspondencia biyectiva entre rdenes en para entender los principios de la teora de cuerpos ordena-
K y conos de positividad de K. dos. Otro ejemplo un poco ms complicado es ~(X). Veamos
E,jercicio . Sean K y L cuerpos y sea t:K 4 L un isomorfismo. algunos ejemplos corrientes fciles.
Sea P un cono de pos i ti vi dad en K. Probar que t ( P) es un
cono de positividad en L. i. K=~. el cuerpo racional. Posee un nico orden cu-
E,iercicio . Sea P un cono de positividad de K. Sea yos el ~mentas positivos p son las fracciones representables
P. := P\.{ 0 } p no es otra cosa que la totalidad de elemen- por cocientes ~ con n, m E N.
n 2 2 m m. n
tos positivos del orden asociado. Dado que m e N ~ m = 1 + ... + 1 = 1 + ... 1 , de n- = se si-
2
n
Probar que p es un subgrupo de K':= K\.{0} de ndice gue que todo elemento de P es suma de cuadrados.
2. Recprocamente, los subgrupos G e K' , de ndice 2 tales i i. el cuerpo real.
K= ~ Posee un nico orden cuyos
que G + G e G y - 1 E G definen conos de positividad de K. elementos positivos p son los cuadrados x e p ~ x = y ,
2

E,iercicio. i) Sea K un cuerpo real. Sea IF la fami 1 ia de con y e R'.

subconjuntos Te K que satisfacen: T +Te T, T.T e T, iil. Sea K = 0(1:2) el cuerpo de nmeros
-1 E T. Probar que 1F ~ if>. Ordenamos IF por la relacin de 0(1:2):= {r + s.v-2 1 r,s e Q}.
inclusin. Probar la existencia en IF de un p maximal res- En 0(1:2) hay dos nicos ordenes:
pecto de ese orden. Deducir que Pes un cono de positividad p = {r + s.v'2 1 r + S. y'2 > o "en ~"}
1
de K.
p = {r + s.v'2 1 r - S. y'2 > o "en ~"}
ii) Sea K un cuerpo y sea a e K con la propiedad que a es 2
Notar que la aplicacin en O( v'2): r + s.v'2 ~ r - s. v'2 es un
positivo en todos los ordenes de K. Probar que a es suma de
automorfismo y transforma P en P2 .
cuadrados en K. 1
Nota para el lector informado. Sea F una extensin del
Nota: Razonar tambin el caso en que K no posee ningn or-
cuerpo O obtenida adjuntando la raz 9 de un polinomio irre-
den .
ductible f(X) e O[X]. Si F es un cuerpo ordenado entonces
iii) Sea K un cuerpo con un nico orden. Probar que todo
es arquimediano respecto a ese orden y por lo . tanto admite
elemento positivo es suma de cuadrados.
una inmersin en ~. o sea existe un isomorfismo de F en ~-

7
6
P u -P K es decir x E K ~ x E P -x E P. Un problema general de la teora es el siguiente :
dado un cuerpo K determinar todos sus rdenes. En esta Nota
Si ~ es una relacin de orden en K entonces daremos un ejemplo de cuerpo K con un conjunto no numerable
P: = {x E Kl O ~ x} conoes de un
positividad. de rdenes. Se trata del cuerpo de funciones racionales
Recprocamente s i P es un cono de positividad la relacin reales ~(X) que no es otra cosa que el cuerpo de cocientes
binaria a ~ b si b - a E P, es una relacin de orden en K. del anillo de polinomios ~[X]. Es este un ejemplo obligado
Hay pues correspondencia biyectiva entre rdenes en para entender los principios de la teora de cuerpos ordena-
K y conos de positividad de K. dos. Otro ejemplo un poco ms complicado es ~(X). Veamos
E,jercicio . Sean K y L cuerpos y sea t:K 4 L un isomorfismo. algunos ejemplos corrientes fciles.
Sea P un cono de pos i ti vi dad en K. Probar que t ( P) es un
cono de positividad en L. i. K=~. el cuerpo racional. Posee un nico orden cu-
E,iercicio . Sea P un cono de positividad de K. Sea yos el ~mentas positivos p son las fracciones representables
P. := P\.{ 0 } p no es otra cosa que la totalidad de elemen- por cocientes ~ con n, m E N.
n 2 2 m m. n
tos positivos del orden asociado. Dado que m e N ~ m = 1 + ... + 1 = 1 + ... 1 , de n- = se si-
2
n
Probar que p es un subgrupo de K':= K\.{0} de ndice gue que todo elemento de P es suma de cuadrados.
2. Recprocamente, los subgrupos G e K' , de ndice 2 tales i i. el cuerpo real.
K= ~ Posee un nico orden cuyos
que G + G e G y - 1 E G definen conos de positividad de K. elementos positivos p son los cuadrados x e p ~ x = y ,
2

E,iercicio. i) Sea K un cuerpo real. Sea IF la fami 1 ia de con y e R'.

subconjuntos Te K que satisfacen: T +Te T, T.T e T, iil. Sea K = 0(1:2) el cuerpo de nmeros
-1 E T. Probar que 1F ~ if>. Ordenamos IF por la relacin de 0(1:2):= {r + s.v-2 1 r,s e Q}.
inclusin. Probar la existencia en IF de un p maximal res- En 0(1:2) hay dos nicos ordenes:
pecto de ese orden. Deducir que Pes un cono de positividad p = {r + s.v'2 1 r + S. y'2 > o "en ~"}
1
de K.
p = {r + s.v'2 1 r - S. y'2 > o "en ~"}
ii) Sea K un cuerpo y sea a e K con la propiedad que a es 2
Notar que la aplicacin en O( v'2): r + s.v'2 ~ r - s. v'2 es un
positivo en todos los ordenes de K. Probar que a es suma de
automorfismo y transforma P en P2 .
cuadrados en K. 1
Nota para el lector informado. Sea F una extensin del
Nota: Razonar tambin el caso en que K no posee ningn or-
cuerpo O obtenida adjuntando la raz 9 de un polinomio irre-
den .
ductible f(X) e O[X]. Si F es un cuerpo ordenado entonces
iii) Sea K un cuerpo con un nico orden. Probar que todo
es arquimediano respecto a ese orden y por lo . tanto admite
elemento positivo es suma de cuadrados.
una inmersin en ~. o sea existe un isomorfismo de F en ~-

7
6
Recprocamente cada isomorfismo de F en ~ induce un orden en !!. ASPECTOS HISTORICOS.

F por la simple condicin que un elemento en F es positivo

s y slo si su imagen por el isomorfismo as lo es. Por lo Algunas consideraciones histricas en la teora de
tanto hay una correspondencia biyectiva entre ordenes defi- cuerpos ordenados son las siguientes. A fines del siglo pa-
nidos en F e inmersiones de F en ~- Puesto que cada innmer- sado el matemtico alemn David Hilbert ( 1862-1943) en su
sin aplica 8 en otra raz de f(X), se concluye que hay tan- axiomatizacin de la geometra eucldea en su obra Fundamen-
tos ordenes en F como races reales tiene f(X). En parti- tos de la Geometrla introduce la nocin de cuerpo ordenado:
cular el nmero de ordenes es menor o igual que el grado de "un cuerpo K dotado de una relacin binaria que satisface
f(X). las propiedades:
Es interesante sealar que dentro del esquema de la i. Tricotoma: a~ b ~a> b b > a,
Matemtica Moderna lo que corresponde estudiar es la totali- ii. Transitividad: a> by b > e ~a> e,

dad X(K) de ordenes en K. Esta idea ha sido fructifera dado i i i. a > b ~ a + e > b + e,
V. a > b y e > O ~ ac > bc"
que es posible introducir en X(K) una topo logia en forma
completamente natural. Para los conocedores de nociones to-
polgicas digamos que una sub-base de esta topologa se ob- Hilbert exhibe tambin all el primer ejemplo de
f

tiene considerando, para cada a E K, los subconjuntos de
X(K),
H(a):= {PE X(K) 1 a E P}
y tomandointersecciones finitas de stos. O sea, los
abiertos de X(K) son las uniones de intersecciones finitas
de H(a). Dado que H(a) u H (-a) = X(~), los conjuntos H(a)
son abiertos y cerrados. La topologa es totalmente disco-
nexa. Por ejemplo en el cuerpo numrico K = O(v'2, -13,
15, ... ) obtenido adjuntando a O las races cuadradas de los
primos positivos, los rdenes estn en correspondencia bi-
yectiva con las sucesiones numerables de 1 y -1. El espacio
X(K) de rdenes de K es "homeomorfo" al conjunto ternar io de
Cantor!
anillo de divisin ordenado no conmutativo y demuestra que
todo anillo de divisin ordenado arguimediano es conmutati-
vo. La contribucin ms importante de Hilbert a esta teora
est en su famoso problema 17, uno de los 23 problemas que
present en su conferencia en la Reunin Matemtica Interna-
cional de Pars del ao 1900. Es un ejemplo de algo que
insistimos continuamente referente al devenir matemtico.
La matemtica es una ciencia que resuelve problemas creando
teoras. Hil bert fue un verdadero maestro en el arte de
formular problemas con ese fin. Su problema 17 pregunta si
es cierto que en el cuerpo ~(X, 1
... , X)
n
de funciones racio-
nales, o sea de cocientes de polinomios reales en n indeter-
minadas, un polinomio f(X , ... , X) tal que
1 n

Todo esto ha permitido introducir mtodos

topolgicos en el e s tudio de rdenes de un cuerpo. f(x , ... , x) ~O para toda n-upla (x 1 , ... , x) E ~n
1 n n

8 9
Recprocamente cada isomorfismo de F en ~ induce un orden en !!. ASPECTOS HISTORICOS.

F por la simple condicin que un elemento en F es positivo

s y slo si su imagen por el isomorfismo as lo es. Por lo Algunas consideraciones histricas en la teora de
tanto hay una correspondencia biyectiva entre ordenes defi- cuerpos ordenados son las siguientes. A fines del siglo pa-
nidos en F e inmersiones de F en ~- Puesto que cada innmer- sado el matemtico alemn David Hilbert ( 1862-1943) en su
sin aplica 8 en otra raz de f(X), se concluye que hay tan- axiomatizacin de la geometra eucldea en su obra Fundamen-
tos ordenes en F como races reales tiene f(X). En parti- tos de la Geometrla introduce la nocin de cuerpo ordenado:
cular el nmero de ordenes es menor o igual que el grado de "un cuerpo K dotado de una relacin binaria que satisface
f(X). las propiedades:
Es interesante sealar que dentro del esquema de la i. Tricotoma: a~ b ~a> b b > a,
Matemtica Moderna lo que corresponde estudiar es la totali- ii. Transitividad: a> by b > e ~a> e,

dad X(K) de ordenes en K. Esta idea ha sido fructifera dado i i i. a > b ~ a + e > b + e,
V. a > b y e > O ~ ac > bc"
que es posible introducir en X(K) una topo logia en forma
completamente natural. Para los conocedores de nociones to-
polgicas digamos que una sub-base de esta topologa se ob- Hilbert exhibe tambin all el primer ejemplo de
f

tiene considerando, para cada a E K, los subconjuntos de
X(K),
H(a):= {PE X(K) 1 a E P}
y tomandointersecciones finitas de stos. O sea, los
abiertos de X(K) son las uniones de intersecciones finitas
de H(a). Dado que H(a) u H (-a) = X(~), los conjuntos H(a)
son abiertos y cerrados. La topologa es totalmente disco-
nexa. Por ejemplo en el cuerpo numrico K = O(v'2, -13,
15, ... ) obtenido adjuntando a O las races cuadradas de los
primos positivos, los rdenes estn en correspondencia bi-
yectiva con las sucesiones numerables de 1 y -1. El espacio
X(K) de rdenes de K es "homeomorfo" al conjunto ternar io de
Cantor!
anillo de divisin ordenado no conmutativo y demuestra que
todo anillo de divisin ordenado arguimediano es conmutati-
vo. La contribucin ms importante de Hilbert a esta teora
est en su famoso problema 17, uno de los 23 problemas que
present en su conferencia en la Reunin Matemtica Interna-
cional de Pars del ao 1900. Es un ejemplo de algo que
insistimos continuamente referente al devenir matemtico.
La matemtica es una ciencia que resuelve problemas creando
teoras. Hil bert fue un verdadero maestro en el arte de
formular problemas con ese fin. Su problema 17 pregunta si
es cierto que en el cuerpo ~(X, 1
... , X)
n
de funciones racio-
nales, o sea de cocientes de polinomios reales en n indeter-
minadas, un polinomio f(X , ... , X) tal que
1 n

Todo esto ha permitido introducir mtodos

topolgicos en el e s tudio de rdenes de un cuerpo. f(x , ... , x) ~O para toda n-upla (x 1 , ... , x) E ~n
1 n n

8 9
 gebraico", o sea como modelo de los axiomas de cuerpo. La
es necesariamente suma de cuadrados en
1
~(X , . . . , Xn).
meta de Steinitz fue dar una descripcin constructiva de to-
En la dcada del 20, Emil Artin y Otto Schreier ini- dos los cuerpos, salvo isomorfismos. Los resul tactos sobre
ciaron el desarrollo de una teora de cuerpos ordenados y cuerpos algebraicamente cerrados son de gran relevancia. En
fue Artin quien resolvi finalmente el problema 17 en la efecto, demuestra que todos los cuerpos algebraicamente ce-
afirmativa . rrados quedan completamente determinados, salvo isomorfis-
mos, por dos invariantes: la caracterstica del cuerpo y el
La Teora de Artin-Schreier provey el bagaje funda- grado de trascendencia sobre el cuerpo primo. Por ejemplo
~
mental para el desarrollo de la Teora de Cuerpos Ordenados. si IKI >
0 entonces el grado de trascendencia coincide con
Por ejemplo la introduccin de los cuerpos reales cerrados, el cardinal de K y el teorema de Steinitz dice que para ca-
objetos enteramente anlogos a los nmeros reales. Un cuer- racterstica fija, un cuerpo algebraicamente cerrado est
po real K se dice real cerrado si no posee ninguna extensin complF t amente determinado (salvo isomorfismo) por su cardi-
algebraica que sea un cuerpo real. Entonces sl K es un nalidad.
cuerpo real cerrado y L es una extensin algebraica propia Un hecho relevante y curioso a la vez a destacar de
de K debe ocurrir que en L, -1 es suma de cuadrados. Los los trabajos de Artin y Schreier es que no plantean el pro-
cuerpos reales cerrados poseen la siguiente caracterizacin: blema de clasificar los cuerpos reales cerrados, salvo iso-
un cuerpo K es real cerrado s y slo si K(i), donde i 2 = -1 morfismos. Esto sera un anlogo a la clasificacin de
es un cuerpo algebraicamente cerrado. Exactamente la pro- Steinitz de los cuerpos algebraicamente cerrados. Sin em-
piedad de ~. Adems Artin-Schreier probaron que si K es un bargo hasta hoy esto no ha sido posible de llevar a cabo.
cuerpo con un orden P, existe, salvo K-isomorfismos, un
nico cuerpo ~ que es una extensin algebraica de K, que ex- No hay ninguna teora satisfactoria de clasificacin
tiende el orden de K y que es real cerrado. ~ se denomina de cuerpos reales cerrados salvo isomorfismos. La
la clausura real de K (respecto de P). conclusin resulta ser que: la clasificacin por isomorfismo
Los trabajos de E. Artin y O. Schreier aparecen pu- no es importante y_ menos an til. Precisamente Artin y
b! icados en las famosas Notas del Seminario de Hamburgo Schreier enunciaron en uno de los trabajos que "los teoremas
(Hamburger Abhandlungen) del ao 1926. Ellos trataron de del lgebra real son vlidos ~cualquier cuerpo real cerra-
do. Por ejemplo, teoremas tales como:
incorporar su teora de cuerpos reales a la teora abstracta ..
de cuerpos iniciada por E. Steini tz (Algebraische Theorie -Continuidad uniforme de polinomios reales en todo intervalo
der Algebraischen Korper, Journal de Crelle, 137 (1910)). cerrado [a, b] .
Recordemos que este trabajo de Steinitz con-tiene el primer -Teorema de Rolle
estudio sistemtico de cuerpos desde un punto de vista "al- -Teorema del valor medio del clculo diferencial

10 11
 gebraico", o sea como modelo de los axiomas de cuerpo. La
es necesariamente suma de cuadrados en
1
~(X , . . . , Xn).
meta de Steinitz fue dar una descripcin constructiva de to-
En la dcada del 20, Emil Artin y Otto Schreier ini- dos los cuerpos, salvo isomorfismos. Los resul tactos sobre
ciaron el desarrollo de una teora de cuerpos ordenados y cuerpos algebraicamente cerrados son de gran relevancia. En
fue Artin quien resolvi finalmente el problema 17 en la efecto, demuestra que todos los cuerpos algebraicamente ce-
afirmativa . rrados quedan completamente determinados, salvo isomorfis-
mos, por dos invariantes: la caracterstica del cuerpo y el
La Teora de Artin-Schreier provey el bagaje funda- grado de trascendencia sobre el cuerpo primo. Por ejemplo
~
mental para el desarrollo de la Teora de Cuerpos Ordenados. si IKI >
0 entonces el grado de trascendencia coincide con
Por ejemplo la introduccin de los cuerpos reales cerrados, el cardinal de K y el teorema de Steinitz dice que para ca-
objetos enteramente anlogos a los nmeros reales. Un cuer- racterstica fija, un cuerpo algebraicamente cerrado est
po real K se dice real cerrado si no posee ninguna extensin complF t amente determinado (salvo isomorfismo) por su cardi-
algebraica que sea un cuerpo real. Entonces sl K es un nalidad.
cuerpo real cerrado y L es una extensin algebraica propia Un hecho relevante y curioso a la vez a destacar de
de K debe ocurrir que en L, -1 es suma de cuadrados. Los los trabajos de Artin y Schreier es que no plantean el pro-
cuerpos reales cerrados poseen la siguiente caracterizacin: blema de clasificar los cuerpos reales cerrados, salvo iso-
un cuerpo K es real cerrado s y slo si K(i), donde i 2 = -1 morfismos. Esto sera un anlogo a la clasificacin de
es un cuerpo algebraicamente cerrado. Exactamente la pro- Steinitz de los cuerpos algebraicamente cerrados. Sin em-
piedad de ~. Adems Artin-Schreier probaron que si K es un bargo hasta hoy esto no ha sido posible de llevar a cabo.
cuerpo con un orden P, existe, salvo K-isomorfismos, un
nico cuerpo ~ que es una extensin algebraica de K, que ex- No hay ninguna teora satisfactoria de clasificacin
tiende el orden de K y que es real cerrado. ~ se denomina de cuerpos reales cerrados salvo isomorfismos. La
la clausura real de K (respecto de P). conclusin resulta ser que: la clasificacin por isomorfismo
Los trabajos de E. Artin y O. Schreier aparecen pu- no es importante y_ menos an til. Precisamente Artin y
b! icados en las famosas Notas del Seminario de Hamburgo Schreier enunciaron en uno de los trabajos que "los teoremas
(Hamburger Abhandlungen) del ao 1926. Ellos trataron de del lgebra real son vlidos ~cualquier cuerpo real cerra-
do. Por ejemplo, teoremas tales como:
incorporar su teora de cuerpos reales a la teora abstracta ..
de cuerpos iniciada por E. Steini tz (Algebraische Theorie -Continuidad uniforme de polinomios reales en todo intervalo
der Algebraischen Korper, Journal de Crelle, 137 (1910)). cerrado [a, b] .
Recordemos que este trabajo de Steinitz con-tiene el primer -Teorema de Rolle
estudio sistemtico de cuerpos desde un punto de vista "al- -Teorema del valor medio del clculo diferencial

10 11
 -Teorema de Sturm sobre el nmero de ceros de un polinomio mular el Anlisis-No normal. (Referencia bibliogrfica: Ro-
en un intervalo. binson, A.. Introduction to model algebra and
-Sea f(x) un polinomio con coeficientes en un cuerpo real Metamathematics of Algebra. North Holland (1963)).
cerrado P. tal que para valores a,b E P, f(a) <O y
f(b) > O, existe e E P, a < e < b tal que f(c) = O. III. EJEMPLO CLAVE.
-etc ....
La lgica matemtica, principalmente la teoria de Sea K, ~ un cuerpo ordenado. Sea la funcin valor
modelos, brind una sal ida a esta situacin planteada la absoluto en K (respecto de ~)
utilizacin de otra nocin mucho ms adaptada a la investi-
k si O ~ k
gacin algebraica que la de isomorfismo, es la nocin de
equivalencia elemental. -k si k < O
En la teora de modelos una teora T se dice comple- Ya vimos que O e K. Diremos que x E K es infinita-
ta si todos los modelos de T son elementalmente equivalen- mente pequeo (respecto de 0) infinitesimal (respecto de
tes. O sea, si una sentencia, formulada en el lenguaje de 0) si para todo q E 0+ es lkl < q (0+ denota los racionales
primer orden, es verdadera en un modelo, es verdadera en to- positivos). Un elemento k E K se dice finito (respecto de
dos los modelos. Otra nocin relevante es la de completi- 0) si existe q E 0+ tal que lkl < q. Un elemento k E K se
tud-modal. dice infinitamente grande (respecto de 0) si q < lkl. para
Una teora T se dice modal-completa si toda todo q E o.
extensin de modelos de Tes una extensin elemental. Notar que si el orden < en K es arquimediano enton-
ces todo elemento de K es finito. Recprocamente si todo
Se tiene los siguientes resultados fundamentales: elemento de K es finito el orden es arquimediano.
Sea K = ~(X)
el cuerpo de funciones racionales en X,
1) La teora de cuerpos algebraicamente cerrados de caracte- es decir el cuerpo de cocientes del anillo de polinomios
rstica p ~ O es completa y modal-completa. (En ~[X]. Los elementos de ~(X) se expresan como cocientes~~~~
caracterstica O se conoce como principio de Lefschetz). ... de polinomios, con q(X) ~ O.
2) La teora de cuerpos reales cerrados es completa y modal- Vamos a definir en ~(X) un orden tal que X es posi-
completa. (Principio de Tarski).
. tivo e infinitamente pequeo
+
respecto de ~. Es decir:
O < X < r, para todo r E ~ . Consecuentemente se seguir,
La idea de hacer uso de la teora de modelos en las que en este orden, ~ est acotado en ~(X). En efecto, si
formulaciones anteriores se debe originalmente a Abraham Ro- r E ~. se verifica O < X < r- 1
o sea r < 1/X.
binson. Estas ideas y otros desarrollos lo llevaron a for- La definicin de este orden es cannica, o sea hay

12 13
 -Teorema de Sturm sobre el nmero de ceros de un polinomio mular el Anlisis-No normal. (Referencia bibliogrfica: Ro-
en un intervalo. binson, A.. Introduction to model algebra and
-Sea f(x) un polinomio con coeficientes en un cuerpo real Metamathematics of Algebra. North Holland (1963)).
cerrado P. tal que para valores a,b E P, f(a) <O y
f(b) > O, existe e E P, a < e < b tal que f(c) = O. III. EJEMPLO CLAVE.
-etc ....
La lgica matemtica, principalmente la teoria de Sea K, ~ un cuerpo ordenado. Sea la funcin valor
modelos, brind una sal ida a esta situacin planteada la absoluto en K (respecto de ~)
utilizacin de otra nocin mucho ms adaptada a la investi-
k si O ~ k
gacin algebraica que la de isomorfismo, es la nocin de
equivalencia elemental. -k si k < O
En la teora de modelos una teora T se dice comple- Ya vimos que O e K. Diremos que x E K es infinita-
ta si todos los modelos de T son elementalmente equivalen- mente pequeo (respecto de 0) infinitesimal (respecto de
tes. O sea, si una sentencia, formulada en el lenguaje de 0) si para todo q E 0+ es lkl < q (0+ denota los racionales
primer orden, es verdadera en un modelo, es verdadera en to- positivos). Un elemento k E K se dice finito (respecto de
dos los modelos. Otra nocin relevante es la de completi- 0) si existe q E 0+ tal que lkl < q. Un elemento k E K se
tud-modal. dice infinitamente grande (respecto de 0) si q < lkl. para
Una teora T se dice modal-completa si toda todo q E o.
extensin de modelos de Tes una extensin elemental. Notar que si el orden < en K es arquimediano enton-
ces todo elemento de K es finito. Recprocamente si todo
Se tiene los siguientes resultados fundamentales: elemento de K es finito el orden es arquimediano.
Sea K = ~(X)
el cuerpo de funciones racionales en X,
1) La teora de cuerpos algebraicamente cerrados de caracte- es decir el cuerpo de cocientes del anillo de polinomios
rstica p ~ O es completa y modal-completa. (En ~[X]. Los elementos de ~(X) se expresan como cocientes~~~~
caracterstica O se conoce como principio de Lefschetz). ... de polinomios, con q(X) ~ O.
2) La teora de cuerpos reales cerrados es completa y modal- Vamos a definir en ~(X) un orden tal que X es posi-
completa. (Principio de Tarski).
. tivo e infinitamente pequeo
+
respecto de ~. Es decir:
O < X < r, para todo r E ~ . Consecuentemente se seguir,
La idea de hacer uso de la teora de modelos en las que en este orden, ~ est acotado en ~(X). En efecto, si
formulaciones anteriores se debe originalmente a Abraham Ro- r E ~. se verifica O < X < r- 1
o sea r < 1/X.
binson. Estas ideas y otros desarrollos lo llevaron a for- La definicin de este orden es cannica, o sea hay

12 13
slo un orden con esas dos propiedades. (X
r
z1 .
Sea f (X) = a X" + + a Xk, Dado que
n k
o < x. podemos suponer que f(X) = + a X + a
1 0
, son todas las races de f(X), reales o complejas, se tiene
Factoricemos f(X) en ~[X]. Se tiene
a
= ( -1)" . ~.
f(X) =a. (X- a
n
a)
1
... (X- a ).g (X) ... g (X), n
r 1 s
Dado que z z > O, se tiene que
1 1
donde las races a son reales y eventualmente se repiten. a . (-a ) (-<X ) > O ~ ( -1 ) n+r a > O
1
n 1 r O
Los polinomios g (X) son de grado 2, mnicos e
1
irreductibles, o sea pero puesto que n = r + 2h, concluimos que

g (X) = X2 + bX + e, b
2
- 4c < O, a . (-a )
1
n 1

por lo tanto En definitiva

0
O < f(X) =aX
n + ... + ak. Xk

Adems queda clara la unicidad del orden con la propiedad

y es g (X) > O. El signo de f(X) (ser positivo o negativo) que X es > O e infinitamente pequeo respecto de ~.
1
depende pues slo del producto El orden en ~(X) resulta:

a. (X- a) ... (X- <X). p(X) > O ~ p(X)q(X) > O ~ p(X)q(X) > O.
n 1 r qTXT q(X)2

Ahora X - <X > 0 S y slo Si X > <X , s y slo si <X < 0, o sea
1 1 1
s y slo si -a > O. Por lo tanto a X0 +
1
n

a . (X - <X ) (X <X ) > O s y slo si

n 1 r
a .
n
(-a )
1
. . . (-a ) > O.
r
La discusin precedente muestra claramente que los
rdenes en ~(X)
quedan determinados cuando se conoce el or-
Sabemos que si
den relativo de X con los nmeros reales. Ms precisamente,

14 15
slo un orden con esas dos propiedades. (X
r
z1 .
Sea f (X) = a X" + + a Xk, Dado que
n k
o < x. podemos suponer que f(X) = + a X + a
1 0
, son todas las races de f(X), reales o complejas, se tiene
Factoricemos f(X) en ~[X]. Se tiene
a
= ( -1)" . ~.
f(X) =a. (X- a
n
a)
1
... (X- a ).g (X) ... g (X), n
r 1 s
Dado que z z > O, se tiene que
1 1
donde las races a son reales y eventualmente se repiten. a . (-a ) (-<X ) > O ~ ( -1 ) n+r a > O
1
n 1 r O
Los polinomios g (X) son de grado 2, mnicos e
1
irreductibles, o sea pero puesto que n = r + 2h, concluimos que

g (X) = X2 + bX + e, b
2
- 4c < O, a . (-a )
1
n 1

por lo tanto En definitiva

0
O < f(X) =aX
n + ... + ak. Xk

Adems queda clara la unicidad del orden con la propiedad

y es g (X) > O. El signo de f(X) (ser positivo o negativo) que X es > O e infinitamente pequeo respecto de ~.
1
depende pues slo del producto El orden en ~(X) resulta:

a. (X- a) ... (X- <X). p(X) > O ~ p(X)q(X) > O ~ p(X)q(X) > O.
n 1 r qTXT q(X)2

Ahora X - <X > 0 S y slo Si X > <X , s y slo si <X < 0, o sea
1 1 1
s y slo si -a > O. Por lo tanto a X0 +
1
n

a . (X - <X ) (X <X ) > O s y slo si

n 1 r
a .
n
(-a )
1
. . . (-a ) > O.
r
La discusin precedente muestra claramente que los
rdenes en ~(X)
quedan determinados cuando se conoce el or-
Sabemos que si
den relativo de X con los nmeros reales. Ms precisamente,

14 15
dado un orden < en ~(X) quedan determinados dos subconjuntos mos de es por "substitucin o especializacin de X".
~(X):

de ~. o sea secciones de ~ : Por ejemplo la substitucin X ~ X + a produce un automorfis-

mo de ~(X):
I = {rlr E~ y r < X}
p( X) p( X+a)
D = {rlr E~ y X< r} . qTXT ~ q(X+a)
Esto nos recuerda las cortaduras. Aqu pueden ser
I = 4> D = </>. Lo que es cierto es que I v D = ~ e cuyo morfi smo inverso est dado por la substitucin
Indiquemos estos pares con (I,D). Las posibil i- ~X - a.
I " D = </>. X
dades son: Notemos que en estos morfismos el cuerpo ~ e ~(X)
queda fijo. O sea estos morfismos quedan caracterizados por
i. I </>. D = ~ las dos condiciones
X ~ p(X)
ii. I = ~. D = 4>
r ~ r, r E ~.
i i i. I = ( -co, a], D = (a, +co), a E ~
Estos morfismos (que fijan ~) son 11 amamos
i V. I = ( -co, a), D = [a,+co), a E ~ ~-morfismos.

Es posible demostrar que todos los ~-automorfismos

Los rdenes asociados corresponden a de ~(X) se obtienen por las substituciones

i. X < r, V r E ~ Xt[ X~~:~ a,b,c,d E~ y ad- be~ O.

ii. r < X, V r E ~ -------]X
a
____ ~X _ __
El resultado a probar es que todos los rdenes en
i i i. a < X < a + e, V e E ~ 1 ~(X) se obtienen va ~-automorfismos, a partir del orden in-
X
____ _a_ __
iv. a - e < X < a, V e E ~ troducido ms arriba por la seccin

Veamos la existencia de estos rdenes en ~(X) sin (1) O < X < e, V e, e E ~

repetir el razonamiento anterior. Vamos a utilizar el hecho Por ejemplo, sea el automorfismo de ~(X) obtenido
general que establece que si P es un cono de positividad de por la substitucin
un cuerpo K y t: K ~ K es un automorfismo de K entonces t(P) 1
t: x ~ - x
es un cono de positividad de K. Habr pues que investigar
los automorfismos de ~(X). Una forma de obtener automorfis- Sea P el cono de positividad asociado al orden dado por (1).

16 17
dado un orden < en ~(X) quedan determinados dos subconjuntos mos de es por "substitucin o especializacin de X".
~(X):

de ~. o sea secciones de ~ : Por ejemplo la substitucin X ~ X + a produce un automorfis-

mo de ~(X):
I = {rlr E~ y r < X}
p( X) p( X+a)
D = {rlr E~ y X< r} . qTXT ~ q(X+a)
Esto nos recuerda las cortaduras. Aqu pueden ser
I = 4> D = </>. Lo que es cierto es que I v D = ~ e cuyo morfi smo inverso est dado por la substitucin
Indiquemos estos pares con (I,D). Las posibil i- ~X - a.
I " D = </>. X
dades son: Notemos que en estos morfismos el cuerpo ~ e ~(X)
queda fijo. O sea estos morfismos quedan caracterizados por
i. I </>. D = ~ las dos condiciones
X ~ p(X)
ii. I = ~. D = 4>
r ~ r, r E ~.
i i i. I = ( -co, a], D = (a, +co), a E ~
Estos morfismos (que fijan ~) son 11 amamos
i V. I = ( -co, a), D = [a,+co), a E ~ ~-morfismos.

Es posible demostrar que todos los ~-automorfismos

Los rdenes asociados corresponden a de ~(X) se obtienen por las substituciones

i. X < r, V r E ~ Xt[ X~~:~ a,b,c,d E~ y ad- be~ O.

ii. r < X, V r E ~ -------]X
a
____ ~X _ __
El resultado a probar es que todos los rdenes en
i i i. a < X < a + e, V e E ~ 1 ~(X) se obtienen va ~-automorfismos, a partir del orden in-
X
____ _a_ __
iv. a - e < X < a, V e E ~ troducido ms arriba por la seccin

Veamos la existencia de estos rdenes en ~(X) sin (1) O < X < e, V e, e E ~

repetir el razonamiento anterior. Vamos a utilizar el hecho Por ejemplo, sea el automorfismo de ~(X) obtenido
general que establece que si P es un cono de positividad de por la substitucin
un cuerpo K y t: K ~ K es un automorfismo de K entonces t(P) 1
t: x ~ - x
es un cono de positividad de K. Habr pues que investigar
los automorfismos de ~(X). Una forma de obtener automorfis- Sea P el cono de positividad asociado al orden dado por (1).

16 17
Entonces trascendente sobre Q. Es cl aro que Q(X) y Q(n) son isomor-
fos. El orden en Q(n) resulta por restriccin del orden de
1
X E P, e - X E p - 1 e + X E t(P)
~
x IR y el orden en Q(X) se obtiene por "transporte"
<==t o < - !X < e
p(X) > O en Q(X) ~ p(n) > O en IR.
1 qoo qrrrr
<==t o > X> - e
<==t X< - -e1 NOTAS. l. Sea IR(X) con el orden determinado por la
<==t X < r, V r E IR. condicin O < X < r para todo r > O, r E IR. Utilizando el
valor absoluto determinado por este orden se define una
Por lo tanto el orden derivado de t(P) coincide con mtrica en IR(X): d(a, b) = jb - aj, como es habitual. Notar
el orden definido por la seccin i. de ms arriba. que los valores que toma esta distancia no son nmeros rea-
Anlogamente probamos que los rdenes inducidos por les sino elementos de IR(X). Con respec~o a esta mtrica la
ii., iii., iv. resultan de las substituciones: sucesin de nmeros racionales

1 1 1 1
X~ X 1
2' 3'
X~ X- a
X~ a- X no tiende a O. En efecto,

respectivamente. Los rdenes enumerados en i. , i i. , i i i. , .!_ > X > O, V n

n
E ~.
iv. son todos los rdenes posibles de IR(X). Es interesante
notar que todos son no arguimedianos, no solamente respecto Ms an, por la misma razn ni siquiera es sucesin de
de Q sino de IR. Adems todos resultan de un orden particu- Cauchy!
lar aplicando automorfismos de IR(X). Se suele decir que to- 2. Sea el cuerpo IR(X) con el orden inducido por la condicin
dos los rdenes de IR(X) son conJugados. Un ejemplo anlogo O< X< r, para todo rE IR+. Dado que el anillo de polino-
interesante de estudiar es el cuerpo Q(X). Aqu pueden apa- mios IR[X] es un dominio de factorizacin nica y IR(X) es
recer rdenes arquimedianos y no arquimedianos (respecto de cuerpo de cocientes de IR[ X], se sigue fcilmente que todo
Q). Por ejemplo dado que Q(X) e IR( X), por restriccin ob- elemento t ~ O en IR(X) se escribe unvocamente en la forma
tenemos rdenes no arquimedianos en Q(X).
Para obtener un orden arquimediano, consideramos t = ,,m f(X)
1\. grxr
dentro de IR el cuerpo Q( rr), donde rr es cualquier nmero

18 19
Entonces trascendente sobre Q. Es cl aro que Q(X) y Q(n) son isomor-
fos. El orden en Q(n) resulta por restriccin del orden de
1
X E P, e - X E p - 1 e + X E t(P)
~
x IR y el orden en Q(X) se obtiene por "transporte"
<==t o < - !X < e
p(X) > O en Q(X) ~ p(n) > O en IR.
1 qoo qrrrr
<==t o > X> - e
<==t X< - -e1 NOTAS. l. Sea IR(X) con el orden determinado por la
<==t X < r, V r E IR. condicin O < X < r para todo r > O, r E IR. Utilizando el
valor absoluto determinado por este orden se define una
Por lo tanto el orden derivado de t(P) coincide con mtrica en IR(X): d(a, b) = jb - aj, como es habitual. Notar
el orden definido por la seccin i. de ms arriba. que los valores que toma esta distancia no son nmeros rea-
Anlogamente probamos que los rdenes inducidos por les sino elementos de IR(X). Con respec~o a esta mtrica la
ii., iii., iv. resultan de las substituciones: sucesin de nmeros racionales

1 1 1 1
X~ X 1
2' 3'
X~ X- a
X~ a- X no tiende a O. En efecto,

respectivamente. Los rdenes enumerados en i. , i i. , i i i. , .!_ > X > O, V n

n
E ~.
iv. son todos los rdenes posibles de IR(X). Es interesante
notar que todos son no arguimedianos, no solamente respecto Ms an, por la misma razn ni siquiera es sucesin de
de Q sino de IR. Adems todos resultan de un orden particu- Cauchy!
lar aplicando automorfismos de IR(X). Se suele decir que to- 2. Sea el cuerpo IR(X) con el orden inducido por la condicin
dos los rdenes de IR(X) son conJugados. Un ejemplo anlogo O< X< r, para todo rE IR+. Dado que el anillo de polino-
interesante de estudiar es el cuerpo Q(X). Aqu pueden apa- mios IR[X] es un dominio de factorizacin nica y IR(X) es
recer rdenes arquimedianos y no arquimedianos (respecto de cuerpo de cocientes de IR[ X], se sigue fcilmente que todo
Q). Por ejemplo dado que Q(X) e IR( X), por restriccin ob- elemento t ~ O en IR(X) se escribe unvocamente en la forma
tenemos rdenes no arquimedianos en Q(X).
Para obtener un orden arquimediano, consideramos t = ,,m f(X)
1\. grxr
dentro de IR el cuerpo Q( rr), donde rr es cualquier nmero

18 19
con f(X), g(X) coprimos, g(X) mnico, m El y adems IV . EJERCICIOS.
f(O) * O, g(O) * O.
1. Sea K = ~(X)
y consideremos en ~(X) los rdenes definidos
Entonces se verifica que, respecto del orden en ~(X)

por 1as secc1ones 1 1 . , 111. y iv. de nuestra discusin pre-
ya sealado,
cedente.
t es finito s y slo si m~ O
i. Sea f(X) = anXn + ... + akXk, ak * O en ~(X). Probar
t es infinitsimo s y slo si m > O
que respecto del orden asociado a ii.
t es infinito s y slo si m < O.

f(X) > O ~a
n
>O.
Dejamos a cargo del lector probar que para todo ele-
mento t E ~(X) que sea finito existe un nico nmero real r
ii. Sea a E ~
y sea ~ el orden en ~(X) determinado por la
tal que t - r sea infinitsimo.
seccin (-oo,a], (a,+oo). Sea f(X) E ~[X] Y sea
3. Sea ~ (X) A (respectivamente t (X) A) e 1 cuerpo de series
f(X) = (X - a) k. g(X), g(a) * O. Probar que en el
formales (series de Puiseux),
orden ~.

f(X) > O ~ g(a) > O.

con k E Z, q E~. a E~ (resp. t).
1
iii.Sea a E~ y sea~ el orden en ~(X) determinado por la
Se demuestra (Ver Walker, R. J., Algebraic Curves, secc10n (-oo,a), [a,+oo). Sea f(X) E R[X] Y sea
Dover, (1962) p. 98) que t(X)A es algebraicamente cerrado. f(X) = (X - a) k. g(X), g(a) * O. Probar que en el
Pu~sto que t(X)A = ~(X)A[i], resulta ~(X)A real cerrado. El orden ~.

cuerpo ~(X) se sumerge cannicamente como subcuerpo del

cuerpo de series ~(X) A. La condicin O < X < e, e E ~. f(X) > O ~ (-l)k_g( a) > O.
e > O es vlida en ~(X) A pues X = (X 112 ) 2 en ~(X) A, o sea
O < X, y adems si e E ~. e > O, la serie 2. Sea K un cuerpo con un orden P y sea F e K un subcuerpo.
2
e - X + OX + ox? + ... es un cuadrado en ~(X)A por lo tanto Probar las siguientes afirmaciones:
X < c. Se sigue que el orden de ~(X)A extiende el orden
sealado de ~(X). La clausura real de ~(X) es entonces la i. V= V(KIF,P) := {xlx E K y existe a E F con
totalidad ~(X)Aalg de series de Puiseux algebraicas sobre lxl ~ laj}
~(X). = totalidad de elementos de K finitos respecto de
F, es un subanillo de K

ii. V = K s y slo si P es arquimediano respecto de F.

20 21
con f(X), g(X) coprimos, g(X) mnico, m El y adems IV . EJERCICIOS.
f(O) * O, g(O) * O.
1. Sea K = ~(X)
y consideremos en ~(X) los rdenes definidos
Entonces se verifica que, respecto del orden en ~(X)

por 1as secc1ones 1 1 . , 111. y iv. de nuestra discusin pre-
ya sealado,
cedente.
t es finito s y slo si m~ O
i. Sea f(X) = anXn + ... + akXk, ak * O en ~(X). Probar
t es infinitsimo s y slo si m > O
que respecto del orden asociado a ii.
t es infinito s y slo si m < O.

f(X) > O ~a
n
>O.
Dejamos a cargo del lector probar que para todo ele-
mento t E ~(X) que sea finito existe un nico nmero real r
ii. Sea a E ~
y sea ~ el orden en ~(X) determinado por la
tal que t - r sea infinitsimo.
seccin (-oo,a], (a,+oo). Sea f(X) E ~[X] Y sea
3. Sea ~ (X) A (respectivamente t (X) A) e 1 cuerpo de series
f(X) = (X - a) k. g(X), g(a) * O. Probar que en el
formales (series de Puiseux),
orden ~.

f(X) > O ~ g(a) > O.

con k E Z, q E~. a E~ (resp. t).
1
iii.Sea a E~ y sea~ el orden en ~(X) determinado por la
Se demuestra (Ver Walker, R. J., Algebraic Curves, secc10n (-oo,a), [a,+oo). Sea f(X) E R[X] Y sea
Dover, (1962) p. 98) que t(X)A es algebraicamente cerrado. f(X) = (X - a) k. g(X), g(a) * O. Probar que en el
Pu~sto que t(X)A = ~(X)A[i], resulta ~(X)A real cerrado. El orden ~.

cuerpo ~(X) se sumerge cannicamente como subcuerpo del

cuerpo de series ~(X) A. La condicin O < X < e, e E ~. f(X) > O ~ (-l)k_g( a) > O.
e > O es vlida en ~(X) A pues X = (X 112 ) 2 en ~(X) A, o sea
O < X, y adems si e E ~. e > O, la serie 2. Sea K un cuerpo con un orden P y sea F e K un subcuerpo.
2
e - X + OX + ox? + ... es un cuadrado en ~(X)A por lo tanto Probar las siguientes afirmaciones:
X < c. Se sigue que el orden de ~(X)A extiende el orden
sealado de ~(X). La clausura real de ~(X) es entonces la i. V= V(KIF,P) := {xlx E K y existe a E F con
totalidad ~(X)Aalg de series de Puiseux algebraicas sobre lxl ~ laj}
~(X). = totalidad de elementos de K finitos respecto de
F, es un subanillo de K

ii. V = K s y slo si P es arquimediano respecto de F.

20 21

iii. I = l(K/F,P) := {xlx E K y para todo a E F, a~
lxl ~ la!>
= totalidad de elementos de K infinitamente
pequeos respecto de F, es un ideal de y.
iv. V es un anillo local con ideal maximal I, o
equivalentemente :
I es el nico ideal maximal de V. Todo elemento de
V\1 es inversible.
NOTA: el contenido de este ejercicio es el principio de una
vinculacin entre la teora de cuerpos reales y el lgebra
conmutativa real. Especficamente relaciona la propiedad de
orden con la propiedad de existencia de una valuacin. Esto
tiene profunda significacin para la geometra algebraica de
manera tal de preparar el terreno para una geometra alge-
braica real . Citemos someramente un resultado clave en esta
teora. Sea K un cuerpo de funciones algebraicas sobre R, o
sea K es un cociente de ~[X, . .. ,X] por un ideal Cr de ese
1 n
anillo. Si V es un modelo de K (por ejemplo la totalidad de
n-uplas en en que son ceros de Cr) denotemos con V(R) la
totalidad de puntos reales de V (o sea las n-uplas con com-
ponentes reales). El problema es saber si existe un modelo
de K que contiene un punto real simple. Vinculada a esta
pregunta hay 3 propiedades involucradas equivalentes entre
s:
i. Existencia de un punto simple en V(R).
ii. Existencia de un orden en K.
i i i. Existencia de un puesto real (real place) (en la
notacin del ejercicio 2. significa que V/I es un cuerpo
22
real).
O,
En lo referente a valuaciones reales citemos un tra-
bajo pionero de R. Baer de 1927, sobre cuerpos ordenados no
arquimedianos .
V. APENDICE. EL ANALISIS NO NORMAL (NON-STANDARD ANALYSIS).
En el siglo XVII, Newton (1642-1727) y W.G.
!.
Leibniz ( 1646-1716) fundaron el clculo infinitesimal con
una precaria fundamentacin de lo que hoy se entiende por
esta rama de la Matemtica. La nocin de "infinitsimo" fue
el medio utilizado para construir el clculo diferencial e
inter.ral. La tradicin matemtica atribuye en general a
Leibniz la creencia en la existencia real de cantidades in-
finitamente pequeas. Una cantidad infinitesimal es una que
no es cero, pero sin embargo es ms pequea que todo nmero
real positivo. No obstante Leibniz no parece comprometido
sobre la existencia real de infinitsimos y por momentos ex-
presa sus dudas. En cualquier forma l reconoce que la
cuestin de la existencia de infinitsimos es independiente
de la cuestin de si el clculo con infinitsimos, llevado a
cabo con las reglas ordinarias de clculo, llevan a contra-
diccin. Consecuentemente existen stos o n, los mismos
pueden servir como "ficciones tiles" para abreviar o hablar
en forma universal.
A
En 1696 el Marques de L'Hopital (1661-1704) public
lo que se considera el primer texto en clculo diferencial
basado en manuscritos inditos de John Bernoulli (1667-
1748). El titulo del libro es Analvse des infiniment petits
~ l'intelligence des lignes courbes (Anlisis de los in-
23

iii. I = l(K/F,P) := {xlx E K y para todo a E F, a~
lxl ~ la!>
= totalidad de elementos de K infinitamente
pequeos respecto de F, es un ideal de y.
iv. V es un anillo local con ideal maximal I, o
equivalentemente :
I es el nico ideal maximal de V. Todo elemento de
V\1 es inversible.
NOTA: el contenido de este ejercicio es el principio de una
vinculacin entre la teora de cuerpos reales y el lgebra
conmutativa real. Especficamente relaciona la propiedad de
orden con la propiedad de existencia de una valuacin. Esto
tiene profunda significacin para la geometra algebraica de
manera tal de preparar el terreno para una geometra alge-
braica real . Citemos someramente un resultado clave en esta
teora. Sea K un cuerpo de funciones algebraicas sobre R, o
sea K es un cociente de ~[X, . .. ,X] por un ideal Cr de ese
1 n
anillo. Si V es un modelo de K (por ejemplo la totalidad de
n-uplas en en que son ceros de Cr) denotemos con V(R) la
totalidad de puntos reales de V (o sea las n-uplas con com-
ponentes reales). El problema es saber si existe un modelo
de K que contiene un punto real simple. Vinculada a esta
pregunta hay 3 propiedades involucradas equivalentes entre
s:
i. Existencia de un punto simple en V(R).
ii. Existencia de un orden en K.
i i i. Existencia de un puesto real (real place) (en la
notacin del ejercicio 2. significa que V/I es un cuerpo
22
real).
O,
En lo referente a valuaciones reales citemos un tra-
bajo pionero de R. Baer de 1927, sobre cuerpos ordenados no
arquimedianos .
V. APENDICE. EL ANALISIS NO NORMAL (NON-STANDARD ANALYSIS).
En el siglo XVII, Newton (1642-1727) y W.G.
!.
Leibniz ( 1646-1716) fundaron el clculo infinitesimal con
una precaria fundamentacin de lo que hoy se entiende por
esta rama de la Matemtica. La nocin de "infinitsimo" fue
el medio utilizado para construir el clculo diferencial e
inter.ral. La tradicin matemtica atribuye en general a
Leibniz la creencia en la existencia real de cantidades in-
finitamente pequeas. Una cantidad infinitesimal es una que
no es cero, pero sin embargo es ms pequea que todo nmero
real positivo. No obstante Leibniz no parece comprometido
sobre la existencia real de infinitsimos y por momentos ex-
presa sus dudas. En cualquier forma l reconoce que la
cuestin de la existencia de infinitsimos es independiente
de la cuestin de si el clculo con infinitsimos, llevado a
cabo con las reglas ordinarias de clculo, llevan a contra-
diccin. Consecuentemente existen stos o n, los mismos
pueden servir como "ficciones tiles" para abreviar o hablar
en forma universal.
A
En 1696 el Marques de L'Hopital (1661-1704) public
lo que se considera el primer texto en clculo diferencial
basado en manuscritos inditos de John Bernoulli (1667-
1748). El titulo del libro es Analvse des infiniment petits
~ l'intelligence des lignes courbes (Anlisis de los in-
23
fini tamente pequeos para el entendimiento de curvas). El nmeros corrientes. An para Leibniz esa concepcin era
libro comienza con dos definiciones : "magnitudes variables contradictoria en s misma: cmo pueden tener las mismas
son aquellas magnitudes que crecen o decrecen en forma pro pi edades de ser positivos y a 1a vez menores que cual-
contnua", "Las partes infinitamente pequeas con que esas quier nmero positivo? La utilizacin de un lenguaje formal
magnitudes crecen o decrecen se denominan diferenciales de permiti a Robinson resolver esta paradoja .
esa magnitud". Agrega dos postulados: "Dos magnitudes que Robinson mostr cmo construir un sistema contenien-
difieren en magnitud infinitamente pequea, puden ser utili- do infinitsimos que a su vez era "idntico" al conjunto de
zadas en forma indistinta", y "Una curva puede ser conside- los nmeros reales con respecto a todas las propiedades ex-
rada como un polgono con un nmero infinito de lados, cada presables en un cierto lenguaje formal. La propiedad de ser
uno de ellos de longitud infinitamente pequea, quedando la positivo y menor que cualquier nmero real positivo no re-
curvatura de la curva determinada por los ngulos entre la- sultaba expresable en este lenguaje y por lo tanto la para-
dos consecutivos" . Sobre esta base se desarro 11 an en e 1 doja se desvaneca. Anlogamente la propiedad de que todo
texto las frmulas bsicas para diferenciales de funciones conjunto de nmeros reales acotado superiormente posee un
algebraicas y se aplican a problemas que involucran tangen- suprt. illO tampoco es expresable en este lenguaje. Las propie-
tes, mximos y mnimos, curvatura, etc. Agreguemos que este dades "expresables" se suelen llamar "elementales" y se for-
texto es en la actualidad recordado particularmente por la mulan en la llamada lgica de predicados de primer orden.
inclusin de un resultado de Bernoulli conocido como la re- Concretamente Robinson construy en 1960 una extensin, de-
gla de L'Hospital para el lmite indeterminado: Sean notada ~. de los nmeros reales ~. que extiende el orden de
f(x),g(x) dos funciones diferenciables con f(a) = g(a) = O. ~ y contiene elementos infinitamente pequeos (respecto de
Entonces ~). Hay entonces en ~. elementos a tales que la 1 < r,
cualquiera sea r E ~. Los elementos de ~ llamados fini-
lim f(x)- l"m f'(x)
x~a grxr- x~a m tos, son aquellos a tales que lal < r, para algn nmero
real positivo r. En el estudio de ~ se introduce una rela-
si el lmite de la derecha existe. cin de equivalencia ::::, definida por: a, b E ~ se dicen
El Anlisis No Normal (ANN) es una nueva rama de la equivalentes Q. comparables si la diferencia es un
Matemtica inventada por Abraham Robinson (1918-1974). Con infinitsimo. Por ejemplo :::: O, para todo infinitsimo .
esta teora Robinson revivi la nocin de "infini tsimo" Sea inf la totalidad de infinitsimos de ~- Un resultado
utilizados extensamente por Leibniz y Newton para fundar el clave en esta teora es que todo elemento a de ~ que sea
anlisis infinitesimal. Como y~ sealamos, Leibniz conceba finito es comparable a un nico nmero real r, o sea existe
los infinitsimos como nmeros, positivos o negativos, infi- un nico r E ~ tal que a :::: r. Se dice entonces que r es la
nitamente pequeos que poseen las mismas propiedades de los parte normal (o standard) de
La base del ANN es hacer

24 25
fini tamente pequeos para el entendimiento de curvas). El nmeros corrientes. An para Leibniz esa concepcin era
libro comienza con dos definiciones : "magnitudes variables contradictoria en s misma: cmo pueden tener las mismas
son aquellas magnitudes que crecen o decrecen en forma pro pi edades de ser positivos y a 1a vez menores que cual-
contnua", "Las partes infinitamente pequeas con que esas quier nmero positivo? La utilizacin de un lenguaje formal
magnitudes crecen o decrecen se denominan diferenciales de permiti a Robinson resolver esta paradoja .
esa magnitud". Agrega dos postulados: "Dos magnitudes que Robinson mostr cmo construir un sistema contenien-
difieren en magnitud infinitamente pequea, puden ser utili- do infinitsimos que a su vez era "idntico" al conjunto de
zadas en forma indistinta", y "Una curva puede ser conside- los nmeros reales con respecto a todas las propiedades ex-
rada como un polgono con un nmero infinito de lados, cada presables en un cierto lenguaje formal. La propiedad de ser
uno de ellos de longitud infinitamente pequea, quedando la positivo y menor que cualquier nmero real positivo no re-
curvatura de la curva determinada por los ngulos entre la- sultaba expresable en este lenguaje y por lo tanto la para-
dos consecutivos" . Sobre esta base se desarro 11 an en e 1 doja se desvaneca. Anlogamente la propiedad de que todo
texto las frmulas bsicas para diferenciales de funciones conjunto de nmeros reales acotado superiormente posee un
algebraicas y se aplican a problemas que involucran tangen- suprt. illO tampoco es expresable en este lenguaje. Las propie-
tes, mximos y mnimos, curvatura, etc. Agreguemos que este dades "expresables" se suelen llamar "elementales" y se for-
texto es en la actualidad recordado particularmente por la mulan en la llamada lgica de predicados de primer orden.
inclusin de un resultado de Bernoulli conocido como la re- Concretamente Robinson construy en 1960 una extensin, de-
gla de L'Hospital para el lmite indeterminado: Sean notada ~. de los nmeros reales ~. que extiende el orden de
f(x),g(x) dos funciones diferenciables con f(a) = g(a) = O. ~ y contiene elementos infinitamente pequeos (respecto de
Entonces ~). Hay entonces en ~. elementos a tales que la 1 < r,
cualquiera sea r E ~. Los elementos de ~ llamados fini-
lim f(x)- l"m f'(x)
x~a grxr- x~a m tos, son aquellos a tales que lal < r, para algn nmero
real positivo r. En el estudio de ~ se introduce una rela-
si el lmite de la derecha existe. cin de equivalencia ::::, definida por: a, b E ~ se dicen
El Anlisis No Normal (ANN) es una nueva rama de la equivalentes Q. comparables si la diferencia es un
Matemtica inventada por Abraham Robinson (1918-1974). Con infinitsimo. Por ejemplo :::: O, para todo infinitsimo .
esta teora Robinson revivi la nocin de "infini tsimo" Sea inf la totalidad de infinitsimos de ~- Un resultado
utilizados extensamente por Leibniz y Newton para fundar el clave en esta teora es que todo elemento a de ~ que sea
anlisis infinitesimal. Como y~ sealamos, Leibniz conceba finito es comparable a un nico nmero real r, o sea existe
los infinitsimos como nmeros, positivos o negativos, infi- un nico r E ~ tal que a :::: r. Se dice entonces que r es la
nitamente pequeos que poseen las mismas propiedades de los parte normal (o standard) de
La base del ANN es hacer

24 25
 f(a + ) - f(a)
anlisis en IR utilizando los infini tsimos. El hecho de f(a + ) f(a + ) - f(a) f' (a)
mxima relevancia, especialmente para la lgica, es la vali- = = ::::::
g(a + ) g(a + ) - g(a) g(a + ) - g(a) g'laT
dez de un Principio de Transferencia por el cual una senten-
cia, expresada en el lenguaje de primer orden, es verdadera
en IR s y slo si es verdadera en IR .
f' (a)
La construccin de Robinson permite extender natu- por lo tanto si existe, entonces coincide con
&'laT
ralmente funciones f: IR ~ IR a funciones f: IR ~ IR. Por lo
1\m f(x)
tanto podemos considerar para cada x E IR y cada E inf el x~a grxr

valor f(x+). De inmediato se puede obtener un criterio
No-Normal de continuidad de f en x. Una exposicin del desarrollo no normal del anlisis
A saber, f es continua en x s y slo si fCx+) : : : se expone en el libro de Keisler, H. J., Foundations of
f(x) para todo E inf. Podemos definir tambin en IR un Infinitesimal Calculus . Prindle, Weber and Schmidt, Boston,
diferencial de f en a, a E IR: 1976.
El hecho fundamental es que todo el anlisis clsico
d na+ ) - f(a), se puede formular en este contexto No Normal y esto ha sig-
a, E inf.
nificado la resolucin de problemas abiertos, formulaciones
La funcin es entonces derivable en a s y slo si ms claras de teoremas clsicos y mltiples aplicaciones.
el cociente La primera exposicin del ANN es el texto de A. Robinson:
f(a + ) - f(a) Nonstandard Analysis, North-Holland ( 1966) y ( 1974). Hay
0 E IR, E inf, ~ 0
una variedad muy grande de textos sobre el tema. Por citar
un titulo: An Introduction to Nonstandard Real Analysis,
es independiente de y adems finito. En este caso se ve-
rifica: A.E. Hurd y P.A. Loeb, Academic Press (1985).
f(a + ) - f(a)
f' (a) ::::::

Veamos una demostracin "no normal" de la regla de

L'Hospital que mencionamos en la Introduccin. Con la nota-
cin e hiptesis all mencionadas se tiene para todo
E inf, ~ 0:

26 27
 f(a + ) - f(a)
anlisis en IR utilizando los infini tsimos. El hecho de f(a + ) f(a + ) - f(a) f' (a)
mxima relevancia, especialmente para la lgica, es la vali- = = ::::::
g(a + ) g(a + ) - g(a) g(a + ) - g(a) g'laT
dez de un Principio de Transferencia por el cual una senten-
cia, expresada en el lenguaje de primer orden, es verdadera
en IR s y slo si es verdadera en IR .
f' (a)
La construccin de Robinson permite extender natu- por lo tanto si existe, entonces coincide con
&'laT
ralmente funciones f: IR ~ IR a funciones f: IR ~ IR. Por lo
1\m f(x)
tanto podemos considerar para cada x E IR y cada E inf el x~a grxr

valor f(x+). De inmediato se puede obtener un criterio
No-Normal de continuidad de f en x. Una exposicin del desarrollo no normal del anlisis
A saber, f es continua en x s y slo si fCx+) : : : se expone en el libro de Keisler, H. J., Foundations of
f(x) para todo E inf. Podemos definir tambin en IR un Infinitesimal Calculus . Prindle, Weber and Schmidt, Boston,
diferencial de f en a, a E IR: 1976.
El hecho fundamental es que todo el anlisis clsico
d na+ ) - f(a), se puede formular en este contexto No Normal y esto ha sig-
a, E inf.
nificado la resolucin de problemas abiertos, formulaciones
La funcin es entonces derivable en a s y slo si ms claras de teoremas clsicos y mltiples aplicaciones.
el cociente La primera exposicin del ANN es el texto de A. Robinson:
f(a + ) - f(a) Nonstandard Analysis, North-Holland ( 1966) y ( 1974). Hay
0 E IR, E inf, ~ 0
una variedad muy grande de textos sobre el tema. Por citar
un titulo: An Introduction to Nonstandard Real Analysis,
es independiente de y adems finito. En este caso se ve-
rifica: A.E. Hurd y P.A. Loeb, Academic Press (1985).
f(a + ) - f(a)
f' (a) ::::::

Veamos una demostracin "no normal" de la regla de

L'Hospital que mencionamos en la Introduccin. Con la nota-
cin e hiptesis all mencionadas se tiene para todo
E inf, ~ 0:

26 27