闭值域定理相关的小结论

设 $X$ , $Y$ 是 $\mathbb{K}$ ( ${\mathbb{R}}$ 或 $\mathbb{C}$ )上的Banach空间, $B(X,Y)$ 是 $X$ 到 $Y$ 的所有有界线性算子之集.

命题1. 设 $T\in B(X,Y)$ . 则
(1) $\ker T\perp\operatorname{im}T^*$ ;
(2) $\ker T^*\perp\operatorname{im}T$ .
证明. 直接验证即可. $\blacksquare$

推论2. 上面的命题直接告诉我们:
(1) $\ker T\subset\ ^\perp(\operatorname{im}T^*)$ , $\operatorname{im}T^*\subset(\ker T)^\perp$ ;
(2) $\ker T^*\subset(\operatorname{im}T)^\perp$ , $\operatorname{im}T\subset\ ^\perp(\ker T^*)$ .

自然, 我们希望上面的所有包含号实际上都是等号. 但是首先一个问题是, $T$ 和 $T^*$ 的值域不一定是闭的; 而对任何集合 $A\subset X$ , $A^\perp$ 总是闭的, 对任何 $B\subset X^*$ , $^\perp B$ 也总是闭的. 所以我们退一步, 希望

$\ker T=\ ^\perp(\operatorname{im}T^*)$ , $\overline{\operatorname{im}T^*}=(\ker T)^\perp$ ;
$\ker T^*=(\operatorname{im}T)^\perp$ , $\overline{\operatorname{im}T}=\ ^\perp(\ker T^*)$ .

这看起来有点不太好记/不美观, 因为有的加了闭包, 有的没有加. 不过我们可以注意到一件事:

命题3. (1)设 $M$ 是 $X$ 的子空间, 则 $M^\perp=\overline M^\perp$ ;
(2)设 $M$ 是 $X^*$ 的子空间, 则 $^\perp M=\ ^\perp\overline M$ .
证明. (1)由于 $M\subset\overline M$ , 有 $M^\perp\supset\overline M^\perp$ . 但是任何在 $M$ 上为零的连续线性泛函也在 $\overline M$ 上为零, 故 $M^\perp\subset\overline M^\perp$ .
(2)由于 $M\subset\overline M$ , 有 $^\perp M\supset\ ^\perp\overline M$ . 另一方面把 $X$ 中的元素看作 $X^*$ 的连续线性泛函, 和上面一样的论证即可得到 $^\perp M\subset\ ^\perp\overline M$ . $\blacksquare$

这告诉我们, 写 $\ker T=\ ^\perp(\operatorname{im}T^*)$ , $\ker T^*=(\operatorname{im}T)^\perp$ 是可以的, 写 $\ker T=\ ^\perp(\overline{\operatorname{im}T^*})$ , $\ker T^*=(\overline{\operatorname{im}T})^\perp$ 也是可以的, 这两种写法是完全一样的.

现在我们来证明主要的命题.

命题4. 设 $T\in B(X,Y)$ , 则
(1) $\ker T=\ ^\perp(\operatorname{im}T^*)$ , $\overline{\operatorname{im}T^*}\subset(\ker T)^\perp$ ;
(2) $\ker T^*=(\operatorname{im}T)^\perp$ , $\overline{\operatorname{im}T}=\ ^\perp(\ker T^*)$ .
证明. (1)前面推论2已经证明了一半(注意由于 $(\ker T)^\perp$ 是闭的, 所以 $\operatorname{im}T^*\subset(\ker T)^\perp$ 说明 $\overline{\operatorname{im}T^*}\subset(\ker T)^\perp$ ), 所以我们只需要证明 $\ker T\supset\ ^\perp(\operatorname{im}T^*)$ 就好了.
设 $x\in\ ^\perp(\operatorname{im}T^*)$ , 对任何 $f\in Y^*$ , 有 $\langle Tx,f\rangle=\langle x,T^*f^*\rangle=0$ , 故 $Tx=0$ , $x\in\ker T$ . 这就说明了 $\ker T\supset\ ^\perp(\operatorname{im}T^*)$ .
(2)同样地, 推论2已经证明了一半, 我们只需要证明 $\ker T^*\supset(\operatorname{im}T)^\perp$ , $\overline{\operatorname{im}T}\supset\ ^\perp(\ker T^*)$ . 和(1)同样的论证可以证明 $\ker T^*\supset(\operatorname{im}T)^\perp$ (我检查过了). 现在来证明 $\overline{\operatorname{im}T}\supset\ ^\perp(\ker T^*)$ .
任取 $y\notin\overline{\operatorname{im}T}$ , 我们来证明 $y\notin\ ^\perp(\ker T^*)$ . 由Hahn-Banach延拓定理, 存在 $f\in Y^*$ 使得 $f|_{\overline{\operatorname{im}T}}=0$ , $f(y)=1$ .这样一来, $T^*f=0$ , 但 $\langle y,f\rangle=1\ne0$ , 故 $y\notin\ ^\perp(\ker T^*)$ . 这说明 $\overline{\operatorname{im}T}\supset\ ^\perp(\ker T^*)$ . $\blacksquare$

