開部分集合とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 開部分集合の意味・解説 

開集合

(開部分集合 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/10 19:50 UTC 版)

例:青い円周x2 + y2 = r2 を満たす点 (x, y) の集合。赤い円板x2 + y2 < r2 を満たす点 (x, y) の集合。赤色の集合は開集合、青色の集合はその境界、これらを併せた集合は閉集合である。

数学位相空間論における開集合(かいしゅうごう、: open set)は、実数直線における開区間の概念を一般化する概念である。もっとも簡単な例は距離空間における場合で、そこでは開集合の概念は、各点を中心とする球体を含むような部分集合と一致する。しかし、一般には開集合は非常に抽象的なもので、「開集合の任意個の合併は開集合である」「開集合の有限個の交わりは開集合である」「全体空間は開集合である」という性質を満たす限りにおいて任意の集合族を開集合族とすることができる。空間に対する開集合族の選び方の各々は位相と呼ばれる(位相の特徴付けの項も参照せよ)。全ての集合には、任意の部分集合が開集合である離散位相と、空集合と全体集合のみを開集合とする密着位相という、二つの自明な位相が定義できる。

しかし実用上は、離散位相と密着位相の中間にある非自明な位相を考えることが多く、開集合の概念は位相空間における点の「近さ」について述べる方法を提供する基本的な道具立てである。開集合族がひとたび決められたならば、近さの概念を言い表すのに用いられる連続性連結性およびコンパクト性が定義される。

開集合およびそれを含む位相の概念は点集合位相において中心的な重要性を持つものであるが、数学の他の主要分野における構造化の道具としても用いられる。そのような位相の例には、代数幾何学におけるザリスキー位相代数多様体の代数的特性を反映する)や、微分位相幾何学における可微分多様体上の位相(空間内の各点が有限次元ユークリッド空間内の開球体に同相な近傍を持つ)などがある。

動機づけ

直観的には、開集合は二を区別する方法を与える。例えば、位相空間内の一点について、もうひとつの(相異なる)点を含まない開集合がとれるならば、それら二点は位相的に区別できる英語版と言う。このようなやり方で、同じ位相空間のふたつの集合が「近い」ということを、その空間上に具体的な距離函数を定義することなしに言及することができる。したがって、位相空間は距離空間の一般化とみなすことができる。

実数全体の成す集合 には、自然なユークリッド距離(函数 d(x, y) ≔ |x − y|)がある。これを用いて、与えられた実数に対して、その実数の近い点(つまり、与えられた実数を x として、x からの距離が ε 内にあるような点)全体の成す集合について述べることができる。本質的に、xε 以内にある点は、ε の精度で x を近似するものである。着目すべきは、ε > 0 を常に保ったまま ε をより小さくしていけば、x をより高い精度で近似する点が得られることである。例えば、x ≔ 0, ε ≔ 1 とすれば、xε 内の距離にある点全体は、ちょうど開区間 (−1, 1) に属する点(つまり、−1 から 1 までの任意の実数)の全体になっている。同様に、ε ≔ 0.5 とすれば、xε 内の距離にある点全体は開区間 (-0.5, 0.5) に他ならず、明らかにこちらの点のほうが ε = 1 の場合と比べて精度が高い。

このように、ε をどれほどでも小さく定義すれば、x の近似の精度はどれほどでも高くできる。特に、開区間(-ε, ε) の形の集合は x = 0 の近くの点に関するたくさんの情報を与えるものとなる。そこで、具体的なユークリッド距離の代わりに、このような集合を x に近い点の記述に用いることができる。この画期的な考えは広範にわたって重大な結果をもたらす。特に、0 を含む((-ε, ε) ではない)別な種類の集合の集まりを定義することで、0 とほかの実数との距離に関する異なる結果を求めることができる。例えば、そのように「距離を測る」集合は のみと定めれば、0 を近似する精度はこの ただ一つなのであるから、 の元である任意の実数が 0 に近い(ある意味では、0 と任意の実数との距離が 0 であると思える)ということになる。このような測り方はつまり、 に入るならば 0 に近く、 に入らないならば 0 に近くない、という二択条件と考えればよい。

一般に、0 の近似に用いる、0 を含む集合族として開近傍系が定まり、その元は開集合と呼ばれる。実は、これらのことは実数の集合 に限らず任意の集合 X に対して一般化することができる。その場合、集合 X の与えられた点 x に対して、x の近似に用いる x の「周囲」の(つまり x を含む)集合の族を定義することができる。もちろん、そのような族は(公理と呼ばれる)ある種の性質を満足するようにしなければならない(そうでないと距離を測る方法がきちんと定義できない)。たとえば、X に属する任意の点は x を何らかの精度で近似するはずであるから、X は当該の集合族に入っているべきものである。ひとたび x を含む「より小さい」集合を定義し始めれば、x をより高い精度で近似する方向へ向かっていく。このようなことを念頭に、x の周りの集合族が満足することが求められるほかの公理も定めることができる。

定義

開集合の概念は、その抽象性の度合いも含めて、様々なクラスに対して定式化することができる。以下にいくつかを挙げる:

ユークリッド空間の場合

n-次元ユークリッド空間 n の部分集合 Uであるとは、任意の xU に対し、実数 ε > 0 が存在して、x とのユークリッド距離ε より小さい任意の ynyU も満たすようにできるときに言う[1]。あるいは同じことだが、n の部分集合 U が開となるのは、U の各点が U に含まれる n 内の近傍を持つときである。

距離空間の場合

距離空間 (M, d) の部分集合 Uであるとは、任意の点 xU に応じて適当な実数 ε > 0 を選べば、d(x, y) < ε なる任意の yM に対して yU となるようにできるときに言う。同じことだが、U が開となるのは、U の各点が U に含まれる近傍を持つときである。

これはユークリッド空間の例を一般化するものである(実数の直積にユークリッド距離を入れたものは距離空間である)。

一般の位相空間の場合

一般の位相空間において、開集合としてはほとんど何でもありで、下敷きにする集合が同じであっても開集合族として選ぶものが異なれば、位相空間としては異なるものとなる。

集合 X とその上の部分集合族 τ に対し、τX 上の位相または開集合系であるとは、

  • 全体集合 X空集合τ に属する:
主要概念



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「開部分集合」の関連用語

開部分集合のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



開部分集合のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの開集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS