定义:设,且满足:
(1)对称性
(2)对第一变元的线性性
(3)正定性(>=0)
则称为内积
内积可导出范数;
在线性空间上定义内积,其空间称为内积空间,习惯上称为欧几里得空间
1904-19910年希尔伯特引入无穷实数组并定义内积,其空间称为内积空间,再加上完备性,称为希尔伯特空间(无穷维)
1922年巴拿赫提出赋范空间,其完备的赋范空间称为巴拿赫空间
拓扑空间
欧几里得几何学需要内积,但连续的概念不需要内积,甚至不需要距离。
例如:社交圈的描述;学号的指定是“连续”的
用开集定义连续
定义:设是任一集合
,若满足:
1)内任意个集合的并仍属于
2)内有限个集合的交仍属于
3)和空集仍属于
则称是
上的一个拓扑。
几种空间之间的关系:
- 范数可以定义“强化”了的距离
- 内积是较距离和范数有更多的内涵
- 拓扑是“弱化”了的距离
拓扑>距离>范数>内积 -------->拓扑空间、度量空间、赋范空间、内积空间(已有线性结构)
(植物>水果>热带水果>甜的热带水果)
详细推荐看:上交函数空间公开课