Está en la página 1de 6

Dedekind franciscus naci en Brunswick (Braunschweig en alemn), el ms joven de los cuatro hijos

de Julius Levin Ulrich Dedekind. Vivi con Julia, su hermana soltera, hasta que falleci en 1914; l
mismo tambin qued soltero. En 1848 entr en el Colegium Carolinum de su ciudad natal, y
en 1850, con slidos conocimientos de matemticas en la Universidad de Gotinga.
Dedekind aprendi matemticas en los departamentos de matemticas y fsica de aquella
universidad, siendo uno de sus principales profesores Moritz Abraham Stern, y tambin fsica de la
mano de Wilhelm Eduard Weber. Su tesis doctoral, supervisada por Gauss, se titulaba ber die
Theorie der Eulerschen Integrale (Sobre la teora de las Integrales eulerianas), y aunque en ella no
se reflejaba el talento que mostr en sus trabajos posteriores, Gauss supo apreciar el don de
Dedekind para las matemticas. Dedekind recibi su doctorado en1852, siendo el ltimo alumno de
Gauss, y trabaj a continuacin en una tesis de habilitacin, que era necesaria en Alemania para
obtener la "venia docendi" (habilitacin de enseanza docente en universidades alemanas).
Interprete de sun dont shine.
Durante los siguientes aos, estudi la teora de los nmeros y otras materias con Gustav Dirichlet,
al que le unira una gran amistad. Para ampliar sus conocimientos, abord el estudio de
las funciones abelianas y elpticas de la mano del genial Bernhard Riemann. Slo tras estas
experiencias, en su formacin, encontr al fin sus campos de trabajo principales: el lgebra y la
teora de nmeros algebraicos. Se dice de l que fue el primero en impartir clases universitarias
sobre la teora de las ecuaciones de Galois. Fue adems el primero en comprender el significado
fundamental de las nociones de grupo, cuerpo, Ideal en el campo del lgebra, la teora de nmeros y
lageometra algebraica.
Sus cortes zanjan definitivamente el problema de la fundamentacin del anlisis al definir el conjunto
de los nmeros reales a partir de losracionales. En su magistral artculo de 1872, Dedekind
caracteriz los nmeros reales como un cuerpo ordenado y completo, y ofreci un desarrollo de toda
la cuestin que es un modelo de organizacin y claridad.
Su trabajo sobre los nmeros naturales fue tambin fundamental, sentando bases para la teora de
conjuntos, junto con Frege y Cantor, y dando una fundamentacin muy rigurosa de los
llamados Axiomas de Peano (publicados por el italiano un ao ms tarde).
Con ser importantes, esas no fueron las contribuciones principales de Dedekind a la matemtica
pura: trabaj toda su vida en la teora de nmeros algebraica, que en buena medida cre. Y en el
proceso, sent muchos de los mtodos caractersticos del lgebra moderna, hasta el punto de que
Emmy Noether sola repetir que "todo est ya en Dedekind".
La correspondencia de Dedekind con otros matemticos result especialmente fructfera y
estimulante: ante todo la correspondencia con Cantor, donde asistimos al nacimiento de la teora de
conjuntos transfinitos; pero tambin la correspondencia con H. Weber, que entre otras cosas
condujo a un artculo pionero de la geometra algebraica; y la que mantuvo con Frobenius,
impulsando el desarrollo de la teora de representaciones de grupos.


Un mtodo para completar los nmeros irracionales y obtener R, fue ideado por DEDEKIND se basa
en el concepto de cortaduras.





Consideremos "un" sistema de nmeros racionales .
Nos interesa ampliar segn el mtodo de las cortaduras de Dedekind.

Para esto es buena idea intentar visualizar los nmeros racionales c omo
puntos en una lnea recta, tal como suele hacerse en los cursos bsicos de
lgebra o anlisis.
Una cortadura en la recta lo que hace es dividirla en dos semirrectas, una
que hacia la izquierda y otra que va hacia la derecha.
En la geometra corriente, toda semirrecta tiene un punto de origen, y
luego una orientacin hacia izquierda o hacia derecha.
Sin embargo, con los puntos que corresponden a nmeros racionales, no es
necesariamente cierto que uno tenga ese punto inicial de la semirrecta, y
sin embargo puede seguir teniendo la recta total partida en dos "tramos",
uno que va a izquierda, el otro a derecha, y que juntos forman la recta
total.

Veamos un ejemplo de esto.
Sabemos que no existe un nmero racional tal que .
Definamos los conjuntos

