For faster navigation, this Iframe is preloading the Wikiwand page for 開かつ閉集合.

開かつ閉集合

数学、特に位相幾何学位相空間論において、ある位相空間開かつ閉集合(かいかつへいしゅうごう、: closed-open set)とは、その位相空間の開集合であり閉集合でもあるような集合である。普通の意味の とは対義語であるから、開かつ閉集合 というものが有り得るということは直観に反するように見えるかもしれない。しかし、数学的に定義された とは相互排他的な概念ではない。一般に、X を位相空間、AX の部分集合とするとき、A とその補集合 XA とがいずれも X の開集合であるならば、それらはいずれも X の開かつ閉集合である。英語では、closed-open set を clopen set ともいう。clopen set という語は closed-open set という語から作られたかばん語である。

[編集]

任意の位相空間 X に対して、空集合および全体集合 X はいずれも X の開かつ閉集合である[1][2]

X実数直線 R の 2 つの開区間 (0,1), (2,3)和集合とする: X = (0,1)(2,3)X に、R の通常の位相から作られる X 上の相対位相を導入する。そのとき、開区間 (0,1), (2,3) はいずれも X の開かつ閉集合である。これは非常に典型的な例である。このように、位相空間 X が有限個の X連結成分の和集合の形に表されるならば、X の各連結成分は X の開かつ閉集合となる。

もう少し非自明な例として、有理数全体の集合 Q に通常の位相( R の通常の位相から作られる Q 上の相対位相)を導入し、A を正の有理数でその平方が 2 よりも大きくなるようなもの全体の集合とする: A = { xQ  |  x > 0, x2 > 2 }2Q に属さないという事実を利用すれば、AQ の開かつ閉集合であることを示すのは容易である(注意すべきは、AR の開かつ閉集合ではない ことである[注釈 1]。そもそも AR の開集合にも閉集合にもならない)。

性質

[編集]
  • 位相空間 X に対して、X の開かつ閉集合が空集合と全体集合 X だけであるときかつそのときに限り、X連結である[4]
  • 位相空間 X の部分集合 A に対して、AX の開かつ閉集合であるときかつそのときに限り、A境界は空集合である[5]
  • 位相空間 X の任意の開かつ閉集合は(場合によっては無限個の) X の連結成分の和集合の形に表される。
  • X を位相空間、AX の部分集合とする。X の全ての連結成分が X の開集合であるならば(例えば、X が連結成分を有限個しか持たないとき[6]や、X局所連結であるときはそうである)、AX の連結成分の和集合の形に表されるときかつそのときに限り、AX の開かつ閉集合である。
  • 位相空間 X に対して、X の全ての部分集合が X の開かつ閉集合であるときかつそのときに限り、X離散空間である。
  • 集合の を演算と看做せば、与えられた位相空間 X の開かつ閉集合の全体はブール代数を成す。実はどんな ブール代数も、適当な位相空間からこの方法を用いて得られる。
  • 位相空間 X に対して、X の全ての点が開かつ閉集合から成る基本近傍系を持つときかつそのときに限り、X 0 次元である[7]

注釈

[編集]
  1. ^ R は連結である[3]から、R の開かつ閉集合は R と Ø だけである。

出典

[編集]
  1. ^ Bartle & Sherbert 1992, p. 348 (regarding the real numbers and the empty set in R)
  2. ^ Hocking & Young 1961, p. 56 (regarding topological spaces)
  3. ^ 松坂 1968, p. 200, 第5章§1(E)定理6.
  4. ^ 松坂 1968, p. 195, 第5章§1(A)連結位相空間.
  5. ^ Mendelson 1990, p. 87 “Let A be a subset of a topological space. Prove that Bdry (A) = Ø if and only if A is open and closed.” (Given as Exercise 7)
  6. ^ 松坂 1968, p. 207, 第5章 問題6.
  7. ^ Willard 2004, p. 210, 29: Totally disconnected spaces.

参考文献

[編集]
  • Bartle, Robert G.; Sherbert, Donald R. (1992) [1982]. Introduction to Real Analysis (2nd ed.). John Wiley & Sons, Inc. 
  • Hocking, John G.; Young, Gail S. (1961). Topology. NY: Dover Publications, Inc. 
  • Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. ISBN 0-486-66352-3 
  • Willard, Stephen (2004) [1970]. General Topology. Dover Publications, Inc. ISBN 978-0-486-43479-7 
  • 松坂 和夫、1968、『集合・位相入門』、岩波書店 ISBN 4-00-005424-4

関連項目

[編集]
{{bottomLinkPreText}} {{bottomLinkText}}
開かつ閉集合
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?