Nmero real

Nmero real
En matemticas, 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 trascendentes[1] (1970) no se pueden expresar mediante una fraccin de dos enteros con denominador no nulo; tienen infinitas cifras decimales aperidicas, tales como: , el nmero real log2, cuya trascendencia fue mentada por Euler en el siglo XVIII.[2] Los nmeros reales pueden ser descritos y construidos de varias formas, algunas simples aunque carentes del rigor necesario para los propsitos formales de matemticas y otras ms complejas pero con el rigor necesario para el trabajo matemtico formal.
Diferentes clases de nmeros reales. Durante los siglos XVI y XVII el clculo avanz mucho aunque careca de una base rigurosa, puesto que en el momento no se consideraba necesario el formalismo de la actualidad, y se usaban expresiones como pequeo, lmite, se acerca sin una definicin precisa. Esto llev a una serie de paradojas y problemas lgicos que hicieron evidente la necesidad de crear una base rigurosa para la matemtica, la cual consisti de definiciones formales y rigurosas Recta real. (aunque ciertamente tcnicas) del concepto de nmero real. En una seccin posterior se describirn dos de las definiciones precisas ms usuales actualmente: clases de equivalencia de sucesiones de Cauchy de nmeros racionales y cortaduras de Dedekind.

Historia
Los egipcios dieron origen por primera vez a las fracciones comunes alrededor del ao 1000a.C.; alrededor del 500a.C. un grupo de matemticos griegos liderados por Pitgoras se dio cuenta de la necesidad de los nmeros irracionales. Los nmeros negativos fueron ideados por matemticos indios cerca del 600, posiblemente reinventados en China poco despus, pero no se utilizaron en Europa hasta el siglo XVII, si bien a finales del XVIII Leonhard Euler descart las soluciones negativas de las ecuaciones porque las consideraba irreales. En ese siglo, en el clculo se utilizaban nmeros reales sin una definicin precisa, cosa que finalmente sucedi con la definicin rigurosa hecha por Georg Cantor en 1871. En realidad, el estudio riguroso de la construccin total de los nmeros reales exige tener amplios antecedentes de teora de conjuntos y lgica matemtica. Fue lograda la construccin y sistematizacin de los nmeros reales en el siglo XIX por dos grandes matemticos europeos utilizando vas distintas: la teora de conjuntos de Georg Cantor (encajamientos sucesivos, cardinales finitos e infinitos), por un lado, y el anlisis matemtico de Richard Dedekind (vecindades, entornos y cortaduras de Dedekind). Ambos matemticos lograron la sistematizacin de los nmeros reales en la historia, no de manera espontnea, sino utilizando todos los avances previos en la materia: desde la antigua Grecia y pasando por matemticos como Descartes, Newton, Leibniz, Euler, Lagrange, Gauss, Riemann, Cauchy y Weierstrass.

Nmero real

Evolucin del concepto de nmero

Se sabe que los egipcios y babilnicos hacan uso de fracciones (nmeros racionales) en la resolucin de problemas prcticos. Sin embargo, fue con el desarrollo de la matemtica griega cuando se consider el aspecto filosfico de nmero. Los pitagricos descubrieron que las relaciones armnicas entre las notas musicales correspondan a cocientes de nmeros enteros, lo que les inspir a buscar proporciones numricas en todas las dems cosas, y lo expresaron con la mxima todo es nmero. En la matemtica 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 hipotenusa de un tringulo rectngulo, pues no es conmensurable respecto de los catetos. En notacin moderna, un tringulo rectngulo cuyos catetos miden 1, tiene una hipotenusa que mide raz cuadrada de dos : Si es un nmero racional donde est reducido a sus trminos mnimos (sin factor comn)

