開集合の定義は？数学的な意味も解説！（点集合位相：近傍：ユークリッド空間：具体例など）

開集合は、数学のなかでも位相空間論を理解する入口となる重要な概念です。

高校数学で扱う区間や円、大学数学で登場する近傍、連続性、コンパクト性などの土台にもなります。

ただし、開集合という言葉だけを見ると、境界が開いている集合のことだと受け取りやすいでしょう。

実際には、単に端点を含まない区間だけを指す言葉ではありません。

本記事では、ユークリッド空間における定義から点集合位相での一般的な考え方まで、具体例を交えて整理します。

開集合の定義と数学的な意味

それではまず開集合の定義と数学的な意味について解説していきます。

ユークリッド空間における開集合

実数全体の集合を考えるとき、開集合とは、集合に含まれるどの点の周りにも小さな開区間を取れる集合のことです。

たとえば区間 （0，1） の中から 0.4 を選ぶと、0.4 の周りには区間（0.3，0.5）のような小さな開区間を作れます。

その小さな開区間は、すべて元の（0，1）に収まっています。

同じように、0 にどれだけ近い点を選んでも、点そのものが集合に含まれていれば、その周囲に少しだけ余裕をもった範囲を置けることが大切です。

二次元のユークリッド空間では、開区間の役割を開円盤が担います。

平面上のある点を中心にして、半径が正である円を描いたとき、その内部全体が対象の集合に入っていれば、その点は集合の内部にあるといえます。

ここで重要なのは、点ごとに選ぶ半径 r が同じである必要はない点です。

集合の中央付近では大きな半径を取れても、境界に近い点ではとても小さな半径しか取れないことがあります。

それでも各点の周りに何らかの小さな範囲を確保できれば、その集合は開集合です。

境界を含まないという説明の限界

開集合は境界を含まない集合だと説明されることがありますが、これは一部の例では便利でも、定義そのものではありません。

たとえば実数全体 R は開集合です。

R には通常の意味で外側の境界がないため、境界を含まないという説明だけでは本質を十分に表せません。

また、空集合も開集合として扱われます。

空集合には点が存在しないので、任意の点について条件を確かめる必要がなく、開集合の条件を満たすと考えます。

開集合を判断する中心は、境界の見た目ではなく、各点の周囲に近傍を入れられるかどうかです。

この考え方を身につけると、複雑な図形や高次元空間でも、同じ基準で開集合を判定しやすくなります。

端点があるかどうかは、あくまで判定の結果として現れる特徴の一つです。

開集合が果たす役割

位相空間論では、開集合は近さや連続性を表現するための基本部品です。

距離を使わない抽象的な空間でも、どの集合を開集合と定めるかによって、近傍や連続写像を定義できます。

たとえば関数 f が連続であることは、値の側の開集合を逆像で引き戻したとき、その逆像が開集合になることとして表せます。

この見方では、グラフの形を直接追いかけなくても、集合の性質から連続性を調べられます。

解析学で使う極限、微分、積分の議論にも、開集合はしばしば登場します。

特に微分可能性を考えるときは、ある点の周りで関数が定義されていることが必要になるため、開区間や開集合が自然に用いられます。

近傍と内点による判定

続いては近傍と内点による判定を確認していきます。

近傍の基本的な考え方

近傍とは、ある点の周りにある程度の広がりをもつ集合です。

実数直線上の点 a に対して、区間（a－r，a＋r）は a の代表的な近傍になります。

平面や空間では、点 a を中心とする半径 r の開球が近傍の代表例です。

開球とは、中心からの距離が r より小さい点をすべて集めた集合を指します。

半径と同じ距離にある円周や球面は含めません。

集合 U が開集合であるかを調べるときは、U の各点 a に対して、a を含む開球が U の内部に完全に入るかを確認します。

この開球の半径は、点によって変化して構いません。

近傍という考え方は、開集合を図形の外見だけで判断しないための有効な道具です。

内点と内部の意味

集合 A の点 a が内点であるとは、a を中心とするある近傍が A に含まれていることです。

集合 A に含まれる内点をすべて集めたものを、A の内部と呼びます。

記号では A の内部を int A と書くことがあります。

集合が開集合であることは、その集合のすべての点が内点であることと同じです。

