庫拉托夫斯基閉包公理可來定義一個集上的拓撲結構,它和以開集作定義拓樸結構的公理等價。
此條目沒有列出任何參考或來源。 (2021年5月17日) |
定義
- 。
閉包算子需符合以下條件:
- (等冪性)
如果不要求第二個公理即冪等公理,則剩下的公理定義了預閉包算子。
等價的證明
從由閉包算子定義的拓撲空間開始。A 稱為在 是閉合的,若。亦即,X 的閉集是閉包算子的不動點。
若稱「開集」為其補集為閉集的集合,則所有開集會形成一個拓撲,證明如下:
- 由公理4.可知為閉集;由公理1.及閉包算子的閉合性可知X 為閉集。因此,X 及(分別為及X 的補集)為開集。
- 令X 的子集(其中為任意集合)皆為開集,由公理1.及閉集的定義可知為開集。
- 令X 的子集A 及B 為開集,由公理3.可知為開集。
相反地,由開集定義的拓撲也可推導至由閉包算子定義的拓撲空間。令外,也可得出下列等價的定義:
兩個拓撲空間之間的函數
稱為連續的,若對所有X 的子集A',
一個點稱之為在內是接近A 的,若。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.