La Emergencia de la
Teoría de Conjuntos
Construcción de los números Reales,
hecha por Richard Dedekind
Contenidos
1. Resumen
2. Richard Dedekind (breve biografía)
3. Enfoque Conjuntista
4. El programa matemático de Richard Dedekind
5. Las cortaduras de Dedekind
6. Los Irracionales y las cortaduras de Dedekind
7. El Orden de R
8. Continuidad en R
9. Conclusiones
1. Resumen
Mientras dictaba clases sobre cálculo diferencial, Dedekind hace referencia a la
demostración del teorema que dice que toda sucesión creciente y acotada tiene
límite, en la que vio la necesidad de acudir a nociones de la geometría para realizar
la demostración. Al respecto, señala que si bien apelar a los recursos de la
intuición geométrica resulta favorable desde el punto de vista didáctico, no se
puede considerar indispensable desde el punto de vista del rigor científico. De este
modo, advierte que es necesario contar con una teoría apropiada de los números
reales si quieren superarse definitivamente los vacíos en la fundamentación del
análisis.
2. Richard Dedekind (1831 -1936)
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. 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. 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
“En la búsqueda de la solución del
problema la unicidad de la
representación de las series de
Fourier, Cantor se da cuenta de la
3. Enfoque necesidad de desarrollar una teoría
sistemática de conjuntos infinitos.
Conjuntista Cantor y Dedekind comprenden que
el primer paso para ello deberá ser
la construcción formal de los
números reales”.
● Búsqueda de la
fundamentación de las
4. El programa ●
matemáticas
Estudiante de Gauss y de
matemático de ●
Riemann
Teoría de Conjuntos (rama de
R. Dedekind ●
las matemáticas)
Programa logicista
● ¿Qué son y para qué sirven los
números?
5. Las Cortaduras de Dedekind
Tanto Cantor como Dedekind entendieron que los racionales constituían la
materia prima indispensable para la construcción de la totalidad del conjunto de
los números reales. Dado que los racionales se podían establecer rigurosamente
a partir de los naturales, la dificultad provenía de los irracionales. La gran idea de
Cantor y Dedekind fue formalizar y generalizar el proceso de aproximación de
algunos irracionales típicos a partir de los racionales. En este sentido, la primera
preocupación de Dedekind fue constituir una herramienta conceptual que le
permitiera definir los irracionales a partir del dominio ℚ de los números
racionales.
5. Las Cortaduras
de Dedekind
6. Irracionales “Dedekind demuestra la existencia
de cortaduras de ℚ que no son
y Cortaduras de producidas por uno de sus
Dedekind
elementos”
Sea D ∈ Z+, D ≠ n², ∀ n∈Z
A1 = { a1∈ ℚ / a1² < D ó a1 ≤ 0}
A2 = { a2∈ ℚ / a2 > 0 y a2² > 0}
tomando todos los a22 mayores que D
Si a1 ∈ A1 y a1 > 0 se tiene que, a1² < D < a2², entonces a1 < a2.
Si a1 ∈ A1 y a1 ≤ 0 entonces a1 < a2 para todo a2, pues a2 > 0.
Por contradicción
Existen dos números enteros positivos t, u que satisfacen
t2 – Du2 = 0
t2 = Du2
Si u es el menor entero que cumpla lo anterior, entonces
Existe λ ∊ Z tal que
λ < D < (λ+1)2
λu < t < (λ+1)u
0 < t - λu < u
(u’= t - λu ) < u
Existe un número entero positivo < u
si tomamos
t’=Du - λt ∊ Z+
t’2 - Du’2 = (λ2-D)(t2-Du)
t’2 - Du’2 = 0
t’2 = Du’2
Todo cuadrado de un número racional es < D , o bien, >D
Sea x ∊ A1 entonces x2 < D Se tiene que D > x2
y a su vez D > y2
Entonces y ∊ A1
Por lo tanto A1 no tiene máximo
y>0
Del mismo modo se demuestra que A2 no
tiene mínimo.
y>x
Dedekind avizora un nuevo número que
corresponde al supremo de A1 y al infimo
de A2, este número será
D > y2
D
“El conjunto de todas las cortaduras
ℚ corresponde al conjunto de los
números reales ℝ, está entonces
7. El orden de los definir en ℝ una relación de orden,
Reales
las operaciones aritméticas y se
debe demostrar que corresponde a
la versión aritmética del continuo”
La relación de orden en ℝ se define en concordancia con la relación de orden de ℚ. Sean
dos cortaduras α y β; pueden suceder dos casos:
1. Si α y β son producidas por los números racionales q1 y q2, entonces α = β si y
sólo si q1 = q2 y α < β si y sólo si q1 < q2.
2. Si alguna de las cortaduras α y β no es producida por algún número racional, de
tal forma que α corresponde a la cortadura (A1, A2) y β corresponde a la
cortadura (B1, B2), entonces α = β si y sólo si A1 = B1 y α < β si y sólo si A1 ⊂ B1.
Dedekind concluye que los números reales forman un dominio de una sola
dimensión, ya que se cumplen las siguientes leyes:
I. Si α > ß y ß > τ, entonces α > τ, diremos que el número ß está entre α y τ.
II. Si α y τ son números diferentes cualesquiera, entonces existen infinidad de
números entre α y τ.
III. Si α es un número definido cualquiera, entonces todos los números del
sistema ℝ son de dos clases U1 y U2, cada una de las cuales contiene infinitos
números individuales. La primera clase U1 comprende los números α1, que
son menores que α. La segunda U2 comprende todos los números α2 que son
mayores que α. El número α puede asignarse a la primera o a la segunda clase
y es respectivamente el mayor o el menor. En cada caso la separación del
sistema ℝ en dos clases U1 y U2, es tal que, cada número de la primera clase
U1 es menor que cada número de la segunda clase U2 y decimos que esta
separación es producida por el número α.
8. Continuidad en los Reales
La clave de esta propiedad no es tanto que a cada cortadura corresponda un
número, sino que ese número sea único. Esto fue lo que aparentemente no tuvo
en cuenta Cantor. La propiedad IV corresponde al axioma de completitud en los
números reales: “toda sucesión acotada de números reales posee un extremo
superior”.
9. Conclusiones
Preguntas y Comentarios
Para nosotros, resultan muy importantes sus aportes