たとえば閉区間［0，1］では、0 と 1 は内点ではありません。

0 の周りにどれだけ小さな開区間を取っても、負の値を含む部分が生じてしまい、［0，1］の内部に収まりません。

一方で、0.5 のような点は内点です。

集合	内点の様子	開集合かどうか
（0，1）	すべての点が内点	開集合
［0，1］	0 と 1 は内点ではない	開集合ではない
R	すべての実数が内点	開集合
空集合	確認する点がない	開集合
［0，1）	0 は内点ではない	開集合ではない

内点を使えば、集合がどこまで広がっているのか、境界がどこにあるのかも整理しやすくなります。

境界点との違い

境界点は、その点のどんな近傍にも集合 A に属する点と、A に属さない点の両方が含まれる点です。

たとえば［0，1］の 0 は境界点です。

0 の周りには［0，1］に入る点も、負の側にある集合外の点も必ず存在します。

開集合には、原則として自分自身の境界点が含まれません。

ただし、開集合を定義する際には、境界点を先に求める必要はありません。

各点が内点かどうかを確認するほうが、計算や論証では扱いやすい場面も多いでしょう。

この区別は、閉集合、集積点、連続性の学習にもつながります。

ユークリッド空間における具体例

続いてはユークリッド空間における具体例を確認していきます。

実数直線上の区間

実数直線では、開区間（a，b）がもっとも基本的な開集合です。

a より大きく b より小さい任意の実数 x を選べば、x と両端 a、b との距離を利用して、小さな開区間を作れます。

一方、半開区間［a，b）や閉区間［a，b］は開集合ではありません。

左端の a が集合に含まれる場合、a の周囲には集合の外へはみ出さない開区間を置けないためです。

端点を含むかどうかは、実数直線の区間では開集合判定に直結します。

ただし、複数の開区間を組み合わせた集合も開集合になります。

たとえば（0，1）と（2，4）の和集合は開集合です。

さらに、無数の開区間を合併した集合も開集合になります。

開集合の合併に関する性質は、位相の公理としても重要です。

平面上の円と円盤

平面では、中心からの距離が r より小さい点全体である開円盤が開集合です。

円周を含まない内部だけの円盤を想像すると分かりやすいでしょう。

内部のどの点からも、円周にぶつからない小さな円盤を描けます。

これに対して、円周を含む閉円盤は開集合ではありません。

円周上の点では、どれほど小さな円盤を描いても、元の閉円盤の外側へ出る点が含まれるからです。

境界を曲線で表せる図形でも、判断の基準は開球を内部に置けるかどうかです。

三角形の内部、長方形の内部、楕円の内部も、境界を除けば開集合になります。

複雑な形をした集合

開集合は、丸い形や一つにまとまった形である必要はありません。

穴が空いた領域、複数に分かれた領域、細長く曲がった領域も、各点の周りに小さな開球を置ければ開集合です。

たとえば平面から原点だけを除いた集合は開集合です。

原点以外の任意の点では、その点から原点までの距離より小さい半径を選べば、原点を含まない開円盤を作れます。

反対に、平面上の一本の直線だけを集めた集合は、平面全体を空間として考えるなら開集合ではありません。

直線上の点の周りに小さな開円盤を描くと、直線から外れる点が必ず含まれるためです。

同じ図形でも、どの空間の部分集合として見るかによって開集合かどうかが変わります。

点集合位相と開集合の公理

続いては点集合位相と開集合の公理を確認していきます。

位相として定める開集合族

点集合位相では、最初に距離を用意するとは限りません。

集合 X の部分集合のうち、どれを開集合と呼ぶかを定めた集まりを位相と呼びます。

この開集合の集まりは、任意に決めてよいわけではありません。

空集合と X 自身を含み、任意個の和集合について閉じており、有限個の共通部分についても閉じている必要があります。

この三つの条件を満たす開集合の集まりが、X 上の位相です。

条件	内容	意味
空集合と全体集合	空集合と X は開集合	最小と最大の範囲を含める条件
任意和	開集合をいくつ合併しても開集合	局所的な範囲を広げられる性質
有限共通部分	有限個の共通部分も開集合	複数の条件を同時に課せる性質

ユークリッド空間の通常の開集合は、この条件をすべて満たします。

