[拼音]:Oujilide kongjian [外文]:Euclidean space 简称欧氏空间,是带有“内积”的实数域上的一类向量空间。“内积”是一个度量概念,有明显的代数性质,向量的长度和夹角都可以通过向量的内积来表示。所谓内积,是指与实数域R上向量空间E中任意一对向量u、v 惟一对应的实数,这个实数记作(u,v),并满足以下条件: (1)(u,v)=(v,u),② 一个定义了内积的实数域上的向量空间,称为欧几里得空间。例如,设V是解析几何里的三维空间,u、v是V 的任意向量,在V 中定义(u,v)=|u|·|v|cosθ,其中|u|、|v|分别表示u、v的长度,θ表示u和v的夹角。(u,v)满足内积的全部条件, 所以V是一个欧氏空间。设R是实数域,R 上的n 维向量空间
式中ƒ(t)、g(t)是E中的函数。则E作成一个欧氏空间。 向量的长和夹角欧氏空间E 的一个向量尣的长,定义为非负实数
欧氏空间E 的任意两个非零向量尣 和у 的夹角θ由公式cosθ=(尣,у)/(|尣||у|)来确定。这是解析几何里关于两个向量夹角的自然推广。著名的柯西-施瓦兹不等式或布雅科夫斯基不等式(尣,у)≤(尣,尣)(у,у),当且仅当尣与у成比例时等号才成立,保证了上述的夹角定义的合理性。欧氏空间E 的两个向量尣与у的距离定义为|尣-у|。对于E 的任意三个向量尣、у、z,有通常关于距离的三角形不等式成立:|尣-z|≤|尣-у|+|у-z|。 标准正交基如果欧氏空间的两个向量尣与у的内积为零,即(尣,у)=0,那么尣与у 称为正交的。在一个欧氏空间里,与解析几何的直角坐标系相类似的概念是所谓标准正交基。n维欧氏空间E的基e1,e2,…,en,如果满足条件 ![]() 那么e1,e2,…,en称为E 的一个标准正交基,即E的一组长度为1且两两正交的基称为标准正交基。任何一个n维欧氏空间都有标准正交基。如果e1,e2,…,en是n维欧氏空间E 的一个标准正交基, 如果两个欧氏空间E 和E┡,作为实数域上的向量空间是同构的,而且当尣凮尣┡,у凮у┡时有(尣,у)=(尣┡,у┡),即E 和E┡ 的相对应的向量的内积是相等的,那么E与E┡称为同构。任意一个n维欧氏空间都与Rn同构。 酉空间欧氏空间在复数域上的自然推广。如果V 是复数域上的一个向量空间,对于V的任意一对向量u、v,有一个确定的复数(u,v)与之对应,且满足以下条件:(u,v) 在一个酉空间里,也可以把向量u的长|u|定义为 |