Cortaduras de Dedekind

Cortaduras de Dedekind: Cortaduras de Dedekind

Saltar a navegación, búsqueda

Las cortaduras de Dedekind son unos conjuntos de números racionales que representan la primera construcción formal del conjunto de los números reales. Con su aparición se cierra el problema histórico de la fundamentación del Análisis Matemático.

Contenido

1 Cortaduras y cortaduras racionales.

2 Relación de orden.

2.1 Definición.

2.2 Positivos, negativos, cero.

3 Suma y producto.

3.1 Suma.

3.2 Producto.

4 Principales propiedades.

4.1 Otras propiedades

Cortaduras y cortaduras racionales.

Un conjunto $A \subset \mathbb{Q}$ es una cortadura de Dedekind (o simplemente una cortadura) si cumple las siguientes propiedades:

$A \neq \varnothing$ .

$A \neq \mathbb{Q}$ .

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'\;$ .

El conjunto de todas las cortaduras es (por definición) el conjunto $\mathbb{R}$ de los números reales.

Si tomamos un número racional arbitrario $r \in \mathbb{Q}$ , entonces la cortadura $A_r := \{ a \in \mathbb{Q} : a<r \}$ se denominará cortadura racional (asociada a $r\;$ ).

Es evidente que a todo número racional le corresponde una cortadura racional y solamente una. Podemos establecer así una aplicación inyectiva $\mathbb{Q} \longrightarrow \mathbb{R}$ que al número racional $r\;$ le asocie la cortadura racional $A_r\;$ .

Una cortadura $A\;$ es cortadura racional si y solo si existe $r \in \mathbb{Q}$ tal que $r = \operatorname{sup} \left( A \right)$ .

Relación de orden.

Definición.

Dadas dos cortaduras $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 todas las cortaduras), $\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 \mathbb{Q}: r<0 \}$ .

Diremos que una cortadura $A$ es un número positivo si $A_0 \leq A$ .

Diremos que una cortadura $A$ es un número negativo si $A \leq A_0$ .

Diremos que una cortadura $A$ es estrictamente positivo o no negativo si $A 0 < A$ .

Diremos que una cortadura $A$ es estrictamente negativo o no positivo si $A < A 0$ .

Suma y producto.

Suma.

Dadas dos cortaduras arbitrarias $A$ y $B$ definimos su suma como el conjunto $A+B := \{ a+b:a \in A, b \in B \}$ . $A + B$ es una cortadura, con lo que + representa una operación interna en el conjunto de los números reales, operación denominada suma.

La suma dota al conjunto de los números reales de estructura de grupo abeliano, es decir, en $(\mathbb{R},+)$ se verifican las propiedades asociativa, conmutativa, existencia de elemento neutro ( $A 0$ ) y existencia para cada cortadura $A$ de un elemento simétrico (opuesto) $-A := \{ r \in \mathbb{Q}: \exist s \in \mathbb{Q} \setminus A , s < -r \}$ .

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

Por último, la suma en $\mathbb{R}$ es una extensión de la suma en $\mathbb{Q}$ , esto es, si $r,s \in \mathbb{Q}$ , entonces $A r + A s = A r + s$ .

Producto.

El producto de cortaduras no es tan sencillo de definir como la suma, y hay que hacerlo por casos.

Sean $A$ y $B$ dos cortaduras:

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 una cortadura 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 una cortadura 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 una cortadura 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 una cortadura 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 una cortadura, con lo que $\cdot$ es una operación interna en el conjunto de los números reales, operación que denominaremos producto.

El producto cumple las propiedades conmutativa, asociativa, existe un elemento neutro $A 1$ para el producto, y si $A$ no es la cortadura cero, entonces existe elemento simétrico de la cortadura $A$ para el producto, denominado inverso de $A$ , y definido por $A^{-1} := \{ r \in \mathbb{Q}: r > 0, \exist s \in \mathbb{Q} \setminus A, s<\frac{1}{r} \} \cup A_0 \cup \{ 0 \}$ , si $A > A 0$ , y por $A - 1 : = - (( - A) - 1)$ cuando $A < A 0$ . Con estas propiedades, $(\mathbb{R} \setminus \{ A_0 \}, \cdot)$ está dotado de estructura de grupo abeliano.

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

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

El producto es compatible con el orden de los reales positivos: si $A$ , $B$ y $C$ son cortaduras con $A \leq B$ y $C \geq A_0$ , entonces $A\cdot C \leq B \cdot C$ .

El producto en $\mathbb{R}$ es extensión del producto en $\mathbb{Q}$ : si $r,s \in \mathbb{Q}$ , 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 cortaduras de Dedekind, como son:

Es un cuerpo totalmente ordenado.

El conjunto de los números racionales está isomórficamente incluido en él (es decir, $\mathbb{Q}$ es un subcuerpo totalmente ordenado de $\mathbb{R}$ ).

En $\mathbb{R}$ 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 $\mathbb{K}$ es un cuerpo ordenado que verifica el principio del supremo, entonces $\mathbb{K}$ es isomorfo a $\mathbb{R}$ (en particular, si $\mathbb{Q} \subset \mathbb{K}$ , entonces es $\mathbb{K} = \mathbb{R}$ ). En ese caso se dirá que $\mathbb{K}$ es un sistema de números reales.

Otras propiedades

$\mathbb{N}$ (el conjunto de los números naturales) no está acotado superiormente en $\mathbb{R}$ .

$\mathbb{R}$ es arquimediano: dados dos elementos $x,y \in \mathbb{R}$ , arbitrarios, existe un número natural $n \in \mathbb{N}$ 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 \mathbb{R}$ se verifica que $x= sup \{ r \in \mathbb{Q}: r<x \} = inf \{ s \in \mathbb{Q}: x<s \}$ .

Obtenido de "Cortaduras de Dedekind"

Categoría: Teoría de números

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

Cortaduras de Dedekind — Las cortaduras de Dedekind son unos conjuntos de números racionales que representan la primera construcción formal del conjunto de los números reales. Con su aparición se cierra el problema histórico de la fundamentación del Análisis Matemático … Enciclopedia Universal
0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad … Wikipedia Español
Número real — Diferentes clases de números reales. Recta real … Wikipedia Español
Número computable — En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al… … Wikipedia Español
Análisis matemático — El estudio del conjunto de Mandelbrot que es un objeto fractal con autosimilaridad estadística involucra diversas áreas del análisis matemático, el análisis de la convergencia, la teoría de la medida, la geometría y la teoría de la probabilidad y … Wikipedia Español
Análisis real — Saltar a navegación, búsqueda El análisis real es la rama de la matemática que se ocupa de los números reales y sus funciones. Se puede ver como una extensión rigurosa del cálculo, que estudia más profundamente las sucesiones y sus límites,… … Wikipedia Español
Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… … Wikipedia Español
Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Cortaduras de Dedekind

Cortaduras de Dedekind

Contenido

Cortaduras y cortaduras racionales.

Relación de orden.

Definición.

Positivos, negativos, cero.

Suma y producto.

Suma.

Producto.

Principales propiedades.

Otras propiedades

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Cortaduras de Dedekind

Cortaduras de Dedekind

Contenido

Cortaduras y cortaduras racionales.

Relación de orden.

Definición.

Positivos, negativos, cero.

Suma y producto.

Suma.

Producto.

Principales propiedades.

Otras propiedades

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo