Professional Documents
Culture Documents
a los nmeros irracionales (trascendentes y algebraicos), que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no peridicas, tales como: .
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. 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 (aunque ciertamente tcnicas) del concepto de nmero real.1 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.
[editar
imprecisiones.
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 del 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
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, " respectiva aproximacin decimal. Los matemticos usan el smbolo (o, de otra forma, representar el conjunto de todos los nmeros reales. ") en vez de su
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.
Existen diferentes formas de construir el conjunto de los nmeros reales a partir de axiomas, siendo la caracterizacin ms comn mediante las siguientes tres propiedades: Un conjunto es el conjunto de los nmeros reales si satisface las siguientes tres condiciones: 1. 2. es un campo. es un conjunto totalmente ordenado y el orden es compatible con las operaciones del campo: Si Si entonces 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. 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 suma) 4. Existe 5. Para cada aditivo) 6. Si 7. Si , entonces , entonces , entonces de manera que existe un elemento , entonces , entonces (Cerradura en la suma) (Conmutatividad en la suma) (Asociatividad en la para todo tal que (Neutro aditivo) (Inverso
8. Si , entonces (Asociatividad en la multiplicacin) 9. Existe de manera que para cualquier (Neutro multiplicativo) 10. Para cada existe un elemento tal que (Inverso multiplicativo) 11. Si , entonces (Distributividad de la multiplicacin en la suma) 12. Si , entonces se cumple slo una de estas: (Tricotoma)
o
o o
13. Si , y entonces (Transitividad) 14. Si y , entonces (Monotona en la suma) 15. Si , y , entonces (Monotona en la multiplicacin) 16. Si es un conjunto no vaco acotado superiormente en , entonces tiene supremo en (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 .
Al 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. Al 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. Al nmero decimal Al conjunto de nmeros reales. se le llama cero. se le denota por y se le llama conjunto
Se define la relacin de orden total de los nmeros decimales como 1. para todo 2. siempre que y 3. para todo 4. Dados dos nmeros reales cualesquiera y , en cualquiera de los casos siguientes:
o o
y adems existe
tal que
para todo
Hay 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. Podemos 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 dedekind es un par ordenado que hace precisamente esto. Conceptualmente, la cortadura es el "espacio" que hay entre y . De esta manera es posible definir a como . Es posible demostrar que cortadura queda unvocamente definido por . , de esta manera la tal que y
se reduce 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.
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 . Cada vez que se aade un trmino, la expresin se aproxima ms y ms a . 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 tal que para todo se cumple De esta manera es posible definir al nmero real racionales: existe un .