跳轉到內容

拓撲/基

來自華夏公益教科書,開放的書本,開放的世界
拓撲
 ← 拓撲空間 集合中的點 → 


為拓撲空間。一個開集的集合 被稱為拓撲 ,如果每個開集 中集合的並集。

顯然 是它自己的基。

作為基的條件

[編輯 | 編輯原始碼]

在一個拓撲空間 中,一個集合 的基當且僅當它由開集組成,並且對於每個點 的開鄰域 ,存在一個集合 使得 .

證明
我們需要證明, 的一個子集是開的,當且僅當它是由 中的元素的並集。然而,如果部分很明顯,因為 中的元素是開的,任意個開集的並集也是開的。因此,我們只需要證明任何一個開集 確實是這樣的並集。
為任意一個開集。考慮任意元素 。根據假設,在 中至少存在一個元素,它既包含 ,又是 的子集。根據選擇公理,我們可以對每個 同時選擇這樣的一個元素 。所有這些元素的並集確實是 。因此,任何開集都可以表示為 中的集合的並集。

從基構造拓撲

[編輯 | 編輯原始碼]

為任意集合, 的子集族。存在 上的拓撲 使得 的基當且僅當 滿足以下條件:

  1. 如果 ,那麼存在一個 使得
  2. 如果 ,那麼存在一個 使得

注: 第一個條件等價於說 中所有集合的並集為

為任意集合, 的子集的集合。那麼, 是一個半基,如果 X 的基可以由 的元素的有限交集形成。

  1. 證明集合 ,即 中所有開區間的集合,是 上拓撲的一個基。
  2. 證明集合 ,即 中所有閉區間的集合,**不是** 上拓撲的一個基。
  3. 證明集合 ,即半開區間的集合,是 上拓撲的一個基。
  4. 證明集合 ,即半開區間的集合,是 上拓撲的一個基。
  5. 劃分 在閉區間 上定義為有序的 n 元組 範數 劃分 定義為
    對於每個 ,定義集合
    如果 上所有劃分的集合,證明所有 的集合是 上拓撲的基。


拓撲
 ← 拓撲空間 集合中的點 → 


華夏公益教科書