Los conjuntos numricos son construcciones matemticas que definen diversos tipos

de nmeros y que guardan una serie de propiedades estructurales. [cita requerida] En lgebra
abstracta y anlisis matemtico un sistema numrico se caracteriza por una

Estructura algebraica, usualmente un anillo conmutativo o cuerpo matemtico (en

el caso no conmutativo son un lgebra sobre un cuerpo y en el caso de los nmeros
naturales slo un monoide conmutativo).

Estructura de orden, usualmente un conjunto ordenado, en el caso de los

nmeros naturales, enteros, racionales y reales se trata de conjuntos totalmente
ordenados, aunque los nmeros complejos e hipercomplejos slo son conjuntos
parcialmente ordenados. Los reales adems son un conjunto bien ordenado y con
un orden denso.1

Estructura topolgica, los conjuntos numricos numerables usualmente son

conjuntos disconexos, sobre los que se considera la topologa discreta, mientras que
sobre los conjuntos no numerables se considera una topologa que los hace
adecuados para el anlisis matemtico.

Otra propiedad interesante de muchos conjuntos numricos es que son representables

mediante diagramas de Hasse, diagramas de Euler y diagramas de Venn, pudindose
tomar una combinacin de ambos en un diagrama de Euler-Venn con la forma
caracterstica de cuadriltero y adems pudindose representar internamente un diagrama
de Hasse (es una recta). Tanto histricamente como conceptualmente, los diversos
conjuntos numricos, desde el ms simple de los nmeros naturales, hasta extensiones
trascentes de los nmeros reales y complejos, elaboradas mediante la teora de
modelos durante el siglo XX, se construyen desde una estructura ms simple hasta otra
ms compleja.2

Orden de complejidad y desarrollo histrico[editar]

Hueso de Ishango

Histricamente el primer conjunto numrico desarrollado sobre una base intuitiva es el

conjunto de los nmeros 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 construccin de los conjuntos numricos (de menor a mayor complejidad) es el
siguiente:

Nmeros naturales, entre los cuales se distinguien algunos tipos particulares:

El nmero 1

Los nmeros primos documentados ya entre los matemticos egipcios,

babilonios, chinos, y ampliamente estudiados por los matemticos griegos.

Nmeros compuestos.

Nmeros pares.

nmeros impares.

Nmeros enteros, sistematizados por matemticos 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 matemtico. Entre los nmeros
enteros se cuentan:

El nmero 0, que si bien haba sido empleado en diversos lugares, no

siempre fue considerado un numero en pie de igualdad con otros nmeros
naturales.

Nmeros enteros negativos.

Nmeros enteros positivos (naturales).

Los nmeros racionales, si bien muchos nmeros racionales positivos, ya haban

sido usados por matemticos egipcios, babilonios y chinos, la moderna construccin

de los racionales como conjunto que inclua a los enteros es una concepcin
relativamente moderna.

Nmeros irracionales, ya haban sido descubiertos y reconocidos por los

matemticos griegos (y posiblemente tambin en otras regiones). Los griegos
desarrollaron un nmero importante de construcciones geomtricas que incluan
nmeros irracionales. El Nmero (pi) es un ejemplo de nmero irracional.

Nmeros reales, son una construccin moderna del siglo XIX, si bien los griegos
ya conocan algunos nmeros irracionales constructibles mediante regla y comps no

desarrollaron la nocin de nmero real como lmite de sucesiones de numeros

racionales.

Nmero imaginario, los nmeros imaginarios fueron usados durante el siglo XV en

la investigacin de las soluciones de algunas races polinmicas, pero no fueron
sistematizados hasta ms tarde. En el siglo XVII la nocin de nmeros complejos era
bien conocida y haba sido usada ya en el siglo anterior. Sin embargo, la nocin
analtica de los nmeros complejos como extensin de los nmeros reales empleados
en anlisis matemtico se formaliz de manera completa en el siglo XIX. Fue en esta
poca donde se construyeron muchas generalizaciones de los nmeros reales entre
ellas:

Los nmeros complejos, empleados de manera ms o menos continuada

desde el siglo XVI, en el siglo XIX son formalizados dentro del anlisis
matemticocomo extensin de los reales.

Los cuaterniones, propuestos por Rowan Hamilton para resolver diversos

problemas geomtricos, son una construccin que generaliza a su vez a los
nmeros complejos.

Nmeros hipercomplejos, generalizan la construccin de Hamilton de los

cuaterniones.

Extensiones trascendentes de reales y complejos. Posteriormente diversas

extensiones surgidas del anlisis matemtico crearon extensiones trascententes (no
algebraicas) que incluan a los:

Nmeros hiperreales (1948-1955), la nocin de nmero infinitesimal as

como algunas ideas de Leibniz anticipaban una construccin ms all de los
nmeros reales ordinarios, fueron formalizados finalmente como un modelos noestndar de de los axiomas de los nmeros reales, mediante el teorema de
o (1955).

Nmeros surreales (1960).

Nmeros surreales (1970).