学习过程中被一堆空间虐到了。。所以看了交大公开课,以下是笔记。(不太会用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,且满足:
- 对称性;
- 对第一变元的线性性;(乘以α,可以提出来)
- 正定性(≥0)
则称(x,y)为内积。
例子:
3、内积和范数的关系
内积可以导出范数:
- 在线性空间上定义内积,其空间称为内积空间;
- 内积可在空间中建立欧几里得几何学,例如交角、垂直和投影灯,故习惯上称其为欧几里得空间
欧几里得空间是我们日常中最为习惯的空间。
4、希尔伯特空间和巴拿赫空间
- 1904年-1910年希尔伯特引入无穷实数组并定义内积,其空间称为内积空间,再加上完备性,称为希尔伯特空间(无穷维);
完备性:空间在极限运算中,取极限不能取出去
- 1922年巴拿赫提出赋范空间,其完备的赋范空间称为巴拿赫空间;
四、拓扑空间
欧几里得几何学需要内积,连续的概念不需要内积,甚至不需要距离。
例如:社交圈的描述;学号的指定是“连续的”;朋友圈的分类等等。
仔细考察连续的概念,其实它需要的是开集。
即,用开集可以定义连续。
五、结语
- 范数可以定义“强化”了的距离
- 内积是较距离和范数有更多内涵
- 拓扑是“弱化”了的距离
- 拓扑(植物) 距离(水果) 范数(热带水果) 内积(甜的热带水果)
- 拓扑空间,度量空间,赋范空间,内积空间
- (以上加上线性结构)拓扑线性空间,线性度量空间,线性赋范空间,内积空间
- (加上完备性)巴拿赫空间,希尔伯特空间