Você está na página 1de 10

Nmero

Para el concepto lingstico vase Nmero gramatical.

ro no racional. Puede demostrarse que cualquier nmero irracional puede representarse como una sucesin de
Cauchy de nmeros racionales que se aproximan a un lmite numrico. El conjunto de todos los nmeros racionales y los irracionales (obtenidos como lmites de sucesiones de Cauchy de nmeros racionales) es el conjunto de los nmeros reales R . Durante un tiempo se pens que toda magnitud fsica existente poda ser expresada en trminos de nmeros reales exclusivamente. Entre
los reales, existen nmeros que no son soluciones de una
ecuacin polinomial o algebraica, que reciben el nombre
de transcendentales. Ejemplos famosos de estos nmeros
son el nmero (Pi) y el nmero e (este ltimo base de los
logaritmos naturales), los cuales estn relacionados entre
s por la identidad de Euler.

Un nmero, en ciencia, es un concepto que expresa una


cantidad en relacin a su unidad. Tambin puede indicar
el orden de una serie (nmeros ordinales). Tambin, en
sentido amplio, indica el carcter grco que sirve para
representarlo; dicho signo grco de un nmero recibe el
nombre de numeral o cifra. El que se escribe con un solo
guarismo se llama dgito.[1]

En matemtica moderna, el concepto de nmero incluye abstracciones tales como nmeros fraccionarios,
negativos, irracionales, trascendentales, complejos (todos
ellos con correlatos fsicos claros) y tambin nmeros
de tipo ms abstracto como los nmeros hipercomplejos
Uno de los problemas de los nmeros reales es que no forque generalizan el concepto de nmero complejo o los
man un cuerpo algebraicamente cerrado, por lo que ciernmeros hiperreales, los superreales y los surreales que
tos problemas no tienen solucin planteados en trminos
incluyen a los nmeros reales como subconjunto.
de nmeros reales. Esa es una de las razones por las cuales
se introdujeron los nmeros complejos C , que son el mnimo cuerpo algebraicamente cerrado que contiene a los
1 Tipos de nmeros
nmeros reales. Adems algunas aplicaciones prcticas
as como en las formulaciones estndar de la mecnica
Los nmeros ms conocidos son los nmeros naturales. cuntica se considera til introducir los nmeros compleDenotados mediante N , son conceptualmente los ms jos. Al parecer la estructura matemtica de los nmeros
simples y los que se usan para contar unidades discretas. complejos reeja estructuras existentes en problemas fstos, conjuntamente con los nmeros negativos, con- sicos, por lo que en fsica terico y en diversas aplicacioforman el conjunto de los enteros, denotados mediante nes los nmeros complejos se usan en pie de igualdad con
Z (del alemn Zahlen 'nmeros). Los nmeros negati- los nmeros reales, a pesar de que inicialmente fueron
vos permiten representar formalmente deudas, y permi- considerados nicamente como un articio matemtico
ten generalizar la resta de cualesquiera dos nmeros na- sin relacin con la realidad fsica. Todos los conjuntos de
nmeros N, Z, Q, R, C fueron de alguna manera descuturales.
biertos o sugeridos en conexin con problemas planteaOtro tipo de nmeros ampliamente usados son nmeros dos en problemas fsicos o en el seno de la matemtica
fraccionarios, y tanto cantidades inferiores a una unidad, elemental y todos ellos parecen tener importantes conecomo nmeros mixtos (un conjunto de unidades ms una xiones con la realidad fsica.
parte inferior a la unidad). Los nmeros fraccionarios
pueden ser expresados siempre como cocientes de ente- Fuera de los nmeros reales y complejos, claramente coros. El conjunto de todos los nmeros fraccionarios es el nectados con problemas de las ciencias naturales, existen
conjunto de los nmeros racionales (que usualmente se otros tipos de nmeros que generalizan an ms y extiendene para que incluya tanto a los racionales positivos, den el concepto de nmero de una manera ms abstracta
como a los racionales negativos y el cero). Este conjunto y responden ms a creaciones deliberadas de matemticos. La mayora de estas generalizaciones del concepto
de nmeros de designa como Q .
de nmero se usan slo en matemticas, aunque algunos
Los nmeros racionales permiten resolver gran cantidad de ellos han encontrado aplicaciones para resolver cierde problemas prcticos, pero desde los antiguos griegos tos problemas fsicos. Entre ellos estn los nmeros hise conoce que ciertas relaciones geomtricas (la diagonal percomplejos que incluyen a los cuaterniones tiles pade un cuadrado de lado unidad) son nmeros no en- ra representar rotaciones en un espacio de tres dimenteros que tampoco son racionales. Igualmente, la solu- siones, y generalizaciones de etos como octoniones y los
cin numrica de una ecuacin polinmica cuyos coe- sedeniones.
cientes son nmeros racionales, usualmente es un nme1

1 TIPOS DE NMEROS

A un nivel un poco ms abstracto tambin se han ideado conjuntos de nmeros capaces de tratar con cantidades innitas e innitesimales como los hiperreales y los
transnitos.

naturales: N
enteros: Z

Enumeracin de los tipos

cero: 0
enteros negativos

racionales: Q

exacto

reales: R

1.1

uno: 1
primos
compuestos

complejos: C

fraccionarios
irracionales

peridico

puro
mixto

imaginarios

La teora de los nmeros trata bsicamente de las propiedades de los nmeros naturales y los enteros, mientras
que las operaciones del lgebra y el clculo permiten denir la mayor parte de los sistemas numricos, entre los 1.2
cuales estn:
Nmeros naturales
Nmero primo

Nmeros naturales especiales

El estudio de ciertas propiedades que cumplen los nmeros ha producido una enorme cantidad de tipos de nmeros, la mayora sin un inters matemtico especco. A
continuacin se indican algunos:

Nmeros compuestos
Nmeros perfectos
Nmeros enteros
Nmeros negativos
Nmeros pares
Nmeros impares
Nmeros racionales
Nmeros reales
Nmeros irracionales
Nmeros algebraicos
Nmeros trascendentes:

e
Extensiones de los nmeros reales
Nmeros complejos
Nmeros hipercomplejos
Cuaterniones
Octoniones
Nmeros hiperreales
Nmeros superreales
Nmeros surreales
Nmeros usados en teora de conjuntos
Nmeros ordinales
Nmeros cardinales
Nmeros transnitos

Narcisista: Nmero de n dgitos que resulta ser


igual a la suma de las potencias de orden n de
sus dgitos. Ejemplo: 153 = 1 + 5 + 3.
Omirp: Nmero primo que al invertir sus dgitos da otro nmero primo. Ejemplo : 1597 y
7951 son primos.
Vampiro: Nmero que es el producto de dos
nmeros obtenidos a partir de sus dgitos.
Ejemplo: 2187 = 27 x 81.
Una vez entendido el problema de la naturaleza y la clasicacin de los nmeros, surge otro, ms prctico, pero
que condiciona todo lo que se va a hacer con ellos: la manera de escribirlos. El sistema que se ha impuesto universalmente es la numeracin posicional, gracias al invento
del cero, con una base constante.
Ms formalmente, en The concept of number, el matemtico Frege realiza una denicin de nmero, la cual fue
tomada como referencia por muchos matemticos (entre
ellos Russell, cocreador de principia mathematica):
n es un nmero, es entonces la denicin de que existe un concepto F para el cual n aplica, que a su vez
se ve explicado como que n es la extensin del concepto
equinumerable con para F, y dos conceptos son equinumerables si existe una relacin uno a uno (vase que
no se utiliza el smbolo 1 porque no est denido an)
entre los elementos que lo componen (es decir, una biyeccin en otros trminos).
Vase tambin que Frege, tanto como cualquier otro matemtico, se ven inhabilitados para denir al nmero como la expresin de una cantidad, porque la simbologa
matemtica no hace referencia necesaria a la numerabilidad, y el hecho de cantidad referira a algo numerable,
mientras que nmeros se adoptan para denir la cardinalidad de, por ejemplo, los elementos que se encuentran
en el intervalo abierto (0, 1), que contiene innumerables
elementos (el continuo).

3
Peano, antes de establecer sus cinco proposiciones sobre
los nmeros naturales, explicita que supone sabida una
denicin (quizs debido a su obviedad) de las palabras o conceptos cero, sucesor y nmero. De esta manera
postula:
0 es un nmero,
el sucesor de todo nmero es un nmero,
dos nmeros diferentes no tienen el mismo sucesor,
0 no es el sucesor de ningn nmero,
y la propiedad inductiva.
Sin embargo, si uno dene el concepto cero como el nmero 100, y el concepto nmero como los nmeros mayores a 100, entonces las cinco proposiciones mencionadas
anteriormente aplican, no a la idea que Peano habra querido comunicar, sino a su formalizacin.

asociado al conteo de dedos (razn por la cual los sistemas de base decimanl y vigesimal son los ms abundantes), aunque estn testimoniado el empleo de otras bases
numricas adems de 10 y 20.
El paso hacia los smbolos numerales, al igual que la escritura, se ha asociado a la aparicin de sociedades complejas con instituciones centralizadas constituyendo articios burocrticos de contabilidad en registros impositivos y de propiedades. Su origen estara en primitivos
smbolos con diferentes formas para el recuento de diferentes tipos de bienes como los que se han encontrado en
Mesopotamia inscritos en tablillas de arcilla que a su vez
haban venido a sustituir progresivamente el conteo de diferentes bienes mediante chas de arcilla (constatadas al
menos desde el 8000 a. C.) Los smbolos numerales ms
antiguos encontrados se sitan en las civilizaciones mesopotmicas usndose como sistema de numeracin ya
no solo para la contabilidad o el comercio sino tambin
para la agrimensura o la astronoma como, por ejemplo,
registros de movimientos planetarios.[3]

La denicin de nmero se encuentra por ende no total- En conjunto, desde hace 5.000 aos la mayora de las cimente formalizada, aunque se encuentre un acuerdo ma- vilizaciones han contado como lo hacemos hoy aunque la
yoritario en adoptar la denicin enunciada por Frege.
forma de escribir los nmeros (si bien todos representan
con exactitud los naturales) ha sido muy diversa. Bsicamente la podemos clasicar en tres categoras:

Historia del concepto de nmero

Cognitivamente el concepto de nmero est asociado a


la habilidad de contar y comparar cual de dos conjuntos
de entidades similares es ms numeroso. Las primeras
sociedades humanas se toparon muy pronto con el problema de determinar cual de dos conjuntos era mayor
que otro, o de conocer con precisin cuantos elementos
formaban una coleccin de cosas. Esos problemas podan
ser resueltos simplemente contando. La habilidad de contar del ser humano, no es un fenmeno simple, aunque
la mayora de culturas tienen sistemas de cuenta que llegan como mnimo a centenares, algunos pueblos con una
cultura material siemple, slo disponen de trminos para
los nmeros 1, 2 y 3 y usualmente usan el trmino muchos para cantidades mayores, aunque cuando es necesario usan recursivamente expresiones traducibles como
3 ms 3 y otros 3 cuando es necesario.
El conteo se debi iniciar mediante el uso de objetos fsicos (tales como montones de piedras) y de marcas de
cuenta, como las encontradas en huesos tallados: el de
Lebombo, con 29 muescas grabadas en un hueso de babuino, tiene unos 37.000 aos de antigedad y otro hueso
de lobo encontrado en la antigua Checoslovaquia, con 57
marcas dispuestas en cinco grupos de 11 y dos sueltas,
se ha estimado en unos 30.000 aos de antigedad. Ambos casos constituyen una de las ms antiguas marcas de
cuenta conocidas habindose sugerido que pudieran estar
relacionadas con registros de fases lunares.[2] En cuanto
al origen ordinal algunas teoras lo sitan en rituales religiosos. Los sistemas numerales de la mayora de familias lingsticas reejan que la operacin de contar estuvo

1. Sistemas de notacin aditiva. Acumulan los smbolos de todas las unidades, decenas, centenas,... necesarios hasta completar el nmero. Aunque los smbolos pueden ir en cualquier orden, adoptaron siempre una determinada posicin (de ms a menos). De
este tipo son los sistemas de numeracin: Egipcio,
hitita, cretense, romano, griego, armenio y judo.
2. Sistemas de notacin hbrida. Combinan el principio aditivo con el multiplicativo. En los anteriores
500 se representa con 5 smbolos de 100, en stos se
utiliza la combinacin del 5 y el 100. El orden de las
cifras es ahora fundamental (estamos a un paso del
sistema posicional). De este tipo son los sistemas de
numeracin: Chino clsico, asirio, armenio, etope y
maya. Este ltimo utilizaba smbolos para el 1, el
5 y el 0. Siendo este el primer uso documentado
del cero tal como lo conocemos hoy (Ao 36 a.C) ya
que el de los babilonios solo se utilizaba entre otros
dgitos.
3. Sistemas de notacin posicional. La posicin de
las cifras nos indica si son unidades, decenas, centenas,... o en general la potencia de la base. Solo tres
culturas adems de la india lograron desarrollar un
sistema de este tipo: El sistema Chino (300 a. C.)
que no dispona de 0, el sistema Babilnico (2000 a.
C.) con dos smbolos, de base 10 aditivo hasta el 60
y posicional (de base 60) en adelante, sin 0 hasta
el 300 a. C.

2.1

HISTORIA DEL CONCEPTO DE NMERO

Las fracciones unitarias egipcias (Pa- ca (se utiliza el Teorema de Pitgoras). Aristteles menciona una demostracin de la inconmensurabilidad de la
piro Ahmes/Rhind)

En este papiro adquirido por Henry Rhind en 1858 cuyo


contenido data del 2000 al 1800 a. C. adems del sistema de numeracin antes descrito nos encontramos con su
tratamiento de las fracciones. No consideran las fracciones en general, solo las fracciones unitarias (inversas de
los naturales 1/20) que se representan con un signo oval
encima del nmero, la fraccin 2/3 que se representa con
un signo especial y en algunos casos fracciones del tipo
n/n + 1 . Hay tablas de descomposicin de 2/n desde
n=1 hasta n=101, como por ejemplo 2/5 = 1/3 + 1/15
2/7 = 1/4 + 1/28 , no sabemos por qu no utilizaban
2/n = 1/n + 1/n pero parece que trataban de utilizar
fracciones unitarias menores que 1/n .

diagonal de un cuadrado con respecto a su lado basada en


la distincin entre lo par y lo impar. La reconstruccin
que realiza C. Boyer es:
Sean d:diagonal, s:lado y d/s racional que podremos escribirlo como p/q con p y q primos entre s. Por el teorema de Pitgoras tenemos que d2 = s2 + s2 , (d/s)2 =
p2 /q 2 = 2 , entonces p2 = 2q 2 y por tanto p2 debe ser
par y tambin p, y por tanto q impar. Al ser p par tenemos
p = 2r , entonces 4r2 = 2q 2 y 2r2 = q 2 , entonces q 2
es par y q tambin, entonces q es par e impar con lo que
tenemos una contradiccin.
La teora pitagrica de todo es nmero qued seriamente
daada.

El problema lo resolvera Eudoxo de Cnido (408-355 a.


C.) tal como nos indica Euclides en el libro V de Los elementos. Para ello estableci el Axioma de Arqumedes:
Dos magnitudes tienen una razn si se puede encontrar
un mltiplo de una de ellas que supere a la otra (excluye
el 0). Despus en la Denicin-5 da la famosa formulacin de Eudoxo: Dos magnitudes estn en la misma razn
2.2 Fracciones sexagesimales babilnicas a/b = c/d si dados dos nmeros naturales cualesquiera m y n, si ma = nb entonces mc = nd (denicin
(documentos cuneiformes)
que intercambiando el 2 y 3 trminos equivale a nuestro
En las tablillas cuneiformes de la dinasta Hammurabi procedimiento actual).
(1800-1600 a. C.) aparece el sistema posicional, antes En el libro de J.P. Colette se hace la observacin de que
referido, extendido a las fracciones, pero XXX vale para esta denicin est muy prxima a la de nmero real que
260+2 , 2+2601 2601+2602 con una dar Dedekind en el siglo XIX, divide las fracciones en
representacin basada en la interpretacin del problema. las m/n tales que ma = nb y las que no.
Al ser un sistema sumativo la notacin es: 1+1/2+1/4 .
La operacin fundamental es la suma y nuestras multiplicaciones y divisiones se hacan por duplicaciones y
mediaciones, por ejemplo 69x19=69x(16+2+1), donde
16 representa 4 duplicaciones y 2 una duplicacin.

Para calcular recurran, como nosotros antes de disponer de mquinas, a las numerosas tablas de que disponan: De multiplicar, de inversos, de cuadrados y cubos,
de races cuadradas y cbicas, de potencias sucesivas de
un nmero dado no j, etc. Por ejemplo para calcular
a , tomaban su mejor aproximacin entera a1 , y calculaban b1 = a/a1 (una mayor y otra menor) y entonces
a2 = (a1 + b1 )/2 es mejor aproximacin, procediendo
igual obtenemos b2 = a/a2 y a3 = (a2 +b2 )/2 obteniendo en la tablilla Yale-7289 2=1;24,51,10 (en base decimal 1,414222) como valor de a3 partiendo de a1 = 1; 30
(vase algoritmo babilnico).

2.4 Descubrimiento del 0


En cualquier sistema de numeracin posicional surge el
problema de la falta de unidades de determinado orden.
Por ejemplo, en el sistema babilnico el nmero 32 escrito en base 60 puede ser 3 60 + 2 3 602 + 0 60 + 2
. A veces, se utilizaba la posicin vaca para evitar este problema 3 _ 2; pero los escribas deban tener mucho
cuidado para no equivocarse.
Hacia el siglo III a. C., en Grecia, se comenz a representar la nada mediante una o que signica oudos 'vaco', y
que no dio origen al concepto de cero como existe hoy en
da. La idea del cero como concepto matemtico parece
haber surgido en la India mucho antes que en ningn otro
lugar. La nica notacin ordinal del viejo mundo fue la
sumeria, donde el cero se representaba por un vaco.

Realizaban las operaciones de forma parecida a hoy, la divisin multiplicando por el inverso (para lo que utilizan
sus tablas de inversos). En la tabla de inversos faltan los
de 7 y 11 que tienen una expresin sexagesimal innitamente larga. S estn 1/59=;1,1,1 (nuestro 1/9=0,111...) y
1/61=;0,59,0,59 (nuestro 1/11=0,0909...) pero no se percataron del desarrollo peridico.
En Amrica, la primera expresin conocida del sistema
de numeracin vigesimal prehispnico data del siglo III a.
C. Se trata de una estela olmeca tarda, la cual ya contaba
2.3 Descubrimiento de los inconmensura- tanto con el concepto de orden como el de cero. Los
mayas inventaron cuatro signos para el cero; los principables
les eran: el corte de un caracol para el cero matemtico,
Las circunstancias y la fecha de este descubrimiento y una or para el cero calendrico (que implicaba, no la
son inciertas, aunque se atribuye a la escuela pitagri- ausencia de cantidad, sino el cumplimiento de un ciclo).

2.8

2.5

Primera formulacin de los nmeros complejos

Nmeros negativos

5
plos numricos, desarrolla una raz cuadrada en fracciones continuas como hoy: Queremos calcular N y sea
a el mayor nmero cuyo cuadrado es menor que N y
b = N 2 a2 , tenemos: N a = (N 2 a2 )/(N + a) =
b/(2a+N a) = b/(2a+(b/2a+...)) que con su notacin escriba: n=a&b/2.a.&b/2.a... As 18=4&2/8.&2/8,
que da las aproximaciones 4+(1/4), 4+(8/33)...

Brahmagupta, en el 628 de nuestra era, considera las dos


races de las ecuaciones cuadrticas, aunque una de ellas
sea negativa o irracional. De hecho en su obra es la primera vez que aparece sistematizada la aritmtica (+, -, *,
/ , potencias y races) de los nmeros positivos, negativos
y el cero, que l llamaba los bienes, las deudas y la nada. Siendo as los nmeros irracionales aceptados con toda
As, por ejemplo, para el cociente, establece:
normalidad, pues se les poda aproximar fcilmente mePositivo dividido por positivo, o negativo dividido por ne- diante nmeros racionales.
gativo, es armativo. Cifra dividido por cifra es nada
(0/0=0). Positivo dividido por negativo es negativo. Negativo dividido por armativo es negativo. Positivo o ne- 2.8 Primera formulacin de los nmeros
gativo dividido por cifra es una fraccin que la tiene por
complejos
denominador (a/0=?)
No solo utiliz los negativos en los clculos, sino que los Los nmeros complejos eran en pocos casos aceptados
consider como entidades aisladas, sin hacer referencia como races o soluciones de ecuaciones (M. Stifel (1487a la geometra. Todo esto se consigui gracias a su des- 1567), S. Stevin (1548-1620)) y por casi ninguno como
preocupacin por el rigor y la fundamentacin lgica, y coecientes). Estos nmeros se llamaron inicialmente cticii 'cticios (el trmino imaginario usado actualmente
su mezcla de lo prctico con lo formal.
es reminiscente de estas reticencias a considerarlos nSin embargo el tratamiento que hicieron de los negativos meros respetables). A pesar de esto G. Cardano (1501cay en el vaco, y fue necesario que transcurrieran varios 1576) conoce la regla de los signos y R. Bombelli (1526siglos (hasta el Renacimiento) para que fuese recuperado. 1573) las reglas aditivas a travs de haberes y dbitos, peAl parecer los chinos tambin posean la idea de nme- ro se consideran manipulaciones formales para resolver
ro negativo, y estaban acostumbrados a calcular con ellos ecuaciones, sin entidad al no provenir de la medida o el
utilizando varillas negras para los negativos y rojas para conteo.
los positivos.
Cardano en la resolucin del problema dividir 10 en dos

