设V是复线性空间.VV上的一个函数(,·),如果满足: (i)(,)对第一个变量是线性的; (ii)(a,)=(B,a); (iii)a∈v,(a,a)≥0,且(a,a)=0a=0

设V是复线性空间.V×V上的一个函数,如果满足 (i)(·,·)对第一个变量是线性的 (i)(a,B)=(B (ii1)ya∈V,(a,a)≥0,且(a,a)=0分a=0 则称(a,B)为向量a,B的内积,具有内积的复线性空间称为酉空间(欧氏空间在复线性 空间上的推广)