第二十六章 ：最後的難關！
「後面呢？」
韓川滿是好奇地追問道：「您都這樣將小鬼子按在地上摩擦了，東京帝國大學怎麼處理的？」
《初等微分幾何》的教材上，蘇步青的字跡浮現了出來，帶著些感慨道：「沒處理，也沒有處罰。」
「啊？真一點責罰都沒有？」韓川有些意外
「沒有。」
教材上的字跡晃動了一下，像是在搖頭，緊接著重新寫道：「當時教導我的窪田忠彥教授是個真正的數學家。」
「他對於這些並不是很關心，雖然學校當時想給我處罰，但被他扛下來了。」
聽到這，韓川嘿嘿地笑了笑，調侃道：「那可不，畢竟是您老丈人，護著自家女婿再正常不過了嘛。」
「行了。」
蘇步青的字跡在教材上浮現，打斷了韓川的調侃，語氣恢復了那種板著臉的嚴厲，但字裡行間卻藏著一絲不易察覺的、被調侃到的羞惱和無奈。
「陳年舊事就聊到這裡。你不是卡論文了嗎？怎麼還有閒心打聽這些。」
「嘿嘿，這不是寫論文寫悶了嘛。」
韓川嘿嘿笑了笑，但隨即收斂了表情，目光重新落在稿紙上那個卡住的地方。
他本來只是想找蘇老聊聊天散散心，但聽完蘇老的故事之後，他發現自己好像沒那麼悶了。
蘇步青笑了笑，道：「那就出去走走，搞學術研究，很多時候都急不得。」
「我記得你之前不是喜歡打遊戲麼，之前你控制力不行，但現在偶爾玩一會也無妨。」
這段時間韓川的努力他都是看在眼裡的，這一個多月以來，幾乎就沒停下來過。
努力是好事，但有時候勞逸結合會更有效率一些。所以他才讓韓川可以重新撿回遊戲放鬆一下。
韓川想了下，道：「算了，解決這個再放鬆吧，手頭這篇論文還沒寫完，玩也玩不踏實。」
蘇步青：「我不能幫你解決這個問題，但我可以告訴你的是，你前面的推導都是正確的。」
聽到這話，韓川沉悶心情瞬間消散，整個人也抖擻起來：「真的？」
教材上，字跡浮現，蘇步青笑著道：「當然，我還會騙你不成。」
「現在你只需要解決這個最後的難題，就可以完成這篇論文了。」
「好，拼了！」
韓川深吸了口氣，一咬牙，重新沉浸到論文研究的推導中。
就差最後一步了！
教材中，感應著韓川的認真，書靈蘇步青的臉上露出了一抹笑容。
這小傢伙，還真不賴！
對數列一致收斂性的引理進行改進，將其擴展到通用條件下的所有情形。
這個問題即便是他也花費了將近一周的時間才解決。
但韓川能在十來天的時間就將其推導到只剩下對非自反Banach空間的統一上。
儘管步驟比他的研究要複雜一些，卻也可以稱得上優秀了。
別說是一名大一的本科生，就是一個數學系的博士生來了，能做到這一步的也很少見了。
畢竟數學需要的並不僅僅是單純的努力。
......
在最後這個問題上卡了兩天的時間，查閱了各種相關的文獻資料韓川終於抓到了一絲靈感。
但靈感和真正的突破之間還隔著一段遙遠的距離。
他隱隱約約能看見那個方向，卻始終找不到一個具體的切入點。
泛函分析的工具箱裡有足夠多的定理可以處理非自反空間，而弱緊性、Banach-Alaoglu定理、可分的弱度量化...這些工具之間的關係他也基本理清了。
但要將它們精確地組合起來解決這個問題，還需要一個更清晰的直覺指引。
他需要尋找一個只屬於自己的指引，如果能找到，或許就能突破這最後的難關了。
坐在書桌前，思索著，韓川盯著稿紙上的寫出來的算式陷入了沉思。
也不知道過去了多久的時間，眼前的世界中，一道銀藍色的微光悄然亮起。
稿紙上的字跡緩緩浮空，那些羅列在上面算式再飛速重組。
先是黑暗中出現了一條線，那是函數列的收斂軌跡，他之前畫過的那條逐漸逼近極限點的曲線。
然後，這條線像被注入了生命，開始自我生長。
緊接著，每一標記節點上都長出了一組Frenet標架。
標架隨著曲線的彎曲而旋轉，曲率與角度上分別控制著不同維度上的偏離速率。
意識空間中，韓川認真地觀察著眼前這幅幾何圖像。
它把函數列的收斂分解到三個獨立的方向上，每個方向用一個控制函數來調控。
就像是在自反Banach空間裡，用Hahn-Banach定理構造的對偶基一樣。
對偶作用δ_ij保證了各個方向的正交性，誤差分量被牢牢地鎖在各個坐標軸上，互不干擾。
圖像上，控制列一致收斂，像一支訓練有素的軍隊，每一步行動都有條不紊。
這幅由知識具現化技能展示出來的圖像，比任何不等式和算式都更直接地揭示了控制列的直覺。
「原來是這樣，難怪我一直找不到用一個通用的條件覆蓋所有情形的控制框架。」
盯著眼前的圖像，韓川眼眸中露出一抹恍然的神色。
如果說自反性是保證一致收斂性可以自由翻譯的字典，那麼去掉自反性，翻譯仍然可以在更寬鬆的條件下進行。
而做到這點，只要原函數列本身滿足某種『可控性』就足夠了。
隨著韓川的領悟，銀藍色的微光從意識的邊緣急速褪去，那些由數學概念構成的動態圖像漸漸淡去。
他坐直身體，拾起桌上的原子筆沒有絲毫停頓的在稿紙上展開了剩餘的推導。
或者說『書寫』。
因為他已經找到了那一個只屬於自己的指引。
【設E為集合，{f_n}為定義在E上的函數列。若存在控制列fn使得對每個n，在E上一致收斂於零，則{f_n}在E上一致收斂。】
【∣fn(x)∣≤φ n(x)，∀x∈E，】
【給定ε> 0，由fn的一致收斂性存在正整數N，使得當n > N時，對所有x∈ E成立fn(x)<ε。於是，對任意m， n > N及任意x∈ E。】
【.....】
稿紙上，一行行的算式與推導不斷地羅列出來。
當最後一行公式落下時，韓川嘴角下意識地勾起了一抹笑容，手中的原子筆快速地補完了最後一步推導。
【...根據Banach-Alaoglu定理，該閉單位球在弱拓撲下緊緻。因此，存在子列{n_j}使得對應泛函弱收斂。】
【利用Banach-Steinhaus定理，可得這些泛函的範數一致有界：φn(x)=mn∑k=1·|ξk^n(en)∣⋅∣En+k−1·(x)∣....】
【因此，控制列框架實質上已實現對所有經典情形的統一！】
「OK，搞定！」
韓川滿是好奇地追問道：「您都這樣將小鬼子按在地上摩擦了，東京帝國大學怎麼處理的？」
《初等微分幾何》的教材上，蘇步青的字跡浮現了出來，帶著些感慨道：「沒處理，也沒有處罰。」
「啊？真一點責罰都沒有？」韓川有些意外
「沒有。」
教材上的字跡晃動了一下，像是在搖頭，緊接著重新寫道：「當時教導我的窪田忠彥教授是個真正的數學家。」
「他對於這些並不是很關心，雖然學校當時想給我處罰，但被他扛下來了。」
聽到這，韓川嘿嘿地笑了笑，調侃道：「那可不，畢竟是您老丈人，護著自家女婿再正常不過了嘛。」
「行了。」
蘇步青的字跡在教材上浮現，打斷了韓川的調侃，語氣恢復了那種板著臉的嚴厲，但字裡行間卻藏著一絲不易察覺的、被調侃到的羞惱和無奈。
「陳年舊事就聊到這裡。你不是卡論文了嗎？怎麼還有閒心打聽這些。」
「嘿嘿，這不是寫論文寫悶了嘛。」
韓川嘿嘿笑了笑，但隨即收斂了表情，目光重新落在稿紙上那個卡住的地方。
他本來只是想找蘇老聊聊天散散心，但聽完蘇老的故事之後，他發現自己好像沒那麼悶了。
蘇步青笑了笑，道：「那就出去走走，搞學術研究，很多時候都急不得。」
「我記得你之前不是喜歡打遊戲麼，之前你控制力不行，但現在偶爾玩一會也無妨。」
這段時間韓川的努力他都是看在眼裡的，這一個多月以來，幾乎就沒停下來過。
努力是好事，但有時候勞逸結合會更有效率一些。所以他才讓韓川可以重新撿回遊戲放鬆一下。
韓川想了下，道：「算了，解決這個再放鬆吧，手頭這篇論文還沒寫完，玩也玩不踏實。」
蘇步青：「我不能幫你解決這個問題，但我可以告訴你的是，你前面的推導都是正確的。」
聽到這話，韓川沉悶心情瞬間消散，整個人也抖擻起來：「真的？」
教材上，字跡浮現，蘇步青笑著道：「當然，我還會騙你不成。」
「現在你只需要解決這個最後的難題，就可以完成這篇論文了。」
「好，拼了！」
韓川深吸了口氣，一咬牙，重新沉浸到論文研究的推導中。
就差最後一步了！
教材中，感應著韓川的認真，書靈蘇步青的臉上露出了一抹笑容。
這小傢伙，還真不賴！
對數列一致收斂性的引理進行改進，將其擴展到通用條件下的所有情形。
這個問題即便是他也花費了將近一周的時間才解決。
但韓川能在十來天的時間就將其推導到只剩下對非自反Banach空間的統一上。
儘管步驟比他的研究要複雜一些，卻也可以稱得上優秀了。
別說是一名大一的本科生，就是一個數學系的博士生來了，能做到這一步的也很少見了。
畢竟數學需要的並不僅僅是單純的努力。
......
在最後這個問題上卡了兩天的時間，查閱了各種相關的文獻資料韓川終於抓到了一絲靈感。
但靈感和真正的突破之間還隔著一段遙遠的距離。
他隱隱約約能看見那個方向，卻始終找不到一個具體的切入點。
泛函分析的工具箱裡有足夠多的定理可以處理非自反空間，而弱緊性、Banach-Alaoglu定理、可分的弱度量化...這些工具之間的關係他也基本理清了。
但要將它們精確地組合起來解決這個問題，還需要一個更清晰的直覺指引。
他需要尋找一個只屬於自己的指引，如果能找到，或許就能突破這最後的難關了。
坐在書桌前，思索著，韓川盯著稿紙上的寫出來的算式陷入了沉思。
也不知道過去了多久的時間，眼前的世界中，一道銀藍色的微光悄然亮起。
稿紙上的字跡緩緩浮空，那些羅列在上面算式再飛速重組。
先是黑暗中出現了一條線，那是函數列的收斂軌跡，他之前畫過的那條逐漸逼近極限點的曲線。
然後，這條線像被注入了生命，開始自我生長。
緊接著，每一標記節點上都長出了一組Frenet標架。
標架隨著曲線的彎曲而旋轉，曲率與角度上分別控制著不同維度上的偏離速率。
意識空間中，韓川認真地觀察著眼前這幅幾何圖像。
它把函數列的收斂分解到三個獨立的方向上，每個方向用一個控制函數來調控。
就像是在自反Banach空間裡，用Hahn-Banach定理構造的對偶基一樣。
對偶作用δ_ij保證了各個方向的正交性，誤差分量被牢牢地鎖在各個坐標軸上，互不干擾。
圖像上，控制列一致收斂，像一支訓練有素的軍隊，每一步行動都有條不紊。
這幅由知識具現化技能展示出來的圖像，比任何不等式和算式都更直接地揭示了控制列的直覺。
「原來是這樣，難怪我一直找不到用一個通用的條件覆蓋所有情形的控制框架。」
盯著眼前的圖像，韓川眼眸中露出一抹恍然的神色。
如果說自反性是保證一致收斂性可以自由翻譯的字典，那麼去掉自反性，翻譯仍然可以在更寬鬆的條件下進行。
而做到這點，只要原函數列本身滿足某種『可控性』就足夠了。
隨著韓川的領悟，銀藍色的微光從意識的邊緣急速褪去，那些由數學概念構成的動態圖像漸漸淡去。
他坐直身體，拾起桌上的原子筆沒有絲毫停頓的在稿紙上展開了剩餘的推導。
或者說『書寫』。
因為他已經找到了那一個只屬於自己的指引。
【設E為集合，{f_n}為定義在E上的函數列。若存在控制列fn使得對每個n，在E上一致收斂於零，則{f_n}在E上一致收斂。】
【∣fn(x)∣≤φ n(x)，∀x∈E，】
【給定ε> 0，由fn的一致收斂性存在正整數N，使得當n > N時，對所有x∈ E成立fn(x)<ε。於是，對任意m， n > N及任意x∈ E。】
【.....】
稿紙上，一行行的算式與推導不斷地羅列出來。
當最後一行公式落下時，韓川嘴角下意識地勾起了一抹笑容，手中的原子筆快速地補完了最後一步推導。
【...根據Banach-Alaoglu定理，該閉單位球在弱拓撲下緊緻。因此，存在子列{n_j}使得對應泛函弱收斂。】
【利用Banach-Steinhaus定理，可得這些泛函的範數一致有界：φn(x)=mn∑k=1·|ξk^n(en)∣⋅∣En+k−1·(x)∣....】
【因此，控制列框架實質上已實現對所有經典情形的統一！】
「OK，搞定！」