数学联邦政治世界观
超小超大

Hahn-Banach定理 (5-1)

Hahn-Banach定理是泛函分析四大定理之一, 本文将给出Hahn-Banach定理及其证明, 包括实线性空间的Hahn-Banach定理、一般线性空间的Hahn-Banach定理以及赋范线性空间的Hahn-Banach定理, 同时还将给出一些有用的推论.

为了对Hahn-Banach定理有一个更直观的认识, 我们首先介绍一个与Hahn-Banach定理密切相关的定理, 即超平面分离定理. 它具有非常直观的几何意义, 同时也能使我们了解后文中次线性泛函提出的动机.

定理1(超平面分离定理). 设 K⊂ℝᵈ 是一个凸的开集, υ₀∉K, 那么 K 和 υ₀ 可以由一个超平面分开, 即存在非零线性泛函 ℓ:ℝᵈ→ℝ 使得

ℓ(υ₀)≥α,并且 ℓ(υ)<α,υ∈K.

证明. 不妨设 K 非空, 并且可以假设 0∈K (这可能需要平移 K 和 υ₀). 构造的关键在于与 K 相关的Minkowski规范函数 p,它量度从原点出发沿 υ 的方向需要走多远(的逆)才能离开 K. 它的准确定义如下:

p(υ)=infᵣ>₀{r:υ/r∈K}.

非负函数 p 完全刻画了 k, 即

p(υ)<1当且仅当υ∈K. (1)

事实上, 若 υ∈K, 则 υ/(1−ε)∈K 对某个 ϵ>0 成立, 因为 K 是开集. 反过来, 若 p(υ)<1,则 υ=(1−ε)υ′ 对某个 0<ϵ<1 以及 υ′∈K 成立. 然后由 υ=(1−ϵ)υ′+ϵ • 0 得到 υ∈K,因为 0∈K 并且 K 是凸集.

此外, p 具有一个重要的次线性性质, 即

{p(αυ)=αp(υ),若α≥0且υ∈ℝᵈ,

{p(υ₁+υ₂)≤p(υ₁)+p(υ₂),若υ₁和υ₂∈ℝᵈ.

(2)

为证(2), 我们只需注意 K 是一个凸集, 因此只要 υ₁/r₁ 和 υ₂/r₂ 都属于 K,那么 (υ₁+υ₂)/(r₁+r₂) 也属于 K

现在, 只要我们能够找到一个线性泛函 ℓ 使得

ℓ(υ₀)=1,并且ℓ(υ)≤p(υ),υ∈ ℝᵈ

(3)

就完成了定理的证明. 这是因为, 根据(1)有 ℓ(υ)<1 对所有 υ∈K 成立. 我们逐步地构造 ℓ 如下.

首先, 对于由 υ₀ 张成的一维子空间 V₀={ℝυ₀} 这样的线性泛函已然存在. 因为当 b∈ℝ 时, ℓ(bυ₀)=bℓ(υ₀)=b,并且这与(3)相容. 事实上, 根据(1)和(2), 当 b≥0 时 p(bυ₀)=bp(υ₀)≥bl(υ₀)=ℓ(bυ₀),而当 b<0 时(3)显然成立.

下一步, 任选一个与 υ₀ 线性无关的向量 υ₁ 并将 ℓ 延拓到 υ₀ 和 υ₁ 张成的子空间 V₁ . 为此我们只需为 ℓ(υ₁) 选定一个值, 以使(3)对所有 υ∈V₁ 成立即可. 注意到, 对于任意 υ∈V₁, 要么存在 ω∈V₀ 以及 λ ≥ 0 使得 υ=ω+λυ₁, 要么存在 ω′∈V₀ 以及 λ′ ≥ 0 使得 υ=ω′−λ′υ₁. 因此, 我们只需为 ℓ(υ₁) 选定一个值使得

ℓ(ω+λυ₁)≤p(ω+λυ₁)ℓ(ω′−λ′υ₁)≤p(ω′−λ′υ₁)

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

幻实志忆 连载中
幻实志忆
无彩灰
实验品,主线簪不透露,只二字“轮回”
2.5万字5个月前
花程恋之刺客桃花 连载中
花程恋之刺客桃花
长眠清风
总有一天你会违背本心,人心都是善变的。———离有时候你不能只相信自己看到的,事实总会颠覆你的想象。———月无双世上没有后悔药,自己做的错事,......
5.8万字5个月前
山海吃货联萌 连载中
山海吃货联萌
映双双
【皮卡丘文社】新书《岌岌扶唧唧》求眼熟~吃了吗?吃饱了吗?下顿想吃什么?想美容养颜还是延年益寿?或者,过目不忘?来吃饭吧!山河海私房菜欢迎您......
18.9万字5个月前
赵泳鑫:初见乍惊欢 连载中
赵泳鑫:初见乍惊欢
七城慕瑾
虚拟故事!讲述了我(林青浔)和赵泳鑫的故事Rid-rit女团门面,忙内:林安雨队长,ace:林青浔主唱:安培贤主舞:萧佳霖
4.5万字5个月前
我又踩了我老婆的雷区 连载中
我又踩了我老婆的雷区
嘟嘟嘟吨
架空末世背景,文笔较幼稚,虽然写了末世背景,但笔力有限无法建立宏大合理的框架、背景、逻辑,根本上还是为了狗血,感情线还是主线,感情故事也是最......
17.9万字5个月前
杀手学园喜复仇记 连载中
杀手学园喜复仇记
小希月儿
就不写!(ꐦÒ‸Ó)我个老六
0.5万字5个月前