Gδ集合
数学の一分野である位相空間論における Gδ-集合あるいは内極限集合 (inner limiting set) とは、位相空間の部分集合で開集合の可算交叉となっているものを言う。
由来については、G というのが開集合を意味するドイツ語の Gebiet から、δ というのが交わりを意味するドイツ語の Durchschnitt からそれぞれとられたものである。
Gδ-集合（およびその双対であるFσ-集合）は、ボレル階層において二階 (second level) の集合であり、より正確には Gδ-集合の全体はちょうど Π0
2-階集合である。
例と反例
編集- 任意の開集合は明らかに Gδ-集合である。
- 無理数の全体 P は実数直線 R の Gδ-集合である。実際 P は、q が任意の有理数を亙るときの一点集合 {q} の R における補集合すべての交わりとして表せる。
- 有理数の全体 Q は実数直線 R の Gδ-集合ではない。実際、Q が開集合列 An の交わりに書けるとすると、各 An は（Q が R において稠密ゆえ）何れも R において稠密でなければならないが、上でやったように無理数全体の集合 P は稠密開集合の可算交叉として書けるから、P と Q との交わりをとれば R の稠密開集合の可算交叉が空集合となるものが存在することとなり、ベールの範疇定理に反する。
- R 上の至る所微分可能な実数値函数の導函数の零点集合は Gδ-集合である。この零点集合が内部が空な稠密集合となることは、ポンペイウの構成法から示される。
より複雑な Gδ-集合の例は、次の定理から得られる。
- 定理
- 集合 D を区間 [0,1] 上で定義された、各点で微分不可能な連続函数全体の成す集合とすると、D は区間 [0,1] 上の連続函数の成す集合 C([0,1]) において稠密で、距離空間としての C([0,1]) の Gδ-部分集合を含む[1]
性質
編集距離空間（および位相空間）における Gδ-集合の概念は、ベールの範疇定理と同様に距離空間の完備性の概念と強く関係する。このことは、マズルキェヴィチの定理として述べられる。
- 定理 (Mazurkiewicz)
- (X, ρ) を完備距離空間とするとき、部分集合 A ⊂ X について次は同値である。
- A が X の Gδ-集合であること
- A 上の距離函数 σ で ρ|A（X の距離函数 ρ の A への制限）と（位相に関する意味で）同値であるようなものが存在して、(A, σ) がふたたび完備距離空間となること
Gδ-集合の重要な性質は、位相空間から距離空間への連続写像がその上で定義され得るということにある。厳密に言えば、そのような写像 f が連続となるような点全体の成す集合は -集合を成すということである。これは、点 p における連続性というのが Π0
2-式で定義されることによる。具体的に書けば、任意の正整数 n に対して p を含む開集合 U で任意の x, y ∈ U について d(x, y) < 1/n を満たすようなものが取れるが、一旦 n の値を固定して対応する部分集合 U が取れるような点 p の全体を考えるとそれ自身が（開集合の和として）開集合であり、ここで n に対して普遍量化子を附すことは得られた開集合たちの可算交叉をとることに対応するから、所期の結論を得る。実数直線においてはこの逆も成り立つ：
- 実数直線の任意の Gδ-部分集合 A に対し、適当な函数 f: R → R が存在して、f は A に属する点のみにおいて連続となるようにすることができる。
このことから、無理数全体の成す集合が連続点集合であるような函数は存在する（トマエ函数などを参照）が、有理数の上でのみ連続な函数というのは構成不可能であることが帰結される。
基本的な性質
編集- Gδ-集合の補集合はFσ-集合である。
- 可算個の Gδ-集合の交わりはやはり Gδ-集合である。また、有限個の Gδ-集合の合併はふたたび Gδ-集合となる（可算個の Gδ-集合の合併は Gδσ-集合と呼ばれる）。
- 距離化可能空間において、任意の閉集合は Gδ-集合であり、双対的に任意の開集合は Fσ-集合になる。
- 位相的完備な空間 X の部分空間 A がそれ自身位相的完備となる必要十分な条件は A が X の Gδ-集合となることである。
- 稠密開集合の可算族の交わりを含むような集合は残留的 (comeagre, residual) であるという。残留的集合は函数の成す位相空間の生成的性質を定義するのに用いられる。
Gδ-空間
編集Gδ-空間は、その任意の閉集合が Gδ-集合となるような位相空間を言う(Johnson, 1970)[要出典]。正規空間が Gδ-空間でもあるとき、その空間は完全正規空間であるという。任意の距離化可能空間は完全正規であり、任意の完全正規空間は全部分正規である（いずれの含意も逆は成り立たない）。
関連項目
編集参考文献
編集- John L. Kelley, General topology, van Nostrand, 1955. P.134.
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR507446 P. 162.
- Fremlin, D.H. (2003) [2003]. “4, General Topology”. Measure Theory, Volume 4. Petersburg, England: Digital Books Logostics. ISBN 0-9538129-4-4 1 April 2011閲覧。 P. 334.
- Roy A. Johnson (1970). "A Compact Non-Metrizable Space Such That Every Closed Subset is a G-Delta". The American Mathematical Monthly, Vol. 77, No. 2, pp. 172–176. on JStor
注記
編集- ^ Νεγρεπόντης, Σ.; Ζαχαριάδης, Θ.; Καλαμίδας, Ν.; Φαρμάκη, Β. (1997). “2, Πλήρεις Μετρικοί Χώροι” (Greek). Γενική Τοπολογία και Συναρτησιακη Ανάλυσγη. Αθήνα, Ελλάδα: Εκδόσεις Συμμετρία. pp. 55–64. ISBN 960-266-178-X 3 April 2011閲覧。
- ^ Fremlin, D.H. (2003). “4, General Topology”. Measure Theory, Volume 4. Petersburg, England: Digital Books Logistics. pp. 334–335. ISBN 0-9538129-4-4 1 April 2011閲覧。