泛函分析笔记(十五) Hahn-Banach 定理、闭值域定理

泛函分析笔记(十五) Hahn-Banach 定理、闭值域定理文章目录1.Hahn-Banach定理1.1.几何形式的Hahn-Banach定理:凸集的分离2.Banach闭值域定理1.Hahn-Banach定理实向量空间中:X是实向量空间,p是X上的次线性泛函,即一个满足$p

1. Hahn-Banach 定理

实向量空间中: X是实向量空间,p是X上的 次线性泛函 ,即一个满足 $p(\alpha x) = \alpha p(x) \forall a>0,\forall x\in X;p(x+y) \le p(x)+p(y),\forall x,y\in X $ (就是叠加的部分变成小于等于了,所以次了)的函数 p : X → R p:X\to \mathbb{R} p:XR
设Y是X的子空间, l : Y → R l:Y\to\mathbb{R} l:YR 是Y上的线性泛函,它满足
l ( y ) ≤ p ( y ) , ∀ y ∈ Y l(y)\le p(y),\forall y\in Y l(y)p(y),yY
则存在线性泛函 l ~ : X → R \tilde{l}:X\to \mathbb{R} l~:XR 满足
∀ y ∈ Y , l ~ ( t ) = l ( t ) , ∀ x ∈ X , l ~ ( x ) ≤ p ( x ) \forall y\in Y,\tilde{l}(t) =l(t) , \forall x\in X, \tilde{l}(x)\le p(x) yY,l~(t)=l(t),xX,l~(x)p(x)

赋范向量空间中: X是赋范向量空间,Y是X的子空间,设 l : Y → K l:Y\to \mathbb K l:YK 是连续线性泛函。
则存在一个连续线性泛函 l ~ : X → K \tilde{l}:X\to \mathbb{K} l~:XK 满足 l ~ ( y ) = l ( y ) , ∀ y ∈ Y 且 ∣ ∣ l ~ ∣ ∣ X ′ = ∣ ∣ l ∣ ∣ Y ′ \tilde{l}(y) = l(y),\forall y\in Y 且 ||\tilde{l}||_{X’}=||l||_{Y’} l~(y)=l(y),yYl~X=lY

emmm这个变成范数相等了。

Taylor-Foguel 定理: X是赋范向量空间,则所有定义在X子空间上的连续线性泛函有到X上的唯一保范延拓,其充分必要条件是X的对偶空间 X’是严格凸的。

