泛函学习1

泛函学习1

看了不少paper，发现自己常常有一些点子，但是很难用我想要表达的数学语言表达出来，所以这学期开始时候我看了一波凸优化的书。但是发现里面的很多概念我都是知其然不知其所以然，仔细思考发现，我没有深刻理解空间的概念。越看paper我越发现许多方法最终其实都归结于优化问题。而做优化发现没有泛函的基础感觉看得非常模糊。所以打算补一波泛函的知识。用的书的话就是欧文·克雷思齐格的应用泛函分析。这部书不是很难，比较适合我这种非数的人。

空间

空间这个概念我理解是集合概念的推广。在集合定义的基础上，定义了集合中元素的运算，于是就定义出了空间。因此我理解空间就是集合+运算。看到目前为止我接触到的空间有这几个

1. 度量空间：
   这是书中介绍的第一个空间。是在集合的基础上定义了距离这一概念
   $$d(x,y)$$
   距离需要满足以下四个条件
   $$\begin{gathered} 0\le d(x,y) \\ d(x,y)=d(y,x) \\ d(x,y)=0当且仅当x=y \\ d(x,z)\le d(x,y)+d(y,z) \end{gathered}$$
   满足以上四个条件的泛函就可以称为距离函数，定义了距离的空间成为度量空间。
2. 矢量空间
   矢量空间是在向量集合中定义了两个运算：矢量加法以及矢量的标量乘法。同时加法满足加法交换律，结合律，标量乘法满足交换律，结合律，分配律，即
   $$\begin{gathered} \mathbf{x}+\mathbf{y}=\mathbf{y}+\mathbf{x} \\ \mathbf{x}+\mathbf{y}+\mathbf{z}=\mathbf{x}+(\mathbf{y}+\mathbf{z}) \\ a\mathbf{x}=\mathbf{x}a \\ ab\mathbf{x}=(ab)\mathbf{x} \\ a(\mathbf{x}+\mathbf{y})=a\mathbf{x}+a\mathbf{y} \end{gathered}$$
3. 赋范空间，巴拿赫空间
   赋范空间是指定义了范数的空间，巴拿赫空间是完备化的赋范空间。范数的定义为满足以下四个条件的泛函定义为范数
   $$\begin{gathered} ||\mathbf{x}||\ge 0 \\ ||a\mathbf{x}||=|a|||\mathbf{x}|| \\ ||\mathbf{x}||=0\iff \mathbf{x}=0 \\ ||\mathbf{x}||+||\mathbf{y}||\ge ||\mathbf{x}+\mathbf{y}|| \end{gathered}$$

泛函

泛函是函数含义的拓展。函数的自变量只能是数或向量，而泛函的自变量可以是一个函数。因此泛函都是在空间的意义上讨论的。这个空间可以是度量空间，矢量空间和赋范空间。例如$L_P^2$范数的定义就是
$$||f(x)|{|}_{p2}={\left({\int }_a^{b}f(x{)}^{2}dx\right)}^{1/2}$$

常用的空间

1. 零空间$\mathcal{N}(T)$
   零空间的定义为
   { x ∈ D ( T ) ∣ T x = 0 } \{ x\in \mathcal D(T)|Tx=0\} {x∈D(T)∣Tx=0}
2. 连续实值函数空间$\mathcal{C}[a,b]$
3. $l^p$空间
   $l^p$是无穷维赋范向量空间，其范数定义为
   $$||\mathbf{x}|{|}_{lp}={\left(\sum _{i=1}^{\infty }(x_i{)}^p\right)}^{1/p}$$
4. ${\mathcal{L}}^p$空间
   ${\mathcal{L}}^p$空间为赋范函数空间，其范数定义为
   $$||f(x)|{|}_{{\mathcal{L}}^p}={\left({\int }_a^{b}f(x{)}^{p}dx\right)}^{1/p}$$
   有空再写点