2.6

partes talesque su producto valga 40 obtiene comosoluciones 5+ 15 (en su notacin 5p:Rm:15) y 5 15


Transmisin del sistema indo-arbigo (en su notacin 5m:Rm:15), soluciones que consider
a Occidente
meras manipulaciones sutiles, pero intiles.

Varios autores del siglo XIII contribuyeron a esta difusin, destacamos a: Alexander de Villedieu (1225), Sacrobosco (1200-1256) y sobre todo Leonardo de Pisa (1180-1250). Este ltimo, conocido como Fibonacci,
viaj por Oriente y aprendi de los rabes el sistema posicional hind. Escribi un libro, El Liber abaci, que trata
en el captulo I la numeracin posicional, en los cuatro siguientes las operaciones elementales, en los captulos VI
y VII las fracciones: comunes, sexagesimales y unitarias
(no usa los decimales, principal ventaja del sistema!),
y en el captulo XIV los radicales cuadrados y cbicos.
Tambin contiene el problema de los conejos que da la
serie: 1, 1, 2, 3, 5, 8, ..., un con un = un1 + un2 .

En la resolucin de ecuaciones cbicas con la frmula de


Cardano-Tartaglia, aunque las races sean reales, aparecen en los pasos intermedios races de nmeros negativos. En esta situacin Bombelli dice en su lgebra que
tuvo lo que llam una idea loca, esta era que los radicales podan tener la misma relacin que los radicandos y
operar con ellos, tratando de eliminarlos despus. En
un
texto posterior en 20 aos
utiliza
p.d.m.
(+i)
para
+
1

