SISTEMAS NUMERICOS

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. El conjunto de los nmeros
enteros, los racionales o los reales son ejemplos de sistemas numricos, aunque
los matemticos han creado muchos otros sistemas numricos ms abstractos
para diversos fines. Adems debe tenerse en cuenta que dado un sistema
numrico existen diversas formas de representarlo, por ejemplo en los enteros
podemos usar la representacin decimal, la binaria, la hexadeciamal, etc. En los
racionales podemos optar por representarlos de manera decimal o como fraccin
de enteros, etc.

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.

Ejemplos segn estructura algebraica

Sistemas numricos con estructura de anillo Los nmeros enteros son
uno de los ejemplos ms sencillos de anillos.

Los nmeros enteros mdulo n (donde , con p un nmero entero

primo).
Los enteros gaussianos
Un entero gaussiano es un nmero complejo en el cual la parte real y la
parte imaginaria son nmeros enteros.

El conjunto de los enteros de Gauss, dotado de la suma y producto

ordinarios de nmeros complejos, forma un anillo conmutativo con unidad
multiplicativa y luego un dominio de integridad conmutativo y unitario,
usualmente se denota como Z[i], donde i designa la unidad imaginaria. Una
estructura de esta naturaleza posee numerosas propiedades, agrupadas
con el nombre de dominio de Dedekind. Adems, lo que an es ms
extraordinario, es un dominio eucldeo y por lo tanto factorial.

Formalmente, el conjunto de los enteros gaussianos se define como un

subconjunto propio de los nmeros complejos, siendo la parte real y la parte
imaginaria nmeros enteros, se denota

siendo i2 = -1.
Sistemas numricos con estructura de cuerpo

Los nmeros racionales ( ), mnimo cuerpo que contiene al anillo ( ).

Nmero racional es todo nmero que puede representarse como el cociente de

dos nmeros enteros o, ms precisamente, un entero y un natural positivo;1 es
decir, una fraccin comn con numerador y denominador distinto de cero. El
trmino racional alude a una fraccin o parte de un todo. El conjunto de los
nmeros racionales se denota por Q (o bien , en negrita de pizarra) que deriva
de cociente (Quotient en varios idiomas europeos). Este conjunto de nmeros
incluye a los nmeros enteros ( ), y es un subconjunto de los nmeros reales ( ).

Los nmeros algebraicos ( ) son una extensin algebraica de los nmero

racionales ( ). Un nmero algebraico es cualquier nmero real o complejo
que es solucin de una ecuacin algebraica1 de la forma:

Dnde:
, es el grado del polinomio.
, los coeficientes del polinomio todos son nmeros enteros.
0

Ejemplos
Todos los nmeros racionales son algebraicos porque toda fraccin de la
forma a / b es solucin de , donde a y b .
Todos los nmeros construibles son algebraicos.

Algunos nmeros irracionales como: y tambin son algebraicos

2 3
porque son soluciones de x - 2 = 0 y 8x - 3 = 0, respectivamente.
Otros irracionales no son algebraicos, como (Lindemann, 1882) y e
(Hermite, 1873). Son, en consecuencia, trascendentes.
i es algebraico, siendo raz de .

Los nmeros reales ( ), mnimo cuerpo completo que contiene a

En matemticas, el conjunto de los nmeros reales (denotado por )

incluye tanto a los nmeros racionales (positivos, negativos y el cero) como
a los nmeros irracionales; y en otro enfoque, trascendentes y algebraicos.
Los irracionales y los trascendentes (1970) no se pueden expresar
 mediante una fraccin de dos enteros con denominador no nulo; tienen
infinitas cifras decimales aperidicas, tales como: 5, , el nmero real
log2, cuya trascendencia fue enunciada por Euler en el siglo XVIII. Los
nmeros reales pueden ser descritos y construidos de varias formas,
algunas simples aunque carentes del rigor necesario para los propsitos
formales de matemticas y otras ms complejas pero con el rigor necesario
para el trabajo matemtico formal.

Tipos de nmeros reales

Racionales e irracionales

Un nmero real puede ser un nmero racional o un nmero irracional. Los

nmeros racionales son aquellos que pueden expresarse como el cociente de dos
nmeros enteros, tal como 3/4, -21/3, 5, 0, 1/2, mientras que los irracionales son
todos los dems. Los nmeros racionales tambin pueden describirse como
aquellos cuya representacin decimal es eventualmente peridica, mientras que
los irracionales tienen una expansin decimal aperidica:

Ejemplos

1/4 = 0,250000... Es un nmero racional puesto que es peridico a partir del

tercer nmero decimal.

5/7 = 0,7142857142857142857.... Es racional y tiene un perodo de longitud

6 (repite 714285) .

Es irracional y su expansin decimal es

aperidica.

El conjunto de los nmeros racionales se designa mediante .

Algebraicos y transcendentes

Otra forma de clasificar los nmeros reales es en algebraicos y trascendentes. Un

nmero es algebraico si existe un polinomio de coeficientes racionales que lo tiene
por raz y es trascendente en caso contrario. Obviamente, todos los nmeros
racionales son algebraicos: si es un nmero racional, con p entero y q natural,
entonces es raz de la ecuacin qx=p. Sin embargo, no todos los nmeros
algebraicos son racionales.

Ejemplos

El nmero es algebraico puesto que es una raz del polinomio

Un ejemplo de nmero trascendente es

El conjunto de los nmeros algebraicos se designa mediante .

Computables e irreductibles

Un nmero real se dice computable si tiene una complejidad de Kolmogrov finita,

