Ir al contenido

Diferencia entre revisiones de «Número»

Editar enlaces
De Wikipedia, la enciclopedia libre
Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Etiquetas: posible pruebas Edición desde móvil Edición vía web móvil
Sin resumen de edición
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 1: Línea 1:
Los '''conjuntos numéricos''' son construcciones matemáticas que definen diversos tipos de [[Número|números]] y que guardan una ser hola mi nombre es charlin y me pucieron a hacer esta tarea estoy en ta requerida}} En [[álgebra abstracta]] y [[análisis matemático]] un sistema numérico se caracteriza por una
{{Fusionar desde|Conjuntos numéricos}}
:''Para el concepto lingüístico véase [[Número gramatical]].''
{{otros usos}}


* '''[[Estructura algebraica]]''', usualmente un [[anillo conmutativo]] o [[Cuerpo (matemáticas)|cuerpo matemático]] (en el caso no conmutativo son un [[álgebra sobre un cuerpo]] y en el caso de los números naturales sólo un [[monoide]] conmutativo).
Un '''número''', en [[ciencia]], es una [[Abstracción (filosofía)|abstracción]] que representa una [[cantidad]] o una [[magnitud física|magnitud]]. En [[matemáticas]] un número puede representar una cantidad métrica o más generalmente un elemento de un [[sistema numérico]] o un [[Número ordinal (matemáticas)|número ordinal]] que representará una posición dentro de un orden de una serie determinada. Los [[números complejos]] son usados como una herramienta útil para resolver problemas algebraicos y que algebraicamente son un mero añadido a los [[números reales]] que a su vez ampliaron el concepto de número ordinal. Sobre todo, un número real resuelve el problema de comparación de dos medidas: tanto si son conmensurables o inconmensurables. Ejemplo: el lado de un cuadrado es conmensurable con su perímetro, pero el lado del cuadrado con la diagonal del mismo son inconmensurables. <ref>A.I. Fetísov. ''Acerca de la demostración en geometría''. Eitorial Mir, Moscú (1980)</ref>
* '''[[relación de orden|Estructura de orden]]''', usualmente un [[relación de orden|conjunto ordenado]], en el caso de los números naturales, enteros, racionales y reales se trata de [[Orden total|conjuntos totalmente ordenados]], aunque los números complejos e hipercomplejos sólo son conjuntos parcialmente ordenados. Los reales además son un [[conjunto bien ordenado]] y con un [[orden denso]].<ref>No hay relación de orden en el conjunto ℂ de los complejos, tal como existe en los reales, racionales, enteros y naturales</ref>
* '''[[Topología|Estructura topológica]]''', los conjuntos numéricos numerables usualmente son conjuntos disconexos, sobre los que se considera la [[topología discreta]], mientras que sobre los [[conjunto numerable|conjuntos no numerables]] se considera una topología que los hace adecuados para el [[análisis matemático]].