这个结论十分对称好记, 只是非常可惜有一点点瑕疵. 事实上如果试图像上面一样用Hahn-Banach定理证明 $\overline{\operatorname{im}T^*}\supset(\ker T)^\perp$ 时会发现由于 $X$ 不一定自反, 类似的论证翻车了(请自行检查, 我检查了). 如果 $X$ 自反, 那么瑕疵就被修复了. 我们把这段评述写成命题.

命题5. 设 $X$ 自反, $T\in B(X,Y)$ , 则 $\overline{\operatorname{im}T^*}=(\ker T)^\perp$ .

另一种修复瑕疵的方式是通过闭值域定理(即 $\operatorname{im}T$ 闭等价于 $\operatorname{im}T^*$ 闭)的一半.

命题6. 设 $T\in B(X,Y)$ , 且 $\operatorname{im}T$ 闭, $\overline{\operatorname{im}T^*}=(\ker T)^\perp$ .
证明. 把 $T$ 沿着 $\operatorname{coker}T=X/\ker T$ 分解, 即
$X\overset{\pi}{\rightarrow}X/\ker T\overset{\widetilde{T}}{\rightarrow}\operatorname{im}T\overset{i}{\rightarrow}Y$
这样有 $T=i\widetilde T\pi$ , 故 $T^*=\pi^*\widetilde T^* i^*$ . 注意由于 $\operatorname{im}T$ 是闭的, 我们有 $\widetilde T$ 是拓扑同胚, $\widetilde T^*((\operatorname{im}T)^*)=(X/\ker T)^*$ . 由Hahn-Banach定理, 又有 $i^*(Y^*)=(\operatorname{im}T)^*$ , 所以 $T^*(Y^*)=\pi^*\widetilde T^* i^*(Y^*)$ $=\pi^*\widetilde T^*((\operatorname{im}T)^*)=\pi^*((X/\ker T)^*)=(\ker T)^\perp$ . 最后一步是因为子空间和商空间的对偶, 即 $\pi^*$ 是 $(\operatorname{im}T)^*$ 到 $(\ker T)^\perp$ 的保范同构(自己验证).
这个论证(实际上这个论证还证明了闭值域定理)说明 $\operatorname{im}T^*=(\ker T)^\perp$ , 结论由此易得. $\blacksquare$

最后一件事情是, 这个瑕疵是真实存在的吗? 毕竟无法证明 $\overline{\operatorname{im}T^*}=(\ker T)^\perp$ 不代表它们真的不相等. 下面我们会看到, 确实存在这样的例子, 使得 $\overline{\operatorname{im}T^*}\subsetneq(\ker T)^\perp$ .

例7(来自StackExchange). 考虑 $X=Y=l^1$ , $T((x_n))=(x_n/n)$ , 则 $\overline{\operatorname{im}T^*}\subsetneq(\ker T)^\perp$ .
证明. 显然 $\ker T=0$ , 故 $(\ker T)^\perp=(l^1)^*\cong l^\infty$ . 我们只需要证明 $\overline{\operatorname{im}T^*}\subsetneq l^\infty$ .
我们来计算 $\operatorname{im}T^*$ . 对 $f=(f_n)\in l^\infty$ , 可以算出 $T^*f=(f_n/n)\in c_0$ , 这里 $c_0=\{f\in l^\infty|\lim_{n\rightarrow\infty}f_n=0\}$ 是 $l^\infty$ 的闭子空间(自己验证). 从而 $\overline{\operatorname{im}T^*}\subset c_0\subsetneq l^\infty$ . $\blacksquare$

最后编辑于：2023.10.05 20:41:39

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 213,752评论 6赞 493
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 91,100评论 3赞 387
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 159,244评论 0赞 349
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 57,099评论 1赞 286
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 66,210评论 6赞 385
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 50,307评论 1赞 292
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 39,346评论 3赞 412
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 38,133评论 0赞 269
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 44,546评论 1赞 306
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 36,849评论 2赞 328
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 39,019评论 1赞 341
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 34,702评论 4赞 337
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 40,331评论 3赞 319
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 31,030评论 0赞 21
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 32,260评论 1赞 267
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 46,871评论 2赞 365
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 43,898评论 2赞 351

闭值域定理相关的小结论

推荐阅读更多精彩内容