Universidad Central de Venezuela

Facultad de Ciencias
Escuela de Matemáticas
Asignatura: Análisis 1
Profesor: Arturo Carreño
Nombre: Víctor Rodríguez

Evaluación: Ensayo

Importance History and Epistemology of Dedekind cuts for the construction of real
numbers.

Abstranc:

The present work is pretty fundamental for the entire human’s sciences; sense is an
introduction in a aspect´s history of the mathematics’ world, this essay is very important
because it offers a historical and epistemological contextualization of the mathematical
method for constructing the real numbers by means of Dedeking's cuts, which has been
of great importance for the development of mathematical analysis.

Importancia Historia y Epistemológica de las cortaduras de Dedeking para la

construcción de los números reales.

Ya conocemos de antes la necesidad de conocer y manejar los números, para satisfacer

diversas necesidades de nuestra vida diaria, sin embargo nos adentraremos más allá y nos
contextualizaremos en un sentido histórico-epistemológico, refriéndonos por supuesto, a las
bases teóricas matemáticas para la construcción de los vastos e inmensos números reales,
sin descuidar por supuesto la rigurosidad que nos caracteriza como matemáticos o como
aprendices de esta hermosa disciplina, tocando eventualmente sus orígenes e importancia
para el desarrollo de la teoría de cardinales infinitos, y una que otras aplicaciones de índole
teórico que tenemos para estos números, que en términos algebraicos llamamos cuerpo, es
importante entonces comenzar por dar una definición de lo que son los números reales, para
ello supongamos que ya hemos conocido la existencia de la racionales y los irracionales, y
por supuesto los de enumeración básica como los naturales y los enteros, así pues los
números reales en términos conjuntistas son aquellos que contienen a los anteriores, esto
pues para darnos una idea intuitiva, sin embargo aquí intervienen conceptos como densidad,
convergencia y continuidad pero estos hacen referencia a un contexto más bien topológico,
lo cual es muy importante pues, la intervención de una estructura topológica, en esta
construcción viene para dar solución a la problemática que subyace en la concepción y
presentación axiomática de los números reales, así como sucede, con la presentación
axiomática de la teoría de conjuntos de Zermelo-Fraenquel en 1908, ante la necesidad de
dar a la teoría de conjuntos fundamentos sólidos que eviten los problemas presentados por
la teoría intuitiva de Cantor.

El matemático alemán Richard Dedekind fue una figura clave en el surgimiento de la

matemática conjuntista y estructural del siglo XX. Su obra y su importancia han sido
reevaluadas en los últimos treinta años, resultado que no deja de crecer la estimación que de
él se tiene. Hasta cierto punto, se le puede considerar un moderno Euclides: dejó una huella
muy importante en los elementos de la matemática, de ahí que los Bourbaki le consideraran
uno de sus antecesores directos. Durante el siglo XX, a Dedekind se le ha conocido sobre
todo por su aportación a los fundamentos del sistema numérico (definiciones de los
números reales y naturales), pero su principal contribución como investigador fue en el
terreno del álgebra y sobre todo la teoría de números algebraicos.

Igual que quien sería su director de tesis: Gauss, el “primero entre los matemáticos”,
Dedekind nació en Braunschweig (Brunswick), capital de un pequeño ducado situado al
oeste de Berlín.

Hacia 1856 nuestro hombre encontró el que sería su principal campo de trabajo. Escucha
las lecciones de Dirichlet sobre teoría de números, famosas por haber puesto el contenido
de las Disquisitiones arithmeticae de Gauss al alcance del “gran público” matemático, y las
discute minuciosamente con su maestro. Pero sobre todo estudia los trabajos de Abel y
Galois, a resultas de lo cual imparte un curso sobre álgebra superior y teoría de Galois,
aparentemente el primero de este tipo en Alemania.