Otra propiedad interesante de muchos conjuntos numéricos es que son representables mediante [[Diagrama de Hasse|diagramas de Hasse]], [[Diagrama de Euler|diagramas de Euler]] y [[Diagrama de Venn|diagramas de Venn]], pudiéndose tomar una combinación de ambos en un diagrama de Euler-Venn con la forma característica de [[cuadrilátero]] y además pudiéndose representar internamente un diagrama de Hasse (es una recta). Tanto históricamente como conceptualmente, los diversos conjuntos numéricos, desde el más simple de los números naturales, hasta extensiones trascentes de los números reales y complejos, elaboradas mediante la [[teoría de modelos]] durante el siglo XX, se construyen desde una estructura más simple hasta otra más compleja.<ref>No necesariamente. El sistema de los números reales puede ser definido axiomáticamente, tal como lo hizo David Hilbert; del mismo modo el de los números complejos, tal como lo hacen: Polya, Alfhors, Markusevich, etc.</ref>
También, en sentido amplio, indica el carácter gráfico que sirve para representarlo; dicho signo gráfico de un número recibe propiamente la denominación de [[Cifra (matemática)|numeral]] o [[cifra (matemática)|cifra]]. El que se escribe con un solo guarismo se llama [[dígito]].<ref>[http://buscon.rae.es/draeI/SrvltGUIBusUsual?TIPO_HTML=2&TIPO_BUS=3&LEMA=n%C3%BAmero+ DRAE]</ref>


== Orden de complejidad y desarrollo histórico ==
El concepto de número incluye abstracciones tales como [[fracción|números fraccionarios]], [[número negativo|negativos]], [[número irracional|irracionales]], [[número trascendental|trascendentales]], [[número complejo|complejos]] y también números de tipo más abstracto como los [[números hipercomplejos]] que generalizan el concepto de número complejo o los [[número hiperreal|números hiperreales]], los [[número superreal|superreales]] y los [[números surreales|surreales]] que incluyen a los números reales como subconjunto.
[[Archivo:Huesos de ishango.jpg|miniaturadeimagen|171x171px|[[Hueso de Ishango]]]]
Históricamente el primer conjunto numérico desarrollado sobre una base intuitiva es el conjunto de los números naturales, ya que desde sus inicios el ser humano necesitó representar sus posesiones con el fin protegerlas. El hombre primitivo por ejemplo, dibujaba marcas en las paredes de las cuevas, en pedazos de piedras, maderas y huesos como forma de contar sus pertenencias.


El orden de construcción de los conjuntos numéricos (de menor a mayor complejidad) es el siguiente:


* '''[[Número natural|Números naturales]]''', entre los cuales se distinguien algunos tipos particulares:
Los números más conocidos son los [[números naturales]]. Denotados mediante <math>\mathbb{N}</math>, son conceptualmente los más simples y los que se usan para contar unidades discretas. Éstos, conjuntamente con los números negativos, conforman el conjunto de los [[números enteros|enteros]], denotados mediante <math>\mathbb{Z}</math> (del alemán ''Zahlen'' 'números'). Los números negativos permiten representar formalmente deudas, y permiten generalizar la resta de cualesquiera dos números naturales.
** El [[Uno|número 1]]
** Los [[Número primo|números primos]] documentados ya entre los matemáticos egipcios, babilonios, chinos, y ampliamente estudiados por los matemáticos griegos.
** [[Número compuesto|Números compuestos]].
** Números pares.
** números impares.
* '''[[Número entero|Números enteros]]''', sistematizados por matemáticos de la India, e intuidos y usados informalmente de diversas maneras en Europa y China. En Europa, a partir del siglo XV son estudiados desde un punto de vista matemático. Entre los números enteros se cuentan:
** El [[Cero|número 0]], que si bien había sido empleado en diversos lugares, no siempre fue considerado un numero en pie de igualdad con otros números naturales.
** [[Número entero negativo|Números enteros negativos]].
** Números enteros positivos (naturales).
* Los '''[[Número racional|números racionales]]''', si bien muchos números racionales positivos, ya habían sido usados por matemáticos egipcios, babilonios y chinos, la moderna construcción de los racionales como conjunto que incluía a los enteros es una concepción relativamente moderna.
* [[Número irracional|Números irracionales]], ya habían sido descubiertos y reconocidos por los matemáticos griegos (y posiblemente también en otras regiones). Los griegos desarrollaron un número importante de construcciones geométricas que incluían números irracionales. El [[Número π]] (pi) es un ejemplo de número irracional.
* '''[[Número real|Números reales]]''', son una construcción moderna del siglo XIX, si bien los griegos ya conocían algunos números irracionales constructibles mediante [[regla y compás]] no desarrollaron la noción de número real como límite de sucesiones de numeros racionales.
* [[Número imaginario]], los números imaginarios fueron usados durante el siglo XV en la investigación de las soluciones de algunas raíces polinómicas, pero no fueron sistematizados hasta más tarde. En el siglo XVII la noción de números complejos era bien conocida y había sido usada ya en el siglo anterior. Sin embargo, la noción analítica de los [[números complejos]] como extensión de los números reales empleados en [[análisis matemático]] se formalizó de manera completa en el siglo XIX. Fue en esta época donde se construyeron muchas generalizaciones de los números reales entre ellas:
** Los '''[[Número complejo|números complejos]]''', empleados de manera más o menos continuada desde el siglo XVI, en el siglo XIX son formalizados dentro del [[análisis matemático]] como extensión de los reales.
** Los [[Cuaternión|cuaterniones]], propuestos por [[Rowan Hamilton]] para resolver diversos problemas geométricos, son una construcción que generaliza a su vez a los números complejos.
** [[Números hipercomplejos]], generalizan la construcción de Hamilton de los cuaterniones.
* Extensiones trascendentes de reales y complejos. Posteriormente diversas extensiones surgidas del análisis matemático crearon extensiones trascententes (no algebraicas) que incluían a los:
** '''[[Números hiperreales]]''' (1948-1955), la noción de [[número infinitesimal]] así como algunas ideas de [[Gottfried Leibniz|Leibniz]] anticipaban una construcción más allá de los números reales ordinarios, fueron formalizados finalmente como un modelos no-estándar de de los axiomas de los números reales, mediante el [[teorema de Łoś]] (1955).
** [[Números surreales]] (1960).
** [[Números surreales]] (1970).


{{Clasificación números}}
Otro tipo de números ampliamente usados son números [[fracción|fraccionarios]], y tanto cantidades inferiores a una unidad, como números mixtos (un conjunto de unidades más una parte inferior a la unidad). Los números fraccionarios pueden ser expresados siempre como cocientes de enteros. El conjunto de todos los números fraccionarios es el conjunto de los [[números racionales]] (que usualmente se define para que incluya tanto a los racionales positivos, como a los racionales negativos y el cero). Este conjunto de números se designa como <math>\mathbb{Q}</math>.


== El [[Sistema de numeración|sistema de numeración]] ==
Los números racionales permiten resolver gran cantidad de problemas prácticos, pero desde los antiguos griegos se conoce que ciertas relaciones geométricas (la [[raíz cuadrada de dos|diagonal de un cuadrado de lado unidad]]) son números no enteros que tampoco son racionales. Igualmente, la solución numérica de una ecuación polinómica cuyos coeficientes son números racionales, usualmente es un número no racional. Puede demostrarse que cualquier número irracional puede representarse como una [[sucesión de Cauchy]] de números racionales que se aproximan a un límite numérico. El conjunto de todos los números racionales y los irracionales (obtenidos como límites de sucesiones de Cauchy de números racionales) es el conjunto de los [[número real|números reales]] <math>\mathbb{R}</math>. Durante un tiempo se pensó que toda magnitud física existente podía ser expresada en términos de números reales exclusivamente. Entre los reales, existen números que no son [[números algebraicos|soluciones de una ecuación polinomial]] o algebraica, que reciben el nombre de [[número trascendental|transcendentales]]. Ejemplos famosos de estos números son el número [[Número pi|π (Pi)]] y el [[número e]] (este último base de los [[logaritmo natural|logaritmos naturales]]), los cuales están relacionados entre sí por la [[identidad de Euler]].
Sistema de '''símbolos''' o '''signos''' utilizados para expresar los números. Un [[Sistema de numeración posicional]], por ejemplo está definido por la base que utiliza. La base de un sistema de numeración es el número de símbolos diferentes o guarismos, necesarios para representar un número cualquiera de los infinitos posibles en el sistema. El sistema de numeración más utilizado en la actualidad es el arábigo o decimal porque emplea 10 símbolos para representar todos los números: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

[[Categoría:Matemática elemental]]
Uno de los problemas de los números reales es que no forman un [[cuerpo algebraicamente cerrado]], por lo que ciertos problemas no tienen solución planteados en términos de números reales. Esa es una de las razones por las cuales se introdujeron los [[números complejos]] <math>\mathbb{C}</math>, que son el mínimo [[cuerpo (matemática)|cuerpo]] algebraicamente cerrado que contiene a los números reales. Además algunas aplicaciones prácticas así como en las formulaciones estándar de la mecánica cuántica se considera útil introducir los [[números complejos]]. Al parecer la estructura matemática de los números complejos refleja estructuras existentes en problemas físicos, por lo que en física teórica y en diversas aplicaciones los números complejos se usan en pie de igualdad con los números reales, a pesar de que inicialmente fueron considerados únicamente como un artificio matemático sin relación con la realidad física. Todos los conjuntos de números <math>\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}</math> fueron de alguna manera "descubiertos" o sugeridos en conexión con problemas planteados en problemas físicos o en el seno de la matemática elemental y todos ellos parecen tener importantes conexiones con la realidad física.

Fuera de los números reales y complejos, claramente conectados con problemas de las ciencias naturales, existen otros tipos de números que generalizan aún más y extienden el concepto de número de una manera más abstracta y responden más a creaciones deliberadas de matemáticos. La mayoría de estas generalizaciones del concepto de número se usan sólo en matemáticas, aunque algunos de ellos han encontrado aplicaciones para resolver ciertos problemas físicos. Entre ellos están los [[números hipercomplejos]] que incluyen a los [[cuaterniones]] útiles para representar rotaciones en un espacio de tres dimensiones, y generalizaciones de estos como [[octoniones]] y los [[sedeniones]].

