En álgebra , un número complejo dividido (o número hiperbólico , también número perplejo , número doble ) se basa en una unidad hiperbólica j que satisface Un número complejo dividido tiene dos componentes de números reales x e y , y se escribe El conjugado de z es Dado que el producto de un número z con su conjugado es una forma cuadrática isótropa .
La colección D de todos los números complejos descompuestos para forma un álgebra sobre el cuerpo de números reales . Dos números complejos descompuestos w y z tienen un producto wz que satisface Esta composición de N sobre el producto del álgebra hace que ( D , +, ×, *) sea un álgebra de composición .
Un álgebra similar basada en y operaciones de adición y multiplicación por componentes, donde xy es la forma cuadrática en también forma un espacio cuadrático . El isomorfismo de anillo
relaciona formas cuadráticas proporcionales, pero la aplicación no es una isometría ya que la identidad multiplicativa (1, 1) de está a una distancia de 0, que está normalizada en D .
Los números complejos divididos tienen muchos otros nombres; consulte el apartado Sinónimos a continuación. Consulte el artículo Variable motora para conocer las funciones de un número complejo dividido.
Un número complejo dividido es un par ordenado de números reales, escrito en la forma
donde x e y son números reales y la unidad hiperbólica [1] j satisface
En el campo de los números complejos la unidad imaginaria i satisface El cambio de signo distingue los números complejos desdoblados de los complejos ordinarios. La unidad hiperbólica j no es un número real sino una cantidad independiente.
La colección de todos esos z se llama plano complejo dividido . La suma y multiplicación de números complejos divididos se definen por
Esta multiplicación es conmutativa , asociativa y se distribuye sobre la suma.
Al igual que para los números complejos, se puede definir la noción de un complejo conjugado dividido . Si
entonces el conjugado de z se define como
El conjugado es una involución que satisface propiedades similares a las del conjugado complejo . Es decir,
El módulo al cuadrado de un número complejo dividido se da por la forma cuadrática isótropa
Tiene la propiedad del álgebra de composición :
Sin embargo, esta forma cuadrática no es definida positiva sino que tiene la signatura (1, −1) , por lo que el módulo no es una norma .
La forma bilineal asociada viene dada por
donde y Aquí, la parte real está definida por . Otra expresión para el módulo al cuadrado es entonces
Como no es definida positiva, esta forma bilineal no es un producto interno ; sin embargo, a menudo se hace referencia a la forma bilineal como un producto interno indefinido . Un abuso similar del lenguaje se refiere al módulo como una norma.
Un número complejo desdoblable es invertible si y solo si su módulo es distinto de cero ( ), por lo que los números de la forma x ± jx no tienen inverso. El inverso multiplicativo de un elemento invertible está dado por
Los números complejos desdoblados que no son invertibles se denominan vectores nulos . Todos ellos tienen la forma ( a ± ja ) para algún número real a .
Hay dos elementos idempotentes no triviales dados por y Recuerde que idempotente significa que y Ambos elementos son nulos:
A menudo resulta conveniente utilizar e y e ∗ como base alternativa para el plano complejo dividido. Esta base se denomina base diagonal o base nula . El número complejo dividido z se puede escribir en la base nula como
Si denotamos el número para los números reales a y b por ( a , b ) , entonces la multiplicación compleja dividida está dada por
El conjugado complejo dividido en la base diagonal está dado por y el módulo al cuadrado por
Sobre la base {e, e*} resulta claro que los números complejos divididos son anillo-isomorfos a la suma directa con adición y multiplicación definidas por pares.
La base diagonal para el plano de números complejos divididos se puede invocar utilizando un par ordenado ( x , y ) para y haciendo la asignación
Ahora la forma cuadrática es Además,
De esta forma las dos hipérbolas parametrizadas se ponen en correspondencia con S .
La acción del versor hiperbólico corresponde entonces, bajo esta transformación lineal, a una aplicación de compresión.
Aunque se encuentran en la misma clase de isomorfismo en la categoría de anillos , el plano complejo dividido y la suma directa de dos líneas reales difieren en su disposición en el plano cartesiano . El isomorfismo, como aplicación planar, consiste en una rotación en sentido antihorario de 45° y una dilatación de √ 2. La dilatación en particular ha causado a veces confusión en relación con las áreas de un sector hiperbólico . De hecho, el ángulo hiperbólico corresponde al área de un sector en el plano con su "círculo unitario" dado por La hipérbola unitaria contraída del plano complejo dividido tiene solo la mitad del área en el lapso de un sector hiperbólico correspondiente. Tal confusión puede perpetuarse cuando la geometría del plano complejo dividido no se distingue de la de .
Un espacio vectorial real bidimensional con el producto interno de Minkowski se llama espacio de Minkowski (1 + 1) -dimensional , a menudo denotado como Así como gran parte de la geometría del plano euclidiano se puede describir con números complejos, la geometría del plano de Minkowski se puede describir con números complejos divididos.
El conjunto de puntos
es una hipérbola para cada a distinto de cero en La hipérbola consta de una rama derecha e izquierda que pasa por ( a , 0) y (− a , 0) . El caso a = 1 se llama hipérbola unitaria . La hipérbola conjugada está dada por
con una rama superior e inferior que pasan por (0, a ) y (0, − a ) . La hipérbola y la hipérbola conjugada están separadas por dos asíntotas diagonales que forman el conjunto de elementos nulos:
Estas dos líneas (a veces llamadas cono nulo ) son perpendiculares en y tienen pendientes ±1.
Se dice que los números complejos divididos z y w son hiperbólicos-ortogonales si ⟨ z , w ⟩ = 0 . Si bien es análoga a la ortogonalidad ordinaria, particularmente como se la conoce en la aritmética de números complejos ordinaria, esta condición es más sutil. Forma la base del concepto de hiperplano simultáneo en el espacio-tiempo.
El análogo de la fórmula de Euler para los números complejos divididos es
Esta fórmula se puede derivar de una expansión de serie de potencias usando el hecho de que cosh solo tiene potencias pares mientras que la de sinh tiene potencias impares. [2] Para todos los valores reales del ángulo hiperbólico θ, el número complejo dividido λ = exp( jθ ) tiene norma 1 y se encuentra en la rama derecha de la hipérbola unitaria. Números como λ se han llamado versores hiperbólicos .
Como λ tiene módulo 1, al multiplicar cualquier número complejo dividido z por λ se conserva el módulo de z y se representa una rotación hiperbólica (también llamada aumento de Lorentz o aplicación de compresión ). Al multiplicar por λ se conserva la estructura geométrica, tomando las hipérbolas como propias y el cono nulo como propio.
El conjunto de todas las transformaciones del plano complejo desdoblado que preservan el módulo (o equivalentemente, el producto interno) forma un grupo llamado grupo ortogonal generalizado O(1, 1) . Este grupo consta de las rotaciones hiperbólicas, que forman un subgrupo denotado SO + (1, 1) , combinado con cuatro reflexiones discretas dadas por
y
El mapa exponencial
enviar θ a rotación por exp( jθ ) es un isomorfismo de grupo ya que se aplica la fórmula exponencial habitual:
Si un número complejo dividido z no se encuentra en una de las diagonales, entonces z tiene una descomposición polar .
En términos de álgebra abstracta , los números complejos divididos se pueden describir como el cociente del anillo polinomial por el ideal generado por el polinomio.
La imagen de x en el cociente es la unidad "imaginaria" j . Con esta descripción, queda claro que los números complejos desdoblados forman un álgebra conmutativa sobre los números reales. El álgebra no es un cuerpo, ya que los elementos nulos no son invertibles. Todos los elementos nulos distintos de cero son divisores de cero .
Dado que la suma y la multiplicación son operaciones continuas con respecto a la topología habitual del plano, los números complejos divididos forman un anillo topológico .
El álgebra de números complejos divididos forma un álgebra de composición ya que
para cualquier número z y w .
De la definición se desprende que el anillo de números complejos desdoblados es isomorfo al anillo de grupo del grupo cíclico C 2 sobre los números reales .
Los números complejos divididos se pueden representar fácilmente mediante matrices . El número complejo dividido se puede representar mediante la matriz
La suma y multiplicación de números complejos descompuestos se obtiene mediante la suma y multiplicación de matrices. El módulo al cuadrado de z se obtiene mediante el determinante de la matriz correspondiente.
De hecho, existen muchas representaciones del plano complejo dividido en el anillo de cuatro dimensiones de matrices reales 2x2. Los múltiplos reales de la matriz identidad forman una línea real en el anillo de matrices M(2,R). Cualquier unidad hiperbólica m proporciona un elemento base con el que extender la línea real al plano complejo dividido. Las matrices
¿Qué cuadrado de la matriz identidad satisface? Por ejemplo, cuando a = 0, entonces ( b, c ) es un punto en la hipérbola estándar. De manera más general, existe una hipersuperficie en M(2, R) de unidades hiperbólicas, cualquiera de las cuales sirve como base para representar los números complejos divididos como un subanillo de M(2, R). [3] [ se necesita una mejor fuente ]
El número puede representarse mediante la matriz
El uso de números complejos divididos se remonta a 1848 cuando James Cockle reveló sus tessarinas . [4] William Kingdon Clifford usó números complejos divididos para representar sumas de espines. Clifford introdujo el uso de números complejos divididos como coeficientes en un álgebra de cuaterniones ahora llamada biquaternions divididos . Llamó a sus elementos "motores", un término en paralelo con la acción "rotor" de un número complejo ordinario tomado del grupo del círculo . Extendiendo la analogía, las funciones de una variable motora contrastan con las funciones de una variable compleja ordinaria .
Desde finales del siglo XX, la multiplicación de complejos divididos se ha visto comúnmente como un impulso de Lorentz de un plano espacio-temporal . [5] [6] [7] [8] [9] [10] En ese modelo, el número z = x + y j representa un evento en un plano espacio-temporal, donde x se mide en segundos e y en segundos luz . El futuro corresponde al cuadrante de eventos { z : | y | < x } , que tiene la descomposición polar de complejos divididos . El modelo dice que se puede llegar a z desde el origen ingresando a un marco de referencia de rapidez a y esperando ρ nanosegundos. La ecuación de complejos divididos
La expresión de productos en la hipérbola unitaria ilustra la aditividad de las rapidezes para velocidades colineales. La simultaneidad de eventos depende de la rapidez a ;
es la línea de acontecimientos simultáneos al origen en el marco de referencia con rapidez a .
Dos eventos z y w son hiperbólicos-ortogonales cuando los eventos canónicos exp( aj ) y j exp( aj ) son hiperbólicos ortogonales y se encuentran en los ejes de un marco de referencia en el que los eventos simultáneos al origen son proporcionales a j exp( aj ) .
En 1933 Max Zorn estaba usando los octoniones divididos y notó la propiedad del álgebra de composición . Se dio cuenta de que la construcción de Cayley-Dickson , usada para generar álgebras de división, podía ser modificada (con un factor gamma, γ ) para construir otras álgebras de composición incluyendo los octoniones divididos. Su innovación fue perpetuada por Adrian Albert , Richard D. Schafer y otros. [11] El factor gamma, con R como campo base, construye números complejos divididos como un álgebra de composición. Revisando Albert para Mathematical Reviews , NH McCoy escribió que había una "introducción de algunas nuevas álgebras de orden 2 e sobre F que generalizaban las álgebras de Cayley-Dickson". [12] Tomar F = R y e = 1 corresponde al álgebra de este artículo.
En 1935 JC Vignaux y A. Durañona y Vedia desarrollaron el álgebra geométrica compleja dividida y la teoría de funciones en cuatro artículos en Contribución a las Ciencias Físicas y Matemáticas , Universidad Nacional de La Plata , República Argentina (en español). Estos ensayos expositivos y pedagógicos presentaron el tema para una amplia apreciación. [13]
En 1941, EF Allen utilizó la aritmética geométrica compleja dividida para establecer la hipérbola de nueve puntos de un triángulo inscrito en zz ∗ = 1 . [14]
En 1956, Mieczyslaw Warmus publicó "Cálculo de aproximaciones" en el Bulletin de l'Académie polonaise des sciences (véase el enlace en Referencias). Desarrolló dos sistemas algebraicos, a cada uno de los cuales llamó "números aproximados", el segundo de los cuales forma un álgebra real. [15] DH Lehmer revisó el artículo en Mathematical Reviews y observó que este segundo sistema era isomorfo a los números "complejos hiperbólicos", el tema de este artículo.
En 1961 Warmus continuó su exposición, refiriéndose a los componentes de un número aproximado como punto medio y radio del intervalo denotado.
Diferentes autores han utilizado una gran variedad de nombres para los números complejos desdoblados. Algunos de ellos son: