Cortaduras en los racionales

(Redirigido desde Cortaduras de Dedekind)

Este artculo o seccin necesita referencias que aparezcan en

una publicacin acreditada, como revistas especializadas, monografas,
prensa diaria o pginas de Internet fidedignas. Este aviso fue puesto el 11
de noviembre de 2011.
Puedes aadirlas o avisar al autor principal del artculo en su pgina de discusin
pegando: {{subst:Aviso referencias|Cortaduras en los racionales}}

~~~~

Las cortaduras de Dedekind son clases de nmeros racionales que representan la primera
construccin formal[cita requerida] del conjunto de los nmeros reales. Con su aparicin se cierra el
problema histrico de la fundamentacin del Anlisis Matemtico.1
ndice
[ocultar]

1 Cortaduras en el conjunto de nmeros racionales

2 Relacin de orden.
o

2.1 Definicin.

2.2 Positivos, negativos, cero.

3 Suma y producto.
o

3.1 Suma.

3.2 Producto.

4 Principales propiedades.
o

4.1 Otras propiedades

5 Referencias

5.1 Enlaces externos

Cortaduras en el conjunto de nmeros racionales [editar]

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

Si

entonces

no tiene ltimo elemento, es decir, para cada

que

existe

tal

El conjunto
Si tomamos un nmero racional arbitrario
corte

, entonces el

se denominarcorte racional (asociada a ).

Es evidente que a todo nmero racional le corresponde un corte racional y solamente uno.
Podemos establecer as una aplicacin inyectiva
asocie el corte racional
Un corte

que al nmero racional

le

es corte racional si y solo si existe

tal que

Relacin de orden.[editar]
Definicin.[editar]
Dados dos cortes

que

diremos que

si y solo si

, lo que equivale a

En el conjunto de los nmeros reales (conjunto de todos los cortes),

orden, que es orden total, pero no es buen orden.

es una relacin de

Positivos, negativos, cero.[editar]

Denominamos cero a la cortadura racional

Diremos que un corte

es un nmero positivo si

Diremos que un corte

es un nmero negativo si

Diremos que un corte

es estrictamente positivo o no negativo si

Diremos que un corte

es estrictamente negativo o no positivo si

.
.

Suma y producto.[editar]
Suma.[editar]
Dados dos cortes arbitrarios

definimos su suma como el

conjunto
.
es un corte, con lo que +
representa una operacin interna en el conjunto de los nmeros reales, operacin
denominada suma.
La suma dota al conjunto de los nmeros reales de estructura de grupo abeliano, es decir,
en

se verifican las propiedades asociativa, conmutativa, existencia de elemento

neutro (

) y existencia para cada corte

de unelemento

simtrico (opuesto)

Adems, se da la compatibilidad de la suma con el orden, es decir, si

y

, entonces, cualquiera que sea el corte

Por ltimo, la suma en

son cortes

, se cumple que

es una extensin de la suma en

entonces

, esto es, si

Producto.[editar]
El producto de cortes no es tan sencillo de definir como la suma, y hay que hacerlo por casos.
Sean

dos cortes:

Si

, definimos el

conjunto

Entonces

Si
As

es un corte y adems es
y

, definimos el conjunto

es un corte y adems es
Si

cumple que

.
.
.

, definimos el conjunto
es un corte y adems es

. Se
.

Si

verifica que

Si

, definimos el conjunto

. Se

es un corte y adems es
o

, definimos el conjunto

En cualquier caso,
es un corte, con lo que es una operacin interna en el conjunto de
los nmeros reales, operacin que denominaremos producto.
El producto cumple las propiedades conmutativa, asociativa, existe un elemento neutro
para el producto, y si no es el corte cero, entonces existe elemento simtrico del corte
para el producto, denominado inverso de , y definido

por

, si

por
cuando
est dotado de estructura de grupo abeliano.
Si

. Con estas propiedades,

, entonces se prueba que bien

o bien

El producto en
es distributivo respecto de la suma. De esta manera
estructura de cuerpo.
El producto es compatible con el orden de los reales positivos: si
con

El producto en
.

, entonces
es extensin del producto en

,y

tiene

son cortes

.
: si

, entonces

Principales propiedades.[editar]
El conjunto de los nmeros 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 nmeros racionales est isomrficamente incluido en l (es decir,

es un subcuerpo totalmente ordenado de ).

En
se satisface el principio del supremo, esto es, todo conjunto no vaco que
est acotado superiormente tienesupremo. Como consecuencia inmediata, todo conjunto
acotado inferiormente tiene nfimo.

Se puede probar que el conjunto de los nmeros 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
se dir que
es un sistema de nmeros reales.

, entonces es

). En ese caso

Otras propiedades[editar]

(el conjunto de los nmeros naturales) no est acotado superiormente en

es arquimediano: dados dos elementos
nmero natural
de forma que

, arbitrarios

, existe un

Entre dos nmeros reales distintos siempre existen infinitos nmeros reales (infinitos
nmeros racionales e infinitos nmeros irracionales).
Dado cualquier
que

se verifica
.