Los N meros Reales u

Karen Garc Mesa a tartaglia@lab.matcom.uh.cu Universidad de la Habana Yanelys Zald var Universidad de la Habana Celia Galvez maria5@lab.matcom.uh.cu Universidad de la Habana

Avalado por: Dr. Rita Roldan rroldan@matcom.uh.cu Universidad de la Habana

Resumen Se estudian varios mtodos para construir los nmeros reales manteniendo los axe u iomas que denen a los racionales y uno adicional que puede ser cualquiera de los siguientes: Propiedad de continuidad Principio de intervalos cerrados encajados Axioma del supremo Cortaduras de Dedekind Adems se demuestra la equivalencia entre cada una de estas construcciones. a

Palabras y frases Claves: nmeros reales, cortaduras, conjunto u

Clasicacin: Anlisis Matemtico o a a

 INTRODUCCION Nuestro inters por realizar este trabajo se debe a que pensbamos que conoc e a amos los nmeros reales, pero denitivamente estbamos equivocados, pues no nos imagu a inbamos ni remotamente su origen. Con nuestro comienzo en la universidad se nos a abrieron numerosas puertas al conocimiento matemtico, entre ellas est el conocer a a que R surge a partir de los huecos de Q y que existen diferentes manera de denirlo. Se atribuye a los pitagricos la expresin Todo es nmero. La Escuela Pitagrica o o u o fue la primera escuela matemtica griega. Antes de ellos se hab acumulado una a a buena cantidad de conocimiento matemtico debido a culturas tales como la egipcia a y la babilnica; conocimiento con el que entran en contacto los griegos por medio de o los viajes de Tales de Mileto y, luego, del propio Pitgoras. Este contacto signica a para la matemtica de la poca un enorme salto conceptual pues, de una matemtica a e a dedicada en lo esencial a la solucin de problemas de tipo prctico, se pasa a una o a matemtica interesada en los conceptos y las relaciones que ellos ocultan, es dea cir una matemtica terica. A partir de Tales y Pitgoras, la matemtica griega a o a a evoluciona por caminos de alta complejidad que, paradjicamente, se estructuran o alrededor de una disciplina comn: la geometr Es as como en el siglo IIIa.C., u a. ms de doscientos a os despus de Tales y Pitgoras, aparece un texto de importana n e a cia capital para la historia de la matemtica: los Elementosde Euclides, esfuerzo a totalitario de recoleccin del saber matemtico acumulado hasta la poca; dotado o a e de un enorme sentido pedaggico que llev desde su creacin a separarlo en trece o o o volmenes. u Cmo congeniamos estas ideas, aparentemente dispersas, en una sola disciplina o conceptual? Podemos dar un ejemplo si retomamos la idea pitagrica original Too do es nmero, idea que para los propios pitagricos ten un sentido tan profundo u o a que adquir caracter a sticas sagradas. En este sentido, Pitgoras viene a ser el prea decesor original de Leopold Kronecker, el matemtico que arm que Dios cre los a o o nmeros enteros, lo dems lo hizo el Hombre, porque cuando un pitagrico hablaba u a o de nmero lo que ten en mente espec u a camente era un nmero racional. u Esto lo podemos ver claramente en Los Elementos de Euclides Def.V II,1 y Def.V II,2. La primera dice que una unidad es aquello en virtud de lo cual cada una de las cosas que hay es llamada una y la segunda arma que un nmero es u una pluralidad compuesta de unidades. Deniciones lo sucientemente restrictivas para separar el concepto de unidad del concepto mismo de nmero: una unidad no u es un nmero, es el ente que constituye a los nmeros. u u La visin pitagrica del nmero como la sustancia constitutiva del Universo, cono o u dujo a otra creencia que juega un papel importante en el desarrollo del tema que nos ocupa: la absoluta conmensurabilidad de los segmentos, es decir, la existencia de una medida comn para dos segmentos distintos cualesquiera. Tambin se asigna u e a los pitagricos el descubrimiento del teorema que lleva su nombre el cual, entre o otras muchas cosas, conduce a una importante proporcin: el cuadrado construido o sobre la diagonal de un cuadrado es al cuadrado original como 2 es a 1.

