Anlisis Real Las cortaduras de Dedekind y el nmero real LAS CORTADURAS DE DEDEKIND Y EL NMERO REAL Esencialmente se tienen dos

vas para generar el nmero real: El mtodo de las cortaduras y el mtodo de los intervalos encajados. Por supuesto, ambos mtodos son equivalentes y conducen al mismo tipo de nmero real. En el presente resumen nos ocuparemos del mtodo de las cortaduras de Dedekind, debido al matemtico alemn Julius Dedekind (1831-1916). 1. Cortaduras Llamamos cortaduras a un conjunto de nmeros racionales que cumple con: a) . b) c) No existe tal que para todo . En s, la propiedad 1 establece que las cortaduras con subconjuntos propios de los nmeros racionales. La propiedad 2 nos hace pensar que, intuitivamente, una cortadura tendr la forma * +. Por ltimo, la propiedad 3 postula que las cortaduras no poseen mximos. Ejemplos: i) El conjunto ii) El conjunto iii) El conjunto

* * *

+ es una cortadura. + no es una cortadura (posee mximo) + no es una cortadura ( y

En especial se puede redefinir el conjunto para que si sea una cortadura: * + * + Interesan en especial las cortaduras como porque son las que definirn los nmeros que no son racionales, como por ejemplo para el caso de . Llamamos cortadura racional a la cortadura * + con . Si llamamos al conjunto de todas las cortaduras racionales, se puede probar que el conjunto es isomorfo al conjunto , hecho que usaremos posteriormente para justificar que el conjunto de los nmeros reales (conjunto de todas las cortaduras) contiene al conjunto de los nmeros racionales (conjunto de las cortaduras racionales). 1.1. Orden entre cortaduras y conjuntos acotados Puesto que las cortaduras no son ms que conjunto de nmeros racionales, sera lgico definir el orden entre ellas de manera anloga al orden entre conjuntos. Se tiene entonces: Decimos que si y solo si

Es posible (y sencillo) probar que esta relacin es de orden total.

Prof. Wilson y Prof. Sanes

1/4

Anlisis Real Las cortaduras de Dedekind y el nmero real Un conjunto de cortaduras esta acotado inferiormente si existe una cortadura tal que para todo se cumple que . Dicha cortadura se denomina cota inferior de . De manera anloga se establece que un conjunto esta acotado superiormente, y que una cortadura se es costa superior de un conjunto. Al final del presente resumen se probara que el conjunto de las cortaduras posee la propiedad del supremo, es decir la completitud. 2. Estructura de cuerpo de las cortaduras Definiremos ahora las operaciones entre cortaduras. Sean las cortaduras i) La cortadura suma entre y es con las siguientes propiedades: a) b) c) d) * y :

+. Esta operacin cumple

Ley interna: El conjunto es una cortadura. ) Asociatividad: ( ( ) Existencia de elemento neutro: , siendo * +. Existencia de elemento opuesto: Para toda cortadura existe una cortadura , tal que se cumple . Se puede probar que el conjunto de los que cumplen con la propiedad:

es una cortadura. Precisamente esta cortadura es la opuesta de . e) Conmutatividad: . De la definicin de suma y de orden entre cortaduras se puede probar tambin: Sean y cortaduras, y . Si ii) El producto de cortaduras lo haremos en dos partes. Definiremos primero el producto entre cortaduras positivas. Diremos que una cortadura es no positiva si . Sean entonces las cortaduras y , se define: * Definiremos a) b) c) d) e) * +. Con esto, se puede probar: +

El producto de dos cortaduras positivas da por resultado otra cortadura positiva. El producto de cortaduras positivas es asociativo. El producto de cortaduras positivas es conmutativo. es el elemento neutro para la multiplicacin de cortaduras positivas. Sea una cortadura. Su cortadura inversa es:

Prof. Wilson y Prof. Sanes

2/4

Anlisis Real Las cortaduras de Dedekind y el nmero real * Es fcil probar que efectivamente f) . +

El producto de cortaduras positivas es distributivo respecto de la suma de cortaduras. Es decir, sean y cortaduras positivas, se verifica: ( Se puede probar que , para ) cortadura positiva.

Definiremos ahora el producto entre cortaduras en general de la siguiente manera ( ) ,( ) { , ( ) Puesto que todos los casos se reducen al producto entre cortaduras positivas. Con esto hemos mostrado que el conjunto de las cortaduras con la suma y el producto como lo hemos definido tiene estructura de cuerpo. 3. Propiedad de la mnima cota superior Uno de los hechos fundamentales que distingue al conjunto de los nmeros reales de los restantes conjuntos numrico es la completitud. En este apartado probaremos que el conjunto de las cortaduras cuenta con la completitud, es decir posee la propiedad de la mnima cota superior. Enunciamos pues dicha propiedad: Sea un conjunto de cortaduras, y acotado superiormente, entonces existe una cortadura tal que: i) es una cota superior de , ii) si es una cota superior de , entonces . Demostracin: Definiremos de la siguiente manera: Veamos que es una cortadura. Como es la unin de todas las cortaduras de , para todo . Pero como una cortadura es no vaca. Luego es no vaca. Adems, como esta acotado superiormente existe una cortadura tal que para todo , con lo que entonces . Como se tiene que .

es y

Prof. Wilson y Prof. Sanes

3/4

Anlisis Real Las cortaduras de Dedekind y el nmero real Sea Sea . Entonces para algn ,y . Luego ,y . Si . , entonces , con lo que .

Probemos que es cota superior de y que es el supremo. Por definicin de sabemos que para todo . Luego para todo . Supongamos ahora que existe cota superior de y . Luego , con lo que para algn . Entonces , lo que es absurdo pues se supuso cota superior de . Con esto hemos probado:

4. El nmero real De acuerdo a lo que hemos venido desarrollando llamamos conjunto de los nmeros reales al conjunto de todas las cortaduras. As podemos decir que nmero real es toda cortadura. Podemos concluir entonces: Llamamos nmero real a toda cortadura definida en , y el conjunto de los nmeros reales es entonces el conjunto de las cortaduras. Dicho conjunto es un cuerpo ordenado que posee la propiedad de la menor cota superior. Un cuerpo ordenado con estas caractersticas se denomina completo. El conjunto de los nmeros reales contiene al conjunto de los nmeros racionales, en el sentido de nmero racional como cortadura racional. El conjunto de las cortaduras racionales, que simbolizaremos , es isomorfo al conjunto de los nmeros racionales . Por ltimo, vale decir que todo cuerpo ordenado completo es isomorfo a como lo hemos construido. Es decir hay un nico cuerpo ordenado completo salvo isomorfismo.

Prof. Wilson y Prof. Sanes

4/4