庫拉托夫斯基閉包公理可來定義一個集上的拓撲結構,它和以開集作定義拓樸結構的公理等價。

定義

拓樸空間 是集合 及作用在 冪集上的閉包算子

閉包算子需符合以下條件:

  1. (等冪性)

如果不要求第二個公理即冪等公理,則剩下的公理定義了預閉包算子

等價的證明

從由閉包算子定義的拓撲空間開始。A 稱為在閉合的,若。亦即,X 的閉集是閉包算子的不動點

若稱「開集」為其補集為閉集的集合,則所有開集會形成一個拓撲,證明如下:

  1. 由公理4.可知為閉集;由公理1.及閉包算子的閉合性可知X 為閉集。因此,X(分別為X 的補集)為開集。
  2. X 的子集(其中為任意集合)皆為開集,由公理1.及閉集的定義可知為開集。
  3. X 的子集AB 為開集,由公理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.