開集合の具体例は？イメージしやすい説明も！（区間：実数直線：距離空間：位相空間など）

開集合の具体例は？イメージしやすい説明も！（区間：実数直線：距離空間：位相空間など）

開集合は、数学の解析学や位相空間論で繰り返し登場する基本概念です。

名前だけ聞くと難しく感じられるかもしれませんが、身近な「境界に触れない余裕のある範囲」と考えると、具体例をつかみやすくなります。

実数直線上の開区間から、平面の円盤、一般の距離空間、さらに位相空間まで、順番にイメージを広げていきましょう。

開集合の意味と基本イメージ

それではまず開集合の意味と、最初に押さえたいイメージについて解説していきます。

点の周囲に小さな余白を置ける性質

開集合とは、集合の中に選んだどの点についても、その点のまわりに少し小さな範囲を取っても、すべて集合の内側に収まる集合です。

この「少し小さな範囲」を、実数直線では小さな開区間、平面では小さな円、一般には近傍と呼びます。

集合のどの点から見ても、周囲へわずかに動ける余地があることが、開集合を理解する中心になります。

たとえば実数の集合である区間（2, 5）を考えてみましょう。

3を選べば、3の前後にある2.9から3.1までのような小さい区間を取っても、すべて（2, 5）の内部に入っています。

4.99でも同じです。

端の5にはかなり近いものの、十分に小さな範囲を選べば5を越えずに済みます。

ここで大切なのは、すべての点に同じ大きさのεを使う必要はない点です。

5に近い点では小さなεを使い、中央付近の点では大きめのεを使っても構いません。

境界を含むかどうかとの関係

開集合を説明するとき、端の点や境界という言葉が役立ちます。

区間（2, 5）は2と5を含まないため、端に立つ点がありません。

一方で、区間［2, 5］は2と5を含みます。

2の左側へは少しも動けないため、2のまわりの小さな開区間をすべて［2, 5］へ入れることはできません。

そのため［2, 5］は開集合ではありません。

ただし、開集合は単に端点を含まない集合という意味ではありません。

実数直線以外では端点という表現だけでは十分に説明できず、近傍が含まれるかどうかで判断します。

開集合と閉集合は反対語ではない理由

開集合と閉集合は対になる概念ですが、日常語の開くと閉じるほど単純な反対関係ではありません。

実数全体は開集合であり、同時に閉集合でもあります。

空集合も同様に、開集合かつ閉集合です。

このような集合は開閉集合と呼ばれます。

また、集合が開集合でなければ必ず閉集合というわけでもありません。

たとえば（2, 5］は2を含まず5を含む半開区間であり、通常の実数直線では開集合でも閉集合でもありません。

この違いを理解すると、開集合と閉集合は集合そのものではなく、補集合との関係を含む性質だと分かります。

実数直線における開区間の具体例

続いては実数直線で見られる開集合の具体例を確認していきます。

開区間と半直線の例

実数全体を通常の距離で考えると、もっとも代表的な開集合は開区間です。

（0, 1）、（−3, 7）、（π, 10）などは、いずれも開集合になります。

各点は端点からある程度離れているため、その距離より小さな半径を選べばよいからです。

無限に続く範囲も開集合になります。

たとえば（0, ∞）は正の実数全体であり、任意の正の数xについてxより小さい正の半径を選べます。

（−∞, 4）も同じ考え方で開集合です。

集合	開集合か	理由の要点
（0, 1）	開集合	各点の周囲に小さな開区間を取れる
（−∞, 4）	開集合	4に近い点でも半径を小さくできる
［0, 1］	開集合ではない	0と1の周囲には外側の点が入る
［0, 1）	開集合ではない	0を含むため左側へは余白を取れない
（0, 1］	開集合ではない	1を含むため右側へは余白を取れない
実数全体	開集合	どの点の周囲も実数全体に含まれる
空集合	開集合	内部に点がなく条件に反する点もない

開区間の合併で作られる集合

実数直線では、開区間をいくつ集めて合併しても開集合になります。

たとえば（0, 1）と（2, 4）の合併は、間に空白がある集合ですが開集合です。

どちらの区間に属する点を選んでも、その区間の内部で小さな近傍を取れます。

さらに、（0, 1）と（0.5, 2）の合併は（0, 2）となり、やはり開集合です。

