開集合であることの証明方法は？手順やポイントも！（内点の確認：ε近傍：距離空間：証明の書き方など）

開集合であることの証明方法は？手順やポイントも！（内点の確認：ε近傍：距離空間：証明の書き方など）

位相空間や距離空間を学び始めると、集合が開集合であることを証明する問題に出会います。

定義を暗記していても、どの点を取るのか、εをどのように決めるのかで迷うことは少なくありません。

この記事では、開集合の定義から内点、ε近傍、補集合を使う方法までを順序立てて整理します。

答案として読みやすい証明の書き方にも触れるので、演習問題に取り組む際の型として役立ててください。

開集合の証明に必要な確認事項

それではまず、開集合であることを示す際に最初に押さえたい確認事項について解説していきます。

任意の点から始める考え方

距離空間 X の部分集合 U が開集合であるとは、U のどの点を選んでも、その点を中心とする十分に小さな開球が丸ごと U に入ることを意味します。

記号では、任意の x∈U に対して、ある ε>0 が存在し、B(x,ε)⊂U となることが条件です。

重要なのは、最初に選ぶ x が特別な点ではなく、U に属する任意の点であることです。

証明では、まず「x∈U を任意に取る」と書きます。

次に、その x が境界にどれだけ近いかを調べ、境界へ届かない半径 ε を選ぶ流れになります。

たとえば実数全体 R における区間 U=(a,b) を考えると、x は a<x<b を満たします。

このとき x から左端 a までの距離は x-a、右端 b までの距離は b-x です。

両方の距離が正なので、より小さい方よりも小さな半径を選べば、近傍は区間の外へはみ出しません。

実際には ε をそのまま使うより、εの半分を取る書き方もよく見られます。

境界との距離と等しい半径では端点に届く可能性を気にする場合があるため、余裕を持たせる意図があります。

どちらの書き方でも、不等号と集合の含まれ方が正しく確認できていれば問題ありません。

ε近傍と開球の意味

ε近傍とは、ある点 x の周囲で距離が ε 未満の点を集めた集合です。

距離 d を使うと、B(x,ε)={y∈X｜d(x,y)<ε}と表せます。

実数直線の通常の距離では、B(x,ε)は開区間 (x-ε,x+ε) と一致します。

一方で平面 R² のユークリッド距離では、中心 x を中心とする半径 ε の円盤の内部になります。

開集合の証明は、図形的には各点の周りに小さな逃げ道のない領域を置けることの確認と考えると理解しやすいでしょう。

集合の端や外側に少しでも飛び出さない近傍を作れるかどうかが、本質的な判定基準です。

ただし、ε近傍の形は採用している距離によって変わります。

同じ集合でも距離が異なれば開集合かどうかが変わる場合があるため、問題文に距離が書かれているときは必ず確認してください。

対象	距離	ε近傍のイメージ
実数直線 R	d(x,y)=|x-y|	x を中心とする開区間
平面 R²	ユークリッド距離	円周を含まない円盤
平面 R²	最大値距離	辺が座標軸に平行な正方形
離散距離空間	異なる点の距離を一とする距離	半径一未満なら一点だけの集合

特に離散距離では、一点集合も開集合になります。

通常の実数直線では一点集合は開集合ではないため、距離空間ごとの違いを意識することが大切です。

内点と開集合の関係

集合 U の点 x が内点であるとは、ある ε>0 が存在して B(x,ε)⊂U となることです。

つまり、内点の定義は開集合の定義を一点に着目して述べ直したものといえます。

U のすべての点が内点ならば U は開集合であり、逆に U が開集合ならすべての点が内点です。

開集合の証明を内点の確認に言い換えると、作業の目的が明確になります。

集合 U の内部 int U は、U の内点をすべて集めた集合です。

この記号を使えば、U が開集合であることは U=int U と同値です。

ただし、初等的な証明では内部を持ち出すよりも、任意の x∈U に対して ε を構成する方が採点者に意図が伝わりやすい場合があります。

