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

Hahn-Banach定理 (5-4)

|g(x)|≤p(x),x∈X.

证明. 若 X 为实线性空间, 由于半范数是次线性泛函, 因此根据实线性空间的Hahn-Banach定理, 存在 g∈X*,g|Z=f 使得

g(x)≤p(x),x∈X.

根据半范数的性质(3)可知

−g(x)=g(−x)≤p(−x)=p(x),

因此 |g(x)|≤p(x).

若$X$为复线性空间, 则根据上一引理有

f(x)=Ref(x)−iRef(ix).

于是

Ref(x)≤|f(x)|≤p(x),x∈Z.

由上一引理我们知道 f∈Zℝ*, 因此存在 g₁∈Xℝ* 满足 g₁|z=Ref 使得

g₁(x)≤p(x),x∈X.

令 g(x)=g₁(x)−ig1(ix),那么 g∈X* 并且容易验证 g|z=f. 此外, 对于任意 x∈X,存在 θ∈[0,2π) 使得 g(x)=|g(x)|eⁱθ, 于是

|g(x)|=g(x)e−ⁱθ=g(e−ⁱθx)=g₁(e−ⁱθx)≤p(e−ⁱθx)=p(x).

这就完成了定理的证明.

定理5(Hahn-Banach定理, 赋范空间). 设 X 为赋范空间, Z 为 X 的线性子空间, f∈Z′ . 则存在 g∈X′,g|z=f,且 ‖g‖=‖f‖.

证明. 容易验证 x↦‖f‖‖x‖ 满足半范数的条件, 因此根据上一定理, 存在 g∈X* 使得 g|z=f 并且

|g(x)|≤‖f‖‖x‖,x∈X.

于是 g∈X′ 并且 ‖g‖≤‖f‖. 另一方面, 存在 xₙ∈Z 满足 ‖xₙ‖=1 使得

limₙ→∞|gxₙ|=limₙ→∞|fxₙ|=‖f‖,

因此 ‖g‖≥‖f‖. 这就证明了 ‖g‖=‖f‖.

定理6(Hahn-Banach). 设 X 为赋范空间, x₀∈X,x₀≠0. 则存在 f∈X′ 满足 ‖f‖=1 使得 f(x₀)=‖x₀‖.

证明.令 Z=Span{x₀} 并定义函数 g:Z → ℝ 为

λx₀↦‖λx₀‖,λ∈K,

则 g 显然为 X 的线性子空间 Z 上的有界线性泛函并且 ‖g‖=1, 此外 g(x₀)=‖x₀‖. 于是, 根据上一定理, 存在 f∈X′ 满足 ‖f‖=1 使得 f(x₀)=‖x₀‖ .

定理6说明若 X 为非零赋范空间, 则 X′≠{0}. 进一步地, 任取 x,y∈X,x≠y,则 x−y≠0,由定理6, 存在 f∈X′,‖f‖=1,且 f(x−y)=‖x−y‖≠0, 因此 f(x)≠f(y). 即 X′ 中的元素可以分离 X 中的元素. 换句话说,若 x₀∈X,则 x₀=0 当且仅当任取 f∈X′, 有 f(x₀)=0. 这一判据经常用来验证赋范空间中某个元素为零元素.

推论7. 设 X 为非零赋范空间,x₀∈X. 则

‖x₀‖=maxf∈X′,f≠0|f(x₀)|

───

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

相关小说

黑化合集:玩的就是刺激 连载中
黑化合集:玩的就是刺激
夜沐.
原创作品:黑化故事,强制……爱作者独爱海棠花,花开得胜,甚是喜爱,灵感写文。
13.6万字9个月前
一个誓言走一世 连载中
一个誓言走一世
情终须缘
复合√回家√蝶眸殉情黑化……(反正不虐,很甜)一笑倾国,再笑倾城。
10.1万字9个月前
快穿之恶女攻略 连载中
快穿之恶女攻略
许青山
一切在活命面前都不值一提。心机女主,有点脑的苏文在花音生命即将结束时遇见一个名为系统的东西,从此便开始了她温柔(婊气)的攻略之旅。她是最温柔......
20.2万字9个月前
幻境(作者:紫魅掠影) 连载中
幻境(作者:紫魅掠影)
紫魅掠影
脑洞提供者ID:72102281传说九重天上屹立着一座上古山峰,千年不倒,风吹日晒不损分毫。山上有一奇人,擅长幻境。凡入山者皆入幻,醒时皆是......
30.6万字9个月前
宠爱入骨-d625 连载中
宠爱入骨-d625
柠香果
一次莫名其妙的穿越~成为这个世界最厉害、最聪明、最俊俏的他的唯一的徒弟!他宠爱过度~神尊……苏无忧又欺负师弟们啦!“欺负就欺负了,死不了就行......
4.7万字9个月前
我在天庭当混混 连载中
我在天庭当混混
沐子矜
三世情缘,世世错落。人仙魔又如何,还不是与你无缘。情缘错落,转身终是陌路。(先甜后虐,喜欢的收藏)跪求收藏,跪求会员
6.1万字9个月前