Professional Documents
Culture Documents
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.
ndice
[ocultar]
1 Historia
o 1.1 Evolucin del concepto de nmero
2 Notacin
6 Vase tambin
7 Referencias
8 Enlaces externos
[editar] Historia
Los egipcios utilizaron por primera vez las fracciones comunes alrededor del ao 1000 a.
C.; alrededor del 500 a. 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 utilizaba un conjunto de nmeros reales sin una definicin
concisa, 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.
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
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
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.2 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.3 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
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:
[editar] 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, "
aproximacin decimal.
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.
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
;
.
tiene
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
, entonces
2. Si
, entonces
3. Si
suma)
, entonces
4. Existe
de manera que
5. Para cada
aditivo)
(Conmutatividad en la suma)
(Asociatividad en la
para todo
existe un elemento
6. Si
, entonces
7. Si
, entonces
8. Si
(Cerradura en la suma)
, entonces
(Neutro aditivo)
tal que
(Inverso
(Cerradura en la multiplicacin)
(Conmutatividad en la multiplicacin)
(Asociatividad en la multiplicacin)
9. Existe
de manera que
para cualquier
existe un elemento
11. Si
, entonces
multiplicacin en la suma)
12. Si
(Neutro multiplicativo)
tal que
(Inverso
(Distributividad de la
13. Si
14. Si
, entonces
15. Si
,
multiplicacin)
entonces
, entonces
(Transitividad)
(Monotona en la suma)
(Monotona en la
16. Si
es un conjunto no vaco acotado superiormente en
supremo en (Axioma del supremo)
, entonces
tiene
donde es un nmero
. Adems,
se le llama cero.
Al conjunto
nmeros reales.
se le denota por
y se le llama conjunto de
para todo
2.
siempre que
3.
para todo
y adems existe
tal que
para todo
Hay valores que no se pueden expresar como nmeros racionales, tal es el caso de
. Sin
y en
como
tal que
.
Es posible demostrar que
cortadura
se reduce simplemente a
, de esta manera la
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
todo
se cumple
.
De esta manera es posible definir al nmero real
existe un
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.