家则可能使用相反的习惯。指定映射φ : "V" × "V" → C是半双线性的，如果对于所有"x,y,z,w" ∈ "V"和所有"a", "b" ∈ C。半双线性形式可以被看作双线性形式这里的formula_3是"V"的复共轭向量空间。通过张量积的泛性质，它一一对应于(复数)线性映射对于"V"中固定的"z"，映射formula_5是在"V"上的线性泛函（也就是对偶空间"V"* 的一个元素）。类似的，映射formula_6是"V"上的共轭线性泛函。给定"V"上任何半双线性形式φ，我们可以通