Mapa bilineal

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Función de dos vectores lineales en cada argumento

En matemáticas, un mapa bilineal es una función que combina elementos de dos espacios vectoriales para producir un elemento de un tercer espacio vectorial, y es lineal en cada uno de sus argumentos. La multiplicación de matrices es un ejemplo.

Definición

Espacios vectoriales

Vamos V,W{displaystyle V,W} y X{displaystyle X} ser tres espacios vectoriales sobre el mismo campo base F{displaystyle F}. Un mapa bilineal es una función

B:V× × W→ → X{displaystyle B:Vtimes Wto X}
w▪ ▪ W{displaystyle win W}Bw{displaystyle B_{w}
v↦ ↦ B()v,w){displaystyle vmapsto B(v,w)}
V{displaystyle V}X,{displaystyle X.v▪ ▪ V{displaystyle vin V}Bv{displaystyle B_{v}
w↦ ↦ B()v,w){displaystyle wmapsto B(v,w)}
W{displaystyle W.X.{displaystyle X.}

Tal mapa B{displaystyle B} satisface las siguientes propiedades.

  • Para cualquier λ λ ▪ ▪ F{displaystyle lambda in F}, B()λ λ v,w)=B()v,λ λ w)=λ λ B()v,w).{displaystyle B(lambda v,w)=B(v,lambda w)=lambda B(v,w). }
  • El mapa B{displaystyle B} es aditivo en ambos componentes: si v1,v2▪ ▪ V{displaystyle v_{1},v_{2}in V} y w1,w2▪ ▪ W,{displaystyle w_{1},w_{2}in W,} entonces B()v1+v2,w)=B()v1,w)+B()v2,w){displaystyle B(v_{1}+v_{2},w)=B(v_{1},w)+B(v_{2},w)} y B()v,w1+w2)=B()v,w1)+B()v,w2).{displaystyle B(v,w_{1}+w_{2})=B(v,w_{1})+B(v,w_{2}). }

Si V=W{displaystyle V=W! y tenemos B()v, w) B()w, v) para todos v,w▪ ▪ V,{displaystyle v,win V,} entonces decimos que B es simétrica. Si X es el campo base F, entonces el mapa se llama a forma bilineal, que son bien estudiados (por ejemplo: producto escalar, producto interno y forma cuadrática).

Módulos

La definición funciona sin ningún cambio si en lugar de espacios vectoriales sobre un campo F, usamos módulos sobre un anillo conmutativo R. Se generaliza a funciones n-arias, donde el término apropiado es multilineal.

Para anillos no conmutativos R y S, un R-módulo izquierdo M y un M derecho i>S-módulo N, un mapa bilineal es un mapa B: M × NT con T y (R, S)-bimódulo, y para el cual cualquier n en N, mB(m, n) es un homomorfismo de módulo R, y para cualquier m en M, nB(m , n) es un homomorfismo de módulo S. esto satisface

B()rm, n) rB()m, n)
B()m, ns) B()m, n) ⋅ s

para todo m en M, n en N, r en R y s en S, además de que B es aditivo en cada argumento.

Propiedades

Una consecuencia inmediata de la definición es que B(v, w) = 0<sub X siempre que v = 0V o w = 0W. Esto se puede ver escribiendo el vector cero 0V como 0 ⋅ 0V (y de manera similar para 0W) y moviendo el escalar 0 "afuera", frente a B, por linealidad.

El conjunto L(V, W; X) de todos los mapas bilineales es un subespacio lineal del espacio (es decir, espacio vectorial, módulo) de todos los mapas de V × W en X.

Si V, W, X son finitos-dimensionales, entonces lo es L()V, W; X). Para X=F,{displaystyle X=F,} es decir, formas bilineales, la dimensión de este espacio es dim V × dim W (mientras el espacio L()V × W; F) de lineal formas es de dimensión dim V + dim W). Para ver esto, elija una base para V y W; entonces cada mapa bilineal puede ser representado por la matriz B()ei, fj), 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.

