查看“基 (拓撲學)”的源代码

{{NoteTA
|G1 = Math
}}
在[[數學]]中，帶有[[拓撲]] ''T'' 的[[拓撲空間]] ''X'' 的'''基'''(base 或 basis) ''B'' 是 ''T'' 中[[開集]]的[[子集族|搜集]]，使得 ''T'' 中的所有開集可以被寫為 ''B'' 的元素的并集{{efn|1=在這裡我們約定空搜集之聯集仍為空集。}}。我們稱基“生成”了拓撲 ''T''。基在拓扑学中有其作用，因為拓撲自身的很多性質可简化成生成拓扑的基的描述，且許多拓撲最容易依據生成它們的基來定義。

== 基的簡單性質 ==

基有兩個重要性質:

# 基的元素[[覆蓋 (拓撲學)|覆蓋]] ''X''。（因為''X''在''T''裡，而''T''裡任一元素皆可被基覆蓋）
# 設 ''B''<sub>1</sub>、''B''<sub>2</sub> 是基的元素，并設 ''I'' 是它們的交集，則對於 ''I'' 中的每個 ''x''，有另一個基元素 ''B''<sub>3</sub> 包含 ''x'' 并包含在 ''I'' 中。（因為''I''也是開集，必可被表為''B''中元素之聯集）

如果 ''X'' 的子集的搜集 ''B'' 不能滿足任何一個條件，則它不是在 ''X'' 上任何拓撲的基(但它是[[準基]]，因為是 ''X'' 的子集的任意搜集。) 反過來說，如果 ''B'' 滿足了這兩個條件，則在 ''X'' 上有唯一一個 ''B'' 作為基的拓撲；它叫做 ''B'' '''生成'''的拓撲。(這個拓撲是在 ''X'' 上包含 ''B'' 的所有拓撲的[[交集]]。) 這是定義拓撲的非常常用的方式。對 ''B'' 生成在 ''X'' 上的一個拓撲的充分但非必要條件是 ''B'' 閉合在交集下；則我們總是可以取得上述 ''B''<sub>3</sub> = ''I''。

例如，在[[實數線]]中的[[開區間]]的搜集形成在實數線上的拓撲的基，因為任何兩個開區間的交集要么自身是開區間要么為空。事實上它們是在[[實數]]集上的標準拓撲的基。
 
但是，基不是唯一的。很多基甚至有不同的大小，可以生成相同的拓撲。例如，帶有有理數端點的開區間們也是實數集的基，帶有無理數端點的開區間們也是，但是這兩個集合是完全不相交的并且都真正的包含在所有開區間的基中。對比於[[線性代數]]中[[向量空間]]的[[基 (線性代數)|基]]，基不需要是極大化的；實際上，唯一的極大的基是這個拓撲自身。事實上，在空間中由基生成的任何開集都可以安全的增加到基中而不會改變拓撲。基的最小的可能的[[勢]]叫做拓撲空間的'''重量'''。

不是基的開集搜集的一個例子是所有形如 (−∞, ''a'') 和 (''a'', ∞) 的半-無限區間的集合 ''S''，這里的 ''a'' 是實數。''S'' 不是在 '''R''' 上的任何集合的基。要證明之，假設它是。那么例如，(−∞, 1) 和 (0, ∞) 作為一個單一基元素的并集，將在 ''S'' 生成拓撲中，并且因此它們的交集 (0,1) 也應該出現。但是 (0, 1) 明顯不能寫為 ''S'' 的元素的并集。使用可替代的定義，第二個性質失敗，因為沒有基元素可以容入這個交集內。

給定拓撲的一個基，要證明網或序列的收斂，在包含假定極限的所有基中的集合中最終證明它就是充分的。

== 依據基定義的對象 ==

* [[序拓撲]]通常定義為類似開區間的集合的搜集所生成的拓撲。
* [[度量空間|度量拓撲]]通常定義為[[開球]]的搜集生成的拓撲。
* [[第二可數空間]]是有[[可數集合|可數]]基的拓撲。
* [[離散拓撲]]有由所有[[單元素集合]]組成的基。

== 定理 ==

