Construccion de los numeros reales
por Cortaduras de Dedekind
Objetivo: Construir al conjunto de los numeros reales mediante los numeros racionales para heredar sus
propiedades y operaciones.
Contexto Historico: Julius Wilhelm Richard La cortadura de Dedekind:
Dedekind (6 de octubre de 1831-12 de febrero de Una cortadura α en los racionales es un subconjunto de ℚ que
1916) fue un matemático alemán. Estudió teoría de cumple lo siguiente:
números y otras materias con Gustav Dirichlet, 1. α≠ℚ y a≠Ø
abordó el estudio de las funciones abelianas y 2. si q ϵ α y p < q, entonces p ϵ α
elípticas de la mano de Bernhard Riemann. Se 3. no existe q tal que q > p para todo p ϵ α
dedico al álgebra y la teoría de números algebraicos.
Sus cortaduras zanjan definitivamente el problema Propiedades de las cortaduras:
de la fundamentación del análisis al definir el
conjunto de los números reales a partir de los -Orden: Sean α y β cortaduras. Se dice que α ≤ β si α ⸦ β (α
racionales. subconjunto de β)
Se tiene un entendimiento de los numeros enteros ℤ -Adicion: Sean α y β cortaduras. Se define la suma de ambas
y sus operaciones como campo. mediante
Los numeros racionales ℚ, al ser contruidos
mediante los enteros heredan su condicion de campo α+β = { p+q : p∈α , q∈β}
y sus operaciones. Naturalmente surje la idea, si
logramos construir los numeros reales ℝ mediante
los racionales, entonces heredaran su condicion de -Multiplicacion: Sean α y β cortaduras no negativas. Se define
campo y podremos utilizar sus operaciones. la suma de ambas mediante
Construccion de los numeros reales a partir de los
α β = { pq : p∈α , q∈β , p , q ≥0}∪{r ∈ℚ :r < 0}
racionales:
-Valor absoluto: Dada una cortadura α, su valor absoluto
En el conjunto ℚ existen “huecos”, deficiencias de denotado por |α| se define de la siquiente forma
las operaciones sobre ellos, y es facil identificarlos.
Consideremos la ecuacion q2=2 , no existe solucion
racional para la ecuacion, pero podemos describir ∣α∣ = {α si α > 0 }
α si α ≤0
este numero en terminos del orden de ℚ.
Consideremos el conjunto Cortaduras Racionales: Una cortadura α* se dice cortadura
racional si α es racional
A={q= mn : m , n ∈N −{0} y q2<2} ℚ es isomorfo al conjunto de todas las cortaduras racionales.
El conjunto A es no vacio y es acotado Numeros Reales:
superiormente Formularemos a ℝ como el
Pese a que ℚ es denso existen huecos entre sus conjunto de todas las
elementos, por lo tanto catalogamos a ℚ como un cortaduras de Dedekind, y a
campo conmutativo totalmente ordenado pero no los numeros reales como el
completo, o mas bien que ℚ no es orden completo. valor α de una cortaura α.
Ahora describiremos un conjunto que es equiparable Con esta definicion se puede
a los numeros racionales y puede extenderse hasta comprobar que:
los numeros racionales - ℝ es un cuerpo ordenado
-ℝ contiene a ℚ
-ℝ satisface el principio del
supremo
