Forma sesquilineal

En matemáticas, una forma sesquilineal es una generalización de una forma bilineal que, a su vez, es una generalización del concepto del producto escalar en un espacio euclídeo. Una forma bilineal es lineal en cada uno de sus argumentos, pero una forma sesquilineal permite "torcer" uno de los argumentos de manera semilineal, de ahí el nombre; que se origina del latín prefijo numeral sesqui- que significa "uno y medio". El concepto básico del producto escalar (generar un escalar a partir de un par de vectores) se puede generalizar permitiendo una gama más amplia de valores escalares y, con la posibilidad simultánea, de ampliar la definición de vector.

Un caso arquetípico especial es una forma sesquilineal en un espacio vectorial complejo Plantilla:Math. Es una aplicación Plantilla:Math que es lineal en un argumento y "tuerce" la linealidad del otro argumento mediante el conjugado complejo (denominado argumento antilineal). Este caso surge naturalmente en las aplicaciones de la física matemática. Otro caso importante permite que los escalares provengan de cualquier cuerpo y el giro esté generado por un automorfismo.

Una aplicación en geometría proyectiva requiere que los escalares provengan de un anillo de división (cuerpo sesgado), Plantilla:Math, y esto significa que los "vectores" deben ser reemplazados por elementos de un [[Módulo (matemática)|Plantilla:Math-módulo]]. En un entorno muy general, las formas sesquilineales se pueden definir sobre Plantilla:Math-módulos para anillos arbitrarios en Plantilla:Math.

Introducción informal

Las formas sesquilineales abstraen y generalizan la noción básica de una forma hermítica en un espacio vectorial. Las formas hermíticas se ven comúnmente en física, como el producto interno en un espacio de Hilbert complejo. En tales casos, la forma hermítica estándar en Plantilla:Math viene dada por

$⟨w,z⟩=\sum _{i=1}^n{\bar{w}}_i{z}_i.$

donde ${\bar{w}}_i$ denota el conjugado de $w_i$. Este producto puede generalizarse a situaciones en las que no se trabaja con una base ortonormal para Plantilla:Math, o incluso con ninguna base. Al insertar un factor adicional de $i$ en el producto, se obtiene la forma sesgada-hermítica, que se define con mayor precisión a continuación. No hay ninguna razón particular para restringir la definición a los números complejos, y de hecho, se puede definir para anillos arbitrarios con un antiautomorfismo asociado, entendido informalmente como un concepto generalizado de "conjugación compleja" para el anillo.

Convención

Las convenciones difieren en cuanto a qué argumento debe ser lineal. En el caso conmutativo, se toma el primer argumento como lineal, como es común en la literatura matemática, excepto en la sección dedicada a las formas sesquilineales en espacios vectoriales complejos. Allí se usa la otra convención y se toma el primer argumento como lineal conjugado (es decir, antilineal) y el segundo como lineal. Esta es la convención utilizada principalmente por los físicos, que tiene su origen en la notación bra-ket de la mecánica cuántica, ideada por Paul Dirac. También es coherente con la definición del producto habitual (euclídeo) de $w,z\in {ℂ}^n$ como $w^{*}z$.

En el entorno no conmutativo más general, con los módulos a derechas se toma el segundo argumento como lineal, y con los módulos a izquierdas se toma el primer argumento como lineal.

Espacios vectoriales complejos

Supuesto: En esta sección, las formas sesquilineales son antilineales en el primer argumento y lineales en el segundo.

Sobre un espacio vectorial complejo $V$, un aplicación $\phi :V\times V\to ℂ$ es sesquilineal si

$\begin{array}{cc}& \phi (x+y,z+w)=\phi (x,z)+\phi (x,w)+\phi (y,z)+\phi (y,w)\\ & \phi (ax,by)=\bar{a}b\phi (x,y)\end{array}$

para todo $x,y,z,w\in V$ y todo $a,b\in ℂ$. Aquí, $\bar{a}$ es el conjugado complejo de un escalar $a$.

Una forma sesquilineal compleja también puede verse como un operador bilineal complejo.

$\bar{V}\times V\to ℂ$

