向量空间及其他相关数学结构

向量空间： https://zh.wikipedia.org/wiki/%E5%90%91%E9%87%8F%E7%A9%BA%E9%97%B4

    给定域F，F上的向量空间V是一个集合，其上定义了两种二元运算：

  • 向量加法 + : V × V → V，把V中的两个元素 u 和 v 映射到V中另一个元素，记作 u + v；
  • 标量乘法 · : F × V → V，把F中的一个元素 a 和 V 中的一个元素u变为V中的另一个元素，记作 a ·u。

     V中的元素称为向量，相对地，F中的元素称为标量。

   概念化及额外结构

   研究向量空间很自然涉及一些额外结构。额外结构如下：

赋范向量空间是具有“长度”概念的向量空间。是通常的欧几里得空间 Rn 的推广

范数（norm），是具有“长度”概念的函数：

               ----  欧几里德范数

 如果拓扑向量空间的拓扑可以被范数导出，这个拓扑向量空间被称为赋范向量空间。

 拥有范数的向量空间就是赋范向量空间。同样，拥有半范数的向量空间就是赋半范向量空间

欧几里得空间    ----   希尔伯特空间在高等代数教科书中也被称为欧几里得空间

                          ---> n维欧几里得空间   推广

                          ---> 欧几里得距离

                          ---> 欧氏空间是一个度量空间，因此也是一个具有由度量推导出的自然拓扑的拓扑空间

                n维向量空间:   以{\displaystyle \mathbb {R} }\mathbb {R} 表示实数域。对任意一个正整数n，实数的n元组的全体构成了{\displaystyle \mathbb {R} }\mathbb {R} 上的一个n维向量空间，用{\displaystyle \mathbb {R} ^{n}}\mathbb {R} ^{n}来表示。有时称之为实数坐标空间。 

                        --->   n维实数坐标空间 是实n维向量空间的原型。

                欧几里得结构:

                 <\mathbf {x} ,\mathbf {y} >=\sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+x_{2}y_{2}+\cdots +x_{n}y_{n}   称为{\displaystyle \mathbb {R} ^{n}}\mathbb {R} ^{n}上的欧几里得结构

                欧氏空间:    \mathbb {R} ^{n}仅指实数向量空间，而加入了如上定义的欧几里得结构后才称为欧氏空间

                                  ---  欧氏空间是一个度量空间，因此也是一个具有由度量推导出的自然拓扑的拓扑空间

                "欧氏空间也称为欧几里得空间，是带有“内积”的实数域上的一类向量空间"  ---- http://blog.csdn.net/y954877035/article/details/52150151

超平面（Hyperplane）是 {\displaystyle n}n 维欧氏空间中余维度等于{\displaystyle 1}1的线性子空间。这是平面中的直线、空间中的平面之推广

******

参考：

《普林斯顿数学指南》 1、2、3卷相关章节

《理解数学空间，从距离到希尔伯特空间》http://blog.csdn.net/shijing_0214/article/details/51052208

 posted on 2018-03-22 16:15  thh  阅读(641)  评论(0)  编辑  收藏  举报