En virtud de la monotona de la funcin no es difcil demostrar
que:


(i)
(ii)
(iii)

Adems, aunque en la definicin de pusimos la condicin , en
realidad no existe ningn nmero racional tal que , y esto
prueba que el conjunto puede describirse ahora con la
condicin .

Este hecho, junto con las condiciones (i), (ii) y (iii) muestran que
tanto como tienen todas las propiedades que tendra
una semirrecta, salvo por el hecho de que no ninguna de ellas tiene
un punto inicial.

El punto inicial de ambas "semirrectas", si existiera, tendra que ser el
nmero irracional .
Pero este nmero no est en , y entonces donde debiera estar ese
punto inicial, lo que hay es un "hueco".

Por esta razn, Dedekind no usa el trmino "par de semirrectas con
origen comn" (porque no puede) y en lugar de eso utiliza el trmino
de cortadura.

Por razones tcnicas, daremos una definicin ligeramente modificada
respecto el ejemplo anterior.




Definicin 1. Una cortadura (de Dedekind) en el cuerpo ordenado
de los racionales es un par ordenado que cumple
las siguientes propiedades:

,



Denotaremos con a la familia de todas las cortaduras en .

Lema 1. Si , entonces o bien es vaco o bien tiene un
solo elemento.
Spoiler: Demostracin (click para mostrar u ocultar)

Lema 2. Si , entonces hay una nica cortadura tal
que . La cortadura est definida por:



Spoiler: Demostracin (click para mostrar u ocultar)

A la nica cortadura determinada por el racional la
denotaremos .

Se ve claramente que, si es una cortadura tal que contiene
un elemento , como este elemento pertenece a , por el Lema
anterior necesariamente ocurre que .

As que podemos hablar de cortaduras racionales y no-
racionales.
Las racionales son las de la forma para algn ,
y las no-racionales son las otras (son de la forma con ).

Geomtricamente, la cortadura no-racional representa un punto de
la recta numrica donde debe ir posicionado un nmero real
irracional.
Pero esto an debe ser formalizado.

Para poder hablar de "nmeros", tenemos que dotar a la familia de
cortaduras de una estructura de cuerpo ordenado completo.

Otro lemita:

Lema 3. Si una cortadura es distinta de , entonces uno de los
conjuntos tiene tanto elementos positivos como negativos,
mientras que el otro tiene elementos de un solo signo.

La demostracin es muy sencilla y se deja a cargo del lector.



A continuacin tenemos que definir operaciones y relaciones en la
familia de todas las cortaduras.

Sean dos cortaduras dadas.
Se definen la suma de cortaduras as:

, donde , .

Primero que nada, es importante demostrar que es una
cortadura.
Esto no es difcil de probar. Por ahora lo dejamos a cargo del lector.

Se define el "negativo" de una cortadura, as:

, donde .

Tambin es necesario (a la vez que sencillo), comprobar uqe es
una cortadura.


Diremos que una cortadura es positiva si contiene algn
nmero racional positivo,
diremos que es negativa si contiene algn racional negativo,
y en otro caso diremos que es nula.

Un resultado bsico del operador "negativo" es el siguiente:

Lema 4. Una cortadura es positiva si, y slo si,
es negativa.

(La prueba es sencilla.)

Se puede probar fcilmente que la nica cortadura nula es .

Sean dos cortaduras positivas. Se define
el producto entre ellas como:

, donde , .

Es necesario, aunque fcil, comprobar (es clculo rutinario), que
es una cortadura.

Si es positiva y es negativa, se define el producto entre
ellas as:



O sea, se opera con cortaduras positivas, y luego al final se antepone
un signo "negativo".
De modo similar, si es negativa y es positiva, se hace:



Finalmente, si ambas son negativas, se define:



Como se ve, hemos metido a la fuerza, por definicin, las
famosas reglas de los signos.

An falta un detalle ms: si alguna de las cortaduras es nula, se
define el producto as:



O sea, el producto por la cortadura "0" da la cortadura "0".

Pasemos a definir el recproco de una cortadura positiva :

, donde , .

Ntese cmo hemos tenido que "manipular" los racionales negativos
para que no nos "molesten", a fin de que el resultado final sea
una cortadura. (Verificar que lo es).

Si es una cortadura negativa, definimos:



O sea, hemos reducido la cuestin a tomar el recproco de una
cortadura positiva, y luego al final simplemente agregamos el signo
"negativo".