donde $\bar{V}$ es el espacio vectorial conjugado complejo a $V$. Por la propiedad universal del producto tensorial, estos están en correspondencia uno a uno con las aplicaciones lineales complejas

$\bar{V}\otimes V\to ℂ.$

Para un $z\in V$ fijo, la aplicación $w\mapsto \phi (z,w)$ es un funcional lineal en $V$ (es decir, un elemento del espacio dual $V^{*}$). Asimismo, la aplicación $w\mapsto \phi (w,z)$ es un funcional lineal conjugado en $V$.

Dada cualquier forma sesquilineal compleja $\phi$ sobre $V$, se puede definir una segunda forma sesquilineal compleja $\psi$ a través del traspuesto conjugado:

$\psi (w,z)=\overline{\phi (z,w)}$

En general, $\psi$ y $\phi$ serán diferentes. Si son iguales, entonces se dice que $\phi$ es Plantilla:Enf. Si son negativos entre sí, entonces se dice que $\phi$ es Plantilla:Enf. Cada forma sesquilineal se puede escribir como la suma de una forma hermítica y de una forma hermítica sesgada.

Representación matricial

Si $V$ es un espacio vectorial complejo de dimensión finita, entonces, en relación con cualquier base ${\left\{e_i\right\}}_i$ de $V,$, una forma sesquilineal está representada por una matriz $A$, dada por

$\phi (w,z)=\phi (\sum _i{w}_i{e}_i,\sum _j{z}_j{e}_j)=\sum _i\sum _j\overline{w_i}{z}_j\phi (e_i,e_j)=w^{†}Az$

donde $w^{†}$ es la matriz traspuesta conjugada. Los componentes de la matriz $A$ están dados por $A_{ij}:=\phi (e_i,e_j)$.

Forma hermítica

El término forma hermítica también puede referirse a un concepto diferente al que se explica a continuación (de manera que además sirve para denominar a una determinada forma diferencial en una variedad hermítica).

Una forma hermítica compleja (también llamada forma sesquilineal simétrica), es una forma sesquilineal $h:V\times V\to ℂ$ tal que

$h(w,z)=\overline{h(z,w)}.$

La forma hermítica estándar en ${ℂ}^n$ está dada (nuevamente, usando la convención "física" de linealidad en el segundo argumento y linealidad conjugada en el primero) por

$⟨w,z⟩=\sum _{i=1}^n{\bar{w}}_i{z}_i.$

De manera más general, el espacio prehilbertiano en cualquier espacio de Hilbert complejo es una forma hermítica.

Se introduce un signo menos en la forma hermítica $w{w}^{*}-z{z}^{*}$ para definir el grupo unitario especial SU(1,1).

Un espacio vectorial con forma hermítica $(V,h)$ se llama espacio hermítico.

La representación matricial de una forma hermítica compleja es una matriz hermítica.

Una forma hermítica compleja aplicada a un solo vector $|z{|}_h=h(z,z)$ es siempre un número real. Se puede demostrar que una forma sesquilineal compleja es hermítica si y solo si la forma cuadrática asociada es real para todos los $z\in V$.

Forma sesgada-hermítica

Una forma sesgada-hermítica compleja (también llamada forma sesquilineal antisimétrica), es una forma sesquilineal compleja $s:V\times V\to ℂ$ tal que

$s(w,z)=-\overline{s(z,w)}$.

Cada forma compleja sesgada-hermítica se puede escribir como la unidad imaginaria $i:=\sqrt{-1}$ multiplicada por una forma hermítica.

La representación matricial de una forma compleja sesgada-hermítica es una matriz antihermítica.

Una forma compleja sesgada-hermítica aplicada a un solo vector $|z{|}_s=s(z,z)$ es siempre un número imaginario puro.

Sobre un anillo de división

Esta sección se aplica sin cambios cuando el anillo de división Plantilla:Math es conmutativo. En este caso, también se aplica una terminología más específica: el anillo de división es un cuerpo, el antiautomorfismo también es un automorfismo y el módulo a derechas es un espacio vectorial. Lo siguiente se aplica a un módulo a izquierdas con una reordenación adecuada de las expresiones.

Definición

