![3a50d7e65c1ed701c95b5dbbad760a78.png](https://i-blog.csdnimg.cn/blog_migrate/118c794eadff1a336b73e39c5a407c27.jpeg)
泛函分析可以说是“无限维空间上的分析学”,更特殊一些则是“巴拿赫空间上的分析学”,由此可见巴拿赫空间对于泛函分析的重大意义,这就像欧几里得空间在古典数学分析中的地位一样。下面我们来重点介绍这样的空间。
观察我们在前面几次笔记里关于距离空间的例子,它们并不是只有距离这样的结构,比如欧几里得空间,它不仅有距离,还有加法数乘这样的运算,我们在研究一些线性或者非线性问题中非常需要这样的结构。因此引入线性空间并在线性空间中引进适当的收敛就显得尤为必要。
有关线性空间(向量空间)的概念在任何一本线性代数教材中都有涉及,这里我们略过不提,单刀直入了解赋范线性空间:
1、赋范线性空间:
定义1: 设E是实(或复)线性空间,若对于E中每个元素x,都有一个实数
(i)
(ii)
(iii)(三角不等式)
则称E为实(或复)赋范线性空间,
给出了范数的概念后,我们自然联想到范数与距离之间的关系:
对于赋范线性空间E,我们用下面的等式
定义元素x与y之间的距离。容易证明该距离确实满足距离公理。
由此我们按照上述距离可以给出赋范线性空间中点列的收敛:所谓E中点列
此时我们称