Ahora bien, esta proporcin trae como consecuencia inmediata una interrogante: o Cul es la proporcin que se establece al comparar la diagonal del cuadrado y el a o lado del mismo?. La respuesta demoli la conviccin pitagrica de la conmensurabilidad de los sego o o mentos: ambos segmentos resultaron ser inconmensurables, no era posible conseguir un segmento medida comn para ellos. De esta forma surge la primera nocin de u o irracionalidad y desde entonces el concepto de nmero ha sufrido una considerable u evolucin histrica, establecindose distintos tipos de nmeros que conforme son o o e u ms evolucionados permiten resolver distintos tipos de problemas, por ejemplo: a i)El problema de contar, producto del cual se establecen los conocidos axiomas de Peano.(nmeros naturales N) u ii)El problema de la resta (nmeros enteros Z). En el conjunto de los nmeros natu u urales la ecuacin a + x = b no siempre tiene solucin (en particular solo cuando o o b > a).Amplindose de esta forma el conjunto de los nmeros naturales de modo a u que se puedan representar cantidades negativas. iii)El problema de la divisin. En el conjunto de los nmeros enteros la ecuacin o u o a x = b solo tiene solucin cuando b es mltiplo de a. Se introduce as un nuevo o u concepto, el de nmero fraccionario. u Seducidos en parte por el ritmo y la naturalidad de esta evolucin es que surge la o idea de realizar este proyecto, en el cual pretendemos profundizar en lo que para nosotros representa un eslabn de esta cadena evolutiva, a travs de un breve estudio o e comparativo entre diferentes maneras de denir el campo de los nmeros reales a u partir de los racionales.

 NECESIDAD DE LA EXISTENCIA DE NUMEROS REALES No todos los puntos de la recta representan nmeros racionales; existen segmentos u de medida de un conjunto ms amplio. Se atribuye a Pitgoras el notable descubrima a iento de la inconmesurable de la diagonal del cuadrado de lado 1, que viene a dar respuesta negativa a la cuestin. o Si en Geometr no se consideran otros nmeros que los naturales y los racionales, a u pronto se llegar a contradicciones como se ha visto en el ejemplo anterior. a Ejemplo 1: Se pueden dibujar todos los cuadrados posibles en la cuadr cula mostrada a continuacin, de manera que coincidan los vrtices de dichos cuadrados con los puntos o e representados. 1 unidad Como se pude ver en una cuadr cula de 9 puntos se deben dibujar cuatro cuadrados de lado i unidad, un cuadrado de lado 2 unidades y un cuadrado de lado 2 = 12 + 12 unidades :

Se pude apreciar que en la ejecucin de esta actividad aparece el nmero 2 o u Conocemos la imposibilidad de los nmeros racionales de representar 2 dentro de u su conjunto, por lo tanto demostremos 2 es no racional. Demostracin: Supongamos 2 racional o 2 = p/q con p y q primos relativos 2 = p2 /q 2 2q 2 = p2 de esta igualdad se deduce que p debe ser par, es decir, p = 2p Luego 2q 2 = 4p 2 q 2 = 2p 2 por lo que q debe ser tambin par, por lo tanto p y q no son primos entre s por lo e , que llegamos a una contradiccin pues al inicio pusimos como hiptesis p y q primos o o relativos. Entonces 2 no es un nmero racional. u Sin salir de la aritmtica, se encuentran muy diversas cuestiones que obligan a ree alizar una ampliacin del campo numrico. o e En primer lugar, en el lenguaje del Algebra, que existen ecuaciones binmicas como o x3 = 5 y x2 = 2/5 sin ra naturales ni racionales. ces

Por otra parte, inmediatamente se ve que las ecuaciones del tipo 10x = 7 carecen de ra ces fraccionarias, pues si fuese x = n/m resultar 10n = 7m que es absurdo; a otro problema imposible en nmeros racionales y que reclama solucin urgente es, u o por tanto, el de la logaritmacin. o Existen, adems, multitud de tipos de ecuaciones como, por ejemplo, x3 7x +7 = 0 a tambin sin soluciones en el campo racional. e En resumen, la ampliacin de los nmeros racionales tiene su origen, al igual que la o u ampliacin de los nmeros enteros, en una necesidad terica de solucionar problemas o u o de este tipo. Con esto surge la necesidad de ampliar el conjunto de dos nmeros a un conjunto u numrico maypr con ayuda del cual se pueda expresar la longitud de cualquier sege mento del eje numrico. e

