T1空間

位相空間の分離公理
コルモゴロフ による分類
T0	(コルモゴロフ空間)
T1	(フレシェ空間)
T2	(ハウスドルフ空間)
T2½	(ウリゾーン空間)
完全T2	(完全ハウスドルフ空間)
T3（英語版）	(正則ハウスドルフ空間)
T3½（英語版）	(チホノフ空間)
T4（英語版）	(正規ハウスドルフ空間)
T5（英語版）	(全部分正規ハウスドルフ空間)
T6（英語版）	(完全正規ハウスドルフ空間)
歴史（英語版）

数学の位相空間論周辺分野における T₁-空間（T₁-くうかん、英: T₁ space）は、相異なる二点を選べば必ず、その各々の点がもう一方の点を含まない開近傍を持つ位相空間を言う。同じことが位相的に識別可能な二点についてのみ成り立つ場合は R₀-空間と言う。条件 T₁ および R₀ は分離公理の例である。

定義

X は位相空間で、x と y を X の点とする。いま、二点 x, y が「分離」されるというのを、x, y のそれぞれ一方が、他方を含まない開集合の少なくとも一つに含まれることを意味するものとすれば、

• X が T₁-空間であるとは、X の任意の相異なる二点が分離できるときに言う。
• X が R₀-空間であるとは、X の任意の位相的に識別可能な二点が分離できるときに言う。

T₁-空間は別名、迫接空間^{[訳語疑問点]}（accessible space; 到達可能空間）あるいはフレシェ空間ともいい、R₀-は別名、対称空間とも呼ばれる^{[* 1]}。

性質

位相空間 X に対して、以下の条件はどれもたがいに同値である。

• X は T₁-空間である。
• X は T₀ かつ R₀-空間である。
• 各点が X において閉じている、即ち X の各点 x に対して単元集合 {x} が閉集合である。
• X の任意の部分集合が、自身を含む開集合すべての交わりと一致する。
• X の任意の有限集合は閉集合である。
• X の任意の補有限集合は開集合である。
• 点 x における単項超フィルターは x にのみ収斂する。
• X の各点 x と各部分集合 S について、x が S の極限点であることと、x の任意の開近傍が S の点を無限個含むこととが同値になる。

位相空間 X に対して、以下の条件はどれもたがいに同値である。

• X は R₀-空間である。
• X の各点 x について、単元集合 {x} の閉包は x と位相的に識別不能な点のみからなる。
• X 上の特殊化前順序は対称的（従って同値関係）である。
• 点 x における単項超フィルターは x と位相的に識別不能な点にのみ収斂する。
• X のコルモゴロフ商（位相的識別不能な点は同じ点であるとみなして得られる空間）は T₁ である。
• X の任意の開集合は閉集合の合併として書ける。

一般に位相空間における二点間の関係として

「分離される」 ⇒ 「位相的に識別可能」 ⇒ 「相異なる」

という含意が成り立つ。一つ目の矢印の逆が成り立つならば、その空間は R₀ である。また二つ目の矢印の逆が成り立つ空間は T₀ であり、両方の矢印の逆が成り立つときはそれは T₁ になる。明らかに、空間が T₁ となるのは R₀ および T₀ の双方を満たすときであり、かつそのときに限る。

有限 T₁-空間は（任意の部分集合が閉になるから）必ず離散的となることに注意。

例

• シェルピンスキー空間は T₀ だが T₁ でないような位相の簡単な例である。
• 重複区間位相（英語版） は T₀ だが T₁ でないような位相の簡単な例である。
• 無限集合上の補有限位相は T₁ だが ハウスドルフ (T₂) でない位相空間の簡単な例である。このことは、補有限位相における任意の二つの開集合が必ず交わりを持つことからわかる。具体的に書くと、X を整数全体の成す集合とし、その上の開集合 O_A とは、X の有限集合 A を除く全ての元を含むもののことと定めれば、任意の相異なる二整数 x, y について、
  • 開集合 O_{x} は y を含むが x を含まず、また開集合 O_{y} は x を含むが y を含まない
  • あるいは同じことだが、任意の単元集合 {x} は、開集合 O_{x} の補集合ゆえ、閉集合である

ということがわかるから、先に述べた定義（と同値な条件）からこれは T₁-空間である。これが T₂ でないことは、任意の二つの開集合 O_A, O_B の交わりは O_A∪B であり、これは空になり得ないことによる。あるいは、偶数全体の成す集合は、この空間のコンパクトだが閉でない部分集合となることからも、この空間がハウスドルフでないことがわかる。

• 今の例を少し変更して、二重点付き補有限位相を考えると、これは R₀ だが T₁ でも R₁ でもない空間の例を与える。再び X を整数全体の成す集合とし、先の例で定義した O_A を使って開集合の準基 G_x を、各整数 x に対してx が偶数のとき: G_x = O_{{x, x+1}}, x が奇数のとき: G_x = O_{{x-1, x}} で定めると、この位相の開基はこの準開基に属する集合の有限交叉に書けるから、X の開集合は有限集合 A に対して
  ${\displaystyle U_{A}:=\bigcap _{x\in A}G_{x}}$
  の形になる。こうして得られた空間は、偶数 x に対して x と x + 1 とが位相的に識別不能だから、T₀ でない（従って、もちろん T₁ でもない）が、そのことを除けば先の例と本質的には変わりがない。
• （代数閉体上定義された）代数多様体上のザリスキー位相は T₁ である。これは、局所座標系で (c₁, …, c_n) とあらわされる点が多項式系 x₁ - c₁, …, x_n - c_n の零点集合であることに注意すれば、従って一点集合が閉となることによる。一方、この例がハウスドルフ (T₂) でないことはよく知られた事実である。ザリスキー位相は本質的には補有限位相の例になっている。
• 任意の完全不連結空間は T₁ である。これは各点において、その点のみからなる一点集合はその点の属する連結成分であり、従って閉集合となることによる。

一般化および関連概念

"T₁" や "R₀" およびこれらと類する同様の呼称は、位相空間のみならず近い概念である一様空間やコーシー空間、収斂空間などに対しても用いられる。いま挙げたような概念全てに統一的に適用できる特徴付けは、単項超フィルター（あるいは定有向点族）の極限の一意性（T₁ の場合。R₀ の場合は、位相的識別不能性を除いた一意性）である。

実のところ、一様空間あるいはもっと一般のコーシー空間は必ず R₀ になるので、これらに対する場合の T₁-分離公理は T₀-分離公理に帰せられる。しかしながら、それ以外の（前位相空間などの）収斂空間では R₀ 単独でも十分に意味のある条件になりうる。

注釈

1. 「フレシェ空間」という語は函数解析学で全く別の意味でよく用いられ、列型空間の一種であるフレシェ・ウリゾーン空間のことを単にフレシェ空間と呼ぶこともあるので、T₁ と呼ぶ方が紛れがない。同様に、「対称空間」の語もリーマン対称空間などを含む別な意味で使われるほうが一般に知られているので、避けたほうが無難である。

参考文献

• Willard, Stephen (1998). General Topology. New York: Dover. pp. 86–90. ISBN 0-486-43479-6 .
• Folland, Gerald (1999). Real analysis: modern techniques and their applications (2nd ed.). John Wiley & Sons, Inc. p. 116. ISBN 0-471-31716-0 .