Construcción del continuo real (Cantor)
Carlos Andrés Lozano Rodríguez
Biografía de Georg Ferdinand Cantor
Terminó el doctorado
Nacimiento, San y trabajó en U. de la
Petersburgo, Rusia halle
(1845) (1867-1869)
Universidad de Zúrich
(1862)
Biografía de Georg Ferdinand Cantor
Resolución del problema de la
unicidad en la rep. de
funciones como series Fundamentos de una teoría
trigonométricas general de los agregados
(1870) (1883)
Construcción de los números
irracionales a partir de los
limites de sucesiones de
números racionales
(1872)
Biografía de Georg Ferdinand Cantor
Deutsche Mathematiker-
Vereinigung
(German Mathematical
Society) Muerte
(1890) (1918)
Ingreso en sanatorio
(1917)
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Q NO ES COMPLETO
La sucesión {an} definida recursivamente como
an = 1 + (1/ 1+an-1)
a1 = 1
NO converge a un número racional.
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Vemos numéricamente lo que sucede con la sucesión anterior:
a1 = 1
a2 = 1 + (1 /1+ a1) = 1 + 1 / 2 = 3 / 2 = 1, 5
a3 = 1 + (1 /1+ a2) = 1 + 1 /(1+ 3 / 2) = 7 / 5 = 1, 4
a4 = 1 + (1 /1+ a3) = 1 + 1 /(1+ 7 / 5) = 17 / 12 = 1, 416
a5 = 1 + (1 /1+ a4 )= 1 + 1 /(1+ 17 / 12) = 42 / 29 = 1, 4137 y así
sucesivamente.
Esta sucesión resulta ser de Cauchy
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Veamos que no existe un número racional para el cual converge dicha
sucesión, supongamos que {an} converge a L racional, luego:
𝐿 = 1 + 1 ÷ (1 + 𝐿)
𝐿 = 2+𝐿 ÷ 1+𝐿
𝐿2 = 2
Sabemos que no existe un numero racional L tal que 𝐿2 = 2,
concluimos que la sucesión no converge a un número racional.
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Objetivo
Encontrar un cuerpo R que contenga a Q (Q es isomorfo a una parte de
R), que sea ordenado y que sea completo .
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Definición: Sea K un cuerpo ordenado y {an} una sucesión de elementos
de K. Se dice que la sucesión es fundamental (o de Cauchy) en K, si para
cada ϵ > 0, existe un número natural N, tal que lan-aml < ϵ , para todo
n,m > N con n y m números naturales
Definimos el conjunto S como el conjunto de todas las sucesiones
fundamentales formadas con elementos de Q
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Definimos dos operaciones en S:
{an}+{bn} = {an+bn}
{an}*{bn} = {an*bn}
- {an+bn} y {an*bn} resultan ser también sucesiones fundamentales
Se muestra que el conjunto con las dos operaciones definidas forma un
anillo conmutativo con unidad
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Definición: Diremos que una sucesión es nula si esta converge a cero
Ejemplo: an = 1 / n es una sucesión nula ya que esta converge a cero
cuando n es muy grande
Definimos I como el conjunto de las sucesiones nulas, luego se prueba
que I es un ideal maximal
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Ahora se define una relación entre sucesiones:
{an} ~ {bn} si y solo si {an - bn} es una sucesión nula
La relación resulta ser de equivalencia.
Construcción de los números reales: Método
de sucesiones fundamentales de Cantor
Dado que I es un ideal maximal y S es un anillo conmutativo, podemos
construir el anillo cociente S/I, los elementos de este cociente se
pueden ver como
α = {an} + {cn}
Con {cn} en I
Además este anillo cociente resulta ser un cuerpo con las operaciones
usuales entre clases, también hay que probar que estas quedan bien
definidas
RESULTADOS ESENCIALES
- R es un cuerpo ordenado
- Q es isomorfo a una parte de R
- R es completo
Bibliografía
- Escardó, E. L. (1991). Principios de análisis matemático. España: Reverté.
- Georg Ferdinand Cantor. (s.f.). Obtenido de Biografías y vidas: -
[Link]
- La web de las biografias . (s.f.). Obtenido de [Link]
[Link]
- Ramos, N. O. (2014). DIFERENTES CONSTRUCCIONES DEL NUMERO REAL. Bogotá.
Obtenido de [Link]
- Steider, G. G. (s.f.). Georg Cantor, ese corruptor de la juventud. Obtenido de
[Link] [Link]
- Wikipedia. (25 de 06 de 2018). Georg Cantor. Obtenido de Wikipedia:
[Link]
