Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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
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
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
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:
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
Las fracciones unitarias egipcias (Pa- ca (se utiliza el Teorema de Pitgoras). Aristteles menciona una demostracin de la inconmensurabilidad de la
piro Ahmes/Rhind)
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).
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
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)...
2.6
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 .
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-
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 .
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) .
2.14
lgebras hipercomplejas
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.
n2
m2
n22
m22
a=
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
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
3.1
3.2
Base numrica
Tanto las lenguas naturales como la mayor parte de sistemas de representacin de nmeros mediante cifras, usan
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
10
6.1
Text
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