实变函数与泛函数分析学习笔记（三）：有界线性算子

导语：现代数学入门的钥匙就是实变函数与泛函数分析。数学，物理学，计算机学科，神经生物学相互交叉构成了AI的基础。深入研究AI，尤其是神经规则推理以及下一代AI技术，必须修炼好内功。非数学专业的学生，可能学过傅立叶变换，方向导数与梯度这些。但是对这些概念的理解还需要继续深入，除了泛函数分析，与此相关的还有凸优化，矩阵论，这些都是必修的内功。关于数据结构，要达到能够独立设计优秀的数据结构的程度，不仅限于使用现成的工具（本人有优先级队列设计的博客：https://blog.csdn.net/randy_01/article/details/82835837）。可以业余研究一下类脑学科，心理学，为AI的理论创新打下基础。关于当前的AI以及nlp的看法，欢迎看本人的这篇博客，不吝赐教：https://blog.csdn.net/randy_01/article/details/82837263

总述：内积空间中的内积可以定义范数，反之，范数不一定非要内积来定义，所以说赋范线性空间是比内积空间更广泛的概念。距离可以用范数定义，反之，只有距离满足平移不变和齐次性才能定义一个范数，因此度量空间比赋范线性空间广泛。Banach空间是完备的赋范线性空间。Hilbert空间是完备的内积空间。所以Hilbert空间是Banach空间的特例，Banach空间是完备距离空间的特例。在数学里，尤其是在泛函分析之中，巴拿赫空间是一个完备赋范向量空间。更精确地说，巴拿赫空间是一个具有范数并对此范数完备的向量空间。Lp空间是由p次可积函数组成的空间；对应的lp空间是由 p次可和序列组成的空间。在泛函分析和拓扑向量空间中，他们构成了Banach空间一类重要的例子。

首先看一下泛函和算子的区别：

算子有很多形式，比如把平面上的点旋转，连续傅立叶变换等等。在泛函数分析中通常把映照成为算子，而取值于实数域或者复数域的算子叫做泛函。本文主要探讨赋范线性空间上的算子。

 举一个在《矩阵论》中的例子：

 

 

 这个例子和本人之前的“矩阵论学习心得”里讲述的如出一辙。链接：https://blog.csdn.net/randy_01/article/details/80616681

现在引入与线性泛函有关的一些几何概念：

设X是线性空间，f是X上的线性泛函，如果f不是零泛函(即f0),那么对任何实数(或复数，视X空间为实或复空间而定)c，称X的子集

 为X的一个超平面，超平面的方程为f(x) = c。特别当c=0时，Lc(f)成为X的线性子空间，称为范函f的零空间。

 

 上面的论述有些抽象，下面本人进行更为简洁地解读，毕竟夏道行的这本书是针对数学专业的人。之前本人读过翻译版的《凸优化》，下面结合里面的知识解释一下：

 

 

 

 

 

 Banach空间是完备的赋范线性空间，现证明如下：

 

下面看看乘积算子的有界性：