「積拓撲」:各本之異
[底本] | [底本] |
刪去的內容 新增的內容
始 |
例 |
||
第六行:
有[[拓撲空間]][[族 (數學)|族]]({X<sub>i</sub>}),得其直積(ΠX<sub>i</sub>)。積拓撲者,直積之[[拓撲分類|最粗拓撲]],以令直積往族中拓撲空間之[[投影]](ΠX<sub>i</sub> → X<sub>j</sub>, (x<sub>i</sub>)→x<sub>j</sub>)皆[[連續]]也。
若[[族 (數學)|指標集]]為有限,則拓撲之直積為積拓撲之[[子基 (拓撲)|子基]]也。
=== 性 ===
* [[T0空間|T<sub>0</sub>空间]]之積乃T<sub>0</sub>。
* [[T0空間|T<sub>1</sub>空间]]之積乃T<sub>1</sub>。
* [[豪斯多夫空間]]之積乃豪斯多夫空間。
* [[正則空間]]之積乃正則空間。
* [[Tychonoff空間]]之積乃Tychonoff空間。
* [[正規空間]]之積未必正規也。
* [[緊集|緊]]空間之積乃緊([[Tychonoff定理]])。
* [[連通]]空間之積必連通。
* [[道路連通]]空間之積必道路連通。
== 例 ==
*二實數集之積空間為平面,三實數集之積空間為三維空間,四實數集之積空間為四維空間,類推可也。
*二單位[[區間]]之積空間為[[正方形]],三單住區間之積空間為[[立方體]]。
{{拓撲術語}}
|