Forma bilineal no degenerada

En matemáticas, específicamente en álgebra lineal, una forma bilineal no-degenerada f (x, y ) en un espacio vectorial V es una forma bilineal tal que la aplicación de V a V^∗ (el espacio dual de V ) dada por v ↦ (x ↦ f (x,  v )) es un isomorfismo.​​ Una definición equivalente cuando V es finita-dimensional es que tiene un núcleo trivial: no existe alguna x distinta de cero en V tal que

$\not \exists x:f(x,y)=0\,$ para todos los $\,y\in V.$

Una forma bilineal que no sea no-degenerada, se llama forma bilineal degenerada.

Introducción

Una forma no degenerada o no nsingular es una forma bilineal que no es degenerada, lo que significa que $v\mapsto (x\mapsto f(x,v))$ es un isomorfismo, o equivalentemente en dimensiones finitas, si y solo si​

$f(x,y)=0$ para todos los $y\in V$ implica que $x=0$.

Los ejemplos más importantes de formas no degeneradas son producto internos y forma simplécticas. Las formas simétricas no degeneradas son generalizaciones importantes de los productos internos, ya que a menudo todo lo que se requiere es que el mapa $V\to V^{*}$ ser un isomorfismo, no positividad. Por ejemplo, una variedad diferenciable con una estructura de producto interna en su espacio tangentes es una variedad riemanniana, mientras que relajando esto a una forma simétrica no degenerada produce una variedad pseudo-riemanniana.

Uso del determinante

Si V es finito-dimensional entonces, en relación con alguna bases para V, una forma bilineal se degenera si y solo si el determinante de la matriz asociada es cero – si y solo si la matriz es singular, y en consecuencia las formas degeneradas también se llaman formas singulares. Del mismo modo, una forma no degenerada es aquella para la cual la matriz asociada es no singular, y en consecuencia las formas no degeneradas también se denominan "formas no singulares". Estas declaraciones son independientes de la base elegida.​

Nociones relacionadas

Si para una forma cuadrática Q hay un vector distinto de cero v ∈ V tal que Q(v) = 0, entonces Q es una forma cuadrática isotrópica. Si Q tiene el mismo signo para todos los vectores distintos de cero, es una forma cuadrática con signo definido o una forma cuadrática anisotrópica.

Existe la noción estrechamente relacionada de una forma unimodular y un emparejamiento perfecto; estos están de acuerdo sobre campos pero no sobre anillos generales.

Ejemplos

Los ejemplos más importantes de formas no degeneradas son los productos internos y las formas simplécticas. Las formas simétricas no degeneradas son generalizaciones importantes de los productos internos, ya que a menudo todo lo que se requiere es que el mapa $V\to V^{*}$ ser un isomorfismo, no positividad. Por ejemplo, una variedad con una estructura de producto interna en sus espacios tangentes es una variedad riemanniana, mientras que relajarla a una forma simétrica no degenerada produce una variedad pseudoriemanniana.

En dimensión infinita

Nótese que en un espacio de dimensión infinita, podemos tener una forma bilineal ƒ para la cual $v\mapsto (x\mapsto f(x,v))$ es inyectiva pero no surjetiva. Por ejemplo, en el espacio de función continuas en un intervalo acotado cerrado, la forma

$f(\phi ,\psi )=\int \psi (x)\phi (x)\,dx$

no es sobreyectivo: por ejemplo, el dirac delta funcional está en el espacio dual pero no de la forma requerida. Por otro lado, esta forma bilineal satisface

$f(\phi ,\psi )=0$ para todos los $\phi$ implica que $\psi =0.\,$

En tal caso en el que ƒ satisface la inyectividad (pero no necesariamente la sobreyección), se dice que ƒ es "débilmente no degenerado".

Terminología

Si f desaparece idénticamente en todos los vectores, se dice que es totalmente degenerado. Dada cualquier forma bilineal f en V el conjunto de vectores

$\{x\in V\mid f(x,y)=0{\mbox{ for all }}y\in V\}$

forma un subespacio totalmente degenerado de V. El mapa f no es degenerado si y sólo si este subespacio es trivial.

Geométricamente, una línea isotrópica de la forma cuadrática corresponde a un punto de la hipersuperficie cuadrada asociada en espacio proyectivo. Dicha línea es adicionalmente isotrópica para la forma bilineal si y sólo si el punto correspondiente es una singularidad. Por lo tanto, sobre un campo algebraicamente cerrado, Nullstellensatz de Hilbert garantiza que la forma cuadrática siempre tiene líneas isotrópicas, mientras que la forma bilineal las tiene si y solo si la superficie es singular.

Véase también

• Sistema dual —
• Forma lineal —

Referencias

Bibliografía

• Adkins, William A.; Weintraub, Steven H. (1992), Algebra: An Approach via Module Theory, Graduate Texts in Mathematics 136, Springer-Verlag, ISBN 3-540-97839-9, Zbl 0768.00003 .
• Bourbaki, N. (1970), Algebra, Springer .
• Cooperstein, Bruce (2010), «Ch 8: Bilinear Forms and Maps», Advanced Linear Algebra, CRC Press, pp. 249-88, ISBN 978-1-4398-2966-0 .
• Grove, Larry C. (1997), Groups and characters, Wiley-Interscience, ISBN 978-0-471-16340-4 .
• Halmos, Paul R. (1974), Finite-dimensional vector spaces, Undergraduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90093-3, Zbl 0288.15002 .
• Harvey, F. Reese (1990), «Chapter 2: The Eight Types of Inner Product Spaces», Spinors and calibrations, Academic Press, pp. 19-40, ISBN 0-12-329650-1 .
• Popov, V. L. (1987), «Bilinear form», en Hazewinkel, M., ed., Encyclopedia of Mathematics (Kluwer Academic Publishers) 1: 390-392 .. Also: Forma bilineal no degenerada, p. 390, en Google Libros
• Jacobson, Nathan (2009), Basic Algebra I (2nd edición), ISBN 978-0-486-47189-1 .
• Milnor, J.; Husemoller, D. (1973), Symmetric Bilinear Forms, Ergebnisse der Mathematik und ihrer Grenzgebiete 73, Springer-Verlag, ISBN 3-540-06009-X, Zbl 0292.10016 .
• Porteous, Ian R. (1995), Clifford Algebras and the Classical Groups, Cambridge Studies in Advanced Mathematics 50, Cambridge University Press, ISBN 978-0-521-55177-9 .
• Shafarevich, I. R.; A. O. Remizov (2012), Linear Algebra and Geometry, Springer, ISBN 978-3-642-30993-9 .
• Shilov, Georgi E. (1977), Silverman, Richard A., ed., Linear Algebra, Dover, ISBN 0-486-63518-X .
• Zhelobenko, Dmitriĭ Petrovich (2006), Principal Structures and Methods of Representation Theory, Translations of Mathematical Monographs, American Mathematical Society, ISBN 0-8218-3731-1 .

• Datos: Q27961566