函数空间的理解

学习过程中被一堆空间虐到了。。所以看了交大公开课，以下是笔记。（不太会用csdn的公式编辑器，所以先截图了）

一、问题的提出

1、在微积分里可以定义极限和连续，依赖于距离

一个是在值域里面，另一个是在定义域里面

2、地球上航海时以大圆来测量距离（不能走直线吧，这样就从地心穿过去了）
3、在天安门旅游，你在围墙外，朋友在围墙内，也不能走直线，因为这样就穿墙了，所以要绕一圈。
4、两个向量之间的距离
5、两条曲线之间的距离
……

二、距离、范数

1、向量的距离

考察x=(x1,…xn)到y=(y1,…yn)的距离
情形一：（勾股定理、最常见）

情形二：

情形三：（围着天安门城墙走的距离）

2、曲线的距离

函数f(x)到函数g(x)的距离
情形一：****（平方的目的是怕f和g抵消）

将两个函数相减之后平方的距离看作为它的面积

情形二：

这里不能取最小值

情形三：

k为奇数的话应该需要加绝对值

3、心灵的距离

两个人的默契程度？
两个人的经历相似度？
两个人的爱好、问题看法的一致性？
……

4、所以如何定义距离？

我们在上面看到了三种方式，有的是把两个点连起来算作距离，有的是走折线距离，有的是把两条折线当中大的那一个算作距离。

需要找到它的属性！

比如水果这个概念就比较广泛（抽象词），不是具体指什么，所以要用它的属性来描述：可以吃的、含水分较多的植物果实

具体一点，热带水果呢？——热带的水果。

对于距离，我们也需要用属性来描述。

5、距离的定义

定义：设X是一个非空集合，任给一对这一集合的元素x，y，都给定一个实数d(x,y)与它们对应，并且满足：

则称d(x,y)是这两点之间的距离。

6、线性结构（线性空间）

定义一个空间，除了距离，我们还需要线性结构（先看二维向量）：

• 向量的加法，数乘
• 满足：加法的交换律、结合律，零元，负元，数乘的交换律，单位1，数乘和加法的结合律。
• 满足这八条规则，我们就叫它线性空间

7、范数

定义：设||x||是R^n（向量空间线性结构）若满足：

注：简单看成到零点距离多了（2）——可以理解为热带水果比水果多了一条限制

x=(x1,…,xn)到零点的距离（范数）
情形1：

情形2：

情形3：

8、范数和距离的关系

由范数可以定义距离（热带水果是水果）

但由距离不一定可以定义范数（水果不一定是热带水果）

9、距离、范数和空间（赋范空间、度量空间）

• 赋予范数或者距离的集合分别为：赋范空间和度量空间
• 若再其上再加上线性结构称为：线性赋范空间和线性度量空间

三、内积空间（欧几里得空间）

1、为什么需要内积空间？

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

2、内积空间的定义

定义：设(x,y)∈R，且满足：

1. 对称性；
2. 对第一变元的线性性；（乘以α，可以提出来）
3. 正定性（≥0）

则称(x,y)为内积。

例子：

3、内积和范数的关系

内积可以导出范数：

• 在线性空间上定义内积，其空间称为内积空间；
• 内积可在空间中建立欧几里得几何学，例如交角、垂直和投影灯，故习惯上称其为欧几里得空间

欧几里得空间是我们日常中最为习惯的空间。

4、希尔伯特空间和巴拿赫空间

• 1904年-1910年希尔伯特引入无穷实数组并定义内积，其空间称为内积空间，再加上完备性，称为希尔伯特空间（无穷维）；

完备性：空间在极限运算中，取极限不能取出去

• 1922年巴拿赫提出赋范空间，其完备的赋范空间称为巴拿赫空间；

四、拓扑空间

欧几里得几何学需要内积，连续的概念不需要内积，甚至不需要距离。
例如：社交圈的描述；学号的指定是“连续的”；朋友圈的分类等等。

仔细考察连续的概念，其实它需要的是开集。

即，用开集可以定义连续。

五、结语

• 范数可以定义“强化”了的距离
• 内积是较距离和范数有更多内涵
• 拓扑是“弱化”了的距离
• 拓扑（植物） 距离（水果） 范数（热带水果） 内积（甜的热带水果）
• 拓扑空间，度量空间，赋范空间，内积空间
• （以上加上线性结构）拓扑线性空间，线性度量空间，线性赋范空间，内积空间
• （加上完备性）巴拿赫空间，希尔伯特空间