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

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

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

f(v+v',w)=f(v,w)+f(v',w)

,

f(av,w)=af(v,w)

,

f(v,w+w')=f(v,w)+f(v,w')

,

f(v,wb)=f(v,w)b

.

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

Билинейная форма в наиболее общем случае — билинейное отображение $V\times W\to A$ , где $V$ — левый унитарный $A$ -модуль, $W$ — правый унитарный $A$ -модуль, а $A$ — рассматриваемое как $(A,A)$ -бимодуль кольцо с единицей. Билинейная операция — линейное по обоим аргументам отображение $f\colon X\times X\rightarrow X$ , таковыми являются умножения в алгебрах над кольцами, а также различные разновидности умножения матриц.

Литература

Серж Ленг. Алгебра. — М.: Мир, 1968. — С. 110.
Билинейное отображение — статья из Математической энциклопедии. В. Л. Попов