-
積空間
鎖定
積空間定義
令I為(可能無窮的)指標集並設Xi對於每個I中的i為一個拓撲空間。置X = Π Xi,也即集合Xi的卡積。對於每個I中的i,我們有一個標準投影 pi : X → Xi。X上的積拓撲定義為所有投影pi在該拓撲下連續的最疏拓撲(也就是開集最少的拓撲)。該乘積拓撲有時也稱為吉洪諾夫拓撲。
很明顯,X上的乘積拓撲可以表述為形為pi(U)的集合生成的拓撲,其中i屬於I而U是Xi的一個開集。換句話説,集合{pi(U)}構成X上的拓撲的子基。X的子集是開的當且僅當它是(可能無窮多的)的有限個形為pi(U)的集合的交集的並集。pi(U)有時稱為開柱,而它們的交集稱為柱集。
我們可以用構成X的空間Xi的基來表述乘積拓撲的基。設對於每個i屬於I,選取一個集合Yi或者是整空間Xi或者是該空間的一個基,並且滿足Xi = Yi對於除了有限個I中的i之外的所有i成立。令B為集合Yi的卡積。所有可以這樣構造的B集合的族構成乘積空間的一個基。這意味着有限多空間的乘積有一個由Xi的基元素的乘積組成的基。
如果指標集為有限(特別是,對於兩個拓撲空間的乘積),則積拓撲有更簡單的表述。這個情況下,每個Xi的拓撲的乘積構成X上的拓撲的一個基。一般來講,Xi的拓撲的乘積構成一個稱為X上的盒拓撲的基。一般情況下,盒拓撲比積拓撲更細,但是對於有限乘積,它們是相同的。
積空間例子
從實直線R上的標準拓撲開始,定義n份R的乘積,就得到普通的R上的歐幾里得拓撲。
積空間屬性
乘積空間X加上標準投影,可以用如下的泛性質來刻劃:若Y是拓撲空間,並且對於每個I中的i,fi : Y → Xi是一個連續映射,則存在恰好一個連續映射f : Y → X滿足對於每個I中的i如下交換圖成立: 這表明乘積空間是拓撲空間範疇中的積。從上述範性質可以得出映射f : Y → X連續當且僅當fi = pi o f對於所有I中的i連續。在很多情況下,檢查分量函數fi的連續性更為方便。檢驗映射g : X→ Z是否連續通常更難;可以試着用某種方式利用pi連續這一點。
除了連續,標準投影pi : X → Xi也是開映射。這表示每個積空間的開子集投影到Xi上還是開集。反過來不真:若W是到所有Xi的投影都是開集的積空間的子空間,則W不一定是X中的開集。(例如,W = R \ (0,1).)標準投影通常不是閉映射。
積空間聯繫
和其它拓撲概念的聯繫
積空間可分離性
每個T1空間的積是T1的。
每個豪斯多夫空間的積是豪斯多夫的。
每個正則空間的積是正則的。
每個吉洪諾夫空間的積是吉洪諾夫空間。
正規空間的積不一定是正規的。
積空間緊緻性
每個緊緻空間的積是緊緻的(吉洪諾夫定理)局部緊緻空間的積不一定是局部緊緻的。
積空間連通性
每個連通(路徑-連通)空間是連通的(路徑-連通的)。
每個遺傳性不連通空間的積是遺傳性不連通的。
每個"局部看起來"一個標準投影F × U → U的空間稱為纖維叢。