跳轉到內容

一般拓撲/定義、特徵

來自華夏公益教科書,開放世界開放書籍

定義(拓撲):

為任意集合。關於 的 **拓撲** 是 的冪集的子集 ,滿足以下三個公理

定義(拓撲空間):

**拓撲空間** 是一個集合 以及關於它的一個拓撲

示例(歐幾里得拓撲):

並考慮集合 。 然後我們定義

.

上的拓撲,稱為歐幾里得拓撲

定義(開集):

是一個拓撲空間, 是它的拓撲。開集是指任何包含在 中的集合。

定義(閉集):

是一個拓撲空間。一個子集 稱為閉集,當且僅當 是開集,即包含在 的拓撲中。

定義(閉開集):

是一個拓撲空間。一個子集 稱為閉開集,當且僅當它同時是開集和閉集。

命題(從閉集定義拓撲):

是一個集合,設 的子集的集合,使得以下公理成立

那麼存在一個唯一的拓撲 上,使得 精確包含該拓撲的閉集,反之,任何拓撲的閉集滿足 1. - 3.

證明: 我們聲稱,在滿足命題中 1.-3. 的集合 (稱此集合為 )與 上的拓撲之間存在一個雙射,我們將用 表示,因此如果這個雙射表示為 ,那麼拓撲 的閉集由 精確給出。實際上,這個對映

給出,其逆為 .

這些透過直接計算互為逆,並且 的閉集恰好是 。我們必須證明 是定義良好的,也就是說,它將 對映到 ,並且逆對映也是定義良好的,因為它將 對映到 。首先令 為拓撲。由於 並且 ,上述條件 1 被滿足。現在假設 ,因此對於 ,我們有 ,對於某個 。由於 是拓撲,,此外,根據德摩根定律

.

最後,假設 中元素的一個族,並且對於 再次寫出 。由於 是一個拓撲,,並且根據德摩根定律

,

滿足 1. - 3. 反方向可以透過類似的計算來證明。因此,唯一一個閉集為 的拓撲是 ,如果 是一個拓撲,,其閉集,滿足 1.-3.

命題(拓撲按包含關係排序):

如果 是任何集合,並且 上的拓撲,則 的拓撲上定義了一個序。

證明:這是一種特殊情況,因為冪集的子集按包含排序

定義(拓撲的比較):

為任意集合, 上的拓撲。只要 ,我們說 **更粗糙**,而 **更精細**。

命題(拓撲的交集是一個拓撲):

為集合 上的一族拓撲。那麼

上的拓撲。

證明:這從交集保留封閉性質得出,注意到有限交集和任意並集是 上的運算(以及整體和空集,即 0 階運算),並且每個拓撲都對這些運算封閉。

定義(開鄰域):

為一個拓撲空間,並令 。一個 的**鄰域**是一個開集 (即 ),使得 .

定義(鄰域):

為一個拓撲空間,並令 。一個 的**鄰域**是一個集合 ,使得存在一個開集 ,使得 並且 。所有 的鄰域的集合記作 .

定理(用鄰域系刻畫拓撲結構):

假設 是一個集合,並且對於每個 ,我們給定一個集合 ,使得 對於每個 。那麼集合 構成 上的拓撲結構的鄰域當且僅當滿足以下條件:

  1. (超集封閉性)

在這種情況下, 作為鄰域的拓撲由鄰域唯一確定,並且等於

.

Proof: Let's first show that whenever the sets are the neighbourhoods of a topology on , then they satisfy 1. - 4. Indeed, is an (open) neighbourhood of every of its points. Then, whenever for some , we find open sets such that and , note that and that is open, as finite intersections of open sets are open. If , open and arbitrary, then so that . Finally, if , choose an open s.t. , then is open, hence a neighbourhood of all of its points. Now suppose that for each we are given and these neighbourhoods satisfy the conditions 1.-4. Then we define

and claim that is a topology. Indeed, , since then the condition is trivially satisfied, since there are no . Furthermore, , since whenever , and is a neighbourhood of . Then, suppose that is a family of sets contained in , and set . We claim that . Indeed, if , pick so that , then such that since , and finally note that . Then, let and pick so that and . Then , so that , since .

Now we claim that for each , the neighbourhoods of with respect to are precisely . Indeed, let first a neighbourhood of be given. Choose open. Then by definition of , there exists such that , and since is closed under supersets, . Conversely, suppose . Define , and claim that and is open in . Indeed, is clear, since is necessary for being a neighbourhood of . Let now . By 4., choose so that and is in for all . Thus for all , so that , and since was arbitrary, is open, and is a neighbourhood in of .

最後,設 為任何以 作為鄰域的拓撲,並斷言 如上定義。事實上,如果,則 本身就是其每個點的鄰域,因此在 中。反之,如果,則對於每個,選擇 的一個鄰域 包含在 中(為了避免選擇公理,選擇它們是所有此類集合的並集),並注意

.
  1. 為一個集合。
    1. 證明 ,即冪集,是 上的拓撲(稱為離散拓撲),並且當 具有該拓撲, 是任意一個函式,其中 是一個拓撲空間,那麼 自動是連續的。
    2. 證明 上的拓撲(稱為平凡拓撲),並且當 具有該拓撲, 是任意一個拓撲空間, 是任意一個函式,那麼 是連續的。
華夏公益教科書