La Emergencia de La Teoría de Conjuntos 

“Una breve mirada a la construcción de los Reales, hecha por Dedekind” 

  

  

  

Michael Andrés Lasso Gómez

Edgar de Jesús García Ramos

  

Universidad del Valle

Instituto de Educación y Pedagogía

Licenciatura en Matemáticas y Física

2019
 La Emergencia de La Teoría de Conjuntos 
“Una breve mirada a la construcción de los Reales, hecha por Dedekind”

Sobre la conceptualización del número real y la recta numérica recae la comprensión de

importantes conceptos del análisis matemático como el de límite, continuidad, derivadas e integrales
de funciones. Desde el análisis, los matemáticos que sentaron las bases para definición rigurosa del
conjunto de los números reales fueron llamados los precursores de la aritmetización del análisis,
proceso que consistió en desligar la geometría de los conceptos de convergencia, por la necesidad de
interpretar la noción de convergencia sin utilizar el número como la relación entre magnitudes, sean
estas conmensurables o inconmensurables. Estos, se dedicaron a elaborar sus teorías sobre el
concepto de número real, en especial del número irracional; ya que la demostración de muchos de los
teoremas realizados hasta el momento se basaban en intuición geométrica, perdiendo rigurosidad y
precisión; criticando los métodos antiguos de demostración que abusaban de la evidencia y
generalizaciones no probadas.

En el marco del desarrollo histórico de las matemáticas, la geometría ha servido como

referente en la construcción de las mismas, puesto que existía una profunda preocupación por
caracterizar las propiedades de los objetos geométricos y que conlleva a desarrollos de nuevas teorías
y métodos que servían para obtener resultados de dichas propiedades, pero, que no tenían
fundamentación teórica válida que diera cuenta de pre-supuestos utilizados en relación al continuo y el
infinito. Por ejemplo, el desarrollo de los indivisibles de Cavalieri, daba cuenta de razones entre
volúmenes de objetos geométricos a partir de la relación entre las áreas de los mismos, todo esto a
través de magnitudes inconmensurables que llamó indivisibles, para las que se hacían fuertes críticas,
hasta por el mismo Cavalieri, que señalaba estar convencido de que el continuo no estaba compuesto
de indivisibles.

Lo anterior daba cuenta de la imposibilidad de obtener el continuo en términos numéricos,

puesto que carecían de una teoría que les permitiera argumentar los tratamientos derivados del infinito.
Para el siglo XIX el matemático alemán Richard Dedekind junto con su contemporáneo Georg Cantor
dieron un tratamiento a la noción de continuo y el infinito a través de la caracterización de los números
en términos conjuntistas, donde este enfoque permitiría acoplar las actividades de medir, contar y
ordenar.

Dedekind concebía las matemáticas como la ciencia de los números cuya base estaba
fundamentada en la noción de conjunto, tomando como referente a la recta que ha sido desde la
antigüedad el prototipo del continuo, entendiendo que la rigurosidad del análisis sólo podía darse en el
marco de una estructura numérica que permitiera vincular cada punto de la recta con un número.

Tanto Dedekind como Cantor parten de un conjunto conocido y plenamente constituido como
estructura, al ser autónomo y cerrado bajo las cuatro operaciones básicas de la aritmética exceptuando
la división por cero, dicho conjunto era el de los números racionales el cual constituía un dominio
unidimensional ordenado. Dedekind ve la necesidad de crear una herramienta conceptual que
permitiera dar estatus de número a las cantidades vinculados a magnitudes inconmensurables, es
decir, la necesidad de definir los números Irracionales a partir del dominio Q de los racionales. Dicha
herramienta es lo que posteriormente se conocerá como cortadura.
 Para ello toma como postulado que la recta “ ​no es más que un agregado de infinitos puntos
distribuidos en la recta L”​ y partiendo de la definición de orden usual a > b si y sólo si a − b > 0
para todo a, b ε Q , señala que existe un racional c que estará entre a y b , es decir, que entre dos
racionales habrá otro racional, por lo que, el racional a también estará entre dos racionales. Esto le
permitió establecer en a una división de los racionales en dos clases A1 y A2 , donde todo a1 ε A1 es
menor que a y todo a2 ε A2 es mayor que a y además a puede pertenecer a cualquiera de las dos y
actuar como máximo o mínimo respectivamente; siendo el par de conjuntos ( A1 , A2 ) una cortadura.