es decir, si puede escribirse un programa informtico de extensin finita que
genere los dgitos de dicho nmero. Si un nmero real no es computable se dice
irreductible. Una definicin de nmero irreductible es:

El conjunto de nmeros reales computables se designa por . Obviamente los

racionales y los algebraicos son nmeros computables. De hecho se tiene la
siguiente inclusin:

Adems se tiene que todos estos conjuntos son numerables:

Esto implica que el conjunto de todos los nmeros computables es un conjunto de

medida nula.

Los nmeros complejos ( ), mnimo cuerpo algebraicamente cerrado que

contiene a .

Los nmeros complejos son una extensin de los nmeros reales y

forman el mnimo cuerpo algebraicamente cerrado. El conjunto de los
nmeros complejos se designa con la notacin , siendo el conjunto de
los nmeros reales se cumple que ( est estrictamente contenido en ).
Los nmeros complejos incluyen todas las races de los polinomios, a
diferencia de los reales. Todo nmero complejo puede representarse
como la suma de un nmero real y un nmero imaginario (que es un
mltiplo real de la unidad imaginaria, que se indica con la letra i), o en
forma polar.
 Los nmeros enteros mdulo p (con p primo, ( ) o aritmtica modular de
mdulo p.

Nmero entero

La resta de dos nmeros naturales no es un

nmero natural cuando el sustraendo es mayor
que el minuendo, sino que su valor es negativo:
en la imagen, solo pueden sustraerse 3 pltanos,
por lo que se apunta un pltano debido o
negativo (en rojo).

Los nmeros enteros son un conjunto numrico que contiene los nmeros
naturales, sus inversos aditivos y el cero. Los enteros negativos, como 1 o
3 (se leen menos uno, menos tres, etc.), son menores que todos los
enteros positivos (1, 2, ...) y que el cero. Para resaltar la diferencia entre
positivos y negativos, a veces tambin se escribe un signo ms delante
de los positivos: +1, +5, etc. Cuando no se le escribe signo al nmero se
asume que es positivo.

Vamos a tener entonces:

Nmeros naturales : 1, 2, 3...

Inversos aditivos de los nmeros naturales: -1, -2, -3...

El cero: 0

El conjunto de todos los nmeros enteros se representa por la letra = {...,

3, 2, 1, 0, +1, +2, +3, ...}, letra inicial del vocablo alemn Zahlen
(nmeros, pronunciado [tsaln]).

En la recta numrica encontramos los nmeros negativos a la izquierda del

cero y a su derecha los positivos

Al igual que los nmeros naturales, los nmeros enteros pueden sumarse,
restarse, multiplicarse y dividirse, de forma similar a los primeros. Sin
embargo, en el caso de los enteros es necesario tener en cuenta el signo
del resultado.

Los nmeros hiperreales ( )son una extensin de los nmeros reales (

).Los nmeros hiperreales son una extensin del conjunto de los nmeros
reales que permiten entre otros formalizar algunas operaciones con
 infinitsimos, y probar algunos resultados clsicos del anlisis real de
manera ms sencilla.

El sistema de nmeros hiperreales es una manera de tratar cantidades infinitas e

infinitesimales. Los hiperreales o reales no estndar, son una extensin de los
nmeros reales que contienen nmeros mayores que
(para cualquier nmero finito de trminos).

Los nmeros superreales son una generalizacin de los nmeros

hiperreales.

Supngase que X es un espacio de Tikhonov, tambin llamado un espacio

T3.5, y sea C(X) el lgebra de funciones reales definidas sobre X. Dentro de
esta lgebra bsquese un ideal primo , y bsquese el lgebra
cociente A = C(X)/P que por definicin es un dominio de integridad y un
lgebra sobre los reales que adems puede ser considerada un conjunto
totalmente ordenado. El cuerpo de fracciones F de esta lgebra A es
precisamente el cuerpo de los nmeros superreales, si dicho cuerpo de
fracciones contiene estrictamente un conjunto identificable con los nmeros
reales , de tal manera que F no es isomorfo en orden a . Si el ideal P
es adems un ideal primo y por tanto un ideal maximal, entonces F coincide
con el cuerpo de los nmeros hiperreales de A. Robinson. Por lo cual los
nmeros hiperreales pueden considerarse un caso particular de nmeros
superreales.

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

Sistemas numricos con estructura de lgebra

En matemtica, los nmeros surreales son una clase de nmeros que incluyen a
todos los nmeros reales, "infinitos" (mayores o menores que cualquier nmero
real) e "infinitesimales", aquellos que estn ms prximos a cero que cualquier
nmero real. Todos los nmeros reales estn rodeados de nmeros surreales, que
estn ms prximos de s mismos que cualquier otro nmero real.

Los nmeros surreales tienen estructura de cuerpo ordenado, lo que significa que
sobre ellos estn definidas las cuatro operaciones aritmticas bsicas (adicin,
substraccin, multiplicacin y divisin) y que estas se comportan segn lo
esperado. El inverso multiplicativo de un nmero infinito es un infinitesimal no nulo,
y vice-versa.

Fueron inicialmente propuestos por John H. Conway en 1970, y ms tarde

desarrollados por Donald Knuth en su libro de 1974 Surreal Numbers: How Two
Ex-Students Turned on to Pure Mathematics and Found Total Happiness.
Relaciones con otros campos numricos
Los nmeros hiperreales, superreales y surreales generalizan a los nmeros
reales ordinarios. Puede demostrarse la existencia de una cadena de inclusiones
como la siguiente:

Segn su estructura de algebra

Los nmeros cuaterninicos

Los nmeros octoninicos
Los nmeros sedeninicos

Todos estos conjuntos son ejemplos de nmeros hipercomplejos