位相の特徴付け

数学において位相空間の位相は開集合系として定義することが多いが、それと同値な位相の特徴付けがいくつも知られており、それらは同じ位相空間の圏を定める。どの定義からも位相的概念に対する新たな見方が提供され、多くの位相的概念について更なる事実や一般化の方向性が導き出される。
位相空間の圏.
厳密に言えば、本項における各定義は具体圏を定めるもので、それらの圏はどの二つも互いに具体同型であることが示せる。つまり、以下に定義する圏はどの二つをとっても、圏の対象をそのまま単に集合と看做し、圏の射をそのまま集合の間の写像と看做したとき、（集合の圏の部分圏として）圏同型になる。
具体同型を実際に構成することは、それほど明らかなものではなく、概して面倒である。最も単純なやり方はおそらく、位相空間の圏 Top と各圏の間の互いに逆となる具体同型の組を構成することである。それには以下のような手順を踏めばよい。
開集合による定義.
通常は、これを位相空間の圏 Top として扱う。
閉集合による定義.
これは位相空間の開集合の成す束を、その順序論的双対である閉集合の束に取り替えて得られる圏である。開集合による定義とはド・モルガンの法則で結ばれている。
閉包作用素による定義.
クラトフスキーの閉包公理は、位相空間上の閉包作用素（部分集合にその位相的閉包を割り当てる写像）の性質を抽象化したものである。この位相的な閉包作用素は圏論において一般化される。 の G. Castellini による "Categorical Closure Operators" を参照。
開核作用素による定義.
位相的な開核作用素は、（閉包作用素が部分集合に位相的閉包を割り当てるのと同様に）部分集合にその位相的開核を割り当てるものである。 
近傍系による定義.
この定義は近傍の概念を公理化したものであり、"U" が "N"("x") に属するとき "U" は "x" の近傍であるという。近傍系から開集合の概念を回復するには、集合が開であることを、その集合が自身に属する全ての点の近傍となることと定めればよい。このとき、先ほどの公理の最後の条件は任意の近傍が開集合を含むことを述べたものであることが分かる。
近傍系による位相空間の定義はハウスドルフによる集合論基礎初版でのオリジナルの位相空間の定義に近いものとなっている。
このように、ハウスドルフのオリジナルの定義と現在の一般的な定義との間には複数の相違点があり、両者は似つつも一致しないことには注意を要する。
収束性による定義.
位相空間の圏は "X" 上のフィルターに関する収束関係を通じて定義することもできる。集合 "X" の各点 "x" に対し、"x" を集積点とするフィルターの集合を与えると、これらの集合系から "X" の位相を復元することができる。たとえば、"X" の部分集合 "A" が閉であることは、フィルター"F" と "A" との交わりが "A" 上のフィルターであるならば、 "A" は "F" の極限点を全て含むという条件によって特徴づけることができる。さらに、位相空間のあいだの写像の連続性は点 "x" に収束しているフィルターの像フィルターが "x" の像に収束していること、として特徴づけることができる。つまりこれは、フィルターの収束性によっても位相的概念の基礎づけができることを示すものである。
同様に、圏 Top は有向点族（ネット）の収束を通じても記述できる。フィルターに対すると同様、この定義はネットの収束を位相的概念の基礎としてもよいことを示している。この定義から上記の閉集合系による位相の定義を回復するには、集合 "A" が閉であることを、"A" 上のネット ("x"α) が任意に与えられるとき "A" は ("x"α) の極限点を全て含むことと定めればよい。写像の連続性に関してもフィルターの場合と同様にして収束しているネットの像が再び収束先の像に収束することとして特徴づけることができる。