DEPARTAMENTO DE MATEMTICAS

CURSO DE VERANO
EVOLUCIN HISTRICA DEL CONCEPTO DE NMERO

EVOLUCIN HISTRICA DEL CONCEPTO DE NMERO (Tomado del texto de Mara Remedios Macas Hernndez)
A lo largo de la historia de la humanidad hemos precisado contar objetos y seres, representar medidas reales con smbolos, etc, a medida que
las necesidades de las sociedades humanas se iban haciendo mayores. Cada cultura concibi unos u otros sistemas de numeracin y smbolos
para expresarlos, que se fueron desarrollando a lo largo de la historia, perpetundose algunos, perdindose otros.
El estudio de los conjuntos numricos y su formalizacin, dentro de la Aritmtica y lgebra Elementales, constituye uno de los apartados ms
importantes para la posterior construccin del edificio matemtico. Pero no fue sino hasta el s. XVIII, cuando se produjo un intento de
fundamentacin lgico-matemtica de todos los conjuntos numricos conocidos por el hombre: con los trabajos de Peano, Cantor, Cauchy, Gauss,
Euler, Krnecker y Dedekind se construy definitivamente la Aritmtica Elemental.
Habitualmente, presentamos los diferentes conjuntos de nmeros de una manera didctica. Construimos los conjuntos y los dotamos de unas
propiedades. Luego, planteamos un problema tal que su solucin es la construccin de un nuevo conjunto que ample el anterior, respetando su
estructura y propiedades,... Comenzamos con el conjunto de los nmeros naturales,... La ecuacin x + a = b, con a > b, no tiene solucin.
Ampliamos con el conjunto de los nmeros enteros,...
La ecuacin ax = b, con a no divisor de b, no tiene solucin. Aparece el conjunto de los nmeros racionales,... Y resulta que el nmero que todos
conocemos, o el nmero que es la diagonal del cuadrado de lado 1, no estn en ese conjunto. Se ampla con los nmeros irracionales,
formando el conjunto de los reales. Y por ltimo, este conjunto no soluciona la ecuacin x2 + 1 = 0. Realizamos la ltima ampliacin, apareciendo
el conjunto de los nmeros complejos.

CONJUNTOS NUMRICOS
Nmeros naturales ( )
Concepto primitivo de nmero natural. El concepto de nmero se desarroll muy lentamente, a lo largo de la evolucin de la mente humana,
tras un proceso de abstraccin natural, que estaba ntimamente ligado a la vida diaria en todos sus aspectos.
Antiguamente, se defina la Matemtica como la ciencia del nmero, la magnitud y la forma. Estos conceptos comenzaron a desarrollarse primero
a partir de diferencias y contrastes entre elementos del entorno del hombre primitivo, y luego a partir de semejanzas.
El primer procedimiento aritmtico de la historia comenz con el artificio que llamamos correspondencia biunvoca. Este procedimiento permita
a cualquier persona la posibilidad de comparar dos conjuntos, aunque no tuviesen la misma naturaleza. Se evitaba as contar de forma abstracta,
ya que no se saba. Ms tarde, el proceso dialctico ascendente de pensamiento constat que entre conjuntos con el mismo nmero de elementos
hay ciertas igualdades y semejanzas. Por ejemplo, el hombre diferenci entre un lobo y muchos lobos, para ms adelante establecer
relaciones o equivalencias entre un lobo, un arco, un guerrero, etc., momento en el cual tiene su gnesis el concepto de unidad.
De la misma forma se percataron de la relacin existente entre pares de objetos relacionados: las manos y los pies, el hombre y la mujer, el da y
la noche, la vida y la muerte, proceso que culmin con el concepto de par y dos. Parece ser que durante milenios los nicos nmeros
concebidos por la mente humana eran el uno, el dos, hablando a continuacin de multitud, segn indican numerosos estudios
antropolgicos del lenguaje de algunas tribus primitivas.
Justificacin de los nmeros naturales. Ya se ha dicho que el concepto de nmero natural se pierde en la antigedad, y est estrechamente
ligado a la naturaleza y actividades cotidianas del hombre. Matemticamente, existen varias vas para su construccin: una axiomtica, seguida
por el matemtico Peano en el siglo XIX, y otra conjuntista, a travs de la nocin de cardinal (Cantor, Frege, Rusell).
Axiomtica de Peano. Los axiomas de Peano (matemtico, lgico y filsofo italiano, 1858-1932) no se ocupan del significado de "nmero natural",
sino que lo suponen y pretenden encontrar un sistema simple de axiomas que caractericen los nmeros naturales y nos permitan deducir a partir
de estos, todas las propiedades de los nmeros naturales, utilizando las reglas de la lgica. Se trata, pues de una va ms artificial.
Supuesta la existencia del conjunto con infinitos elementos, que denotaremos por 1, 2, 3, los cinco axiomas de Peano son los siguientes:
1.

