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

Baire范畴定理 (10-9)

B₁ 是Banach空间. 假设 T 是满射, 那么若我们将 T 看成是从

B₁ 到 B₂ 的映射,则 T 满足推论(12)的条件, 因此 T 的逆映射 T⁻¹:B₂

→ B₁ 是连续的,这又意味着 T⁻¹:B₂ → B₁ 是连续的. 这样的话我们可以证明 L¹-范数和 sup-范数是等价的,但这是不可能的,因为 B₁ 不是完备的而

B₁ 是完备的,矛盾.

4. 闭图像定理

定义4. 设 X,Y 为赋范空间,T:X → Y 为线性算子. 如果 T 的图像

Gᴛ={(x,Tx)∈X × Y:x∈X}

在 X × Y 中为闭集, 则称 T 为闭算子.

定理15 (闭图像定理). 设 X,Y 为Banach空间. 若 T:X → Y 为闭线性算子,则 T 是有界的.

证明. 对空间 X × Y 赋予范数 ‖(x,y)‖x×ʏ=‖x‖x+‖y‖ʏ,那么容易证明 X × Y 是Banach空间. 由于 Gᴛ 是它的闭子集, 因此也是Banach空间. 考虑投影 Px:G(T) → X,(x,Tx)↦x 和 Pʏ:G(T) → Y,(x,Tx)↦Tx,易证它们都是有界线性算子. 此外 Px 是满射, 因此根据推论(12), 它的逆 P⁻¹x 是有界线性算子. 由于 T=Pʏ◦P⁻¹x,因此 T 是有界的.

4.1. 关于 Lᵖ 的闭子空间的Grothendieck定理

定理16. 设 (X,F,μ) 是一个有限测度空间,即 μ(X)<∞. 假设

(i) E 是 Lᵖ(X,μ) 的闭子空间,其中 1 ≤ p<∞,并且

(ii) E 包含于 L∞(X,μ) 中.

则 E 是有限维的.

证明. 由于 E∈L∞ 并且 X 具有有限测度, 我们发现 E⊂L² 并且

‖f‖ʟ² ≤ C‖f‖ʟ∞,∀f∈E.

定理证明的关键在于反向不等式的证明, 然后利用 L² 的Hilbert空间结构.

赋予 Lᵖ-范数后 E 构成一个Banach空间, 因为它是 Lᵖ(X,μ) 的闭子空间. 令

I:E↦L∞(X,μ)

表示恒等映射 I(f)=f. 那么 E 是线性的并且是闭的. 事实上, 假设在 E 中 fₙ → f 以及在 L∞ 中 fₙ → g. 那么存在 {fₙ} 的子列几乎处处收敛到 f,因此 f=g 几乎处处成立, 如所求. 根据闭图像定理, 存在 M>0 使得

‖f‖ʟ∞ ≤ M‖f‖ʟᵖ,∀f∈E. (5)

引理17. 在定理的条件下, 存在 A>0 使得

‖f‖ʟ∞ ≤ A‖f‖ʟ²,∀f∈E.

证明. 若 1 ≤ p ≤ 2,则Hölder不等式带共轭指数 r=2/p 和 r*=2/(2 – p) 产生

2–p

∫|f|ᵖ ≤ (∫|f|²)ᵖ/²(∫1) ──.

2

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

相关小说

仙人又来秀操作了 连载中
仙人又来秀操作了
快过期的可爱多
好消息:慕清重生了坏消息:慕清重生成了死对头的亲女儿。前世慕清可是一大修仙派系女掌门。刚徒承师业,想打这打那时,师弟师妹竟然都跑了??不是?......
6.8万字9个月前
时光之轮(织梦者) 连载中
时光之轮(织梦者)
幽梦云笺
新书9个月前
无限流:神明已死 连载中
无限流:神明已死
剁椒蒸鱼头
【冷漠无情穷原竟委“杠精”型大佬&啖以甘言萝莉控心机girl】[我的骨骼是为你的存在而构建]【原创无限流,bg,1V1双洁,强强】又名《噩梦......
22.6万字9个月前
凤归引 连载中
凤归引
半山色
异世之魂,一朝穿越成废物,却不想身负上古真凰血脉,一次机遇,一场涅槃,从此废材变天才冥冥中自有定数,是穿越还是归来,是不幸还是宿命凤归引——......
2.2万字9个月前
便宜师尊居然是大佬 连载中
便宜师尊居然是大佬
析鹭
成为道派大长老要钱有钱要武有武。实力雄厚就是刹血门的顶梁柱。就因某天不小心醒来获得成就系统,从此开启传奇一生。(当然这些都是后话)  城府这......
13.5万字9个月前
穿越,黑色曼陀罗 连载中
穿越,黑色曼陀罗
筅歌
黑暗中的一束光,严寒中的一把火,冷漠中的一道温柔,都是感化人心的重要点……你愿意为你喜欢的人,放弃现在的一切,用时空之门,来到他(她)的身边......
5.7万字9个月前