stringtranslate.com

Número complejo dividido

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 del 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.

Definición

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.

Forma conjugada, módulo y bilineal

Al igual que para los números complejos, se puede definir la noción de un complejo dividido conjugado . 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 .

La base diagonal

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 se da por

El conjugado complejo dividido en la base diagonal está dado por y el módulo al cuadrado por

Isomorfismo

Este diagrama conmutativo relaciona la acción del versor hiperbólico sobre D con la función de compresión σ aplicada a ⁠ ⁠

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 .

Geometría

  Hipérbola unitaria: z ‖ = 1
  Hipérbola conjugada: z ‖ = −1
  Asíntotas: z ‖ = 0

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( ) 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( ) 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 .

Propiedades algebraicas

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 .

Representaciones matriciales

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  

Historia

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.

Sinónimos

Diferentes autores han utilizado una gran variedad de nombres para los números complejos desdoblados. Algunos de ellos son:

Véase también

Referencias

  1. ^ Vladimir V. Kisil (2012) Geometría de las transformaciones de Möbius: acciones elípticas, parabólicas e hiperbólicas de SL(2,R) , páginas 2, 161, Imperial College Press ISBN  978-1-84816-858-9
  2. ^ James Cockle (1848) Sobre un nuevo imaginario en álgebra, Philosophical Magazine 33:438
  3. ^ Álgebra abstracta/Matrices reales 2x2 en Wikilibros
  4. ^ James Cockle (1849) Sobre un nuevo imaginario en álgebra 34:37–47, London-Edinburgh-Dublin Philosophical Magazine (3) 33 :435–9, enlace desde Biodiversity Heritage Library .
  5. ^ Francesco Antonuccio (1994) Análisis semicomplejo y física matemática
  6. ^ F. Catoni, D. Boccaletti, R. Cannata, V. Catoni, E. Nichelatti, P. Zampetti. (2008) Las matemáticas del espacio-tiempo de Minkowski , Birkhäuser Verlag , Basilea. Capítulo 4: Trigonometría en el plano de Minkowski. ISBN 978-3-7643-8613-9
  7. ^ Francesco Catoni; Dino Boccaletti; Roberto Cannata; Vincenzo Catoni; Paolo Zampetti (2011). "Capítulo 2: Números hiperbólicos". Geometría del Espacio-Tiempo de Minkowski . Medios de ciencia y negocios de Springer. ISBN 978-3-642-17977-8.
  8. ^ Fjelstad, Paul (1986), "Extensión de la relatividad especial a través de los números perplejos", American Journal of Physics , 54 (5): 416–422, Bibcode :1986AmJPh..54..416F, doi :10.1119/1.14605
  9. ^ Louis Kauffman (1985) "Transformaciones en relatividad especial", Revista Internacional de Física Teórica 24:223–36.
  10. ^ Sobczyk, G.(1995) Hyperbolic Number Plane, también publicado en College Mathematics Journal 26:268–80.
  11. ^ Robert B. Brown (1967) Sobre álgebras generalizadas de Cayley-Dickson, Pacific Journal of Mathematics 20(3):415–22, enlace desde Project Euclid .
  12. ^ NH McCoy (1942) Revisión de "Formas cuadráticas que permiten la composición" por AA Albert, Mathematical Reviews #0006140
  13. ^ Vignaux, J.(1935) "Sobre el numero complejo hiperbolico y su relacion con la geometria de Borel", Contribución al Estudio de las Ciencias Físicas y Matemáticas , Universidad Nacional de la Plata, República Argentina
  14. ^ Allen, EF (1941) "Sobre un triángulo inscrito en una hipérbola rectangular", American Mathematical Monthly 48(10): 675–681
  15. ^ M. Warmus (1956) "Cálculo de aproximaciones" Archivado el 9 de marzo de 2012 en Wayback Machine , Bulletin de l'Académie polonaise des sciences , vol. 4, n.º 5, págs. 253-257, MR 0081372
  16. ^ Cree, George C. (1949). La teoría de números de un sistema de números complejos hiperbólicos (tesis de maestría). Universidad McGill.
  17. ^ Smith, Norman E. (1949). Introducción a la teoría de números hiperbólicos (tesis de maestría). Universidad McGill.
  18. ^ Miller, William; Boehning, Rochelle (1968). "Números gaussianos, parabólicos e hiperbólicos". El profesor de matemáticas . 61 (4): 377–382. doi :10.5951/MT.61.4.0377. JSTOR  27957849.
  19. ^ Rosenfeld, B. (1997) Geometría de grupos de Lie , página 30, Kluwer Academic Publishers ISBN 0-7923-4390-5 

Lectura adicional