A un nivel un poco más abstracto también se han ideado conjuntos de números capaces de tratar con cantidades [[infinita]]s e [[infinitesimal]]es como los [[número hiperreal|hiperreales]] y los [[transfinitos]].

=== Enumeración de los tipos ===
La [[teoría de los números]] trata básicamente de las propiedades de los números naturales y los enteros, mientras que las operaciones del álgebra y el cálculo permiten definir la mayor parte de los sistemas numéricos, entre los cuales están:
<div style="-moz-column-count:3; column-count:3;">
* [[Número natural|Números naturales]]
** [[Número primo]]
** [[Número compuesto|Números compuestos]]
** [[Número perfecto|Números perfectos]]
* [[Número entero|Números enteros]]
** [[Número negativo|Números negativos]]
** [[Número par|Números pares]]
** [[Número impar|Números impares]]
* [[Número racional|Números racionales]]
* [[Número real|Números reales]]
** [[Número irracional|Números irracionales]]
** [[Número algebraico|Números algebraicos]]
** [[Número trascendente|Números trascendentes]]:
*** [[Número pi|π]]
*** [[Número e|e]]
* Extensiones de los números reales
** [[Número complejo|Números complejos]]
** [[Números hipercomplejos]]
*** [[Cuaterniones]]
*** [[Octoniones]]
** [[Número hiperreal|Números hiperreales]]
** [[Números superreales]]
** [[Números surreales]]
* Números usados en teoría de conjuntos
* [[Número ordinal (teoría de conjuntos)|Números ordinales]]
* [[Número cardinal (teoría de conjuntos)|Números cardinales]]
* [[Número transfinito|Números transfinitos]]
</div>
=== Números naturales especiales ===
El estudio de ciertas propiedades que cumplen los números ha producido una enorme cantidad de tipos de números, la mayoría sin un interés matemático específico. A continuación se indican algunos:
[[Archivo:AL Numeros 01.svg|derecha|460px]]
:'''Narcisista''': Número de n dígitos que resulta ser igual a la suma de las potencias de orden n de sus dígitos. Ejemplo: 153 = 1³ + 5³ + 3³.
:'''Omirp''': Número primo que al invertir sus dígitos da otro número primo. Ejemplo : 1597 y 7951 son primos.
:'''Vampiro''': Número que es el producto de dos números obtenidos a partir de sus dígitos. Ejemplo: 2187 = 27 x 81.

Una vez entendido el problema de la naturaleza y la clasificación de los números, surge otro, más práctico, 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 numeración posicional, gracias al invento del [[cero]], con una base constante.

Más formalmente, en ''The concept of number'', el matemático Frege realiza una definición de «número», la cual fue tomada como referencia por muchos matemáticos (entre ellos Russell, cocreador de ''principia mathematica''):

''«n» es un número, es entonces la definición de «que existe un concepto “F” para el cual “n” aplica», que a su vez se ve explicado como que «n» es la extensión del concepto «equinumerable con» para «F», y dos conceptos son equinumerables si existe una relación «uno a uno» (véase que no se utiliza el símbolo «1» porque no está definido aún) entre los elementos que lo componen (es decir, una biyección en otros términos).''

Véase también que Frege, tanto como cualquier otro matemático, se ven inhabilitados para definir al número como la expresión de una cantidad, porque la simbología matemática no hace referencia necesaria a la numerabilidad, y el hecho de «cantidad» referiría a algo numerable, mientras que números 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 [[Número natural|números naturales]], explicita que supone sabida una definición (quizás debido a su «obviedad») de las palabras o conceptos ''cero'', ''sucesor'' y ''número''. De esta manera postula:
* 0 es un número,
* el sucesor de todo número es un número,
* dos números diferentes no tienen el mismo sucesor,
* 0 no es el sucesor de ningún número,
* y la propiedad inductiva.

Sin embargo, si uno define el concepto ''cero'' como el número 100, y el concepto ''número'' como ''los números mayores a 100'', entonces las cinco proposiciones mencionadas anteriormente aplican, no a la idea que Peano habría querido comunicar, sino a su formalización.

La definición de número se encuentra por ende no totalmente formalizada, aunque se encuentre un acuerdo mayoritario en adoptar la definición enunciada por Frege.

== Historia del concepto de número ==
Cognitivamente el concepto de número está asociado a la habilidad de [[contar]] y comparar cual de dos conjuntos de entidades similares tiene mayor cantidad de elementos. 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 precisión cuantos elementos formaban una colección de cosas. Esos problemas podían ser resueltos simplemente contando. La habilidad de contar del ser humano, no es un fenómeno simple, aunque la mayoría de culturas tienen sistemas de cuenta que llegan como mínimo a centenares, algunos pueblos con una cultura material simple, sólo disponen de términos para los números 1, 2 y 3 y usualmente usan el término "muchos" para cantidades mayores, aunque cuando es necesario usan recursivamente expresiones traducibles como "3 más 3 y otros 3" cuando es necesario.

El [[cuenta (matemáticas)|conteo]] se debió iniciar mediante el uso de objetos físicos (tales como montones de piedras) y de marcas de cuenta, como las encontradas en [[Palo tallado|huesos tallados]]: el de Lebombo, con 29 muescas grabadas en un hueso de babuino, tiene unos 37.000 años de antigüedad 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 años de antigüedad. Ambos casos constituyen una de las más antiguas marcas de cuenta conocidas habiéndose sugerido que pudieran estar relacionadas con registros de fases lunares.<ref>[[Ian Stewart]], ''Historia de las matemáticas, Crítica, 2008. ISBN 978-84-8432-369-3 p. 12-13''</ref> En cuanto al origen ordinal algunas teorías lo sitúan en rituales religiosos. Los sistemas numerales de la mayoría de familias lingüísticas reflejan que la operación de contar estuvo asociado al conteo de dedos (razón por la cual los sistemas de base decimal y vigesimal son los más abundantes), aunque están testimoniado el empleo de otras bases numéricas además de 10 y 20.

El paso hacia los símbolos numerales, al igual que la escritura, se ha asociado a la aparición de sociedades complejas con instituciones centralizadas constituyendo artificios burocráticos de contabilidad en registros impositivos y de propiedades. Su origen estaría en primitivos símbolos 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 habían venido a sustituir progresivamente el conteo de diferentes bienes mediante fichas de arcilla (constatadas al menos desde el 8000&nbsp;a.&nbsp;C.) Los símbolos numerales más antiguos encontrados se sitúan en las civilizaciones mesopotámicas usándose como sistema de numeración ya no solo para la contabilidad o el comercio sino también para la agrimensura o la astronomía como, por ejemplo, registros de movimientos planetarios.<ref>[[Ian Stewart]], ''Historia de las matemáticas, Crítica, 2008. ISBN 978-84-8432-369-3 p. 14''</ref>

