es un mapa lineal de a . En otras palabras, cuando mantenemos la primera entrada del mapa bilineal fija mientras dejamos que la segunda entrada varíe, el resultado es un operador lineal, y de manera similar cuando mantenemos la segunda entrada fija.
Dicho mapa satisface las siguientes propiedades.
Para cualquier , .
El mapa es aditivo en ambos componentes: si y , luego y .
Las obras definición sin ningún cambio si en lugar de espacios vectoriales sobre un cuerpo F , utilizamos módulos sobre un anillo conmutativo R . Se generaliza a funciones n -arias, donde el término adecuado es multilineal .
Para los anillos no conmutativos R y S , un módulo R izquierdo M y un módulo S derecho N , un mapa bilineal es un mapa B : M × N → T con T an ( R , S ) - bimódulo , y para el cual cualquier n en N , m ↦ B ( m , n ) es un homomorfismo del módulo R , y para cualquier m enM , n ↦ B ( m , n ) es un homomorfismo del módulo S. Esto satisface
B ( r ⋅ m , n ) = r ⋅ B ( m , n )
B ( m , n ⋅ s ) = B ( m , n ) ⋅ s
para todos m en M , n en N , r en R y s en S , así como B siendo aditivo en cada argumento.
Propiedades
Una consecuencia inmediata de la definición es que B ( v , w ) = 0 X siempre que v = 0 V o w = 0 W . Esto se puede ver escribiendo el vector cero 0 V como 0 ⋅ 0 V (y de manera similar para 0 W ) y moviendo el escalar 0 "afuera", delante de B , por linealidad.
Si V , W , X son de dimensión finita , entonces también lo es L ( V , W ; X ) . Para X = F , es decir, formas bilineales, la dimensión de este espacio es dim V × dim W (mientras que el espacio L ( V × W ; F ) de las formas lineales es de dimensión dim V + dim W ). Para ver esto, elija una base para Vy W ; luego, cada mapa bilineal puede ser representado de forma única por la matriz B ( e i , f j ) , y viceversa. Ahora, si X es un espacio de dimensión superior, obviamente tenemos dim L ( V , W ; X ) = dim V × dim W × dim X .
En general, para un espacio vectorial V sobre un campo F , una forma bilineal en V es el mismo que un mapa bilineal V × V → F .
Si V es un espacio vectorial con espacio dual V ∗ , entonces el operador de la aplicación, b ( f , v ) = f ( v ) es un mapa bilineal desde V ∗ × V al campo base.
Deje que V y W sean espacios vectoriales sobre el mismo campo de base F . Si f es miembro de V * y g un miembro de W * , entonces b ( v , w ) = f ( v ) g ( w ) define un mapa bilineal V × W → F .
El producto cruzado en R 3 es un mapa bilineal R 3 × R 3 → R 3 .
Deje B : V × W → X ser un mapa bilineal, y L : T → W ser un mapa lineal , a continuación, ( v , u ) ↦ B ( v , Lu ) es un mapa bilineal en V × U .
Continuidad y continuidad separada
Suponga que X , Y y Z son espacios vectoriales topológicos y sea un mapa bilineal. Entonces se dice que b es continuo por separado si se cumplen las dos condiciones siguientes:
para todos , el mapa dado por es continuo;
para todos , el mapa dado por es continuo.
Muchos bilineales continuos por separado que no son continuos satisfacen una propiedad adicional: hipocontinuidad . [1]
Todos los mapas bilineales continuos son hipocontinuos.
Condiciones suficientes para la continuidad
Muchos mapas bilineales que ocurren en la práctica son continuos por separado, pero no todos son continuos. Aquí enumeramos las condiciones suficientes para que un bilineal continuo por separado sea continuo.
Si X es un espacio de Baire e Y es metrizable, entonces cada mapa bilineal continuo por separado es continuo. [1]
Si X , Y y Z son los duales fuertes de los espacios de Fréchet, entonces cada mapa bilineal continuo por separado es continuo. [1]
Si un mapa bilineal es continuo en (0, 0), entonces es continuo en todas partes. [2]
Mapa de composición
Ver también: Topología de convergencia uniforme
Sean X , Y y Z espacios de Hausdorff localmente convexos y sea el mapa de composición definido por . En general, el mapa bilineal C no es continuo (no importa qué topologías se den los espacios de los mapas lineales). Sin embargo, tenemos los siguientes resultados:
Asigne a los tres espacios de mapas lineales una de las siguientes topologías:
dar a los tres la topología de convergencia acotada;
dar a los tres la topología de convergencia compacta;
dar a los tres la topología de convergencia puntual.
Si E es un subconjunto equicontinuo de, entonces la restricción es continua para las tres topologías. [1]
Si Y es un espacio de barril, entonces para cada secuencia que converge hacia u en y cada secuencia que converge hacia v en , la secuencia converge hacia adentro . [1]
Ver también
Producto tensor
Forma sesquilineal
Filtrado bilineal
Mapa multilineal
Referencias
↑ a b c d e Trèves , 2006 , págs. 424-426.
^ Schaefer y Wolff , 1999 , p. 118.
Bibliografía
Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . 8 (Segunda ed.). Nueva York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
Trèves, François (2006) [1967]. Espacios, distribuciones y núcleos vectoriales topológicos . Mineola, NY: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322 .