開かつ閉集合
数学、特に位相幾何学や位相空間論において、ある位相空間の開かつ閉集合(かいかつへいしゅうごう、英: closed-open set)とは、その位相空間の開集合であり閉集合でもあるような集合である。普通の意味の開 と閉 とは対義語であるから、開かつ閉集合 というものが有り得るということは直観に反するように見えるかもしれない。しかし、数学的に定義された開 と閉 とは相互排他的な概念ではない。一般に、X を位相空間、A を X の部分集合とするとき、A とその補集合 X−A とがいずれも X の開集合であるならば、それらはいずれも X の開かつ閉集合である。英語では、closed-open set を clopen set ともいう。clopen set という語は closed-open set という語から作られたかばん語である。
例
任意の位相空間 X に対して、空集合および全体集合 X はいずれも X の開かつ閉集合である[1][2]。
X を実数直線 テンプレート:Mathbf の 2 つの開区間 テンプレート:Open-open, テンプレート:Open-open の和集合とする: X = テンプレート:Open-open∪テンプレート:Open-open。X に、テンプレート:Mathbf の通常の位相から作られる X 上の相対位相を導入する。そのとき、開区間 テンプレート:Open-open, テンプレート:Open-open はいずれも X の開かつ閉集合である。これは非常に典型的な例である。このように、位相空間 X が有限個の X の連結成分の和集合の形に表されるならば、X の各連結成分は X の開かつ閉集合となる。
もう少し非自明な例として、有理数全体の集合 テンプレート:Mathbf に通常の位相( テンプレート:Mathbf の通常の位相から作られる テンプレート:Mathbf 上の相対位相)を導入し、A を正の有理数でその平方が 2 よりも大きくなるようなもの全体の集合とする: A = { x ∈ テンプレート:Mathbf | x > 0, x2 > 2 }。√2 が テンプレート:Mathbf に属さないという事実を利用すれば、A が テンプレート:Mathbf の開かつ閉集合であることを示すのは容易である(注意すべきは、A は テンプレート:Mathbf の開かつ閉集合ではない ことである[注釈 1]。そもそも A は テンプレート:Mathbf の開集合にも閉集合にもならない)。
性質
- 位相空間 X に対して、X の開かつ閉集合が空集合と全体集合 X だけであるときかつそのときに限り、X は連結である[4]。
- 位相空間 X の部分集合 A に対して、A が X の開かつ閉集合であるときかつそのときに限り、A の境界は空集合である[5]。
- 位相空間 X の任意の開かつ閉集合は(場合によっては無限個の) X の連結成分の和集合の形に表される。
- X を位相空間、A を X の部分集合とする。X の全ての連結成分が X の開集合であるならば(例えば、X が連結成分を有限個しか持たないとき[6]や、X が局所連結であるときはそうである)、A が X の連結成分の和集合の形に表されるときかつそのときに限り、A は X の開かつ閉集合である。
- 位相空間 X に対して、X の全ての部分集合が X の開かつ閉集合であるときかつそのときに限り、X は離散空間である。
- 集合の和 ∪ と積 ∩ を演算と看做せば、与えられた位相空間 X の開かつ閉集合の全体はブール代数を成す。実はどんな ブール代数も、適当な位相空間からこの方法を用いて得られる。"「ブール代数に関するストーンの表現定理」"
- 位相空間 X に対して、X の全ての点が開かつ閉集合から成る基本近傍系を持つときかつそのときに限り、X は 0 次元である[7]。
注釈
- ↑ テンプレート:Mathbf は連結である[3]から、テンプレート:Mathbf の開かつ閉集合は テンプレート:Mathbf と Ø だけである。
出典
- ↑ Bartle & Sherbert 1992, p. 348.
- ↑ Hocking & Young 1961, p. 56.
- ↑ 松坂 1968, 第5章§1(E)定理6.
- ↑ 松坂 1968, 第5章§1(A)連結位相空間.
- ↑ Mendelson 1990, p. 87.
- ↑ 松坂 1968, 第5章 問題6.
- ↑ Willard 2004, 29: Totally disconnected spaces.
参考文献
- [1982] (1992) Introduction to Real Analysis, 2nd, John Wiley & Sons, Inc..
- (1961) Topology. NY: Dover Publications, Inc..
- Mendelson, Bert [1975] (1990). Introduction to Topology, Third, Dover. ISBN 0-486-66352-3.
- [1970] (2004) General Topology. Dover Publications, Inc. ISBN 978-0-486-43479-7.
- 松坂 和夫、1968、『集合・位相入門』、岩波書店 ISBN 4-00-005424-4