entonces 2q=p. La expresin anterior indica que p es un nmero par y por tanto p tambin, es decir, p=2m. Sustituyendo obtenemos 2q=(2m)=4m, y por tanto q=2m. Pero el mismo argumento usado nos dice ahora que q debe ser un nmero par, esto es, q=2n. Mas esto es imposible, puesto que p y q no tienen factores comunes (y hemos encontrado que 2 es un factor de ambos). Por 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 hipotenusa de un tringulo rectngulo issceles no era conmensurable con los catetos, lo cual implic que en adelante las magnitudes geomtricas y las cantidades numricas tendran que tratarse por separado, hecho que tuvo consecuencias en el desarrollo de la matemtica durante los dos milenios siguientes. Los griegos desarrollaron una geometra basada en comparaciones (proporciones) de segmentos sin hacer referencia a valores numricos, usando diversas teoras para manejar el caso de medidas inconmesurables, como la teora de proporciones de Eudoxo. As, los nmeros irracionales permanecieron a partir de entonces excluidos de la aritmtica puesto que slo podan ser tratados mediante el mtodo de infinitas aproximaciones. Por ejemplo, los pitagricos encontraron (en notacin moderna) que si a/b es una aproximacin a entonces p=a+2b y q=a+b son tales que p/q es una aproximacin ms precisa. Repitiendo el proceso nuevamente se obtienen mayores nmeros que dan una mejor aproximacin. Dado que las longitudes que expresan los nmeros irracionales podan ser obtenidas mediante procesos geomtricos sencillos pero, aritmticamente, slo mediante procesos de infinitas aproximaciones, origin que durante 2000 aos la teora de los nmeros reales fuese esencialmente geomtrica, identificando los nmeros reales con los puntos de una lnea recta. Nuevos avances en el concepto de nmero real esperaron hasta los siglos XVI y XVII, con el desarrollo de la notacin algebraica, lo que permiti la manipulacin y operacin de cantidades sin hacer referencia a segmentos y longitudes. Por ejemplo, se encontraron frmulas para resolver ecuaciones de segundo y tercer grado de forma mecnica mediante algoritmos, los cuales incluan races e incluso, en ocasiones, nmeros no reales (lo que ahora conocemos como nmeros complejos). Sin embargo, no exista an un concepto formal de nmero y se segua dando primaca a la geometra como fundamento de toda la matemtica. Incluso con el desarrollo de la geometra analtica este punto de vista se mantena vigente, pues Descartes rechazaba la idea que la geometra pudiera fundamentarse en nmeros, puesto que para l la nueva rea era simplemente una

Nmero real herramienta para resolver problemas geomtricos. Posteriormente, la invencin del clculo abri un perodo de grandes avances matemticos, con nuevos y poderosos mtodos que permitieron por vez primera atacar los problemas relacionados con lo infinito mediante el concepto de lmite. As, un nmero irracional pudo ser entendido como el lmite de una suma infinita de nmeros racionales (por ejemplo, su expansin decimal). Como muestra, el nmero puede estudiarse de forma algebraica (sin apelar a la intuicin geomtrica) mediante la serie:

entre muchas otras expresiones similares. Para 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 clculo abri el paso al anlisis matemtico, que estudia conceptos como continuidad, convergencia, etc. Pero el anlisis no contaba con definiciones rigurosas y muchas de las demostraciones apelaban an a la intuicin geomtrica. Esto conllev a una serie de paradojas e imprecisiones.

Notacin
Los nmeros reales se expresan con fracciones decimales que tienen una secuencia infinita de dgitos a la derecha de la coma decimal, como por ejemplo 324,8232. Frecuentemente tambin se subrepresentan con tres puntos consecutivos al final (324,823211247), lo que significara que an faltan ms dgitos decimales, pero que se consideran sin importancia. Las medidas en las ciencias fsicas son siempre una aproximacin a un nmero real. No slo es ms 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 anlisis matemtico los nmeros reales son objeto principal de estudio. Puede decirse que los nmeros reales son la herramienta de trabajo de las matemticas de la continuidad, como el clculo y el anlisis matemtico, mientras que los nmeros enteros lo son de las matemticas discretas, en las que est ausente la continuidad. Se dice que un nmero real es recursivo si sus dgitos se pueden expresar por un algoritmo recursivo. Un nmero no-recursivo es aqul que es imposible de especificar explcitamente. Aun 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, " ") en vez de su respectiva aproximacin decimal. Los matemticos usan el smbolo todos los nmeros reales. La notacin matemtica 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 matemtica, la palabra "real" se usa como adjetivo, con el significado de que el campo subyacente es el campo de los nmeros reales. Por ejemplo, matriz real, polinomio real, y lgebra de Lie real. (o, de otra forma, , la letra "R" en negrita) para representar el conjunto de