y m.d.m. (i) para 1 dando las reglas para operar


con estos smbolos aadiendo que siempre que aparece
una de estas expresiones aparece tambin su conjugada,
como en las ecuaciones de 2 grado que resuelve correctamente. Da un mtodo para calcular a + bi .

No aparecen los nmeros negativos, que tampoco consideraron los rabes, debido a la identicacin de nmero 2.9 Generalizacin de las fracciones decicon magnitud (obstculo que durara siglos!). A pesar de
males
la ventaja de sus algoritmos de clculo, se desatara por
diversas causas una lucha encarnizada entre abacistas y Aunque se encuentra un uso ms que casual de las fracalgoristas, hasta el triunfo nal de stos ltimos.
ciones decimales en la Arabia medieval y en la Europa
Renacentista, y ya en 1579 Vieta (1540-1603) proclamaba su apoyo a stas frente a las sexagesimales, y las acep2.7 Las fracciones continuas
taban los matemticos que se dedicaban a la investigacin, su uso se generaliz con la obra que Simn Stevin
Pietro Antonio Cataldi (1548-1626), aunque con ejem- public en 1585 De Thiende (La Disme). En su deni-

cin 1 dice que la Disme es un especie de aritmtica que


permite efectuar todas las cuentas y medidas utilizando
nicamente nmeros naturales. En las siguientes dene
nuestra parte entera: cualquier nmero que vaya el primero se dice comienzo y su signo es (0), (1 posicin decimal
1/10). El siguiente se dice primera y su signo es (1) (segunda posicin decimal 1/100). El siguiente se dice segunda
(2). Es decir, los nmeros decimales que escribe: 0,375
como 3(1)7(2)5(3), 372,43 como 372(0)4(1)3(2). Aade que no se utiliza ningn nmero roto (fracciones), y el
nmero de los signos, exceptuando el 0, no excede nunca
a 9.