RELACIONES ENTRE LAS DIFERENTES FORMAS DE DEFINIR LOS NUMEROS REALES ORIGEN DE LOS NUMEROS REALES N meros Racionales: u En este trabajo, ms que los mtodos usados en la construccin del campo de los a e o nmeros racionales nos interesan sus propiedades, las cuales son conocidas desde la u ense anza primaria; pero las fundamentales sern enumeradas aqu para nuestros n a objetivos y se resumen en que Q es un cuerpo ordenado arquimedeano. Propiedades de los n meros racionales: u Propiedad 1-Existencia de un orden: Para cualquier nmero x y y se cumple una y solo una de las siguientes relaciones: u -x < y -x > y -x = y Propiedad 2-Transitividad: Si x > y y y > z, entonces x > z. Adems, si x = y y y = z, entonces x = z a Propiedad 3-Existencia de una suma: Para todo x y y est denido de modo unico; el nmero representado por x + y a u Esta operacin posee las propiedades siguientes para todo x, y y z o Propiedad 4-Conmutatividad: x+y =y+x Propiedad 5-Asociatividad: (x + y) + z = x + (y + z) Propiedad 6-Existencia y unicidad del elemento nulo: x + 0 = x para todo x Propiedad 7-Existencia y unicidad del opuesto: Para todo x existe un unico nmero, que ser x, tal que x + (x) = 0 u a Propiedad 8-Existencia de la multiplicacin: o Existe una regla por medio de la cual x y y se le hace corresponder un nmero z, u que ser z = xy a Esta operacin posee las siguientes propiedades para todo x, y y z o Propiedad 9-Conmutatividad: xy = yx Propiedad 10-Asociatividad: (xy)z = x(yz) Propiedad 11-Existencia y Unicidad del elemento unidad: Existe un nmero 1 tal que: 1x = x u Propiedad 12-Existencia y Unicidad del rec proco: Para todo x = 0 existe un nmero que ser 1/x tal que, x1/x = 1 u a

Las operaciones suma y multiplicacin estn relacionadas por la propiedad siguiente: o a Propiedad 13-Distributividad respecto a la suma: Cualesquiera sean x, y y z se cumple: (x + y)z = xz + yz Relacin del orden con la suma y multiplicacin: o o Propiedad 14Si x > y, entonces para todo z se cumple: x + z > y + z Propiedad 15Si x > y y z > 0, entonces xz > yz y si x > y y z < 0, entonces xz < yz Propiedad 16- Propiedad Arquimedeana: Para todo x existe un n N tal que n > x -Sobre el campo de los nmeros reales. u A continuacin enunciaremos una serie de resultados elementales que nos sern utiles o a en la ulterior exposicin de nuestras ideas. o A pesar de la aparente bondadque se describe en las propiedades anteriores, hemos visto que Q tiene huecos. Por ejemplo, analicemos una sucesin que es ampliamente o utilizada en la prctica para el calculo de ra cuadradas xn+1 = 1 (xn + x2n ).Esta es a ces 2 una sucesin de nmeros racionales, y puede probarse utilizando tcnicas del anlisis o u e a clsico que l xn = 2. a m Propiedad de continuidad: Toda sucesin montona y acotada tiene un l o o mite El siguiente resultado caracteriza una forma de construccin de los nmeros reales o u que comunmente llamamos Principio de intervalos encajados. Por la importancia que representa el acercarnos con mayor exactitud a describir la longitud; en general lo hacemos por defecto y por exceso, para conseguir as una mayor exactitud. Precisemos en trminos matemticos esta idea: e a Sean a y b dos nmeros tales que a b. Se llama intervalo cerrado con extremos a u y b a los nmeros x tales que a x b y lo denotaremos por [a, b]. u Se dice que los intervalos (Ik )kN estn encajados uno en los otros si I1 I2 ... a In .... Los llamaremos sistema de intervalos encajados. Si volvemos a la idea de la exactitud utilizando dicho sistema de intervalos encajados cerrados, y la certeza de que estos se acercan a la medicin exacta se traduce en la o postulacin de la existencia de un nmero que pertenezca a todos los intervalos del o u sistema, se tiene entonces la siguiente proposicin: o Principio de intervalos encajados: Todo sistema de intervalos encajados [an , bn ] tiene al menos un punto comn a todos los intervalos del sistema. Si el sistema es u innitesimal, es decir bn an 0 entonces dicho punto es unico.