En conjunto, desde hace 5.000 años la mayoría de las civilizaciones han contado como lo hacemos hoy aunque la forma de escribir los números (si bien todos representan con exactitud los naturales) ha sido muy diversa. Básicamente la podemos clasificar en tres categorías:
# '''Sistemas de notación aditiva'''. Acumulan los símbolos de todas las unidades, decenas, centenas,... necesarios hasta completar el número. Aunque los símbolos pueden ir en cualquier orden, adoptaron siempre una determinada posición (de más a menos). De este tipo son los sistemas de numeración: [[Numeración egipcia|Egipcio]], hitita, cretense, [[Numeración romana|romano]], griego, armenio y judío.
# '''Sistemas de notación híbrida'''. Combinan el principio aditivo con el multiplicativo. En los anteriores 500 se representa con 5 símbolos de 100, en éstos se utiliza la combinación 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 numeración: Chino clásico, asirio, armenio, etíope y [[Numeración maya|maya]]. Este último utilizaba símbolos para el "1", el "5" y el "0". Siendo este el primer uso documentado del cero tal como lo conocemos hoy (Año 36 a.C) ya que el de los babilonios solo se utilizaba entre otros dígitos.
# '''Sistemas de [[notación posicional]]'''. La posición de las cifras nos indica si son unidades, decenas, centenas,... o en general la potencia de la base. Solo tres culturas además de la india lograron desarrollar un sistema de este tipo: El [[Numeración china|sistema Chino (300&nbsp;a.&nbsp;C.)]] que no disponía de 0, el [[Numeración babilónica|sistema Babilónico (2000&nbsp;a.&nbsp;C.)]] con dos símbolos, de base 10 aditivo hasta el 60 y posicional (de base 60) en adelante, sin "0" hasta el 300&nbsp;a.&nbsp;C.

=== Las fracciones unitarias egipcias (Papiro Ahmes/Rhind) ===
{{AP|Fracción egipcia}}
En este papiro adquirido por [[Papiro de Ahmes|Henry Rhind]] en 1858 cuyo contenido data del 2000 al 1800&nbsp;a.&nbsp;C. además del sistema de numeración 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 número, la fracción 2/3 que se representa con un signo especial y en algunos casos fracciones del tipo <math>n/n+1</math>. Hay tablas de descomposición de <math>2/n</math> desde n=1 hasta n=101, como por ejemplo <math>2/5=1/3+1/15</math> ó <math>2/7=1/4+1/28</math>, no sabemos por qué no utilizaban <math>2/n=1/n+1/n</math> pero parece que trataban de utilizar fracciones unitarias menores que <math>1/n</math>.

Al ser un sistema sumativo la notación es: 1+1/2+1/4 . La operación fundamental es la suma y nuestras multiplicaciones y divisiones se hacían por "duplicaciones" y "mediaciones", por ejemplo 69x19=69x(16+2+1), donde 16 representa 4 duplicaciones y 2 una duplicación.

=== Fracciones sexagesimales babilónicas (documentos cuneiformes) ===

En las tablillas cuneiformes de la dinastía [[Hammurabi]] (1800-1600&nbsp;a.&nbsp;C.) aparece el sistema posicional, antes referido, extendido a las fracciones, pero XXX vale para <math>2\times60+2</math>, <math>2+2\times60-1</math> ó <math>2\times60-1+2\times60-2</math> con una representación basada en la interpretación del problema.