Alrededor de 1858 Dedekind se dio cuenta de que la aritmética de los números reales no
poseía fundamento lógico adecuado más específicamente se recurría a la evidencia
geométrica para demostrar teoremas aritméticos propios del análisis desde el punto de vista
didáctico encontraba útil el recurrir a la intuición geométrica con el fin de no perder
demasiado tiempo, pero en ningún caso este recurso, según Dedekind, podía considerarse
científico antes de abordar el estudio de los números irracionales. Dedekind presupone el
desarrollo de la aritmética de los números racionales, pero llama la atención sobre ciertas
características comunes que él juzga importantes entre los números racionales y los puntos
de la recta numérica. A continuación, presenta su estudio de la continuidad de la línea
recta, haciendo notar, desde el comienzo, el hecho de que en una línea recta L existe una
infinidad de puntos que no corresponde a ningún número racional. Por consiguiente, la
recta L es infinitamente más rica en puntos individuales que el dominio R de los números
racionales en números individuales. Esto nos conduce, según dice, a completar Recreando
nuevos números de manera que el campo de los números adquiera la misma compleción o,
como puede decirse la misma continuidad que la línea recta.

La construcción de los reales según las cortaduras de Dedeking siguen los siguientes pasos

Pasos 1: Los miembros de R serán ciertos subconjuntos de Q, llamados Cortadura. Una

cortadura es por definición cualquier conjunto A ⊆ Q con las siguientes 3 propiedades

i) A es no vacío, A es distinto de Q,
ii) Si p ∈ A, p ∈ , y q<p , entonces q ∈ A
iii) Si p ∈ A, entonces p<r para algún r ∈ A
Las letras p ,q ,r,…. Siempre denotaran números racionales y A,B,C,….. denotaran
cortaduras.
Note que iii) simplemente nos dice que A no tiene miembro más grande, II)
implica dos hechos los cueles serán usados libremente:
Si p ∈ A y q ∉ A entonces p< q.
Si r ∉ A y r<s entonces s ∉ A.
Paso 2. Define A<B para denotar que A es un subconjunto propio de B.
Esto es que se cumple la ley de tricotomía, y la propiedad de transitividad es decir
Si A<B y C<B es claro que A<C y es claro que a lo sumo una de la tres relaciones
A<B, A=B, B<A, puede cumplirse para cualquier par de A , B. Para demostrar
que al menos una se cumple, se asume que las dos primeras fallan. Entonces A no
es un subconjunto de B, por lo tanto existe un p ∈ A, con p ∉ B. Si q ∈ B , se sigue
que p<q (ya que p ∉ B), por lo tanto q ∈ A , por II). Así B ⊆A ya que B es distinto
de A, concluimos: B<A, Así R es ahora un conjunto ordenado.
Paso 3: el conjunto ordenado R tiene la propiedad de menor-superior-cota.
Para probar esto, sea A’ un subconjunto no vacío de R, y se asume que B ∈ R es
una cota superior e A’. Se define C como la unión de todos las A ∈ A’ en otras
palabras, p∈ C si y solo si, p ∈ A para algún A ∈ A’. Deberíamos probar que C ∈ R, y
que C=Sup A’.
Ya que A es no vacío, existe un Ao ∈ A’. Este Ao es no vacío, ya que Ao ⊆ C, C es no
vacío, lo siguiente es ver que C ⊆B (ya que A⊆ B para cada A ∈ A’) por lo tanto C
satisface iii), Así, C ∈ R.
Es claro que A es menor o igual que C, para cada A ∈ A´.
Supongamos que D<C, entonces existe un s ∈ C, y que ∉ D. Ya que s ∈ C, s∈ A. para
algún A ∈ A’. Por lo tanto D<A, y D no es una cota superior de A’, esto nos da el
deseado resultado que C=Supe A.
Paso 4: Si A ∈ R y B∈ R, definimos A+B como el conjunto de todas las sumas r +s,
donde r ∈ A y s ∈B.
Definimos 0* como el conjunto de todos los racionales negativos, es claro que 0*es
una cortadura, verificamos que los axiomas para la adición de los cuerpos se
mantienen en R, con 0* cumpliendo el rol de 0.
A1)tenemos que probar que A+B es una cortadura, es calro que A+B es un
subconjunto no vacio de Q , tomamos r’ ∉ A, s’ ∉ B. entonces r’+ s’ > r + s, para
toda elección de r y s pertenecientes a A y a B respectivamente. Así r’ +s’ ∉ A+B.
de aquí sigue que A+B tienen la propiedad i).