ε近傍を用いた基本手順

続いては、ε近傍を使って開集合を証明する基本手順を確認していきます。

条件の整理と任意点の設定

最初に、対象となる集合を不等式や条件で書き直します。

たとえば U={x∈R｜x>a}であれば、x∈U は x>a と同じ意味です。

この形にしておくと、境界 a までの距離 x-a が自然に見えてきます。

次に「x∈U を任意に取る」と宣言します。

ここで特定の数値を置いてしまうと、集合のすべての点について証明したことになりません。

任意性を保ったまま x の条件だけを使い、εを決定する必要があります。

複数の条件がある集合なら、それぞれの境界までの距離を確認します。

開区間では左右の端点、円の内部では円周、連立不等式では各不等式の境界が候補になります。

半径εの選び方

εは、点 x から集合の外側へ出るまでの距離より小さく選ぶことが基本です。

U=(a,∞) の場合は、x-a>0 なので ε=(x-a)/2 と置けば十分です。

この半分という選び方には、計算に余裕を持たせる利点があります。

y が B(x,ε)に入ると仮定すれば、|y-x|<(x-a)/2 です。

したがって y>x-(x-a)/2=(x+a)/2>a となり、y∈U が示せます。

εは一意に決める必要がなく、条件を満たす正の数を一つ示せば足ります。

そのため、最小値、半分、距離の積など、計算しやすい値を選んで構いません。

ただし εが x に依存することは許されますが、近傍に入る y に依存してはいけません。

先に εを確定してから任意の y を取るという量化の順序を守ることが重要です。

包含関係を示す計算

εを定めた後は、y∈B(x,ε) を任意に取って y∈U を導きます。

これが B(x,ε)⊂U の証明です。

実数の場合は絶対値不等式から、x-ε<y<x+ε を取り出す場面が多くなります。

平面や高次元の空間では、距離の不等式を座標ごとの不等式に変換することがあります。

たとえば |y-x|<ε から y>x-ε を得るように、必要な方向だけを使うと計算が簡潔になります。

最後は「よって任意の y∈B(x,ε)について y∈U」であるとまとめます。

さらに x が任意だったことから U の各点が内点であるため、U は開集合であると結論づけます。

この最後の任意性の回収を省くと、局所的な確認だけで終わってしまうため注意が必要です。

距離空間における証明の考え方

続いては、距離空間で開集合を扱う際の考え方を確認していきます。

距離関数の確認

距離空間では、距離 d(x,y) が具体的にどのように定義されているかを出発点にします。

ユークリッド距離、マンハッタン距離、最大値距離などでは、近傍の形も証明で使う不等式も異なります。

たとえば R² において U={x∈R²｜d(x,a)<r}と定めた集合は、中心 a、半径 r の開球です。

この U が開集合であることは、三角不等式を使えば示せます。

x∈U なら d(x,a)<r なので、r-d(x,a)>0 です。

ここで ε=r-d(x,a) と置き、d(x,y)<ε を満たす y を取ります。

三角不等式より d(y,a)≤d(y,x)+d(x,a)<ε+d(x,a)=r となります。

よって y∈U であり、開球は開集合です。

距離空間の証明では、三角不等式が境界までの余裕を伝える役割を持ちます。

座標が使えない抽象的な空間でも、距離と三角不等式だけで論理を組み立てられる点が特徴です。

連続関数の逆像による方法

開集合を直接 ε近傍で示す方法以外に、連続関数の逆像を利用する方法があります。

連続関数 f:X→Y に対して、Y の開集合 V の逆像 f⁻¹(V) は X の開集合です。

たとえば U={x∈R｜f(x)>c}は、f⁻¹((c,∞))と書けます。

f が連続であり、(c,∞)が R の開集合なら、U は開集合になります。

二次関数や多項式、不等式で定義された集合を扱うときに便利な考え方です。

たとえば {x∈R｜x²<4}は、連続関数 f(x)=x² の逆像 f⁻¹((-∞,4))です。

