実際には、半双線型形式がエルミートであることと、それに付随する二次形式が任意のz∈Vに対して実となることが同値であることが示せる。
实际上可证明半双线性形式是埃尔米特形式，当且仅当关联的二次形式是实数的，对于所有z∈V。