Nmero real

Tipos de nmeros reales

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 3/4, -21/3, 5, 0, 1/2, mientras que los irracionales son todos los dems. Los nmeros racionales tambin pueden describirse como aquellos cuya representacin decimal es eventualmente peridica, mientras que los irracionales tienen una expansin decimal aperidica: Ejemplos 1/4 = 0,250000... Es un nmero racional puesto que es peridico a partir del tercer nmero decimal. 5/7 = 0,7142857142857142857.... Es racional y tiene un perodo de longitud 6 (repite 714285). es irracional y su expansin decimal es aperidica. Otra 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 raz y es trascendente en caso contrario. Obviamente, todos los nmeros racionales son algebraicos: si es un nmero racional, con p entero y q natural, entonces es raz de la

ecuacin qx=p. Sin embargo, no todos los nmeros algebraicos son racionales. Ejemplos El nmero es algebraico puesto que es la raz del polinomio

Un ejemplo de nmero trascendente es

Construcciones de los nmeros reales

Caracterizacin axiomtica
Existen diferentes formas de construir el conjunto de los nmeros reales a partir de axiomas, siendo la caracterizacin ms comn, el conocido como mtodo directo que introduce el sistema (, +, ., ), donde los elementos de se llaman nmeros reales, + y . son dos operaciones en , es una relacin de orden en [3] . Se presenta una variante axiomtica, mediante las siguientes tres propiedades: Un conjunto 1. 2. Si es el conjunto de los nmeros reales si satisface las siguientes tres condiciones:

es un campo. es un conjunto totalmente ordenado y el orden es compatible con las operaciones del campo: entonces ;

Si y entonces . 3. El conjunto K es completo: satisface el axioma del supremo: Todo conjunto no vaco y acotado superiormente tiene un supremo. Las primeras dos condiciones definen el concepto de campo ordenado, mientras que la tercera propiedad es de naturaleza topolgica y es la que diferencia al conjunto de los nmeros reales de todos los dems campos ordenados. Hay que hacer notar que, en principio pueden existir diferentes conjuntos que satisfagan las mismas condiciones y que podran ser diferentes al conjunto de los nmeros reales, pero un teorema establece que si eso sucediera, ambas estructuras seran esencialmente la misma. Cualquier campo ordenado que cumpla las tres propiedades mencionadas es isomorfo al conjunto de los nmeros reales. En vista de lo anterior podemos hablar de el conjunto de los nmeros reales (y no de un conjunto de nmeros reales) y estableciendo su unicidad se puede usar el smbolo para representarlo.

Nmero real Al enunciar la tercera propiedad en ocasiones se especifica que es completo en el sentido de Dedekind, pues

existen otros axiomas que se pueden usar y que, asumiendo las primeras dos condiciones, todos son lgicamente equivalentes. Algunos de estos son: (Cauchy) El conjunto K cumple que cualquier sucesin de Cauchy es convergente. (Bolzano-Weierstrass) El conjunto K cumple que cualquier sucesin acotada tiene una subsucesin convergente. Cualquier sucesin decreciente de intervalos cerrados tiene interseccin no vaca. Cada una de las primeras dos propiedades mencionadas al inicio de la seccin corresponden a su vez a otra serie de axiomas, de modo que si se hace un desglose, puede caracterizarse el conjunto de los nmeros reales como un conjunto que satisfaga la siguiente lista de axiomas. 1. Si 2. Si 3. Si 4. Existe 5. Para cada 6. Si 7. Si 8. Si 9. Existe 10. Para cada 11. Si 12. Si 13. 14. 15. 16. Si Si Si Si , y entonces (Transitividad) y , entonces (Monotona en la suma) , y , entonces (Monotona en la multiplicacin) es un conjunto no vaco acotado superiormente en , entonces tiene supremo en , entonces , entonces , entonces de manera que existe un elemento , entonces , entonces , entonces de manera que (Cerradura en la suma) (Conmutatividad en la suma) para todo tal que (Asociatividad en la suma) (Neutro aditivo) (Inverso aditivo)