HISTORIA DEL CONCEPTO DE NMERO

2.11 La interpretacin geomtrica de los


nmeros complejos

Esta interpretacin suele ser atribuida a Gauss (17771855) que hizo su tesis doctoral sobre el teorema fundamental del lgebra, enunciado por primera vez por Harriot y Girard en 1631, con intentos de demostracin realizados por DAlembert, Euler y Lagrange, demostrando
que las pruebas anteriores eran falsas y dando una demostracin correcta primero para el caso de coecientes,
y despus de complejos. Tambin trabaj con los nmeros enteros complejos que adoptan
la forma a + bi , con
a
y
b
enteros.
Este
smbolo
i
para
1 fue introducido
Esta notacin la simplic Jost Burgi (1552-1632) elipor
primera
vez
por
Euler
en
1777
y
difundido
por Gauss
minando la mencin al orden de las cifras y sustituyndoen
su
obra
Disquisitiones
arithmeticae
de
1801.
lo por un ". en la parte superior de las unidades 37243,
poco despus Magn (1555-1617) us el ". entre las uni- La representacin grca de los nmeros complejos hadades y las dcimas: 372.43, uso que se generalizara ba sido descubierta ya por Caspar Wessel (1745-1818)
al aparecer en la Constructio de Napier(1550-1617) de pero pas desapercibida, y as el plano de los nmeros
1619. La ", tambin fue usada a comienzos del siglo complejos se llama plano de Gauss a pesar de no publiXVII por el holands Willerbrod Snellius: 372,43.
car sus ideas hasta 30 aos despus.
Desde la poca de Girard (mitad siglo XVII) se conoca
que los nmeros reales se pueden representar en corres2.10 El principio de induccin matemtica pondencia con los puntos de una recta. Al identicar ahora los complejos con los puntos del plano los matemticos
Su antecedente es un mtodo de demostracin, llamado se sentirn cmodos con estos nmeros, ver es creer.
induccin completa, por aplicacin reiterada de un mismo silogismo que se extiende indenidamente y que us
Maurolyco (1494-1575) para demostrar que la suma de 2.12 Descubrimiento de los nmeros trascendentes
los primeros n nmeros naturales impares es el cuadrado
del n -simo trmino, es decir 1 + 3 + 5 + 7 + +
(2n 1) = n2 . Pascal (1623-1662) us el mtodo de La distincin entre nmeros irracionales algebraicos y
induccin matemtica, en su formulacin abstracta, tal y trascendentes data del siglo XVIII, en la poca en que Eu2
como lo conocemos hoy para probar propiedades rela- ler demostr que e y e son irracionales y Lambert que lo
tivas al tringulo numrico que lleva su nombre. La de- es . Los trabajos de Legendre sobre la hiptesis de que
mostracin por induccin consta siempre de dos partes: poda no ser raz de una ecuacin algebraica con coeel paso base y el paso inductivo, los cuales se describen a cientes racionales, sealaron el camino para distinguir
distintos tipos de irracionales. Euler ya haca esta distincontinuacin en notacin moderna:
cin en 1744 pero habra que esperar casi un siglo para
Si S es un subconjunto de los nmeros naturales (denoque se estableciera claramente la existencia de los irraciotado por N ) donde cada elemento n cumple la propiedad
nales trascendentes en los trabajos de Liouville, Hermite
P (n) y se tiene que
y Lindeman.
1. 0 pertenece a S .

