コルモゴロフ空間
数学の位相空間論関連分野におけるコルモゴロフ空間（コルモゴロフくうかん、英: Kolmogorov space）あるいは T₀-空間は、任意の二点に対して少なくともその一方が他方を含まぬ開近傍を持つような位相空間である。この条件は分離公理と呼ばれるものの一種で、T₀-分離公理などと呼ばれ、直観的には空間の各点が位相的に識別可能であることを意味する。名称はアンドレイ・コルモゴロフの名に因む。
例と反例
数学を普通に研究していて遭遇する位相空間というのは T₀ になっていることが殆どである。特にすべてのハウスドルフ空間 (T₂) およびT₁-空間は T₀ である。
T0-空間に対する操作
よくある位相空間の例は大体が T₀ である。実際、数学の多くの分野（特に非-T₀ な空間が飛び交う解析学）では、非-T₀ は後述するような方法で T₀-空間に取り換えられるのが普通である。こういった考え方を実感するのに、よく知られた例を挙げる。 自乗可積分函数の空間 L²(R)は、実数直線 R から複素数平面 C への可積分函数 f で |f(x)|² の実数直線全体に亙るルベーグ積分が有限になるもの全てからなる空間とする。この空間は可測函数 f の積分の平方根をノルム ǁfǁ としてノルム線型空間になる、と言いたいのだけれども問題があって、この「ノルム」だと零値函数以外にも「ノルム」が 0 になるような函数があるので、「ノルム」は本当はノルムではなくて半ノルムにしかならないのである。この問題を取り除く標準的な方法は、空間 L²(R) の元は函数そのものではなくて函数の属する同値類であるとすることである。これは、もともとの半ノルム線型空間から商空間を構成したのであって、得られた商空間がノルム線型空間になるのである。この構成ではいくつものよい性質をもとの半ノルム空間から受け継ぐ（後述）。
一般に、集合 X 上で決まった位相 T を扱う際には、その位相が T₀ であった方が便利である。そうでなかった場合に、X のほうは変えずに T には適当に尾ひれを付けて強制的に T が T₀ となるようにすることはあまり適当な方法ではない（非-T₀ 位相が重要な特殊化として得られることが多いことによる）。そこで、位相空間に対して定められる様々な条件について、その T₀ 版と非-T₀ 版の両方を理解することが重要になる。
コルモゴロフ商
点の間の位相的不可識別性は位相空間における同値関係を与える。どのような位相空間 X を考えるかに依らず、この同値関係で割って得られる商位相空間は常に T₀ になり、この商空間は X のコルモゴロフ商 (Kolmogorov quotient) と呼ばれ、KQ(X) で表される。もちろん、もともとの X がそもそも T₀ であったならば、KQ(X) と X とは自然 同相になる。圏論的に述べれば、コルモゴロフ空間の圏は位相空間の圏の反射的部分圏であり、コルモゴロフ商はその反射子である。
二つの位相空間 X, Y がコルモゴロフ同値であるとは、それらのコルモゴロフ商が同相となることを言う。位相空間に対する多くの性質が、このコルモゴロフ同値関係で保たれる（つまり、コルモゴロフ同値な X と Y について、X がそういった性質を満たすことと Y が同性質を満たすこととが同値になる）。他方、位相空間における別の性質は T₀-性を含意する（つまり、空間 X がその性質を持つならば X は T₀ でなければならない）ものが大半であって、わずかに（離散空間であるという性質のような）いくつかの性質がこの経験則の例外となっているばかりである。さらに良いことは、位相空間の上に定義される多くの構造が X と KQ(X) の間で翻訳することができる。というわけで、ある種の性質や構造を備えた非-T₀ な位相空間があったならば、普通は同じ性質や構造を持った T₀ な位相空間をコルモゴロフ商をとることで作れるのである。
先に挙げた L²(R) の例もこの特徴を備えている。位相的な観点でいえば、この例でもととした半ノルム線型空間にはたくさんの余計な構造が入っている（例えば、ベクトル空間の構造や、半ノルムおよびそれが定める（位相と両立する）擬距離や一様構造など）し、それらの構造が持つ様々な性質（例えば半ノルムが中線定理を満たすことや、一様構造が完備であることなど）も持っているのだが、この半ノルム線型空間が T₀ でないことは殆ど至る所等しい二つの可測函数が位相的に識別不能だからなのであって、そのコルモゴロフ商（つまり実際の L²(R)）は先ほど述べた余分な性質や構造はそのまま保って「中線定理を満たす完備半ノルム空間」となり、それだけではなくていまや T₀ であるという性質が加わるのである。半ノルムがノルムとなる必要十分条件は考えている位相が T₀ となることであったから、L²(R) は実際に「中線定理を満たす完備ノルム空間」（ヒルベルト空間と呼ばれる）になる。そして、数学（や量子力学などの物理学）が一般に扱うのは、このヒルベルト空間についてである、というわけである。さてこの例において記号 L²(R) が、この記号が示唆するところの自乗可積分函数そのものの成す空間ではなくて、可積分函数の同値類の成す空間であるところのコルモゴロフ商を指しているのが普通である、ということに注意されたい。
非 T0-版の概念
ノルムがまず歴史的に定義されていた一方で、半ノルムの定義というのはノルムの非-T₀ 版の一種としてうまく定式化されたものである。一般に、位相空間の「性質」と「構造」の双方に対してその 非-T₀ 版を考えることができるが、まずはハウスドルフであるという性質を例にとって「性質」の場合について述べる。ハウスドルフであるという性質に対して新たな性質を、位相空間 X がその新たな性質を満足するというのを、コルモゴロフ商 KQ(X) がハウスドルフであることと定義することができる。今作ったこの性質は（あまり有名ではないものの）顕著な概念で、この場合 X は前正則と呼ばれる位相空間である（別にもっと直接的な前正則性の定義もあるのだが）。他方、「構造」の場合について距離構造を例にとって述べれば、位相空間 X 上の新たな構造を例えば簡単に KQ(X) 上の距離函数となるものとして入れることができる。今得られた構造もまた顕著な構造で、これは X 上の擬距離函数を定める（これもやはりもっと直接的な定義がある概念である）。
コルモゴロフ商を考えるこのやり方だと、考えたい性質や構造から T₀-性の要求を自然に取り除ける。T₀ であるような空間は一般には容易に調べられるものであるし、この方法で T₀ でないことを許した構造の全体像をつかむことも容易化することができる。つまり、T₀ の要求はコルモゴロフ商の概念を用いて自由につけたり外したりできるということである。