Fσ集合

Fσ-集合の概要

位相空間論の一部門としてFσ-集合は、閉集合の可算和として表現できる部分集合を指します。この名前は、フランス語の「ferme」（閉じた）という言葉の頭文字「F」と、「somme」（合併）の頭文字「σ」を組み合わせたものです。Fσ-集合は、さまざまな数学の問題において重要な役割を果たしており、その特性や例を知ることは、高度な概念を理解する上で不可欠です。

性質

Fσ-集合に関連する特性は、いくつかの重要な定理の基盤となっています。例えば、Fσ-集合の補集合はGδ-集合であるという点です。Gδ-集合は、閉集合の可算交点に表される集合であり、Fσ-集合とGδ-集合は互いに補足関係にあります。

また、可算個のFσ-集合の合併も再びFσ-集合になります。しかし、有限個のFσ-集合の交わりはまたFσ-集合を形成します。このように、Fσ-集合は比較的扱いやすく、様々な演算の下でもその特性を維持する点が特徴です。なお、Fσ-集合の可算交叉はFσδ-集合と呼ばれています。

例と反例

Fσ-集合の具体例として、任意の閉集合を挙げることができます。閉集合はそれ自体がFσ-集合であるため、この関係は明白です。さらに、有理数全体の集合Qは、実数全体の集合RにおけるFσ-集合であると言えます。逆に、無理数全体の集合P（P = R ∖ Q）はRのFσ-集合ではありません。これは、有理数と無理数の性質の違いに起因しています。

特に、チホノフ空間においては、一点集合{x}は閉集合となることから、任意の高々可算な集合はFσ-集合であると言えます。距離化可能空間においては、すべての開集合はFσ-集合であり、任意の閉集合はGδ-集合になります。

また、座標平面R²上で、x/yが有理数となる点の集合AもFσ-集合の一例です。具体的には、原点を通り、傾きが有理数であるような直線の集まりとして、以下のように表現できます。

$$
A = igcup _{r ext{ } ext{∈} ext{ } ext{Q}}ig(ry,y) ext{ ext{mid} ext{ }y ext{ ∈ R}}ig
$$

この式はAが可算集合である有理数全体の集合Qに基づいています。

参考文献

Fσ-集合に関するさらなる情報や詳細な理解を深めたい場合は、以下の文献を参考にしてください。

• - John L. Kelley, General Topology, van Nostrand, 1955.
• - Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995). Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3.

関連項目

さらに、Gδ-集合やボレル階層についても知識を深めることで、Fσ-集合との関連性を理解するのに役立ちます。

もう一度検索