「拓撲空間」:各本之異

[底本][底本]
刪去的內容 新增的內容
Legobot
Bot: Migrating 43 interwiki links, now provided by Wikidata on d:q179899 (translate me)
無編輯摘要
第四行:
== 定義 ==
 
'''拓撲空間'''者,集(A)(<math>A</math>)也,且有[[幕集]]<ref>子集之聚。</ref>之[[子集]],曰'''拓撲'''(&<math>\tau;</math>)<ref>為''topology''之音譯,同于拓撲學。</ref><ref>若同一集合,不同拓撲,則以 (<math>A,&\tau;<sub>1</sub></math>) 及 (<math>A,&\tau;<sub>1</sub></math>)分辨之。</ref>,其物曰'''開集'''。凡拓撲者,必以下是從:
*空間與空集,皆開集(「<math>A,&phi;\emptyset &isin;\in &\tau;</math>」)。
*取拓撲之子集,其物之並,亦開集也(「<math>B \subseteq \tau \impliesrightarrow \cup_{b\in B}b \in \tau</math>」)。
*兩開集之交,亦開集也(「<math>x,y &isin;\in &\tau; &rArr;\rightarrow x &\cap; y &isin;\in &\tau;</math>」)。
 
開集之補集,曰[[閉集]]。且有:
第一六行:
== 例 ==
 
*集與空,成一拓撲。(「&<math>\tau; = \{ A,&phi;\emptyset \} </math>」)
*[[幕集]],成一拓撲,曰'''離散拓撲'''。(「&<math>\tau; = P(A)</math>」)
*[[度量空間]],其開球之並,聚以成集,為空間之拓撲。
*取一實數,凡小於此者成一集,曰實數之開集。所得拓撲,為實數之'''序拓撲'''。(「<math>\tau=\{ (-\infty,a) | a\in \mathbb{R}\} \cup \{\phi, \mathbb{R}\}</math>」)