Una forma sesquilineal Plantilla:Math sobre un Plantilla:Math-módulo a derechas Plantilla:Math es una aplicación aditiva Plantilla:Math con un antiautomorfismo Plantilla:Math asociado de un anillo de división Plantilla:Math tal que, para todos los Plantilla:Math en Plantilla:Math y todos los Plantilla:Math en Plantilla:Math,

$\phi (x\alpha ,y\beta )=\sigma (\alpha )\phi (x,y)\beta$.

El antiautomorfismo asociado Plantilla:Math para cualquier forma sesquilineal distinta de cero Plantilla:Math está determinado únicamente por Plantilla:Math.

Ortogonalidad

Dada una forma sesquilineal Plantilla:Math sobre un módulo Plantilla:Math y un subespacio (submódulo) Plantilla:Math de Plantilla:Math, el complemento ortogonal de Plantilla:Math con respecto a Plantilla:Math es

$W^{\perp }=\{𝐯\in M\mid \phi (𝐯,𝐰)=0,\mathrm{\forall }𝐰\in W\}$.

De manera similar, Plantilla:Math es ortogonal a Plantilla:Math con respecto a Plantilla:Math, escrito Plantilla:Math (o simplemente Plantilla:Math si Plantilla:Math se puede inferir del contexto), cuando Plantilla:Math. Esta relación no tiene por qué ser simétrica, es decir, Plantilla:Math no implica que Plantilla:Math (pero véase Reflexividad a continuación).

Reflexividad

Una forma sesquilineal Plantilla:Math es reflexiva si, para todo Plantilla:Math en Plantilla:Math, $\phi (x,y)=0$ implica que $\phi (y,x)=0$. Es decir, una forma sesquilineal es reflexiva precisamente cuando la relación de ortogonalidad derivada es simétrica.

Variaciones hermíticas

Una forma Plantilla:Math-sesquilineal Plantilla:Math se llama Plantilla:Math-hermítica si existe Plantilla:Math en Plantilla:Math de modo que, para todos los Plantilla:Math en Plantilla:Math,

$\phi (x,y)=\sigma (\phi (y,x))\epsilon$.

Si Plantilla:Math, la forma se llama Plantilla:Math-hermítica, y si Plantilla:Math, se llama Plantilla:Math-anti-hermítica (cuando se sobreentiende Plantilla:Math, simplemente "hermítica" o "antihermítica", respectivamente).

Para una forma Plantilla:Math-hermítica distinta de cero, se deduce que para todos los Plantilla:Math en Plantilla:Math,

$\sigma (\epsilon )={\epsilon }^{-1}$

$\sigma (\sigma (\alpha ))=\epsilon \alpha {\epsilon }^{-1}$.

También se deduce que Plantilla:Math es un punto fijo de la aplicación Plantilla:Math. Los puntos fijos de esta aplicación forman un subgrupo del grupo aditivo de Plantilla:Math.

Una forma Plantilla:Math-hermítica es reflexiva, y cada forma reflexiva Plantilla:Math-sesquilineal es Plantilla:Math-hermítica para algunos Plantilla:Math.

En el caso especial de que Plantilla:Math sea la función identidad (es decir, Plantilla:Math), Plantilla:Math es conmutativa, Plantilla:Math es una forma bilineal y Plantilla:Math. Entonces, para Plantilla:Math la forma bilineal se denomina "simétrica" y para Plantilla:Math se denomina "simétrica sesgada".

Ejemplo

Sea Plantilla:Math el espacio vectorial tridimensional sobre el cuerpo finito Plantilla:Math, donde Plantilla:Math es una potencia prima. Con respecto a la base estándar se puede escribir Plantilla:Math y Plantilla:Math y definir la aplicación Plantilla:Math mediante:

$\phi (x,y)=x_1{y}_1{}^q+x_2{y}_2{}^q+x_3{y}_3{}^q.$

La aplicación Plantilla:Math es un automorfismo involutivo de Plantilla:Math. La aplicación Plantilla:Math es entonces una forma Plantilla:Math-sesquilineal. La matriz Plantilla:Math asociada a esta forma es la matriz identidad, y se trata de una forma hermítica.

En geometría proyectiva

Supuesto: En esta sección, las formas sesquilineales son antilineales (respectivamente, lineales) en su segundo (respectivamente, primer) argumento.