* 對於在開集 ''U'' 中每個點 ''x''，有一個基的元素包含 ''x'' 并被包含在 ''U'' 中。
* 拓撲 ''T''<sub>2</sub> [[拓撲空間|細]]於拓撲 ''T''<sub>1</sub>，[[當且僅當]]對於每個 ''x'' 和包含 ''x'' 的每個 ''T''<sub>1</sub> 的基元素 ''B''，有一個 ''T''<sub>2</sub> 的基元素包含 ''x'' 并被包含在 ''B'' 中。
* 如果 ''B''<sub>1</sub>,''B''<sub>2</sub>,...,''B''<sub>''n''</sub> 是拓撲 ''T''<sub>1</sub>,''T''<sub>2</sub>,...,''T''<sub>''n''</sub> 的基，則[[笛卡爾積|集合積]] ''B''<sub>1</sub> × ''B''<sub>2</sub> × ... × ''B''<sub>''n''</sub> 是[[積空間|乘積拓撲]] ''T''<sub>1</sub> × ''T''<sub>2</sub> × ... × ''T''<sub>''n''</sub> 的基。在無限乘積的情況下這仍適用，除了出現有限多個基元素之外全部都必須是整個空間之外。
* 設 ''B'' 是 ''X'' 的基并設 ''Y'' 是 ''X'' 的[[拓撲空間|子空間]]。那么如果我們交 ''B'' 的每個元素於 ''Y''，結果的集合的搜集是子空間 ''Y'' 的基。
* 如果函數 ''f'':''X'' → ''Y'' 映射 ''X'' 的所有基元素到 ''Y'' 的一個開集，它是一個[[開映射]]。類似的，如果 ''Y'' 的一個基元素的所有原像在 ''X'' 中是開集，則 ''f'' 是[[連續函數 (拓撲學)|連續函數]]。
* ''X'' 的子集的搜集是 ''X'' 上的拓撲當且僅當它生成自身。
* ''B'' 是拓撲空間 ''X'' 的基，當且僅當 ''B'' 的包含 ''x'' 的元素的子搜集形成在 ''x'' 上的[[局部基]]，對于 ''X'' 的任何點 ''x''。

== 閉集基 ==

[[閉集]]同樣擅長描述空間的拓撲。因為有對於拓撲空間的閉集的對偶的基的概念。給定一個拓撲空間 ''X''， ''X'' 的'''閉集基'''是閉集的集合族 ''F'' 使得任何閉集 ''A'' 是 ''F'' 的元素的[[交集]]。

等價的說，閉集族形成了閉集基，如果對於每個閉集 ''A'' 和每個不在 ''A'' 中的點 ''x''，存在一個 ''F'' 的元素包含 ''A'' 但不包含 ''x''。

容易檢查 ''F'' 是 ''X'' 的閉集基，當且僅當 ''F'' 的成員的[[補集]]的集合族是 ''X'' 的開集基。

設 ''F'' 是 ''X'' 的閉集基。則
# <big>∩</big>''F'' = ∅
# 對於每個 ''F''<sub>1</sub> 和 ''F''<sub>2</sub> 在 ''F'' 中，并集 ''F''<sub>1</sub> ∪ ''F''<sub>2</sub> 是 ''F'' 的某個子族的交集(就是說，對于任何不在 ''F''<sub>1</sub> 或 ''F''<sub>2</sub> 的 ''x''，存在一個 ''F''<sub>3</sub> 在 ''F'' 包含 ''F''<sub>1</sub> ∪ ''F''<sub>2</sub> 并不包含 ''x'')。
滿足這些條件的集合 ''X'' 的任何子集搜集形成 ''X'' 上的拓撲的閉集基。這個拓撲的閉集完全就是 ''F'' 的成員的交集。

在某些情況下，更習慣使用閉集基而非開集基。例如，一個空間是[[完全正規空間]]，當且僅當它的[[零集]]形成了閉集基。給定任何拓撲空間 ''X''，零集形成在 ''X'' 上某個拓撲的閉集基。這個拓撲將是 ''X''上比最初的要粗的最細的完全正規拓撲。在類似的脈絡下，在 '''A'''<sup>''n''</sup> 上的 [[環的譜#扎里斯基拓撲|Zariski拓撲]]被定義為選取多項式函數的零集作為閉集基。

== 準基 ==
若拓扑空間<math>X</math>是最小的[[拓扑]]使得<math>X</math>的子集的集<math>B</math>都是<math>X</math>的開集，則稱<math>B</math>為<math>X</math>的一個'''準基'''（subbasis/subbase）。另一等價的定義為，若<math>B</math>及其所有有限交集構成了拓扑空間<math>X</math>之基，則<math>B</math>為'''準基'''。

例子：
* 在[[實數]]線上，所有長度為1的開[[區間]]便是一個準基。

[[詹姆斯·韋德爾·亞歷山大|J.W. 亞歷山大]]證明了：若每個準基[[覆盖 (拓扑学)|覆盖]]都有一個有限個元素的子覆蓋，則此空間是[[緊緻]]的。

==注釋==
{{notelist|iger=}}

==參考文獻==
{{refbegin}}
* [[James Munkres]] (1975) ''Topology: a First Course''. Prentice-Hall.
* Willard, Stephen (1970) ''General Topology''. Addison-Wesley. Reprinted 2004, Dover Publications.
{{refend}}

{{点集拓扑}}

[[Category:点集拓扑学|J]]