CONSTRUCCIN DE LOS NMEROS

REALES SEGN
RICHARD DEDEKIND

GILBER CHOCU
DAVID GMEZ
Julius Wilhelm Richard Dedekind (1831-1916), matemtico alemn, naci
el 6 de octubre en Brunswick Alemania, estudio en la Universidad de
Gottingen donde Carl Friedrich Gauss le dirigi su tesis doctoral. En 1858
orientando un curso de clculo diferencial e integral vio la necesidad de
crear una base numrica realmente rigurosa para el clculo diferencial, en
particular, Dedekind quera definir los nmeros reales como cuerpo
ordenado y completo y que a partir de los cuales pudiera demostrar los
teoremas sobre existencia de lmites, tales como: Toda sucesin acotada
y montona creciente tiene lmite que no haba sido demostrado
satisfactoriamente, y por el contrario se aceptaba basndose en una
intuicin geomtrica.
Dedekind se dio cuenta que lo nico que faltaba para
hacer este anlisis era la elaboracin de una teora
slida para el nmero real, partiendo de los nmeros
racionales y utilizando la aritmtica axiomatizada ya
existente.
En su libro Continuidad y nmeros irracionales,
comenta que lo logr despus de aproximadamente
15 aos de trabajo y basado en el trabajo de Eudoxo.
All presenta el estudio de continuidad de la recta
mostrando que existen infinidad de puntos que no son
nmeros racionales, esto lo lleva a reconocer
agujeros o una cierta discontinuidad de los nmeros
racionales que posteriormente lo conduce a construir
nuevos nmeros de manera que completen la recta
numrica.
1. Las propiedades de Q en la recta
numrica
Si a>b y b>c, entonces a>c. Siempre que a y c sean
dos nmeros distintos (o desiguales) y que b sea
mayor que uno de ellos y menor que el otro,
queremos expresarlo, sin temor a la reminiscencia de
representaciones geomtricas, diciendo: b est entre
los nmeros a y c.

c b a

Si a y c son nmeros distintos, existen siempre

infinitos nmeros b que estn entre a y c.
 Si a es un nmero determinado, todos los nmeros
del sistema R se descomponen en dos clases, A1 y
A2 cada una de las cuales contiene infinitos
individuos. La primera clase A1 abarca todos los
nmeros a1 que son < a, y la clase A2 abarca todos
los nmeros a2 que son > a. El nmero a puede
asignarse arbitrariamente a la primera o a la
segunda clase, y de acuerdo con ello es o bien el
mayor nmero de la primera clase o el menor de la
segunda. En cada caso la divisin del sistema R en
las dos clases A1 y A2 es tal que todo nmero de la
primera clase A1 es menor que cada nmero de la
segunda clase A2 [Ded98, p.82].
 Si p est a la derecha de q, y q a la derecha de r,
entonces tambin p est a la derecha de r ; y se
dice que q est entre los puntos p y r .

r q p

Si p , r son dos puntos distintos, hay siempre

infinitos puntos q que estn entre p y r .
 Si p es un determinado punto de L , todos los
puntos de L se descomponen en dos clases, P1,
P2 , cada una de las cuales contiene infinitos
individuos; la primera clase P1 abarca todos los
puntos p1 que estn a la izquierda de p , y la
segunda clase P2 abarca todos los puntos p2 que
estn a la derecha de p ; el punto p puede
asignarse arbitrariamente a la primera o a la
segunda clase. En cada caso, la descomposicin
de la recta L en ambas clases o partes P 1, P2 es
tal que todo punto de la primera clase P 1 est a
la izquierda de cada punto de la segunda clase
P2 [Ded98, p. 82].
 Observemos que hasta aqu la relacin entre
nmeros racionales y puntos no es expresable en
un lenguaje matemtico.

Las tres propiedades mencionadas anteriormente

