x
1

Cortaduras de Dedekind



Las cortaduras de Dedekind son clases de números racionales que representan la primera construcción formal[cita requerida] 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.[1]

Un conjunto es un corte de Dedekind (o simplemente un corte) si cumple las siguientes propiedades:

Si tomamos un número racional arbitrario , entonces el corte se denominará corte racional (asociada a ).

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 le asocie el corte racional .

Un corte es corte racional si y solo si existe tal que .

Dados dos cortes y diremos que si y solo si , lo que equivale a que .

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

Denominamos cero a la cortadura racional .

Diremos que un corte es un número positivo si .

Diremos que un corte es un número negativo si .

Diremos que un corte es estrictamente positivo o no negativo si .

Diremos que un corte es estrictamente negativo o no positivo si .

Dados dos cortes arbitrarios y definimos su suma como el conjunto . 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 () y existencia para cada corte de un elemento simétrico (opuesto) y la propiedad conmutativa .

Además, se da la compatibilidad de la suma con el orden, es decir, si y son cortes y , entonces, cualquiera que sea el corte , se cumple que .

Por último, la suma en es una extensión de la suma en , esto es, si , entonces .

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

Sean y dos cortes:

En cualquier caso, es un corte, con lo que 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 para el producto, y si no es el corte cero, entonces existe elemento simétrico del corte para el producto, denominado inverso de , y definido por , si , y por cuando y la propiedad conmutativa. Con estas propiedades, es un grupo abeliano.

El producto en es distributivo respecto de la suma. De esta manera tiene estructura de cuerpo.

El producto es compatible con el orden de los reales positivos: si , y son cortes con y , entonces .

Si , entonces se prueba que bien o bien .

El producto en es extensión del producto en : si , entonces .

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

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 , entonces es ). En ese caso se dirá que es un sistema de números reales.



Escribe un comentario o lo que quieras sobre Cortaduras de Dedekind (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!