開集合

1 定義

開集合は、位相空間における最も基本的な概念の一つであり、点の周囲に「まだ集合の外へ出ない範囲」が残されている集合として捉えられる。直感的には、境界付近に点があっても、その点の近くに十分小さな近傍を取れば、全体がその集合の内部に収まるという性質をもつ。

1.1 位相空間における定義

位相空間 \(X\) では、あらかじめ「開集合」とみなす部分集合の族が定められている。空間 \(X\) の部分集合 \(U\) が開であるとは、位相の公理を満たす開集合族に含まれることをいう。したがって、開集合の意味は、距離や座標だけでなく、空間に与えられた構造そのものに依存する。

この定義は抽象的だが、解析学で扱う通常の空間では、実数直線やユークリッド空間の直感と整合するように設計されている。位相は、連続性や収束を一般化して扱うための枠組みであり、開集合はその中心をなす。

1.2 近傍による言い換え

開集合は、各点のまわりにその集合に完全に含まれる近傍がある集合として言い換えられる。すなわち、\(U\) が開であるとは、\(U\) の任意の点 \(x\) に対して、\(x\) を含み、かつ全体が \(U\) に含まれる近傍が存在することを意味する。

この性質により、開集合は「点の周囲で少し動いても集合の外に出ない」場所を表す。数学的には、局所的な安定性を記述する道具として機能し、微分や極限の議論に自然に現れる。

1.3 開区間との関係

実数直線では、開区間 \((a,b)\) が代表的な開集合である。各点 \(x\in(a,b)\) に対して、十分小さな区間 \((x-\varepsilon,x+\varepsilon)\) を選べば、それは再び \((a,b)\) に含まれる。

ただし、開集合は開区間だけに限られない。実数直線では、開区間の任意個の和集合として得られる集合も開であり、たとえば複数の開区間がばらばらに並んだ集合も開集合になる。一般の位相空間でも、開集合は空間の構造に応じて多様な形をとる。

2 基本性質

開集合は、集合演算に対して安定した振る舞いを示す。とくに和集合と有限個の共通部分について閉じた性質をもち、位相の公理はこの点を核として組み立てられている。

2.1 和集合についての性質

開集合の族は、和集合をとる操作に対して非常に柔軟である。複数の開集合をまとめても、再び開集合になることが保証されるため、局所的な性質を広い範囲へ拡張しやすい。

2.1.1 任意個の和集合

任意個の開集合の和集合は開である。これは、各点がどれか一つの開集合に入っていれば、その点のまわりにはその開集合に含まれる近傍が取れるためである。

この性質により、開集合は「点ごとの局所条件」を集めて作ることができる。解析学では、部分的に定義された性質を貼り合わせて扱う際に重要になる。

2.1.2 有限個の共通部分

有限個の開集合の共通部分も開である。各集合でそれぞれ近傍を取れるなら、それらの共通部分としてさらに小さな近傍を選べるためである。

ただし、無限個の共通部分は一般には開とは限らない。たとえば、開区間 \((-1/n,1/n)\) をすべて共通部分すると、結果は \(\{0\}\) になり、これは通常の実数直線では開ではない。

2.2 補集合との関係

開集合の補集合は閉集合と呼ばれる。したがって、ある集合が開であることは、その外側の点の集まりが閉であることと対応する。開集合と閉集合は対偶的な関係にあり、同じ対象を異なる側から見ている。

この関係は、境界や極限点の議論で特に有用である。ある点が集合の外にあるかどうかを補集合で調べることで、内部と外部の区別を明確にできる。

2.3 空集合と全体集合

どの位相空間でも、空集合と全体集合は開集合である。空集合は条件を満たす点を持たないため自動的に開とされ、全体集合は各点の近傍が空間全体に含まれるため開になる。

この二つは、位相の公理における最も基本的な例である。ここから、和集合と有限交叉の規則を用いて、さまざまな開集合が構成される。

3 例

開集合の具体例は、空間の種類によって大きく異なる。距離をもつ空間では図形的な直感が働きやすく、離散的な位相では各点の扱いが変わる。

3.1 実数直線上の開集合

実数直線 \(\mathbb{R}\) では、開区間 \((a,b)\) が基本例である。さらに、開区間の任意個の和集合として得られる集合、たとえば \((0,1)\cup(2,3)\) のようなものも開集合になる。

この空間では、「各点のまわりに小さな区間が入るかどうか」が判断基準になる。端点を含む区間 \([a,b]\) は通常開ではなく、境界点に小さな近傍を取ると区間の外へはみ出してしまう。