En una geometría proyectiva Plantilla:Math, una permutación Plantilla:Math de los subespacios que invierte la inclusión, es decir

Plantilla:Math para todos los subespacios Plantilla:Math, Plantilla:Math de Plantilla:Math,

se llama correlación. Un resultado de Birkhoff y von Neumann (1936) demuestra que las correlaciones de las geometrías proyectivas desarguesianas corresponden a las formas sesquilineales no degeneradas en el espacio vectorial subyacente. Una forma sesquilineal Plantilla:Math es no degenerada si Plantilla:Math para todos los Plantilla:Math en Plantilla:Math (si y) solo si Plantilla:Math.

Para lograr la generalidad total de esta afirmación, y dado que toda geometría proyectiva desarguesiana puede coordinarse mediante un anillo de división, Reinhold Baer extendió la definición de una forma sesquilineal a un anillo de división, lo que requiere reemplazar los espacios vectoriales por [[Módulo (matemática)|Plantilla:Math-módulos]]. En la bibliografía geométrica, todavía se los conoce como espacios vectoriales a izquierdas o a derechas sobre cuerpos sesgados).

Sobre anillos arbitrarios

La especialización de la sección anterior en cuerpos sesgados fue una consecuencia de la aplicación a la geometría proyectiva y no intrínseca a la naturaleza de las formas sesquilineales. Solo se requieren modificaciones menores para tener en cuenta la no conmutatividad de la multiplicación para generalizar la versión de campo arbitrario de la definición a anillos arbitrarios.

Sea Plantilla:Math un anillo, Plantilla:Math un Plantilla:Math-módulo y Plantilla:Math un antiautomorfismo de Plantilla:Math.

Una aplicación Plantilla:Math es Plantilla:Math-sesquilineal si

$\phi (x+y,z+w)=\phi (x,z)+\phi (x,w)+\phi (y,z)+\phi (y,w)$

$\phi (cx,dy)=c\phi (x,y)\sigma (d)$

para todos los Plantilla:Math en Plantilla:Math y todos los Plantilla:Math en Plantilla:Math.

Un elemento Plantilla:Math es ortogonal a otro elemento Plantilla:Math con respecto a la forma sesquilineal Plantilla:Math (escrito Plantilla:Math) si Plantilla:Math. Esta relación no tiene por qué ser simétrica, es decir, Plantilla:Math no implica que Plantilla:Math.

Una forma sesquilineal Plantilla:Math es reflexiva (u ortosimétrica) si Plantilla:Math implica que Plantilla:Math para todo Plantilla:Math en Plantilla:Math.

Una forma sesquilineal Plantilla:Math es hermítica si existe Plantilla:Math tal quePlantilla:Rp

$\phi (x,y)=\sigma (\phi (y,x))$

para todos los Plantilla:Math en Plantilla:Math. Una forma hermítica es necesariamente reflexiva y, si es distinta de cero, el antiautomorfismo asociado Plantilla:Math es una involución (es decir, de orden 2).

Dado que para un antiautomorfismo Plantilla:Math se tiene que Plantilla:Math para todo Plantilla:Math en Plantilla:Math, si Plantilla:Math, entonces Plantilla:Math debe ser conmutativo y Plantilla:Math es una forma bilineal. En particular, si, en este caso, Plantilla:Math es un cuerpo sesgado, entonces Plantilla:Math es un cuerpo y Plantilla:Math es un espacio vectorial con forma bilineal.

Un antiautomorfismo Plantilla:Math también puede verse como un isomorfismo Plantilla:Math, donde Plantilla:Math es el anillo opuesto de Plantilla:Math, que tiene el mismo conjunto subyacente y la misma suma, pero cuya operación de multiplicación (Plantilla:Math) está definida por Plantilla:Math, donde el producto a la derecha es el producto en Plantilla:Math. De esto se deduce que un módulo Plantilla:Math derecho (izquierdo) Plantilla:Math se puede convertir en un módulo Plantilla:Math izquierdo (derecho), Plantilla:Math. Por lo tanto, la forma sesquilineal Plantilla:Math puede verse como una forma bilineal Plantilla:Math.

Véase también

• *-álgebra

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro

Enlaces externos

• Plantilla:Springer