Liouville (1809-1882) demostr en 1844 que todos los


nmeros de la forma a1 /10 + a2 /102! + a3 /103! + ...
(p.e. 0,101001.....) son trascendentes.

2. El hecho de que n sea un miembro de S implica que Hermite (1822-1901) en una memoria Sobre la funcin
n + 1 tambin lo es.
exponencial de 1873 demostr la trascendencia de e probando de una forma muy sosticada que la ecuacin:
n
entonces S = N , es decir que todos los nmeros natura- c0 + c1 e + ...... + cn e = 0 no puede existir.
les n tienen la propiedad P (n) .

Lindeman (1852-1939) en la memoria Sobre el nmero


e de 1882 prueba que el nmero e no puede satisfacer
la ecuacin: c1 ex + c2 ex + ............ + cn ex = 0 con x y
ci algebraicos, por tanto la ecuacin eix + 1 = 0 no tiene
solucin para x algebraico, pero haciendo x = tenemos
ei + 1 = 0 , entonces x = i no puede ser algebraico y
como i lo es entonces es trascendente.

De manera intuitiva se entiende la induccin como un


efecto domin. Suponiendo que se tiene una la innita de chas de domin, el paso base equivale a tirar la
primera cha; por otro lado, el paso inductivo equivale a
demostrar que si alguna cha se cae, entonces la cha siguiente tambin se caer. La conclusin es que se pueden
tirar todas las chas de esa la.
El problema 7 de Hilbert (1862-1943) que plantea si ab ,

