Los Nmeros Reales

Los nmeros reales son los nmeros que se puede escribir con anotacin decimal, incluyendo aquellos que necesitan una expansin decimal infinita. El conjunto de los nmeros reales contiene todos los nmeros enteros, positivos y negativos; todas las fracciones; y todos los nmeros irracionales, aquellos cuyos desarrollos en decimales nunca se repiten. Subconjunto de los nmeros eales !ropiedades y operaciones con los nmeros reales !ara tener "xito en algebra, debe entender como sumar, restar, multiplicar y dividir nmeros eales. #os nmeros, en la recta num"rica, que est$n a la misma distancia del cero pero en direcciones opuestas se denominan% &nversos aditivos, opuestos o sim"tricos uno del otro. !or ejemplo. ' es el inverso aditivo de (', y (' es el inverso aditivo de ' El numero ) *cero+ es su propio inverso aditivo. La suma de un nmero y su inverso aditivo es ) *cero+. &nverso aditivo !ara cualquier nmero real de a, su inverso aditivo es ,a. -onsidere el nmero (.. Su inverso aditivo es (*(.+. -omo sabemos que este nmero debe ser positivo, esto implica que (*(.+ / .. 0ste es un ejemplo de la propiedad del doble negativo. !ropiedad del doble negativo !ara cualquier nmero real a, (*(a+ / a !or la propiedad del doble negativo, (*(1.2+ / 1.2 3alor absoluto El valor de cualquier nmero distinto del cero siempre ser$ un nuero positivo, y el valor absoluto de ) es ). !ara determinar el valor absoluto de un nmero real, use la definicin siguiente. La definicin de valor absoluto indica que el valor absoluto de cualquier nmero no negativo, es el mismo, y el valor absoluto de cualquier nmero negativo es el inverso aditivo *opuesto2 del nmero. El valor absoluto de un nmero puede determinarse por medio de la definicin. !or ejemplo. 4peraciones con los nmeros eales 5. Sumar nmeros reales !ara sumar dos nmeros con el mismo signo *ambos positivos o ambos negativos+ Sume sus valores absolutos y coloque el mismo signo comn antes de la suma. La suma de dos nmeros positivos ser$ un nmero positivo, y la suma de dos nmeros negativos ser$ un nmero negativo. Ejemplo. (6 7 *(2+ Solucin% -omo ambos nmeros que se suman son negativos, la suma ser$ negativa.

