1

CORTADURAS DE DEDEKIND

En la evolucin de esta teora se distinguen tres etapas: la primera aparece influida por la
idea del nmero real como un objeto preexistente: cada nmero real produce una cortadura;
la cortadura define al nmero y ste determina a la primera (Dedekind). La segunda etapa
es la del pensamiento concreto: cada nmero real es una cortadura. La tercera etapa,
inaugurada por Hilbert, est dominada por el pensamiento axiomtico: las cortaduras sirven
para probar que la nocin de cuerpo ordenado completo es consistente con la aritmtica de
los nmeros racionales. Desde el punto de vista axiomtico el nico objeto de la teora de
las cortaduras, que exponemos a continuacin, es construir un ejemplo de cuerpo ordenado
completo. El ciclo se cierra al probar que cualquier cuerpo ordenado completo es isomorfo
al cuerpo de las cortaduras.
Suponemos conocidas las propiedades del cuerpo ordenado de los nmeros racionales, al
que denotamos por Q. Entre las que nos harn falta destacamos la densidad: el hecho de
que entre dos nmeros racionales distintos se encuentra siempre otro nmero racional, y la
arquimedianidad: el hecho de que para cualquier nmero racional positivo r existe un
entero positivo n tal que . / 1 r n < En lo que sigue la palabra nmero es sinnimo de
nmero racional; no hay, por ahora, otros nmeros. Los enunciados ms sencillos van
sealados con nmeros romanos, y en algunos casos nos ha parecido conveniente omitir la
fcil demostracin.
Definicin. Llamamos cortadura a un conjunto (o clase) de nmeros racionales que
satisfaga las siguientes propiedades:
1. y ; Q es decir, es un subconjunto propio de Q;
2. si r y , r s > entonces ; s es decir, todo nmero mayor que un
elemento de pertenece tambin a ;
3. no tiene mnimo.

La clase complementaria formada por los nmeros racionales que no pertenecen a ,
posee entonces la siguiente propiedad:
2
si r y s , entonces . s r <
En efecto, si fuera , s r en virtud de (2) se tendra r .
Antes de seguir adelante, conviene analizar con cuidado los siguientes ejemplos.