2.14

lgebras hipercomplejas

con a algebraico distinto de cero y de uno, y b irracional


algebraico, es trascendente fue resuelto armativamente
por Gelfond (1906-1968) en 1934. Pero no se sabe si son
e
ee
trascendentes o no: ee , ee , ee , ... Sin embargo e y 1/e
s que son trascendentes.

2.13 Teoras de los irracionales


Hasta mediados del siglo XIX los matemticos se contentaban con una comprensin intuitiva de los nmeros y
sus sencillas propiedades no son establecidas lgicamente
hasta el siglo XIX. La introduccin del rigor en el anlisis
puso de maniesto la falta de claridad y la imprecisin del
sistema de los nmeros reales, y exiga su estructuracin
lgica sobre bases aritmticas.
Bolzano haba hecho un intento de construir los nmeros reales basndose en sucesiones de nmeros racionales, pero su teora pas desapercibida y no se public hasta 1962. Hamilton hizo un intento, haciendo referencia a
la magnitud tiempo, a partir de particiones de nmeros
racionales:
si a =

n1
,
m1

cuando b =
y si a =

n21
m21

la seccin dedicada al dominio R enuncia un axioma por el que se establece la continuidad de la recta: cada punto de la recta divide los puntos de sta en dos clases tales que cada punto de la primera
se encuentra a la izquierda de cada punto de la segunda clase, entonces existe un nico punto que produce esta divisin. Esta misma idea la utiliza en la
seccin creacin de los nmeros irracionales para introducir su concepto de cortadura. Bertrand
Russell apuntara despus que es suciente con una
clase, pues esta dene a la otra.
Georg Cantor (1845-1918). Dene los conceptos
de: sucesin fundamental, sucesin elemental, y lmite de una sucesin fundamental, y partiendo de
ellos dene el nmero real.
Karl Weierstrass (1815-1897). No lleg a publicar
su trabajo, continuacin de los de Bolzano, Abel y
Cauchy, pero fue conocido por sus enseanzas en
la Universidad de Berln. Su caracterizacin basada
en los intervalos encajados, que pueden contraerse a un nmero racional pero no necesariamente lo
hacen, no es tan generalizable como las anteriores,
pero proporciona fcil acceso a la representacin decimal de los nmeros reales.

2.14 lgebras hipercomplejas

n2
m2

La construccin de obtencin de los nmeros complejos


