Cortes de Dedekind

Archivo:Dedekind cut- square root of two.png

Definición de raíz de dos mediante cortaduras de Dedekind.

Los cortes de Dedekind (o cortaduras de Dedekind) son un método de construcción de los números reales a partir de los números racionales. Una sección o corte de Dedekind es una partición especial de los números racionales que puede utilizarse para representar un número real. El método de los «cortes de Dedekind» se denomina así por el matemático alemán Richard Dedekind, sin embargo, Detlef Spalt mostró más tarde que estos cortes ya habían sido descritos por el matemático francés Joseph Bertrand.^[1] Con su aparición se cierra el problema histórico de la fundamentación del Análisis matemático.^[2]

Cortaduras en el conjunto de números racionales

Un conjunto $A \subset ℚ$ es un corte de Dedekind (o simplemente un corte) si cumple las siguientes propiedades:

$A \neq \emptyset$ .

$A \neq ℚ$ .

Si $a \in A$ y $b < a$ entonces $b \in A$ .

$A$ no tiene último elemento, es decir, para cada $a \in A$ existe $a^{'} \in A$ tal que $a < a^{'}$ .

Si tomamos un número racional arbitrario $r \in ℚ$ , entonces el corte $A_{r} := {a \in ℚ : a < r}$ se denominará corte racional (asociada a $r$ ).

Es evidente que a todo número racional le corresponde un corte racional y solamente uno. Podemos establecer así una aplicación inyectiva $ℚ ⟶ ℝ$ que al número racional $r$ le asocie el corte racional $A_{r}$ .

Un corte $A$ es corte racional si y solo si existe $r \in ℚ$ tal que $r = sup (A)$ .

Relación de orden

Definición.

Dados dos cortes $A$ y $B$ diremos que $A \leq B$ si y solo si $A \subseteq B$

En el conjunto de los números reales (conjunto de todos los cortes), $\leq$ es una relación de orden, que es orden total, pero no es buen orden.

Positivos, negativos, cero.

Denominamos cero a la cortadura racional $A_{0} := {r \in ℚ : r < 0}$ .

Diremos que un corte $A$ es un número positivo si $A_{0} \leq A$ .

Diremos que un corte $A$ es un número negativo si $A \leq A_{0}$ .

Diremos que un corte $A$ es estrictamente positivo o no negativo si $A_{0} < A$ .

Diremos que un corte $A$ es estrictamente negativo o no positivo si $A < A_{0}$ .

Operaciones

Adición

Dados dos cortes arbitrarios $A$ y $B$ definimos su suma como el conjunto $A + B := {a + b : a \in A, b \in B}$ . $A + B$ es un corte, con lo que + representa una operación binaria en el conjunto de los números reales, operación denominada adición.

La adición provee al conjunto de los números reales de estructura de grupo abeliano, es decir, en $(ℝ, +)$ se verifican las propiedades asociativa, , existencia de elemento neutro ( $A_{0}$ ) y existencia para cada corte $A$ de un elemento simétrico (opuesto) $- A := {r \in ℚ : \exists s \in ℚ ∖ A, s < - r}$ y la propiedad conmutativa .

Además, se da la compatibilidad de la suma con el orden, es decir, si $A$ y $B$ son cortes y $A \leq B$ , entonces, cualquiera que sea el corte $C$ , se cumple que $A + C \leq B + C$ .

Por último, la suma en $ℝ$ es una extensión de la suma en $ℚ$ , esto es, si $r, s \in ℚ$ , entonces $A_{r} + A_{s} = A_{r + s}$ .

Multiplicación

la multiplicación de cortes no es tan sencilla de definir como la adición, se hace por casos.

Sean $A$ y $B$ dos cortes:

Si $A > A_{0}$ y $B > A_{0}$ , definimos el conjunto $A \cdot B := {a \cdot b : a \in A, b \in B, a \geq 0, b \geq 0} \cup A_{0}$ . Entonces $A \cdot B$ es un corte y además es $A \cdot B > A_{0}$ .

Si $A > A_{0}$ y $B < A_{0}$ , definimos el conjunto $A \cdot B := - (A \cdot (- B))$ . Así $A \cdot B$ es un corte y además es $A \cdot B < A_{0}$ .

Si $A < A_{0}$ y $B > A_{0}$ , definimos el conjunto $A \cdot B := - ((- A) \cdot B)$ . Se cumple que $A \cdot B$ es un corte y además es $A \cdot B < A_{0}$ .

Si $A < A_{0}$ y $B < A_{0}$ , definimos el conjunto $A \cdot B := (- A) \cdot (- B)$ . Se verifica que $A \cdot B$ es un corte y además es $A \cdot B > A_{0}$ .

Si $A = A_{0}$ o $B = A_{0}$ , definimos el conjunto $A \cdot B := A_{0}$ .

En cualquier caso, $A \cdot B$ es un corte, con lo que $\cdot$ es una operación interna en el conjunto de los números reales, operación que denominaremos multiplicación.