Ejemplos
1. Para cada nmero r, el conjunto de los nmeros mayores que r es una cortadura que
denotamos por r*. En particular, 0* est formada por los nmeros positivos y 1* por los
nmeros mayores que 1.
2. Denotemos por el conjunto de los racionales positivos que verifican . 2
2
> r Es
claro que cualquiera de estos nmeros es mayor que 1 y que si r , la relacin r s >
implica . s Tambin es claro que no es vaca y que tampoco lo es la clase comple-
mentaria (sta contiene al nmero 1 y a todos los nmeros negativos). Para probar que
es una cortadura slo faltara mostrar que no tiene mnimo.
Dado , r si , 1 0 < < entonces tendremos 0 > r y adems:
r r r r r 2 2 ) (
2 2 2 2
> + = ,
y el ltimo nmero es mayor que 2 siempre que se cumpla > r r 2 / ) 2 (
2
. Ahora bien,
un nmero entre 0 y 1 que cumpla la ltima condicin es, por ejemplo,
r r
r
2 2
2
2
2
+

= .
Este nmero verifica las condiciones que se requieren para que r pertenezca a , a
saber: 0 > r y 2 ) (
2
> r .
Hemos probado que es una cortadura. Sin embargo, esta cortadura difiere de las del
ejemplo anterior en el hecho de que su clase complementaria no tiene mximo. En
efecto, sea r un nmero positivo que verifica . 2
2
< r Entonces podemos hallar un nmero
entre 0 y 1 que verifique . 2 ) (
2
< + r Pues si , 1 0 < < tendremos:
3
, 2 ) 1 2 ( 2 2 ) (
2 2 2 2 2
< + + = + + < + + = + r r r r r r r
a condicin de que se cumpla ). 1 2 /( ) 2 (
2
+ < r r Basta, entonces, elegir:
r r
r
r r
r
2 3
2
1 2 2
2
2
2
2
2
+

=
+ +

=
para tener cumplidas las dos condiciones. Queda as demostrado que es una cortadura
cuya clase complementaria no tiene mximo.

En adelante denotamos las cortaduras por letras griegas: , , , ... ; los elementos de
cada una de ellas por las correspondientes letras maysculas: A, B, C, ... y los de sus
respectivas clases complementarias por las correspondientes letras minsculas: a, b, c, ..., lo
que facilita algunos razonamientos, si se tiene en cuenta que en cualquier circunstancia ser
... , , , C c B b A a < < < etc.

Ordenacin. Es fcil ver que para cualquier par de cortaduras se verifica alguna de las
inclusiones:
o bien .
En efecto, si no est incluida en , existe un nmero A en que no est en , y
por consiguiente, b A = (un nmero de la clase ). Pero entonces, cualquier B de la
clase verifica , A B > de donde B por definicin de cortadura. Hemos probado
que si no est incluida en , entonces est incluida en . Q.E.D.

Definicin. si y slo si .

Se ve fcilmente que la relacin es una relacin de orden (reflexiva, antisimtrica y
transitiva). Como es usual: (i) < significa y ; (ii) equivale
a y finalmente, (iii) < equivale a > .
4

Un conjunto de cortaduras ) ( = se llama acotado inferiormente si existe una
cortadura con la propiedad de que para todo , implica . De cualquier
cortadura que tenga esta propiedad decimos que es una cota inferior de .
En forma simtrica se definen los conceptos de conjunto acotado superiormente y cota
superior.


Teorema. Si es no vaco y acotado inferiormente, existe una cortadura tal que
1) es una cota inferior de ;
2) si es una cota inferior de , entonces .
En otras palabras, es la cota inferior mxima de .
Demostracin. Supongamos que la cortadura verifica para cualquier del
conjunto . En otras palabras, supongamos que para cada , implica .
Definamos ahora la clase de nmeros racionales como unin de todas las cortaduras del
conjunto :
&

=

.
Es decir, r si y slo si r para algn del conjunto .
Es fcil ver que: (1 ) ; (2 ) es una cortadura; (3 ) implica , es
decir, . Luego, la cortadura es una cota inferior de .


Notemos que y que esta relacin se mantiene vlida si en el lugar de se pone
cualquier cota inferior de . Lo que demuestra que es la cota inferior mxima de .
Q.E.D.
5
La cortadura se llama extremo inferior (o nfimo) de y se denota por . inf

Corolario. Si un conjunto de cortaduras es no vaco y acotado superiormente,
entonces posee una cota superior mnima.

En efecto, el conjunto formado por las cotas superiores de es no vaco y acotado
inferiormente por cualquier elemento de ; de donde se sigue que la cortadura = inf
es una cota superior de , es decir, un elemento de , y por consiguiente el mnimo de
este conjunto. Q.E.D.
La cortadura se llama extremo superior (o supremo) de y se denota por . sup

El siguiente lema ser de gran utilidad para estudiar las propiedades aritmticas de las
cortaduras:
Lema. Dados: una cortadura , un nmero
0
a de su clase complementaria y un
nmero , 0 > t existe un par de nmeros A y a , tal que
0
a a y t a A < .
Para demostrarlo elegimos un nmero
0
A en y un nmero natural n tal que
t
n
a A
<

0 0
(propiedad de Arqumedes);
y a continuacin elegimos el mnimo entero k tal que .
0 0
0

+
n
a A
k a Ntese que
para n k = se obtiene
0
A y para 0 = k se obtiene
0
a .
Entonces, los nmeros:
n
a A
k a A
0 0
0

