跳轉到內容

泛函分析/預備知識

來自 Wikibooks,開放書籍,開放世界
泛函分析
第 1 章:預備知識

截至 2009 年 10 月,開發完成 50% (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。

是線性向量空間,且 為一個典範滿射。如果 (其中 X 是某個向量空間)是一個線性對映,則存在 使得 當且僅當 。此外,
  • (i) 如果 存在,則 是唯一的。
  • (ii) 是單射當且僅當
  • (iii) 是滿射當且僅當 是滿射。


證明。如果 存在,則 。反之,假設 ,並定義

對於 是良定義的。事實上,如果 ,則 。因此,

.

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

推論 1.14。

如果 誘匯出一個對映 其中 是子空間,那麼我們可以誘匯出
.


證明。 很明顯。

推論 1.15。

如果 是線性對映,那麼 .


證明。 很明顯。

練習。 給定一個精確序列

,

我們有:

華夏公益教科書