(知乎这个大佬的对偶空间讲的好形象啊!
怎么形象地理解对偶空间(Dual Vector Space)? – 马同学的回答 – 知乎
https://www.zhihu.com/question/38464481/answer/235672121)

Bishop-Phelps 定理: X是实Banach空间,设
Y ′ : = { x ′ ∈ X ′ ; ∃ x 0 , ∣ ∣ x 0 ∣ ∣ = 1 且 s u p ∣ ∣ x ∣ ∣ = 1 ∣ x ′ ( ) x ∣ = ∣ ∣ x ′ ( x 0 ) } Y’:=\{x’\in X’;\exists x_0,||x_0||=1 且 sup_{||x||=1}|x'()x|=||x'(x_0)\} Y:={
x
X;x0,x0=1supx=1x()x=x(x0)}

则Y’在X’中稠密

(复习一下稠密:

  • 如果一个集合与一个元素属于的任意一个开集的交集都非空,那么我们称这个集合对于该元素稠密。
  • 如果一个集合是一个空间的子集且对于该空间的任意元素都稠密,那么我们称这个集合在这个空间中稠密。)

1.1. 几何形式的Hahn-Banach定理:凸集的分离

在实赋范向量空间X中,非零线性连续泛函 l : X → R l:X\to \mathbb{R} l:XR 以及一个 γ ∈ R \gamma\in R γR 集合
{ x ∈ X ; l ( x ) = γ } \{x\in X;l(x)=\gamma\} {
x
X;l(x)=γ}

称作闭仿射超平面,而集合 { x ∈ X ; l ( x ) ≥ γ } \{x\in X;l(x)\ge \gamma\} {
x
X;l(x)γ}
是闭半空间, { x ∈ X ; l ( r ) > γ } \{x\in X;l(r)>\gamma\} {
x
X;l(r)>γ}
是开半空间。

X中有A、B两集合,如果存在一个非0的 l ∈ X ′ l\in X’ lX γ ∈ R \gamma\in\mathbb{R} γR 使得
A ⊂ { x ∈ X , l ( x ) ≤ γ } , B ⊂ { y ∈ X ; γ ≤ l ( y ) } A\subset \{x\in X,l(x)\le \gamma\},B\subset \{y\in X;\gamma\le l(y)\} A{
x
X,l(x)γ},B{
y
X;γl(y)}

即它们被包含在两个闭半空间内,其交集是闭仿射超平面 { y ∈ X ; l ( y ) = γ } \{y\in X;l(y)=\gamma\} {
y
X;l(y)=γ}

这是集合A和集合B被超平面分离。

在这里插入图片描述

凸集的分离: 设A和B是实赋范向量空间X的两个非空子集,满足 A 是 开 凸 集 , B 是 凸 集 ; A ∩ B = ∅ A是开凸集,B是凸集; A\cap B = \emptyset ABAB= 那么存在非零的 l ∈ X ′ , y ∈ R l\in X’,y\in\mathbb{R} lX,yR 使得 l ( x ) ≤ γ ≤ l ( y ) , ∀ x ∈ A , y ∈ B l(x)\le \gamma \le l(y),\forall x\in A,y\in B l(x)γl(y),xA,yB

所有就是说如果两个集合的交集是空集,那么就能找到一个非0的连续泛函使其映射结果不相交。

如果是复向量空间,则存在非零的 l ∈ X ′ , γ ∈ R l\in X’,\gamma\in R lX,γR 使得 R e   l ( x ) < γ ≤ R e   l ( y ) Re ~l(x)<\gamma\le Re~l(y) Re l(x)<γRe l(y)

凸集的严格分离: 若A与K是实赋范向量空间X的两个非空子集,满足 A是凸集且是闭集,K是凸集且是紧集,二者交集为空集 ,那么一定存在非零的 l ∈ X ′ , γ ∈ R , δ > 0 l\in X’,\gamma\in R,\delta >0 lX,γR,δ>0 使得
l ( x ) ≤ γ − δ < γ + δ < l ( y ) l(x)\le \gamma-\delta <\gamma+\delta <l(y) l(x)γδ<γ+δ<l(y)

依然是分离,而且不能取到恰好等于 γ \gamma γ

如果是复向量空间,则存在非零的 l ∈ X ′ , γ ∈ R , δ > 0 l\in X’,\gamma\in R, \delta >0 lX,γR,δ>0 使得
R e   l ( x ) ≤ γ − δ < γ + δ ≤ R e   l ( y ) Re~l(x)\le \gamma-\delta<\gamma +\delta \le Re~l(y) Re l(x)γδ<γ+δRe l(y)

2. Banach 闭值域定理

对偶算子: X和Y是同一数域上的两个赋范向量空间,给定任意算子 A ∈ L ( X ; Y ) A\in\mathcal{L}(X;Y) AL(X;Y) ,存在唯一的算子 A ′ ∈ L ( Y ′ ; X ′ ) A’\in \mathcal{L}(Y’;X’) AL(Y;X) ,称为A的对偶算子或者简称A的对偶,使得
A ′ y ′ ( x ) = y ′ ( A x ) A’y'(x) = y'(Ax) Ay(x)=y(Ax)
∣ ∣ A ′ ∣ ∣ L ( Y ′ ; X ′ ) = ∣ ∣ A ∣ ∣ L ( X ; Y ) ||A’||_{\mathcal{L}(Y’;X’)} = ||A||_{\mathcal{L}(X;Y)} AL(Y;X)=AL(X;Y)

如果一个算子是紧的,那么它的对偶算子也是紧的。

Banach 闭值域定理:

  1. 设X与Y是同一数域上的Banach空集, A ∈ L ( X ; Y ) A\in\mathcal{L}(X;Y) AL(X;Y) 则以下条件等价
    • 算子 A : X → Y A:X\to Y A:XY 有闭值域,即 Im A 是Y中的闭集
    • 对偶算子 A ′ : Y ′ → X ′ A’:Y’\to X’ A:YX 有闭值域,即 I m A ′ Im A’ ImA 是X’中的闭集。
  2. X和Y是在同一数域上的Banach空集, A ∈ L ( X ; Y ) A\in\mathcal{L}(X;Y) AL(X;Y) 则以下条件等价
    • 算子 A : X → Y A:X\to Y A:XY 是漫射,即 Im A=Y
    • 存在常数C使得对偶算子 A ′ : Y ′ → X ′ A’:Y’\to X’ A:YX 满足 ∣ ∣ y ′ ∣ ∣ ≤ C ∣ ∣ A ′ y ′ ∣ ∣ ||y’||\le C||A’y’|| yCAy
    • 对偶算子 A’ 是单射且 Im A’在X’中是闭合的。

今天的文章泛函分析笔记(十五) Hahn-Banach 定理、闭值域定理分享到此就结束了,感谢您的阅读。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/64142.html

(0)
编程小号编程小号

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注