+ = y
n
a A
k a a
0 0
0
) 1 (

+ = verifican las
condiciones del lema. En particular, para cualquier y cualquier nmero 0 > t , existe
un par de nmeros A y a tal que t a A < .
6

Suma de cortaduras. La suma de las cortaduras y se define por medio de la
frmula
}. , : { + = + B A B A
A partir de la definicin se demuestran fcilmente las siguientes propiedades:
I. + + = + + ) ( ) ( , + = + .
II. . * 0 = +
Para la demostracin de la segunda basta recordar que los elementos de 0* son los
nmeros positivos y que no tiene mnimo: si A , existe A A < tambin en .
Entonces . 0 ) (

+ + = A A A A
III. Para cualquier , existe una cortadura tal que . 0
*
= +
Pongamos: a B B > = : { para algn a en }. Es muy fcil probar que la clase
es una cortadura:
(1) no es vaca, pues basta elegir 1 + = a B con algn a en para tener un
elemento de . En cuanto a la clase complementaria de , si A el nmero A no
puede pertenecer a , pues la desigualdad a A > equivale a a A < , que es absurda.
Luego, y .
(2) Por la definicin de se ve claramente que todo nmero mayor que un elemento de
es otro nmero de la misma clase.
(3) Por ltimo, si a B > , basta elegir un nmero B que verifique a B B > > para
tener un nmero menor que B en la clase ; es decir, no tiene mnimo.
Probemos ahora que . 0
*
= + En efecto, un nmero de + tiene la forma
B A+ , donde A y a B > para algn a en la clase inferior de . Pero entonces
, 0 ) ( > = + > + a A a A B A
7
lo que muestra que . 0
*
+ B A Recprocamente, si , 0
*
t entonces , 0 > t y en virtud
del lema anterior existen nmeros A y a tales que . t a A < Por consiguiente, existe un
nmero positivo s tal que . ) ( B A s a A s a A t + = + + = + = Q.E.D.
La cortadura de la demostracin anterior se representa por medio del smbolo .
Ejercicio. Mostrar que si , 0
*
= + entonces = (la cortadura opuesta de es
nica). En particular, . 0 0
* *
=
IV. Si , entonces + + para cualquier .
En efecto, si , entonces . + +
Definicin. ). ( + =
Ejercicio. Mostrar que equivale a . 0
*
En particular,
*
0
equivale a
*
0 .



Producto de cortaduras no negativas. De una cortadura que verifique
*
0
decimos que es no negativa; las que verifican
*
0 > se llaman positivas. Notemos que
*
0 equivale a , 0
*
de modo que los nmeros de una cortadura no negativa son
todos positivos. Para que sea positiva se requiere que haya un nmero positivo en la
clase complementaria .
El producto de cortaduras no negativas se define por la siguiente frmula:
Definicin. } , : { = B A AB .
Probemos primero que la clase as definida es una cortadura.
(1) Claramente no es vaca y su complemento, que incluye al cero y a todos los racionales
negativos, tampoco lo es. (2) Si el nmero r es mayor que un nmero AB de la clase
, entonces existe un nmero 0 > s tal que
8
, B A
A
s
B A s AB r =

+ = + =
lo que muestra que r est en la clase . (3) Que la clase no tiene mnimo es
muy claro si se piensa que no lo tiene ninguna de las cortaduras y y que stas constan
de nmeros positivos exclusivamente. Q.E.D.
Todas las cortaduras que se consideran en lo que resta del presente prrafo son no negati-
vas.
V. , ) ( ) ( = , = . ) ( + = +
Probamos solamente la tercera (ley distributiva). Cualquier nmero del primer miembro
tiene la forma , ) ( AC AB C B A + = + que es la forma de un nmero del segundo miembro.
Recprocamente, un nmero del segundo miembro es de la forma C A AB + . Si supone-
mos que , A A tendremos ), ( C B A AC AB C A AB + = + + un nmero del primer
miembro. Por tanto, el nmero considerado tambin pertenece al primer miembro.
VI. . 1
*
=
En efecto, un nmero del primer miembro es de la forma r A con 1 > r , que da como
resultado un nmero de por ser mayor que A.
Recprocamente: si , A puesto que ninguna cortadura tiene mnimo, existe en la
misma clase un nmero A A < . Entonces el nmero
A
A
A A

= tiene la forma de un
nmero del primer miembro. Q.E.D.
Ejercicio 3. Mostrar que . 0 0
* *
=
VII. Si
*
0 > , entonces existe una cortadura tal que . 1
*
=
Puesto que es positiva, existe un nmero 0
0
> a en la clase inferior de .
Definamos la clase de la siguiente manera:
a
B B
1
: { > = para algn 0 > a en la clase complementaria }.
9
En primer lugar, es muy fcil probar que la clase as definida es una cortadura positiva.
Para probar la igualdad del enunciado comencemos observando que un nmero del primer
miembro tiene la forma AB con a B / 1 > para algn a positivo en la clase inferior de .
Pero entonces 1 / > > a A AB y AB es un nmero del segundo miembro.
Recprocamente: sea 1 > r . En virtud del lema, para cualquier t positivo existen nme-
ros A y C a tales que
0
a a y . t a A < Luego,
r
a
t
a
a A
a
a A a
a
A
+ <

+
+

0
1 1
) (
,
siempre que elijamos ). 1 (
0
r a t Entonces existe un nmero 0 > s tal que
,
1
AB
A
s
a
A s
a
A
r
,
_

+ +
lo que muestra que r es un nmero de la clase . Q.E.D.

Producto de cortaduras cualesquiera. Extendemos la definicin del producto a
cualquier par de cortaduras por medio de las siguientes frmulas:

'

< <
<
<

. 0 y 0 si ) )( (
, 0 y 0 si ) (
, 0 y 0 si ) (
* *
* *
* *




VIII. (regla de los signos) . ) (
El anlisis de los cuatro casos posibles se deja como ejercicio.
IX. . ) ( + +
La demostracin exige una consideracin de casos:
1 )
* * * *
0 , 0 , 0 , 0 + < . Entonces
[ ] . ) ( ) ( ) ( + + +
2 ) . 0 , 0 , 0 , 0
* * * *
< + < Por el caso anterior,
10
[ ] . ) ( ) ( ) ( ) ( + = + = = +
3 )
* * *
0 , 0 , 0 < . Este caso se reduce a los anteriores por la propiedad
conmutativa de la suma.
4 ) . 0 , 0 , 0
* * *
< < En este caso,
[ ] , ) ( ) ( ) ( ) ( + = + = = +
con lo que se agotan todas las posibilidades para el caso . 0
*

Finalmente, si
*
0 < podemos emplear de entrada la regla de los signos:
) ( ) ( ) ( + = + . Q.E.D.
X. Si y , 0
*
entonces .

Resumiendo, hemos probado el siguiente teorema:

Teorema. Existe un cuerpo ordenado en el que todo subconjunto no vaco y acotado
superiormente posee una cota superior mnima.

Un cuerpo ordenado con dichas propiedades se llama completo y es esencialmente nico,
en el sentido de que cualquier otro campo con las mismas propiedades es isomorfo a l.

Bibliografa
1. T.J. Bromwich, An Introduction to the Theory of Infinite Series, Chelsea, 1991.
2. T. Dantzig, Number, The Language of Science, The Macmillam Company, 1954.
3. R. Dedekind, Essays on the Theory of Numbers, Dover, N. York, 1963.
4. G.H. Hardy, A Course of Pure Mathematics, Cambridge University Press, dcima edicin, 1958.
5. E.W. Hobson, The Theory of Functions of a Rea l Variable, Cambridge University Press, Vol. I, 1927.
6. W. Rudin, Principles of Mathematical Analysis, 3a. edicin, MacGraw Hill, 1976.

Norberto Fava Buenos Aires, 23 de abril de 1999