Ejemplos

  • La multiplicación de matriz es un mapa bilineal M(m, n) × M(n, p) → M(m, p).
  • Si un espacio vectorial V sobre los números reales R{displaystyle mathbb {R} lleva un producto interno, luego el producto interno es un mapa bilineal V× × V→ → R.{displaystyle Vtimes Vto mathbb {R} El espacio vectorial de producto tiene una dimensión.
  • En general, para un espacio vectorial V sobre un terreno F, una forma bilineal en V es el mismo que un mapa bilineal V × VF.
  • Si V es un espacio vectorial con espacio dual VAlternativa, entonces el operador de aplicación, b()f, v) f()v) es un mapa bilinear desde VAlternativa × V al campo base.
  • Vamos V y W ser espacios vectoriales sobre el mismo campo base F. Si f es miembro de VAlternativa y g a member of WAlternativa, entonces b()v, w) f()v)g()w) define un mapa bilineal V × WF.
  • El producto cruzado en R3{displaystyle mathbb {R} {} {}}} es un mapa bilineal R3× × R3→ → R3.{displaystyle mathbb {R} ^{3}times mathbb {R} ^{3}to mathbb {R} ^{3}
  • Vamos B:V× × W→ → X{displaystyle B:Vtimes Wto X} ser un mapa bilineal, y L:U→ → W{displaystyle L:Uto W} ser un mapa lineal, entonces ()v, uB()v, Lu) es un mapa bilinear en V × U.

Continuidad y continuidad separada

Suppose X,Y,yZ{displaystyle X, Y, {text{ and }Z} son espacios vectoriales topológicos y permiten b:X× × Y→ → Z{displaystyle b:Xtimes Yto Z} ser un mapa bilineal. Entonces... b se dice que por separado continuo si las dos condiciones siguientes sostienen:

  1. para todos x▪ ▪ X,{displaystyle xin X,} el mapa Y→ → Z{displaystyle Yto Z} dado por Sí.↦ ↦ b()x,Sí.){displaystyle ymapsto b(x,y)} es continuo;
  2. para todos Sí.▪ ▪ Y,{displaystyle yin Y,} el mapa X→ → Z{displaystyle Xto Z} dado por x↦ ↦ b()x,Sí.){displaystyle xmapsto b(x,y)} es continuo.

Muchos bilineales continuos por separado que no son continuos satisfacen una propiedad adicional: la hipocontinuidad. 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 y Y se conoce entonces cada mapa bilineal continuo por separado b:X× × Y→ → Z{displaystyle b:Xtimes Yto Z} es continuo.
  • Si X,Y,yZ{displaystyle X, Y, {text{ and }Z} son los fuertes duales de espacios Fréchet entonces cada mapa bilineal continuo por separado b:X× × Y→ → Z{displaystyle b:Xtimes Yto Z} es continuo.
  • Si un mapa bilineal es continuo en (0, 0) entonces es continuo en todas partes.

Mapa de composición

Vamos X,Y,yZ{displaystyle X, Y, {text{ and }Z} ser localmente convex Hausdorff espacios y dejar C:L()X;Y)× × L()Y;Z)→ → L()X;Z){displaystyle C:L(X;Y)times L(Y;Z)to L(X;Z)} ser el mapa de composición definido por C()u,v):=v∘ ∘ u.{displaystyle C(u,v):=vcirc u.} En general, el mapa bilineal C{displaystyle C} no es continuo (no importa lo que topologie los espacios de mapas lineales se dan). Sin embargo, tenemos los siguientes resultados:

Dé a los tres espacios de mapas lineales una de las siguientes topologías:

  1. dar a los tres la topología de la convergencia atada;
  2. dar a los tres la topología de la convergencia compacta;
  3. dar a los tres la topología de la convergencia puntual.
  • Si E{displaystyle E} es un subcontinua subconjunto L()Y;Z){displaystyle L(Y;Z)} entonces la restricción CSilencioL()X;Y)× × E:L()X;Y)× × E→ → L()X;Z){displaystyle C{big vert }_{L(X;Y)times E}:L(X;Y)times Eto L(X;Z)} es continua para las tres topologías.
  • Si Y{displaystyle Sí. es un espacio en barrica para cada secuencia ()ui)i=1JUEGO JUEGO {displaystyle left(u_{i}right)_{i=1}{infty } convergiendo a u{displaystyle u} dentro L()X;Y){displaystyle L(X;Y)} y cada secuencia ()vi)i=1JUEGO JUEGO {displaystyle left(v_{i}right)_{i=1}{infty } convergiendo a v{displaystyle v} dentro L()Y;Z),{displaystyle L(Y;Z),} la secuencia ()vi∘ ∘ ui)i=1JUEGO JUEGO {displaystyle left(v_{i}circ ¿Qué? convergencias a v∘ ∘ u{displaystyle vcirc u} dentro L()Y;Z).{displaystyle L(Y;Z). }

Contenido relacionado

Desigualdad de Minkowski

En el análisis matemático, el Inequidad de Minkowski establece que los espacios Lp son espacios vectoriales ordenados. Vamos S{displaystyle S. ser un...

Lados de una ecuación

En matemáticas, LHS es una abreviatura informal para el lado izquierdo de una ecuación. Del mismo modo, RHS es el lado derecho. Los dos lados tienen el...

Institut des Hautes Études Scientifiques

Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save