泛函学习1
看了不少paper,发现自己常常有一些点子,但是很难用我想要表达的数学语言表达出来,所以这学期开始时候我看了一波凸优化的书。但是发现里面的很多概念我都是知其然不知其所以然,仔细思考发现,我没有深刻理解空间的概念。越看paper我越发现许多方法最终其实都归结于优化问题。而做优化发现没有泛函的基础感觉看得非常模糊。所以打算补一波泛函的知识。用的书的话就是欧文·克雷思齐格的应用泛函分析。这部书不是很难,比较适合我这种非数的人。
空间
空间这个概念我理解是集合概念的推广。在集合定义的基础上,定义了集合中元素的运算,于是就定义出了空间。因此我理解空间就是集合+运算。看到目前为止我接触到的空间有这几个
- 度量空间:
这是书中介绍的第一个空间。是在集合的基础上定义了距离这一概念
d ( x , y ) d(x,y) d(x,y)
距离需要满足以下四个条件
0 ≤ d ( x , y ) d ( x , y ) = d ( y , x ) d ( x , y ) = 0 当 且 仅 当 x = y d ( x , z ) ≤ d ( x , y ) + d ( y , z ) 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) 0≤d(x,y)d(x,y)=d(y,x)d(x,y)=0当且仅当x=yd(x,z)≤d(x,y)+d(y,z)
满足以上四个条件的泛函就可以称为距离函数,定义了距离的空间成为度量空间。 - 矢量空间
矢量空间是在向量集合中定义了两个运算:矢量加法以及矢量的标量乘法。同时加法满足加法交换律,结合律,标量乘法满足交换律,结合律,分配律,即
x + y = y + x x + y + z = x + ( y + z ) a x = x a a b x = ( a b ) x a ( x + y ) = a x + a y \bold x+\bold y=\bold y + \bold x \\ \bold x+ \bold y+ \bold z=\bold x+ (\bold y + \bold z) \\ a\bold x = \bold x a \\ ab\bold x=(ab)\bold x \\ a(\bold x + \bold y)=a\bold x+ a \bold y x+y=y+xx+y+z=x+(y+z)ax=xaabx=(ab)xa(x+y)=ax+ay - 赋范空间,巴拿赫空间
赋范空间是指定义了范数的空间,巴拿赫空间是完备化的赋范空间。范数的定义为满足以下四个条件的泛函定义为范数
∣ ∣ x ∣ ∣ ≥ 0 ∣ ∣ a x ∣ ∣ = ∣ a ∣ ∣ ∣ x ∣ ∣ ∣ ∣ x ∣ ∣ = 0 ⇔ x = 0 ∣ ∣ x ∣ ∣ + ∣ ∣ y ∣ ∣ ≥ ∣ ∣ x + y ∣ ∣ ||\bold x||\ge 0 \\ ||a\bold x||=|a|||\bold x|| \\ ||\bold x||=0\Leftrightarrow \bold x=0 \\ ||\bold x||+||\bold y||\ge ||\bold x+\bold y|| ∣∣x∣∣≥0∣∣ax∣∣=∣a∣∣∣x∣∣∣∣x∣∣=0⇔x=0∣∣x∣∣+∣∣y∣∣≥∣∣x+y∣∣
泛函
泛函是函数含义的拓展。函数的自变量只能是数或向量,而泛函的自变量可以是一个函数。因此泛函都是在空间的意义上讨论的。这个空间可以是度量空间,矢量空间和赋范空间。例如
L
P
2
L_{P}^{2}
LP2范数的定义就是
∣
∣
f
(
x
)
∣
∣
p
2
=
(
∫
a
b
f
(
x
)
2
d
x
)
1
/
2
||f(x)||_{p2}=\left( {\int_{a}^{b}f(x)^2dx} \right )^{1/2}
∣∣f(x)∣∣p2=(∫abf(x)2dx)1/2
常用的空间
- 零空间
N
(
T
)
\mathcal N(T)
N(T)
零空间的定义为
{ x ∈ D ( T ) ∣ T x = 0 } \{ x\in \mathcal D(T)|Tx=0\} {x∈D(T)∣Tx=0} - 连续实值函数空间 C [ a , b ] \mathcal C[a,b] C[a,b]
-
l
p
\mathcal l^{p}
lp空间
l p l^{p} lp是无穷维赋范向量空间,其范数定义为
∣ ∣ x ∣ ∣ l p = ( ∑ i = 1 ∞ ( x i ) p ) 1 / p ||\bold x||_{lp}=\left( \sum_{i=1}^{\infty}(x_{i})^p\right)^{1/p} ∣∣x∣∣lp=(i=1∑∞(xi)p)1/p -
L
p
\mathcal L^{p}
Lp空间
L p \mathcal L^{p} Lp空间为赋范函数空间,其范数定义为
∣ ∣ f ( x ) ∣ ∣ L p = ( ∫ a b f ( x ) p d x ) 1 / p ||f(x)||_{\mathcal L^{p}}= \left( \int_{a}^{b}f(x)^{p}dx \right)^{1/p} ∣∣f(x)∣∣Lp=(∫abf(x)pdx)1/p
有空再写点