Nmero

Para el concepto lingstico vase Nmero gramatical. Para otros usos de este trmino, vase Nmero (desambiguacin). 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 grfico que sirve para representarlo; dicho signo grfico 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 que generalizan el concepto de nmero complejo o los nmeros hiperreales, los superreales y los surrealesque incluyen a los nmeros reales como subconjunto.
ndice
[mostrar]

Tipos de nmeros[editar editar cdigo]

Los nmeros ms conocidos son los nmeros naturales. Denotados mediante , son

conceptualmente los ms simples y los que se usan para contar unidades discretas. stos, conjuntamente con los nmeros negativos, conforman el conjunto de los enteros, denotados mediante (del alemn Zahlen 'nmeros'). Los nmeros negativos permiten representar

formalmente deudas, y permiten generalizar la resta de cualesquiera dos nmeros naturales. Otro tipo de nmeros ampliamente usados son nmeros fraccionarios, y tanto cantidades inferiores a una unidad, como nmeros mixtos (un conjunto de unidades ms una parte inferior a la unidad). Los nmeros fraccionarios pueden ser expresados siempre como cocientes de enteros. El conjunto de todos los nmeros fraccionarios es el conjunto de los nmeros racionales (que usualmente se definen para que incluyan tanto a los racionales positivos, como a los racionales negativos y el cero). Este conjunto de nmeros de designa como .

Los nmeros racionales permiten resolver gran cantidad de problemas prcticos, pero desde los antiguos griegos se conoce que ciertas relaciones geomtricas (la diagonal de un cuadrado de lado unidad) son nmeros no enteros que tampoco son racionales. Igualmente, la solucin numrica de una ecuacin polinmica cuyos coeficientes son nmeros racionales, usualmente es un nmero 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 succesiones de

Cauchy de nmeros racionales) es el conjunto de los nmeros reales

. 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. Uno de los problemas de los nmeros reales es que no forman un cuerpo algebraicamente cerrado, por lo que ciertos problemas no tienen solucin planteados en trminos de nmeros reales. Esa es una de las razones por las cuales se introdujeron los nmeros complejos , que son el

mnimo cuerpo algebraicamente cerrado que contiene a los nmeros reales. Adems algunas aplicaciones prcticas as como en las formulaciones estndar de la mecnica cuntica se considera til introducir los nmeros complejos. Al parecer la estructura matemtica de los nmeros complejos refleja estructuras existentes en problemas fsicos, por lo que en fsica terico y en diversas aplicaciones los nmeros complejos se usan en pie de igualdad con los nmeros reales, a pesar de que inicialmente fueron considerados nicamente como un artificio matemtico sin relacin con la realidad fsica. Todos los conjuntos de nmeros fueron de alguna

manera "descubiertos" o sugeridos en conexin con problemas planteados en problemas fsicos o en el seno de la matemtica elemental y todos ellos parecen tener importantes conexiones con la realidad fsica. Fuera de los nmeros reales y complejos, claramente conectados con problemas de las ciencias naturales, existen otros tipos de nmeros que generalizan an ms y extienden el concepto de nmero de una manera ms abstracta y responden ms a creaciones deliberadas de matemticos. La mayora de estas generalizaciones del concepto de nmero se usan slo en matemticas, aunque algunos de ellos han encontrado aplicaciones para resolver ciertos problemas fsicos. Entre ellos estn los nmeros hipercomplejos que incluyen a los cuaterniones tiles para representar rotaciones en un espacio de tres dimensiones, y generalizaciones de etos como octoniones y los sedeniones. A un nivel un poco ms abstracto tambin se han ideado conjuntos de nmeros capaces de tratar con cantidades infinitas e infinitesimales como los hiperreales y los transfinitos.

Enumeracin de los tipos[editar editar cdigo]

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 definir la mayor parte de los sistemas numricos, entre los cuales estn:

Nmeros naturales

Nmero primo Nmeros compuestos Nmeros perfectos

Nmeros enteros

Nmeros negativos Nmeros pares Nmeros impares

Nmeros racionales Nmeros reales

Nmeros irracionales Nmeros algebraicos Nmeros trascendentes:

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 transfinitos

Nmeros naturales especiales[editar editar cdigo]

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

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 se obtiene a partir del 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 clasificacin 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 definicin 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 definicin 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 definido 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 definir 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 definir