(Cerradura en la multiplicacin) (Conmutatividad en la multiplicacin) (Asociatividad en la multiplicacin) para cualquier (Neutro multiplicativo) tal que (Inverso multiplicativo)

existe un elemento

, entonces (Distributividad de la multiplicacin en la suma) , entonces se cumple slo una de estas: (Tricotoma)

(Axioma

del supremo) Los axiomas del 1 al 15 corresponden a la estructura ms general de cuerpo ordenado. El ltimo axioma es el que distingue de otros cuerpos ordenados como . Debe sealarse que los axiomas 1 a 15 no constituyen una teora categrica ya que puede demostrarse que admiten al menos un modelo no estndar diferente de los nmeros reales, que es precisamente el modelo en el que se basa la construccin de los nmeros hiperreales

Construccin por nmeros decimales

Consideramos los nmeros decimales como los conocemos intuitivamente. Sabemos que , es decir, el nmero se expresa como el nmero entero 3 y una donde es un nmero entero y cada es un y se le y se le

secuencia infinita de dgitos 1, 4, 1, 5, 9, 2, etc. Un nmero decimal se expresa entonces como elemento del conjunto Al conjunto de todos los nmeros decimales donde llama el conjunto de los nmeros reales positivos. Al conjunto de todos los nmeros decimales donde llama el conjunto de los nmeros reales negativos. Al nmero decimal se le llama cero. es un nmero entero negativo se le denota por . Adems, consideramos que no existen las colas de 9. es un nmero entero positivo se le denota por

Nmero real Al conjunto 1. para todo se le denota por y se le llama conjunto de nmeros reales.

Se define la relacin de orden total de los nmeros decimales como 2. siempre que y 3. para todo 4. Dados dos nmeros reales cualesquiera de los casos siguientes: y adems existe tal que para todo y

en cualquiera

Construccin por cortaduras de Dedekind

Hay valores que no se pueden expresar como nmeros racionales, tal es el caso de se puede aproximar nmeros racionales en dos subconjuntos y de manera que en el conjunto . Sin embargo es claro que con nmeros racionales tanto como se desee. Podemos entonces partir al conjunto de los se encuentran todos los nmeros

racionales y en todos los nmeros racionales tales que . Una cortadura de dedekind es un par ordenado que hace precisamente esto. Conceptualmente, la cortadura es el "espacio" que hay entre Es posible demostrar que y . De esta manera es posible definir a como tal que se reduce y . queda unvocamente definido por

, de esta manera la cortadura

simplemente a . Tambin 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 Dedekind. Esta es la primera construccin formal de los nmeros reales bajo la teora de conjuntos.

Construccin por sucesiones de Cauchy

Las sucesiones de Cauchy retoman la idea de aproximar con nmeros racionales un nmero real. Tmese 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 aproxima ms y ms a .

. Cada vez que se aade un trmino, la expresin se

Las sucesiones de Cauchy generalizan este concepto para definir a los nmeros reales. Primero se define que una sucesin de nmeros racionales es una funcin se denota simplemente por . Una sucesin de Cauchy es una sucesin de nmeros racionales donde sus elementos cada vez son menos diferentes. Ms formalmente, se define una sucesin de Cauchy como una sucesin de nmeros racionales tales que para todo existe un tal que para todo se cumple . De esta manera es posible definir al nmero real como la sucesin de nmeros racionales:

Nmero real

Operaciones con nmeros reales

