第五十章 ：服了没？（三更求追读月票~）（1/2）

等到掌声渐渐停歇下来，李庆国端著搪瓷杯从讲台侧面走上来，看了眼韩川，笑著夸讚了一句。

“讲得不错！”

说完，他转身面对教室中数学分析研討班的学生：“刚刚韩川的报告里，有没有没听懂的同学，现在可以举手提问了。”

话音落下，教室里瞬间举起了五六只手。

李庆国教授扫了眼，笑著看向韩川。那意思很明显，交给你了。

韩川倒也没在意，点点头，直接挑了一个前排將手举得老高的学生。

从髮型来看，这是个数学领域的强者！

这个还未毕业，就已然半禿的博士生师兄站起来，盯著黑板上的算式推了推鼻樑上的眼镜开口问道：

“我想问一下，你在非自反空间的推广中用对偶基分解时，隱式地假设了对偶空间是可分的。如果原空间本身不可分，对偶基的存在性如何保证？”

教室里安静了一瞬。

这个问题很显然比之前和frenet標架相关的问题更刁钻。

因为它直接戳中了论文最深层的技术难点，对偶基在不可分空间中的构造。

讲台上，韩川没有立刻回答。

他拾起黑板刷將身后几乎写满了的黑板擦出来一部分乾净的区域，然后落下了一行粉笔字。

“设x为banach空间，x为其对偶空间。若x可分，则单位球b_{x}在拓扑下是紧度量空间。”

隨即，他转身看向站起来的博士生，笑道：“师兄说得对，如果去掉可分性，对偶基的构造就会失效。这是整片论文中的核心难点之一。”

说著，他继续在黑板上写道：“但这个问题並非不可解决。”

【设{e_α}_{α∈i}为x的不可分闭子空间族，满足ue_α在x中稠密，且每个e_α可分。由hahn-banach定理，限制映射r_α: x→ e_α是满射。】

【取π_α: e_α→ e_α为投影算子，定义φ_α=π_α° r_α。则族{φ_α}构成x上的一个“局部对偶框架”。】

【......那么，在不可分banach空间上，控制列框架的成立等价於存在一族可分闭子空间，其並稠密，且控制列在每个子空间上一致收敛！】

手中的粉笔落下最后一个符號，韩川转身看向这位提问的博士学长，笑著开口道。

“懂了吗？”

教室中，提问的博士生盯著黑板上的算式看了好一会，才缓缓点了点头，坐了下去。

很快，在这位博士生坐下去后，教室中又一只手臂举了起来。

“非自反空间的推广那一步，你用banach-steinhaus定理保证了范数一致有界性。但banach-steinhaus定理的前提是『逐点有界』。这个『逐点有界』的条件，你是怎么从前面的假设里导出来的？”

韩川转过身，拿起粉笔，在黑板上写下了两行推导。

“原函数列{f?}一致收敛，意味著对每个x∈e，{f?(x)}是一个收敛数列。收敛数列必有界，所以存在一个常数m_x，使得对所有n，|f?(x)|≤m_x。”

“用这个m_x构造对偶基的逐点有界性，再用banach-steinhaus导出范数一致有界。逻辑链条是：一致收敛→逐点有界→范数一致有界→控制列存在。”

“明白了吗？”

.....

提问还在继续。

一个接一个的问题被拋过来，韩川一个接一个地回答。

从banach空间的自反性討论到控制列的构造唯一性，从frenet標架的退化条件追问到狄利克雷判別法的边界情形。