la cardinalidad de, por ejemplo, los elementos que se encuentran en el intervalo abierto (0, 1), que contiene innumerables elementos (el continuo). Peano, antes de establecer sus cinco proposiciones sobre los nmeros naturales, explcita que supone sabida una definicin (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 define 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. La definicin de nmero se encuentra por ende no totalmente formalizada, aunque se encuentre un acuerdo mayoritario en adoptar la definicin enunciada por Frege.

Historia del concepto de nmero[editar editar cdigo]

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 resuletos 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 reflejan que la operacin de contar estuvo 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 artificios 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 fichas 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 En conjunto, desde hace 5.000 aos la mayora de las civilizaciones han contado como lo hacemos hoy aunque la forma de escribir los nmeros (si bien todos representan con exactitud los naturales) ha sido muy diversa. Bsicamente la podemos clasificar 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 ymaya. 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.

Las fracciones unitarias egipcias (Papiro Ahmes/Rhind)[editar editar cdigo]

Artculo principal: Fraccin egipcia

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 de ejemplo no utilizaban fracciones unitarias menores que . desde n=1 hasta n=101, como por , no sabemos por qu pero parece que trataban de utilizar . Hay tablas de descomposicin

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.

Fracciones sexagesimales babilnicas (documentos cuneiformes)[editar editar cdigo]

En las tablillas cuneiformes de la dinasta Hammurabi (1800-1600 a. C.) aparece el sistema posicional, antes referido, extendido a las fracciones, pero XXX vale para , con

una representacin basada en la interpretacin del problema. 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 fij, etc. Por ejemplo para calcular calculaban entonces obtenemos y , tomaban su mejor aproximacin entera ,y

(una mayor y otra menor) y es mejor aproximacin, procediendo igual obteniendo en la tablilla Yalepartiendo

7289 2=1;24,51,10 (en base decimal 1,414222) como valor de de (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 infinitamente 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.

Descubrimiento de los inconmensurables[editar editar

cdigo]
Las circunstancias y la fecha de este descubrimiento son inciertas, aunque se atribuye a la escuela pitagrica (se utiliza el Teorema de Pitgoras). Aristteles menciona una demostracin de la inconmensurabilidad de la 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 primos entre s. Por el teorema de Pitgoras tenemos que tanto tenemos , , entonces y por con p y q

debe ser par y tambin p, y por tanto q impar. Al ser p par , entonces y , entonces 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 Definicin-5 da la famosa formulacin de Eudoxo: Dos magnitudes estn en la misma razn si dados dos nmeros naturales cualesquiera m y n,

si

entonces

(definicin que intercambiando el 2 y 3

trminos equivale a nuestro procedimiento actual). En el libro de J.P. Colette se hace la observacin de que esta definicin est muy prxima a la de nmero real que dar Dedekind en el siglo XIX, divide las fracciones en las tales que y las que no.

Descubrimiento del 0[editar editar cdigo]

Artculo principal: Cero

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 ser escrito en base 60 puede . 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 significa 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. 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 tanto con el concepto de "orden" como el de "cero". Los mayas inventaron cuatro signos para el cero; los principales eran: el corte de un caracol para el cero matemtico, y una flor para el cero calendrico (que implicaba, no la ausencia de cantidad, sino el cumplimiento de un ciclo).

Nmeros negativos[editar editar cdigo]

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. As, por ejemplo, para el cociente, establece: Positivo dividido por positivo, o negativo dividido por negativo, es afirmativo. Cifra dividido por cifra es nada (0/0=0). Positivo dividido por negativo es negativo. Negativo

dividido por afirmativo es negativo. Positivo o negativo dividido por cifra es una fraccin que la tiene por denominador (a/0=?) No solo utiliz los negativos en los clculos, sino que los consider como entidades aisladas, sin hacer referencia a la geometra. Todo esto se consigui gracias a su despreocupacin por el rigor y la fundamentacin lgica, y su mezcla de lo prctico con lo formal. Sin embargo el tratamiento que hicieron de los negativos cay en el vaco, y fue necesario que transcurrieran varios siglos (hasta el Renacimiento) para que fuese recuperado. Al parecer los chinos tambin posean la idea de nmero negativo, y estaban acostumbrados a calcular con ellos utilizando varillas negras para los negativos y rojas para los positivos.