a partir de los nmeros reales, y su conexin con el grupo
de transformaciones anes en el plano sugiri a algunos
pero no desarroll ms su teora.
matemticos otras generalizaciones similares conocidas
como nmeros hipercomplejos. En todas estas generaliPero en el mismo ao 1872 cinco matemticos, un fran- zaciones los nmeros complejos son un subconjunto de
cs y cuatro alemanes, publicaron sus trabajos sobre la estos nuevos sistemas numricos, aunque estas generalizaciones tienen la estructura matemtica de lgebra sobre
aritmetizacin de los nmeros reales:
un cuerpo, pero en ellos la operacin de multiplicacin no
es conmutativa.
Charles Meray (1835-1911) en su obra Noveau
preis danalyse innitesimale dene el nmero
irracional como un lmite de sucesiones de nmeros 2.15 Teora de conjuntos
racionales, sin tener en cuenta que la existencia misma del lmite presupone una denicin del nmero La teora de conjuntos sugiri muchas y variadas formas
real.
de extender los nmeros naturales y los nmeros reales
cuando b =

n22
m22

a=

Hermann Heine (1821-1881) public, en el Journal


de Crelle en 1872, su artculo Los elementos de la
teora de funciones, donde propona ideas similares a las de Cantor, teora que en conjunto se llama
actualmente "teora de Cantor-Heine".

de formas diferentes a como los nmeros complejos extendan al conjunto de los nmeros reales. El intento de
capturar la idea de conjunto con un nmero no nito de
elementos llev a la aritmtica de nmeros transnitos
que generalizan a los naturales, pero no a los nmeros
enteros. Los nmeros transnitos fueron introducidos por
Georg Cantor hacia 1873.

Richard Dedekind (1831-1916) publica su Stetigkeit und irrationale zahlen. Su idea se basa en la
continuidad de la recta real y en los agujeros que
hay si slo consideramos los nmeros racionales. En

Los nmeros hiperreales usados en el anlisis no estndar


generalizan a los reales pero no a los nmeros complejos
(aunque admiten una complejicacin que generalzara
tambin a los nmeros complejos). Aunque parece los

nmeros hiperreales no proporcionan resultados matemticos interesantes que vayan ms all de los obtenibles en
el anlisis real, algunas demostracciones y pruebas matemticas parecen ms simples en el formalismo de los
nmeros hiperreales, por lo que no estn exentos de importancia prctica.

2.16 Socialmente
Los nmero naturales por la necesidad de contar.

VASE TAMBIN

un inventario nito de unidades para expresar una cantidad mucho mayor de nmeros. Una manera importante de lograr eso es el uso de una base aritmtica en esos
sistemas un nmero se expresa en general mediante suma o multiplicacin de nmeros. Los sistemas puramente aritmticos recurren a bases donde cada signo recibe
una interpretacin diferente segn su posicin. As en el
siguiente numeral arbigo (base 10):
13568

Los nmeros fraccionarios por la necesidad de me- El <8> por estar en ltima posicin representa unidades,
el <6> representa decenas, el <5> centenas, el <3> midir partes de un todo, y de compartir.
llares y el <1> decenas de millares. Es decir ese numeral
Los enteros negativos por fenmenos de doble senti- representara el nmero:
do: izquierda-derecha, arriba-abajo, prdida- ganancia
n13568 = 1 104 + 3 103 + 5 102 + 6
1
10 + 8 100 = 13568
Los nmeros reales por la necesidad de medir segmentos
Muchas lenguas del mundo usan una base decimal, igual
Los nmeros complejos por exigencias de resolver que el sistema arbigo, aunque tambin es frecuente que
ecuaciones algebraicas, como el caso de la cbicas o las lenguas usen sistemas vigesimales (base 20). De hecho
la idea de usar un nmero nito de dgitos o signos pade x2 + 1 = 0 [4]
ra representar nmeros arbitrariamente grandes funciona
para cualquier base b, donde b es un nmero entero mayor
que 2. Los ordenadores frecuentemente usan para
3 Sistemas de representacin de los osusigual
operaciones la base binaria (b = 2), y para ciertos usos
nmeros
tambin se emplea la base octal (b = 8 ) o hexadecimal (b
= 16). La base coincide con el nmero de signos primaLos nmeros como expresin de cantidades aparecen en rios, si un sistema posicional tiene b smbolos primarios
todas las culturas humanas. Incluso los grupos humanos que designaremos por {1, 2 . . . , b} , el numeral:
con culturas materiales ms simples disponen en su lenSn Sn1 . . . S2 S1 S0
Si

gua de alguna manera para expresar cantidades en for{1, 2 . . . , b}


ma numrica, al menos hasta cierto nmero, mediante
palabras que designa a estos nmeros (palabras numerales). El advenimiento de la escritura tambin comport la Designar al nmero:
bsqueda de sistemas de representacin grca para los
nmeros, estos sistemas van desde sistemas muy simples
nSn Sn1 ...S2 S1 S0 = Sn bn + + S2
n
basados en rayas a sistemas elaborados que permiten ex2
b + S1 b1 + S0 b0 = k=0 Sk bk
presar nmeros elevados.

3.1

Cifra, dgito y numeral

Una de las formas ms frecuenes de representar nmeros


por escrito consiste en un conjunto nito de smbolos
o dgitos, que adecuadamente combinados permiten formar cifras que funcionan como representaciones de nmeros (cuando una secuencia especcas de signos se emplea para representar un nmero se la llama numeral, aunque una cifra tambin puede representar simplemente un
cdigo identicativo.)

