設 ,
,  和
和 是在同一個基礎域
是在同一個基礎域 上的三個向量空間。雙線性映射是函數
上的三個向量空間。雙線性映射是函數
 
使得對於任何 中
中 ,映射
,映射
 
是從 到
到 的線性映射,並且對於任何
的線性映射,並且對於任何 中的
中的 ,映射
,映射
 
是從 到
到 的線性映射。
的線性映射。
換句話說,如果保持雙線性映射的第一個參數固定,並留下第二個參數可變,結果就是線性算子,如果保持第二個參數固定也是類似的。
如果 並且有
並且有 對於所有
對於所有 中的
中的 ,則我們稱
,則我們稱 是對稱的。
是對稱的。
當這裏的 是
是 的時候,我們稱之為雙線性形式,它特別有用(參見例子純量積、內積和二次形式)。
的時候,我們稱之為雙線性形式,它特別有用(參見例子純量積、內積和二次形式)。
如果使用在交換環 上的模替代向量空間,定義不需要任何改變。還可容易的推廣到
上的模替代向量空間,定義不需要任何改變。還可容易的推廣到 元函數,這裏正確的術語是「多線性」。
元函數,這裏正確的術語是「多線性」。
對非交換基礎環 和右模
和右模 與左模
與左模 的情況,我們可以定義雙線性映射
的情況,我們可以定義雙線性映射 ,這裏的
,這裏的 是阿貝爾環,使得對於任何
是阿貝爾環,使得對於任何 中的
中的 是群同態,而對於任何
是群同態,而對於任何 中的
中的 是群同態,並還滿足
是群同態,並還滿足
 
對於所有的 中的
中的 ,
, 中
中 和
和 中的
中的 。
。
定義 ,
,  ,
, 是有限維的,則
是有限維的,則 也是有限維的。對於
也是有限維的。對於 就是雙線性形式,這個空間的維度是
就是雙線性形式,這個空間的維度是 (儘管線性形式的空間
(儘管線性形式的空間 的維度是
的維度是 )。看得出來,選擇
)。看得出來,選擇 和
和 的基;接着每個線性映射可以唯一的表示為矩陣
的基;接着每個線性映射可以唯一的表示為矩陣 ,反之亦然。現在,如果
,反之亦然。現在,如果 是更高維的空間,我們明顯的有
是更高維的空間,我們明顯的有 。
。