Número hipercomplejo

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso referencias|Número hipercomplejo}} ~~~~

En matemática, los números hipercomplejos son una extensión de los números complejos construidos mediante herramientas del álgebra abstracta, tales como terniones,cuaterniones, tesarines, cocuaterniones, octoniones, bicuaterniones y sedeniones.

Estructura algebraica

Para ser más precisos, forman álgebras n-dimensionales sobre los números reales. Pero ninguna de estas extensiones forma un cuerpo, principalmente porque el cuerpo de los números complejos está algebraicamente cerrado (ver Teorema Fundamental del Álgebra).

Los cuaterniones, octoniones y sedeniones pueden ser generados aplicando la construcción de Cayley-Dickson. Las álgebras de Clifford son otra familia de números hipercomplejos..

Representaciones geométricas

Así como los números complejos pueden ser vistos como puntos en un plano, los números hipercomplejos se pueden ver como puntos en algún espacio euclídeo de más dimensiones (4 dimensiones para los cuaterniones, tessarines y cocuaterniones, 8 para los octoniones y bicuaterniones, 16 para los sedeniones).

Otro caso intersante es el de los números hipercomplejos unitarios, que tienen módulo unidad, estos pueden ser representados como n-esferas:

• Los cuaterniones unitarios pueden ser representados como S³.
• Los octoniones unitarios pueden ser representados como S⁷.

Estas representaciones están muy ligadas a la posibilidad de caracterizar una n-esfera Sⁿ como fibrado de Hopf sobre un espacio base S^m con m < n donde cada fibra sea S^{n − m}.

Módulo de un número hipercomplejo

Si como se ha explicado antes los números hipercomplejos se representan por vectores de un espacio euclídeo. Para los números hipercomplejos que lo admiten (todos menos los sedeniones de Cayley-Dickson), el módulo de un número hipercomplejo no es otra cosa que el módulo del vector que los representa. El módulo de un número hipercomplejo |Z| puede calcularse como la raíz del producto del número hipercomplejo por su hipercomplejo conjugado:

$|Z| = \sqrt{Z\bar{Z}}$