このため、逐一 εを構成しなくても開集合だと説明できます。

ただし、連続性や逆像の定理をまだ学んでいない段階では、直接証明の方が問題の意図に合うこともあります。

有限個の開集合の共通部分

開集合の有限個の共通部分は開集合であり、任意個の和集合も開集合です。

この性質を使うと、複雑に見える集合を単純な開集合の組み合わせとして処理できます。

たとえば (a,b) は (a,∞) と (-∞,b) の共通部分です。

それぞれが開集合と分かっていれば、区間全体について改めて εを計算する必要はありません。

一方、無限個の開集合の共通部分は、一般には開集合とは限りません。

たとえば R における (-1/n,1/n) の n=1,2,3以降の共通部分は {0}です。

{0}は通常の距離を持つ R では開集合ではありません。

有限個の共通部分と任意個の和集合という条件の違いは、開集合の問題で頻出するポイントです。

補集合と閉集合を使う判定方法

続いては、補集合と閉集合を利用して開集合を判定する方法を確認していきます。

補集合が閉集合である条件

距離空間 X の部分集合 U について、U が開集合であることと、補集合 X＼U が閉集合であることは同値です。

直接 U の各点に近傍を置きにくい場合でも、外側の集合が閉じていると示せれば解決します。

たとえば [a,b] は実数直線で閉集合なので、その補集合である (-∞,a)∪(b,∞) は開集合です。

補集合を考える際は、端点を含むかどうかを丁寧に確認してください。

不等号が < なのか ≤ なのかによって、補集合の形が変わります。

開集合と閉集合は互いに排他的な分類ではなく、空集合と全体集合は両方に属します。

この点は初学者が混乱しやすいところです。

開でも閉でもない集合も存在するため、名称から直感的に判断せず定義に戻る姿勢が求められます。

収束列を使う閉集合の確認

実数空間や距離空間では、閉集合を収束列で特徴づけることができます。

集合 F が閉集合であることは、F の点からなる任意の収束列が X 内で収束するとき、その極限も F に属することと同値です。

この方法は、等号を含む条件で定義された集合に向いています。

たとえば F={x∈R｜x≥a}について、F の列 xₙ が x に収束するとします。

もし x<a なら、x と a の間には正の距離があります。

十分大きい n では xₙも a より小さくなるはずですが、これは xₙ≥a に反します。

したがって x≥a であり、F は閉集合です。

よって補集合 (-∞,a) は開集合だと分かります。

距離関数の連続性

ある固定点 a に対し、関数 x↦d(x,a) は連続です。

そのため、{x｜d(x,a)<r}は開集合、{x｜d(x,a)≤r}は閉集合になります。

円の内部が開集合で、円周を含む閉円盤が閉集合となる理由もこの性質から説明できます。

さらに、集合 A からの距離 d(x,A)=inf{d(x,a)｜a∈A}を用いる考え方もあります。

A が閉集合なら、A の外側にある点 x では、状況に応じて A までの正の距離を使える場合があります。

ただし一般の距離空間では、点と閉集合の距離が常に正になるとは限らないため、適用条件には注意が必要です。

証明で距離を導入するなら、何に対する距離なのか、正である根拠は何かを明示しましょう。

証明の書き方と答案のポイント

続いては、開集合の証明を答案として分かりやすく書くポイントを確認していきます。

量化の順序

開集合の定義には、任意の点、ある正の数、任意の近傍内の点という順序があります。

論理記号の形では、すべての x∈U に対して、ある ε>0 があり、すべての y∈X について d(x,y)<ε なら y∈U という構造です。

この順番を文章でも保つことが大切です。

εを選ぶ前に y の値に頼ると、近傍全体が含まれることを示せません。

x に応じて εを選ぶことは可能ですが、y に応じて εを変えることはできません。

この違いを意識するだけで、証明の論理的な誤りをかなり防げます。