De lo anterior se tiene que A1 y A2 conforman el dominio Q y al trasladar esta concepción a

la recta L, por ser un aglomerado de puntos, a partir de cualquier punto p también podrá ser dividida
en dos clases P 1 y P 2 , lo que hace posible demostrar que a cualquier racional le corresponde un
único punto en la recta L dejando en evidencia que existen infinidad de puntos en la recta a los que no
les corresponde ningún racional, esto es la discontinuidad de los racionales por el hecho de hallar
huecos aún teniendo la densidad como propiedad.

Los Irracionales son, entonces, nuevos números que surgen cuando se hallan cortadas tales
que A1 y A2 no tengan un máximo o un mínimo respectivamente, lo que implica que la cortadura no es
producida por un número racional, si la cortadura es producida por un número D que es el cuadrado de
un número entero positivo no cuadrado, entonces todo número racional es < D ó > D . Es así como
toda cortadura que no establecida por un número racional la genera un número Irracional.

Luego de tener estas dos herramientas que son las cortaduras y los números Irracionales,
Dedekind puede hablar del sistema de los números reales ℜ el cual posee una relación de orden de
acuerdo a la caracterización de los racionales y que además es continuo al ser denso e incluir las
cortaduras como divisiones en dos clases donde cada división puede ser producida por un único
número (propiedad que no satisfacen los racionales).

Dedekind desliga el concepto de número del vínculo geometría-espacio-tiempo y lo concibe

como creación humana ligada a la exigencia del rigor, es esto lo que le permitió separar el número de
la magnitud. Además es consciente de que la recta L es solo una herramienta que le permite pensar el
continuo, así como también, mostrar los “huecos” en los racionales, pero que, no es en ella en la cual
se fundamenta puesto que el continuo en geometría no puede ser demostrado sino únicamente
postulado, es decir, asumido como propiedad o axioma de los objetos geométricos.

Conclusiones 
 
❖ La metodología de Dedekind es semejante a la utilizada por Cantor; la diferencia radica
respectivamente, en que uno fundamenta la construcción de los Reales a partir del concepto
de Cortadura en Q y el otro, a partir de intervalos encajados y sucesiones de Cauchy en los
racionales.

❖ Según Dedekind, cada número racional produce una cortadura con la propiedad de que, entre
los números de la primera clase A1 existe un número que es el mayor y que entre los números
de la segunda clase A2 existe uno que es el menor. Si por el contrario los números de la
 primera clase no poseen un elemento mayor o un elemento máximo y los elementos de la
segunda clase no poseen un elemento mínimo, entonces estamos ante un número irracional

❖ Definición de Cortadura (en Q ): una cortadura en Q es un par de clases ( A1 , A2 ) con A1 ,

A2 ⊂ Q , tal que se satisface:

I. x ε A1 ⋀ y ε A2 → x<y [ A1 ⋂ A2 = ∅]

II. xεQ → x ε A1 ⋁ x ε A2 [ A1 ⋃ A2 = Q]

Por lo anterior, claramente se puede evidenciar que las clases son conjuntos disjuntos y
complementarios (en Q ). Además, se identificar dos tipos de cortaduras en Q ; en el primer tipo de
cortaduras, se admite un elemento máximo en una de las clases o un elemento mínimo en la otra (este
elemento que se encuentra en una de las clases, es un número racional); en el segundo tipo, no se
admite un elemento mínimo o máximo en alguna de las dos clases de la cortadura (las que está
conformadas por un número irracional). 
 

Bibliografía

López, Linda E. (2008), ​Los números reales y la noción de completez en cantor, dedekind e
hilbert: un análisis histórico -epistemológico (​ tesis de pregrado), Universidad del Valle, Cali, Colombia.

Lecciones de Historia de las Matemáticas: ​Novena lectura: La emergencia de la teoría de

conjuntos.​