開区間を無数に集める場合も考え方は変わりません。

たとえばすべての自然数nに対する（−1＋1／n, 1−1／n）の合併は（−1, 1）になります。

開集合の任意個の合併は開集合という性質は、位相空間の公理にも採用されています。

有限個の共通部分と注意点

二つの開集合の共通部分も開集合です。

（0, 3）と（2, 5）の共通部分は（2, 3）となります。

それぞれの集合に収まるような小さな近傍を選べば、共通部分にも収まるためです。

ただし、無限個の開集合の共通部分は、開集合とは限りません。

たとえばnを自然数として（−1／n, 1／n）をすべて共通部分に取ると、残るのは｛0｝だけです。

一点集合｛0｝は通常の実数直線では開集合ではありません。

有限個なら保たれ、無限個では保たれないという違いは、証明問題でも頻繁に問われます。

距離空間における開球の考え方

続いては距離空間で開集合を判定するための開球について確認していきます。

距離関数から作る開球

距離空間とは、二つの点の間の隔たりを距離として定めた集合です。

実数直線の絶対値による距離は、その代表例になります。

距離空間Xの点xと正の数rに対して、xからの距離がrより小さい点全体を集めたものを、中心x、半径rの開球と呼びます。

実数直線でxを3、rを0.5とすれば、開球B(3, 0.5)は開区間（2.5, 3.5）と同じです。

このため、開区間は開球を一次元で表したものと考えられます。

距離空間では、開球を材料にして開集合を考えると整理しやすいでしょう。

平面上の円盤と円周の違い

平面R²では、通常は二点間の直線距離を使います。

中心が原点で半径1の開球は、x²＋y²＜1を満たす点の集合です。

これは円周を含まない円の内部であり、開円盤と呼ばれます。

内部のどの点にも小さな円盤を置けるため、開集合になります。

一方、x²＋y²≦1で表される閉円盤は、円周上の点を含みます。

円周上では外側へ少し出た点まで含む小円盤を置けないので、通常は開集合ではありません。

平面上の集合	形のイメージ	開集合か
x²＋y²＜1	円周を除いた内側	開集合
x²＋y²≦1	円周を含む円盤	開集合ではない
x²＋y²＞1	円の外側	開集合
x²＋y²＝1	円周だけ	開集合ではない
y＞x²	放物線より上の領域	開集合

点ごとに半径が異なることの重要性

開集合を判定するとき、全体に同じ半径の円を置こうとして混乱することがあります。

必要なのは、各点に応じた半径の存在です。

たとえば開円盤の中心付近なら大きい半径を取れますが、円周に近い点では小さな半径が必要になります。

境界までの距離を半径より少し大きく取らなければよい、と考えると分かりやすくなります。

この見方は、多変数関数の連続性や微分可能性を学ぶ際にも役立ちます。

位相空間での開集合と公理

続いては距離を使わずに開集合を定める位相空間の考え方を確認していきます。

位相として指定される開集合の集まり

位相空間では、最初に集合Xと、その部分集合の集まりを用意します。

この集まりに属する部分集合を開集合と決めます。

ただし、好き勝手に決められるわけではありません。

開集合の集まりは、空集合とXを含み、任意個の合併で閉じ、有限個の共通部分で閉じる必要があります。

この三つの条件を満たす集まりを、X上の位相と呼びます。

距離空間の開集合は、位相空間における開集合の特別な例です。

離散位相と密着位相の具体例

有限集合X＝｛a, b, c｝を考えると、さまざまな位相を定められます。

すべての部分集合を開集合とする位相は、離散位相です。

この場合、｛a｝のような一点集合も開集合になります。

各点が完全に独立しているようなイメージになります。

反対に、空集合とXだけを開集合とする位相は、密着位相と呼ばれます。

この場合は、X全体以外に空でない開集合がありません。

位相の種類	開集合	特徴
通常の実数直線の位相	開区間の合併	距離と自然に対応する
離散位相	すべての部分集合	一点集合も開集合
密着位相	空集合と全体集合	最小限の開集合だけ
部分空間位相	大きな空間の開集合との共通部分	部分集合上の自然な位相

開集合のイメージが変わる場面

実数直線に慣れていると、一点集合は開集合ではないと思い込みがちです。