距離から作られる位相は、解析学で最もよく使われる位相の一つです。

離散位相と密着位相

同じ集合 X であっても、位相の選び方は一通りではありません。

すべての部分集合を開集合とする位相を離散位相と呼びます。

離散位相では、各点だけからなる一要素集合も開集合です。

そのため、どの点も他の点から非常にはっきり分離されているように扱われます。

反対に、空集合と X だけを開集合とする位相も考えられます。

この場合は、全体集合でない限り、非空の開集合を取れません。

開集合は図形の固定的な性質ではなく、空間に与えた位相によって決まる概念です。

この視点を持つと、実数直線での直感と、一般の位相空間での定義を無理なくつなげられます。

部分空間位相における注意点

ある空間 X の部分集合 Y を、新たな空間として考えることがあります。

このとき Y には、X から受け継いだ部分空間位相を入れるのが標準的です。

Y の部分集合 U が Y で開集合であるとは、X の開集合 G を使って、U が G と Y の共通部分として表せることです。

たとえば［0，1］を一つの空間として見ると、［0，0.5）はその空間内では開集合です。

実数全体の中では 0 を含むため開集合ではありませんが、［0，1］との関係では、（－1，0.5）との共通部分として表せます。

この違いは、開集合の問題で頻出する注意点です。

問題文に空間が明示されていない場合でも、通常はどの空間を前提にしているかを確認するとよいでしょう。

連続性と閉集合への応用

続いては連続性と閉集合への応用を確認していきます。

逆像による連続性の定義

位相空間 X から位相空間 Y への写像 f を考えます。

f が連続であるとは、Y の任意の開集合 V に対して、V の逆像が X で開集合になることです。

逆像とは、f によって V の中へ写される X の点全体の集合です。

この定義は、微分係数やグラフを必要としません。

そのため、距離や座標がない抽象的な空間でも連続性を定義できます。

連続写像は、開集合で表される周囲の構造を壊さずに引き戻す写像として理解できます。

実数関数で普段使う連続性と、この位相的な定義は一致します。

位相による定義を知ることで、連続という概念が単なる計算法ではなく、空間の構造に関する性質だと見えてきます。

閉集合との補集合関係

集合 X の部分集合 F について、X から F を除いた補集合が開集合であるとき、F を閉集合と呼びます。

この定義により、開集合と閉集合は補集合を通じて対になっています。

実数直線では、閉区間［a，b］は閉集合です。

補集合が二つの開区間の合併として表せるためです。

ただし、開集合と閉集合は必ずどちらか一方だけになるわけではありません。

空集合と空間全体は、開集合であると同時に閉集合でもあります。

開集合と閉集合は日常語の開く、閉じるとは異なり、補集合を基準に定義される数学用語です。

極限と集積点の見方

開集合は、点列の極限を考える場面でも背景にあります。

ある点に近づくとは、その点の任意の近傍に、十分後ろの項がすべて入ることとして表せます。

また、集積点とは、その点のどんな近傍にも、対象の集合に属する別の点が存在するような点です。

有理数全体は実数直線の中で開集合ではありません。

どの有理数の周りにも無理数が存在し、有理数だけからなる開区間を取れないからです。

この例は、集合が数多くの点を含んでいても、近傍の意味で開いているとは限らないことを示します。

開集合を理解するためのまとめ

最後に開集合を理解するためのまとめを確認していきます。

開集合とは、集合に含まれる各点の周りに、その集合内へ完全に収まる近傍を取れる集合です。

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

判定では、各点が内点であるかどうかに注目すると整理しやすいでしょう。

閉区間や円周を含む図形は、境界上の点に近傍を置けないため、通常のユークリッド空間では開集合になりません。

一方で、空集合と空間全体は開集合です。

また、部分空間位相では、実数全体の中では開集合でない集合が、部分空間の中では開集合になる場合があります。

点集合位相では、開集合の集まりそのものを公理に従って定めます。

この考え方により、距離を持たない空間でも近傍、連続性、閉集合などを一貫して扱えます。

開集合は、点の周囲にある余裕を数学的に表す概念です。

具体例で近傍を描く練習を重ねると、位相空間論の抽象的な定義も理解しやすくなるでしょう。