距离，范数，线性结构，空间。

最新推荐文章于 2021-12-09 16:13:42 发布

Zhanglimin08

最新推荐文章于 2021-12-09 16:13:42 发布

阅读量832

点赞数

分类专栏：数学知识

本文链接：https://blog.csdn.net/weixin_43721354/article/details/89554772

版权

6 篇文章 1 订阅

订阅专栏

机器学习必须要搞懂的一些基础数学概念，我一边学习，一遍在这里做笔记记录。

什么是数学的空间：

关于上面这段，我理解数学空间，就像你手机里装的游戏：连连看，斗地主，俄罗斯方块。那么每一个游戏里（空间里），都有不同的元素和结构，有不同的游戏规则。

此次是上海交大《数学之旅》学习笔记。感兴趣的同学可以去看视频，非常推荐。

在微积分里可以定义极限和联系，依赖于**“距离”**
稍后补充

下面我来说说线性空间

我们先看二维空间：

二维空间的点可以看做一个二元实数组（x, y）
可以定义两个二元实数组的加法： $x_{1}, y_{1})+(x_{2}, y_{2})=(x_{1}+ x_{2} , y_{1}+y_{2})$
可以定义二元实数组与实数的乘法： $k (x, y) = (k x, k y)$

二维：

三维：

想想以往学习的内容，我进行进一步的抽象。

先看n维向量， 向量的加法，数乘满足：(加法的交换律，结合律，零元，负元，数乘的交换律。单位元，数乘与加法的分配率。)
则，称其为 n维向量空间了，记为 $R^{n}$

然后我们再进行抽象。
定义： 设X是一个集合，K是实数域，定义X上任意两个元素的加法运算，和实数和任意一个元素的数乘运算，如果这两个运算封闭，并且满足：

再看几个例子：

X可以是n维向量的集合，加法为向量加法，数乘为乘以实数，构成n为线性空间。
X也可以是区间 $[a, b]$ 上所有函数的集合，加法为通常多项式的加法，数乘为乘以实数，构成（无穷维）线性空间。
X还可以为实数集合，对X中任意两实数x, y 和K中实数a, 定义以下运算，构成线性空间？运算定义： $\oplus y = xy, a \otimes x = x^{a}$ ，经过检验，满足八条运算规律（间线性空间定义）。我们就认为，构成线性空间。

由此可见，向量空间的概念是集合与运算二者的结合。一般来说，同一个集合，若定义两种不同的线性运算，就构成不同的向量空间；若定义的运算不是线性运算，就不能构成向量空间。所以，所定义的线性运算是向量空间的本质，而其中的元素是什么并不重要。由此可以说，把向量空间叫做线性空间更为合适。

基的本质是什么？

思考：基和坐标的关系是什么？

总结拓展一下：
赋予范数或者距离的集合分别称为：赋范空间和度量空间。
若在其上再加上线性结构，称为：线性赋范空间和线性度量空间。

赋范空间
赋范空间有向量的模长，即范数。但是还缺乏一个很重要的概念 ---- 链各个向量的夹角。
为了克服这一缺陷，我们引入了内积空间。

内积空间的定义：
设 $\in R$ , 且满足：

内积可导出范数 $\parallel x \parallel^{2} = (x , x)$ , 在线性空间上定义内积，其空间成为内积空间。
内积可在空间中建立欧几里得几何学，例如：交角，垂直和投影等，故习惯上称其为欧几里得空间。

1904年~1910年希尔伯特引入无穷实数组并定义积，其空间称为内积空间，再加上完备性，称为希尔伯特空间（无穷维）
1922年巴拿赫提出赋范空间，其完备的赋范空间称为巴拿赫空间。

范数可以定义“强化”了距离。
内积是较距离和范数有更多的内含；
拓扑是“弱化”了距离。
拓扑 $\subset$ 距离 $\subset$ 范数 $\subset$ 内积