しかし離散位相では一点集合も開集合です。

つまり、開集合という言葉は図形の見た目だけで決まるものではありません。

どの位相を採用しているかによって、同じ部分集合でも開集合かどうかが変わります。

位相空間論では、距離がなくても連続性や収束、近傍といった考え方を扱えます。

その出発点が開集合です。

開集合の判定方法とよくある誤解

続いては開集合を実際に判定する手順と、つまずきやすい点を確認していきます。

任意の点を取る判定手順

距離空間で集合Uが開集合か調べるときは、まずUの任意の点xを取ります。

次に、xの近くにある点がUの外へ出ないような正の半径rを見つけます。

開球B(x, r)がUに含まれることを示せれば、Uは開集合です。

不等式で表される集合なら、境界までの距離を使う方法が有効です。

たとえばU＝｛x｜x＞2｝の場合、xがUに属するならx−2は正です。

半径を（x−2）／2とすれば、その近傍は2より大きい範囲に収まります。

境界点を一つ探す反証方法

開集合ではないことを示すには、集合内のある点で近傍を取れないと示せば十分です。

閉区間［0, 1］なら、0に注目します。

どれほど小さい正の半径rを取っても、−r／2は0の近くにありますが［0, 1］には入りません。

したがって0の周囲には、［0, 1］へ完全に収まる開区間を作れません。

開集合でないことは、一つの問題となる点を見つければ示せる点が重要です。

端点、円周上の点、不等式で等号が許される境界部分に注目すると、反証の手掛かりになりやすいでしょう。

有理数全体に関する誤解

有理数全体Qは、実数直線Rの部分集合として考えると開集合ではありません。

どの有理数の近くにも無理数が存在するため、どれほど小さな開区間を取ってもQの外側の点が入るからです。

同じ理由で、Qは閉集合でもありません。

ただし、Qそのものを空間として、その上に通常の部分空間位相を入れる場合は話が変わります。

空間全体であるQは、その空間において開集合です。

「どの空間の中で考えているか」を省略すると誤解が起きやすいため、基準となる全体空間を意識することが欠かせません。

開集合が使われる分野と学習の要点

続いては開集合がどのような数学分野で使われるのか、学習時の要点とともに確認していきます。

連続関数との深い関係

関数fが連続であることは、開集合を使って表現できます。

直感的には、出力側で少し余裕のある範囲を指定したとき、入力側にも対応する余裕のある範囲が見つかるという関係です。

位相空間では、開集合の逆像が開集合になることを連続性の定義にします。

距離やεとδを直接使わない定義ですが、より広い空間で連続性を扱える利点があります。

開集合は連続性を支える言語として機能しています。

解析学と最適化での役割

微分可能性を考えるとき、関数の定義域が開集合であることがよくあります。

これは、各点の近くで前後や全方向に動かしながら変化率を調べるためです。

たとえば一変数関数を開区間上で微分する場合、各点の左右に小さな範囲を取れます。

多変数関数でも、定義域が開集合なら各方向への微小な変化を扱いやすくなります。

最適化では制約のない領域や不等式による実行可能領域について、内部、境界、開集合という区別が重要になります。

具体例を図形と式で往復する学び方

開集合を身に付けるには、式だけで覚えず、図形のイメージと行き来するのが効果的です。

実数直線では開区間、平面では開円盤、三次元では開球を思い浮かべるとよいでしょう。

そのうえで、任意の点、半径、開球という形式的な定義を確認します。

「境界にいる点では何が起こるか」を自分で試すと、判定の感覚が安定します。

具体例から近傍の存在へ戻る練習を重ねることが、位相の学習を進める近道です。

まとめ

開集合は、集合のどの点にも周囲へ少し動ける余地がある集合です。

実数直線では開区間や半直線、平面では円周を含まない円盤が代表例になります。

距離空間では開球を使って定義し、位相空間では開集合の集まりそのものを公理として定めます。

開区間の任意個の合併や有限個の共通部分が開集合になる性質も、基本として押さえたいところです。

一方で、無限個の共通部分は開集合とは限らず、全体空間の選び方によって判定が変わる場合もあります。

どの点にも集合内だけで収まる近傍があるかという視点を持てば、開集合の具体例と抽象的な定義が自然につながるでしょう。