Con nmeros reales pueden realizarse todo tipo de operaciones bsicas con dos excepciones importantes: 1. No existen races de orden par (cuadradas, cuartas, sextas, etc.) de nmeros negativos en nmeros reales, (aunque s existen en el conjunto de los nmeros complejos donde dichas operaciones s estn definidas). 2. La divisin entre cero no est definida (pues cero no posee inverso multiplicativo, es decir, no existe nmero x tal que 0x=1). Estas dos restricciones tienen repercusiones en otras reas de las matemticas como el clculo: existen asntotas 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 presentara una divisin entre cero, o no existe grfica real en aquellos valores de la variable en que resulten nmeros negativos para races de orden par, por mencionar un ejemplo de construccin de grficas en geometra analtica.

Referencias
[1] Manual de matemticas (1985)Tsipkin, Editorial Mir, Mosc, traduccin de Shapovalova; pg. 86 [2] Ibdem [3] "El concepto de nmero de Nmero" (1973) Csar Trejo. La propuesta es de D. Hilbert que apareci en su clebre artculo en 1900: ber die Zahlbegriff pp. 82 y 83

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Nmero real. Commons Weisstein, Eric W. Nmero real (http:/ / mathworld. wolfram. com/ RealNumber. html) (en ingls). MathWorld. Wolfram Research.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Nmero real Fuente: http://es.wikipedia.org/w/index.php?oldid=70061653 Contribuyentes: 3coma14, Acratta, Akael, Algerani, Alvaro qc, Andre Engels, Andreasmperu, Antonorsi, Antur, Aparejador, AstroNomo, Aipni-Lovrij, Balderai, Banfield, Barymar, Bibliofilotranstornado, Bucephala, BuenaGente, C'est moi, CASF, Camiloalcubo2, Carloszelayeta, CayoMarcio, Charly Toluca, Charly genio, Chfiguer, Cyberplant, DJ Nietzsche, Daniel JG, Dark Bane, Dat, Davius, Diegusjaimes, Dnu72, Dreitmen, Eduardosalg, Ellinik, Emiduronte, Erfil, Fixertool, Foundling, Gemini1980, GermanX, Ggenellina, Gonis, Greek, Gsrdzl, Guanxito, HUB, Hawking, Helmy oved, Henry1103-2009, Humberto, Igna, Ingenioso Hidalgo, Isha, JABO, JMCC1, JaviP96, Javierito92, Jerowiki, Jkbw, Joseaperez, Juan Marquez, Kadellar, Kikegall, Klemen Kocjancic, Kn, KnightRider, Kved, Kybernia, Lauranrg, Lenincomp, Leonpolanco, Lfgg2608, Linkedark, LlamaAl, Lojano, Lsdelrio, MI GENERAL ZAPATA, MadriCR, Magister Mathematicae, Maldoror, Maleiva, Manw, Marianov, Martorell, Matdrodes, Matiasasb, Maveric149, Mel 23, Miguel, Miss Manzana, Montgomery, Moriel, Msdus, Muro de Aguas, Mutari, Nachosan, Nicop, Nioger, Nory caro, OMenda, Oscar ., Paintman, Parras, Peejayem, Petruss, Poco a poco, Point-set topologist, Plux, Quien sabe puede, Rastrojo, Raulshc, Ravave, Ricardogpn, Rovnet, Rubpe19, Rupert de hentzau, Sabbut, Santiadegillo123, Santiperez, Savh, Sebrev, Sigmanexus6, Snakeyes, Soulreaper, SuperBraulio13, Susleriel, Technopat, Thctase, Tirithel, Travelour, Txo, UA31, Vitamine, Vivero, Waka Waka, Walter closser, Wewe, Yeah2323, Youssefsan, conversion script, 418 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Nmeros reales.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Nmeros_reales.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Drini (Pedro Snchez) Archivo:Real number line.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Real_number_line.svg Licencia: Public Domain Contribuyentes: User:Phrood Archivo:Latex real numbers.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Latex_real_numbers.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: Arichnad Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab.

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/