# 連続写像と同相写像：開集合の逆像で連続性を捉え直す > 連続性を「開集合の逆像が開集合」と定義し、それが距離空間の ε-δ 連続と同値であることを証明する。同相写像を導入し、R と (0,1) が同相で R と [0,1] が同相でない理由を最後まで計算して示す。 > https://rikai.mugen-giken.com/mathematics/topology/continuous-maps ## 0. この記事の要点 - 連続性は「終域の開集合の**逆像**が始域の開集合になること」だけで定義できます。距離も $\varepsilon$ も $\delta$ も要りません。 - この定義は、距離空間どうしの写像に限れば $\varepsilon$-$\delta$ 論法による連続性と**完全に一致**します（）。$\varepsilon$-$\delta$ の量化子の順序が、そのまま開集合の言葉に翻訳されます。 - 「像」ではなく「逆像」を使うのは、逆像の操作が合併・共通部分・補集合と可換だからです。連続写像は開集合を開集合に写すとは限りません（）。 - 同相写像とは、連続な全単射であって**逆写像も連続**なものです。この最後の条件は独立で、落とすと成り立たなくなります（）。 - 同相な 2 つの空間は、位相だけを使って記述できるあらゆる性質を共有します。逆に、同相でないことは「一方だけがもつ位相的性質」を見つけて示します。 - $\mathbb{R} \cong (0,1)$ ですが $\mathbb{R} \not\cong [0,1]$ です。ただし理由は「有界かどうか」では**ありません**。有界性は位相的性質ではないからです（、および Appendix）。 ## 1. 動機 — 距離を捨てても連続性は残るか 微分積分学で最初に習う連続性の定義は、コーシーとワイエルシュトラスに遡る次の形をしています。関数 $f : \mathbb{R} \to \mathbb{R}$ が点 $a$ で連続であるとは、 $$ \forall \varepsilon > 0,\ \exists \delta > 0,\ \forall x \in \mathbb{R},\quad |x - a| < \delta \implies |f(x) - f(a)| < \varepsilon $$ が成り立つことでした。この定義は「$f(a)$ からの誤差を $\varepsilon$ 以内に抑えたいなら、$a$ からの距離を $\delta$ 以内に抑えればよい」という契約として読めます。 ところがこの定義は、絶対値 $|x - a|$、つまり**距離**に全面的に依存しています。では距離が最初から与えられていない場所では、連続性を語れないのでしょうか。実際には、距離が無い、あるいは自然な距離が一意に決まらない状況は数学のいたるところに現れます。多項式の零点集合に入るザリスキ位相、群を部分群で割った商空間、関数の集合に入れる各点収束の位相 — どれも距離では定義しにくい、あるいは定義できないものです。それでも私たちは「連続な準同型」「連続な作用」といった言葉を使います。 そこで問いを立て直します。$\varepsilon$-$\delta$ 定義のうち、本当に必要な情報は何でしょうか。上の式で $|f(x) - f(a)| < \varepsilon$ という条件は「$f(x)$ が $f(a)$ を中心とする開球 $B(f(a), \varepsilon)$ に入る」と言い換えられ、$|x - a| < \delta$ は「$x$ が開球 $B(a,\delta)$ に入る」と言い換えられます。すると定義は $$ \forall \varepsilon > 0,\ \exists \delta > 0,\quad f\bigl(B(a,\delta)\bigr) \subset B\bigl(f(a), \varepsilon\bigr) $$ となります。ここで「半径 $\varepsilon$ の開球」という具体的な形はもう使われておらず、使われているのは**「$f(a)$ を含む開集合をひとつ与えられたら、$a$ を含む開集合をひとつ返す」**という関係だけです。半径という数値情報を捨て、「開集合の族」だけを残しても、この条件は書けます。これが位相空間における連続性の定義です。 さらにもう一歩進めます。「すべての点で連続」という大域的な条件は、点をひとつずつ調べる必要のない、驚くほど簡潔な形にまとまります。それが「開集合の逆像が開集合」です。なぜ像ではなく逆像なのか、なぜこの一行で十分なのか — 本記事はその二点を丁寧に確かめることから始めます。 そして連続写像が手に入れば、位相空間の「同型」が定義できます。集合の同型は全単射、群の同型は全単射準同型でした。位相空間の同型は**同相写像**、すなわち連続な全単射で逆写像も連続なものです。「コーヒーカップとドーナツは同じ」という有名な標語は、この同型の下で区別できないという意味です。標語を定理に変えるところまでが本記事の目標です。 ## 2. 準備 — 記号と逆像の代数 位相空間の定義は [位相空間の定義と基本概念](/mathematics/topology/topological-spaces) で扱ったもの（）を使います。ここで記号を確認します。 集合 $X$ とその部分集合族 $\mathcal{O}_X \subset 2^{X}$ の組 $(X, \mathcal{O}_X)$ が**位相空間**であるとは、 - (O1) $\emptyset \in \mathcal{O}_X$ かつ $X \in \mathcal{O}_X$、 - (O2) $\mathcal{O}_X$ の元の任意個（無限個でもよい）の合併は再び $\mathcal{O}_X$ に属する、 - (O3) $\mathcal{O}_X$ の元の有限個の共通部分は再び $\mathcal{O}_X$ に属する を満たすことをいい、$\mathcal{O}_X$ の元を**開集合**と呼びます。補集合が開集合であるような部分集合を**閉集合**といいます。$A \subset X$ の**閉包** $\overline{A}$ は $A$ を含む閉集合すべての共通部分であり、$A$ を含む最小の閉集合です。混乱の恐れがないときは $\mathcal{O}_X$ を省略して単に「位相空間 $X$」と書きます。 部分集合 $A \subset X$ には**部分空間位相** $\mathcal{O}_A = \{\, U \cap A : U \in \mathcal{O}_X \,\}$ を入れます。以下、$\mathbb{R}$ の部分集合（区間など）はつねに $\mathbb{R}$ の通常の位相からの部分空間位相をもつものとします。 写像 $f : X \to Y$ と $B \subset Y$ に対し、**逆像**を $$ f^{-1}(B) := \{\, x \in X : f(x) \in B \,\} $$ と定めます。ここで $f^{-1}$ は記号であって、$f$ が可逆であることを要求しません。逆像がなぜ扱いやすいのかは、次の三つの等式に尽きます。$\{B_\lambda\}_{\lambda \in \Lambda}$ を $Y$ の部分集合の族、$B \subset Y$ とすると $$ f^{-1}\Bigl(\bigcup_{\lambda} B_\lambda\Bigr) = \bigcup_{\lambda} f^{-1}(B_\lambda), \qquad f^{-1}\Bigl(\bigcap_{\lambda} B_\lambda\Bigr) = \bigcap_{\lambda} f^{-1}(B_\lambda), \qquad f^{-1}(Y \setminus B) = X \setminus f^{-1}(B) $$ が成り立ちます。いずれも定義をほどくだけです。たとえば一つ目は、$x \in f^{-1}(\bigcup_\lambda B_\lambda)$ $\iff$ $f(x) \in \bigcup_\lambda B_\lambda$ $\iff$ ある $\lambda$ について $f(x) \in B_\lambda$ $\iff$ ある $\lambda$ について $x \in f^{-1}(B_\lambda)$ $\iff$ $x \in \bigcup_\lambda f^{-1}(B_\lambda)$、という同値の連鎖から従います。三つ目も、$x \in f^{-1}(Y \setminus B)$ $\iff$ $f(x) \notin B$ $\iff$ $x \notin f^{-1}(B)$ です。 対照的に、**像**はこの性質をもちません。$f : \mathbb{R} \to \mathbb{R}$, $f(x) = x^{2}$ と $A = [-1, 0]$, $B = [0,1]$ を取ると $A \cap B = \{0\}$ なので $f(A \cap B) = \{0\}$ ですが、$f(A) = f(B) = [0,1]$ なので $f(A) \cap f(B) = [0,1]$ であり、両者は一致しません。一般には $f(A \cap B) \subset f(A) \cap f(B)$ しか言えず、補集合に至っては包含関係すら定まりません。位相の公理 (O2), (O3) が合併と共通部分についての条件である以上、これらと可換な逆像のほうが相性がよいのです。 最後に**開基**（）を復習します。$\mathcal{B} \subset \mathcal{O}_Y$ が位相 $\mathcal{O}_Y$ の**開基**であるとは、任意の開集合 $V \in \mathcal{O}_Y$ が $\mathcal{B}$ の元の合併として書けることをいいます。たとえば $\mathbb{R}$ の通常の位相の開基として開区間全体 $\{\, (a,b) : a < b \,\}$ が取れ、距離空間 $(Y, d)$ では開球全体 $\{\, B_d(y, r) : y \in Y,\ r > 0 \,\}$ が開基になります。 ## 3. 連続写像の定義と同値条件 ### 3.1. 定義 $(X, \mathcal{O}_X)$, $(Y, \mathcal{O}_Y)$ を位相空間とします。写像 $f : X \to Y$ が**連続**であるとは、 $$ \forall V \in \mathcal{O}_Y,\quad f^{-1}(V) \in \mathcal{O}_X $$ が成り立つこと、すなわち $Y$ の任意の開集合の逆像が $X$ の開集合になることをいいます。 定義に $X$, $Y$ の位相が両方現れていることに注意してください。連続性は写像 $f$ だけの性質ではなく、$f$ と始域・終域に入れた位相の**三つ組**の性質です。同じ集合写像でも位相を変えれば連続性は変わります（）。 $f : X \to Y$ を写像、$x \in X$ とします。$f$ が**点 $x$ で連続**であるとは、$f(x)$ を含む任意の開集合 $V \subset Y$ に対して、$x$ を含む開集合 $U \subset X$ で $f(U) \subset V$ を満たすものが存在することをいいます。
X Y x f(x) f⁻¹(V) は開集合 V は開集合 f 逆像をとる（向きが逆になる）
### 3.2. 同値条件 次の定理が本記事の土台です。これがあるおかげで、状況に応じて最も扱いやすい条件を選べます。開集合が扱いにくい場面（閉包を評価したいときなど）では (iv) が、点ごとの議論では (iii) が便利です。 $X$, $Y$ を位相空間、$f : X \to Y$ を写像とします。次の 4 条件は同値です。 - **(i)** 任意の開集合 $V \subset Y$ に対し $f^{-1}(V)$ は $X$ の開集合である（すなわち $f$ は連続である）。 - **(ii)** 任意の閉集合 $F \subset Y$ に対し $f^{-1}(F)$ は $X$ の閉集合である。 - **(iii)** $f$ は $X$ のすべての点で の意味で連続である。 - **(iv)** 任意の部分集合 $A \subset X$ に対し $f(\overline{A}) \subset \overline{f(A)}$ が成り立つ。 (i) $\Rightarrow$ (iii) を示します。$x \in X$ と、$f(x)$ を含む開集合 $V \subset Y$ を任意に取ります。$U := f^{-1}(V)$ とおくと、(i) より $U$ は $X$ の開集合です。$f(x) \in V$ なので $x \in U$ であり、また $f(U) = f(f^{-1}(V)) \subset V$ です（$u \in f^{-1}(V)$ なら定義から $f(u) \in V$ だから）。よって の条件が $x$ で満たされます。$x$ は任意なので (iii) が成り立ちます。 (iii) $\Rightarrow$ (i) を示します。$V \subset Y$ を開集合とします。$f^{-1}(V) = \emptyset$ ならば (O1) より開集合です。そうでないとき、各 $x \in f^{-1}(V)$ に対し $f(x) \in V$ であり、$V$ は $f(x)$ を含む開集合ですから、(iii) より $x$ を含む開集合 $U_x \subset X$ で $f(U_x) \subset V$ となるものが取れます。$f(U_x) \subset V$ は $U_x \subset f^{-1}(V)$ と同値です。したがって $$ f^{-1}(V) = \bigcup_{x \in f^{-1}(V)} \{x\} \subset \bigcup_{x \in f^{-1}(V)} U_x \subset f^{-1}(V) $$ となり、$f^{-1}(V) = \bigcup_{x} U_x$ を得ます。これは開集合の合併なので (O2) より開集合です。 (i) $\Leftrightarrow$ (ii) を示します。$F \subset Y$ を閉集合とすると $Y \setminus F$ は開集合で、§2 の逆像の補集合則により $$ f^{-1}(Y \setminus F) = X \setminus f^{-1}(F) $$ です。(i) を仮定すると左辺は開集合なので、$f^{-1}(F)$ は閉集合となり (ii) が従います。逆に (ii) を仮定し、$V \subset Y$ を開集合とすると $Y \setminus V$ は閉集合なので $f^{-1}(Y \setminus V) = X \setminus f^{-1}(V)$ は閉集合、よって $f^{-1}(V)$ は開集合となり (i) が従います。ここで「$F$ が閉 $\iff$ $Y \setminus F$ が開」という対応が閉集合全体と開集合全体の間の全単射であることを使いました。 (ii) $\Rightarrow$ (iv) を示します。$A \subset X$ を任意に取り、$C := \overline{f(A)}$ とおきます。$C$ は $Y$ の閉集合なので、(ii) より $f^{-1}(C)$ は $X$ の閉集合です。また $f(A) \subset C$ から $A \subset f^{-1}(f(A)) \subset f^{-1}(C)$ が成り立ちます。$\overline{A}$ は $A$ を含む最小の閉集合であり、$f^{-1}(C)$ は $A$ を含む閉集合ですから $\overline{A} \subset f^{-1}(C)$、すなわち $f(\overline{A}) \subset C = \overline{f(A)}$ です。 (iv) $\Rightarrow$ (ii) を示します。$F \subset Y$ を閉集合とし、$A := f^{-1}(F)$ とおきます。$f(A) = f(f^{-1}(F)) \subset F$ であり $F$ は閉なので $\overline{f(A)} \subset \overline{F} = F$ です。(iv) より $$ f(\overline{A}) \subset \overline{f(A)} \subset F $$ となり、両辺の逆像を考えると $\overline{A} \subset f^{-1}(F) = A$ を得ます。つねに $A \subset \overline{A}$ ですから $\overline{A} = A$、すなわち $A = f^{-1}(F)$ は閉集合です。 以上で (i) $\Leftrightarrow$ (iii)、(i) $\Leftrightarrow$ (ii)、(ii) $\Leftrightarrow$ (iv) が示され、4 条件はすべて同値です。 条件 (iv) は「$f$ は極限をこわさない」という直観の位相版です。$x$ が $A$ の触点（$\overline{A}$ の元）ならば $f(x)$ は $f(A)$ の触点になる、と読めます。点列の言葉に翻訳すれば「$x_n \to x$ ならば $f(x_n) \to f(x)$」に対応しますが、一般の位相空間では点列だけでは連続性を特徴づけられないため、閉包で述べるのが正しい一般化です。 ### 3.3. 開基による判定と合成 開集合をすべて調べるのは大変です。実際には開基だけ調べれば十分です。 $X$, $Y$ を位相空間、$\mathcal{B}$ を $Y$ の位相の開基とします。写像 $f : X \to Y$ が連続であるための必要十分条件は、任意の $B \in \mathcal{B}$ に対し $f^{-1}(B)$ が $X$ の開集合となることです。 必要性は明白です。$\mathcal{B} \subset \mathcal{O}_Y$ なので、$f$ が連続ならば をそのまま $B \in \mathcal{B}$ に適用すればよいからです。 十分性を示します。$V \subset Y$ を任意の開集合とします。$\mathcal{B}$ が開基であることから、ある添字集合 $\Lambda$ と $B_\lambda \in \mathcal{B}$ $(\lambda \in \Lambda)$ が存在して $V = \bigcup_{\lambda \in \Lambda} B_\lambda$ と書けます。§2 の逆像と合併の可換性より $$ f^{-1}(V) = f^{-1}\Bigl(\bigcup_{\lambda} B_\lambda\Bigr) = \bigcup_{\lambda} f^{-1}(B_\lambda) $$ です。仮定より各 $f^{-1}(B_\lambda)$ は開集合ですから、(O2) によりその合併も開集合です。よって $f$ は連続です。 $X$, $Y$, $Z$ を位相空間とします。 1. 恒等写像 $\mathrm{id}_X : X \to X$ は連続である。 2. $f : X \to Y$ と $g : Y \to Z$ がともに連続ならば、合成 $g \circ f : X \to Z$ は連続である。 (1) 任意の開集合 $U \subset X$ に対し $\mathrm{id}_X^{-1}(U) = U$ であり、これは開集合です。 (2) まず集合の等式 $(g \circ f)^{-1}(W) = f^{-1}(g^{-1}(W))$ を確かめます。$x \in (g\circ f)^{-1}(W)$ $\iff$ $g(f(x)) \in W$ $\iff$ $f(x) \in g^{-1}(W)$ $\iff$ $x \in f^{-1}(g^{-1}(W))$ です。さて $W \subset Z$ を開集合とすると、$g$ の連続性（）より $g^{-1}(W)$ は $Y$ の開集合、続いて $f$ の連続性より $f^{-1}(g^{-1}(W))$ は $X$ の開集合です。上の等式よりこれは $(g\circ f)^{-1}(W)$ に等しいので、$g \circ f$ は連続です。 は、位相空間を対象、連続写像を射とすると圏 $\mathbf{Top}$ が得られる、という主張にほかなりません。同型射が何になるかが §5 の主題です。 $Y$ を位相空間、$A \subset Y$ に部分空間位相を入れ、$\iota : A \to Y$ を包含写像とします。次の 2 点がこの後の例で繰り返し使われます。 **(1) 包含写像は連続。** $V \subset Y$ が開ならば $\iota^{-1}(V) = V \cap A$ であり、これは部分空間位相の定義から $A$ の開集合です。 **(2) 終域を部分空間に取り替えてよい。** $X$ を位相空間、$f : X \to A$ を写像とすると、$f$ が連続であることと $\iota \circ f : X \to Y$ が連続であることは同値です。実際、$A$ の開集合は $V \cap A$（$V$ は $Y$ の開集合）の形をしており、$f$ の値はつねに $A$ に属するので $$ f^{-1}(V \cap A) = \{\, x \in X : f(x) \in V \ \text{かつ}\ f(x) \in A \,\} = \{\, x \in X : f(x) \in V \,\} = (\iota \circ f)^{-1}(V) $$ が成り立ちます。したがって「$A$ のすべての開集合の $f$ による逆像が開」という条件と「$Y$ のすべての開集合の $\iota \circ f$ による逆像が開」という条件は、文字どおり同じ集合の族についての条件です。 要するに、「$\mathbb{R}$ への連続写像で値が $(0,1)$ に入るもの」と「$(0,1)$ への連続写像」は同じものだ、ということです。 ### 3.4. 例 集合 $X$ に**離散位相** $\mathcal{O}_X = 2^{X}$（すべての部分集合が開）を入れると、任意の位相空間 $Y$ と任意の写像 $f : X \to Y$ について $f^{-1}(V)$ は $X$ の部分集合なので自動的に開集合です。よって $f$ は連続です。 集合 $Y$ に**密着位相** $\mathcal{O}_Y = \{\emptyset, Y\}$ を入れると、任意の写像 $f : X \to Y$ について $f^{-1}(\emptyset) = \emptyset$、$f^{-1}(Y) = X$ であり、(O1) よりどちらも $X$ の開集合です。よって $f$ は連続です。 定値写像 $f \equiv y_0$ はつねに連続です。$V \subset Y$ が開のとき、$y_0 \in V$ なら $f^{-1}(V) = X$、$y_0 \notin V$ なら $f^{-1}(V) = \emptyset$ であり、どちらも (O1) より開集合だからです。 一方、$X = \mathbb{R}$ に通常の位相、$Y = \mathbb{R}$ に離散位相を入れると、恒等写像 $\mathrm{id} : X \to Y$ は連続ではありません。$\{0\}$ は $Y$ の開集合ですが、$\mathrm{id}^{-1}(\{0\}) = \{0\}$ は $\mathbb{R}$ の通常の位相で開集合ではないからです（$0$ を含む開区間 $(-\delta, \delta)$ はつねに $0$ 以外の点を含むので $\{0\}$ に含まれません）。同じ集合写像でも、位相を変えれば連続性は失われます。 $f : \mathbb{R} \to \mathbb{R}$, $f(x) = x^{2}$ は連続です（ で確かめます）。しかし開集合 $(-1,1)$ の像は $$ f\bigl((-1,1)\bigr) = \{\, x^{2} : |x| < 1 \,\} = [0, 1) $$ です。$0$ は像に属しますが、任意の $\delta > 0$ に対し $-\delta/2 \in (-\delta, \delta)$ かつ $-\delta/2 \notin [0,1)$ なので、$0$ の近傍が $[0,1)$ に含まれることはありません。よって $[0,1)$ は開集合ではなく、$f$ は開写像ではありません。 次に $g : \mathbb{R} \to \mathbb{R}$, $g(x) = 1/(1 + x^{2})$ を考えます。分母は $1 + x^{2} \ge 1 > 0$ で消えないので、これは連続な有理関数です。$\mathbb{R}$ は $\mathbb{R}$ の閉集合ですが、$x^{2}$ が $[0,\infty)$ 全体を動くので $1 + x^{2}$ は $[1,\infty)$ を動き、したがって $$ g(\mathbb{R}) = \Bigl\{\, \tfrac{1}{1+x^{2}} : x \in \mathbb{R} \,\Bigr\} = (0, 1] $$ です。$1/n \in (0,1]$ かつ $1/n \to 0 \notin (0,1]$ なので $(0,1]$ は閉集合ではありません。よって $g$ は閉写像でもありません。 連続性は像についての条件ではない、という点をこの 2 つの例が示しています。 $f : \mathbb{R} \to \mathbb{R}$, $f(x) = x^{2}$ が連続であることを、$\varepsilon$-$\delta$ を使わずに で示します。$\mathbb{R}$ の通常の位相の開基として開区間全体を取り、$a < b$ に対し $f^{-1}((a,b)) = \{\, x \in \mathbb{R} : a < x^{2} < b \,\}$ を場合分けで計算します。 **$b \le 0$ のとき。** $x^{2} \ge 0 \ge b$ なので $x^{2} < b$ を満たす $x$ は存在しません。よって $f^{-1}((a,b)) = \emptyset$ であり、(O1) よりこれは開集合です。 **$a < 0 < b$ のとき。** 不等式 $a < x^{2}$ は $x^{2} \ge 0 > a$ より自動的に成り立つので、条件は $x^{2} < b$ だけになります。これは $|x| < \sqrt{b}$ と同値なので $f^{-1}((a,b)) = (-\sqrt{b}, \sqrt{b})$ であり、開集合です。 **$0 \le a < b$ のとき。** $t \mapsto \sqrt{t}$ は $[0,\infty)$ 上で狭義単調増加なので、$a < x^{2} < b$ は $\sqrt{a} < |x| < \sqrt{b}$ と同値です。よって $$ f^{-1}\bigl((a,b)\bigr) = (-\sqrt{b}, -\sqrt{a}) \cup (\sqrt{a}, \sqrt{b}) $$ となり、2 つの開区間の合併なので (O2) より開集合です。$a = 0$ のときはこれが $(-\sqrt{b},0) \cup (0,\sqrt{b})$ になります。 いずれの場合も開基の元の逆像が開集合なので、 より $f$ は連続です。$\varepsilon$ と $\delta$ を一度も書かずに済んだことに注目してください。 ## 4. ε-δ 論法との一致 が微分積分学の連続性の一般化であることを、ここで証明します。まず距離空間の位相を確認します。 距離空間 $(X, d)$ において、$a \in X$, $r > 0$ に対し**開球**を $B_d(a, r) := \{\, x \in X : d(a,x) < r \,\}$ と定め、 $$ \mathcal{O}_d := \{\, U \subset X : \forall a \in U,\ \exists r > 0,\ B_d(a,r) \subset U \,\} $$ を $d$ の定める**距離位相**といいます。この $\mathcal{O}_d$ が位相の公理を満たすこと（）、および開球全体が $\mathcal{O}_d$ の開基になることは前章で確かめました。念のため「開球は開集合である」ことだけ再掲します。$x \in B_d(a,r)$ とし $s := r - d(a,x) > 0$ とおくと、$y \in B_d(x,s)$ に対して三角不等式から $$ d(a,y) \le d(a,x) + d(x,y) < d(a,x) + s = r $$ となるので $B_d(x,s) \subset B_d(a,r)$ です。よって $B_d(a,r) \in \mathcal{O}_d$ です。 $(X, d_X)$, $(Y, d_Y)$ を距離空間とし、それぞれに距離位相を入れます。写像 $f : X \to Y$ について、次の 2 条件は同値です。 - **(i)** $f$ は の意味で連続である。すなわち $Y$ の任意の開集合 $V$ に対し $f^{-1}(V)$ は $X$ の開集合である。 - **(ii)** 任意の $a \in X$ と任意の $\varepsilon > 0$ に対し $\delta > 0$ が存在して、$d_X(x, a) < \delta$ を満たすすべての $x \in X$ について $d_Y(f(x), f(a)) < \varepsilon$ が成り立つ。 (i) $\Rightarrow$ (ii)。$a \in X$ と $\varepsilon > 0$ を任意に取り、$V := B_{d_Y}(f(a), \varepsilon)$ とおきます。上で見たとおり $V$ は $Y$ の開集合なので、(i) より $f^{-1}(V)$ は $X$ の開集合です。$d_Y(f(a), f(a)) = 0 < \varepsilon$ より $f(a) \in V$、したがって $a \in f^{-1}(V)$ です。距離位相の定義 $\mathcal{O}_{d_X}$ を $U = f^{-1}(V)$ と $a$ に適用すると、$\delta > 0$ が存在して $B_{d_X}(a, \delta) \subset f^{-1}(V)$ となります。これは、$d_X(x,a) < \delta$ ならば $f(x) \in V = B_{d_Y}(f(a), \varepsilon)$、すなわち $d_Y(f(x), f(a)) < \varepsilon$ である、ということです。 (ii) $\Rightarrow$ (i)。$V \subset Y$ を開集合とし、$a \in f^{-1}(V)$ を任意に取ります。$f(a) \in V$ と距離位相の定義から、$\varepsilon > 0$ が存在して $B_{d_Y}(f(a), \varepsilon) \subset V$ となります。この $\varepsilon$ と $a$ に対して (ii) を適用すると $\delta > 0$ が取れて、$d_X(x,a) < \delta$ ならば $d_Y(f(x), f(a)) < \varepsilon$、すなわち $f(x) \in B_{d_Y}(f(a),\varepsilon) \subset V$ が成り立ちます。言い換えると $B_{d_X}(a, \delta) \subset f^{-1}(V)$ です。$a \in f^{-1}(V)$ は任意だったので、距離位相の定義より $f^{-1}(V)$ は $X$ の開集合です。よって $f$ は連続です。 証明を読み返すと、$\varepsilon$-$\delta$ 定義の各部分がどこへ翻訳されたかがはっきりします。 | $\varepsilon$-$\delta$ 論法 | 位相の言葉 | |---|---| | 任意の $\varepsilon > 0$ | $f(a)$ を含む任意の開集合 $V$ | | ある $\delta > 0$ が存在 | $a$ を含むある開集合 $U$ が存在 | | $d_X(x,a) < \delta$ | $x \in U$ | | $d_Y(f(x), f(a)) < \varepsilon$ | $f(x) \in V$ | $\forall \varepsilon\, \exists \delta\, \forall x$ という量化子の順序が $\forall V\, \exists U\, \forall x \in U$ にそのまま移っています。位相が捨てたのは「$\varepsilon$ という数値」だけで、「先に目標精度が指定され、後から許容誤差を選ぶ」という論理構造は完全に保存されています。 なお、$\delta$ が $a$ に依らずに取れるという条件（一様連続性）は、この翻訳では表現できません。$U$ は $a$ ごとに選ばれるものであり、「同じ大きさの $U$」という言い方が位相にはないからです。詳しくは [連続関数と一様連続性](/mathematics/real-analysis/uniform-continuity) と本記事の Appendix を参照してください。 ## 5. 同相写像 — 位相的に同じであるということ ### 5.1. 定義と判定条件 $f : X \to Y$ を位相空間の間の写像とします。$X$ の任意の開集合 $U$ に対し $f(U)$ が $Y$ の開集合となるとき $f$ を**開写像**、$X$ の任意の閉集合 $F$ に対し $f(F)$ が $Y$ の閉集合となるとき $f$ を**閉写像**といいます。 が示すとおり、連続性・開写像であること・閉写像であることは、互いに独立な条件です。同相写像はこのうち連続性と（結果的に）開写像性を同時に要求します。 $X$, $Y$ を位相空間とします。写像 $f : X \to Y$ が**同相写像**（homeomorphism）であるとは、 1. $f$ が全単射であり、 2. $f$ が連続であり、 3. 逆写像 $f^{-1} : Y \to X$ も連続である の 3 条件が成り立つことをいいます。同相写像 $f : X \to Y$ が存在するとき、$X$ と $Y$ は**同相**であるといい、$X \cong Y$ と書きます。 条件 3 を落とせないことは で確かめます。群やベクトル空間では「全単射準同型の逆写像は自動的に準同型」なので、この 3 条件目にあたるものは不要でした。位相空間ではそうならない、というのが最初の驚きどころです。 $X$, $Y$ を位相空間、$f : X \to Y$ を連続な全単射とします。次の 3 条件は同値です。 - **(i)** $f$ は同相写像である。 - **(ii)** $f$ は開写像である。 - **(iii)** $f$ は閉写像である。 $f$ は全単射なので逆写像 $g := f^{-1} : Y \to X$ が定まります。まず鍵となる等式 $$ g^{-1}(A) = f(A) \qquad (A \subset X \text{ は任意}) $$ を示します。$y \in g^{-1}(A)$ とすると $g(y) \in A$ であり、$y = f(g(y)) \in f(A)$ です。逆に $y \in f(A)$ とすると $y = f(a)$ なる $a \in A$ があり、$g(y) = g(f(a)) = a \in A$ なので $y \in g^{-1}(A)$ です。以上より等式が成り立ちます。 (i) $\Leftrightarrow$ (ii)。$g$ が連続であるとは、 より「$X$ の任意の開集合 $U$ に対し $g^{-1}(U)$ が $Y$ の開集合」ということです。上の等式で $A = U$ とすれば $g^{-1}(U) = f(U)$ なので、この条件は「任意の開集合 $U$ に対し $f(U)$ が開」、すなわち $f$ が開写像であることと同じです。$f$ は仮定より連続な全単射ですから、$g$ が連続であることが $f$ が同相写像であることと同値です。 (ii) $\Leftrightarrow$ (iii)。$f$ が全単射なので、任意の $A \subset X$ に対し $f(X \setminus A) = Y \setminus f(A)$ が成り立ちます。実際、$y \in Y$ に対し $f$ の全単射性より $y = f(x_0)$ となる $x_0 \in X$ がただ一つ存在し、$y \in f(X\setminus A) \iff x_0 \notin A \iff y \notin f(A)$ だからです（右の同値でも $x_0$ の一意性を使いました）。さて (ii) を仮定し $F \subset X$ を閉集合とすると $X \setminus F$ は開なので $f(X\setminus F) = Y \setminus f(F)$ は開、よって $f(F)$ は閉で (iii) が従います。逆も同様に、$U \subset X$ が開なら $X\setminus U$ は閉なので $f(X \setminus U) = Y \setminus f(U)$ は閉、よって $f(U)$ は開です。 位相空間の任意の集まりの上で、関係「$X \cong Y$」は反射的・対称的・推移的です。 反射律。$\mathrm{id}_X$ は全単射で、 の (1) より連続、その逆写像も $\mathrm{id}_X$ なので連続です。よって $\mathrm{id}_X$ は同相写像であり $X \cong X$ です。 対称律。$f : X \to Y$ を同相写像とすると、$g := f^{-1}$ は全単射で、 の条件 3 より連続、さらに $g^{-1} = f$ は条件 2 より連続です。よって $g$ は同相写像であり $Y \cong X$ です。 推移律。$f : X \to Y$, $h : Y \to Z$ を同相写像とすると、$h \circ f$ は全単射の合成なので全単射、 の (2) より連続です。また $(h\circ f)^{-1} = f^{-1} \circ h^{-1}$ であり、$h^{-1}$ と $f^{-1}$ はともに連続なので、再び の (2) より $(h\circ f)^{-1}$ は連続です。よって $h \circ f$ は同相写像であり $X \cong Z$ です。 同値関係一般の扱いについては [関係と同値関係 - 「同じ」とは何か](/mathematics/foundations/equivalence-relations) を参照してください。 により、位相空間を同相で分類するという営みに意味が生まれます。位相幾何学の大きな部分は、この同値類を区別する道具を作ることに費やされます。 位相空間について述べられた性質 $P$ が**位相的性質**（位相不変な性質）であるとは、$X \cong Y$ かつ $X$ が $P$ をもつならば必ず $Y$ も $P$ をもつことをいいます。 開集合系だけを使って定義された性質は、定義からすべて位相的性質です。同相写像 $f$ は開集合の対応 $U \mapsto f(U)$ を通じて $\mathcal{O}_X$ と $\mathcal{O}_Y$ の間の全単射を与える（ の (ii) とその逆向き）ので、開集合の言葉で書かれた命題は $X$ で成り立つことと $Y$ で成り立つことが同値になるからです。コンパクト性（[コンパクト性](/mathematics/topology/compactness)）、連結性（[連結性](/mathematics/topology/connectedness)）、ハウスドルフ性（[分離公理と距離づけ可能性](/mathematics/topology/separation-axioms)）はいずれも位相的性質です。 ### 5.2. 例 $h : \mathbb{R} \to (0,1)$ を $$ h(x) := \frac{1}{2} + \frac{x}{2(1 + |x|)} $$ で定めます。まず値域を確認します。$|x|/(1+|x|) < 1$ より $|x/(1+|x|)| < 1$ なので $h(x) \in (0,1)$ です。 次に逆写像を具体的に求めます。$t = h(x)$ とおき $u := 2t - 1 = x/(1+|x|)$ とします。$x \ge 0$ のとき $u = x/(1+x) \ge 0$ かつ $|u| = u$ なので、$u(1+x) = x$ より $x = u/(1-u) = u/(1-|u|)$ です。$x < 0$ のとき $|x| = -x$ なので $u = x/(1-x) < 0$、$|u| = -u$ であり、$u(1-x) = x$ から $x = u/(1+u) = u/(1-|u|)$ となります。どちらの場合も同じ式 $$ x = \frac{u}{1 - |u|}, \qquad u = 2t-1 $$ が得られました。$t \in (0,1)$ ならば $|2t-1| < 1$ なので分母は正で、この式は意味をもちます。 逆に、$u \in (-1,1)$ に対し $x := u/(1-|u|)$ とおくと $|x| = |u|/(1-|u|)$、したがって $$ 1 + |x| = \frac{(1-|u|) + |u|}{1-|u|} = \frac{1}{1-|u|}, \qquad \frac{x}{1+|x|} = \frac{u}{1-|u|}\cdot (1-|u|) = u $$ となります。よって $u \mapsto u/(1-|u|)$ は $(-1,1) \to \mathbb{R}$ の全単射で、$x \mapsto x/(1+|x|)$ がその逆です。これより $h$ は全単射で $$ h^{-1}(t) = \frac{2t-1}{1 - |2t-1|} \qquad (0 < t < 1) $$ です。 連続性を確かめます。$x \mapsto |x|$ は $\bigl||x| - |y|\bigr| \le |x-y|$ より連続（$\delta = \varepsilon$ と取ればよい）で、$1 + |x| \ge 1 > 0$ なので商 $x \mapsto x/(1+|x|)$ は連続、これに連続なアフィン写像を合成した $h : \mathbb{R} \to \mathbb{R}$ は連続です（ と ）。値が $(0,1)$ に入るので の (2) により $h : \mathbb{R} \to (0,1)$ は連続です。同様に $t \mapsto 2t-1$ は連続、$u \mapsto u/(1-|u|)$ は $(-1,1)$ 上で分母が正なので連続であり、包含写像 $(0,1) \hookrightarrow \mathbb{R}$ の連続性（ の (1)）と合わせて $h^{-1} : (0,1) \to \mathbb{R}$ は連続です。 したがって $h$ は同相写像で、$\mathbb{R} \cong (0,1)$ です。$a < b$ に対しアフィン写像 $s \mapsto a + (b-a)s$ が $(0,1) \cong (a,b)$ を与えるので、 の推移律より任意の有界開区間は $\mathbb{R}$ と同相です。$\tan : (-\pi/2, \pi/2) \to \mathbb{R}$ を使っても同じ結論が得られますが、上の有理式のほうが三角関数の性質を仮定しない分だけ素朴です。 $S^{1} := \{\, (x,y) \in \mathbb{R}^{2} : x^{2}+y^{2} = 1 \,\}$ に $\mathbb{R}^{2}$ からの部分空間位相を入れ、 $$ f : [0, 2\pi) \to S^{1}, \qquad f(t) = (\cos t, \sin t) $$ を考えます（$[0,2\pi)$ は $\mathbb{R}$ からの部分空間位相）。 **全単射であること。** $\cos^{2}t + \sin^{2}t = 1$ より値は $S^{1}$ に入ります。全射性は次のように確かめます。$(x,y) \in S^{1}$ とすると $|x| \le 1$ であり、$\cos$ は $[0,\pi]$ から $[-1,1]$ への狭義単調減少な全単射なので $t_0 := \arccos x \in [0,\pi]$ が定まります。$\sin t_0 \ge 0$ かつ $\sin^{2} t_0 = 1 - x^{2} = y^{2}$ なので、$y \ge 0$ なら $t := t_0$ が、$y < 0$ なら $t := 2\pi - t_0 \in (\pi, 2\pi)$ が（$\cos(2\pi - t_0) = \cos t_0 = x$, $\sin(2\pi-t_0) = -\sin t_0 = y$ より）求めるものです。単射性は加法定理から出ます。$f(s) = f(t)$、$0 \le s \le t < 2\pi$ とすると $$ \cos(t-s) = \cos t \cos s + \sin t \sin s = \cos^{2}s + \sin^{2}s = 1 $$ であり、$0 \le t - s < 2\pi$ の範囲で $\cos\theta = 1$ となるのは $\theta = 0$ のときだけなので $s = t$ です。 **連続であること。** $\cos$, $\sin$ は $\mathbb{R}$ 上連続なので $t \mapsto (\cos t, \sin t)$ は $\mathbb{R} \to \mathbb{R}^{2}$ として連続であり（成分ごとの評価から $\varepsilon$-$\delta$ で直接示せます）、値が $S^{1}$ に入るので より $S^{1}$ への写像として連続、その $[0,2\pi)$ への制限も連続です。 **逆写像が連続でないこと。** により、$f$ が開写像でないことを示せば十分です。$U := [0, \pi)$ とおくと $U = (-\pi, \pi) \cap [0,2\pi)$ なので $U$ は $[0,2\pi)$ の開集合です。その像は $$ f(U) = \{\, (\cos t, \sin t) : 0 \le t < \pi \,\} $$ で、$0 \le t < \pi$ では $\sin t \ge 0$ ですから、$f(U)$ は第 2 成分が負の点を一つも含みません。ところが $p := (1,0) = f(0) \in f(U)$ を含む $S^{1}$ の開集合は、部分空間位相の定義よりある $\varepsilon > 0$ に対して $B_{\mathbb{R}^{2}}(p, \varepsilon) \cap S^{1}$ を含みます。$\eta > 0$ を小さく取ると $$ q_\eta := (\cos(2\pi - \eta), \sin(2\pi-\eta)) = (\cos \eta, -\sin \eta) \in S^{1} $$ は $\eta \to 0^{+}$ のとき $p$ に収束するので、$\eta$ を十分小さくすれば $q_\eta \in B_{\mathbb{R}^{2}}(p,\varepsilon) \cap S^{1}$ です。しかし $q_\eta$ の第 2 成分は $-\sin\eta < 0$ なので $q_\eta \notin f(U)$ です。よって $p$ を含むどんな開集合も $f(U)$ には含まれず、$f(U)$ は $S^{1}$ の開集合ではありません。 したがって $f$ は開写像ではなく、 より同相写像ではありません。直観的には、$f$ は区間の両端を貼り合わせて円にする写像です。貼り合わせは連続にできますが、円を切り開く操作（逆写像）は切れ目のところで不連続になります。 「連続な全単射が同相かどうか」を毎回手で確かめるのは大変です。後の章で証明する「コンパクト空間からハウスドルフ空間への連続な全単射は同相写像である」という定理（）は、この確認を不要にします。 で同相にならなかったのは、始域 $[0,2\pi)$ がコンパクトでなかったためです。詳しくは [コンパクト性](/mathematics/topology/compactness) と [分離公理と距離づけ可能性](/mathematics/topology/separation-axioms) を参照してください。 ## 6. 同相でないことをどう示すか 同相であることを示すには写像を一つ作ればよい（存在の証明）のに対し、同相でないことを示すには「どんな写像も同相にならない」という全称命題を証明しなければなりません。まともに全数調査はできないので、 を使います。$X$ がもち $Y$ がもたない位相的性質 $P$ を一つ見つければ、$X \cong Y$ と仮定したときに $Y$ も $P$ をもつことになって矛盾します。
A["方向 1: 具体的な全単射 h を作る"] Q --> B["方向 2: 位相的性質 P を探す"] A --> A1["h が連続か確認する"] A1 --> A2["h の逆写像が連続か確認する"] A2 --> A3["結論: X と Y は同相"] B --> B1["X は P をもち Y は P をもたない"] B1 --> B2["結論: X と Y は同相でない"]`} />
**(1) $\mathbb{R} \not\cong [0,1]$。** 同相写像 $h : [0,1] \to \mathbb{R}$ が存在したと仮定します。$h$ は特に閉区間 $[0,1]$ 上の連続な実数値関数なので、ワイエルシュトラスの最大値定理（）により最大値をとります。すなわち $c \in [0,1]$ が存在して、すべての $s \in [0,1]$ に対し $h(s) \le h(c) =: M$ です。したがって $h([0,1]) \subset (-\infty, M]$ です。ところが $h$ は全射なので $h([0,1]) = \mathbb{R}$ であり、$M + 1 \in \mathbb{R}$ かつ $M + 1 > M$ なので $M+1 \notin (-\infty, M]$、矛盾です。よって $\mathbb{R} \not\cong [0,1]$ です。 **(2) $[0,1] \not\cong [0,1)$。** 同相写像 $h : [0,1] \to [0,1)$ が存在したと仮定します。(1) と同じく $h$ は $[0,1]$ 上で最大値 $M = h(c)$ をとり、全射性から $h([0,1]) = [0,1)$ なので、$M$ は集合 $[0,1)$ の最大元でなければなりません。しかし $[0,1)$ には最大元がありません。実際、任意の $t \in [0,1)$ に対して $t' := (t+1)/2$ とおくと $t < t' < 1$ なので $t' \in [0,1)$ かつ $t' > t$ であり、$t$ は最大元になり得ないからです。矛盾により $[0,1] \not\cong [0,1)$ です。 もう一つの強力な不変量が連結性です。位相空間 $X$ が**連結**であるとは、$X = V_1 \cup V_2$、$V_1 \cap V_2 = \emptyset$、$V_1, V_2$ はともに $X$ の開集合、$V_1 \ne \emptyset$、$V_2 \ne \emptyset$ を満たす分解が存在しないことをいいます。連続写像がこの性質を保つことは、 だけからすぐに従います。 $X$, $Y$ を位相空間、$f : X \to Y$ を連続な全射とします。$X$ が連結ならば $Y$ も連結です。 $Y$ が連結でないと仮定し、$Y = V_1 \cup V_2$、$V_1 \cap V_2 = \emptyset$、$V_1, V_2$ は空でない $Y$ の開集合、という分解を取ります。 $f$ の連続性（）より $f^{-1}(V_1)$, $f^{-1}(V_2)$ はともに $X$ の開集合です。§2 の逆像の性質から $$ f^{-1}(V_1) \cup f^{-1}(V_2) = f^{-1}(V_1 \cup V_2) = f^{-1}(Y) = X, \qquad f^{-1}(V_1) \cap f^{-1}(V_2) = f^{-1}(V_1 \cap V_2) = f^{-1}(\emptyset) = \emptyset $$ が成り立ちます。さらに $V_i \ne \emptyset$ なので $y_i \in V_i$ が取れ、$f$ の全射性より $f(x_i) = y_i$ となる $x_i \in X$ が存在します。すると $x_i \in f^{-1}(V_i)$ なので $f^{-1}(V_i) \ne \emptyset$ です。 以上より $X = f^{-1}(V_1) \cup f^{-1}(V_2)$ は $X$ の連結性を否定する分解になり、仮定に矛盾します。よって $Y$ は連結です。 連結性は位相的性質です。すなわち $X \cong Y$ で $X$ が連結ならば $Y$ も連結です。 $f : X \to Y$ を同相写像とすると、$f$ は より連続かつ全単射、特に連続な全射です。よって が適用でき、$X$ が連結ならば $Y$ も連結です。 は応用が広い定理です。たとえば $\mathbb{R}$ の区間が連結であるという事実（[連結性](/mathematics/topology/connectedness) の で証明します）と組み合わせると、区間上の連続関数の像は連結、すなわち区間になるので、中間値の定理が系として得られます。解析学の基本定理が位相の一般論から出てくるのは、この抽象化の見返りの一つだと思います。 では、この不変量で $\mathbb{R}$ と $\mathbb{R}^{2}$ を区別します。 ## 7. 演習 $X$, $Y$ を位相空間、$A, B$ を $X$ の閉集合で $X = A \cup B$ を満たすものとします。写像 $f : X \to Y$ について、制限 $f|_A : A \to Y$ と $f|_B : B \to Y$ がともに連続（$A$, $B$ には部分空間位相を入れる）ならば、$f$ は連続であることを示してください（貼り合わせ補題）。 まず補助的な事実を確認します。$A$ が $X$ の閉集合で、$C \subset A$ が部分空間 $A$ の閉集合ならば、$C$ は $X$ の閉集合です。実際、部分空間位相の定義より $A$ の開集合は $U \cap A$（$U$ は $X$ の開集合）の形なので、$A$ の閉集合は $A \setminus (U \cap A) = A \cap (X \setminus U)$ の形、すなわち「$X$ の閉集合と $A$ の共通部分」です。$A$ 自身も $X$ の閉集合なので、これは $X$ の閉集合 2 つの共通部分であり、$X$ の閉集合です。 さて $F \subset Y$ を任意の閉集合とします。$x \in f^{-1}(F)$ とすると $x \in X = A \cup B$ なので $x \in A$ または $x \in B$ であり、前者なら $x \in (f|_A)^{-1}(F)$、後者なら $x \in (f|_B)^{-1}(F)$ です。逆に $x \in (f|_A)^{-1}(F)$ ならば $x \in A \subset X$ かつ $f(x) = f|_A(x) \in F$ なので $x \in f^{-1}(F)$ であり、$(f|_B)^{-1}(F)$ についても同じです。したがって $$ f^{-1}(F) = (f|_A)^{-1}(F) \cup (f|_B)^{-1}(F) $$ が成り立ちます。$f|_A$ は連続なので の (ii) より $(f|_A)^{-1}(F)$ は $A$ の閉集合、上の補助事実より $X$ の閉集合です。同様に $(f|_B)^{-1}(F)$ も $X$ の閉集合です。閉集合 2 つの合併は閉集合（開集合 2 つの共通部分が開であるという (O3) の双対）なので、$f^{-1}(F)$ は $X$ の閉集合です。$F$ は任意だったので、再び の (ii) $\Rightarrow$ (i) により $f$ は連続です。 なお、$A$ と $B$ の両方が閉であるという仮定は落とせません。$X = [0,2]$、$A = [0,1]$（$X$ の閉集合）、$B = (1,2]$（$X$ の閉集合ではない）とし、$f : X \to \mathbb{R}$ を $A$ 上で $0$、$B$ 上で $1$ と定めます。$f|_A$ と $f|_B$ は定値写像なので より連続です。しかし $f$ 自身は連続ではありません。実際、$V := (-1/2, 1/2)$ は $\mathbb{R}$ の開集合ですが $f^{-1}(V) = [0,1]$ であり、これは $X = [0,2]$ の開集合ではないからです（$1$ を含む $X$ の開集合は、ある $\delta > 0$ について $(1-\delta, 1+\delta) \cap [0,2]$ を含み、この集合は $1$ より大きい点を必ず含みます）。 $\mathbb{R}$ 上に、半開区間の族 $\mathcal{B} = \{\, [a,b) : a < b \,\}$ を開基とする位相を入れた空間を $\mathbb{R}_\ell$（下限位相、ゾルゲンフライ直線）と書きます。通常の位相の $\mathbb{R}$ に対し、恒等写像 $\mathrm{id} : \mathbb{R}_\ell \to \mathbb{R}$ は連続だが、$\mathrm{id} : \mathbb{R} \to \mathbb{R}_\ell$ は連続でないことを示してください。 **前半。** を使います。$\mathbb{R}$ の通常の位相の開基は開区間全体なので、$a < b$ に対し $\mathrm{id}^{-1}((a,b)) = (a,b)$ が $\mathbb{R}_\ell$ の開集合であることを示せば十分です。ここで $$ (a,b) = \bigcup_{a < c < b} [c, b) $$ が成り立ちます。実際、右辺の各 $[c,b)$ は $c > a$ より $(a,b)$ に含まれ、逆に $x \in (a,b)$ ならば $c = x$ と取れば $x \in [x, b)$ で $a < x < b$ だからです。右辺は $\mathcal{B}$ の元の合併なので $\mathbb{R}_\ell$ の開集合です。よって $\mathrm{id} : \mathbb{R}_\ell \to \mathbb{R}$ は連続です。 **後半。** $[0,1) \in \mathcal{B}$ は $\mathbb{R}_\ell$ の開集合ですが、$\mathrm{id}^{-1}([0,1)) = [0,1)$ は通常の位相では開集合ではありません。実際、$0 \in [0,1)$ に対して任意の $\delta > 0$ を取ると $-\delta/2 \in (-\delta, \delta)$ かつ $-\delta/2 \notin [0,1)$ なので、$0$ を含むどの開区間も $[0,1)$ に含まれないからです。よって $\mathrm{id} : \mathbb{R} \to \mathbb{R}_\ell$ は連続ではありません。 **結論の読み方。** $\mathrm{id} : \mathbb{R}_\ell \to \mathbb{R}$ は連続な全単射ですが、その逆写像 $\mathrm{id} : \mathbb{R} \to \mathbb{R}_\ell$ が連続でないので、 の条件 3 が破れており同相写像ではありません。 と並ぶ、条件 3 が独立であることの証拠です。 $S^{1} = \{\, (x,y) \in \mathbb{R}^{2} : x^{2}+y^{2}=1 \,\}$ から北極 $N = (0,1)$ を除いた空間 $S^{1} \setminus \{N\}$ は $\mathbb{R}$ と同相であることを、立体射影 $\pi(x,y) = x/(1-y)$ を使って示してください。 $(x,y) \in S^{1}\setminus\{N\}$ では $y \ne 1$ なので $\pi(x,y) = x/(1-y)$ は定義されます。逆写像の候補を $$ \sigma(t) := \left( \frac{2t}{t^{2}+1},\ \frac{t^{2}-1}{t^{2}+1} \right) \qquad (t \in \mathbb{R}) $$ とします。 **$\sigma$ の値が $S^{1}\setminus\{N\}$ に入ること。** $(2t)^{2} + (t^{2}-1)^{2} = 4t^{2} + t^{4} - 2t^{2} + 1 = t^{4}+2t^{2}+1 = (t^{2}+1)^{2}$ なので、$\sigma(t)$ の 2 成分の平方和は $1$ であり $\sigma(t) \in S^{1}$ です。また第 2 成分が $1$ になるには $t^{2}-1 = t^{2}+1$ すなわち $-1 = 1$ が必要で、これは起こりません。よって $\sigma(t) \ne N$ です。 **$\pi \circ \sigma = \mathrm{id}_{\mathbb{R}}$。** $1 - \dfrac{t^{2}-1}{t^{2}+1} = \dfrac{(t^{2}+1)-(t^{2}-1)}{t^{2}+1} = \dfrac{2}{t^{2}+1}$ なので $$ \pi(\sigma(t)) = \frac{2t/(t^{2}+1)}{2/(t^{2}+1)} = t . $$ **$\sigma \circ \pi = \mathrm{id}$。** $(x,y) \in S^{1}\setminus\{N\}$ に対し $t := x/(1-y)$ とおきます。$x^{2} = 1-y^{2}$ を使うと $$ t^{2}+1 = \frac{x^{2} + (1-y)^{2}}{(1-y)^{2}} = \frac{(1-y^{2}) + 1 - 2y + y^{2}}{(1-y)^{2}} = \frac{2(1-y)}{(1-y)^{2}} = \frac{2}{1-y} $$ となり、したがって $t^{2}-1 = \dfrac{2}{1-y} - 2 = \dfrac{2y}{1-y}$ です。これらを代入すると $$ \frac{2t}{t^{2}+1} = \frac{2x/(1-y)}{2/(1-y)} = x, \qquad \frac{t^{2}-1}{t^{2}+1} = \frac{2y/(1-y)}{2/(1-y)} = y $$ なので $\sigma(\pi(x,y)) = (x,y)$ です。以上より $\pi$ は全単射で $\pi^{-1} = \sigma$ です。 **連続性。** $\pi$ は $\mathbb{R}^{2}$ の開集合 $\{\, (x,y) : y \ne 1 \,\}$ 上で分母が消えない有理式なので連続であり、その $S^{1}\setminus\{N\}$ への制限も連続です（包含写像との合成、 と ）。$\sigma$ は $t^{2}+1 \ge 1 > 0$ より $\mathbb{R} \to \mathbb{R}^{2}$ として連続で、値が $S^{1}\setminus\{N\}$ に入るので の (2) より $\mathbb{R} \to S^{1}\setminus\{N\}$ として連続です。よって $\pi$ は同相写像で、$S^{1}\setminus\{N\} \cong \mathbb{R}$ です。 一点を除くだけで円が直線になる、というのは の「切り開く操作」を、始域の側で先に一点抜いておくことで正当化した形になっています。 $\mathbb{R}$ と $\mathbb{R}^{2}$ は同相でないことを示してください。$\mathbb{R}$ の空でない区間が連結であること、および任意の $p \in \mathbb{R}^{2}$ に対し $\mathbb{R}^{2}\setminus\{p\}$ が連結であることは、[連結性](/mathematics/topology/connectedness) の結果として使ってかまいません。 **補助事実（制限も同相）。** $h : X \to Y$ を同相写像、$A \subset X$ とすると、$h|_A : A \to h(A)$ は同相写像です。実際、$h$ が単射なので $h|_A$ は $h(A)$ への全単射です。連続性は次のように確かめます。$h(A)$ の開集合は $W \cap h(A)$（$W$ は $Y$ の開集合）の形で、 $$ (h|_A)^{-1}(W \cap h(A)) = A \cap h^{-1}(W) $$ であり、$h$ の連続性より $h^{-1}(W)$ は $X$ の開集合なので、これは $A$ の開集合です。同じ議論を $h^{-1} : Y \to X$ と $h(A) \subset Y$ に適用すれば $(h|_A)^{-1}$ の連続性も従います。 **本題。** $\mathbb{R} \cong \mathbb{R}^{2}$ と仮定し、同相写像 $h : \mathbb{R} \to \mathbb{R}^{2}$ を取ります。$p := h(0)$ とおくと、$h$ は全単射なので $h(\mathbb{R}\setminus\{0\}) = \mathbb{R}^{2}\setminus\{p\}$ です。補助事実より $$ h|_{\mathbb{R}\setminus\{0\}} : \mathbb{R}\setminus\{0\} \longrightarrow \mathbb{R}^{2}\setminus\{p\} $$ は同相写像です。 ところが $\mathbb{R}\setminus\{0\} = (-\infty, 0) \cup (0, \infty)$ であり、$(-\infty,0)$ と $(0,\infty)$ はともに $\mathbb{R}$ の開集合なので部分空間 $\mathbb{R}\setminus\{0\}$ の開集合でもあり、互いに交わらず、どちらも空でありません（$-1$ と $1$ がそれぞれ属します）。よって $\mathbb{R}\setminus\{0\}$ は連結ではありません。 一方、仮定より $\mathbb{R}^{2}\setminus\{p\}$ は連結です。 により連結性は位相的性質なので、同相な 2 空間の一方が連結で他方が連結でないことは起こり得ません。これは矛盾です。よって $\mathbb{R} \not\cong \mathbb{R}^{2}$ です。 **注意。** 同じ議論で $\mathbb{R} \not\cong \mathbb{R}^{n}$ $(n \ge 2)$ が示せます。しかし $\mathbb{R}^{2} \not\cong \mathbb{R}^{3}$ を示すには一点を除いても連結性が壊れないため、この方法は使えません。一般の $m \ne n$ に対する $\mathbb{R}^{m}\not\cong\mathbb{R}^{n}$（次元の不変性）は、ホモロジー群など、より強い位相不変量を必要とします。 ## 参考文献 - J. R. Munkres, *Topology*, 2nd edition, Prentice Hall, 2000 — 第 2 章 §18「Continuous Functions」に、本記事の同値条件・貼り合わせ補題・同相写像がまとまっています。 - S. Willard, *General Topology*, Addison-Wesley, 1970（Dover による再刊、2004）— 連続写像と同相写像の特徴づけを体系的に扱っています。 - 松坂和夫『集合・位相入門』岩波書店、1968 — 距離空間から位相空間への移行を、初学者向けに段階を踏んで説明しています。 - 内田伏一『集合と位相』裳華房、1986 — 連続写像・同相写像の章に、本記事と同じ路線の例が豊富にあります。 - 高木貞治『解析概論』改訂第三版、岩波書店、1961 — 閉区間上の連続関数が最大値をとるというワイエルシュトラスの定理の証明があります。 で使いました。 ## Appendix: 位相では見えないもの — 有界性・完備性・一様連続性 **位相は「どれくらい近いか」を忘れます。** で $\mathbb{R} \cong (0,1)$ を示しました。この一つの事実から、距離に由来する重要な概念のいくつかが位相的性質ではないことが直ちに従います。 **有界性は位相的性質ではありません。** $(0,1)$ は通常の距離について有界（直径 $1$）ですが、$\mathbb{R}$ は有界ではありません。それでも両者は同相です。したがって「有界だから／有界でないから同相でない」という論法は成立しません。有界性は距離 $d$ に依存する概念であり、同じ位相を定める別の距離を取れば有界にも非有界にもなります。実際、$d'(x,y) := \min\{1, |x-y|\}$ は $\mathbb{R}$ 上の距離で、通常の距離と同じ開集合系を定めますが、$(\mathbb{R}, d')$ は有界です。 **完備性も位相的性質ではありません。** $\mathbb{R}$ は通常の距離について完備です。一方 $(0,1)$ は完備ではありません。数列 $x_n = 1/(n+1)$ は $(0,1)$ の点からなり、$|x_n - x_m| \to 0$ なのでコーシー列ですが、その極限 $0$ は $(0,1)$ に属さないからです。それでも $\mathbb{R} \cong (0,1)$ です。完備性については [実数の完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy) を参照してください。 **一様連続性も位相的性質ではありません。** の同相写像の逆 $h^{-1} : (0,1) \to \mathbb{R}$, $h^{-1}(t) = (2t-1)/(1-|2t-1|)$ を考えます。$t \in [1/2, 1)$ では $2t-1 \ge 0$、すなわち $|2t-1| = 2t-1$ なので $$ h^{-1}(t) = \frac{2t-1}{1-(2t-1)} = \frac{2t-1}{2(1-t)} $$ です。ここで $t_n := 1 - 1/n$, $s_n := 1 - 1/(2n)$（$n \ge 2$）とおくと、$1 - 1/n \ge 1/2$ かつ $1 - 1/(2n) \ge 3/4$ よりどちらも $[1/2,1)$ に属し $$ h^{-1}(t_n) = \frac{2(1-1/n)-1}{2/n} = \frac{1 - 2/n}{2/n} = \frac{n}{2} - 1, \qquad h^{-1}(s_n) = \frac{1 - 1/n}{2 \cdot 1/(2n)} = \frac{1-1/n}{1/n} = n - 1 $$ と計算できます。$|t_n - s_n| = 1/(2n) \to 0$ ですが $$ \bigl| h^{-1}(t_n) - h^{-1}(s_n) \bigr| = \Bigl| \frac{n}{2} - 1 - (n-1) \Bigr| = \frac{n}{2} \longrightarrow \infty $$ なので、$\varepsilon = 1$ に対してどんな $\delta > 0$ を取っても、$1/(2n) < \delta$ となる $n$ について $|t_n - s_n| < \delta$ かつ $|h^{-1}(t_n) - h^{-1}(s_n)| \ge 1$ が成り立ちます。よって $h^{-1}$ は一様連続ではありません。一方 $\mathbb{R}$ 上の恒等写像は一様連続です。同相写像で移しても一様連続性は保たれないのです。 **まとめると**、位相が記憶しているのは「点の近くにどんな集合があるか」という定性的な情報だけで、「距離がいくつか」という定量的な情報は捨てられています。一様連続性・完備性・有界性を扱いたければ、位相より細かい構造（距離、あるいは一様構造）を保つ写像の圏に移る必要があります。逆に言えば、位相的性質だけを使って証明された定理は、距離を取り替えても壊れないという頑健さをもちます。この線引きを意識しておくと、[連続関数と一様連続性](/mathematics/real-analysis/uniform-continuity) の議論がどこで距離を使っているかが見えるようになります。