研究巴拿赫空間之前，我們有必要完全弄清楚巴拿赫空間、希爾伯特內積空間、賦範線性空間這三者之間的區別和聯絡。

賦範線性空間是距離空間，希爾伯特內積空間必然是賦範線性空間，巴拿赫空間是完備的賦範線性空間。這是三者間的基本關係。

作為資深專家，具備大師水平的數學研究者，穆勒和沈奇同樣需要依託最基礎的理論去證明體系內的定理。

內積空間中的內積可以定義範數，而範數不一定非要內積來定義。希爾伯特空間是巴拿赫空間的特例，而巴拿赫空間是完備距離空間的特例。

所以，沈奇基於穆勒在1982年的一條證明重新定義如下：

“巴拿赫空間X的一個非空子集C稱為逼近緊的，是指對任意{xn}∞n=1∈C及任意y∈X，如果使得

‖xn-y‖→dist（y，C）=inf{‖xn-y‖：x∈C}，

那麼{xn}∞n=1就存在一個柯西列，稱X是逼近緊的，且X的每個閉凸子集是逼近緊。”

“思路逐漸清晰，沈奇你認為一個巴拿赫空間X是逼近緊的當且僅當它具備drop性質。”穆勒教授再次檢查沈奇設定的前提條件。

巴拿赫空間綜合了泛函分析、拓撲、空間幾何等諸多分支，是一個有難度的領域，不適合初學者接觸。

“沒錯。”沈奇和穆勒交流起來非常通暢，聰明人不廢話，數學家不囉嗦。

Loading...

未載入完，嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.mobvista.cc

(＞人＜；)