Antes de expresar el siguiente resultado, introduciremos alguna terminolog espea cial. Sea S una coleccin de nmeros (reales), a la que se denominara conjunto. Cada o u nmero considerado individualmente se llama elemento del conjunto y se dice que u pertenece al conjunto. Si existe un nmero real b tal que x b para cada x del u conjunto, b se denominara cota superior de S. Por ejemplo el conjunto de todos los nmeros negativos es un conjunto acotado u superiormente. En efecto, cada nmero real positivo b es una cota superior de este u conjunto. El nmero 0 es tambin una cota superior, pero ningn nmero inferior a u e u u 0 tiene esta propiedad. Este hecho se expresa diciendo que 0 es el supremo de este conjunto. En general, un nmero b se denomina supremo de S ( u nmo de S) si es la menor (mayor) de las cotas superiores (inferiores) del conjunto, es decir: i) b es una cota superior de S y ii) ningn b1 < b es cota superior de S u El siguiente resultado se reere a conjuntos no vac os: Axioma del supremo: Sea S un conjunto no vac de nmeros reales acotado o u superiormente, existe entonces un nmero real y solo uno que es el supremo S. u Comentaremos ahora acerca de otra forma de construir el campo de los nmeros u reales, las cortaduras. La teor de los nmeros reales en la forma de Dedekind esta basada en la idea de a u cortar el dominio de los nmeros racionales, es decir dividimos el conjunto de todos u los nmeros racionales en dos conjuntos no vac A y A y asumimos que: u os i) todo nmero racional se encuentra en uno y solo uno de los conjuntos A y A . u ii) todo nmero del conjunto A es menor que cualquiera del conjunto A . u El conjunto A es llamado clase baja y el conjunto A clase alta. El corte puede ser denotado por A|A . La denicin implica que todo nmero racional ms peque o que el nmero a de la o u a n u clase baja se encuentra en esta clase. Ejemplos: Denamos A como el conjunto de los nmeros racionales a que u 1.) Satisfacen a < 1, mientras que el conjunto A contendr todos los nmeros a a u tales que a 1. Fcilmente se observa que en efecto hemos obtenido una cortadura el nmero 1 se a u encuentra en la clase A y obviamente es el ms peque o del conjunto, por otro lado a n 1 no es el nmero mayor de la clase A puesto que para cada a A existe un nmero u u racional a1 ,localizado entre A y la unidad, consecuentemente mayor que a y adems a perteneciente a la clase A. 2.) La clase baja contendr todos los nmeros racionales a tales que a 1 mientras a u que la clase alta contendr todos los racionales a con a < 1. a Este ejemplo tambin es una cortadura, y ahora la clase alta no tiene un elemento e m nimo sin embargo la clase baja si tiene un elemento mximo. a

3.) La clase A contiene a todo nmero racional tal que a2 < 2, mientras que la clase u A contiene a todo nmero racional que cumple a 2 > 2. u Es fcil ver que este ejemplo tambin es una cortadura. Ahora la clase A no tiene a e un nmero mximo y la clase A no tiene un nmero m u a u nimo. Probaremos por ejemplo la primera armacin(La segunda se podr probar de foro a ma anloga). a Sea a un nmero positivo de la clase A de aqu que a2 < 2. Probaremos que selecu 1 2 1 cionando un entero positivo n tal que (a + n ) < 2 de modo que a + n tambin se e encuentra en la clase A. Esta desigualdad es equivalente a: a2 + 2a 1 + 2 <2 n n 2a 1 + 2 < 2 a2 n n

