「拓撲空間」:各本之異
[底本] | [底本] |
刪去的內容 新增的內容
從拓撲學分開 |
細無編輯摘要 |
||
第四行: | 第四行: | ||
== 定義 == |
== 定義 == |
||
'''量度空間'''者,集(A)也,且有[[幕集]]<ref>子集之聚。</ref>之[[子集]],曰'''拓撲'''(τ)<ref>為''topology''之音譯,再拓撲學同。<ref>若同一集合,不同拓撲,則以 (A,τ<sub>1</sub>) 及 (A,τ<sub>1</sub>)分辨之。</ref>,其物曰'''開集'''。凡拓撲者,必以下是從: |
'''量度空間'''者,集(A)也,且有[[幕集]]<ref>子集之聚。</ref>之[[子集]],曰'''拓撲'''(τ)<ref>為''topology''之音譯,再拓撲學同。</ref><ref>若同一集合,不同拓撲,則以 (A,τ<sub>1</sub>) 及 (A,τ<sub>1</sub>)分辨之。</ref>,其物曰'''開集'''。凡拓撲者,必以下是從: |
||
*空間與空集,皆開集(「A,φ ∈ τ」)。 |
*空間與空集,皆開集(「A,φ ∈ τ」)。 |
||
*取拓撲之子集,其物之並,亦開集也(「<math>B \subseteq \tau \implies \cup_{b\in B}b \in \tau</math>」)。 |
*取拓撲之子集,其物之並,亦開集也(「<math>B \subseteq \tau \implies \cup_{b\in B}b \in \tau</math>」)。 |
二〇〇七年一一月一九日 (一) 〇一時五〇分審
註︰蓋當今數學之事,誠難僅以文述,而無符號,故凡數學之文,咸有漢字、拉丁字相易之事,以合文言、數學,則無論文理之人,皆可明之也。
拓撲空間,開集之所也。夫開集者,無邊之部分也,疇人以為位相之本。拓撲空間之研究,曰拓撲學。
定義
量度空間者,集(A)也,且有幕集[一]之子集,曰拓撲(τ)[二][三],其物曰開集。凡拓撲者,必以下是從:
- 空間與空集,皆開集(「A,φ ∈ τ」)。
- 取拓撲之子集,其物之並,亦開集也(「」)。
- 兩開集之交,亦開集也(「x,y ∈ τ ⇒ x ∩ y ∈ τ」)。
開集之補集,曰閉集。且有:
- 空間與空集,皆閉集。
- 取拓撲之子集,其物之交,亦閉集也。
- 兩閉集之並,亦閉集也。
例
- 集與空,成一拓撲。(「τ = {A,φ}」)
- 幕集,成一拓撲。(「τ = P(A)」)
- 度量空間,其開球之並,聚以成集,為空間之拓撲。
- 取一實數,凡小於此者成一集,曰實數之開集。所得拓撲,為實數之序拓撲。(「」)