(2009 年 10 月)
本章收集了一些將在後續章節中使用到的標準結果。特別是,我們證明了 Hahn-Banach 定理,它實際上是線性代數中的一個結果。這些定理的證明可以在《拓撲學》和《線性代數》書籍中找到。
選擇公理指出,給定一組集合
,存在一個函式
.
練習。 使用選擇公理證明任何滿射都是右可逆的。
在這本書中,選擇公理幾乎總是以佐恩引理的形式使用。
定理 1.1 (佐恩引理)。
令

是一個
偏序集,使得對於每個鏈,

,它透過

線性排序,存在一個最大元素,

。然後

有一個最大元素

。也就是說,對於任何

。
定理 1.2。
練習。 證明
不是緊緻的,方法是展示一個不包含有限子覆蓋的開覆蓋。
練習。 設
為一個緊緻度量空間,且
為一個等距對映:即
。則 f 為一個雙射。
定理 1.3 (Tychonoff).
任何非空緊緻空間集合的乘積空間都是緊緻的。
練習。 證明 Tychonoff 定理在有限乘積空間上成立,且不依賴於選擇公理(或其任何等價形式)。
根據定義,緊緻空間是 Hausdorff 空間。
定理 1.4 (度量化定理).
如果

是一個第二可數緊緻空間,則

是可度量化的。
證明。 定義
為

然後
意味著
對於每一個
,反過來意味著
。反之亦然。由於
,
則為度量。令
為
的由
誘導的拓撲。我們斷言
與最初賦予
的拓撲一致。鑑於
引理。 令
為一個集合。如果
是
的一對拓撲,並且如果
是豪斯多夫空間且
是緊緻空間,則
。
只需證明
包含在原始拓撲中。但是,對於任何
,由於
是緊集上連續函式序列的極限,我們看到
是連續的。因此,
在
中以
為中心的開球是開集(在原始拓撲中)。
命題 1.5。
(i)每個第二可數空間都是可分的。(ii)每個可分的度量空間都是第二可數的。
證明。待寫。
特別地,一個緊度量空間是可分的。
練習。實數軸上的w:下限拓撲是可分的但不是第二可數的。
定理 1.6 (貝葉斯)。
一個完備度量空間不是閉子集的稠密補集的可數並集。
證明。見w:貝葉斯範疇定理。
我們注意到,該定理對於區域性緊空間也是成立的,儘管這個版本在隨後的內容中不會用到。
練習。用該定理證明實數集是不可數的。
定理 1.7 (阿斯科利)。
設

是一個緊空間。

的子集是緊的當且僅當它是有界的、閉的和等度連續的。
證明。見w:阿斯科利定理。
下一個練習給出了該定理的典型應用。
練習。證明常微分方程的皮卡存在定理:設
是
某一開子集上的實值連續函式。那麼初值問題

在包含
的某個開區間內有解。(提示:用w:尤拉方法構造近似解序列。該序列可能不收斂,但根據阿斯科利定理,它包含一個收斂子序列。然後,極限就是所需的解。)
練習。 從 Peano 存在定理推匯出 w:Picard–Lindelöf 定理:設
是
的某個開子集上的實值區域性 Lipschitz 函式。那麼初值問題

在包含
的某個開區間內有一個“唯一”解。(提示:存在性是明確的。對於唯一性,使用 w:Gronwall 不等式。)
定理 1.8。
給定一個度量空間
X,存在一個完備度量空間

使得

是

的稠密子集。
證明。 w:完備化 (度量空間)#完備化 
定理 1.9。
設 V 為一個向量空間。那麼每一個(可能為空)線性無關集都包含在 V 的某個基中。
證明。 設
為所有包含給定線性無關集的線性無關集的集合。
不為空。此外,如果
是
中的一個鏈(即一個全序子集),那麼
是線性無關的,因為如果

如果
屬於並集,那麼
都屬於
中的某個成員。因此,根據佐恩引理,它有一個極大元,不妨記為 *E*。它生成 *V*。實際上,如果不是這樣,則存在一個
使得
是
的一個成員,這與 *E* 的極大性相矛盾。 
該定理特別意味著每個向量空間都具有基。這種基被稱為 *哈默爾基*,以區別於稍後將討論的其他基。
定理 1.10 (哈恩-巴拿赫)。
設

是一個實向量空間,

是

上的一個函式,使得
以及 
對於任何

和任何

。如果

是一個閉子空間,並且

是

上的一個線性泛函,使得

,那麼

允許在

上定義一個線性擴張

,使得

。
證明。首先假設
對於一些
。根據假設,我們有
對於所有
,
等價於
.
設
為上確界和下確界之間的一個數。定義
對於
。因此,
是一個期望的擴充套件。事實上,
在
上是明確的,我們還有
如果 
以及
如果
.
令
是所有對
的集合,其中
是一個線性空間,且有
,
是一個在
上的線性函式,它擴充套件了
且被
控制。可以證明
是偏序的,並且
的任何全序子集的並集都在
中(TODO: 需要更多細節)。因此,根據 Zorn 引理,我們可以找到最大元
,並且根據證明的前一部分我們可以證明
。 
我們注意到,在證明中對
的不同選擇會導致不同的擴充套件。因此,由 Hahn-Banach 定理給出的擴充套件通常不是唯一的。
練習 說明該定理對於復向量空間的類似情況,並證明該版本可以歸結為實數版本。(提示:
)
注意該定理可以以下等價的方式表述。
定理 1.11 (幾何 Hahn-Banach)。
令
V 為一個向量空間,

為一個凸子集。如果
x 不在
E 中,則存在一個包含
E 但不包含
x 的超平面。
Proof. We prove the statement is equivalent to the Hahn-Banach theorem above. We first show that there is a one-to-one corresponding between the set of sublinear functional and convex sets. Given a convex set
, define
.
(called a w:Minkowski functional) is then sublinear. In fact, clearly we have
. Also, if
and
, then, by convexity,
and so
. Taking inf over t and s (separately) we conclude
. Now, note that:
. This suggests that we can define a set
for a given sublinear functional
. In fact, if
is sublinear, then for
we have:
when
and this means
. Hence,
is convex. 
推論 1.12。
向量空間的每個凸子集都是包含它的所有超平面的交集(稱為凸包)。
練習。 證明 Carathéodory 定理。
(TODO: 提到矩量問題。)
定理 1.13。
證明。如果
存在,則
。反之,假設
,並定義
為

對於
。
是良定義的。事實上,如果
,則
。因此,
.
根據此定義,(i) 現在已明確。(ii) 成立,因為
意味著
當且僅當
。(iii) 也很清楚;我們有一個集合論事實:
是滿射當且僅當
是滿射。 
推論 1.14。
如果

誘匯出一個對映

其中

是子空間,那麼我們可以誘匯出
.
證明。 很明顯。 
推論 1.15。
如果

是線性對映,那麼

.
證明。 很明顯。 
練習。 給定一個精確序列
,
我們有: