Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 Historia
1
2 1 HISTORIA
materia: desde la antigua Grecia y pasando por matemá- tendrían que tratarse por separado, hecho que tuvo con-
ticos como Descartes, Newton, Leibniz, Euler, Lagrange, secuencias en el desarrollo de la matemática durante los
Gauss, Riemann, Cauchy y Weierstrass. dos milenios siguientes.[3]
Los griegos desarrollaron una geometría basada en com-
paraciones (proporciones) de segmentos sin hacer refe-
1.1 Evolución del concepto de número rencia a valores numéricos, usando diversas teorías para
manejar el caso de medidas inconmensurables, como la
Se sabe que los egipcios y babilónicos hacían uso de frac- teoría de proporciones de Eudoxo. Así, los números irra-
ciones (números racionales) en la resolución de proble- cionales permanecieron a partir de entonces excluidos de
mas prácticos. Sin embargo, fue con el desarrollo de la la aritmética puesto que sólo podían ser tratados median-
matemática griega cuando se consideró el aspecto filosó- te el método de infinitas aproximaciones. Por ejemplo,
fico de número. Los pitagóricos descubrieron que las re- los pitagóricos encontraron (en notación moderna) que si
laciones armónicas entre las notas musicales correspon- a
⁄b es una aproximación a √2 entonces p = a + 2b y q =
dían a cocientes de números enteros, lo que les inspiró a a + b son tales que p ⁄q es una aproximación más precisa.
buscar proporciones numéricas en todas las demás cosas, Repitiendo el proceso nuevamente se obtienen mayores
y lo expresaron con la máxima «todo es número». números que dan una mejor aproximación.[4] Dado que
En la matemática griega, dos magnitudes son conmensu- las longitudes que expresan los números irracionales po-
rables si es posible encontrar una tercera tal que las pri- dían ser obtenidas mediante procesos geométricos sen-
meras dos sean múltiplos de la última, es decir, es posible cillos pero, aritméticamente, sólo mediante procesos de
encontrar una unidad común para la que las dos magni- infinitas aproximaciones, originó que durante 2000 años
tudes tengan una medida entera. El principio pitagórico la teoría de los números reales fuese esencialmente geo-
de que todo número es un cociente de enteros, expresaba métrica, identificando los números reales con los puntos
en esta forma que cualesquiera dos magnitudes deben ser de una línea recta.
conmensurables. Nuevos avances en el concepto de número real espera-
Sin embargo, el ambicioso proyecto pitagórico 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- notación algebraica, lo que permitió la manipulación y
drado, o la hipotenusa de un triángulo rectángulo, pues operación de cantidades sin hacer referencia a segmentos
no es conmensurable respecto de los catetos. En notación y longitudes. Por ejemplo, se encontraron fórmulas para
moderna, un triángulo rectángulo cuyos catetos miden 1, resolver ecuaciones de segundo y tercer grado de forma
tiene una hipotenusa que mide raíz cuadrada de dos √2: mecánica mediante algoritmos, los cuales incluían raíces
e incluso, en ocasiones, «números no reales» (lo que aho-
ra conocemos como números complejos). Sin embargo,
Si √2 = p ⁄q es un número ra- no existía aún un concepto formal de número y se seguía
cional donde p ⁄q está reducido a sus dando primacía a la geometría como fundamento de toda
términos mínimos (sin factor co- la matemática. Incluso con el desarrollo de la geometría
mún) entonces 2q2 = p2 . analítica este punto de vista se mantenía vigente, pues
La expresión anterior indica que p2 Descartes rechazaba la idea que la geometría pudiera fun-
es un número par y por tanto p tam- damentarse en números, puesto que para él la nueva área
bién, es decir, p = 2m. Sustituyen- era simplemente una herramienta para resolver proble-
do obtenemos 2q2 = (2m)2 = 4m2 , mas geométricos.
y por tanto q2 = 2m2 .
Posteriormente, la invención del cálculo abrió un período
Pero el mismo argumento usado de grandes avances matemáticos, con nuevos y poderosos
nos dice ahora que q debe ser un métodos que permitieron por vez primera atacar los pro-
número par, esto es, q = 2n. Mas blemas relacionados con lo infinito mediante el concepto
esto es imposible, puesto que p y q de límite. Así, un número irracional pudo ser entendido
no tienen factores comunes (y he- como el límite de una suma infinita de números raciona-
mos encontrado que 2 es un factor les (por ejemplo, su expansión decimal). Como muestra,
de ambos). el número π puede estudiarse de forma algebraica (sin
Por tanto, la suposición misma de apelar a la intuición geométrica) mediante la serie:
que √2 es un número 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 pitagórico: todo número era racional, mas la hipote- entre muchas otras expresiones similares. Para entonces,
nusa de un triángulo rectángulo isósceles no era conmen- el concepto intuitivo de número real era ya el moderno,
surable con los catetos, lo cual implicó que en adelante identificando sin problema un segmento con la medida
las magnitudes geométricas y las cantidades numéricas de su longitud (racional o no). El cálculo abrió el paso
3
al análisis matemático, que estudia conceptos como con- manera√exacta usando su definición algebraica (por ejem-
tinuidad, convergencia, etc. Pero el análisis no contaba plo, " 2 ") en vez de su respectiva aproximación deci-
con definiciones rigurosas y muchas de las demostracio- mal.
nes apelaban aún a la intuición geométrica. Esto conllevó Los matemáticos usan el símbolo 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 números reales. La notación matemática Rn
se refiere a un espacio de n dimensiones de los números
2 Notación reales; por ejemplo, un valor R3 consiste de tres números
reales y determina un lugar en un espacio de tres dimen-
siones.
En matemática, la palabra “real” se usa como adjetivo,
con el significado de que el campo subyacente es el campo
de los números reales. Por ejemplo, matriz real, función
real, y Álgebra de Lie real.
Un ejemplo de número trascendente es ln 3 los números reales de todos los demás 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 números algebraicos se designa me- y que podrían ser diferentes al conjunto de los números
diante A . reales, pero un teorema establece que si eso sucediera,
ambas estructuras serían esencialmente la misma.
En vista de lo anterior podemos hablar de el conjunto
3.3 Computables e irreductibles de los números reales (y no de un conjunto de números
reales) y estableciendo su unicidad se puede usar el sím-
Un número real se dice computable si tiene una bolo ℝ para representarlo.
complejidad de Kolmogórov finita, es decir, si puede es-
cribirse un programa informático de extensión finita que Al enunciar la tercera propiedad en ocasiones se especi-
genere los dígitos de dicho número. Si un número real fica que ℝ es completo en el sentido de Dedekind, pues
no es computable se dice irreductible. Una definición de existen otros axiomas que se pueden usar y que, asumien-
número irreductible es: do las primeras dos condiciones, todos son lógicamente
equivalentes. Algunos de estos son:
El conjunto de números reales computables se designa
por Rcomp . Obviamente los racionales y los algebraicos
• (Cauchy) El conjunto K cumple que cualquier
son números computables. De hecho se tiene la siguiente
sucesión de Cauchy es convergente.
inclusión:
• (Bolzano-Weierstrass) El conjunto K cumple que
Q ⊂ A ⊂ Rcomp cualquier sucesión acotada tiene una subsucesión
convergente.
Además se tiene que todos estos conjuntos son • Cualquier sucesión decreciente de intervalos cerra-
numerables: dos I1 ⊇ I2 ⊇ I3 ⊇ · · · tiene intersección no vacía.
card|Q| = card|A| = card|Rcomp | = ℵ0 Cada una de las primeras dos propiedades mencionadas
al inicio de la sección corresponden a su vez a otra serie
Esto implica que el conjunto de todos los números de axiomas, de modo que si se hace un desglose, puede
computables es un conjunto de medida nula. caracterizarse el conjunto de los números 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 sucesión de números tividad en la multiplicación)
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 definen el concepto de
campo ordenado, mientras que la tercera propiedad es de 10. Para cada x ̸= 0, x ∈ R existe un elemento x−1 ∈
naturaleza topológica y es la que diferencia al conjunto de R tal que x−1 x = 1 (Inverso multiplicativo)
4.3 Construcción por cortaduras de Dedekind 5
sin embargo el resultado final es el número irracional π . 1. No existen raíces de orden par (cuadradas, cuar-
Cada vez que se añade un término, la expresión se apro- tas, sextas, etc.) de números negativos en núme-
xima más y más a π . ros reales, (aunque sí existen en el conjunto de los
Las sucesiones de Cauchy generalizan este concepto para números complejos donde dichas operaciones sí es-
definir a los números reales. Primero se define que una tán definidas).
sucesión de números racionales es una función se denota 2. La división entre cero no está definida (pues cero
simplemente por xi . no posee inverso multiplicativo, es decir, no existe
Una sucesión de Cauchy es una sucesión de números ra- número x tal que 0·x=1).
cionales donde sus elementos cada vez son menos diferen- 3. No se puede hallar el logaritmo de un número real
tes. Más formalmente, se define una sucesión de Cauchy negativo, cualquiera sea la base de logaritmos, un
como una sucesión de números racionales tales que pa- número positivo distinto de 1.[9]
ra todo ϵ ∈ Q+ existe un n0 ∈ N tal que para todo
m, n ≥ n0 se cumple |xm − xn | < ϵ .
Estas restricciones tienen repercusiones en otras áreas de
De esta manera es posible definir al número real π como las matemáticas como el cálculo: existen asíntotas verti-
la sucesión de números racionales: cales en los lugares donde el denominador de una función
racional tiende a cero, es decir, en aquellos valores de la
variable en los que se presentaría una división entre cero,
∑ i
4(−1)n o no existe gráfica real en aquellos valores de la variable
xi = en que resulten números negativos para raíces de orden
2n + 1
n=0 par, por mencionar un ejemplo de construcción de gráfi-
cas en geometría analítica.
4.4.1 Definición de los números reales
5 Operaciones con números reales [2] Anglin, W. S. (1991). Mathematics: A concise history and
philosophy. Springer. ISBN 3-540-94280-7.
Con números reales pueden realizarse todo tipo de ope- [3] Dantzig, Tobias (1955). The Bequest of the Greeks. Lon-
raciones básicas con diversas excepciones importantes: don: Unwin Brothers LTD. 3982581.
7
9 Enlaces externos
10.2 Imágenes
• 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:Números_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 Sánchez)
• 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