!ara determinar la suma, sume los valores absolutos de estos nmeros y coloque un signo negativo antes del valor. !ara sumar dos nmeros con signos diferentes *uno positivo y el otro negativo+ este el valor absoluto menor del valor absoluto mayor. La respuesta tiene el signo del nmero con el valor absoluto m$s grande. La suma de un nmero positivo y un nmero negativo puede ser positiva, negativa o cero, el signo de la respuesta ser$ el mismo signo que el numero con mayor valor absoluto. Ejemplo. ' 7 *(8+ -omo los nmeros que se suman son de signos opuestos, restamos el valor absoluto m$s peque9o del valor absoluto mayor. !rimero tomamos cada valor absoluto. :;ora determinamos la diferencia, 8 , ' / 6. El nmero (8 tiene un valor absoluto mayor que el nmero ', por lo que la suma es negativa. ' 7 *(8+ / (6 estar nmeros reales <odo problema de sustraccin puede expresarse como un problema de suma por medio de la regla siguiente. a , b / a 7 *(b+ !ara restar b de a, sume el opuesto *o inverso aditivo de b a a Ejemplo. 6 ( 8 significa 6 , *78+. !ara restar 6 , 8, sume el opuesto de 78, que es (=, a 6. 6 , 8 / 6 7 *(8+ / (' >ultiplicar nmeros reales !ara multiplicar dos nmeros con signos iguales, ambos positivos o ambos negativos, multiplique sus valores absolutos. La respuesta es positiva. !ara multiplicar dos nmeros con signos diferentes, uno positivo y el otro negativo, multiplique sus valores absolutos. La respuesta es negativa. Ejemplo -uando multiplicamos m$s de dos nmeros, el producto ser$ negativo cuando exista un nmero impar de nmeros negativos. El producto ser$ positivo cuando exista un nmero par de nmeros negativos. !ropiedad del cero en la multiplicacin !ara cualquier numero a, #ividir nmeros reales !ara dividir dos nmeros con signos iguales, ambos positivos o ambos negativos, divida sus valores absolutos. La respuesta es positiva. !ara dividir dos nmeros con signos diferentes, uno positivo y el otro negativo, divida sus valores absolutos. La respuesta es negativa. Ejemplos. -uando el denominador de una fraccin es un numero negativo, por lo comn reescribimos la fraccin con un denominador positivo. !ara ;acerlo, usamos el ;ec;o siguiente.

!ropiedades de los nmeros reales. ?ibliograf@a :lgebra intermedia, Larson Aosteller Beptune, C))5. :lgebra intermedia, :llen . Dngel, C))8. :utor% Bmero real

#iferentes clases de nmeros reales. ecta real. En matem$ticas, los nmeros reales *designados por + incluyen tanto a los nmeros racionales *positivos, negativos y el cero+ como a los nmeros irracionales; y en otro enfoque, trascendentes y algebraicos. Los irracionales y los trascendentes5 *52=)+ no se pueden expresar mediante una fraccin de dos enteros con denominador no nulo; tienen infinitas cifras decimales aperidicas, tales como% , el nmero real logC, cuya trascendencia fue mentada por Euler en el siglo E3&&&.5 Los nmeros reales pueden ser descritos y construidos de varias formas, algunas simples aunque carentes del rigor necesario para los propsitos formales de matem$ticas y otras m$s complejas pero con el rigor necesario para el trabajo matem$tico formal. #urante los siglos E3& y E3&& el c$lculo avanF muc;o aunque carec@a de una base rigurosa, puesto que en el momento no se consideraba necesario el formalismo de la actualidad, y se usaban expresiones como Gpeque9oH, Gl@miteH, Gse acercaH sin una definicin precisa. Esto llev a una serie de paradojas y problemas lgicos que ;icieron evidente la necesidad de crear una base rigurosa para la matem$tica, la cual consisti de definiciones formales y rigurosas *aunque ciertamente t"cnicas+ del concepto de nmero real.C En una seccin posterior se describir$n dos de las definiciones precisas m$s usuales actualmente% clases de equivalencia de sucesiones de -auc;y de nmeros racionales y cortaduras de #edeIind. Jndice

Aistoria Los egipcios dieron origen por primera veF a las fracciones comunes alrededor del a9o 5))) a. -.; alrededor del 6)) a. -. un grupo de matem$ticos griegos liderados por !it$goras se dio cuenta de la necesidad de los nmeros irracionales. Los nmeros negativos fueron ideados por matem$ticos indios cerca del 1)), posiblemente reinventados en -;ina poco despu"s, pero no se utiliFaron en Europa;asta el siglo E3&&, si bien a finales del E3&&& Leon;ard Euler descart las soluciones negativas de las ecuaciones porque las consideraba irreales. En ese siglo, en el c$lculo se utiliFaban nmeros reales sin una definicin precisa, cosa que finalmente sucedi con la definicin rigurosa ;ec;a por Keorg -antor en 58=5. En realidad, el estudio riguroso de la construccin total de los nmeros reales exige tener amplios antecedentes de teor@a de conjuntosy lgica matem$tica. Lue lograda la construccin y sistematiFacin de los nmeros reales en el siglo E&E por dos grandes matem$ticos europeos utiliFando v@as distintas% la teor@a de conjuntos de Keorg -antor *encajamientos sucesivos, cardinales finitos e infinitos+, por un lado, y el an$lisis matem$tico de ic;ard #edeIind *vecindades, entornos y cortaduras de #edeIind+. :mbos matem$ticos lograron la sistematiFacin de los nmeros reales en la ;istoria, no de manera espont$nea, sino utiliFando todos los avances previos en la materia% desde la antigua Krecia y pasando por matem$ticos como #escartes, BeMton, LeibniF, Euler, Lagrange,Kauss, iemann, -auc;y y Neierstrass. Evolucin del concepto de nmero. Se sabe que los egipcios y babilnicos ;ac@an uso de fracciones *nmeros racionales+ en la resolucin de problemas pr$cticos. Sin embargo, fue con el desarrollo de la matem$tica griega cuando se consider el aspecto filosfico de nmero. Los pitagricos descubrieron que las relaciones armnicas entre las notas musicales correspond@an a cocientes de nmeros enteros, lo que les inspir a buscar proporciones num"ricas en todas las dem$s cosas, y lo expresaron con la m$xima Gtodo es nmeroH. En la matem$tica griega, dos magnitudes son conmensurables si es posible encontrar una tercera tal que las primeras dos sean mltiplos de la ltima, es decir, es posible encontrar una unidad comn para la que las dos magnitudes tengan una medida entera. El principio pitagrico de que todo nmero es un cociente de enteros, expresaba en esta forma que cualesquiera dos magnitudes deben ser conmensurables. Sin embargo, el ambicioso proyecto pitagrico se tambale ante el problema de medir la diagonal de un cuadrado, o la ;ipotenusa de un tri$ngulo rect$ngulo, pues no es conmensurable respecto de los catetos. En notacin moderna, un tri$ngulo rect$ngulo cuyos catetos miden 5, tiene una ;ipotenusa que mide ra@F cuadrada de dos % Si es un nmero racional donde est$ reducido a sus t"rminos m@nimos *sin factor comn+ entonces CqO/pO. La expresin anterior indica que pO es un nmero par y por tanto p tambi"n, es decir, p/Cm. Sustituyendo obtenemos CqO/*Cm+O/.mO, y por tanto qO/CmO.

!ero el mismo argumento usado nos dice a;ora que q debe ser un nmero par, esto es, q/Cn. >as esto es imposible, puesto que p y q no tienen factores comunes *y ;emos encontrado que C es un factor de ambos+. !or tanto, la suposicin misma de que es un nmero racional debe ser falsa. Surgi entonces un dilema, ya que de acuerdo al principio pitagrico% todo nmero era racional, mas la ;ipotenusa de un tri$ngulo rect$ngulo issceles no era conmensurable con los catetos, lo cual implic que en adelante las magnitudes geom"tricas y las cantidades num"ricas tendr@an que tratarse por separado, ;ec;o que tuvo consecuencias en el desarrollo de la matem$tica durante los dos milenios siguientes.' Los griegos desarrollaron una geometr@a basada en comparaciones *proporciones+ de segmentos sin ;acer referencia a valores num"ricos, usando diversas teor@as para manejar el caso de medidas inconmesurables, como la teor@a de proporciones de Eudoxo. :s@, los nmeros irracionales permanecieron a partir de entonces excluidos de la aritm"tica puesto que slo pod@an ser tratados mediante el m"todo de infinitas aproximaciones. !or ejemplo, los pitagricos encontraron *en notacin moderna+ que si aPb es una aproximacin a entonces p/a7Cb y q/a7b son tales que pPq es una aproximacin m$s precisa. epitiendo el proceso nuevamente se obtienen mayores nmeros que dan una mejor aproximacin.. #ado que las longitudes que expresan los nmeros irracionales pod@an ser obtenidas mediante procesos geom"tricos sencillos pero, aritm"ticamente, slo mediante procesos de infinitas aproximaciones, origin que durante C))) a9os la teor@a de los nmeros reales fuese esencialmente geom"trica, identificando los nmeros reales con los puntos de una l@nea recta. Buevos avances en el concepto de nmero real esperaron ;asta los siglos E3& y E3&&, con el desarrollo de la notacin algebraica, lo que permiti la manipulacin y operacin de cantidades sin ;acer referencia a segmentos y longitudes. !or ejemplo, se encontraron frmulas para resolver ecuaciones de segundo y tercer grado de forma mec$nica mediante algoritmos, los cuales inclu@an ra@ces e incluso, en ocasiones, Gnmeros no realesH *lo que a;ora conocemos como nmeros complejos+. Sin embargo, no exist@a an un concepto formal de nmero y se segu@a dando primac@a a la geometr@a como fundamento de toda la matem$tica. &ncluso con el desarrollo de la geometr@a anal@tica este punto de vista se manten@a vigente, pues #escartes rec;aFaba la idea que la geometr@a pudiera fundamentarse en nmeros, puesto que para "l la nueva $rea era simplemente una ;erramienta para resolver problemas geom"tricos. !osteriormente, la invencin del c$lculo abri un per@odo de grandes avances matem$ticos, con nuevos y poderosos m"todos que permitieron por veF primera atacar los problemas relacionados con lo infinito mediante el concepto de l@mite. :s@, un nmero irracional pudo ser entendido como el l@mite de una suma infinita de nmeros racionales *por ejemplo, su expansin decimal+. -omo muestra, el nmero Q puede estudiarse de forma algebraica *sin apelar a la intuicin geom"trica+ mediante la serie% entre muc;as otras expresiones similares. !ara entonces, el concepto intuitivo de nmero real era ya el moderno, identificando sin problema un segmento con la medida de su longitud *racional o no+. El c$lculo abri el paso al an$lisis matem$tico, que estudia conceptos

como continuidad, convergencia, etc. !ero el an$lisis no contaba con definiciones rigurosas y muc;as de las demostraciones apelaban an a la intuicin geom"trica. Esto conllev a una serie de paradojas e imprecisiones. BotacinReditarS Los nmeros reales se expresan con fracciones decimales que tienen una secuencia infinita de d@gitos a la derec;a de la coma decimal, como por ejemplo 'C.,8C'C. Lrecuentemente tambi"n se subrepresentan con tres puntos consecutivos al final *'C.,8C'C55C.=T+, lo que significar@a que an faltan m$s d@gitos decimales, pero que se consideran sin importancia. Las medidas en las ciencias f@sicas son siempre una aproximacin a un nmero real. Bo slo es m$s conciso escribirlos con forma de fraccin decimal *es decir, nmeros racionales que pueden ser escritos como proporciones, con un denominador exacto+ sino que, en cualquier caso, cunde @ntegramente el concepto y significado del nmero real. En el an$lisis matem$tico los nmeros reales son objeto principal de estudio. !uede decirse que los nmeros reales son la ;erramienta de trabajo de las matem$ticas de la continuidad, como el c$lculo y el an$lisis matem$tico, mientras que los nmeros enteros lo son de las matem$ticas discretas, en las que est$ ausente la continuidad. Se dice que un nmero real es recursivo si sus d@gitos se pueden expresar por un algoritmo recursivo. Un nmero no(recursivo es aqu"l que es imposible de especificar expl@citamente. :un as@, la escuela rusa de constructivismo supone que todos los nmeros reales son recursivos. Los ordenadores slo pueden aproximarse a los nmeros reales por nmeros racionales; de todas maneras, algunos programas de ordenador pueden tratar un nmero real de manera exacta usando su definicin algebraica *por ejemplo, V V+ en veF de su respectiva aproximacin decimal. Los matem$ticos usan el s@mbolo *o, de otra forma, , la letra V V en negrita+ para representar el conjunto de todos los nmeros reales. La notacin matem$tica se refiere a un espacio de dimensiones de los nmeros reales; por ejemplo, un valor consiste de tres nmeros reales y determina un lugar en un espacio de tres dimensiones. En matem$tica, la palabra VrealV se usa como adjetivo, con el significado de que el campo subyacente es el campo de los nmeros reales. !or ejemplo, matriF real, funcin real, y Dlgebra de Lie real. <ipos de nmeros realesReditarS Un nmero real puede ser un nmero racional o un nmero irracional. Los nmeros racionales son aquellos que pueden expresarse como el cociente de dos nmeros enteros, tal como 'P., (C5P', 6, ), 5PC, mientras que los irracionales son todos los dem$s. Los nmeros racionales tambi"n pueden describirse como aquellos cuya representacin decimal es eventualmente peridica, mientras que los irracionales tienen una expansin decimal aperidica% Ejemplos 5P. / ),C6))))... Es un nmero racional puesto que es peridico a partir del tercer nmero decimal. 6P= / ),=5.C86=5.C86=5.C86=.... Es racional y tiene un per@odo de longitud 1 *repite =5.C86+. es irracional y su expansin decimal es aperidica.

4tra forma de clasificar los nmeros reales es en algebraicos y trascendentes. Un nmero es algebraico si existe un polinomio de coeficientes racionales que lo tiene por ra@F y es trascendente en caso contrario. 4bviamente, todos los nmeros racionales son algebraicos% si es un nmero racional, con p entero y q natural, entonces es ra@F de la ecuacin qx/p. Sin embargo, no todos los nmeros algebraicos son racionales. Ejemplos El nmero es algebraico puesto que es la ra@F del polinomio Un ejemplo de nmero trascendente es -onstrucciones de los nmeros realesReditarS -aracteriFacin axiom$ticaReditarS :rt@culo principal% :xiomas de los nmeros reales Existen diferentes formas de construir el conjunto de los nmeros reales a partir de axiomas, siendo la caracteriFacin m$s comn, el conocido como m"todo directo que introduce el sistema *, 7, ., W+, donde los elementos de se llaman nmeros reales, 7 y . son dos operaciones en , W es una relacin de orden en 6 . Se presenta una variante axiom$tica, mediante las siguientes tres propiedades% Un conjunto es el conjunto de los nmeros reales si satisface las siguientes tres condiciones% 5. es un campo. C. es un conjunto totalmente ordenado y el orden es compatible con las operaciones del campo% Si entonces ; Si y entonces . '. El conjunto X es completo% satisface el axioma del supremo% <odo conjunto no vac@o y acotado superiormente tiene unsupremo. Las primeras dos condiciones definen el concepto de campo ordenado, mientras que la tercera propiedad es de naturaleFa topolgica y es la que diferencia al conjunto de los nmeros reales de todos los dem$s campos ordenados. Aay que ;acer notar que, en principio pueden existir diferentes conjuntos que satisfagan las mismas condiciones y que podr@an ser diferentes al conjunto de los nmeros reales, pero un teorema establece que si eso sucediera, ambas estructuras ser@an esencialmente la misma. -ualquier campo ordenado que cumpla las tres propiedades mencionadas es isomorfo al conjunto de los nmeros reales. En vista de lo anterior podemos ;ablar de el conjunto de los nmeros reales *y no de un conjunto de nmeros reales+ y estableciendo su unicidad se puede usar el s@mbolo para representarlo. :l enunciar la tercera propiedad en ocasiones se especifica que es completo en el sentido de #edeIind, pues existen otros axiomas que se pueden usar y que, asumiendo las primeras dos condiciones, todos son lgicamente equivalentes. :lgunos de estos son% Y *-auc;y+ El conjunto X cumple que cualquier sucesin de -auc;y es convergente. Y *?olFano(Neierstrass+ El conjunto X cumple que cualquier sucesin acotada tiene una subsucesin convergente.

Y -ualquier sucesin decreciente de intervalos cerrados tiene interseccin no vac@a. -ada una de las primeras dos propiedades mencionadas al inicio de la seccin corresponden a su veF a otra serie de axiomas, de modo que si se ;ace un desglose, puede caracteriFarse el conjunto de los nmeros reales como un conjunto que satisfaga la siguiente lista de axiomas. 5. Si , entonces *-erradura en la suma+ C. Si , entonces *-onmutatividad en la suma+ '. Si , entonces *:sociatividad en la suma+ .. Existe de manera que para todo *Beutro aditivo+ 6. !ara cada existe un elemento tal que *&nverso aditivo+ 1. Si , entonces *-erradura en la multiplicacin+ =. Si , entonces *-onmutatividad en la multiplicacin+ 8. Si , entonces *:sociatividad en la multiplicacin+ 2. Existe de manera que para cualquier *Beutro multiplicativo+ 5). !ara cada existe un elemento tal que *&nverso multiplicativo+ 55. Si , entonces *#istributividad de la multiplicacin en la suma+ 5C. Si , entonces se cumple slo una de estas% *<ricotom@a+ Y Y Y 5'. Si , y entonces *<ransitividad+ 5.. Si y , entonces *>onoton@a en la suma+ 56. Si , y , entonces *>onoton@a en la multiplicacin+ 51. Si es un conjunto no vac@o acotado superiormente en , entonces tiene supremo en *:xioma del supremo+ Los axiomas del 5 al 56 corresponden a la estructura m$s general de cuerpo ordenado. El ltimo axioma es el que distingue de otros cuerpos ordenados como . #ebe se9alarse que los axiomas 5 a 56 no constituyen una teor@a categrica ya que puede demostrarse que admiten al menos un modelo no est$ndar diferente de los nmeros reales, que es precisamente el modelo en el que se basa la construccin de los nmeros ;iperreales -onstruccin por nmeros decimales. -onsideramos los nmeros decimales como los conocemos intuitivamente. Sabemos que , es decir, el nmero Q se expresa como el nmero entero ' y una secuencia infinita de d@gitos 5, ., 5, 6, 2, C, etc. Un nmero decimal se expresa entonces como donde es un nmero entero y cada es un elemento del conjunto . :dem$s, consideramos que no existen las colas de 2. :l conjunto de todos los nmeros decimales donde es un nmero entero positivo se le denota por y se le llama el conjunto de los nmeros reales positivos. :l conjunto de todos los nmeros decimales donde es un nmero entero negativo se le denota por y se le llama el conjunto de los nmeros reales negativos. :l nmero decimal se le llama cero. :l conjunto se le denota por y se le llama conjunto de nmeros reales. Se define la relacin de orden total de los nmeros decimales como 5. para todo C. siempre que y

'. para todo .. #ados dos nmeros reales cualesquiera y , en cualquiera de los casos siguientes% Y Y y adem$s existe tal que para todo y -onstruccin por cortaduras de #edeIindReditarS :rt@culo principal% -ortaduras de #edeIind Aay valores que no se pueden expresar como nmeros racionales, tal es el caso de . Sin embargo es claro que se puede aproximar con nmeros racionales tanto como se desee. !odemos entonces partir al conjunto de los nmeros racionales en dos subconjuntos y de manera que en el conjunto se encuentran todos los nmeros racionales y en todos los nmeros racionales tales que . Una cortadura de dedeIind es un par ordenado que ;ace precisamente esto. -onceptualmente, la cortadura es el VespacioV que ;ay entre y . #e esta manera es posible definir a como tal que y . Es posible demostrar que queda un@vocamente definido por , de esta manera la cortadura se reduce simplemente a . <ambi"n es demostrable que el conjunto de todas las cortaduras cumple con los axiomas de los nmeros reales, de esta manera es el conjunto de todas las cortaduras de #edeIind. Esta es la primera construccin formal de los nmeros reales bajo la teor@a de conjuntos. -onstruccin por sucesiones de -auc;yReditarS :rt@culo principal% Sucesin de -auc;y Las sucesiones de -auc;y retoman la idea de aproximar con nmeros racionales un nmero real. <mese por ejemplo, la ecuacin. Es claro que esta sumatoria opera slo con los nmeros racionales de la forma% sin embargo el resultado final es el nmero irracional . -ada veF que se a9ade un t"rmino, la expresin se aproxima m$s y m$s a . Las sucesiones de -auc;y generaliFan este concepto para definir a los nmeros reales. !rimero se define que una sucesin de nmeros racionales es una funcin se denota simplemente por . Una sucesin de -auc;y es una sucesin de nmeros racionales donde sus elementos cada veF son menos diferentes. >$s formalmente, se define una sucesin de -auc;y como una sucesin de nmeros racionales tales que para todo existe un tal que para todo se cumple . #e esta manera es posible definir al nmero real como la sucesin de nmeros racionales% 4peraciones con nmeros realesReditarS -on nmeros reales pueden realiFarse todo tipo de operaciones b$sicas con dos excepciones importantes% 5. Bo existen ra@ces de orden par *cuadradas, cuartas, sextas, etc.+ de nmeros negativos en nmeros reales, *aunque s@ existen en el conjunto de los nmeros complejos donde dic;as operaciones s@ est$n definidas+. C. La divisin entre cero no est$ definida *pues cero no posee inverso multiplicativo, es decir, no existe nmero x tal que )Yx/5+.

Estas dos restricciones tienen repercusiones en otras $reas de las matem$ticas como el c$lculo% existen as@ntotas verticales en los lugares donde el denominador de una funcin racional tiende a cero, es decir, en aquellos valores de la variable en los que se presentar@a una divisin entre cero, o no existe gr$fica real en aquellos valores de la variable en que resulten nmeros negativos para ra@ces de orden par, por mencionar un ejemplo de construccin de gr$ficas en geometr@a anal@tica. 3"ase tambi"nReditarS #os clasificacionesReditarS 5. Aay una particin del conjunto de los reales en dos subconjuntos % racionales e irracionales. <odos los racionales son algebraicos y los irracionales pueden ser algebraicos y trascendentes. C. Aay otra particin del conjunto de los reales en otros dos subconjuntos % algebraicos y trascendentes. Los primeros son racionales e irracionales. <odos los trascendentes son irracionales 5