T1 spaceとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > T1 spaceの意味・解説 

T1空間

(T1 space から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/13 08:16 UTC 版)

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

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

定義

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

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

T1-空間は別名、迫接空間[訳語疑問点]accessible space; 到達可能空間)あるいはフレシェ空間ともいい、R0-は別名、対称空間とも呼ばれる[* 1]

性質

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

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

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

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

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

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

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

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

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

ということがわかるから、先に述べた定義(と同値な条件)からこれは T1-空間である。これが T2 でないことは、任意の二つの開集合 OA, OB交わりOAB であり、これは空になり得ないことによる。あるいは、偶数全体の成す集合は、この空間のコンパクトだがでない部分集合となることからも、この空間がハウスドルフでないことがわかる。

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

一般化および関連概念

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

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

注釈

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

参考文献

  • 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 .

「T1 space」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

「T1 space」に関係したコラム

  • 海外のFX業者一覧

    海外のFX業者とは、日本に現地法人を設立していないFX業者のことです。海外のFX業者と日本国内のFX業者との大きな違いは、日本国内の法律が適用されるかどうかです。日本国内のFX業者の場合は「金融商品取...

辞書ショートカット

すべての辞書の索引

「T1 space」の関連用語

T1 spaceのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



T1 spaceのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのT1空間 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS