相対位相、部分集合における開集合・閉集合とは:ユークリッド空間の位相を例に

どうも、木村(@kimu3_slime)です。

今回は、相対位相、部分集合における開集合・閉集合とは何か、ユークリッド空間の位相を例に紹介します。

 



導入と定義

例えばテスト関数を定義するときに、関数\(\phi\)の台

\[\mathrm{supp }\, \phi:= \overline {\{x\in \Omega \mid \phi(x) \neq 0\}} \]

を考えます。ここで\(\Omega \)を\(\subset \mathbb{R}^N\)の開集合で、台の定義では、\(\Omega\)における閉包を考えています。

この「部分集合における閉包(開集合・閉集合)」という表現について、具体例を踏まえて解説していきましょう。

 

\((X,\mathcal{O})\)を位相空間とし、\(A\)を\(X\)の部分集合としましょう。

\(A\)の部分集合族を\(\mathcal{O}_A:=\{ O \cap A \mid O \in \mathcal{O} \}\)と定めます。すると、\((A, \mathcal{O}_A)\)はそれ自身が位相空間の定義を満たします。

そこで、\((A, \mathcal{O}_A)\)を\((X,\mathcal{O})\)の部分位相空間(subspace)と呼びます。また、\(A\)の開集合系\(\mathcal{O}_A\)を相対位相(relative topology)、部分空間位相、誘導される位相などと呼びます。

特に、\(\mathcal{O}_A\)の要素を\(A\)における開集合と呼びます。簡単に言えば、全体\(X\)における開集合\(O\)と\(A\)の共通部分として表せるのが、\(A\)の開集合です。

\(A\)における開集合の\(A\)における補集合を、\(A\)における閉集合と呼びます。全体\(X\)における閉集合\(C\)と\(A\)の共通部分として表せるのが、\(A\)の閉集合とも言えます。

相対位相を考えるときは、どこにおける開集合(閉集合)なのか意識することが大事です。

 

1次元ユークリッド空間\((\mathbb{R},\mathcal{O})\)の簡単な例を挙げましょう。

\(A=(-1,1)\)という開区間を考えます。\(A\)における開集合、閉集合の例を考えてみましょう。

\(B_1=(-\frac{1}{2},\frac{1}{2})\)は、\(\mathbb{R}\)における開集合です。また、\(A\)の部分集合でもあるので、\(B_1 = B_1 \cap A\)、\(B_1 \in \mathcal{O}\)となるので、\(B_1\)は\(A\)における開集合でもあります(\(B_1 \in \mathcal{O}_A\))

一般に、全体\(X\)における開集合であって、かつ\(A\)の部分集合でもある集合は、\(A\)の開集合です。

閉集合についても同様です。\(B_2=[-\frac{1}{2},\frac{1}{2}]\)は、\(\mathbb{R}\)における閉集合であり、かつ\(A\)における閉集合でもあります。

 

ここまでの例では、開集合・閉集合が一致していましたが、一般にはそうとは限りません。

\(B_3 = (-1,1)\)が\(A\)における閉集合であるか考えてみましょう。

\(B_3\)は、\(\mathbb{R}\)においては閉集合ではありません。\(\mathbb{R}\)における補集合は、\(\mathbb{R} \setminus B_3 =(-\infty , -1]\cup [1,\infty)\)であり、\(-1,1\)が内点ではなく、補集合が開集合ではないからです。

一方で、\(B_3 = (-1,1)\)は\(A\)における閉集合です。\(\mathbb{R}\)の閉集合\([-1,1]\)を使って、\(B_3 = [-1,1] \cap A\)と表せるので。\(B_3\)の\(A\)における補集合は、\(A \setminus B_3 = \varnothing\)で、補集合が\(A\)における開集合なので、\(A\)における閉集合とも言えます。

 

位相空間の扱いに慣れていないと、「\((-1,1)\)は常に開集合であり、閉集合でない」と考えてしまうかもしれません。「\((-1,1)\)は\(\mathbb{R}\)の閉集合でないが、\((-1,1)\)における閉集合ではある」わけですね。

一般に、部分位相空間\((A, \mathcal{O}_A)\)において、\(A\)自身は開集合であり、かつ閉集合でもあります。考えている全体空間が開集合かつ閉集合になることが、そもそも位相空間の定義のひとつなので。

例えば、全体においては開集合でないが、相対位相では開集合となる例を挙げられるでしょうか?

\([-1,1]\)がそうですね。これは\(\mathbb{R}\)にいては開集合ではありませんが、\([-1,1]\)においては開集合です。例えば、\([-1,1]=(-2,2) \cap [-1,1]\)、\((-2,2) \in \mathcal{O}\)となるので。

 

冒頭の例に戻り、

\[ \phi(x)= \left\{ \begin{array}{lr} e^{-\frac{1}{1-x^2}} && (|x|<1) \\ 0 && (|x| \geq 1) \end{array} \right. \]

というテスト関数の\(\Omega=(-1,1)\)における台

\[\mathrm{supp }\, \phi:= \overline {\{x\in (-1,1) \mid \phi(x) \neq 0\}} \]

を求めてみましょう。ここでバー(閉包)は、\(\Omega\)における閉包、中身の集合を含む最小の\(\Omega\)における閉包を表しています。

まず、0でない値を取る定義域は

\[{\{x\in \Omega \mid \phi(x) \neq 0\}}=(-1,1) \]

です。そして、\((-1,1)\)は、\((-1,1)\)を含み、それ自身が\((-1,1)\)の閉集合なので、

\[\mathrm{supp }\, \phi= \overline {\{x\in (-1,1) \mid \phi(x) \neq 0\}} \\ \overline{(-1,1)} =(-1,1)\]

と求めることができました。閉包を取ったからといって、端点を含むとは限らないのです。

もし\(\mathbb{R}\)における閉包を考えると、\(\mathrm{supp }\, \phi=[-1,1]\)ですが、これは議論しようとしている定義域\(\Omega =(-1,1)\)をはみ出してしまっていて困りますね。このような事態を避けるために、\(\Omega\)における閉包を台の定義では考えたわけです。

 

以上、相対位相、部分集合における開集合・閉集合とは何か、ユークリッド空間の位相を例にを紹介してきました。

開集合・閉集合という位相的な用語はさまざまな分野で使われていますが、「どこかの部分集合における」という但し書きがついているときは、部分位相空間、相対位相の話を思い出してみてください。

木村すらいむ(@kimu3_slime)でした。ではでは。

 

 

Partial Differential Equations (Graduate Studies in Mathematics)
Partial Differential Equations (Graduate Studies in Mathematics)
Evans, Lawrence C.(著)
¥16,299 (2022-08-19時点)
5つ星のうち4.8

 

関数解析 共立数学講座 (15)
関数解析 共立数学講座 (15)
黒田 成俊(著)
¥4,300 (中古品) (2022-08-21時点)
5つ星のうち4.4

 

こちらもおすすめ

テスト関数C_c^∞、関数の台とは:簡単な例

位相の強弱とは:密着位相と離散位相を例に

部分集合族(集合系)、べき集合とは何か:具体例と性質