欧几里得内积空间

第九章 欧几里得空间§1定义与基本性质一、向量的内积定义1 设是实数域上一个向量空间,在上定义了一个二元实函数，称为内积,记作,它具有以下性质:1);2);3);4)  ,当且仅当时, 这里是任意的向