El 1 es un nmero natural.

2.

Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural.

3.

El 1 no es el sucesor de ningn nmero natural.

4.

Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural.

5.

Si el 1 pertenece a un conjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a ese conjunto,
entonces todos los nmeros naturales pertenecen a ese conjunto. Este es el axioma de induccin, y captura la idea de induccin
matemtica.

= {, , , , , }
Nmeros enteros ( )
En la vida real, el hombre se percat de la necesidad de expresar las cantidades de magnitudes que presentaban un doble sentido: uno positivo,
otro negativo, dentro de un sistema de medida. Los nmeros negativos antiguamente conocidos como nmeros deudos o nmeros absurdos,
datan de una poca donde el inters central era la de convivir con los problemas cotidianos de la naturaleza.
Las primeras manifestaciones de su uso se remontan al siglo V, en oriente (China), y no llega hasta occidente hasta el siglo XVI. En oriente se
manipulaban nmeros positivos y negativos, estrictamente se utilizaba los bacos, usando tablillas o bolas de diferentes colores, y tambin varillas
de color rojo (negativos) y negro (positivo). La formalizacin de los nmeros enteros es mucho ms artificial que la de los racionales, de modo
que a lo largo de la Historia no fue hasta el s. XVI cuando apareci, debido a las dificultades que entraan para la mente humana.
Hubo que esperar al s. XIX para que Weierstrass diera el modelo de los nmeros enteros, definindolos como clases de pares de naturales
mediante una relacin de equivalencia obvia que permita la resta de naturales.
Existe, no obstante, un problema sin solucin en : la ecuacin ax = b, con a no nulo, admite solucin nicamente cuando b es mltiplo de a.
Debido a esto, en cualquier otro caso, necesitaremos de otro cuerpo que extienda a en el que s exista solucin a dicha ecuacin.

= { , , , , , , , , , , , , }
Nmeros racionales ( )
Existen dos razones que nos llevan a ampliar el concepto de nmero entero al de racional: el problema de la medida y su expresin numrica, y
dar solucin al problema de la divisin exacta en .
En general los nmeros racionales son los que se pueden expresar como cociente de dos nmeros enteros a/b (con b 0). El conjunto de los
nmeros racionales est compuesto por los nmeros enteros y por los fraccionarios. Se pueden sumar, restar, multiplicar y dividir (salvo por cero)
y el resultado de todas esas operaciones entre dos nmeros racionales es siempre otro nmero racional.
Nmeros irracionales ( )
La introduccin de los distintos sistemas de nmeros no ha sido secuencial. El estudio de los nmeros irracionales comenz con la aparicin de
los primeros ejemplos de estos nmeros "raros", seis siglos antes de Cristo. As en el siglo VII a.C., los griegos descubrieron las magnitudes
irracionales, es decir, nmeros que no pueden ser expresados a travs de una fraccin, al comparar la diagonal y el lado de un pentgono regular
o la diagonal y el lado de un cuadrado, estando tambin familiarizados con la extraccin de las races cuadradas y cbicas, sin embargo, no
conocan los nmeros negativos y el cero, ni tampoco tenan un sistema de smbolos literales bien desarrollado.
Nmeros reales ( )
Desde el punto de vista geomtrico, el problema de la medida a que hemos aludido es el siguiente: todo racional puede representarse como un
punto en la recta, que fijando un origen, ser la medida del segmento OP. Hay, no obstante, segmentos que no tienen medida, pues no contienen
un nmero exacto de veces a otro de su misma especie adoptado como unidad (o a partir de este). La extensin de a tambin se ve
motivada ya que no siempre son posibles las operaciones inversas a de la potenciacin, a saber: la radicacin y la logaritmacin.
Nmeros complejos ( )
El concepto de nmero complejo no surge como una necesidad real del hombre para conocer y observar el universo; sino de una necesidad
puramente algebraica, para la resolucin de ecuaciones. El primer gran paso hacia la instalacin definitiva de los nmeros complejos en la
Matemtica se debe a Euler (17071783). Este hizo una cosa muy sencilla, y al mismo tiempo de un enorme alcance: defini un nuevo nmero,
al que llamo i (imaginario): = , y le dio el mismo estatus de existencia que a los nmeros reales. De l afirmo que no era ni mayor, ni menor,
ni igual a ningn nmero real, y defini las reglas de suma y multiplicacin de este nmero que hoy conocemos. En particular la conocida =
. Los nmeros complejos son aquellos que pueden expresarse en la forma a + bi, donde a, b .