跳轉到內容

拓撲/商空間

來自華夏公益教科書,開放的書籍,為開放的世界
拓撲
 ← 積空間 商空間 連續性和同胚 → 


商拓撲不是對分析中任何研究物件的自然推廣,但它很容易理解。一種動機來自幾何學。例如,圓環可以透過取一個矩形並將邊粘合在一起來構造。

定義:商對映

[編輯 | 編輯原始碼]

是拓撲空間;令 是一個滿射對映。對映 f 被稱為 商對映 當且僅當 Y 中是開集,當且僅當 X 中是開集。

定義:商對映的另一種形式

[編輯 | 編輯原始碼]

還有一種描述商對映的方法。一個子集 飽和集 (關於滿射對映 )如果 C 包含它所交的每個集合 。說 f 是一個商對映等價於說 f 是連續的,並且 f X 的飽和開集對映到 Y 的開集。同樣地,對於閉集也是如此。

有兩種特殊的商對映型別: 開對映 閉對映

如果對於每個在 X 中的開集 ,集合 Y 中是開的,則稱對映 是一個 開對映 。如果對於每個閉集 ,集合 Y 中是閉的,則稱對映 是一個 閉對映 。由定義可知,如果 是一個滿射連續對映,並且是開對映或閉對映,那麼 f 是一個商對映。

定義:商拓撲

[edit | edit source]

如果 X 是一個拓撲空間, A 是一個集合,並且如果 是一個滿射對映,那麼在 A 上存在唯一的拓撲 使得 f 是一個商對映;它被稱為 f 誘導的 商拓撲

定義:商空間

[edit | edit source]

X 是一個拓撲空間,設 X 的一個劃分,它將 X 劃分為不相交的子集,這些子集的並集是 X 。設 是將每個 對映到包含它的 元素的滿射對映。在 f 誘導的商拓撲中,空間 被稱為 X 商空間

定理

[edit | edit source]

是一個商對映;設 A X 的一個子空間,它關於 f 是飽和的;設 是透過限制 f 獲得的對映,那麼 g 是一個商對映。

1.) 如果 A X 中是開集或閉集。

2.) 如果 f 是一個開對映或閉對映。

證明:我們需要證明
當 V

以及

.

由於 A 是飽和的,。因此, 都等於 A 中所有被 f 對映到 V 的點。對於第二個等式,對於任何兩個子集 U

反之,假設 。由於 A 是飽和的,,因此特別地 。然後 其中 .

假設 A f 是開集。由於 ,假設 中是開集,並證明 V 中是開集。

首先,假設 *A* 是開集。由於 在 *A* 中是開集,並且 *A* 在 *X* 中是開集,因此 在 *X* 中是開集。由於 ,因此 在 *X* 中是開集。*V* 在 *Y* 中是開集,因為 *f* 是商對映。

現在假設 *f* 是開集。由於 並且 在 A 中是開集,那麼 ,其中 *U* 是 *X* 中的開集。現在 ,因為 *f* 是滿射;所以

集合 在 *Y* 中是開集,因為 *f* 是開對映;因此 *V* 在 中是開集。關於閉集 *A* 或閉對映 *f* 的證明留給讀者。


拓撲
 ← 積空間 商空間 連續性和同胚 → 


華夏公益教科書