y esta ultima desigualdad se satiaface tambin si n es tal que: e 2a + 1 < 2 a2 n para el cual es suciente tomar n> 2a + 1 2 a2

Por otra parte es importante notar que no existir una cortadura que tenga sia multneamente un nmero mximo a0 en la clase baja y un nmero m a u a u nimo a0 en la clase alta. En efecto, supongamos que existe tal nmero y llamemosle c, entonces u c est entre a0 y a0 de aqu que no pertenece a la clase baja, pues es mayor que a0 a y tampoco a la clase alta ya que es menor que a0 lo cual contradice la denicin de o corte dada. De esta manera las cortaduras pueden ser de tres tipos, iliustrados en los ejemplos 1, 2, 3. En los dos primeros ejemplos las cortaduras forman el nmero u racional r (que es la frontera entre las clases A y A ). En el tercer caso el nmero u frontera no existe y la cortadura dene a un nuevo elemento, un numero irracional. De este modo toda cortadura de la forma 3) dene un nmero irracional . Este u reemplaza el faltante nmero frontera, el esta entre todo numero a de la clase A y u todo numero a de la clase A . En el ejemplo 3) el nuevo elemento creado es 2. Entonces para todo nmero r existirn dos cortaduras que lo denen, los elementos u a a < r estarn contenidos en la clase baja y los a > r en la clase alta. a Podemos entonces denir R a travs del siguiente axioma. e Axioma de Dedekind : Dados dos conjuntos A y B tales que forman una Cortadura de Dedekind, es decir: - Para todo x Q se tiene x A x B, siendo A B = 0 o - Para todo x A, y B es x y Existe un unico nmero ; para todo x A y y B es x y u

-Unicidad en la construccin de R o A partir de nuestra corta experiencia como estudiantes as como por los resulta dos de entrevistas realizadas a otros compa eros, comentamos cul o cules de las n a a diferentes formas de denir R nos resultan ms sencillas y cmodas para entender a o el Anlisis Matemtico, y luego de un estudio sobre el tema obtuvimos diversas a a opiniones que conllevaron a un gran debate. El concepto de nmero real gura entre los conceptos matemticos fundamentales. u a Se han denido los nmeros reales en nuestro trabajo utilizando el ms lgico y simu a o ple de los mtodos existentes, el mtodo axiomtico, al cual fue necesario agregar un e e a axioma de existencia del nmero real. Por esta razn para algunos la Propiedad de u o Continuidad, acerca de la convergencia de toda sucesin montona acotada, conso o tituye el axioma de existencia que nos permite ver la denicn de nmero real de o u forma ms natural, siendo muy fcil comprenderlo. El hecho de haber estudiado las a a sucesiones numricas fue de gran ayuda pues permiti a los estudiantes irse familiae o rizando con los conceptos de sucesin acotada, convergente y montona, preparando o o condiciones favorables para comprender con mayor facilidad este concepto. La opinin de muchos estudiantes de matemtica coinciden con que el Principio de o a Intervalos Encajados es el que mejor facilita la comprensin de R pues no necesita de o la utilizacin del l o mite para convergencia de sucesiones montonas y acotadas como o en la Propiedad de Continuidad y el Axioma de Supremo con la idea de conjunto acotado, que son temas de gran debate debido al concepto de innito. Mientras que el principio de Intervalos Encajados viene siendo el ms intuitivo, pues todo se basa a en una idea geomtrica para problemas de representacin numrica. No existe idea e o e ms sencilla, pues todo se resume a un procedimiento mecnico. a a Estudiantes de a os avanzados consideran de su preferencia el axioma de Cortaduras, n pues posee ideas tan propias del ser humano como lo es agrupar. Este mtodo, que e aunque muchos lo consideran abstracto, maniesta una elegante sencillez poque su trabajo solo consta de la utilizacin de conjuntos, sin necesidad de llegar a emplear o otros entes. Adems tambin se utiliza para denir otros objetos en cualquier cuerpo a e ordenado K, por eso es considerado un mtodo constructivista. Estas y otras razones e hacen ver para algunos el mtodo de Cortaduras como el ms ecaz, abstracto y e a riguroso de todos los que conocemos, para la contruccn de R. o Nos llam mucho la atancin que el Axioma de Supremo sea un mtodo para la o o e preferencia de pocos, pues a nuestro entender no resulta complicado luego de dominar conceptos como l mite, convergencia y monoton y es el ms prctico para la a, a a deduccin de las propiedades principales de los nmeros reales. o u