3.2 ユークリッド空間の開集合

ユークリッド空間 \(\mathbb{R}^n\) では、開球が代表的な開集合である。点 \(x\) の中心に半径 \(r\) の球を考え、その内部全体を取ると、それは開集合になる。

この考え方は、平面や空間の図形に対して自然である。円板の内部や球の内部は開であり、境界面を含む閉じた図形とは区別される。多くの幾何学的議論は、開球を用いて局所構造を記述する。

3.3 離散位相と密着位相

離散位相では、すべての部分集合が開集合である。各点を単独で取り出しても開とみなされるため、位相としては最も細かい構造を与える。

これに対し、密着位相では空集合と全体集合のみが開集合になる。したがって、開集合の種類は極端に少なく、ほとんどの部分集合は開でも閉でもない。この対比は、位相がどれほど空間の性質を変えうるかを示している。

4 関連概念

開集合は、閉集合や内部、閉包、境界と密接に結びついている。これらの概念は互いに補完的であり、集合の局所的・大域的な性質を分担して表す。

4.1 閉集合

閉集合は、開集合の補集合として定義される。ある集合が閉であるとき、その外側の開集合による記述が可能になり、極限点を含むかどうかを考える際に便利である。

開集合と閉集合は対称的に見えるが、実際には役割が異なる。開集合は内部の余地を強調し、閉集合は境界や極限の保持を示す。

4.2 内部

集合の内部とは、その中に含まれる最大の開集合である。内部の各点は、集合の中で完全に開いた近傍をもつため、境界から離れた部分を表す。

内部を取る操作は、与えられた集合を「開らしい部分」に切り分ける働きをもつ。これにより、集合の中で本質的に安全な領域を抽出できる。

4.3 閉包

閉包は、ある集合を含む最小の閉集合である。元の集合に、その極限点や境界に近い点を加えたものとして理解されることが多い。

開集合の観点から見ると、閉包は補集合と密接に関係する。内部が開集合によって特徴づけられるのに対し、閉包は収束や接近の振る舞いを捉える。

4.4 境界

境界は、集合の内側でも外側でもない点の集まりである。開集合では、境界点が集合に含まれない場合が多く、内部との区別が明確になる。

境界は、開集合の性質を理解するうえで重要な指標である。点の近くに集合の内外が入り混じる場所であり、開かどうかの判定にも深く関わる。

5 応用

開集合は抽象的な定義にとどまらず、解析学や位相幾何学の多くの基礎概念を支えている。連続性、収束、連結性、コンパクト性のいずれも、開集合を通して定式化される。

5.1 連続写像の定義

写像が連続であるとは、一般に逆像が開集合を保つこととして定義される。すなわち、値域側の開集合の逆像が、定義域でも開であれば、その写像は連続である。

この定義は、極限に関する直感を広く一般化している。開集合を用いることで、距離のない空間でも連続性を扱えるようになる。

5.2 収束と開集合

列やネットの収束は、開集合を使って特徴づけられる。ある点に収束するとは、その点を含む任意の開近傍の中に、十分後の項がすべて入ることである。

この見方は、極限の議論を局所的な条件へ還元する。開集合が小さな近傍の集まりを表すため、収束の定義に自然に適合する。

5.3 連結性とコンパクト性

連結性は、空間を開集合によって分割できるかどうかに関係する。空間が二つの互いに素な開集合に分けられないとき、その空間は連結であるという。

コンパクト性もまた開集合と深く結びつく。特に開被覆による定義では、空間全体を開集合の族で覆ったとき、有限個で足りるかどうかが問題になる。これらの概念により、開集合は空間の大域的な性質を測る基準として働く。

</INTERNAL_LINK_CANDIDATES> 実数直線（1次元の標準的な位相空間） 位相空間（開集合を基礎に定義される空間） 近傍（ある点のまわりの局所的な範囲） 開球（ユークリッド空間での代表的な開集合） 閉集合（開集合の補集合として定義される集合） 内部（集合の中にある最大の開部分集合） 閉包（集合を含む最小の閉集合） 境界（集合の内外が接する点の集合） 連続写像（開集合の逆像が開になる写像） 収束（開近傍に最終的に入る性質） 連結性（開集合で分割できない性質） コンパクト性（開被覆から有限部分被覆を取れる性質） 離散位相（すべての部分集合が開となる位相） 密着位相（空集合と全体集合のみが開となる位相） 開被覆（集合全体を覆う開集合の族）