Билинейное отображение

---

Билинейное отображение — бинарное отображение векторных пространств, линейное по каждому из двух аргументов.

Понятие обобщается до модулей над кольцом: если ${\displaystyle V\displaystyle }$ — левый унитарный ${\displaystyle A}$-модуль, ${\displaystyle W\displaystyle }$ — правый унитарный ${\displaystyle B}$-модуль, ${\displaystyle X\displaystyle }$ — ${\displaystyle (A,B)}$-бимодуль, то ${\displaystyle f\colon V\times W\to X}$ билинейно, если оно линейно по каждому из двух аргументов (${\displaystyle v,v'\in V;\,w,w'\in W;\,a\in A;\,b\in B}$):

Эквивалентная формулировка: ${\displaystyle f\colon V\times W\to X}$ билинейно, если определено линейное отображение ${\displaystyle f_{1}:V\to {\text{Hom}}(W,X)}$ (или, что то же самое, определено линейное отображение ${\displaystyle f_{2}:W\to {\text{Hom}}(V,X)}$).

---