En el prximo apartado presentaremos el siguiente esquema lgico para demostrar o o la equivalencia de cada una de nuestras proposiciones anteriores: partiremos de la veracidad del principio de continuidad, el cual emplearemos para demostrar el principio de intervalos encajados; luego, utilizaremos este para probar el axioma del supremo y ya con esta herramienta demostraremos el principio de continuidad. Finalmente demostraremos la equivalencia del Axioma de Supremo y las cortaduras de Dedekind. Demostracin: o i)Principio de continuidad Principio de intervalos encajados: Sea el sistema de intervalos cerrados encajados In = [an , bn ] donde a1 < a2 < ...an < an+1 < ... < bn+1 < bn < ... < b1 donde la sucesin an es creciente y acotada superiormente, entonces por la propiedad o de continuidad a = l an ; de la misma forma la sucesion bn , que es creciente y m acotada inferiormente tiene limite b = l bn . m Si a = b a In . Si a < b a+b In . 2 Veamos la unicidad; supongamos que existen dos nmeros x, y que se encuentran en u la interseccin, entonces an x y bn n pero l an = a y l bn = b por lo o m m que an bn 0 a = b de donde x = y = a. ii)Principio de intervalos encajados Axioma del supremo: Sea E R acotado superiormente tal que E = y sea b una cota superior de E es decir x < b para toda x E. Como E = existe a E. Luego, el intervalo cerrado [a, b] contiene al menos un punto de E. Si fuera a = b, entonces obviamente ser a = sup E. Sea entonces a < b y sea a I1 = [a1 , b1 ] = [a, b], de manera que b1 a1 = b a y I1 E = . Dividimos ese intervalo a la mitad. Si la mitad derecha contiene un punto de E, tomamos a esa mitad como I2 = [a2 , b2 ]. En caso contrario I2 = [a2 , b2 ] ser la mitad a izquierda. Con ello se garantiza que x b2 para toda x E. Entonces se tiene: I2 I1 , b2 a2 = ba , 2 I2 E = .

Si repetimos el proceso obtenemos en el n-simo paso el intervalo cerrado In = [an , bn ] e tal que: In In1 , bn an = ba , 2n1 In E =

Adems es x b para toda x E. a De esta manera se ha obtenido un sistema intesimal de intervalos cerrados encajados In = [an , bn ] tal que In E = y x b para toda x E. Entonces existe un unico S n In y obviamente se cumple S b. Comprobemos que S = sup E.

10