答案では「x∈U を任意に取る」「εを次で定める」「y∈B(x,ε)を任意に取る」と順に書くと明瞭です。

不等式のつながり

証明の中心部分では、仮定から結論までの不等式を一つずつ接続します。

たとえば y∈B(x,ε) から |y-x|<ε を得て、そこから y>x-ε や y<x+ε を導きます。

その後、εの定義を代入して U を定める条件へ到達させます。

途中の計算を飛ばしすぎると、なぜ近傍が集合に含まれるのか読み手が追えなくなります。

反対に、明らかな変形を過度に細分化すると要点がぼやけることもあります。

境界との距離、εの選択、最終的な包含関係が見える程度に書くと、読みやすい答案になります。

よくある誤り

代表的な誤りは、εを定めずに「十分小さく取る」とだけ書いて終えることです。

直感としては正しくても、どの程度小さければよいかが示されていないため、証明としては不十分になりがちです。

また、閉区間 [a,b] を開集合と誤認する例もよくあります。

端点 a では、どれほど小さな正の半径を取っても a より小さい点が近傍に含まれ、[a,b]から外れます。

さらに、ε=0 を選ぶ誤りにも注意してください。

定義では必ず ε>0 が必要です。

境界上の点では全方向に小さな近傍を置けないことが、開集合ではない直接の理由になります。

図を描ける問題なら、点から境界までの距離を視覚的に確かめると間違いを減らせるでしょう。

代表例による開集合の確認

続いては、代表的な集合を使いながら開集合の確認方法を見ていきます。

実数直線の開区間

開区間 (a,b) は、実数直線における最も基本的な開集合です。

x∈(a,b) を任意に取ると、x-a>0 と b-x>0 が成り立ちます。

そこで εを二つの値の小さい方の半分に取れば、左右どちらの端点にも届きません。

y∈B(x,ε)なら、|y-x|<ε です。

この不等式から a<y<b を示せるため、近傍は (a,b)に含まれます。

開区間の端点を含まないことは、単なる記号上の違いではありません。

各点の周囲に動ける余白があることを表す、開集合の性質そのものです。

平面上の円の内部

平面 R² における U={(x,y)｜x²+y²<r²}は、原点を中心とする半径 r の円の内部です。

この集合は d(z,0)<r と書き直せるため、開球そのものです。

z∈U に対して ε=r-d(z,0)を選べば、εは正になります。

z から ε未満だけ移動した点 w は、三角不等式により原点からの距離が r 未満です。

したがって w∈U となり、円の内部は開集合です。

境界の円周を含めるかどうかで、使うべき概念は開集合から閉集合へ変わります。

x²+y²≤r²で定めた閉円盤は、通常は開集合ではありません。

不等式で定まる集合

連続関数 f を用いると、f(x)<c、f(x)>c で定まる集合は開集合になります。

これは実数値の開区間 (-∞,c) や (c,∞) の逆像だからです。

たとえば U={(x,y)∈R²｜x+y>1}は、直線 x+y=1 の片側の領域です。

関数 f(x,y)=x+y は連続であり、U=f⁻¹((1,∞))と表せます。

よって U は開集合です。

複数の狭義不等式を同時に満たす領域も、有限個の開集合の共通部分として扱える場合があります。

問題の条件を連続関数と開区間の逆像に翻訳できないか考えると、証明が短くなることがあります。

まとめ

開集合であることを証明する基本は、集合の任意の点が内点であることを示す作業です。

まず x∈U を任意に取り、境界までの距離などを使って ε>0 を定めます。

次に y∈B(x,ε)を任意に取って y∈U を示せば、B(x,ε)⊂U が得られます。

任意の点、正の半径、近傍の包含という三段階を守ることが、正確な証明への近道です。

距離空間では三角不等式、連続関数の逆像、開集合の和集合と有限共通部分、補集合と閉集合の対応も有力な道具になります。

集合の形だけで判断せず、距離と定義に立ち返る習慣をつければ、開集合の問題を着実に解けるようになるでしょう。