În matematică , un operator biliniar este o generalizare a multiplicării care satisface legea distributivă .
Definiție
Lasa-i sa fie {\ displaystyle V} , {\ displaystyle W} Și {\ displaystyle X} trei spații vectoriale pe același câmp {\ displaystyle F} ; un operator biliniar este o funcție :
- {\ displaystyle B: V \ times W \ rightarrow X}
astfel încât pentru fiecare {\ displaystyle w \ in W} harta:
- {\ displaystyle v \ mapsto B (v, w)}
este un operator liniar din {\ displaystyle V} la {\ displaystyle X} , și pentru fiecare {\ displaystyle v \ in V} harta:
- {\ displaystyle w \ mapsto B (v, w)}
este un operator liniar din {\ displaystyle W} la {\ displaystyle X} . Cu alte cuvinte, dacă păstrați primul argument al operatorului biliniar fixat, în timp ce modificați al doilea argument, obțineți un operator liniar și același lucru este valabil dacă păstrați al doilea argument fix.
De sine {\ displaystyle V = W} si tu ai{\ displaystyle B (v, w) = B (w, v)} pentru fiecare {\ displaystyle v, w \ in V} , asa de {\ displaystyle B} este simetric .
În cazul în care {\ displaystyle X = F} , avem o formă biliniară , iar acest caz este deosebit de util în studiul, de exemplu, al produsului scalar și al formelor pătratice .
Definiția funcționează fără alte modificări dacă sunt utilizate module pe un inel comutativ în locul spațiilor vectoriale {\ displaystyle R} . De asemenea, este ușor să generalizați acest concept într-o funcție în {\ displaystyle n} variabile, iar termenul potrivit este multiliniar .
În cazul unui inel necomutativ {\ displaystyle R} , un modul din dreapta {\ displaystyle M_ {R}} și o formă stângă {\ displaystyle _ {R} N} , putem defini un operator biliniar{\ displaystyle B: M \ times N \ rightarrow T} , Unde {\ displaystyle T} este un grup abelian , astfel încât pentru fiecare {\ displaystyle n \ in N} , {\ displaystyle m \ mapsto B (m, n)} , și pentru fiecare {\ displaystyle m \ în M} , {\ displaystyle n \ mapsto B (m, n)} sunt omomorfisme ale grupurilor și care, de asemenea, satisface:
- {\ displaystyle B (mt, n) = B (m, tn)}
pentru fiecare {\ displaystyle m \ in M, n \ in N, t \ in R} .
Proprietate
O primă consecință imediată a definiției este faptul că {\ displaystyle B (x, y) = \ mathbf {0}} de fiecare dată când {\ displaystyle x = \ mathbf {0}} sau {\ displaystyle y = \ mathbf {0}} . Acest lucru este dovedit prin scrierea vectorului nul {\ displaystyle \ mathbf {0}} ca {\ displaystyle 0 \ cdot \ mathbf {0}} și mișcând scalarul „în afară”, în fața {\ displaystyle B} , pentru liniaritate.
Întregul {\ displaystyle L (V, W; X)} dintre toate hărțile biliniare este un subespai liniar al spațiului ( spațiu vectorial , modulo ) al tuturor hărților din {\ displaystyle V \ times W} în {\ displaystyle X} .
De sine {\ displaystyle V, W, X} au dimensiuni finite, apoi sunt și finite {\ displaystyle L (V, W; X)} . De sine {\ displaystyle X = F} , (de exemplu, în cazul unei forme biliniare) dimensiunea acestui spațiu este {\ displaystyle \ dim V \ cdot \ dim W} (în timp ce spațiul {\ displaystyle L (V \ times W; K)} a formelor liniare are dimensiune{\ displaystyle \ dim V + \ dim W} ). Pentru a demonstra acest lucru, alegeți o bază {\ displaystyle {\ mathcal {B}}} pentru {\ displaystyle V} și o bază {\ displaystyle {\ mathcal {C}}} pentru {\ displaystyle W} ; în acest moment fiecare hartă biliniară poate fi reprezentată în mod unic de matrice {\ displaystyle A} dat de {\ displaystyle a_ {ij} = B (b_ {i}, c_ {j})} , și invers (aici {\ displaystyle b_ {i}} Și {\ displaystyle c_ {j}} denotați respectiv {\ displaystyle i} -al elementul bazei {\ displaystyle {\ mathcal {B}}} si {\ displaystyle j} -al elementul bazei {\ displaystyle {\ mathcal {C}}} ).
De sine {\ displaystyle X} este un spațiu cu o dimensiune superioară, pe care îl aveți în mod banal {\ displaystyle \ dim L (V, W; X) = \ dim V \ cdot \ dim W \ cdot \ dim X} .
Exemple
- Înmulțirea matricilor este o hartă biliniară {\ displaystyle M (m, n) \ times M (n, p) \ rightarrow M (m, p)} .
- Dacă într-un spațiu vectorial {\ displaystyle V} pe câmpul numerelor reale {\ displaystyle \ mathbb {R}} definit ca un produs punct , atunci produsul punct este un operator biliniar {\ displaystyle V \ times V \ rightarrow \ mathbb {R}} .
- În general, pentru un spațiu vector {\ displaystyle V} pe un câmp {\ displaystyle F} , o formă biliniară pe {\ displaystyle V} este echivalent cu un operator biliniar {\ displaystyle V \ times V \ rightarrow F} .
- De sine {\ displaystyle V} este un spațiu vector, {\ displaystyle V ^ {*}} este spațiul său dual e {\ displaystyle v \ in V, f \ in V ^ {*}} , apoi operatorul aplicației {\ displaystyle b (f, v) = f (v)} este un operator biliniar din {\ displaystyle V \ times W} în tabăra de bază.
- Lasa-i sa fie {\ displaystyle V} Și {\ displaystyle W} două spații vectoriale pe același câmp {\ displaystyle F} . De sine {\ displaystyle f} este un element al {\ displaystyle V ^ {*}} Și {\ displaystyle g} este un element al {\ displaystyle W ^ {*}} , asa de {\ displaystyle b (v, w) = f (v) g (w)} definește un operator biliniar {\ displaystyle V \ times W \ rightarrow F} .
- Produsul vector în {\ displaystyle \ mathbb {R} ^ {3}} este operator biliniar {\ displaystyle \ mathbb {R} ^ {3} \ times \ mathbb {R} ^ {3} \ rightarrow \ mathbb {R} ^ {3}} .
- Lasa-i sa fie{\ displaystyle B: V \ times W \ rightarrow X} un operator biliniar e {\ displaystyle L: U \ rightarrow W} un operator liniar ; asa de {\ displaystyle (v, u) \ mapsto B (v, L (u))} este un operator bilinear pe {\ displaystyle V \ times U} .
- Harta nulă , definită de {\ displaystyle B (v, w) = \ mathbf {0}} pentru fiecare {\ displaystyle (v, w) \ în V \ times W} este singura hartă din {\ displaystyle V \ times W} în {\ displaystyle X} care este atât biliniar, cât și liniar. De fapt, dacă {\ displaystyle (v, w) \ în V \ times W} Și {\ displaystyle B} atunci este atât o hartă liniară, cât și o hartă biliniară {\ displaystyle B (v, w) = B (v, \ mathbf {0}) + B (\ mathbf {0}, w)} (pentru liniaritate în raport cu suma {\ displaystyle V \ times W} ) Și {\ displaystyle B (v, \ mathbf {0}) + B (\ mathbf {0}, w) = \ mathbf {0} + \ mathbf {0} = \ mathbf {0}} (pentru bilinearitate).
Bibliografie
- ( EN ) N. Bourbaki, Elements of math. Algebra: Structuri algebrice. Algebra liniară , 1, Addison-Wesley (1974) pp. Capitolul 1; 2
- (EN) S. Lang, Algebra, Addison-Wesley (1974)
Elemente conexe
linkuri externe