3.2

Base numrica

Tanto las lenguas naturales como la mayor parte de sistemas de representacin de nmeros mediante cifras, usan

3.3 Nmeros en las lenguas naturales


Las lenguas naturales usan nombres o numerales para los
nmeros frecuentemente basados en el contaje mediante
dedos, razn por la cual la mayora de las lenguas usan
sistemas de numeracin en base 10 (dedos de las manos) o
base 20 (dedos de manos y pies), aunque tambin existen
algunos sistemas exticos que emplean otras bases.

4 Vase tambin
Sistema de numeracin
Lista de nmeros
Nombres de los nmeros en espaol

5.1

Enlaces externos

Numeral
Cifra

Referencias

[1] DRAE
[2] Ian Stewart, Historia de las matemticas, Crtica, 2008.
ISBN 978-84-8432-369-3 p. 12-13
[3] Ian Stewart, Historia de las matemticas, Crtica, 2008.
ISBN 978-84-8432-369-3 p. 14
[4] Trejo: El concepto de nmero

5.1

Enlaces externos

Wikiquote alberga frases clebres de o sobre


Nmero. Wikiquote

Wikimedia Commons alberga contenido multimedia sobre NmeroCommons.

10

6 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

6.1

Text

Nmero Fuente: http://es.wikipedia.org/wiki/Nmero?oldid=77910536 Colaboradores: AstroNomo, Maveric149, Romero Schmidtke,


Llull, EL Willy, Sabbut, Moriel, Frutoseco, JorgeGG, Donner, Robbot, Aparejador, Vivero, Ecelan, Dodo, Sms, Tano4595, Vicaram, Gengiskanhg, Vargenau, Robotico, Renabot, FAR, Digigalos, Taragui, Boticario, Soulreaper, Airunp, Jos Flores, Rembiapo pohyiete (bot),
Kokoo, Rupert de hentzau, Orgullobot, RobotQuistnix, Chobot, Caiserbot, Yrbot, BOT-Superzerocool, Oscar ., Geo, Maleiva, Vitamine,
BOTijo, YurikBot, Mortadelo2005, Icvav, Lin linao, Lobillo, KnightRider, YoaR, Dr Juzam, Carutsu, Maldoror, KocjoBot, Chlewbot, Tomatejc, Yavidaxiu, Tuncket, Sigmanexus6, Fer31416, Kn, BOTpolicia, CEM-bot, Damifb, Laura Fiorucci, Carloszelayeta, JMCC1, Ignacio
Icke, Marianov, Baiji, Davius, Jorge, Gafotas, Mr. Moonlight, Dorieo, Ggenellina, Ingenioso Hidalgo, Thijs!bot, Escarbot, Yosoyelconejo,
PhJ, Botones, Isha, JAnDbot, Caiok, Y0rx, Homo logos, Gsrdzl, TXiKiBoT, HiTe, Millars, Lema, Humberto, Netito777, Rei-bot, Bedwyr,
Pedro Nonualco, Idioma-bot, Plux, Rovnet, Manuel Trujillo Berges, Skyhack, Aibot, VolkovBot, Technopat, Mstreet linux, Matdrodes,
Synthebot, Muro Bot, Edmenb, Bucho, YonaBot, BotMultichill, SieBot, Danielba894, Macarrones, El duende alegre, RASECZENITRAM,
Drinibot, Bigsus-bot, Pacomegia, Pascow, Correogsk, Fadesga, Ivanics, Pla y Grande Covin, Tirithel, Javierito92, Dnu72, HUB, Farisori, Eduardosalg, Danidvt, Botelln, Jhs124, Leonpolanco, Poco a poco, BetoCG, Alexbot, Numen17, Raulshc, Camilo, AVBOT, Ellinik,
Jredmond, Dorieito, MarcoAurelio, Pinglord, Diegusjaimes, MelancholieBot, Victormoz, CarsracBot, Arjuno3, Andres.63, Luckas-bot,
Xulianbaena, Ptbotgourou, Jotterbot, Punk12345, Montahiti, Nixn, Diogeneselcinico42, Xqbot, Jkbw, Dreitmen, Botarel, BenzolBot, DjGonzlez, TobeBot, Bibibo, Sermed, DixonDBot, Lungo, HMC.Puebla, Leugim1972, Dinamik-bot, Corrector1, Jorge c2010, Foundling, P.
S. F. Freitas, EmausBot, ZroBot, Allforrous, JA Galn Baho, TuHan-Bot, J. A. Glvez, Grillitus, ChuispastonBot, WikitanvirBot, Mjbmrbot, Metrnomo, MerlIwBot, Spinoziano, JhsBot, Acratta, Elvisor, Addbot, JacobRodrigues, TheUnloquerWiki, Manukero0, Encleado95,
BenjaBot y Annimos: 182

6.2

Images

Archivo:AL_Numeros_01.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/86/AL_Numeros_01.svg Licencia: CC-BYSA-3.0 Colaboradores: Trabajo propio Artista original: Dnu72
Archivo:Commons-logo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain
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:Mergefrom.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/0f/Mergefrom.svg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Spanish_Wikiquote.SVG Fuente: http://upload.wikimedia.org/wikipedia/commons/1/13/Spanish_Wikiquote.SVG Licencia:
CC-BY-SA-3.0 Colaboradores: derived from Wikiquote-logo.svg Artista original: James.mcd.nz

6.3

Content license

Creative Commons Attribution-Share Alike 3.0

Você também pode gostar