i)Supongamos que existe x0 E como bn an 0, existe n0 N tal que bn0 an0 < x0 S. Entonce es bn0 < x0 (S an0 x0 ) (pues S an0 0), lo que contradice el hecho de que x bn para toda x E. Luego, S es cota superior de E. ii)Sea ahora > 0 y sea n0 N , tal que bn0 an0 < . Como In E = para toda n existe un xn0 E tal que xn0 [an0 , bn0 ] es decir xn0 S. Entonces es an0 xn0 S bn0 , o sea, S xn0 bn0 an0 < por lo que s < xn0 < S. Entonces S = sup E. Axioma del supremo Principio de continuidad : Como xn es acotada superiormente, existe S = supxn . Queremos demostrar que S = limxn . Como S = supxn , para todo > 0 existe N N tal que S < xN < S. Por otra parte como (xn ) es creciente, esto implica que S < xn < S < S + para todo n N , es decir, | xn S |< para todo n N , que es lo que quer amos demostrar. Axioma de supremo Cortaduras de Dedekind : Debemos demostrar que el cuerpo ordenado R verica el axioma del supremo si y solo si verica el axioma de cortadura. Procederemos en dos pasos. 1- Supongamos que R verica el axioma del supremo. Sea (A, B) una cortadura de R. Debemos probar que existe un x R con A x B.Tenemos que A es no vac o. Adems, A es acotado superiormente (por cada b B). a Segn el axioma del supremo, existe supremo de A. Lo denominamos x. Entonces u x A porque x es una cota superior de A. Cada b B es cota superior de A, luego x b porque x es la menor de las cotas superiores de A. Acabamos de demostrar A x b. 2- Supongamos que R verica el axioma de cortadura. Sea C no vac un subcono junto acotado superiormente, C R. Debemos probar que exite supremo de C. Denotemos por A el conjunto de todos los x R que son menores o iguales a un c C cualquiera: A = x R/c C c x Entonces C. Cada cota superior estricta de C es una cota superior estricta de A,e inversamente. (Sea z > C. Si x A, entonces existe c C con x c. Dez > C se deduce x c z, es decir z > A). Llamemos B al conjunto de todas las cotas superiores estrictas de C: B = z R/z > C Entonces x < z para todo x A, z B, pues cada z B es una cota superior estricta de A. Adems, A, B y A B es no vac a o. Veremos que A B = R. Si y R no pertenece a A entonces, no existe un c C con y c; luego, y c para todo c C, es decir, y > C, o sea, y B. Resulta que el par (A,B) es una cortadura de Dedekind. Segn el axioma de cortadura existe u x R con A x B. Vamos a demostrar que x es el supremo de C.

11

En primer lugar, se cumple x C para todo c C porque C A x. Supongamos ahora por el absurdo que x < x es una cota superior de C. Para todo x0 = x+x R se cumple x < x0 < x. 2 Por denicin de A existe c C con x0 c. Para esta c C se tiene x x0 c, o en contradiccin con la hiptesis que x es cota superior de C. o o Luego, no existe una cota superior de C menor que x y, por tanto, x = sup C.

12

Conclusiones: El estudio de las diferentes formas de denir los nmeros reales nos conduce a u concretar diferentes ideas. En primer lugar se obtiene un nuevo conjunto que contiene a Q como subconjunto, que mantiene sus propiedades y estn en l todos los elementos l a e mites de sucesiones racionales que no pertenecen a Q, o sea, este nuevo conjunto es una ampliacin o del de los nmeros racionales: Tapan los huecos de la recta numrica. Hemos u e observado como se ilumina una cuestin que fue desconsertante para los pitagricos, o o que trabajaban solo con los nmeros racionales, y se percataron de que no pod u an medir segmentos con exactitud. Como demostramos, el nuevo dominio puede denirse manteniendo los axiomas que denen a los racionales y uno adicional que puede ser cualquiera de los siguientes: i)Propiedad de continuidad ii) Principio de intervalos cerrados encajados iii)Axioma del supremo iv) Cortaduras de Dedekind Este ultimo no esta incluido en el curso ordinario de Anlisis Matemtico I pero a a resulta de gran importancia terica. o En segundo se demuestra la equivalencia que existe entre los resultados que permiten la construccin de lo nmeros reales, lo cual evidencia el hecho de que este campo o u puede ser construido de diferentes maneras sin que resulte ninguna contradiccin o entre ellas. Estas ideas, que se espera hayan quedado claras en el trabajo, maniestan de forma sencilla y transparente la existencia de una madeja de caminos deslumbrantes en el dif arte de la matemticas. Al lector el deseo de que el presente se convierta en cil a una invitacin a estos caminos. o

13

Bibliograf a 1)Fikhtengolts, G.M: The Fundamentals of Mathematical Analysis, Volumen I, Editorial Pergamon Press, 1965. 2)Hinrichsen, Driedrich: Anlisis Matemtico I Segunda Parte, Editorial Pueblo a a y Educacin, 1973. o 3)Rudin, Walter: Principles of Mathematical Analysis, Editorial McGraw-Hill Book, 1953 4)Snchez, Carlos: Anlisis Matemtico Tomo I, Editorial Pueblo y Educacin, a a a o 2001.

14