# 位相空間の定義と基本概念：距離を捨てても「近さ」は残る > 距離空間の開集合が満たす3つの性質だけを抜き出して位相空間を定義し、離散・密着・順序・ザリスキー位相を具体的に構成しながら、近傍・内部・閉包・境界の基本性質を証明します。 > https://rikai.mugen-giken.com/mathematics/topology/topological-spaces ## 0. この記事の要点 - 距離 $d$ の数値そのものが使われるのは「どの集合を開集合と呼ぶか」を決める場面だけです。連続・収束・閉包といった解析の基本概念は、開集合の族さえ与えられれば距離なしで定義できます。 - 距離空間の開集合の全体は、(O1) 空集合と全体集合を含む、(O2) 任意個の合併で閉じる、(O3) 有限個の交わりで閉じる、という3性質を持ちます。この3つだけを公理として採用したものが位相空間です。 - (O3) の「有限個」は落とせません。$\bigcap_{n\ge 1}(-1/n,\,1/n)=\{0\}$ が開でないことがその証拠です。 - 位相は距離から来るものばかりではありません。密着位相・順序位相・ザリスキー位相（余有限位相）は、距離では決して作れない位相を含みます。 - 近傍・内部・閉包・境界はすべて開集合族だけから定義できます。閉包 $\overline{A}$ は「$A$ を含む最小の閉集合」と「どの近傍も $A$ と交わる点の全体」という2つの顔を持ち、この2つの言い換えが位相空間論の計算の要になります。 ## 1. 動機：距離を捨てるとき 微分積分学で関数の連続性を定義するとき、私たちは $\varepsilon$-$\delta$ 論法を使いました。「$x$ が $a$ に十分近ければ $f(x)$ は $f(a)$ に十分近い」という言明を、$|x-a| < \delta$ と $|f(x)-f(a)| < \varepsilon$ という2つの不等式で書き下したわけです。ここでは「近い」を測る道具として実数の絶対値、すなわち距離が使われています。 この構造を一般の集合に移植したのがモーリス・フレシェで、1906 年の学位論文において、点の集合に「2 点の隔たり」を与える関数の公理系を導入しました。これが今日の距離空間です。距離さえあれば、収束・連続・コンパクト性を数直線の外でも論じられます。ここまでは自然な一般化です。 ところが 20 世紀に入ると、距離では扱いきれない「近さ」が次々に現れました。3 つ挙げます。 第一に、関数列の各点収束です。区間 $[0,1]$ 上の実数値関数全体という巨大な集合を考えると、一様収束を表す近さは上限距離 $\sup_t |f(t)-g(t)|$ で書けます（[関数列と一様収束](/mathematics/real-analysis/uniform-convergence) を参照してください）。しかし各点収束を表す近さは、どんな距離からも得られないことが知られています。「収束」という概念があるのに、それを生む距離が存在しないのです。 第二に、商をとる操作です。実数直線 $\mathbb{R}$ の 2 点 $x,y$ を「$x-y$ が有理数」のとき同一視して得られる商集合には $\mathbb{R}$ から自然に位相が誘導されますが、その開集合は空集合と全体集合の 2 つしかありません。距離空間では相異なる 2 点を交わらない開集合で必ず分離できるので（）、これはどんな距離からも来ない位相です。 第三に、代数幾何学です。体 $k$ の上で、多項式の共通零点として書ける集合を閉集合と定めると、これも位相の公理を満たします（ザリスキー位相）。1 変数の場合、空でない開集合は「有限個の点を除いた全体」であり、どの 2 つの空でない開集合も必ず交わります。距離の直感からはかけ離れていますが、多項式でしか図形を切り出せない世界では、これが正しい「近さ」なのです。 一方で、距離空間で書かれた証明を読み返すと、$d(x,y)$ の具体的な値はほとんど使われていないことに気づきます。使われているのは「$x$ を中心とする十分小さい球がすっぽり $U$ に入る」という形の主張ばかりです。つまり距離は、どの集合が「その各点のまわりに余裕を持つ集合」かを指定するためだけに使われている。それならば、その「余裕を持つ集合」の族を最初から与えてしまえばよい。この発想の転換が位相空間です。フェリックス・ハウスドルフは 1914 年の『集合論基礎』で近傍系による公理化を与え、その後、開集合族による同値な定式化が標準になりました。 抽象化の見返りは大きいものでした。位相だけで定義できる性質のうち、コンパクト性と連結性は特に強力です。閉区間上の連続関数が最大値をとること、中間値をとることは、$\mathbb{R}$ の細かい構造ではなく $[a,b]$ のコンパクト性・連結性から従います（[コンパクト性](/mathematics/topology/compactness)、[連結性](/mathematics/topology/connectedness)）。前者は 、後者は として、位相の言葉だけで証明されます。この記事はその出発点として、位相空間の定義そのものを組み立てます。 ## 2. 距離空間：近さを数値で測る まず出発点となる距離空間を正確に定義します。以下、$X$ は空でない集合とします。 集合 $X$ 上の写像 $d\colon X\times X\to\mathbb{R}$ が次の 3 条件を満たすとき、$d$ を $X$ 上の**距離**といい、組 $(X,d)$ を**距離空間**といいます。 - (M1) 任意の $x,y\in X$ に対して、$d(x,y)=0$ であることと $x=y$ であることは同値。 - (M2) 任意の $x,y\in X$ に対して $d(x,y)=d(y,x)$。 - (M3) 任意の $x,y,z\in X$ に対して $d(x,z)\le d(x,y)+d(y,z)$（三角不等式）。 また $x\in X$ と実数 $r>0$ に対して $$ B_d(x,r)=\{\,y\in X \;:\; d(x,y) < r\,\} $$ を $x$ を中心とする半径 $r$ の**開球**といいます。距離が文脈から明らかなときは $B(x,r)$ と書きます。 非負性 $d(x,y)\ge 0$ を 4 つ目の公理に挙げる本もありますが、(M1)–(M3) から導けます。(M3) で $z=x$ とすると $d(x,x)\le d(x,y)+d(y,x)$ です。左辺は (M1) より $0$、右辺は (M2) より $2d(x,y)$ ですから $0\le 2d(x,y)$、すなわち $d(x,y)\ge 0$ を得ます。 $X=\mathbb{R}^n$ とし、$x=(x_1,\dots,x_n)$、$y=(y_1,\dots,y_n)$ に対して $$ d_1(x,y)=\sum_{i=1}^{n}|x_i-y_i|,\qquad d_2(x,y)=\Bigl(\sum_{i=1}^{n}(x_i-y_i)^2\Bigr)^{1/2},\qquad d_\infty(x,y)=\max_{1\le i\le n}|x_i-y_i| $$ と定めます。順に**マンハッタン距離**（碁盤の目状の街路を歩く距離）、**ユークリッド距離**、**チェビシェフ距離**と呼ばれます。 (M1) を $d_1$ について確かめます。$d_1(x,y)=0$ とすると、非負の実数の有限和が $0$ なので各項が $0$、すなわちすべての $i$ で $x_i=y_i$、つまり $x=y$ です。逆は代入すれば $0$ です。$d_2$、$d_\infty$ も同様に「各成分が一致すること」に帰着します。(M2) は $|x_i-y_i|=|y_i-x_i|$ からただちに従います。 (M3) を確かめます。$d_1$ については、各成分に実数の三角不等式 $|x_i-z_i|\le |x_i-y_i|+|y_i-z_i|$ を適用し、$i=1,\dots,n$ について足し合わせれば得られます。$d_\infty$ については、各 $i$ で $$ |x_i-z_i|\le |x_i-y_i|+|y_i-z_i|\le d_\infty(x,y)+d_\infty(y,z) $$ が成り立ち、右辺は $i$ によらないので、左辺の最大値をとって $d_\infty(x,z)\le d_\infty(x,y)+d_\infty(y,z)$ となります。$d_2$ については、$a=x-y$、$b=y-z$ とおき、$\|a\|=(\sum a_i^2)^{1/2}$、$\langle a,b\rangle=\sum a_ib_i$ と書くと、コーシー・シュワルツの不等式 $\langle a,b\rangle\le\|a\|\,\|b\|$ から $$ \|a+b\|^2=\|a\|^2+2\langle a,b\rangle+\|b\|^2\le \|a\|^2+2\|a\|\,\|b\|+\|b\|^2=(\|a\|+\|b\|)^2 $$ となり、両辺の平方根をとれば $d_2(x,z)=\|a+b\|\le\|a\|+\|b\|=d_2(x,y)+d_2(y,z)$ を得ます。 この 3 つの距離の間には、任意の $x,y$ に対して $$ d_\infty(x,y)\;\le\; d_2(x,y)\;\le\; d_1(x,y)\;\le\; n\,d_\infty(x,y) $$ という関係があります。実際、$a_i=|x_i-y_i|$ とおくと、$\max_i a_i^2\le\sum_i a_i^2$ の平方根から 1 番目の不等式が、$\bigl(\sum_i a_i\bigr)^2=\sum_i a_i^2+\sum_{i\ne j}a_ia_j\ge\sum_i a_i^2$（$a_i\ge 0$ なので交差項は非負）の平方根から 2 番目が、各項が最大値以下であることから 3 番目が従います。この不等式の列は演習で使います。
d₁（マンハッタン） d₂（ユークリッド） d∞（チェビシェフ）
**(1) 離散距離。** 任意の集合 $X$ に対し、$x=y$ のとき $d(x,y)=0$、$x\ne y$ のとき $d(x,y)=1$ と定めます。(M1)(M2) は定義そのものです。(M3) を確かめます。$x=z$ のときは左辺が $0$ で、右辺は非負なので成立します。$x\ne z$ のときは左辺が $1$ です。このとき $y$ は $x$ と $z$ の少なくとも一方とは異なります（もし $y=x$ かつ $y=z$ なら $x=z$ となって矛盾）。したがって右辺の 2 項のうち少なくとも一方が $1$ で、右辺は $1$ 以上です。よって (M3) が成り立ちます。 **(2) 連続関数の空間の一様距離。** $C[0,1]$ を $[0,1]$ 上の実数値連続関数全体とし、$d_\infty(f,g)=\sup_{t\in[0,1]}|f(t)-g(t)|$ と定めます。有界閉区間上の連続関数は有界なので、この上限は有限の実数です。(M1) は「すべての $t$ で $f(t)=g(t)$」が $f=g$ の定義そのものであることから従います。(M3) は、各 $t$ について $$ |f(t)-h(t)|\le |f(t)-g(t)|+|g(t)-h(t)|\le d_\infty(f,g)+d_\infty(g,h) $$ が成り立ち、右辺が $t$ によらないので、左辺の上限をとればよいことから従います。この距離での収束が一様収束です。 **(3) 同じ集合に別の距離。** 同じ $C[0,1]$ に $d_1(f,g)=\int_0^1|f(t)-g(t)|\,dt$ を入れることもできます。(M3) は各点での不等式を積分すれば得られ、(M1) は「連続かつ非負な $h$ が $\int_0^1 h=0$ を満たせば $h\equiv0$」（もし $h(t_0)>0$ なら連続性より $t_0$ のまわりの長さ $\delta>0$ の区間で $h>h(t_0)/2$ となり、積分が $\delta h(t_0)/2>0$ 以上になって矛盾）から従います。この 2 つの距離は同じ集合の上にありながら違う近さを与えます（[L^p空間と関数解析への導入](/mathematics/real-analysis/lp-spaces)）。 ## 3. 距離空間の開集合：距離が本当に働いている場所 距離空間の議論を「開集合」という言葉に翻訳します。ここが位相空間への橋です。 $(X,d)$ を距離空間とします。部分集合 $U\subseteq X$ が **$d$ に関する開集合**であるとは、 $$ \forall x\in U,\ \exists r>0,\quad B(x,r)\subseteq U $$ が成り立つことをいいます。すなわち $U$ のどの点も、$U$ からはみ出さない余裕を持っているということです。補集合 $X\setminus F$ が開集合であるような $F\subseteq X$ を**閉集合**といいます。 空集合 $\emptyset$ は開集合です。「任意の $x\in\emptyset$ に対して…」という主張は、条件を満たす $x$ が 1 つも存在しないので空虚に真だからです（この種の量化子の扱いは [数学の国語 - 集合と論理](/mathematics/foundations/sets-and-logic) を参照してください）。この確認を飛ばすと、後で公理 (O1) が成り立つ理由が曖昧になります。 $(X,d)$ を距離空間とすると、任意の $x\in X$ と $r>0$ に対し、開球 $B(x,r)$ は の意味で開集合です。 $y\in B(x,r)$ を任意にとります。定義より $d(x,y) < r$ なので、$\rho := r-d(x,y)$ は正の実数です。この $\rho$ が求めるものであることを示します。$z\in B(y,\rho)$ とすると、三角不等式 (M3)（）より $$ d(x,z)\le d(x,y)+d(y,z) < d(x,y)+\rho = d(x,y) + \bigl(r-d(x,y)\bigr) = r $$ となるので $z\in B(x,r)$ です。よって $B(y,\rho)\subseteq B(x,r)$ が成り立ち、$y$ は任意だったので $B(x,r)$ は開集合です。 この命題は「開球」という名前が正当であることを保証すると同時に、以下の証明で繰り返し使う基本道具になります。次が本節の主定理で、位相空間の公理はここから抜き出されます。 $(X,d)$ を距離空間とし、$\mathcal{O}_d$ を $d$ に関する開集合全体の族とします。このとき次が成り立ちます。 - (O1) $\emptyset\in\mathcal{O}_d$ かつ $X\in\mathcal{O}_d$。 - (O2) $\Lambda$ を任意の（有限とは限らない）添字集合とし、各 $\lambda\in\Lambda$ に対し $U_\lambda\in\mathcal{O}_d$ とすると、$\bigcup_{\lambda\in\Lambda}U_\lambda\in\mathcal{O}_d$。 - (O3) $n$ を自然数とし、$U_1,\dots,U_n\in\mathcal{O}_d$ とすると、$\bigcap_{k=1}^{n}U_k\in\mathcal{O}_d$。 (O1)：$\emptyset$ が開であることは前段で述べたとおり、条件が空虚に真だからです。$X$ については、任意の $x\in X$ に対して $B(x,1)\subseteq X$ が成り立つので開です。 (O2)：$U=\bigcup_{\lambda\in\Lambda}U_\lambda$ とし、$x\in U$ とします。合併の定義より、ある $\lambda_0\in\Lambda$ が存在して $x\in U_{\lambda_0}$ です。$U_{\lambda_0}$ は開集合なので、ある $r>0$ で $B(x,r)\subseteq U_{\lambda_0}$ となります。$U_{\lambda_0}\subseteq U$ ですから $B(x,r)\subseteq U$ です。$x$ は任意だったので $U$ は開集合です。ここで $\Lambda$ の大きさは一切使っていないことに注意してください。 (O3)：まず $n=2$ の場合を示します。$x\in U_1\cap U_2$ とすると、$U_1$、$U_2$ が開なので $r_1>0$、$r_2>0$ が存在して $B(x,r_1)\subseteq U_1$、$B(x,r_2)\subseteq U_2$ となります。$r=\min\{r_1,r_2\}$ とおくと、**有限個**の正の実数の最小値なので $r>0$ です。$B(x,r)\subseteq B(x,r_1)\subseteq U_1$、同様に $B(x,r)\subseteq U_2$ なので $B(x,r)\subseteq U_1\cap U_2$ です。 一般の $n$ については $n$ に関する数学的帰納法によります（）。$n=1$ は自明です。$n$ 個の場合に成り立つとすると、$\bigcap_{k=1}^{n+1}U_k=\bigl(\bigcap_{k=1}^{n}U_k\bigr)\cap U_{n+1}$ であり、括弧の中は帰納法の仮定より開、$U_{n+1}$ も開なので、$n=2$ の場合により全体が開です。 証明の中で有限性が効いたのは (O3) の $r=\min\{r_1,\dots,r_n\}>0$ の一箇所だけです。無限個の正数の下限は $0$ になりうるので、この議論は無限個には通用しません。 $\mathbb{R}$ に通常の距離 $d(x,y)=|x-y|$ を入れ、$n\ge 1$ に対し $U_n=(-1/n,\,1/n)=B(0,1/n)$ とおきます。各 $U_n$ は より開集合です。この無限個の交わりを計算します。 $x\in\bigcap_{n\ge1}U_n$ とすると、すべての $n\ge 1$ で $|x| < 1/n$ です。もし $|x|>0$ なら、 より $1/n < |x|$ となる自然数 $n$ が存在し、矛盾します。よって $|x|=0$、すなわち $x=0$ です。逆に $0\in U_n$ はすべての $n$ で成り立つので、$\bigcap_{n\ge 1}U_n=\{0\}$ です。 ところが $\{0\}$ は開集合ではありません。任意の $r>0$ に対して $r/2$ は $|r/2-0|=r/2 < r$ より $B(0,r)$ に属し、しかも $r/2\ne 0$ なので $B(0,r)\not\subseteq\{0\}$ だからです。したがって の (O3) から「有限個」という条件を外すことはできません。 $(X,d)$ を距離空間とし、$x,y\in X$、$x\ne y$ とします。このとき開集合 $U,V$ で、$x\in U$、$y\in V$、$U\cap V=\emptyset$ を満たすものが存在します。 $x\ne y$ と (M1)（）より $d(x,y)\ne 0$ で、 より $d(x,y)\ge 0$ ですから $d(x,y)>0$ です。そこで $r=d(x,y)/2>0$ とおき、$U=B(x,r)$、$V=B(y,r)$ とします。これらは より開集合で、$d(x,x)=0 < r$ より $x\in U$、同様に $y\in V$ です。 もし $z\in U\cap V$ なる点があったとすると、三角不等式 (M3) と対称律 (M2) より $$ d(x,y)\le d(x,z)+d(z,y)=d(x,z)+d(y,z) < r+r=d(x,y) $$ となり、$d(x,y) < d(x,y)$ という矛盾が生じます。よって $U\cap V=\emptyset$ です。 この命題は後で「距離から来ない位相」を見分ける道具として使います。距離空間では 2 点が必ず開集合で切り離せるので、この性質を持たない位相は距離化できないのです。 最後に、$\varepsilon$-$\delta$ 論法そのものが開集合の言葉に翻訳できることを見ます。これが公理化への決め手です。 $(X,d_X)$、$(Y,d_Y)$ を距離空間、$f\colon X\to Y$ を写像とします。次の 2 条件は同値です。 - (a) 任意の $a\in X$ と任意の $\varepsilon>0$ に対し、ある $\delta>0$ が存在して、$d_X(x,a) < \delta$ を満たすすべての $x\in X$ について $d_Y(f(x),f(a)) < \varepsilon$ が成り立つ。 - (b) $Y$ の任意の開集合 $V$ に対し、逆像 $f^{-1}(V)$ は $X$ の開集合である。 (a) $\Rightarrow$ (b)：$V\subseteq Y$ を開集合とし、$a\in f^{-1}(V)$ とします。$f(a)\in V$ で $V$ は開なので、ある $\varepsilon>0$ が存在して $B(f(a),\varepsilon)\subseteq V$ です。(a) をこの $\varepsilon$ に適用して $\delta>0$ をとると、$x\in B(a,\delta)$ すなわち $d_X(x,a) < \delta$ ならば $d_Y(f(x),f(a)) < \varepsilon$、つまり $f(x)\in B(f(a),\varepsilon)\subseteq V$ です。ゆえに $B(a,\delta)\subseteq f^{-1}(V)$ となり、$a$ は任意だったので $f^{-1}(V)$ は開集合です。 (b) $\Rightarrow$ (a)：$a\in X$ と $\varepsilon>0$ を任意にとります。$V=B(f(a),\varepsilon)$ は より $Y$ の開集合なので、(b) より $f^{-1}(V)$ は $X$ の開集合です。$d_Y(f(a),f(a))=0 < \varepsilon$ より $a\in f^{-1}(V)$ ですから、開集合の定義よりある $\delta>0$ が存在して $B(a,\delta)\subseteq f^{-1}(V)$ です。これは $d_X(x,a) < \delta$ ならば $f(x)\in V$、すなわち $d_Y(f(x),f(a)) < \varepsilon$ ということにほかなりません。 条件 (b) には $d_X$ も $d_Y$ も、$\varepsilon$ も $\delta$ も現れません。現れるのは「開集合」という語だけです。連続性という解析学の中心概念が開集合の族だけで書けるのなら、距離を捨てて開集合の族を最初から与えればよい。これが次節の定義の動機です。連続写像の一般論は、条件 (b) をそのまま定義に採用する形で [連続写像と同相写像](/mathematics/topology/continuous-maps) で扱います（）。 ## 4. 位相空間の公理 で得られた 3 性質を、定理ではなく出発点として採用します。以下 $\mathfrak{P}(X)$ で $X$ の冪集合、すなわち $X$ の部分集合全体の集合を表します。 $X$ を集合、$\mathcal{O}\subseteq\mathfrak{P}(X)$ を $X$ の部分集合の族とします。$\mathcal{O}$ が次の 3 条件を満たすとき、$\mathcal{O}$ を $X$ 上の**位相**といい、組 $(X,\mathcal{O})$ を**位相空間**といいます。 - (O1) $\emptyset\in\mathcal{O}$ かつ $X\in\mathcal{O}$。 - (O2) $\Lambda$ を任意の添字集合とし、各 $\lambda\in\Lambda$ に対し $U_\lambda\in\mathcal{O}$ とすると、$\bigcup_{\lambda\in\Lambda}U_\lambda\in\mathcal{O}$。 - (O3) $U,V\in\mathcal{O}$ ならば $U\cap V\in\mathcal{O}$。 $\mathcal{O}$ に属する集合を**開集合**、補集合が開集合であるような集合を**閉集合**といいます。 定義について 4 点補足します。 第一に、(O3) を 2 個の交わりで述べましたが、 の証明と同じ帰納法で、有限個 $U_1,\dots,U_n\in\mathcal{O}$ の交わりが開になることが従います。無限個には拡張できません（）。 第二に、「開集合である」は集合そのものに備わった性質ではなく、どの $\mathcal{O}$ を選んだかに依存します。同じ部分集合が、位相を変えれば開になったりならなかったりします。「$A$ は開集合」と言うときは常に背後の位相を意識してください。 第三に、開集合と閉集合は排反ではありません。$\emptyset$ と $X$ はいつでも開かつ閉です（互いに補集合であり、どちらも (O1) より開だからです）。一方 $[0,1)\subseteq\mathbb{R}$ は通常の位相で開でも閉でもありません。$0$ のどんな近くにも $[0,1)$ の外の点があるので開でなく、補集合 $(-\infty,0)\cup[1,\infty)$ は点 $1$ のところで同じ理由により開でないからです。 第四に、距離空間 $(X,d)$ に対して $\mathcal{O}_d$ は より位相です。これを $d$ の定める位相といい、ある距離からこの形で得られる位相を**距離化可能**であるといいます。どの位相が距離化可能かという問題は [分離公理と距離づけ可能性](/mathematics/topology/separation-axioms) の主題で、その代表的な十分条件が です。 閉集合の側から見ると、公理は次のようにひっくり返ります。合併と交わり、有限と任意が入れ替わることに注意してください。 $(X,\mathcal{O})$ を位相空間とし、$\mathcal{F}$ を閉集合全体の族とします。このとき次が成り立ちます。 - (C1) $\emptyset\in\mathcal{F}$ かつ $X\in\mathcal{F}$。 - (C2) $\Lambda\ne\emptyset$ を任意の添字集合とし、各 $\lambda\in\Lambda$ に対し $F_\lambda\in\mathcal{F}$ とすると、$\bigcap_{\lambda\in\Lambda}F_\lambda\in\mathcal{F}$。 - (C3) $F_1,\dots,F_n\in\mathcal{F}$（有限個）ならば $\bigcup_{k=1}^{n}F_k\in\mathcal{F}$。 いずれも で開集合の言葉に翻訳するだけです。 (C1)：$X\setminus\emptyset=X\in\mathcal{O}$ より $\emptyset$ は閉、$X\setminus X=\emptyset\in\mathcal{O}$ より $X$ は閉です（どちらも (O1) を使いました）。 (C2)：$X\setminus\bigcap_{\lambda}F_\lambda=\bigcup_{\lambda}(X\setminus F_\lambda)$ であり、各 $X\setminus F_\lambda$ は閉集合の定義より開なので、(O2) より右辺は開です。よって $\bigcap_\lambda F_\lambda$ は閉です。$\Lambda\ne\emptyset$ を仮定したのは、空な族の交わりを $X$ と約束しない流儀では $\bigcap_{\lambda\in\emptyset}F_\lambda$ が定まらないためで、$X$ と約束するなら (C1) に吸収されます。 (C3)：$X\setminus\bigcup_{k=1}^{n}F_k=\bigcap_{k=1}^{n}(X\setminus F_k)$ であり、右辺は有限個の開集合の交わりなので (O3)（と帰納法）より開です。よって $\bigcup_k F_k$ は閉です。 ここからは位相の実例を並べます。まず両極端の 2 つです。 **離散位相。** $\mathcal{O}=\mathfrak{P}(X)$、つまりすべての部分集合を開集合とします。合併も交わりも部分集合であることに変わりはないので、(O1)(O2)(O3) はすべて成り立ちます。これは の離散距離が定める位相と一致します。実際、離散距離では $B(x,1)=\{x\}$ なので 1 点集合はすべて開であり、任意の $A\subseteq X$ は $A=\bigcup_{x\in A}\{x\}$ と書けるので (O2) より開だからです。したがって離散位相は距離化可能です。 **密着位相。** $\mathcal{O}=\{\emptyset,X\}$ とします。この 2 つの集合の合併と交わりは再び $\emptyset$ か $X$ なので、公理はすべて成り立ちます。$X$ が 2 点以上を持つとき、この位相は距離化可能ではありません。相異なる 2 点 $x\ne y$ をとると、 より距離位相なら $x,y$ を分離する交わらない開集合が必要ですが、空でない開集合は $X$ しかなく、$X\cap X=X\ne\emptyset$ だからです。$\varepsilon$-$\delta$ の世界の外に出た最初の例です。 **シェルピンスキー空間と 2 点集合上の位相。** $X=\{a,b\}$（$a\ne b$）の上の位相をすべて数えます。(O1) より $\emptyset$ と $X$ は必ず入るので、あとは $\{a\}$、$\{b\}$ を入れるかどうかの 4 通りを調べればよく、$\{\emptyset,X\}$（密着位相）、$\{\emptyset,\{a\},X\}$、$\{\emptyset,\{b\},X\}$、$\{\emptyset,\{a\},\{b\},X\}$（離散位相）のいずれも公理を満たします。真ん中の 2 つがシェルピンスキー空間と呼ばれるもので、$\{a\}$ は開だが $\{b\}$ は開でないという非対称な空間です。これも距離化可能ではありません（同じく による）。 **位相の強弱。** 同じ集合 $X$ 上の位相 $\mathcal{O}_1,\mathcal{O}_2$ が $\mathcal{O}_1\subseteq\mathcal{O}_2$ を満たすとき、$\mathcal{O}_1$ は $\mathcal{O}_2$ より**粗い**（弱い）、$\mathcal{O}_2$ は $\mathcal{O}_1$ より**細かい**（強い）といいます。密着位相はすべての位相の中で最も粗く、離散位相は最も細かい位相です。開集合が多いほど点を細かく区別できます。 ## 5. 位相の作り方：基底・順序位相・ザリスキー位相 位相を定めるのに開集合を全部書き下すのは大変です。距離空間では開球さえ決めれば、あとは「各点のまわりに開球が入る集合」として開集合が復元されました。この仕組みを一般化したものが基底です。 $(X,\mathcal{O})$ を位相空間とします。部分族 $\mathcal{B}\subseteq\mathcal{O}$ が $\mathcal{O}$ の**基底**（開基）であるとは、任意の $U\in\mathcal{O}$ と任意の $x\in U$ に対して、ある $B\in\mathcal{B}$ が存在して $x\in B\subseteq U$ となることをいいます。 この条件は「$\mathcal{O}$ の各元が $\mathcal{B}$ の元たちの合併で書ける」ことと同値です。実際、$U\in\mathcal{O}$ の各点 $x$ に対し $x\in B_x\subseteq U$ なる $B_x\in\mathcal{B}$ を選べば $U=\bigcup_{x\in U}B_x$ となり、逆に $U=\bigcup_{i\in I}B_i$ と書けていれば、$x\in U$ に対しある $i$ で $x\in B_i\subseteq U$ です。距離空間では開球全体が基底になります（開集合の定義がまさにこの形だからです）。 次の命題は逆向きで、まだ位相が与えられていない集合の上に、基底の候補から位相を作り出します。以降の例はすべてこれを使います。 $X$ を集合、$\mathcal{B}\subseteq\mathfrak{P}(X)$ が次の 2 条件を満たすとします。 - (B1) $\bigcup_{B\in\mathcal{B}}B=X$。すなわち任意の $x\in X$ に対し $x\in B$ なる $B\in\mathcal{B}$ が存在する。 - (B2) 任意の $B_1,B_2\in\mathcal{B}$ と任意の $x\in B_1\cap B_2$ に対し、ある $B_3\in\mathcal{B}$ が存在して $x\in B_3\subseteq B_1\cap B_2$ となる。 このとき $$ \mathcal{O}_{\mathcal{B}}=\{\,U\subseteq X \;:\; \forall x\in U,\ \exists B\in\mathcal{B},\ x\in B\subseteq U\,\} $$ は $X$ 上の位相であり、$\mathcal{B}\subseteq\mathcal{O}_{\mathcal{B}}$ かつ $\mathcal{B}$ は $\mathcal{O}_{\mathcal{B}}$ の基底です。 (O1)：$\emptyset\in\mathcal{O}_{\mathcal{B}}$ は条件が空虚に真であることから従います。$X\in\mathcal{O}_{\mathcal{B}}$ は、$x\in X$ に対し (B1) より $x\in B$ なる $B\in\mathcal{B}$ がとれ、$B\subseteq X$ だからです。 (O2)：$U=\bigcup_{\lambda\in\Lambda}U_\lambda$（各 $U_\lambda\in\mathcal{O}_{\mathcal{B}}$）とし、$x\in U$ とします。ある $\lambda_0$ で $x\in U_{\lambda_0}$ なので、$\mathcal{O}_{\mathcal{B}}$ の定義よりある $B\in\mathcal{B}$ で $x\in B\subseteq U_{\lambda_0}\subseteq U$ となります。よって $U\in\mathcal{O}_{\mathcal{B}}$ です。 (O3)：$U,V\in\mathcal{O}_{\mathcal{B}}$ とし、$x\in U\cap V$ とします。定義より $B_1,B_2\in\mathcal{B}$ が存在して $x\in B_1\subseteq U$ かつ $x\in B_2\subseteq V$ です。すると $x\in B_1\cap B_2$ なので、(B2) よりある $B_3\in\mathcal{B}$ で $x\in B_3\subseteq B_1\cap B_2\subseteq U\cap V$ となります。よって $U\cap V\in\mathcal{O}_{\mathcal{B}}$ です。ここで (B2) が本質的に使われました。 $\mathcal{B}\subseteq\mathcal{O}_{\mathcal{B}}$：$B\in\mathcal{B}$ と $x\in B$ に対し、$B$ 自身が $x\in B\subseteq B$ を満たします。最後に、$\mathcal{B}$ が基底であることは $\mathcal{O}_{\mathcal{B}}$ の定義式そのものです。 $(X,\le)$ を全順序集合とし、$X$ は少なくとも 2 個の元を持つとします。$a,b\in X$ に対し $$ (a,b)=\{x\in X: a < x < b\},\qquad (\leftarrow,b)=\{x\in X: x < b\},\qquad (a,\rightarrow)=\{x\in X: a < x\} $$ とおき、$\mathcal{B}$ をこれらすべて（開区間と開半直線）の族とします。(B1) を確かめます。$x\in X$ に対し、$x$ と異なる元 $y$ をとると、全順序性より $y < x$ か $x < y$ のいずれかで、前者なら $x\in(y,\rightarrow)$、後者なら $x\in(\leftarrow,y)$ です。(B2) は、$\mathcal{B}$ の 2 元の交わりがふたたび $\mathcal{B}$ の元か空集合になることから従います。たとえば $(a,b)\cap(c,d)=(\max\{a,c\},\min\{b,d\})$ であり（全順序集合では 2 元の最大・最小が定まります）、これが空でなければ $B_3$ としてこれ自身がとれます。半直線どうし、半直線と区間の場合も同様です。こうして得られる位相を**順序位相**といいます。 $X=\mathbb{R}$ のとき、順序位相はユークリッド距離の定める位相と一致します。実際、開球は $B(x,r)=(x-r,x+r)$ という開区間であり、逆に開区間は $(a,b)=B\bigl(\frac{a+b}{2},\frac{b-a}{2}\bigr)$ と開球で書け、半直線は $(a,\rightarrow)=\bigcup_{n\ge1}(a,a+n)$ と開区間の合併で書けます（アルキメデスの原理より、$a$ より大きい任意の実数はある $a+n$ 未満です）。よって互いの基底が相手の位相に含まれ、両者の位相は一致します。 $X=\mathbb{Z}$ のとき、順序位相は離散位相です。任意の $n\in\mathbb{Z}$ に対し $(n-1,\,n+1)=\{n\}$ が基本開集合だからです。同じ「順序位相」という作り方でも、順序の中身によって出来上がる空間はまったく違うものになります。 $k$ を無限個の元を持つ体（$\mathbb{R}$ や $\mathbb{C}$ でよい）とし、$X=k$ とします。多項式 $f\in k[T]$ に対し零点集合を $V(f)=\{a\in k: f(a)=0\}$ と書きます。$f\ne 0$ なら $V(f)$ は高々 $\deg f$ 個の元からなる有限集合であり、$f=0$ なら $V(0)=k$ です。逆に、有限集合 $\{a_1,\dots,a_m\}$ は $f(T)=\prod_{i=1}^{m}(T-a_i)$ の零点集合として実現されます。したがって「多項式の零点集合」の全体は「有限集合、および $k$ 全体」の全体と一致します。 そこでこれらを閉集合と定めます。すなわち $U\subseteq X$ を開集合と呼ぶのは、$U=\emptyset$ であるか、または $X\setminus U$ が有限集合であるとき、と定めます。これが 1 変数の**ザリスキー位相**であり、**余有限位相**とも呼ばれます。位相の公理は、閉集合の側（ の (C1)(C2)(C3)）で確かめるほうが簡単です。 (C1)：$\emptyset$ は有限なので閉、$X$ は $V(0)$ なので閉です。(C2)：閉集合の族 $\{F_\lambda\}_{\lambda\in\Lambda}$（$\Lambda\ne\emptyset$）に対し、すべての $F_\lambda$ が $X$ なら交わりも $X$ で閉です。1 つでも有限なものがあれば、交わりはその有限集合の部分集合なので有限、よって閉です。(C3)：有限個の閉集合の合併は、すべてが有限集合なら有限集合の有限合併なので有限、1 つでも $X$ があれば合併は $X$ です。いずれも閉です。 この位相の際立った特徴は、$X$ が無限集合のとき**空でない 2 つの開集合が必ず交わる**ことです。実際 $U,V$ を空でない開集合とすると、$X\setminus(U\cap V)=(X\setminus U)\cup(X\setminus V)$ は有限集合 2 つの合併なので有限で、$X$ は無限ですから $U\cap V\ne\emptyset$ です。したがって より、この位相は距離化可能ではありません。にもかかわらず、1 点集合はすべて閉であり（有限集合だから）、代数幾何ではこの位相が正しい道具になります。多項式で切り出せる集合しか「見えない」世界では、開集合はどれも巨大なのです。 一般に $n$ 変数では、多項式の族 $S\subseteq k[T_1,\dots,T_n]$ の共通零点集合 $V(S)=\{a\in k^n: \forall f\in S,\ f(a)=0\}$ を閉集合と定めます。$n\ge2$ では閉集合は有限集合に限らず、たとえば $V(T_1)$ は $k^2$ の中の直線です。 ## 6. 近傍・内部・閉包・境界 位相が与えられると、「点のまわり」「集合の内側」「集合の縁」といった素朴な言葉に正確な意味を与えられます。以下 $(X,\mathcal{O})$ を位相空間とします。 $x\in X$ とします。部分集合 $V\subseteq X$ が $x$ の**近傍**であるとは、ある開集合 $U\in\mathcal{O}$ が存在して $x\in U\subseteq V$ となることをいいます。$x$ の近傍全体を $\mathcal{N}(x)$ と書きます。特に $x$ を含む開集合は $x$ の近傍であり、これを $x$ の**開近傍**といいます。 本によっては「近傍」を開集合に限って定義します（その流儀の近傍が、ここでいう開近傍です）。以下の主張はどちらの流儀でも成り立ちます。$V\in\mathcal{N}(x)$ なら $x\in U\subseteq V$ なる開近傍 $U$ がとれるので、近傍を用いた条件はすべて開近傍の言葉に言い換えられるからです。 距離空間では、$V$ が $x$ の近傍であることと、ある $r>0$ で $B(x,r)\subseteq V$ となることは同値です。実際、前者なら開集合 $U$ で $x\in U\subseteq V$ なるものがとれ、開集合の定義（）より $B(x,r)\subseteq U\subseteq V$ なる $r>0$ があります。後者なら $B(x,r)$ 自身が より開近傍です。 $A\subseteq X$ に対し、 $$ A^{\circ}=\bigcup\{\,U\in\mathcal{O} : U\subseteq A\,\},\qquad \overline{A}=\bigcap\{\,F\subseteq X : F \text{ は閉集合},\ A\subseteq F\,\},\qquad \partial A=\overline{A}\setminus A^{\circ} $$ と定め、順に $A$ の**内部**（開核）、**閉包**、**境界**といいます。$A^{\circ}$ の元を $A$ の**内点**、$\overline{A}$ の元を**触点**、$\partial A$ の元を**境界点**、$(X\setminus A)^{\circ}$ の元を**外点**といいます。 閉包を定める交わりは空な族についての交わりではありません。$X$ は閉集合で $A\subseteq X$ を満たすので、族には少なくとも $X$ が属しているからです。したがって の (C2) が適用できます。 $(X,\mathcal{O})$ を位相空間、$A\subseteq X$ とします。 1. $A^{\circ}$ は開集合で $A^{\circ}\subseteq A$ であり、$U$ が開集合で $U\subseteq A$ ならば $U\subseteq A^{\circ}$ である。すなわち $A^{\circ}$ は $A$ に含まれる最大の開集合である。特に $A$ が開集合であることと $A=A^{\circ}$ は同値。 2. $\overline{A}$ は閉集合で $A\subseteq\overline{A}$ であり、$F$ が閉集合で $A\subseteq F$ ならば $\overline{A}\subseteq F$ である。すなわち $\overline{A}$ は $A$ を含む最小の閉集合である。特に $A$ が閉集合であることと $A=\overline{A}$ は同値。 3. $x\in A^{\circ}$ であることと、$A$ が $x$ の近傍であることは同値。 4. $x\in\overline{A}$ であることと、$x$ の任意の近傍 $V$ に対し $V\cap A\ne\emptyset$ となることは同値。 5. $X\setminus\overline{A}=(X\setminus A)^{\circ}$ かつ $X\setminus A^{\circ}=\overline{X\setminus A}$。 6. $X$ は $A^{\circ}$、$\partial A$、$(X\setminus A)^{\circ}$ の 3 つの互いに交わらない部分に分割される。 (1) $A^{\circ}$ は開集合の族の合併なので (O2)（）より開集合です。合併に現れる各 $U$ が $U\subseteq A$ を満たすので $A^{\circ}\subseteq A$ です。また $U$ が開で $U\subseteq A$ ならば、$U$ はこの合併の項の 1 つなので $U\subseteq A^{\circ}$ です。$A$ が開なら $U=A$ ととれて $A\subseteq A^{\circ}\subseteq A$、すなわち $A=A^{\circ}$。逆に $A=A^{\circ}$ なら $A$ は開集合です。 (2) $\overline{A}$ は閉集合の族（空でない）の交わりなので の (C2) より閉集合です。交わりに現れる各 $F$ が $A\subseteq F$ を満たすので $A\subseteq\overline{A}$ です。$F$ が閉で $A\subseteq F$ ならば $F$ はこの交わりの項の 1 つなので $\overline{A}\subseteq F$ です。$A$ が閉なら $F=A$ ととれて $\overline{A}\subseteq A\subseteq\overline{A}$、すなわち $A=\overline{A}$。逆に $A=\overline{A}$ なら $A$ は閉集合です。 (3) $A$ が $x$ の近傍とすると、開集合 $U$ で $x\in U\subseteq A$ なるものがあり、(1) より $U\subseteq A^{\circ}$ なので $x\in A^{\circ}$ です。逆に $x\in A^{\circ}$ とすると、$A^{\circ}$ は (1) より開集合で $x\in A^{\circ}\subseteq A$ を満たすので、 より $A$ は $x$ の近傍です。 (4) 「$x\notin\overline{A}$ であることと、$V\cap A=\emptyset$ なる $x$ の近傍 $V$ が存在することが同値」を示せば、対偶をとって主張が得られます。 $x\notin\overline{A}$ とすると、交わりの定義より、ある閉集合 $F$ で $A\subseteq F$ かつ $x\notin F$ なるものが存在します。$U=X\setminus F$ とおくと $U$ は開集合で $x\in U$、さらに $A\subseteq F$ より $U\cap A\subseteq U\cap F=\emptyset$ です。この $U$ は $x$ の近傍です。 逆に $V\in\mathcal{N}(x)$ が $V\cap A=\emptyset$ を満たすとすると、開集合 $U$ で $x\in U\subseteq V$ なるものがとれ、$U\cap A\subseteq V\cap A=\emptyset$ です。$F=X\setminus U$ は閉集合で、$U\cap A=\emptyset$ より $A\subseteq F$ ですから、(2) の最小性より $\overline{A}\subseteq F$ です。$x\in U$ すなわち $x\notin F$ なので $x\notin\overline{A}$ となります。 (5) 閉集合 $F$ と開集合 $U=X\setminus F$ は 1 対 1 に対応し、$A\subseteq F$ と $U\subseteq X\setminus A$ は同値です（両辺の補集合をとるだけです）。よってド・モルガンの法則より $$ X\setminus\overline{A}=X\setminus\bigcap\{F : F \text{ 閉},\ A\subseteq F\}=\bigcup\{X\setminus F : F \text{ 閉},\ A\subseteq F\}=\bigcup\{U\in\mathcal{O} : U\subseteq X\setminus A\}=(X\setminus A)^{\circ} $$ となり、第 1 式が示せました。第 2 式は、第 1 式の $A$ を $X\setminus A$ に置き換えると $X\setminus\overline{X\setminus A}=(X\setminus(X\setminus A))^{\circ}=A^{\circ}$ となるので、両辺の補集合をとれば得られます。 (6) (5) の第 1 式より $X\setminus\overline{A}=(X\setminus A)^{\circ}$ なので、$X$ は $\overline{A}$ と $(X\setminus A)^{\circ}$ の交わらない合併です。さらに $A^{\circ}\subseteq A\subseteq\overline{A}$（(1) と (2)）なので、$\partial A=\overline{A}\setminus A^{\circ}$ の定義より $\overline{A}$ は $A^{\circ}$ と $\partial A$ の交わらない合併です。以上を合わせると、$X$ は $A^{\circ}$、$\partial A$、$(X\setminus A)^{\circ}$ の交わらない 3 つの合併になります。 (4) は「閉包＝どんなに小さい近傍で覗いても $A$ が見える点の全体」と読めます。定義（最小の閉集合）は計算に、(4) は判定に便利で、この 2 つを行き来できることが位相空間論の計算力の源です。距離空間では、近傍を開球で取り替えて、さらに点列の言葉に翻訳できます。 $(X,d)$ を距離空間、$A\subseteq X$、$x\in X$ とします。次の 3 条件は同値です。 - (a) $x\in\overline{A}$。 - (b) 任意の $r>0$ に対し $B(x,r)\cap A\ne\emptyset$。 - (c) $A$ の点列 $(a_n)_{n\ge1}$ で $d(a_n,x)\to 0$ となるものが存在する。 (a) $\Leftrightarrow$ (b)： の (4) と、距離空間では「$V$ が $x$ の近傍」と「ある $r>0$ で $B(x,r)\subseteq V$」が同値であること（）から従います。実際、(a) を仮定すると各 $B(x,r)$ は $x$ の近傍なので $A$ と交わり、(b) を仮定すると任意の近傍 $V$ はある $B(x,r)$ を含むので $V\cap A\supseteq B(x,r)\cap A\ne\emptyset$ です。 (b) $\Rightarrow$ (c)：各 $n\ge1$ に対して $B(x,1/n)\cap A\ne\emptyset$ なので、そこから 1 点 $a_n$ を選びます（可算選択公理を使います）。$d(a_n,x) < 1/n$ なので $d(a_n,x)\to0$ です。 (c) $\Rightarrow$ (b)：$r>0$ を任意にとると、$d(a_n,x)\to0$ より、ある $n$ で $d(a_n,x) < r$ です。この $a_n$ は $B(x,r)\cap A$ に属します。 特に、$A$ が閉集合であることと「$A$ の点列が $x$ に収束するならば $x\in A$」が同値になります（ の (2) と上の同値から）。数列の極限で閉集合を判定する解析学の習慣は、この系に支えられています（[実数の完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy)）。ただしこの点列による判定は距離空間だから使えるのであって、一般の位相空間では成り立ちません。 **(1) $\mathbb{R}$ の中の $\mathbb{Q}$（通常の位相）。** 任意の $x\in\mathbb{R}$ と $r>0$ に対し、区間 $(x-r,x+r)$ は有理数を含みます（）。よって の (b) より $x\in\overline{\mathbb{Q}}$ で、$\overline{\mathbb{Q}}=\mathbb{R}$ です。一方、空でない開集合はある開区間を含み、開区間は無理数を含むので、$\mathbb{Q}$ に含まれる空でない開集合はありません。よって $\mathbb{Q}^{\circ}=\emptyset$ です。したがって $\partial\mathbb{Q}=\overline{\mathbb{Q}}\setminus\mathbb{Q}^{\circ}=\mathbb{R}$ となり、$\mathbb{Q}$ は「すべての点が境界点」という集合です。 **(2) 同じ集合、違う位相。** $A=\{0\}\subseteq\mathbb{R}$ を 4 つの位相で調べます。 | 位相 | $\overline{A}$ | $A^{\circ}$ | $\partial A$ | |---|---|---|---| | 通常（ユークリッド） | $\{0\}$ | $\emptyset$ | $\{0\}$ | | 離散 | $\{0\}$ | $\{0\}$ | $\emptyset$ | | 密着 | $\mathbb{R}$ | $\emptyset$ | $\mathbb{R}$ | | 余有限 | $\{0\}$ | $\emptyset$ | $\{0\}$ | 理由を順に述べます。通常の位相では $\mathbb{R}\setminus\{0\}=(-\infty,0)\cup(0,\infty)$ が開なので $\{0\}$ は閉、よって $\overline{A}=A$ で、$\{0\}$ に含まれる空でない開集合はないので $A^{\circ}=\emptyset$。離散位相ではすべての集合が開かつ閉。密着位相では閉集合が $\emptyset$ と $\mathbb{R}$ しかないので $\overline{A}=\mathbb{R}$、$A$ に含まれる開集合は $\emptyset$ のみ。余有限位相では有限集合が閉なので $\overline{A}=A$、空でない開集合は無限集合なので $\{0\}$ には含まれず $A^{\circ}=\emptyset$ です。閉包も内部も、集合だけでは決まらず位相に依存します。 **(3) 平面の閉円板。** $\mathbb{R}^2$ にユークリッド距離を入れ、$A=\{p\in\mathbb{R}^2:\|p\|\le1\}$ とします。$\|p\| < 1$ なら $r=1-\|p\|>0$ に対し、$q\in B(p,r)$ のとき $\|q\|\le\|p\|+\|q-p\| < \|p\|+r=1$ なので $B(p,r)\subseteq A$ となり、$p$ は内点です。$\|p\|=1$ のときは、任意の $r>0$ に対し $p\in B(p,r)\cap A$ であり、また $q=(1+r/2)p$ は $\|q-p\|=r/2 < r$ かつ $\|q\|=1+r/2>1$ なので $B(p,r)$ は $A$ の外の点も含みます。よって $p$ は境界点です。$\|p\|>1$ なら $r=\|p\|-1$ に対して同様の計算で $B(p,r)\cap A=\emptyset$ となり、$p$ は外点です。まとめると $A^{\circ}=\{\|p\| < 1\}$、$\overline{A}=A$、$\partial A=\{\|p\|=1\}$ です。
x₁（内点） x₂（境界点） x₃（外点） A
## 7. 演習 $\mathbb{R}$ に通常の位相を入れ、$A=(0,1)\cup\{2\}\cup\bigl([3,4]\cap\mathbb{Q}\bigr)$ とします。$A^{\circ}$、$\overline{A}$、$\partial A$ を求めてください。 **内部。** $(0,1)$ は開集合で $A$ に含まれるので、 の (1) より $(0,1)\subseteq A^{\circ}$ です。逆に $A^{\circ}\subseteq(0,1)$ を示します。点 $2$ は内点ではありません。任意の $r>0$ に対し $2+\min\{r,1\}/2$ は $B(2,r)$ に属しますが、$2$ より大きく $3$ より小さいので $A$ に属さないからです。$[3,4]\cap\mathbb{Q}$ の点 $x$ も内点ではありません。任意の $r>0$ に対し $B(x,r)=(x-r,x+r)$ は無理数を含み、無理数は $A$ に属さない（$A$ に属する無理数は $(0,1)$ の中のものだけですが、$x\ge3$ なので $r$ を $1$ 以下にとれば $B(x,r)\cap(0,1)=\emptyset$）からです。よって $A^{\circ}=(0,1)$ です。 **閉包。** の結果（有限個の合併の閉包は閉包の合併）を使うと、$\overline{A}=\overline{(0,1)}\cup\overline{\{2\}}\cup\overline{[3,4]\cap\mathbb{Q}}$ です。$\overline{(0,1)}=[0,1]$：$[0,1]$ は閉で $(0,1)$ を含むので $\overline{(0,1)}\subseteq[0,1]$、逆に $0$ と $1$ はどんな近傍も $(0,1)$ と交わるので触点です。$\{2\}$ は閉なので $\overline{\{2\}}=\{2\}$。$\overline{[3,4]\cap\mathbb{Q}}=[3,4]$：$[3,4]$ は閉で $[3,4]\cap\mathbb{Q}$ を含み、逆に $[3,4]$ の各点 $x$ の任意の近傍は $x$ を含む区間を含み、そこには $[3,4]$ 内の有理数があります（有理数の稠密性。$x=3$ や $x=4$ でも区間の $[3,4]$ 側に有理数がとれます）。よって $\overline{A}=[0,1]\cup\{2\}\cup[3,4]$ です。 **境界。** $\partial A=\overline{A}\setminus A^{\circ}=\bigl([0,1]\cup\{2\}\cup[3,4]\bigr)\setminus(0,1)=\{0,1,2\}\cup[3,4]$ です。 $\mathbb{R}^n$ 上の 3 つの距離 $d_1$、$d_2$、$d_\infty$（）が定める開集合族が、すべて一致することを示してください。 まず補題を作ります。$d$、$d'$ を $X$ 上の距離とし、定数 $C>0$ が存在して任意の $x,y$ で $d(x,y)\le C\,d'(x,y)$ が成り立つとします。このとき $d$ に関する開集合は $d'$ に関する開集合です。実際、$U$ を $d$-開集合、$x\in U$ とすると、ある $r>0$ で $B_d(x,r)\subseteq U$ です。$d'(x,y) < r/C$ ならば $d(x,y)\le C\,d'(x,y) < r$ なので $B_{d'}(x,r/C)\subseteq B_d(x,r)\subseteq U$ となり、$U$ は $d'$-開集合です。 で示した不等式の列 $d_\infty\le d_2\le d_1\le n\,d_\infty$ に補題を適用します。$d_\infty\le 1\cdot d_2$ より $d_\infty$-開集合は $d_2$-開集合、$d_2\le 1\cdot d_1$ より $d_2$-開集合は $d_1$-開集合、$d_1\le n\,d_\infty$ より $d_1$-開集合は $d_\infty$-開集合です。すなわち $$ \mathcal{O}_{d_\infty}\subseteq\mathcal{O}_{d_2}\subseteq\mathcal{O}_{d_1}\subseteq\mathcal{O}_{d_\infty} $$ という包含の輪ができるので、3 つはすべて一致します。単位球の形は 3 つの距離で互いに違いますが、定める位相は同じです。「どの距離を使うか」は位相のレベルでは見えないことがある、という重要な現象です。 $(X,\mathcal{O})$ を位相空間、$A,B\subseteq X$ とします。 1. $\overline{A\cup B}=\overline{A}\cup\overline{B}$ を示してください。 2. $\overline{A\cap B}\subseteq\overline{A}\cap\overline{B}$ を示し、等号が一般には成り立たない例を挙げてください。 準備として単調性を示します。$A\subseteq B$ ならば $A\subseteq B\subseteq\overline{B}$ で、$\overline{B}$ は閉集合ですから、 の (2) の最小性より $\overline{A}\subseteq\overline{B}$ です。 **1.** ($\supseteq$) $A\subseteq A\cup B$ と単調性より $\overline{A}\subseteq\overline{A\cup B}$、同様に $\overline{B}\subseteq\overline{A\cup B}$ なので、合併も含まれます。($\subseteq$) $\overline{A}\cup\overline{B}$ は 2 個の閉集合の合併なので の (C3) より閉集合であり、$A\cup B\subseteq\overline{A}\cup\overline{B}$ を満たします。よって (2) の最小性より $\overline{A\cup B}\subseteq\overline{A}\cup\overline{B}$ です。以上で等号が示せました。なお同じ議論は有限個の合併に帰納法で拡張できますが、無限個では成り立ちません。$\mathbb{Q}=\bigcup_{q\in\mathbb{Q}}\{q\}$ の各項の閉包は $\{q\}$ で、その合併は $\mathbb{Q}$ ですが、左辺の閉包は $\mathbb{R}$ です。 **2.** $A\cap B\subseteq A$ と単調性より $\overline{A\cap B}\subseteq\overline{A}$、同様に $\overline{A\cap B}\subseteq\overline{B}$ なので、$\overline{A\cap B}\subseteq\overline{A}\cap\overline{B}$ です。等号が成り立たない例として、$\mathbb{R}$（通常の位相）で $A=(0,1)$、$B=(1,2)$ をとります。$A\cap B=\emptyset$ なので左辺は $\overline{\emptyset}=\emptyset$ ですが、右辺は $[0,1]\cap[1,2]=\{1\}$ です。より極端な例は $A=\mathbb{Q}$、$B=\mathbb{R}\setminus\mathbb{Q}$ で、左辺は $\emptyset$、右辺は $\mathbb{R}\cap\mathbb{R}=\mathbb{R}$ です。 $X$ を無限集合とし、余有限位相（）を入れます。 1. 任意の $A\subseteq X$ に対し、$A$ が有限なら $\overline{A}=A$、$A$ が無限なら $\overline{A}=X$ であることを示してください。 2. 空でない開集合 $U$ はすべて稠密である、すなわち $\overline{U}=X$ であることを示してください。 3. 1 点集合はすべて閉集合であるにもかかわらず、相異なる 2 点を交わらない開集合で分離できないことを示してください。 **1.** $A$ が有限なら、余有限位相の定め方より $A$ は閉集合なので の (2) より $\overline{A}=A$ です。$A$ が無限のときを考えます。$F$ を $A\subseteq F$ なる閉集合とすると、$F$ は有限集合か $X$ のいずれかです。$F$ が有限だとすると、その部分集合である $A$ も有限になって仮定に反します。よって $F=X$ しかなく、閉集合の交わりとして $\overline{A}=X$ です。 **2.** $U$ を空でない開集合とすると、$X\setminus U$ は有限です。もし $U$ が有限なら $X=U\cup(X\setminus U)$ は有限集合 2 つの合併となって $X$ が無限であることに反します。よって $U$ は無限集合で、1 より $\overline{U}=X$ です。 **3.** 1 点集合 $\{x\}$ は有限なので閉集合です（この性質を $T_1$ 公理といいます）。一方、相異なる 2 点 $x\ne y$ に対し、$x\in U$、$y\in V$ なる開集合をとると、どちらも空でないので で示したとおり $U\cap V\ne\emptyset$ です。したがって分離はできません。 と合わせると、この位相が距離化可能でないことが再確認できます。「1 点が閉」は距離空間の性質のうち弱いほうの一部でしかない、ということです。分離の強さを段階的に測る枠組みは [分離公理と距離づけ可能性](/mathematics/topology/separation-axioms) で扱います。 ## 参考文献 - 松坂和夫『集合・位相入門』岩波書店、1968 — 集合論の準備から距離空間・位相空間へ丁寧に積み上げる標準的な和書です。本記事の内容は同書の位相空間の章に対応します。 - 内田伏一『集合と位相』裳華房、1986 — 距離空間の開集合から位相の公理への移行を、例を多く挙げながら解説しています。 - J. R. Munkres, *Topology*, 2nd ed., Prentice Hall, 2000 — Chapter 2 (Topological Spaces and Continuous Functions)。基底・順序位相・閉包と極限点の扱いは本記事の構成と近く、演習も豊富です。 - J. L. Kelley, *General Topology*, Van Nostrand, 1955 — Chapter 1。閉包作用素や近傍系による位相の特徴づけがまとまっています。 - M. Fréchet, "Sur quelques points du calcul fonctionnel", *Rendiconti del Circolo Matematico di Palermo* 22 (1906), 1–74 — 距離空間の概念が導入された原論文です。 - C. Kuratowski, "Sur l'opération $\overline{A}$ de l'Analysis Situs", *Fundamenta Mathematicae* 3 (1922) — Appendix で扱う閉包公理の原論文です。 ## Appendix: 閉包から位相を作る **位相を定める流儀は 1 つではありません。** 本文では開集合の族を与えて位相を定めましたが、閉集合の族を与えても同じことです。 の証明はすべてド・モルガンの法則による同値変形なので逆もたどれ、(C1)(C2)(C3) を満たす族 $\mathcal{F}$ が与えられれば、$\mathcal{O}=\{X\setminus F : F\in\mathcal{F}\}$ は位相になり、その閉集合族はちょうど $\mathcal{F}$ になります。ハウスドルフが 1914 年に採用した近傍系による定義も同値です。ここでは、閉包という操作そのものを公理化する流儀を紹介します。クラトフスキが 1922 年に与えたものです。 $X$ を集合、$c\colon\mathfrak{P}(X)\to\mathfrak{P}(X)$ が次の 4 条件を満たすとします。 - (K1) $c(\emptyset)=\emptyset$。 - (K2) 任意の $A\subseteq X$ に対し $A\subseteq c(A)$。 - (K3) 任意の $A\subseteq X$ に対し $c(c(A))=c(A)$。 - (K4) 任意の $A,B\subseteq X$ に対し $c(A\cup B)=c(A)\cup c(B)$。 このとき $\mathcal{F}=\{A\subseteq X : c(A)=A\}$ を閉集合族とする位相が $X$ 上にただ 1 つ存在し、その位相に関する閉包 $\overline{A}$ は、すべての $A\subseteq X$ に対して $c(A)$ と一致します。 はじめに単調性を導きます。$A\subseteq B$ とすると $B=A\cup B$ なので、(K4) より $c(B)=c(A\cup B)=c(A)\cup c(B)\supseteq c(A)$ です。 次に $\mathcal{F}$ が の (C1)(C2)(C3) を満たすことを示します。 (C1)：(K1) より $c(\emptyset)=\emptyset$ なので $\emptyset\in\mathcal{F}$ です。$c(X)\subseteq X$ は $c$ の値域が $\mathfrak{P}(X)$ であることから、$X\subseteq c(X)$ は (K2) からで、$c(X)=X$、すなわち $X\in\mathcal{F}$ です。 (C3)：$F_1,F_2\in\mathcal{F}$ とすると (K4) より $c(F_1\cup F_2)=c(F_1)\cup c(F_2)=F_1\cup F_2$ なので $F_1\cup F_2\in\mathcal{F}$ です。有限個の場合は帰納法で従います。 (C2)：$\{F_\lambda\}_{\lambda\in\Lambda}\subseteq\mathcal{F}$（$\Lambda\ne\emptyset$）とし $F=\bigcap_\lambda F_\lambda$ とおきます。各 $\lambda$ で $F\subseteq F_\lambda$ なので、単調性より $c(F)\subseteq c(F_\lambda)=F_\lambda$ です。これがすべての $\lambda$ で成り立つので $c(F)\subseteq\bigcap_\lambda F_\lambda=F$ です。(K2) の $F\subseteq c(F)$ と合わせて $c(F)=F$、すなわち $F\in\mathcal{F}$ です。 したがって $\mathcal{O}=\{X\setminus F : F\in\mathcal{F}\}$ は位相であり、その閉集合族は $\mathcal{F}$ です。 閉包が一致すること。$A\subseteq X$ をとり、この位相での閉包を $\overline{A}$ と書きます。(K3) より $c(c(A))=c(A)$ なので $c(A)\in\mathcal{F}$、つまり $c(A)$ は閉集合で、(K2) より $A\subseteq c(A)$ です。よって の (2) の最小性から $\overline{A}\subseteq c(A)$ を得ます。逆に、$\overline{A}$ は閉集合すなわち $\overline{A}\in\mathcal{F}$ で $A\subseteq\overline{A}$ なので、単調性より $c(A)\subseteq c(\overline{A})=\overline{A}$ です。両方合わせて $c(A)=\overline{A}$ です。 一意性。位相はその閉集合族によって決まります。もし位相 $\mathcal{O}'$ の閉包が $c$ に一致するなら、 の (2) より $\mathcal{O}'$ の閉集合は「閉包が自分自身に一致する集合」、すなわち $\mathcal{F}$ の元にほかならず、$\mathcal{O}'=\mathcal{O}$ となります。 **4 つの入り口は同じ建物に通じています。** 距離、開集合族、近傍系、閉包作用素のどれから出発しても、同じ「位相空間」という構造にたどり着きます。どれを定義に採用するかは便宜の問題で、開集合を採用するのは、連続性が の形でもっとも簡潔に書けるからです。次章ではその連続写像を一般の位相空間の間で定義し、位相空間としての「同じさ」を与える同相写像へ進みます（[連続写像と同相写像](/mathematics/topology/continuous-maps)）。