La multiplicación cumple las propiedades , asociativa, existe un elemento neutro $A_{1}$ para el producto, y si $A$ no es el corte cero, entonces existe elemento simétrico del corte $A$ para el producto, denominado inverso de $A$ , y definido por $A^{- 1} := {r \in ℚ : r > 0, \exists s \in ℚ ∖ A, s < \frac{1}{r}} \cup A_{0} \cup {0}$ , si $A > A_{0}$ , y por $A^{- 1} := - ((- A)^{- 1})$ cuando $A < A_{0}$ y la propiedad conmutativa. Con estas propiedades, $(ℝ ∖ {A_{0}}, \cdot)$ es un grupo abeliano.

Distributiva

El producto en $ℝ$ es distributivo respecto de la suma. De esta manera $(ℝ, +, \cdot)$ tiene estructura de cuerpo.

Con la relación de orden

El producto es compatible con el orden de los reales positivos: si $A$ , $B$ y $C$ son cortes con $A \leq B$ y $C \geq A_{0}$ , entonces $A \cdot C \leq B \cdot C$ .

No hay divisores de cero

Si $A \cdot B = A_{0}$ , entonces se prueba que bien $A = A_{0}$ o bien $B = A_{0}$ .

Extensión

El producto en $ℝ$ es extensión del producto en $ℚ$ : si $r, s \in ℚ$ , entonces $A_{r} \cdot A_{s} = A_{r \cdot s}$ .

Principales propiedades

El conjunto de los números reales goza de ciertas propiedades que son particularmente sencillas de demostrar usando cortes de Dedekind, como son:

Es un cuerpo totalmente ordenado.

El conjunto de los números racionales está isomórficamente incluido en él (es decir, $ℚ$ es un subcuerpo totalmente ordenado de $ℝ$ ).

En $ℝ$ se satisface el principio del supremo, esto es, todo conjunto no vacío que esté acotado superiormente tiene supremo. Como consecuencia inmediata, todo conjunto acotado inferiormente tiene ínfimo.

Se puede probar que el conjunto de los números reales es el único que tiene estas propiedades, es decir, que si $𝕂$ es un cuerpo ordenado que verifica el principio del supremo, entonces $𝕂$ es isomorfo a $ℝ$ (en particular, si $ℚ \subset 𝕂$ , entonces es $𝕂 = ℝ$ ). En ese caso se dirá que $𝕂$ es un sistema de números reales.

Otras propiedades

$ℕ$ (el conjunto de los números naturales) no está acotado superiormente en $ℝ$ .

$ℝ$ es arquimediano: dados dos elementos $x, y \in ℝ$ , arbitrarios $x > 0$ , existe un número natural $n \in ℕ$ de forma que $y < n \cdot x$ .

Entre dos números reales distintos siempre existen infinitos números reales (infinitos números racionales e infinitos números irracionales).

Dado cualquier $x \in ℝ$ se verifica que $x = s u p {r \in ℚ : r < x} = i n f {s \in ℚ : x < s}$ .

Referencias

↑ Spalt, Detlef D. (2019). «Die Ablösung der Analysis von der Wirklichkeit und die Einführung des aktualen Unendlich in die Grundlagen der Mathematik» [La separación del análisis de la realidad y la introducción del infinito real en los fundamentos de las matemáticas]. Eine kurze Geschichte der Analysisf ür Mathematiker und Philosophen [Breve historia del análisis para matemáticos y filósofos] (en alemán). Berlin-Heidelberg: Springer Spektrum. pp. 213-241. ISBN 978-3-662-57816-2. doi:10.1007/978-3-662-57816-2_14.
↑ Rudin, Walter (1964). McGraw, ed. Principles of Mathematical Analysis. USA: McGRAW-HILL BOOK COMPANY. pp. 17-21. ISBN 0-07-085613-3.

Bibliografía

Godofredo García - Alfred Rosenblatt: Análisis algebraico, San Marti y cia, Lima (1955)
José Vicente Ampuero: Aritmética teórica, Departamento de publicaciones de La UNMSM, Lima (1960)
Cotlar- Ratto de Sadosky:introducción al álgebra Eudeba Buenos Aires (1967)
Algebra moderna de Schaumm
César Trejo: Concepto de número.

Enlaces externos

Dedekind, Richard (1872), Continuidad y números irracionales, consultado el 12 de noviembre de 2013 .

[1] Spalt, Detlef D. (2019). «Die Ablösung der Analysis von der Wirklichkeit und die Einführung des aktualen Unendlich in die Grundlagen der Mathematik» [La separación del análisis de la realidad y la introducción del infinito real en los fundamentos de las matemáticas]. Eine kurze Geschichte der Analysisf ür Mathematiker und Philosophen [Breve historia del análisis para matemáticos y filósofos] (en alemán). Berlin-Heidelberg: Springer Spektrum. pp. 213-241. ISBN 978-3-662-57816-2. doi:10.1007/978-3-662-57816-2_14.

[Principles_of_Mathematical_Analysis-2] Rudin, Walter (1964). McGraw, ed. Principles of Mathematical Analysis. USA: McGRAW-HILL BOOK COMPANY. pp. 17-21. ISBN 0-07-085613-3.

[1]

[2]