Sistema numrico

No debe confundirse con Sistema de numeracin.

En aritmtica, lgebra y anlisis matemtico, un sistema numrico es un conjunto provisto de
dos operaciones que verifican ciertas condiciones relacionadas con las
propiedades conmutativa, asociativa y distributiva.
Los sistemas numricos se caracterizan por tener una estructura
algebraica (monoide, anillo, cuerpo, lgebra sobre un cuerpo), satisfacer propiedades de
orden (orden total, buen orden) y propiedades topolgicas y analticas
(densidad, metrizabilidad, completitud) adicionales.
ndice
[ocultar]

1 Introduccin

2 Ejemplos segn estructura algebraica

o

2.1 Sistemas numricos con estructura de anillo

2.2 Sistemas numricos con estructura de cuerpo

2.3 Sistemas numricos con estructura de lgebra

3 Discusin de los ejemplos

o

3.1 Ejemplos intuitivos

3.2 Los restos de mdulo 2

4 Ejemplos segn las propiedades de orden

o

4.1 Sistemas numricos totalmente ordenados

4.2 Sistemas numricos bien ordenados

4.3 Sistemas numricos con orden denso

5 Referencias
o

5.1 Bibliografa

Introduccin[editar]
Convencionalmente diversos conjuntos dotados de "adicin" y "multiplicacin" se llaman
sistemas numricos. Entre estos conjuntos estn los nmeros naturales, los enteros, los
racionales, los reales y los complejos, aunque existen otros que generalizan a algunos de los
anteriores. Aunque no existe una definicin formal de sistema numrico, todos los conjuntos

dotados de operaciones binarias que se cuentan convencionalmente entre los sistemas

numricos tienen propiedades comunes.
En todos los sistemas numricos convencionales hay definidas dos operaciones
binarias asociativas denominadasadicin y multiplicacin, y adems se cumple que
la multiplicacin es distributiva con respecto a la adicin. La adicin es siempre conmutativa,
aunque en algunos sistemas numricos la multiplicacin no siempre es conmutativa 1 ): Para a,
b y c elementos cualesquiera de :

Propiedad conmutativa de la adicin: a + b = b + a

Propiedad asociativa de la adicin: (a + b) + c = a + (b + c)

Propiedad asociativa de la multiplicacin: (a b) c = a (b c)

Propiedad distributiva de la multiplicacin sobre la adicin: a (b + c) = a b + a c

La adicin y la multiplicacin no necesariamente deben ser las de la aritmtica elemental.

Ms formalmente un sistema numrico se caracterizan por una sxtupla

, donde:

es un conjunto de axiomas que definen las propiedades algebraicas de las

operaciones y conjeturan la posible existencia de cierto tipo de elementos (opuestos,
inversos, etc.)
es un conjunto de axiomas referidos a la teora del orden, que dan cuenta de ciertas
propiedades asociadas a la relaciones existentes entre los elementos.
es un conjunto de axiomas topolgicos, que posiblemente incluyen la definicin de
ciertas funciones (distancia) y propiedades (completitud, densidad, etc.)

Ejemplos segn estructura algebraica[editar]

Sistemas numricos con estructura de anillo[editar]

Los nmeros enteros

Los nmeros enteros mdulo n (donde

primo).

Los enteros gaussianos

son uno de los ejemplos ms sencillos de anillos.

, con p un nmero entero

Sistemas numricos con estructura de cuerpo [editar]

Los nmeros racionales (

Los nmeros algebraicos (

), mnimo cuerpo que contiene al anillo ( ).

), mnimo cuerpo algebraicamente cerrado que

contiene a

Los nmeros reales (

Los nmeros complejos (

contiene a

), mnimo cuerpo completo que contiene a

), mnimo cuerpo algebraicamente cerrado que

Los nmeros enteros mdulo p (con p primo, (

mdulo p.

Los nmeros hiperreales (

Los nmeros superreales son una generalizacin de los nmeros hiperreales.

Los nmeros surreales son el cuerpo ms grande posible que contiene a los
reales y siguen siendo un cuerpo ordenado.

) o aritmtica modular de

)son una extensin de los nmeros reales (

).