Professional Documents
Culture Documents
1 Historia
1
2 1 HISTORIA
materia: desde la antigua Grecia y pasando por matem- tendran que tratarse por separado, hecho que tuvo con-
ticos como Descartes, Newton, Leibniz, Euler, Lagrange, secuencias en el desarrollo de la matemtica durante los
Gauss, Riemann, Cauchy y Weierstrass. dos milenios siguientes.[4]
Los griegos desarrollaron una geometra basada en com-
paraciones (proporciones) de segmentos sin hacer refe-
1.1 Evolucin del concepto de nmero rencia a valores numricos, usando diversas teoras para
manejar el caso de medidas inconmensurables, como la
Se sabe que los egipcios y babilnicos hacan uso de frac- teora de proporciones de Eudoxo. As, los nmeros irra-
ciones (nmeros racionales) en la resolucin de proble- cionales permanecieron a partir de entonces excluidos de
mas prcticos. Sin embargo, fue con el desarrollo de la la aritmtica puesto que slo podan ser tratados median-
matemtica griega cuando se consider el aspecto los- te el mtodo de innitas aproximaciones. Por ejemplo,
co de nmero. Los pitagricos descubrieron que las re- los pitagricos encontraron (en notacin moderna) que si
laciones armnicas entre las notas musicales correspon- a
b es una aproximacin a 2 entonces p = a + 2b y q =
dan a cocientes de nmeros enteros, lo que les inspir a a + b son tales que p q es una aproximacin ms precisa.
buscar proporciones numricas en todas las dems cosas, Repitiendo el proceso nuevamente se obtienen mayores
y lo expresaron con la mxima todo es nmero. nmeros que dan una mejor aproximacin.[5] Dado que
En la matemtica griega, dos magnitudes son conmensu- las longitudes que expresan los nmeros irracionales po-
rables si es posible encontrar una tercera tal que las pri- dan ser obtenidas mediante procesos geomtricos sen-
meras dos sean mltiplos de la ltima, es decir, es posible cillos pero, aritmticamente, slo mediante procesos de
encontrar una unidad comn para la que las dos magni- innitas aproximaciones, origin que durante 2000 aos
tudes tengan una medida entera. El principio pitagrico la teora de los nmeros reales fuese esencialmente geo-
de que todo nmero es un cociente de enteros, expresaba mtrica, identicando los nmeros reales con los puntos
en esta forma que cualesquiera dos magnitudes deben ser de una lnea recta.
conmensurables. Nuevos avances en el concepto de nmero real espera-
Sin embargo, el ambicioso proyecto pitagrico se tam- ron hasta los siglos XVI y XVII, con el desarrollo de la
bale ante el problema de medir la diagonal de un cua- notacin algebraica, lo que permiti la manipulacin y
drado, o la hipotenusa de un tringulo rectngulo, pues operacin de cantidades sin hacer referencia a segmentos
no es conmensurable respecto de los catetos. En notacin y longitudes. Por ejemplo, se encontraron frmulas para
moderna, un tringulo rectngulo cuyos catetos miden 1, resolver ecuaciones de segundo y tercer grado de forma
tiene una hipotenusa que mide raz cuadrada de dos 2: mecnica mediante algoritmos, los cuales incluan races
e incluso, en ocasiones, nmeros no reales (lo que aho-
ra conocemos como nmeros complejos). Sin embargo,
Si 2 = p q es un nmero ra- no exista an un concepto formal de nmero y se segua
cional donde p q est reducido a sus dando primaca a la geometra como fundamento de toda
trminos mnimos (sin factor co- la matemtica. Incluso con el desarrollo de la geometra
mn) entonces 2q2 = p2 . analtica este punto de vista se mantena vigente, pues
La expresin anterior indica que p2 Descartes rechazaba la idea que la geometra pudiera fun-
es un nmero par y por tanto p tam- damentarse en nmeros, puesto que para l la nueva rea
bin, es decir, p = 2m. Sustituyen- era simplemente una herramienta para resolver proble-
do obtenemos 2q2 = (2m)2 = 4m2 , mas geomtricos.
y por tanto q2 = 2m2 .
Posteriormente, la invencin del clculo abri un perodo
Pero el mismo argumento usado de grandes avances matemticos, con nuevos y poderosos
nos dice ahora que q debe ser un mtodos que permitieron por vez primera atacar los pro-
nmero par, esto es, q = 2n. Mas blemas relacionados con lo innito mediante el concepto
esto es imposible, puesto que p y q de lmite. As, un nmero irracional pudo ser entendido
no tienen factores comunes (y he- como el lmite de una suma innita de nmeros raciona-
mos encontrado que 2 es un factor les (por ejemplo, su expansin decimal). Como muestra,
de ambos). el nmero puede estudiarse de forma algebraica (sin
Por tanto, la suposicin misma de apelar a la intuicin geomtrica) mediante la serie:
que 2 es un nmero racional debe
ser falsa. ( )
= k4 11 3 + 5 7 +
1 1 1
=
4 k=0 (1) 2k+1
Surgi entonces un dilema, ya que de acuerdo al princi-
pio pitagrico: todo nmero era racional, mas la hipote- entre muchas otras expresiones similares. Para entonces,
nusa de un tringulo rectngulo issceles no era conmen- el concepto intuitivo de nmero real era ya el moderno,
surable con los catetos, lo cual implic que en adelante identicando sin problema un segmento con la medida
las magnitudes geomtricas y las cantidades numricas de su longitud (racional o no). El clculo abri el paso
3
al anlisis matemtico, que estudia conceptos como con- maneraexacta usando su denicin algebraica (por ejem-
tinuidad, convergencia, etc. Pero el anlisis no contaba plo, " 2 ") en vez de su respectiva aproximacin deci-
con deniciones rigurosas y muchas de las demostracio- mal.
nes apelaban an a la intuicin geomtrica. Esto conllev Los matemticos usan el smbolo R (o, de otra forma,
a una serie de paradojas e imprecisiones. R , la letra "R" en negrita) para representar el conjunto
de todos los nmeros reales. La notacin matemtica Rn
se reere a un espacio de n dimensiones de los nmeros
2 Notacin reales; por ejemplo, un valor R3 consiste de tres nmeros
reales y determina un lugar en un espacio de tres dimen-
siones.
En matemtica, la palabra real se usa como adjetivo,
con el signicado de que el campo subyacente es el campo
de los nmeros reales. Por ejemplo, matriz real, funcin
real, y lgebra de Lie real.
Un ejemplo de nmero trascendente es ln 3 los nmeros reales de todos los dems campos ordenados.
=
1,09861228866811 . . . Hay que hacer notar que, en principio pueden existir di-
ferentes conjuntos que satisfagan las mismas condiciones
El conjunto de los nmeros algebraicos se designa me- y que podran ser diferentes al conjunto de los nmeros
diante A . reales, pero un teorema establece que si eso sucediera,
ambas estructuras seran esencialmente la misma.
En vista de lo anterior podemos hablar de el conjunto
3.3 Computables e irreductibles de los nmeros reales (y no de un conjunto de nmeros
reales) y estableciendo su unicidad se puede usar el sm-
Un nmero real se dice computable si tiene una bolo para representarlo.
complejidad de Kolmogrov nita, es decir, si puede es-
cribirse un programa informtico de extensin nita que Al enunciar la tercera propiedad en ocasiones se especi-
genere los dgitos de dicho nmero. Si un nmero real ca que es completo en el sentido de Dedekind, pues
no es computable se dice irreductible. Una denicin de existen otros axiomas que se pueden usar y que, asumien-
nmero irreductible es: do las primeras dos condiciones, todos son lgicamente
equivalentes. Algunos de estos son:
El conjunto de nmeros reales computables se designa
por Rcomp . Obviamente los racionales y los algebraicos
(Cauchy) El conjunto K cumple que cualquier
son nmeros computables. De hecho se tiene la siguiente
sucesin de Cauchy es convergente.
inclusin:
(Bolzano-Weierstrass) El conjunto K cumple que
Q A Rcomp cualquier sucesin acotada tiene una subsucesin
convergente.
Adems se tiene que todos estos conjuntos son Cualquier sucesin decreciente de intervalos cerra-
numerables: dos I1 I2 I3 tiene interseccin no vaca.
card|Q| = card|A| = card|Rcomp | = 0 Cada una de las primeras dos propiedades mencionadas
al inicio de la seccin corresponden a su vez a otra serie
Esto implica que el conjunto de todos los nmeros de axiomas, de modo que si se hace un desglose, puede
computables es un conjunto de medida nula. caracterizarse el conjunto de los nmeros reales como un
conjunto que satisfaga la siguiente lista de axiomas.
El axioma del supremo es una variante del Principio 8. Si x, y, z R , entonces (xy)z = x(yz) (Asocia-
de Weirstrass que dice que toda sucesin de nmeros tividad en la multiplicacin)
reales acotada superiormente tiene supremo
9. Existe 1 R de manera que x 1 = 1 x = x para
cualquier x R (Neutro multiplicativo)
Las primeras dos condiciones denen el concepto de
campo ordenado, mientras que la tercera propiedad es de 10. Para cada x = 0, x R existe un elemento x1
naturaleza topolgica y es la que diferencia al conjunto de R tal que x1 x = 1 (Inverso multiplicativo)
4.3 Construccin por cortaduras de Dedekind 5
sin embargo el resultado nal es el nmero irracional . 1. No existen races de orden par (cuadradas, cuar-
Cada vez que se aade un trmino, la expresin se apro- tas, sextas, etc.) de nmeros negativos en nme-
xima ms y ms a . ros reales, (aunque s existen en el conjunto de los
Las sucesiones de Cauchy generalizan este concepto para nmeros complejos donde dichas operaciones s es-
denir a los nmeros reales. Primero se dene que una tn denidas).
sucesin de nmeros racionales es una funcin se denota 2. La divisin entre cero no est denida (pues cero
simplemente por xi . no posee inverso multiplicativo, es decir, no existe
Una sucesin de Cauchy es una sucesin de nmeros ra- nmero x tal que 0x=1).
cionales donde sus elementos cada vez son menos diferen-
tes. Ms formalmente, se dene una sucesin de Cauchy 3. No se puede hallar el logaritmo de un nmero real
como una sucesin de nmeros racionales tales que pa- negativo, cualquiera sea la base de logaritmos, un
ra todo Q+ existe un n0 N tal que para todo nmero positivo distinto de 1.[10]
m, n n0 se cumple |xm xn | < .
De esta manera es posible denir al nmero real como Estas restricciones tienen repercusiones en otras reas de
la sucesin de nmeros racionales: las matemticas como el clculo: existen asntotas verti-
cales en los lugares donde el denominador de una funcin
racional tiende a cero, es decir, en aquellos valores de la
4(1)n
i variable en los que se presentara una divisin entre cero,
xi = o no existe grca real en aquellos valores de la variable
n=0
2n + 1 en que resulten nmeros negativos para races de orden
par, por mencionar un ejemplo de construccin de gr-
cas en geometra analtica.
4.4.1 Denicin de los nmeros reales
5 Operaciones con nmeros reales [1] Arias Cabezas, Jos Mara; Maza Sez, Ildefonso (2008).
Aritmtica y lgebra. En Carmona Rodrguez, Manuel;
Daz Fernndez, Francisco Javier. Matemticas 1. Madrid:
Con nmeros reales pueden realizarse todo tipo de ope- Grupo Editorial Bruo, Sociedad Limitada. p. 13. ISBN
raciones bsicas con diversas excepciones importantes: 9788421659854.
7
9 Enlaces externos
10.2 Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public do-
main Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:Latex_real_numbers.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/3/39/Latex_real_numbers.svg Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Arichnad
Archivo:Nmeros_reales.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/47/N%C3%BAmeros_reales.svg Licencia:
GFDL Colaboradores: Trabajo propio Artista original: Drini (Pedro Snchez)
Archivo:Oudjat.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/25/Oudjat.svg Licencia: CC-BY-SA-3.0 Colaborado-
res: ? Artista original: ?
Archivo:Real_number_line.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d7/Real_number_line.svg Licencia: Public
domain Colaboradores: http://www.ams.org/tex/type1-fonts.html Artista original: User:Phrood