En aritmética, álgebra y análisis matemático, un sistema numérico es un conjunto provisto de dos operaciones que verifican ciertas condiciones relacionadas con las propiedades conmutativa, asociativa y distributiva. El conjunto de los números enteros, los racionales o los reales son ejemplos de sistemas numéricos, aunque los matemáticos han creado muchos otros sistemas numéricos más abstractos para diversos fines. Además debe tenerse en cuenta que dado un sistema numérico existen diversas formas de representarlo, por ejemplo en los enteros podemos usar la representación decimal, la binaria, la hexadecimal, etc. En los racionales podemos optar por representarlos de manera decimal o como fracción de enteros, etc.
Los sistemas numéricos se caracterizan por tener una estructura algebraica (monoide, anillo, cuerpo, álgebra sobre un cuerpo), satisfacer propiedades de orden(orden total, buen orden) y propiedades topológicas y analíticas (densidad, metrizabilidad, completitud) adicionales.
Convencionalmente diversos conjuntos dotados de "adición" y "multiplicación" se llaman sistemas numéricos. Entre estos conjuntos están los números naturales, los enteros, los racionales, los reales y los complejos, aunque existen otros que generalizan a algunos de los anteriores. Aunque no existe una definición formal de sistema numérico, todos los conjuntos dotados de operaciones binarias que se cuentan convencionalmente entre los sistemas numéricos tienen propiedades comunes.
En todos los sistemas numéricos convencionales hay definidas dos operaciones binarias asociativas denominadas adición y multiplicación, y además se cumple que la multiplicación es distributiva con respecto a la adición. La adición es siempre conmutativa, aunque en algunos sistemas numéricos la multiplicación no siempre es conmutativa1): Para a, b y c elementos cualesquiera de :
- Propiedad conmutativa de la adición:
- Propiedad asociativa de la adición:
- Propiedad asociativa de la multiplicación:
- Propiedad distributiva de la multiplicación sobre la adición:
Más formalmente un sistema numérico se caracterizan por una séxtupla , 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 teoría del orden, que dan cuenta de ciertas propiedades asociadas a las relaciones existentes entre los elementos.
- es un conjunto de axiomas topológicos, que posiblemente incluyen la definición de ciertas funciones (distancia) y propiedades (completitud, densidad, etc.)
Sistemas numéricos con estructura de anillo[editar]
- Los números enteros son uno de los ejemplos más sencillos de anillos.
- Los números enteros módulo n (donde , con p un número entero primo).
- Los enteros gaussianos
Sistemas numéricos con estructura de cuerpo[editar]
- Los números racionales (), mínimo cuerpo que contiene al anillo ().
- Los números algebraicos () son una extensión algebraica de los número racionales ().
- Los números reales (), mínimo cuerpo completo que contiene a
- Los números complejos (), mínimo cuerpo algebraicamente cerrado que contiene a
- Los números enteros módulo p (con p primo, () o aritmética modular de módulo p.
- Los números hiperreales ()son una extensión de los números reales ().
- Los números superreales son una generalización de los números hiperreales.
- Los números surreales son el cuerpo más grande posible que contiene a los reales y siguen siendo un cuerpo ordenado.
Sistemas numéricos con estructura de álgebra[editar]
Todos estos conjuntos son ejemplos de números hipercomplejos.
No hay comentarios:
Publicar un comentario