開集合のソースを表示

'''開集合'''（かいしゅうごう）は、その境界上にある点を自分自身にはまったく含まない[[集合]]のこと。あるいは、その任意の点の十分小さな[[近傍]]をそれ自身に必ず含む集合のこと。

例えば、[[数直線]]上で不等式 2 &lt; ''x'' &lt; 5 によって定まる集合は開区間と呼ばれるが、これは開集合である。
この場合の境界とは数直線上の点 2 と 5 であって、
不等式を 2 &le; ''x'' &le; 5 としたものや 2 &le; ''x'' &lt; 5 としたものは、境界を含んでいるので開集合ではない。
また、 2 &lt; ''x'' &lt; 5 によって定まる開区間内のどの点に対しても、その点の近傍として十分小さなものを選べば、それがもとの開区間に含まれるようにできる。

開集合の概念は一般の位相概念と深く結びつき、上の説明とは逆に、開集合であることを公理化してそれによって境界の概念を定義したりもされる（詳しくは[[位相空間]]の項を参照されたい）。この場合、開集合とは全体集合を形成する基本要素達のようなものであり、位相の特殊な定義の仕方によっては上で述べた説明とは逆に、例えば実数において境界上を含む集合（すなわち上の定義では[[閉集合]]）が“開集合”と呼ばれることになる場合もある。

==性質==
* 必ずしも有限個でない開集合の族の[[和集合]]はまた開集合である。
* 有限個の開集合の[[積集合|共通部分]]はまた開集合である。無限個の場合はその限りではない。
* [[距離空間]] (''X'', ''d'') において ''x'' を中心とする半径 &epsilon; の球体 ''B''(''x''; &epsilon;) は開集合であり、任意の開集合 ''A'' はある ''x'' &isin; ''A'' を中心とする十分小さな半径 &epsilon; の球体 ''B''(''x''; &epsilon;) を含む。
* 開集合の補集合は[[閉集合]]である。
* [[多様体]]の一つの開集合は部分多様体である。

==参考文献==
*[[内田伏一]] 『位相入門』 [[裳華房]]、1997年。

==関連項目==
* [[位相空間]]
* [[距離空間#開集合と閉集合|距離空間]]
* [[数学]]
* [[集合論]]

[[Category:位相幾何学|かいしゆうこう]]
[[Category:初等数学|かいしゆうこう]]
[[Category:数学に関する記事|かいしゆうこう]]