四、双线性度量空间定义设V是数域P上的一个线性空间，在V上定义了一个非退化的双线性函数.则称V为一个双线性度量空间特别地，P=R,dimV=n.f(α,β)为V上非退化对称双线性函数时，V称为一个伪欧式空间S10.4对称双线性函数§10.4 对称双线性函数 设V是数域P上的一个线性空间，在V上 定义了一个非退化的双线性函数. 则称 V为一个 双线性度量空间. 特别地， 为V上非退 化对称双线性函数时，V称为一个伪欧式空间. P R V n = = ,dim . f ( , )   四、双线性度量空间 定义