Para calcular recurrían, como nosotros antes de disponer de máquinas, a las numerosas tablas de que disponían: De multiplicar, de inversos, de cuadrados y cubos, de raíces cuadradas y cúbicas, de potencias sucesivas de un número dado <!--(¿antilogaritmos?)--> no fijó, etc. Por ejemplo para calcular <math>a</math>, tomaban su mejor aproximación entera <math>a_1</math>, y calculaban <math>b_1=a/a_1</math> (una mayor y otra menor) y entonces <math>a_2=(a_1+b_1)/2</math> es mejor aproximación, procediendo igual obtenemos <math>b_2=a/a_2</math> y <math>a_3=(a_2+b_2)/2</math> obteniendo en la tablilla Yale-7289 2=1;24,51,10 (en base decimal 1,414222) como valor de <math>a_3</math> partiendo de <math>a_1=1;30</math> (véase [[Raíz cuadrada#Algoritmo babilónico|algoritmo babilónico]]).

Realizaban las operaciones de forma parecida a hoy, la división 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 expresión sexagesimal infinitamente larga. Sí están 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 periódico.

=== Descubrimiento de los inconmensurables ===

Las circunstancias y la fecha de este descubrimiento son inciertas, aunque se atribuye a la [[escuela pitagórica]] (se utiliza el [[Teorema de Pitágoras]]). [[Aristóteles]] menciona una demostración de la inconmensurabilidad de la [[diagonal]] de un [[cuadrado]] con respecto a su lado basada en la distinción entre lo par y lo impar. La reconstrucción que realiza C. Boyer es:

Sean d:diagonal, s:lado y d/s racional que podremos escribirlo como <math>p/q</math> con p y q primos entre sí. Por el teorema de Pitágoras tenemos que <math> d^2=s^2+s^2</math> , <math>(d/s)^2=p^2/q^2=2</math>, entonces <math>p^2=2q^2</math> y por tanto <math>p^2</math> debe ser par y también p, y por tanto q impar. Al ser p par tenemos <math>p=2r</math>, entonces <math>4r^2=2q^2</math> y <math>2r^2=q^2</math>, entonces <math>q^2</math> es par y q también, entonces q es par e impar con lo que tenemos una contradicción.

La teoría pitagórica de ''todo es número'' quedó seriamente dañada.

El problema lo resolvería [[Eudoxo de Cnido]] (408-355&nbsp;a.&nbsp;C.) tal como nos indica [[Euclides]] en el libro V de ''Los elementos''. Para ello estableció el Axioma de [[Arquímedes]]: ''Dos magnitudes tienen una razón si se puede encontrar un múltiplo de una de ellas que supere a la otra'' (excluye el 0). Después en la Definición-5 da la famosa formulación de Eudoxo: ''Dos magnitudes están en la misma razón <math>a/b=c/d </math> si dados dos [[número natural|números naturales]] cualesquiera m y n, si <math> ma = nb </math> entonces <math>mc = nd</math> (definición que intercambiando el 2º y 3º términos equivale a nuestro procedimiento actual).

En el libro de J.P. Colette se hace la observación de que esta definición está muy próxima a la de [[número real]] que dará [[Richard Dedekind|Dedekind]] en el siglo XIX, divide las fracciones en las <math>m/n</math> tales que <math>ma = nb</math> y las que no.

=== Creación del cero ===

{{AP|Cero}}
En cualquier sistema de numeración posicional surge el problema de la falta de unidades de determinado orden. Por ejemplo, en el sistema [[Historia de Babilonia|babilónico]] el número <math>32</math> escrito en base 60 puede ser <math>3\times60 + 2</math> ó <math>3\times60^2+0\times60+2</math>. A veces, se utilizaba la posición vacía para evitar este problema 3 _ 2; pero los escribas debían tener mucho cuidado para no equivocarse.

Hacia el siglo III&nbsp;a.&nbsp;C., en Grecia, se comenzó a representar la nada mediante una "o" que significa ''oudos'' 'vacío', y que no dio origen al concepto de cero como existe hoy en día. La idea del cero como concepto matemático parece haber surgido en la [[India]] mucho antes que en ningún otro lugar. La única notación ordinal del viejo mundo fue la sumeria, donde el cero se representaba por un vacío.

En América, la primera expresión conocida del sistema de numeración vigesimal prehispánico data del siglo III&nbsp;a.&nbsp;C. Se trata de una estela olmeca tardía, 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 matemático, y una flor para el cero calendárico (que implicaba, no la ausencia de cantidad, sino el cumplimiento de un ciclo).

=== Números negativos ===

[[Brahmagupta]], en el 628 de nuestra era, considera las dos raíces de las [[ecuación cuadrática|ecuaciones cuadráticas]], aunque una de ellas sea negativa o irracional. De hecho en su obra es la primera vez que aparece sistematizada la [[aritmética]] (+, -, *, / , potencias y raíces) de los números 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 fracción que la tiene por denominador (a/0=¿?)''

No solo utilizó los negativos en los cálculos, sino que los consideró como entidades aisladas, sin hacer referencia a la [[geometría]]. Todo esto se consiguió gracias a su despreocupación por el rigor y la fundamentación lógica, y su mezcla de lo práctico con lo formal.

Sin embargo el tratamiento que hicieron de los negativos cayó en el vacío, y fue necesario que transcurrieran varios siglos (hasta el [[Renacimiento]]) para que fuese recuperado.

Al parecer los chinos también poseían la idea de número negativo, y estaban acostumbrados a calcular con ellos utilizando varillas negras para los negativos y rojas para los positivos.

=== Transmisión del sistema indo-arábigo a Occidente ===

Varios autores del siglo XIII contribuyeron a esta difusión, destacamos a: [[Alexandre de Villedieu]] (1225), [[Johannes de Sacrobosco|Sacrobosco]] (circa 1195, o 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 capítulo I la numeración posicional, en los cuatro siguientes las operaciones elementales, en los capítulos VI y VII las fracciones: comunes, sexagesimales y unitarias (¡no usa los decimales, principal ventaja del sistema!), y en el capítulo XIV los radicales cuadrados y cúbicos. También contiene el problema de los conejos que da la serie: <math>1, 1, 2, 3, 5, 8, ... ,u_n</math> con <math>u_n=u_{n-1}+u_{n-2}</math>.

No aparecen los números negativos, que tampoco consideraron los árabes, debido a la identificación de número con magnitud (¡obstáculo que duraría siglos!). A pesar de la ventaja de sus algoritmos de cálculo, se desataría por diversas causas una lucha encarnizada entre abacistas y algoristas, hasta el triunfo final de éstos últimos.

=== Las fracciones continuas ===

[[Pietro Antonio Cataldi]] (1548-1626), aunque con ejemplos numéricos, desarrolla una raíz cuadrada en fracciones continuas como hoy:
Queremos calcular <math>N</math> y sea <math>a</math> el mayor número cuyo cuadrado es menor que <math>N</math> y <math>b=N^2-a^2</math>, tenemos: <math>N-a = (N^2-a^2)/(N+a) = b/(2a+ N-a) = b/(2a+(b/2a+...))</math> que con su notación escribía: 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)...

Siendo así los números irracionales aceptados con toda normalidad, pues se les podía aproximar fácilmente mediante números racionales.

=== Primera formulación de los números complejos ===
Los números complejos eran en pocos casos aceptados como raíces o soluciones de ecuaciones ([[Michael Stifel|M. Stifel]] (1487-1567), [[Simon Stevin|S. Stevin]] (1548-1620)) y por casi ninguno como coeficientes). Estos números se llamaron inicialmente ''ficticii'' 'ficticios' (el término "imaginario" usado actualmente es reminiscente de estas reticencias a considerarlos números respetables). A pesar de esto [[Gerolamo Cardano|G. Cardano]] (1501-1576) conoce la [[regla de los signos]] y [[Rafael Bombelli|R. Bombelli]] (1526-1573) las reglas aditivas a través de ''haberes'' y ''débitos'', pero se consideran manipulaciones formales para resolver ecuaciones, sin entidad al no provenir de la medida o el conteo.

Cardano en la resolución del problema ''dividir 10 en dos partes tales que su producto valga 40'' obtiene como soluciones <math> 5+ \sqrt{-15}</math> (en su notación 5p:Rm:15) y <math> 5 - \sqrt{-15}</math> (en su notación 5m:Rm:15), soluciones que consideró meras manipulaciones ''"sutiles, pero inútiles"''.

En la resolución de ecuaciones cúbicas con la fórmula de Cardano-Tartaglia, aunque las raíces sean reales, aparecen en los pasos intermedios raíces de números negativos. En esta situación Bombelli dice en su ''Álgebra'' que tuvo lo que llamó ''"una idea loca"'', esta era que los radicales podían tener la misma relación que los radicandos y operar con ellos, tratando de eliminarlos después. En un texto posterior en 20 años utiliza p.d.m. <math> (+\mathrm i)</math> para <math> + \sqrt{-1}</math> y m.d.m. <math> (-\mathrm i) </math> para <math> - \sqrt{-1}</math> dando las reglas para operar con estos símbolos añadiendo que siempre que aparece una de estas expresiones aparece también su conjugada, como en las ecuaciones de 2º grado que resuelve correctamente. Da un método para calcular <math>a+b\mathrm i</math>.

=== Generalización de las fracciones decimales ===

Aunque se encuentra un uso más que casual de las fracciones 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 aceptaban los matemáticos que se dedicaban a la investigación, su uso se generalizó con la obra que Simón Stevin publicó en 1585 ''De Thiende (La Disme)''. En su definición 1ª dice que la Disme es un especie de [[aritmética]] que permite efectuar todas las cuentas y medidas utilizando únicamente números naturales. En las siguientes define nuestra parte entera: ''cualquier número que vaya el primero se dice comienzo y su signo es (0), (1ª posición decimal 1/10). El siguiente se dice primera y su signo es (1) (segunda posición decimal 1/100). El siguiente se dice segunda (2)''. Es decir, los números decimales que escribe: 0,375 como 3(1)7(2)5(3), ó 372,43 como 372(0)4(1)3(2). Añade que ''no se utiliza ningún número roto (fracciones), y el número de los signos, exceptuando el 0, no excede nunca a 9''.

Esta notación la simplificó Jost Burgüi (1552-1632) eliminando la mención al orden de las cifras y sustituyéndolo por un "." en la parte superior de las unidades 372·43, poco después Magín (1555-1617) usó el "." entre las unidades y las décimas: 372.43, uso que se generalizaría al aparecer en la ''Constructio'' de Napier(1550-1617) de 1619. La "," también fue usada a comienzos del siglo XVII por el holandés Willerbrod Snellius: 372,43.

=== El principio de inducción matemática ===
{{AP|Inducción matemática}}
Su antecedente es un método de demostración, llamado inducción completa, por aplicación reiterada de un mismo silogismo que se extiende indefinidamente y que usó Maurolyco (1494-1575) para demostrar que la suma de los primeros <math>n</math> números naturales impares es el cuadrado del <math>n</math>-ésimo término, es decir <math>1+3+5+7+\dots+(2n-1)=n^2</math>. [[Blaise Pascal|Pascal]] (1623-1662) usó el método de inducción matemática, en su formulación abstracta, tal y como lo conocemos hoy para probar propiedades relativas al triángulo numérico que lleva su nombre. La demostración por inducción consta siempre de dos partes: el paso base y el paso inductivo, los cuales se describen a continuación en notación moderna:

Si <math>S</math> es un subconjunto de los números naturales (denotado por <math>\mathbb N</math>) donde cada elemento <math>n</math> cumple la propiedad <math>P(n)</math> y se tiene que
# <math>0</math> pertenece a <math>S</math>.<!--se verifica E... ¿Cómo se puede verificar un '''conjunto'''?-->
# El hecho de que <math>n</math> sea un miembro de <math>S</math> implica que <math>n+1</math> también lo es.

entonces <math>S = \mathbb N</math>, es decir que todos los números naturales <math>n</math> tienen la propiedad <math>P(n)</math>.

De manera intuitiva se entiende la inducción como un efecto dominó. Suponiendo que se tiene una fila infinita de fichas de dominó, el paso base equivale a tirar la primera ficha; por otro lado, el paso inductivo equivale a demostrar que si alguna ficha se cae, entonces la ficha siguiente también se caerá. La conclusión es que se pueden tirar todas las fichas de esa fila.

=== La interpretación geométrica de los números complejos ===

Esta interpretación suele ser atribuida a [[Gauss]] (1777-1855) que hizo su tesis doctoral sobre el teorema fundamental del álgebra, enunciado por primera vez por Harriot y Girard en 1631, con intentos de demostración realizados por [[D’Alembert]], [[Euler]] y [[Lagrange]], demostrando que las pruebas anteriores eran falsas y dando una demostración correcta primero para el caso de coeficientes, y después de complejos. También trabajó con los números enteros complejos que adoptan la forma <math> a+bi</math>, con <math> a </math> y <math> b </math> enteros. Este símbolo <math>i</math> para <math> \sqrt{-1}</math> fue introducido por primera vez por Euler en 1777 y difundido por Gauss en su obra “''Disquisitiones arithmeticae''” de 1801.

La representación gráfica de los números complejos había sido descubierta ya por Caspar Wessel (1745-1818) pero pasó desapercibida, y así el plano de los números complejos se llama “''plano de Gauss''” a pesar de no publicar sus ideas hasta 30 años después.

Desde la época de Girard (mitad siglo XVII) se conocía que los números reales se pueden representar en correspondencia con los puntos de una recta. Al identificar ahora los complejos con los puntos del plano los matemáticos se sentirán cómodos con estos números, ''ver es creer''.

=== Descubrimiento de los números trascendentes ===
La distinción entre números irracionales algebraicos y trascendentes data del siglo XVIII, en la época en que Euler demostró que <math>e</math> y <math>e^2</math> son irracionales y Lambert que lo es π. Los trabajos de Legendre sobre la hipótesis de que π podía no ser raíz de una ecuación algebraica con coeficientes racionales, señalaron el camino para distinguir distintos tipos de irracionales. Euler ya hacía esta distinción en 1744 pero habría que esperar casi un siglo para que se estableciera claramente la existencia de los irracionales trascendentes en los trabajos de Liouville, Hermite y Lindeman.

Liouville (1809-1882) demostró en 1844 que todos los números de la forma <math>a_1/10+a_2/10^{2!}+a_3/10^{3!}+ ... </math> (p.e. 0,101001.....) son trascendentes.

[[Charles Hermite|Hermite]] (1822-1901) en una memoria “''Sobre la función exponencial''” de 1873 demostró la trascendencia de <math>e</math> probando de una forma muy sofisticada que la ecuación: <math>c_0+c_1 e+......+c_n e^n=0</math> no puede existir.

Lindeman (1852-1939) en la memoria “''Sobre el número <math>e</math>''” de 1882 prueba que el número e no puede satisfacer la ecuación: <math>c_1e^x +c_2e^x +............ +c_ne^x =0</math> con <math>x</math> y <math>c_i</math> algebraicos, por tanto la ecuación <math>e^{ix}+1=0</math> no tiene solución para x algebraico, pero haciendo <math>x=\pi</math> tenemos <math>e^{\pi i}+1=0 </math>, entonces <math>x=\pi i</math> no puede ser algebraico y como i lo es entonces π es trascendente.

El problema 7 de Hilbert (1862-1943) que plantea si <math>a^b</math>, con a algebraico distinto de cero y de uno, y b irracional algebraico, es trascendente fue resuelto afirmativamente por Gelfond (1906-1968) en 1934. Pero no se sabe si son trascendentes o no: <math>e^e</math>,<math>e^{e^e}</math>, <math>e^{e^{e^e}}</math>, ... Sin embargo e y 1/e sí que son trascendentes.

=== Teorías de los irracionales ===

Hasta mediados del siglo XIX los matemáticos se contentaban con una comprensión intuitiva de los números y sus sencillas propiedades no son establecidas lógicamente hasta el siglo XIX. La introducción del rigor en el análisis puso de manifiesto la falta de claridad y la imprecisión del sistema de los números reales, y exigía su estructuración lógica sobre bases aritméticas.

[[Bernard Bolzano|Bolzano]] había hecho un intento de construir los números reales basándose en sucesiones de números racionales, pero su teoría pasó desapercibida y no se publicó hasta 1962. [[William Rowan Hamilton|Hamilton]] hizo un intento, haciendo referencia a la magnitud tiempo, a partir de particiones de números racionales:

: si <math> a = \cfrac{n_1}{m_1} </math>,
: cuando <math> b = \cfrac{n_1^2}{m_1^2} </math>
: y si <math> a = \cfrac{n_2}{m_2} </math>
: cuando <math> b = \cfrac{n_2^2}{m_2^2} \quad \longrightarrow \quad a= \sqrt{b} </math>
: pero no desarrolló más su teoría.

Pero en el mismo año 1872 cinco matemáticos, un francés y cuatro alemanes, publicaron sus trabajos sobre la aritmetización de los números reales:

* [[Charles Meray]] (1835-1911) en su obra “''Noveau preçis d’analyse infinitesimale''” define el número irracional como un límite de sucesiones de números racionales, sin tener en cuenta que la existencia misma del límite presupone una definición del número real.

* [[Hermann Heine]] (1821-1881) publicó, en el ''Journal de Crelle'' en 1872, su artículo "Los elementos de la teoría de funciones", donde proponía ideas similares a las de [[Cantor]], teoría que en conjunto se llama actualmente "[[teoría de Cantor-Heine]]".

* [[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 sólo consideramos los números racionales. En la sección 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 división''”. Esta misma idea la utiliza en la sección “''creación de los números irracionales''” para introducir su concepto de “''cortadura''”. [[Bertrand Russell]] apuntaría después que es suficiente con una clase, pues esta define a la otra.

* [[Georg Cantor]] (1845-1918). Define los conceptos de: sucesión fundamental, sucesión elemental, y límite de una sucesión fundamental, y partiendo de ellos define el número real.

* [[Karl Weierstrass]] (1815-1897). No llegó a publicar su trabajo, continuación de los de Bolzano, Abel y Cauchy, pero fue conocido por sus enseñanzas en la Universidad de Berlín. Su caracterización basada en los “''intervalos encajados''”, que pueden contraerse a un número racional pero no necesariamente lo hacen, no es tan generalizable como las anteriores, pero proporciona fácil acceso a la representación decimal de los números reales.

=== Álgebras hipercomplejas ===
La construcción de obtención de los números complejos a partir de los números reales, y su conexión con el grupo de transformaciones afines en el plano sugirió a algunos matemáticos otras generalizaciones similares conocidas como [[números hipercomplejos]]. En todas estas generalizaciones los números complejos son un subconjunto de estos nuevos sistemas numéricos, aunque estas generalizaciones tienen la estructura matemática de [[álgebra sobre un cuerpo]], pero en ellos la operación de multiplicación no es conmutativa.

=== Teoría de conjuntos ===
{{Ap|Teoría de conjuntos}}
La teoría de conjuntos sugirió muchas y variadas formas de extender los números naturales y los números reales de formas diferentes a como los números complejos extendían al conjunto de los números reales. El intento de capturar la idea de conjunto con un número no finito de elementos llevó a la aritmética de [[número transfinito|números transfinitos]] que generalizan a los naturales, pero no a los números enteros. Los números transfinitos fueron introducidos por [[Georg Cantor]] hacia 1873.

Los [[números hiperreales]] usados en el análisis no estándar generalizan a los reales pero no a los números complejos (aunque admiten una complejificación que generalizaría también a los números complejos). Aunque parece los números hiperreales no proporcionan resultados matemáticos interesantes que vayan más allá de los obtenibles en el análisis real, algunas demostracciones y pruebas matemáticas parecen más simples en el formalismo de los números hiperreales, por lo que no están exentos de importancia práctica.

=== Socialmente ===
* Los número naturales por la necesidad de contar.
* Los números fraccionarios por la necesidad de medir partes de un todo, y de compartir.
* Los enteros negativos por fenómenos de doble sentido: izquierda-derecha, arriba-abajo, pérdida- ganancia
* Los números reales por la necesidad de medir segmentos
* Los números complejos por exigencias de resolver ecuaciones algebraicas, como el caso de la cúbicas o de x<sup>2</sup> + 1 = 0 <ref>Trejo: El concepto de número</ref>

== Sistemas de representación de los números ==
Los números como expresión de cantidades aparecen en todas las culturas humanas. Incluso los grupos humanos con culturas materiales más simples disponen en su lengua de alguna manera para expresar cantidades en forma numérica, al menos hasta cierto número, mediante palabras que designa a estos números (palabras numerales). El advenimiento de la escritura también comportó la búsqueda de sistemas de representación gráfica para los números, estos sistemas van desde sistemas muy simples basados en rayas a sistemas elaborados que permiten expresar números elevados.

=== Cifra, dígito y numeral ===
{{AP|cifra (matemática)}}
Una de las formas más frecuentes de representar números por escrito consiste en un "conjunto finito de símbolos" o dígitos, que adecuadamente combinados permiten formar cifras que funcionan como representaciones de números (cuando una secuencia específica de signos se emplea para representar un número se la llama numeral, aunque una cifra también puede representar simplemente un código identificativo.)

=== Base numérica ===
{{AP|Base (aritmética)}}
Tanto las lenguas naturales como la mayor parte de sistemas de representación de números mediante cifras, usan un inventario finito de unidades para expresar una cantidad mucho mayor de números. Una manera importante de lograr eso es el uso de una [[Base (aritmética)|base aritmética]] en esos sistemas un número se expresa en general mediante suma o multiplicación de números. Los sistemas puramente aritméticos recurren a bases donde cada signo recibe una interpretación diferente según su posición. Así en el siguiente numeral arábigo (base 10):
{{ecuación|
<math>13568\,</math>
||left}}
El <8> por estar en última posición representa unidades, el <6> representa decenas, el <5> centenas, el <3> millares y el <1> decenas de millares. Es decir ese numeral representara el número:
{{ecuación|
<math>n_{\langle 13568 \rangle} =
1\cdot 10^4 + 3\cdot 10^3 + 5\cdot 10^2 + 6\cdot 10^1 + 8\cdot 10^0= 13568 </math>
||left}}
Muchas lenguas del mundo usan una base decimal, igual que el sistema arábigo, aunque también es frecuente que las lenguas usen sistemas vigesimales (base 20). De hecho la idea de usar un número finito de dígitos o signos para representar números arbitrariamente grandes funciona para cualquier base ''b'', donde b es un número entero mayor o igual que 2. Los ordenadores frecuentemente usan para sus operaciones la base binaria (''b'' = 2), y para ciertos usos también se emplea la base octal (''b'' = 8 ) o hexadecimal (''b'' = 16). La base coincide con el número de signos primarios, si un sistema posicional tiene ''b'' símbolos primarios que designaremos por <math>\{0,1, 2\dots, b-1\}</math>, el numeral:
{{ecuación|
<math>S_nS_{n-1}\dots S_2S_1S_0\qquad S_i \in \{0,1, 2\dots, b-1\}</math>
||left}}
Designará al número:
{{ecuación|
<math>n_{\langle S_nS_{n-1}\dots S_2S_1S_0 \rangle} =
S_n\cdot b^n + \dots + S_2\cdot b^2 + S_1\cdot b^1 + S_0\cdot b^0 = \sum_{k=0}^n S_kb^k</math>
||left}}

=== Números en las lenguas naturales ===
{{AP|Numeral (lingüística)}}
Las [[lengua natural|lenguas naturales]] usan nombres o numerales para los números frecuentemente basados en el contaje mediante dedos, razón por la cual la mayoría de las lenguas usan sistemas de numeración en base 10 (dedos de las manos) o base 20 (dedos de manos y pies), aunque también existen algunos sistemas exóticos que emplean otras bases.

==Referencias==
{{listaref}}

== Véase también ==
* [[Sistema de numeración]]
* [[cifra (matemática)|Cifra]]
* [[Anexo:Números]]
* [[Anexo:Nombres de los números en español]]



=== Enlaces externos ===
{{Wikiquote}}
{{Commons|Numbers}}

[[Categoría:Números| ]]

Revisión del 19:33 23 ago 2016

Los conjuntos numéricos son construcciones matemáticas que definen diversos tipos de números y que guardan una ser hola mi nombre es charlin y me pucieron a hacer esta tarea estoy en ta requerida}} En álgebra abstracta y análisis matemático un sistema numérico se caracteriza por una

Otra propiedad interesante de muchos conjuntos numéricos es que son representables mediante diagramas de Hasse, diagramas de Euler y diagramas de Venn, pudiéndose tomar una combinación de ambos en un diagrama de Euler-Venn con la forma característica de cuadrilátero y además pudiéndose representar internamente un diagrama de Hasse (es una recta). Tanto históricamente como conceptualmente, los diversos conjuntos numéricos, desde el más simple de los números naturales, hasta extensiones trascentes de los números reales y complejos, elaboradas mediante la teoría de modelos durante el siglo XX, se construyen desde una estructura más simple hasta otra más compleja.[2]​

Orden de complejidad y desarrollo histórico

Hueso de Ishango

Históricamente el primer conjunto numérico desarrollado sobre una base intuitiva es el conjunto de los números naturales, ya que desde sus inicios el ser humano necesitó representar sus posesiones con el fin protegerlas. El hombre primitivo por ejemplo, dibujaba marcas en las paredes de las cuevas, en pedazos de piedras, maderas y huesos como forma de contar sus pertenencias.

El orden de construcción de los conjuntos numéricos (de menor a mayor complejidad) es el siguiente:

  • Números naturales, entre los cuales se distinguien algunos tipos particulares:
  • Números enteros, sistematizados por matemáticos de la India, e intuidos y usados informalmente de diversas maneras en Europa y China. En Europa, a partir del siglo XV son estudiados desde un punto de vista matemático. Entre los números enteros se cuentan:
    • El número 0, que si bien había sido empleado en diversos lugares, no siempre fue considerado un numero en pie de igualdad con otros números naturales.
    • Números enteros negativos.
    • Números enteros positivos (naturales).
  • Los números racionales, si bien muchos números racionales positivos, ya habían sido usados por matemáticos egipcios, babilonios y chinos, la moderna construcción de los racionales como conjunto que incluía a los enteros es una concepción relativamente moderna.
  • Números irracionales, ya habían sido descubiertos y reconocidos por los matemáticos griegos (y posiblemente también en otras regiones). Los griegos desarrollaron un número importante de construcciones geométricas que incluían números irracionales. El Número π (pi) es un ejemplo de número irracional.
  • Números reales, son una construcción moderna del siglo XIX, si bien los griegos ya conocían algunos números irracionales constructibles mediante regla y compás no desarrollaron la noción de número real como límite de sucesiones de numeros racionales.
  • Número imaginario, los números imaginarios fueron usados durante el siglo XV en la investigación de las soluciones de algunas raíces polinómicas, pero no fueron sistematizados hasta más tarde. En el siglo XVII la noción de números complejos era bien conocida y había sido usada ya en el siglo anterior. Sin embargo, la noción analítica de los números complejos como extensión de los números reales empleados en análisis matemático se formalizó de manera completa en el siglo XIX. Fue en esta época donde se construyeron muchas generalizaciones de los números reales entre ellas:
  • Extensiones trascendentes de reales y complejos. Posteriormente diversas extensiones surgidas del análisis matemático crearon extensiones trascententes (no algebraicas) que incluían a los:
Clasificación de los números
Complejos
Reales
Racionales
Enteros
Naturales
Uno: 1
Naturales primos
Naturales compuestos
Cero: 0
Enteros negativos
Fraccionarios
Exactos
Periódicos
Puros
Mixtos
Irracionales
Irracionales algebraicos
Trascendentes
Imaginarios

El sistema de numeración

Sistema de símbolos o signos utilizados para expresar los números. Un Sistema de numeración posicional, por ejemplo está definido por la base que utiliza. La base de un sistema de numeración es el número de símbolos diferentes o guarismos, necesarios para representar un número cualquiera de los infinitos posibles en el sistema. El sistema de numeración más utilizado en la actualidad es el arábigo o decimal porque emplea 10 símbolos para representar todos los números: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

  1. ↑ No hay relación de orden en el conjunto ℂ de los complejos, tal como existe en los reales, racionales, enteros y naturales
  2. ↑ No necesariamente. El sistema de los números reales puede ser definido axiomáticamente, tal como lo hizo David Hilbert; del mismo modo el de los números complejos, tal como lo hacen: Polya, Alfhors, Markusevich, etc.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Número&oldid=93135431»