(transitividad, densidad y cortadura) no se pueden
extrapolar a un dominio de puntos juzgado en s
mismo. Dedekind dota a la recta de una reglilla en
la cual existe un punto de origen (o),una unidad
de medida y dos direcciones, una positiva y otra
negativa.
Con esta herramienta Dedekind hace uso del concepto
de medida, en el sentido griego, para asignar puntos de
la recta a magnitudes conmensurables con la unidad de
medida y viceversa: Se asigna una unidad de medida y
como p/q es un nmero racional, entonces se puede
construir en la recta una magnitud que represente este
nmero. Se toma la direccin positiva o negativa
dependiendo del signo del nmero en cuestin, se
divide la unidad en q partes y luego se toman p de ellas.
El punto final de esa magnitud es el que va a identificar
Dedekind con p/q . Recprocamente, si en la recta se
ubica una magnitud conmensurable con la unidad de
medida, entonces esta magnitud se puede identificar
con un nmero racional.
2. Propiedad de la cortadura y esencia de la
continuidad
Dedekind parte del hecho de que el prototipo de
lo continuo es la recta geomtrica.

- Lo intuitivo de la continuidad de la recta

- Inicios de estudiar la recta desde un punto de

vista aritmtico: ubicar un origen; unidad de
medida; establecer para cada segmento de
recta medible con la unidad de medida, un
punto de la recta (y recprocamente)
Dedekind enuncia aquella propiedad esencial que le
permite atrapar la continuidad en un lenguaje
matemtico:

Si todos los puntos de la recta se descomponen en

dos clases tales que todo punto de la primera clase
est a la izquierda de cada punto de la segunda
clase, entonces existe
un y slo un punto que produce esta particin de
todos los puntos en dos clases, este
corte de la recta en dos partes [Ded98, p. 150].
3. Construccin y/o creacin de los
nmeros irracionales

En primer lugar Dedekind comienza por definir el

concepto de cortadura en Q. Esto le va a permitir
crear sus nuevos objetos, verificar
aritmticamente el carcter lacunario de Q y
constatar la propiedad de completez (o
continuidad) de los nuevos objetos.
QU ES UNA CORTADURA?
Una cortadura (A1,A2) sobre los nmeros racionales es
una particin de este conjunto en dos clases A1 y A2, con
la siguiente propiedad:

- Para todo a A1 y todo b A2 se cumple a<b

Ejemplos
Segn Dedekind, cada nmero racional produce
una cortadura con la propiedad de que, entre los
nmeros de la primera clase A1 existe un nmero
que es el mayor, y que entre los nmeros de la
segunda clase A2 existe uno que es el menor.

Pero si por el contrario los nmeros de la primera

clase no poseen un elemento mayor o un
elemento mximo y los elementos de la segunda
clase no poseen un elemento mnimo, entonces
estamos ante un nmero irracional.
Sin embargo, la fortaleza de la cortadura consiste en
exhibir cortaduras que no son producidas por nmeros
racionales. As, Dedekind lo demuestra a travs de la
eleccin de un entero no cuadrado perfecto D , de la
siguiente forma:
Ejemplo:
Definicin de un orden
Sean (A1, A2) y (B1, B2) dos cortaduras que
producen los nmeros y respectivamente.

Definir un orden entre y (es decir = , > ,

< ), es establecer una comparacin
entre las dos cortaduras, lo cual se reduce a
comparar los dominios A1 y B1.
 Para definir = se tienen dos opciones:

- Si A1 = B1 entonces todo elemento de A1 es

elemento de B1 , y recprocamente todo
elemento de B1 es elemento de A1, por tanto
A2=B2, y las cortaduras resultan ser idnticas.

- Si las cortaduras no son idnticas pero son

esencialmente iguales; es decir hay un nico
nmero que pertenece a A1 y no pertenece a B1
 Para definir > o < se tiene:

Sean (A1,A2) y (B1,B2) las cortaduras

correspondientes a y respectivamente.
Supongamos que hay al menos dos nmeros
1 y 2 que pertenecen a A1 y no pertenecen a B2.
Entonces, por la propiedad de densidad en Q, hay
infinitos nmeros i que pertenecen a A1 y no
pertenecen a B1. En este caso esas cortaduras son
esencialmente diferentes y se define >