# 次元論の入口：被覆次元と帰納的次元、Cantor 集合、dim I^n = n

> 被覆次元と帰納的次元を定義し、0 次元空間・超距離・Cantor 集合を調べる。R^N のコンパクト集合の dim ≤ N と Brouwer の不動点定理による dim I^n = n、Menger–Nöbeling の埋め込みを証明する。
> https://rikai.mugen-giken.com/mathematics/topology/dimension-theory

## 0. この記事の要点

直線は 1 次元、平面は 2 次元と言いますが、これは座標の個数で数えた値です。伸び縮みさせても（連続に変形しても）変わらない性質だけを使って、「次元」をきちんと測れるでしょうか。この記事では、図形を小さな開集合で覆ったときに、1 点に何枚が重なってしまうかを数えるという方法で、これに答えます。読み終えると、立方体の次元がちょうど $n$ であること、したがって $\mathbb{R}^m$ と $\mathbb{R}^n$ が $m\ne n$ なら同相でないことを、位相の言葉で説明できるようになります。

- 位相空間の「次元」は、座標の個数ではなく位相だけで測ります。この記事で扱うのは 2 種類です。**被覆次元** $\dim$ は、有限開被覆をどれだけ「薄く」（各点が高々 $n+1$ 個の集合にしか入らないように）細分できるかで測り、**帰納的次元** $\operatorname{ind}$, $\operatorname{Ind}$ は、「境界の次元は 1 つ小さい」という再帰で測ります。
- 次元 $0$ の空間は、開かつ閉な集合からなる開基をもつ空間です。超距離空間、Cantor 集合、$\mathbb{Q}$ と無理数全体がその例で、$\mathbb{Q}$ のように 0 次元でも離散でない空間があります。
- $\mathbb{R}^N$ のコンパクト部分集合は $\dim \le N$ です。証明は、$\mathbb{R}^N$ の細かい開被覆で「各点が高々 $N+1$ 個にしか入らない」ものを、格子の面ごとに $N+1$ 種類の互いに素な開集合の族として明示的に作ります。
- 下からの評価 $\dim I^n \ge n$ は、Brouwer の不動点定理から出る「立方体の $n$ 組の対辺をそれぞれ分ける閉集合は共通点をもつ」という定理に帰着します。したがって $\dim I^n = n$（Lebesgue の被覆定理）で、$\mathbb{R}^m$ と $\mathbb{R}^n$ は $m\ne n$ なら同相でないことの別証になります。
- Menger–Nöbeling の埋め込み定理（$\dim X\le m$ のコンパクト距離空間は $\mathbb{R}^{2m+1}$ に埋め込める）は、$C(X,\mathbb{R}^{2m+1})$ の Baire 性と、「一般の位置」にある点を使った近似で証明します。
- この記事は代数的位相幾何学の Brouwer の不動点定理を使います。学習順としては逆向きですが、その定理の証明は位相空間論の新しい結果を使っていないので、論理に循環はありません。

<Aside type="tip" title="この記事で使う事前知識">

- **コンパクト**: どんな開被覆からも有限個を選んで覆える、という性質。→ [コンパクト空間](/mathematics/topology/compactness#def-compact)
- **同相写像**: 連続な全単射で、逆写像も連続なもの。形を伸び縮みで移し合えることを表す。→ [同相写像](/mathematics/topology/continuous-maps#def-homeomorphism)
- **Lindelöf**: どんな開被覆からも可算個を選んで覆える、という性質。第二可算ならこれを満たす。→ [Lindelöf](/mathematics/topology/products-quotients-tychonoff#def-countability)
- **全不連結**: 連結な部分集合が空集合と 1 点集合しかない、という性質。→ [全不連結](/mathematics/topology/connectedness#def-totally-disconnected)
- **積位相と Tychonoff の定理**: コンパクト空間の積はコンパクトである。Cantor 集合の議論で使う。→ [積位相・商位相と Tychonoff の定理](/mathematics/topology/products-quotients-tychonoff)
- **Brouwer の不動点定理**: 閉円板から自身への連続写像は不動点をもつ。第 6 節で使う。→ [胞体ホモロジーと写像度](/mathematics/algebraic-topology/cellular-homology-degree)

</Aside>

## 1. 動機：「次元」を位相だけで測れるか

直線は 1 次元、平面は 2 次元と言いますが、これは座標の個数で測った値です。ところが $\mathbb{R}$ と $\mathbb{R}^2$ の間には、集合としては全単射が（Cantor により）、連続な全射が（Peano 曲線、すなわち正方形全体を通り尽くす連続曲線により）存在します。そのため、次元が位相的な性質であること、すなわち[同相写像](/mathematics/topology/continuous-maps#def-homeomorphism)で不変であることは、自明ではありません。$\mathbb{R}$ と $\mathbb{R}^2$ が同相でないことは [連結性](/mathematics/topology/connectedness) の「除点」の議論で示せましたが、$\mathbb{R}^2$ と $\mathbb{R}^3$ に同じ手は効きません。

次元論はこれに答えるために作られました。Lebesgue は、正方形をレンガ（細かい閉集合）で敷き詰めるとき、レンガが小さければ必ず 3 枚が 1 点で出会うこと、一方 3 枚で出会わないように敷き詰めることは線分では可能なことに注目しました。この「何枚のレンガが 1 点で出会うか」を精密にしたものが被覆次元です。もう 1 つの流れは Menger と Urysohn による帰納的な定義で、「点を囲む小さな近傍の境界は、元の空間より 1 つ次元が低い」という考えに基づきます。

この記事では、まず 2 つの次元を定義し、次元 $0$ の空間（超距離空間・Cantor 集合・$\mathbb{Q}$）を調べます。続いて $\mathbb{R}^N$ のコンパクト集合の $\dim\le N$ を示し、立方体の次元が $n$ であることを Brouwer の不動点定理から導き、最後にコンパクト距離空間を低い次元のユークリッド空間に埋め込む Menger–Nöbeling の定理を証明します。

## 2. 被覆次元の定義と基本補題

位相空間 $X$ の部分集合の族 $\mathcal{V}=\{V_j\}_{j\in J}$（添字つきの族）が**位数 $n$ 以下**であるとは、$X$ のどの点も、相異なる添字をもつ高々 $n+1$ 個の $V_j$ にしか属さないことをいいます。同じことですが、添字が相異なる $n+2$ 個の $V_j$ の共通部分は空です。開被覆 $\mathcal{V}$ が $\mathcal{U}$ の**細分**であるとは、各 $V\in\mathcal{V}$ がある $U\in\mathcal{U}$ に含まれることです。

<Definition id="def-covering-dimension" title="被覆次元">
位相空間 $X$ の**被覆次元**が $n$ 以下であるとは、$X$ の任意の有限開被覆が、位数 $n$ 以下の有限開被覆による細分をもつことをいい、$\dim X\le n$ と書きます。$\dim X\le n$ となる最小の整数 $n\ge -1$ を $\dim X$ とします（そのような $n$ がなければ $\dim X=\infty$）。$\dim X=-1$ であることと $X=\emptyset$ であることは同値です。
</Definition>

$\dim X\le 0$ は「任意の有限開被覆が、互いに交わらない開集合からなる有限細分をもつ」ことです。連結な空間では、$X$ 自身を元に含まない有限開被覆に対してこれは不可能です（空でない元を 2 個以上もつ互いに交わらない開被覆は、1 個の元と残りの合併とで $X$ を分けてしまいます）。離散空間では、有限開被覆 $\{U_1,\dots,U_k\}$ を $G_j=U_j\setminus(U_1\cup\cdots\cup U_{j-1})$（すべての部分集合が開）で細分できるので $\dim X\le0$ です。

コンパクト[距離空間](/mathematics/topology/topological-spaces#def-metric)では、被覆次元は「十分小さい開被覆」で判定できます。集合 $A$ の直径を $\operatorname{diam}A=\sup\{d(x,y):x,y\in A\}$ とします。

<Lemma id="lem-dim-epsilon" title="コンパクト距離空間の被覆次元の判定">
$(X,d)$ をコンパクト距離空間、$n\ge -1$ とします。このとき $\dim X\le n$ であることと、次の条件は同値です。

- 任意の $\varepsilon>0$ に対し、位数 $n$ 以下で、すべての元の直径が $\varepsilon$ 未満である有限開被覆が存在する。
</Lemma>

<Proof of="lem-dim-epsilon">
($\Rightarrow$) $\varepsilon>0$ とする。開球の族 $\{B(x,\varepsilon/3)\}_{x\in X}$ は $X$ の開被覆で、$X$ はコンパクトなので（<Ref to="mathematics/topology/compactness#def-compact" />）有限部分被覆 $\mathcal{U}$ がある。$\dim X\le n$ より、$\mathcal{U}$ の位数 $n$ 以下の有限開細分 $\mathcal{V}$ がとれる。$\mathcal{V}$ の各元はある球 $B(x,\varepsilon/3)$ に含まれるので、直径は $2\varepsilon/3<\varepsilon$ 以下である。

($\Leftarrow$) $\mathcal{U}$ を $X$ の有限開被覆とする。コンパクト距離空間は点列コンパクトなので（<Ref to="mathematics/real-analysis/metric-spaces#thm-compact-equivalence" />）、<Ref to="mathematics/real-analysis/metric-spaces#lem-lebesgue-number" /> のルベーグ数 $\delta>0$ がとれる。仮定を $\varepsilon=\delta$ に使うと、位数 $n$ 以下で直径が $\delta$ 未満の有限開被覆 $\mathcal{V}$ がある。直径が $\delta$ 未満の集合はある $U\in\mathcal{U}$ に含まれるので、$\mathcal{V}$ は $\mathcal{U}$ の細分である。
</Proof>

次の補題は、閉部分空間に移ると次元が上がらないことを述べます。後で円周の次元を決めるために使います。

<Lemma id="lem-dim-closed" title="閉部分空間の被覆次元">
$X$ を位相空間、$F\subseteq X$ を閉集合とすると、$\dim F\le\dim X$ です。
</Lemma>

<Proof of="lem-dim-closed">
$\dim X\le n$ とする（$\dim X=\infty$ なら示すことはない）。$\{W_1,\dots,W_k\}$ を $F$ の有限開被覆とし、$X$ の開集合 $G_j$ で $W_j=G_j\cap F$ となるものをとる。$\{G_1,\dots,G_k,\,X\setminus F\}$ は $X$ の有限開被覆なので、位数 $n$ 以下の有限開細分 $\mathcal{V}$ がある。$\mathcal{V}$ の元のうち $F$ と交わるものは、$X\setminus F$ には含まれないので、ある $G_j$ に含まれる。そこで $\{V\cap F: V\in\mathcal{V},\ V\cap F\ne\emptyset\}$ は $F$ の有限開被覆で、各元は $G_j\cap F=W_j$ に含まれ、位数は $n$ 以下である。よって $\dim F\le n$。
</Proof>

## 3. 帰納的次元と 0 次元空間

<Definition id="def-inductive-dimension" title="小さい帰納的次元・大きい帰納的次元">
位相空間 $X$ に対し、$\operatorname{ind}X$ と $\operatorname{Ind}X$ を次のように帰納的に定めます。ただし $\partial V$ は $V$ の $X$ における[境界](/mathematics/topology/topological-spaces#def-interior-closure)を部分空間として見たものです。

- $\operatorname{ind}X=-1$、$\operatorname{Ind}X=-1$ であることは、それぞれ $X=\emptyset$ と同値と定める。
- $n\ge0$ について、$\operatorname{ind}X\le n$ であるとは、任意の点 $x\in X$ と $x$ の任意の開近傍 $U$ に対し、開集合 $V$ で $x\in V\subseteq U$ かつ $\operatorname{ind}\partial V\le n-1$ となるものが存在することをいう。
- $n\ge0$ について、$\operatorname{Ind}X\le n$ であるとは、任意の閉集合 $F$ とそれを含む任意の開集合 $U$ に対し、開集合 $V$ で $F\subseteq V\subseteq U$ かつ $\operatorname{Ind}\partial V\le n-1$ となるものが存在することをいう。

$\operatorname{ind}X\le n$ となる最小の $n$ を $\operatorname{ind}X$ とします（$\operatorname{Ind}X$ も同様）。
</Definition>

$\operatorname{ind}$ は点と近傍、$\operatorname{Ind}$ は閉集合とその近傍に対する条件で、$\operatorname{Ind}$ のほうが強い条件に見えます。実際、次の命題の (4) のとおりです。

定義のイメージをつかむために線分を考えます。線分の内部の点のまわりの小さな開区間の境界は 2 点だけで、有限個の点は「次元の低い」空間です。この「境界の次元が 1 つ低い」ことが、線分は 1 次元という感覚に対応します。

次の命題の (2) は、有限開被覆から互いに交わらない開集合の細分を作る部分が少し込み入っています。方針は、開かつ閉な近傍で空間を可算個に覆い、それを 1 番目から順に取りながら、前に取った分を引いていくというものです。開かつ閉な集合を引いても開集合のままで、引いた後の破片は互いに交わりません。各破片は、含まれる $U_j$ のうち番号が最小のものに割り当てます。

<Proposition id="prop-zero-dimensional" title="0 次元空間の特徴づけ">
$X$ を位相空間とします。

1. $X\ne\emptyset$ のとき、$\operatorname{ind}X=0$ であることは、$X$ が開かつ閉な集合からなる開基をもつことと同値である。
2. $X$ が Lindelöf（<Ref to="mathematics/topology/products-quotients-tychonoff#def-countability" />）で、$\operatorname{ind}X\le0$ ならば、$\dim X\le0$ である。
3. $X$ が $T_1$ で $\operatorname{ind}X\le0$ ならば、$X$ は正則（<Ref to="mathematics/topology/separation-axioms#def-regular-normal" />）かつ全不連結（<Ref to="mathematics/topology/connectedness#def-totally-disconnected" />）である。
4. $X$ が $T_1$ 空間ならば、$\operatorname{ind}X\le\operatorname{Ind}X$ である。
</Proposition>

<Proof of="prop-zero-dimensional">
(1) $\operatorname{ind}X\le0$ の定義は、「任意の $x$ と開近傍 $U$ に対し、開集合 $V$ で $x\in V\subseteq U$ かつ $\operatorname{ind}\partial V\le-1$ すなわち $\partial V=\emptyset$ となるものがある」です。開集合 $V$ について $\partial V=\overline{V}\setminus V=\emptyset$ は $V$ が閉でもあることと同値です（<Ref to="mathematics/topology/topological-spaces#thm-closure-basic" /> の (1)(2)）。したがって条件は「開かつ閉な集合が開基をなす」ことと同値で、$X\ne\emptyset$ なら $\operatorname{ind}X=-1$ にはならないので $\operatorname{ind}X=0$ です。

(2) $\mathcal{U}=\{U_1,\dots,U_k\}$ を $X$ の有限開被覆とする。(1) により、各 $x\in X$ に対し、ある $U_j$ に含まれる開かつ閉な近傍 $V_x$ がとれる。$\{V_x\}$ は開被覆なので、$X$ が Lindelöf であることから、可算部分被覆 $V_1',V_2',\dots$ がとれる。各 $n$ に対し、$V_n'\subseteq U_j$ となる最小の $j$ を $j(n)$ とし、
$$
G_j=\bigcup\Bigl\{V_n'\setminus\bigcup_{i<n}V_i' : j(n)=j\Bigr\}\qquad(1\le j\le k)
$$
とおく。各 $V_n'$ は開かつ閉なので、$V_n'\setminus\bigcup_{i<n}V_i'$ は開集合で、これらは $n$ が異なれば交わらず、合併は $X$ である。したがって $G_1,\dots,G_k$ は互いに交わらない開集合で $X=\bigcup G_j$、また $G_j\subseteq U_j$（$j(n)=j$ なら $V_n'\subseteq U_j$）である。よって $\{G_j\}$ は位数 $0$ の有限開細分で、$\dim X\le0$。

(3) $x\in X$ と開集合 $U\ni x$ を任意にとり、(1) のように開かつ閉な $V$ で $x\in V\subseteq U$ となるものをとる。正則性：$F$ を閉集合、$x\notin F$ とする。$U=X\setminus F$ にこれを適用すると、開集合 $V$ と $X\setminus V$ は互いに交わらず、$x\in V$、$F\subseteq X\setminus V$ なので、$x$ と $F$ は開集合で分離される。全不連結性：$A\subseteq X$ が相異なる 2 点 $x,y$ を含むとする。$X$ は $T_1$ なので $U=X\setminus\{y\}$ は $x$ の開近傍で、開かつ閉な $V$ で $x\in V\subseteq U$ がとれる。$V\cap A$ と $A\setminus V$ は $A$ の開集合（$V$ も $X\setminus V$ も開）で、$x\in V\cap A$、$y\in A\setminus V$、互いに交わらず合併は $A$ である。したがって $A$ は非連結で（<Ref to="mathematics/topology/connectedness#def-separation" />）、連結部分集合は空集合と 1 点集合に限られる。

(4) $n\ge-1$ についての帰納法で、$\operatorname{Ind}X\le n$ ならば $\operatorname{ind}X\le n$ を、すべての $T_1$ 空間 $X$ に対して示す。$n=-1$ は両者が $X=\emptyset$ と同値であることから従う。$n\ge0$ とし、$n-1$ まで正しいとする。$\operatorname{Ind}X\le n$、$x\in U$（$U$ は開）とする。$X$ は $T_1$ なので $F=\{x\}$ は閉集合であり、$\operatorname{Ind}$ の定義から、開集合 $V$ で $x\in V\subseteq U$ かつ $\operatorname{Ind}\partial V\le n-1$ となるものがある。$\partial V$ は $T_1$ 空間（$T_1$ 空間の部分空間）なので、帰納法の仮定から $\operatorname{ind}\partial V\le n-1$。よって $\operatorname{ind}X\le n$。
</Proof>

ここまで、0 次元の例は離散空間だけです。次に距離に由来する例を見ます。

<Definition id="def-ultrametric" title="超距離空間">
距離空間 $(X,d)$ が**超距離空間**（非アルキメデス的距離空間）であるとは、距離が強い三角不等式
$$
d(x,z)\le\max\{d(x,y),\,d(y,z)\}\qquad(x,y,z\in X)
$$
を満たすことをいいます。
</Definition>

$p$ 進整数環 $\mathbb{Z}_p$ の距離 $d(x,y)=p^{-v_p(x-y)}$ はその例です（$v_p$ は $p$ 進付値。整数 $z$ については、$z$ が素数 $p$ で何回割り切れるかを表します。この記事では例として挙げるだけで、以後は使いません）。

<Proposition id="prop-ultrametric-zero-dim" title="超距離空間は 0 次元">
$(X,d)$ を空でない超距離空間とします。

1. 任意の開球 $B(x,r)$ は開かつ閉であり、$B(x,r)$ の任意の点 $y$ について $B(y,r)=B(x,r)$ である。
2. $\operatorname{ind}X=0$ である。
3. $X$ が可分ならば $\dim X=0$ である。
</Proposition>

<Proof of="prop-ultrametric-zero-dim">
(1) $y\in B(x,r)$ とする。$z\in B(y,r)$ なら $d(z,x)\le\max\{d(z,y),d(y,x)\}<r$ なので $B(y,r)\subseteq B(x,r)$。$x$ と $y$ の役割を入れ替えて（$d(x,y)<r$ は対称）逆の包含も得る。閉であること：$z\notin B(x,r)$ とし、$B(z,r)$ を考える。$B(z,r)\cap B(x,r)\ne\emptyset$ なら共通点 $w$ に対し、上の結果から $B(z,r)=B(w,r)=B(x,r)$ となって $z\in B(x,r)$ に反する。よって $B(z,r)$ は $B(x,r)$ の補集合に含まれ、補集合は開である。

(2) 開球は距離空間の開基であり、(1) により開かつ閉なので、<Ref to="prop-zero-dimensional" /> の (1) より $\operatorname{ind}X=0$。

(3) 可分な距離空間は第二可算（<Ref to="mathematics/topology/products-quotients-tychonoff#prop-countable-implications" /> の (2)）、第二可算なら Lindelöf（同命題の (1)）なので、(2) と <Ref to="prop-zero-dimensional" /> の (2) から $\dim X\le0$。$X\ne\emptyset$ なので $\dim X=0$。
</Proof>

もう 1 つの例は、通常の位相の $\mathbb{R}$ の部分空間です。

<Proposition id="prop-rationals-zero-dim" title="有理数と無理数は 0 次元だが離散でない">
$\mathbb{Q}$ と $P=\mathbb{R}\setminus\mathbb{Q}$（相対位相）は、どちらも $\operatorname{ind}=0$ かつ $\dim=0$ であり、どちらも離散空間ではない。
</Proposition>

<Proof of="prop-rationals-zero-dim">
**$\mathbb{Q}$：** $x\in\mathbb{Q}$ と $\mathbb{Q}$ の開集合 $U\ni x$ を任意にとる。$\mathbb{R}$ の開区間 $(a,b)$ で $x\in(a,b)$、$\mathbb{Q}\cap(a,b)\subseteq U$ となるものがある。有理数 $r>0$ を $x-r\sqrt2>a$ かつ $x+r\sqrt2<b$ となるほど小さくとり、$\alpha=x-r\sqrt2$、$\beta=x+r\sqrt2$ とおく。$\alpha$ が有理数なら $\sqrt2=(x-\alpha)/r$ も有理数となり、$\sqrt2$ の無理性（<Ref to="mathematics/foundations/proof-techniques#thm-sqrt2" />）に反するので、$\alpha,\beta$ は無理数である。$V=\mathbb{Q}\cap(\alpha,\beta)$ とおくと、$V$ は $\mathbb{Q}$ の開集合で、$\alpha,\beta\notin\mathbb{Q}$ なので $V=\mathbb{Q}\cap[\alpha,\beta]$ でもあり閉集合である。$x\in V\subseteq U$。したがって <Ref to="prop-zero-dimensional" /> の (1) より $\operatorname{ind}\mathbb{Q}=0$。

**$P$：** $x\in P$ と開集合 $U\ni x$ に対し、同様に開区間 $(a,b)$ をとり、有理数の稠密性（<Ref to="mathematics/real-analysis/completeness-and-cauchy#thm-density-rational" />）から有理数 $q,q'$ で $a<q<x<q'<b$ となるものを選ぶ。$V=P\cap(q,q')=P\cap[q,q']$ は $P$ の開かつ閉な集合で $x\in V\subseteq U$。よって $\operatorname{ind}P=0$。

**$\dim=0$：** $\mathbb{Q}$ は可算なので Lindelöf（可算個の点それぞれを含む被覆の元を 1 つずつ選べばよい）。$P$ は第二可算空間 $\mathbb{R}$ の部分空間なので第二可算（開基の各元を $P$ に制限する）、よって Lindelöf（<Ref to="mathematics/topology/products-quotients-tychonoff#prop-countable-implications" /> の (1)）。<Ref to="prop-zero-dimensional" /> の (2) から $\dim=0$。

**離散でないこと：** $x\in\mathbb{Q}$ の任意の近傍は $x+r$（$r>0$ は有理数で十分小さい）を含むので $\{x\}$ は開でない。$x\in P$ でも、$x+r$（$r$ は小さい正の有理数）は無理数なので同様。
</Proof>

## 4. Cantor 集合

$\{0,1\}$ に離散位相を入れ、可算個の積 $\Delta=\{0,1\}^{\mathbb{N}}$（積位相、<Ref to="mathematics/topology/products-quotients-tychonoff#prop-product-base" />）を考えます。$\Delta$ の元は 0 と 1 の無限列 $a=(a_1,a_2,\dots)$ です。

<Definition id="def-cantor-set" title="Cantor 集合">
空間 $\Delta=\{0,1\}^{\mathbb{N}}$ と同相な空間を **Cantor 集合**といいます。写像
$$
c:\Delta\to[0,1],\qquad c(a)=\sum_{n\ge1}\frac{2a_n}{3^n}
$$
の像 $C=c(\Delta)$ を（標準的な）**3 進 Cantor 集合**といいます。$C$ は、3 進展開の各桁が $0$ か $2$ だけの実数の全体です。区間 $[0,1]$ から中央の開 3 分の 1 を除く操作をくり返した集合として導入されることも多いのですが、この記事では上の像を定義とします。
</Definition>

<Proposition id="prop-cantor-set" title="Cantor 集合の性質">
1. $\Delta$ はコンパクトで、$c$ は $\Delta$ から $C$ への同相写像である。特に $C$ は $\mathbb{R}$ のコンパクト部分集合で、$\Delta$ は距離化可能である。
2. $\Delta$ は完全である（孤立点をもたない）。
3. $\Delta$ は $\operatorname{ind}\Delta=0$ であり、全不連結で、$\dim\Delta=0$ である。
</Proposition>

<Proof of="prop-cantor-set">
(1) $\{0,1\}$ はコンパクトなので、$\Delta$ は Tychonoff の定理（<Ref to="mathematics/topology/products-quotients-tychonoff#thm-tychonoff" />）によりコンパクトである。$a,a'\in\Delta$ が最初の $k$ 個の座標で一致するなら $|c(a)-c(a')|\le\sum_{n>k}2/3^n=3^{-k}$ であり、各 $k$ について最初の $k$ 座標を指定する集合は積位相の開集合（<Ref to="mathematics/topology/products-quotients-tychonoff#prop-product-base" />）なので、$c$ は連続である。単射性：$a\ne a'$ とし、最初に異なる座標を $k$ 番目とする（$a_k=1,a'_k=0$ としてよい）。$c(a)-c(a')\ge 2/3^k-\sum_{n>k}2/3^n=3^{-k}>0$。コンパクト空間から Hausdorff 空間 $\mathbb{R}$ への連続単射なので、$c$ は像への同相写像である（<Ref to="mathematics/topology/compactness#cor-compact-hausdorff-homeo" />）。$C$ は $\Delta$ のコンパクト連続像なので $\mathbb{R}$ のコンパクト部分集合で、距離（$\mathbb{R}$ の距離の制限）が位相を定める。

(2) $a\in\Delta$ と $a$ の任意の開近傍をとる。積位相の定義から、最初の $k$ 座標を $a$ と同じにする集合がその近傍に含まれる。$a$ の第 $k+1$ 座標だけを反転した列 $a'$ はその集合に属し、$a'\ne a$。よって $a$ は孤立点でない。

(3) 最初の $k$ 座標を指定する集合（柱集合）は、各座標の射影による $\{0,1\}$ の 1 点の逆像の有限個の共通部分なので、開かつ閉である（離散空間の 1 点集合は開かつ閉）。柱集合は $\Delta$ の開基をなす（<Ref to="mathematics/topology/products-quotients-tychonoff#prop-product-base" />）。よって <Ref to="prop-zero-dimensional" /> の (1) から $\operatorname{ind}\Delta=0$。$\Delta$ は Hausdorff（(1) より距離化可能）なので $T_1$ で、<Ref to="prop-zero-dimensional" /> の (3) から全不連結。コンパクト空間は Lindelöf なので、<Ref to="prop-zero-dimensional" /> の (2) から $\dim\Delta=0$。
</Proof>

Cantor 集合は、「完全（孤立点がない）」であることと「0 次元（至る所で切れている）」ことが両立する空間で、$\mathbb{Q}$ の「穴だらけ」とは違い、コンパクトでもあります。

## 5. $\mathbb{R}^N$ のコンパクト集合は $\dim\le N$

0 次元以外の次元を決めるために、まず上からの評価を示します。$\mathbb{R}^N$ を、各点が高々 $N+1$ 個にしか属さない小さな開集合で覆えばよいのですが、立方体の格子をそのまま使うと、頂点では $2^N$ 個の立方体が出会ってしまいます。そこで、格子の**面**（頂点・辺・正方形・…）ごとに、その面のまわりの開集合を作り、同じ次元の面に対応する開集合は互いに交わらないようにします。次元は $0,1,\dots,N$ の $N+1$ 通りしかないので、各点は高々 $N+1$ 個にしか属しません。

次の定理の証明に出る $W(F,m)$ は、$N=2$ なら次の 3 種類です。$k=0$ は格子点のまわりの小さな正方形、$k=1$ は辺のまわりの細長い領域（辺に沿う方向は端から $\beta_1$ より内側、直交する方向は $\alpha_1$ 未満）、$k=2$ は正方形の内部です。不等式 $\alpha_N<\beta_N<\dots<\alpha_0<\beta_0$ は、頂点まわりを最も大きく取り、次元の高い面ほど、低い次元の面のまわりに取った領域を避けるようにするための並びです。(i) は同じ種類同士が交わらないこと、(ii) は全体で $\mathbb{R}^N$ を覆うことを示します。

<Theorem id="thm-dim-compact-subset" title="R^N のコンパクト部分集合の被覆次元">
$N\ge1$、$K\subseteq\mathbb{R}^N$ をコンパクト集合とすると、$\dim K\le N$ です。
</Theorem>

<Proof of="thm-dim-compact-subset">
**準備。** $x\in\mathbb{R}^N$ に対し $e_i(x)=\min_{m\in\mathbb{Z}}|x_i-m|\in[0,1/2]$（第 $i$ 座標から最も近い整数までの距離）とおく。実数 $\alpha_k,\beta_k$（$0\le k\le N$）を
$$
0<\alpha_N<\beta_N<\alpha_{N-1}<\beta_{N-1}<\cdots<\alpha_0<\beta_0<\tfrac12
$$
となるようにとる。$F\subseteq\{1,\dots,N\}$（$|F|=k$）と $m\in\mathbb{Z}^N$ に対し、
$$
W(F,m)=\bigl\{x\in\mathbb{R}^N:\ i\in F\Rightarrow m_i<x_i<m_i+1\text{ かつ }e_i(x)>\beta_k;\quad i\notin F\Rightarrow |x_i-m_i|<\alpha_k\bigr\}
$$
とおく。$F$ の元の座標が「面の自由な方向」、それ以外が「整数に固定された方向」で、$W(F,m)$ は $k$ 次元の面のまわりの開集合に対応する。$W(F,m)$ は有限個の連続関数についての狭義の不等式で定まるので、$\mathbb{R}^N$ の開集合である。

**(i) 同じ $k$ の $W$ は互いに交わらない。** $|F|=|F'|=k$ で $(F,m)\ne(F',m')$ のとき $W(F,m)\cap W(F',m')=\emptyset$ を示す。$x$ が共通点にあるとする。$F\ne F'$ なら $|F|=|F'|$ から $i\in F\setminus F'$ がとれ、$e_i(x)>\beta_k$ だが、$i\notin F'$ より $e_i(x)\le|x_i-m'_i|<\alpha_k<\beta_k$ となり矛盾。$F=F'$ なら、$i\notin F$ について $|m_i-m'_i|\le|x_i-m_i|+|x_i-m'_i|<2\alpha_k<1$ なので $m_i=m'_i$。$i\in F$ については $x_i\in(m_i,m_i+1)\cap(m'_i,m'_i+1)$ から $m_i=m'_i$。よって $m=m'$ となり $(F,m)=(F',m')$、矛盾。

**(ii) $W(F,m)$ たちは $\mathbb{R}^N$ を覆う。** $x\in\mathbb{R}^N$ とする。$f(k)=\#\{i:e_i(x)>\beta_k\}$、$h(k)=\#\{i:e_i(x)\ge\alpha_k\}$ とおくと、$\alpha_k,\beta_k$ は $k$ について減少するので $f,h$ は $k$ について単調非減少で、$f\le h$ であり、$\beta_k<\alpha_{k-1}$ より $h(k-1)\le f(k)$。$h(N)\le N$ なので $k=\min\{j:h(j)\le j\}$ が存在する。$k=0$ なら $h(0)\le0$ と $f(0)\le h(0)$ から $f(0)=h(0)=0$。$k\ge1$ なら $h(k-1)\ge k$ であり、$k\le h(k-1)\le f(k)\le h(k)\le k$ から $f(k)=h(k)=k$。どちらの場合も $f(k)=h(k)=k$ で、これは「$\alpha_k\le e_i(x)\le\beta_k$ となる $i$ が存在しない」ことと「$e_i(x)>\beta_k$ となる $i$ がちょうど $k$ 個」であることを意味する。そこで $F=\{i:e_i(x)>\beta_k\}$ とおくと $|F|=k$。$i\in F$ では $e_i(x)>\beta_k>0$ より $x_i$ は整数でなく、$m_i=\lfloor x_i\rfloor$ とすれば $m_i<x_i<m_i+1$。$i\notin F$ では $e_i(x)\le\beta_k$ かつ $e_i(x)\notin[\alpha_k,\beta_k]$ なので $e_i(x)<\alpha_k$ で、$m_i$ を $x_i$ に最も近い整数とすれば $|x_i-m_i|<\alpha_k$。よって $x\in W(F,m)$。

**(iii) 直径。** $W(F,m)$ の各点で、$i\in F$ なら $x_i$ は長さ $1$ の区間に、$i\notin F$ なら長さ $2\alpha_k<1$ の区間にあるので、ユークリッド距離で $\operatorname{diam}W(F,m)\le\sqrt N$。

**結論。** $\varepsilon>0$ を任意にとり、$\delta=\varepsilon/(2\sqrt N)$ とする。族 $\{\delta W(F,m)\}$（$\delta W=\{\delta x:x\in W\}$）は (ii) により $\mathbb{R}^N$ の開被覆で、(i) より、各 $k$ ごとに同じ $k$ の集合は互いに素なので、各点は高々 $N+1$ 個の集合にしか属さず、直径は $\delta\sqrt N=\varepsilon/2<\varepsilon$ 以下である。$K$ はコンパクトなので有限個の $\delta W(F,m)$ で覆われ、それらと $K$ との共通部分は、$K$ の位数 $N$ 以下の有限開被覆で、直径は $\varepsilon$ 未満である。$K$ はコンパクト距離空間なので <Ref to="lem-dim-epsilon" /> より $\dim K\le N$。
</Proof>

## 6. 立方体の対辺の分離と $\dim I^n=n$

下からの評価には Brouwer の不動点定理を使います。ここは位相空間論の外の定理（代数的位相幾何学）の力を借りる、この記事で唯一の箇所です。

$I=[0,1]$、$I^n=[0,1]^n$ とし、$1\le i\le n$ について $F_i^0=\{x\in I^n:x_i=0\}$、$F_i^1=\{x\in I^n:x_i=1\}$ を $i$ 番目の**対辺**（$n=2$ なら対辺、一般には対面）とします。

<Theorem id="thm-cube-partitions" title="立方体の対辺の分離">
$n\ge1$ とし、各 $i=1,\dots,n$ について、$I^n$ の開集合 $A_i,B_i$ が互いに交わらず、$F_i^0\subseteq A_i$、$F_i^1\subseteq B_i$ を満たすとする。$C_i=I^n\setminus(A_i\cup B_i)$ とおくと、$C_1\cap\cdots\cap C_n\ne\emptyset$ である。
</Theorem>

$C_i$ は $F_i^0$ と $F_i^1$ を「分離する閉集合」です。$n=1$ では、「$[0,1]$ の両端を分ける閉集合は空でない」という、中間値の定理（<Ref to="mathematics/topology/connectedness#thm-ivt" />）と同じ内容になります。$n=2$ では、正方形の左右の辺を分ける閉集合と上下の辺を分ける閉集合が交わる、という主張です。

証明の発想は次のとおりです。$g_i$ は $A_i$ 上で正、$B_i$ 上で負、$C_i$ 上で $0$ になる関数です。そこで各点の $i$ 番目の座標を $g_i$ の分だけ動かす写像 $T$ を作ると、$A_i$ にある点は $B_i$ の側へ、$B_i$ にある点は $A_i$ の側へ押されます。ただし立方体の外へは出ないように切り詰めます。Brouwer の不動点定理で $T$ の不動点を取ると、押されても動かない点、すなわちすべての $g_i$ が $0$ の点が得られます。

<Proof of="thm-cube-partitions">
$I^n\setminus A_i\supseteq F_i^1\ne\emptyset$ と $I^n\setminus B_i\supseteq F_i^0\ne\emptyset$ はどちらも空でない閉集合なので、点から集合への距離（<Ref to="mathematics/topology/separation-axioms#lem-distance-to-set" />）
$$
g_i(x)=d(x,\,I^n\setminus A_i)-d(x,\,I^n\setminus B_i)
$$
が定義でき、連続である。$x\in A_i$ なら $x\notin I^n\setminus A_i$ で（閉集合の外の点の距離は正）$d(x,I^n\setminus A_i)>0$、$A_i\cap B_i=\emptyset$ より $x\in I^n\setminus B_i$ なので第 2 項は $0$ で、$g_i(x)>0$。同様に $x\in B_i$ なら $g_i(x)<0$。$x\in C_i$ なら両方の距離が $0$ で $g_i(x)=0$。

写像 $T:I^n\to I^n$ を $T(x)_i=\min\{1,\max\{0,\,x_i+g_i(x)\}\}$ で定める。連続である。立方体 $I^n$ と閉単位球 $D^n$ は同相である（$z\in[-1,1]^n\mapsto \dfrac{\|z\|_\infty}{\|z\|_2}z$ が $[-1,1]^n$ から $D^n$ への同相写像で、$z\mapsto 2x-\mathbf 1$ で $I^n$ と同一視する。逆写像は $y\mapsto\dfrac{\|y\|_2}{\|y\|_\infty}y$、どちらも原点で $0$ とおく）。よって Brouwer の不動点定理（<Ref to="mathematics/algebraic-topology/cellular-homology-degree#thm-brouwer" />）を同相で移せば、$T$ は不動点 $x$ をもつ。

各 $i$ で $g_i(x)=0$ を示す。$g_i(x)>0$ とすると $x_i+g_i(x)>x_i$ なので、$T(x)_i=\min\{1,x_i+g_i(x)\}=x_i$ となるには $x_i=1$ が必要で、$x\in F_i^1\subseteq B_i$、すなわち $g_i(x)<0$ となり矛盾する。$g_i(x)<0$ とすると、同様に $T(x)_i=\max\{0,x_i+g_i(x)\}=x_i$ の形になるには $x_i=0$ が必要で、$x\in F_i^0\subseteq A_i$、$g_i(x)>0$ となり矛盾する。よって $g_i(x)=0$ で、$x\notin A_i\cup B_i$（上の符号の議論の対偶）、すなわち $x\in C_i$。これがすべての $i$ で成り立つので $x\in\bigcap_iC_i$。
</Proof>

次の補題は、$\mathbb{R}^N$ の開集合が有限個の超平面では覆えないことを述べます。「一般の位置」にある点を選ぶときの基本です。証明では、モーメント曲線（座標が $(t,t^2,\dots,t^N)$ の形で動く曲線）が、どの超平面とも高々 $N$ 点でしか交わらないことを使います。

<Lemma id="lem-general-position" title="有限個の超平面では覆えない">
$N\ge1$、$O\subseteq\mathbb{R}^N$ を空でない開集合、$H_1,\dots,H_s$ を $\mathbb{R}^N$ のアフィン超平面とします。このとき $O\not\subseteq H_1\cup\cdots\cup H_s$ です。
</Lemma>

<Proof of="lem-general-position">
$c_0\in O$ をとり、モーメント曲線 $c(t)=c_0+(t,t^2,\dots,t^N)$ を考える。$c$ は連続で $c(0)=c_0\in O$、$O$ は開なので、ある $\eta>0$ があって $0<t<\eta$ なら $c(t)\in O$。超平面 $H_j=\{y:a\cdot y=b\}$（$a\ne0$）について、$a\cdot c(t)-b=(a\cdot c_0-b)+\sum_{i=1}^Na_it^i$ は、$a\ne0$ より少なくとも 1 つの $a_i\ne0$（$i\ge1$）をもつ、$t$ の次数 $1$ 以上 $N$ 以下の多項式なので、零点は高々 $N$ 個である。よって $c(t)\in H_1\cup\cdots\cup H_s$ となる $t\in(0,\eta)$ は高々 $sN$ 個で、$(0,\eta)$ は無限集合だから、$c(t)\notin\bigcup H_j$ となる $t\in(0,\eta)$ がとれる。この $c(t)\in O$ が求める点である。
</Proof>

<Theorem id="thm-dim-cube" title="立方体の被覆次元（Lebesgue の被覆定理）">
$n\ge1$ のとき、$\dim I^n=n$ です。
</Theorem>

下からの評価の方針は背理法です。$\dim I^n\le n-1$ なら、各点が高々 $n$ 個にしか入らない細かい被覆があります。その被覆に 1 の分割（足すと常に $1$ になる連続関数の組で、$j$ 番目が正になる範囲がちょうど $V_j$ になるもの）を付けて、被覆の各元に立方体の頂点を 1 つ割り当て、各点で関数の値を重みにして頂点を混ぜ合わせる写像 $h$ を作ります。各点で混ざる頂点は高々 $n$ 個なので、像は $n-1$ 次元以下の平らな図形に収まり、立方体の内部の一般の点 $p$ には届きません。一方、$h$ は対辺を対辺に送るように作ってあるので、前の定理から $h(x)=p$ となる点が存在してしまい、矛盾します。

<Proof of="thm-dim-cube">
上からの評価 $\dim I^n\le n$ は、$I^n$ が $\mathbb{R}^n$ のコンパクト集合であることから <Ref to="thm-dim-compact-subset" /> による。下からの評価として、$\dim I^n\le n-1$ と仮定して矛盾を導く。

$I^n$ の開球（半径 $1/3$）による開被覆から有限部分被覆をとり、仮定により位数 $n-1$ 以下の有限開細分 $\mathcal{V}=\{V_1,\dots,V_r\}$ をとる。各 $V_j$ の直径は $2/3<1$ で、各点は高々 $n$ 個の $V_j$ にしか属さない。直径 $1$ 未満の集合は $F_i^0$ と $F_i^1$ の両方とは交われない（$x\in F_i^0$、$y\in F_i^1$ なら $|x-y|\ge|x_i-y_i|=1$）。また $\operatorname{diam}I^n=\sqrt n\ge1$ なので $V_j\ne I^n$ である。

**1 の分割。** $\varphi_j(x)=d(x,I^n\setminus V_j)\Big/\sum_{k}d(x,I^n\setminus V_k)$ とおく（分母は、$x$ がある $V_k$ の点で $V_k$ が開なので正）。$\varphi_j$ は連続、$\sum_j\varphi_j=1$、$\varphi_j(x)>0\Leftrightarrow x\in V_j$。

**写像 $h$。** 各 $j,i$ について、$V_j\cap F_i^0\ne\emptyset$ なら $w(j)_i=0$、そうでなければ $w(j)_i=1$ とおき、$w(j)=(w(j)_1,\dots,w(j)_n)\in\{0,1\}^n$ とする。$h(x)=\sum_j\varphi_j(x)w(j)$ は連続な $I^n\to I^n$ である。$x\in F_i^0$ なら、$\varphi_j(x)>0$ の $j$ は $x\in V_j\cap F_i^0$ をみたし $w(j)_i=0$ なので $h(x)_i=0$。$x\in F_i^1$ なら、$\varphi_j(x)>0$ の $j$ について $V_j\cap F_i^1\ne\emptyset$ なので $V_j\cap F_i^0=\emptyset$ で $w(j)_i=1$、したがって $h(x)_i=1$。

**$h$ の像。** 各点 $x$ で $\varphi_j(x)>0$ となる $j$ は高々 $n$ 個なので、$h(x)$ は高々 $n$ 個の点 $w(j)$ の凸包に入る。$\mathbb{R}^n$ の高々 $n$ 個の点を含むアフィン部分空間の次元は $n-1$ 以下なので、その凸包はある超平面に含まれる。$\{1,\dots,r\}$ の高々 $n$ 個の部分集合は有限個なので、$h(I^n)$ は有限個の超平面の合併 $\mathcal{H}$ に含まれる。<Ref to="lem-general-position" /> を $O=(0,1)^n$ に適用して、$p\in(0,1)^n\setminus\mathcal{H}$ をとる。

**分離。** $A_i=\{x:h(x)_i<p_i\}$、$B_i=\{x:h(x)_i>p_i\}$ とおく。$h$ の連続性から開集合で、互いに交わらず、$h(x)_i=0<p_i$ （$x\in F_i^0$）、$h(x)_i=1>p_i$（$x\in F_i^1$）なので $F_i^0\subseteq A_i$、$F_i^1\subseteq B_i$。<Ref to="thm-cube-partitions" /> から、すべての $i$ で $h(x)_i=p_i$ となる $x$ がある。すると $h(x)=p$ だが、$p\notin\mathcal{H}\supseteq h(I^n)$ なので矛盾する。
</Proof>

<Corollary id="cor-dimension-invariance" title="次元の位相不変性">
$m,n\ge1$ で $\mathbb{R}^m$ と $\mathbb{R}^n$ が同相ならば $m=n$ です。
</Corollary>

<Proof of="cor-dimension-invariance">
同相写像 $\Phi:\mathbb{R}^m\to\mathbb{R}^n$ をとる。$\Phi(I^m)$ は $\mathbb{R}^n$ のコンパクト集合（<Ref to="mathematics/topology/compactness#thm-continuous-image" />）なので、<Ref to="thm-dim-compact-subset" /> から $\dim\Phi(I^m)\le n$。一方 $\Phi|_{I^m}:I^m\to\Phi(I^m)$ は同相で、被覆次元は同相写像で変わらない（有限開被覆とその細分、位数がすべて対応する）ので、<Ref to="thm-dim-cube" /> から $\dim\Phi(I^m)=\dim I^m=m$。よって $m\le n$。$\Phi^{-1}$ に同じ議論を使えば $n\le m$。
</Proof>

<Example id="ex-circle-dimension" title="円周の被覆次元は 1">
$S^1\subseteq\mathbb{R}^2$ はコンパクトで、$\dim S^1\ge1$ と $\dim S^1\le1$ は次のとおりです。下から：$\gamma(t)=(\cos t,\sin t)$（$0\le t\le1$）は $[0,1]$ から $S^1$ への連続単射で、$[0,1]$ はコンパクトなので像 $\gamma([0,1])$（コンパクト、したがって閉）への同相写像です。よって <Ref to="lem-dim-closed" /> と <Ref to="thm-dim-cube" />（$n=1$）から $\dim S^1\ge\dim\gamma([0,1])=1$。上から：$k\ge4$ に対し、角度が $2\pi j/k$ の点を中心とする半幅 $3\pi/(2k)$ の開円弧 $A_j$（$j=1,\dots,k$）は $S^1$ を覆い、隣り合う 2 つしか交わらないので、位数 $1$ 以下です。$k$ を大きくすれば直径はいくらでも小さくなるので、<Ref to="lem-dim-epsilon" /> より $\dim S^1\le1$。$\mathbb{R}^2$ のコンパクト集合として得られる一般の評価 $\dim S^1\le2$ より、ずっとよい値です。
</Example>

<Remark id="rem-sperner">
Brouwer の不動点定理は、位相空間論の側から見れば道具としてかなり重いものです。Sperner の補題（立方体や単体の三角形分割での頂点の色分けの組合せ論）を使えば、$\dim I^n\ge n$ を代数的位相幾何学なしで、自己完結に証明することもできます。この記事では分量のため、既存の Brouwer の定理を使う道を選びました。
</Remark>

## 7. Menger–Nöbeling の埋め込み定理

最後に、$\dim X\le m$ のコンパクト距離空間は $\mathbb{R}^{2m+1}$ に埋め込めることを示します。たとえば $\dim=0$ のコンパクト距離空間（Cantor 集合など）は $\mathbb{R}$ の部分空間として実現でき、$\dim\le1$ のコンパクト距離空間は $\mathbb{R}^3$ に埋め込めます。

証明は、$X$ から $\mathbb{R}^N$（$N=2m+1$）への連続写像の空間 $C(X,\mathbb{R}^N)$ に一様ノルムの距離を入れ、「ほとんどすべての写像が単射」を Baire のカテゴリー定理で示すというものです。写像が $\varepsilon$-単射であるとは、$f(x)=f(x')$ ならば $d(x,x')<\varepsilon$ となることです。

証明の (ii) には、アフィン独立という言葉が出てきます。点 $a_1,\dots,a_r$ の**アフィン包**とは、係数の和が $1$ の一次結合 $\sum\lambda_sa_s$ の全体（2 点なら通る直線、3 点なら通る平面）です。また、$\sum\lambda_sa_s=0$ かつ $\sum\lambda_s=0$ をみたす $\lambda$ が自明なもの（すべて $0$）しかないとき、点は**アフィン独立**であるといいます（平面なら 3 点が同一直線上にない、空間なら 4 点が同一平面上にない、ということです）。(ii) では、近づけたい写像 $f$ の近くに、このように「悪い偶然」を避けた点 $a_j$ を選んで、2 点が同じ像をもつことを背理法で排除します。

<Theorem id="thm-menger-nobeling" title="Menger–Nöbeling の埋め込み定理">
$X$ を空でないコンパクト距離空間、$m\ge0$ を整数とし、$\dim X\le m$ とします。このとき $X$ から $\mathbb{R}^{2m+1}$ への埋め込み（同相写像として像への）が存在します。
</Theorem>

<Proof of="thm-menger-nobeling">
$N=2m+1$、$M=C(X,\mathbb{R}^N)$ とし、$\|f-g\|=\max_{x\in X}|f(x)-g(x)|$（$|\cdot|$ はユークリッドノルム）で距離を入れる。最大値の存在は $X$ がコンパクトだから。各座標関数は $C(X)$ の元で、$C(X)$ は完備（<Ref to="mathematics/real-analysis/arzela-ascoli-stone-weierstrass#lem-ck-complete" />）なので、その $N$ 個の積 $M$ も、コーシー列が各座標で収束することから完備距離空間である。$\varepsilon>0$ に対し $E_\varepsilon=\{f\in M:f\text{ は }\varepsilon\text{-単射}\}$ とおく。

**(i) $E_\varepsilon$ は開集合である。** $f\in E_\varepsilon$ とし、$Z=\{(x,x')\in X\times X:d(x,x')\ge\varepsilon\}$ を考える。$Z$ はコンパクト空間 $X\times X$（Tychonoff の定理、<Ref to="mathematics/topology/products-quotients-tychonoff#thm-tychonoff" />）の閉部分集合なので（<Ref to="mathematics/topology/compactness#thm-closed-in-compact" />）コンパクトである。$Z=\emptyset$ なら $E_\varepsilon=M$ で示すことはない。そうでなければ、$Z$ 上の連続関数 $(x,x')\mapsto|f(x)-f(x')|$ は、$f$ が $\varepsilon$-単射なので $Z$ 上で正であり、コンパクト集合上で最小値 $2\eta>0$ をもつ（<Ref to="mathematics/topology/compactness#thm-continuous-image" /> と <Ref to="mathematics/topology/compactness#thm-heine-borel" />）。$\|g-f\|<\eta$ なら、$(x,x')\in Z$ で $|g(x)-g(x')|\ge|f(x)-f(x')|-2\|g-f\|>2\eta-2\eta=0$。よって $g(x)=g(x')$ なら $(x,x')\notin Z$、すなわち $d(x,x')<\varepsilon$ で、$g\in E_\varepsilon$。

**(ii) $E_\varepsilon$ は稠密である。** $f\in M$ と $\delta>0$ を任意にとり、$\|g-f\|<\delta$ をみたす $g\in E_\varepsilon$ を作る。$f$ は一様連続（コンパクト距離空間上の連続写像、<Ref to="mathematics/real-analysis/arzela-ascoli-stone-weierstrass#lem-uniform-continuity-compact" />）なので、$\varepsilon'\le\varepsilon$ を、$d(x,x')<\varepsilon'$ ならば $|f(x)-f(x')|<\delta/2$ となるようにとる。<Ref to="lem-dim-epsilon" /> により、位数 $m$ 以下で、直径が $\varepsilon'$ 未満の有限開被覆 $\{U_1,\dots,U_k\}$（空でないとしてよい）がある。各 $j$ に点 $x_j\in U_j$ をとる。

次に点 $a_1,\dots,a_k\in\mathbb{R}^N$ を、$|a_j-f(x_j)|<\delta/2$ で、かつ次の条件 (G) を満たすように、$j=1,2,\dots$ の順に選ぶ。(G) は、$s<j$ の高々 $N$ 個の添字の集合 $S\subseteq\{1,\dots,j-1\}$ ($|S|\le N$) について $a_j$ が $\{a_s:s\in S\}$ のアフィン包に属さないことである。高々 $N$ 個の点のアフィン包は次元 $N-1$ 以下なので、ある超平面に含まれる。そのような $S$ は有限個なので、<Ref to="lem-general-position" /> を開球 $O=B(f(x_j),\delta/2)$ に適用して、(G) を満たす $a_j\in O$ がとれる。

こうして選んだ点は、**どの高々 $N+1$ 個の添字についてもアフィン独立**である。実際、添字の集合 $T$（$|T|\le N+1$）で、$\sum_{s\in T}\lambda_sa_s=0$、$\sum_s\lambda_s=0$ かつ $\lambda$ が $0$ でない関係があったとし、$T$ を最小にとる。すると全ての $\lambda_s\ne0$ であり、$j=\max T$ に対し $a_j=-\sum_{s\in T\setminus\{j\}}(\lambda_s/\lambda_j)a_s$（係数の和は $1$）なので $a_j$ は $T\setminus\{j\}$（高々 $N$ 個の添字）のアフィン包に入り、(G) に反する。

1 の分割 $\varphi_j(x)=d(x,X\setminus U_j)\big/\sum_kd(x,X\setminus U_k)$（ある $U_j=X$ のときは、その $j$ について $\varphi_j=1$、他は $0$ とする）をとる。分母は、各 $x$ がある開集合 $U_k$ に属するので正であり、$\varphi_j$ は連続、$\sum_j\varphi_j=1$、$\varphi_j(x)>0\Rightarrow x\in U_j$ である。そこで$g(x)=\sum_j\varphi_j(x)a_j$ とおく。$g\in M$ は連続である。

$\|g-f\|<\delta$：$\varphi_j(x)>0$ なら $x,x_j\in U_j$ で $d(x,x_j)<\varepsilon'$ なので $|f(x_j)-f(x)|<\delta/2$、よって $|g(x)-f(x)|\le\sum_j\varphi_j(x)\bigl(|a_j-f(x_j)|+|f(x_j)-f(x)|\bigr)<\delta$。最大値の存在から $\|g-f\|<\delta$。

$g\in E_\varepsilon$：$g(x)=g(x')$ かつ $d(x,x')\ge\varepsilon$ と仮定する。$J=\{j:\varphi_j(x)>0\}$、$J'=\{j:\varphi_j(x')>0\}$ とおくと、$|J|,|J'|\le m+1$。$j\in J\cap J'$ なら $x,x'\in U_j$ で $d(x,x')<\varepsilon'\le\varepsilon$ となり矛盾するので $J\cap J'=\emptyset$。このとき $\sum_{j\in J}\varphi_j(x)a_j-\sum_{j\in J'}\varphi_j(x')a_j=0$ で、係数の和は $1-1=0$、係数は $J\cup J'$ の上で $0$ でない（$\varphi_j(x)>0$、$\varphi_j(x')>0$）。$|J\cup J'|\le2m+2=N+1$ なので、アフィン独立性に反する。

**(iii) Baire。** $E_{1/n}$（$n=1,2,\dots$）は $M$ の稠密な開集合なので、<Ref to="mathematics/real-analysis/metric-spaces#thm-baire" /> により $\bigcap_nE_{1/n}$ は空でない。$f$ をその元とすると、すべての $n$ で $f(x)=f(x')\Rightarrow d(x,x')<1/n$ なので $f$ は単射である。$X$ はコンパクト、$\mathbb{R}^N$ は Hausdorff なので、<Ref to="mathematics/topology/compactness#cor-compact-hausdorff-homeo" /> により $f$ は像への同相写像、すなわち埋め込みである。
</Proof>

<Remark id="rem-dimension-theory-literature">
被覆次元と帰納的次元は、可分な距離空間では一致します（$\operatorname{ind}X=\operatorname{Ind}X=\dim X$。Hurewicz–Wallman『Dimension Theory』）。証明には和定理・分解定理が要り、それだけで本 1 冊分の内容になるので、この記事では扱いません。また、Menger–Nöbeling の定理はコンパクトでない可分距離空間にも拡張され（$n$ 次元の可分距離空間はすべて、Nöbeling 空間とよばれる $\mathbb{R}^{2n+1}$ の部分空間に埋め込める）、$2n+1$ はこの形の定理では改善できませんが、証明はこの記事のものより長くなります（Engelking『Theory of Dimensions, Finite and Infinite』）。これらの主張は、この記事の他の定理の証明のどこにも使っていません。
</Remark>

## 8. 演習

<Exercise id="exr-ultrametric-balls" difficulty="易">
超距離空間 $(X,d)$ で、相異なる 2 つの開球 $B(x,r)$、$B(y,s)$ は、互いに交わらないか、一方が他方に含まれることを示してください。
<Solution>
$B(x,r)\cap B(y,s)$ に点 $w$ があるとする。<Ref to="prop-ultrametric-zero-dim" /> の (1) の証明のとおり、$B(x,r)=B(w,r)$、$B(y,s)=B(w,s)$ である。$r\le s$ なら $B(w,r)\subseteq B(w,s)$、$s\le r$ なら逆の包含なので、一方が他方に含まれる。交わりがなければ互いに交わらない。
</Solution>
</Exercise>

<Exercise id="exr-convergent-sequence" difficulty="標準">
$K=\{0\}\cup\{1/n:n\ge1\}\subseteq\mathbb{R}$ について、$\operatorname{ind}K=0$ かつ $\dim K=0$ を示してください。$K$ は離散空間ですか。
<Solution>
$1/n$ は $K$ の孤立点（$1/n$ の近くに $K$ の他の点はない）なので、$\{1/n\}$ は開かつ閉。$0$ のまわりには、$p\ge1$ に対し $t_p=1/(p+1/2)$ とおいて $V_p=K\cap(-\infty,t_p)$ をとる。$V_p=\{0\}\cup\{1/n:n\ge p+1\}$ で、$t_p\notin K$ なので $V_p=K\cap(-\infty,t_p]$ でもあり、開かつ閉である。$0$ の任意の近傍は、$p$ を大きくとれば $V_p$ を含む。$\{1/n\}$ と $V_p$ は開かつ閉な開基をなすので、<Ref to="prop-zero-dimensional" /> の (1) より $\operatorname{ind}K=0$。$K$ はコンパクト（<Ref to="mathematics/topology/compactness#thm-heine-borel" />）で Lindelöf なので $\dim K=0$。$0$ は孤立点でない（どの近傍も $1/n$ を含む）ので、離散空間ではない。
</Solution>
</Exercise>

<Exercise id="exr-cantor-embedding" difficulty="標準">
Menger–Nöbeling の定理（<Ref to="thm-menger-nobeling" />）で $m=0$ とすると何が言えますか。コンパクトで $\dim=0$ な距離空間の例を 1 つ挙げ、その結論を確かめてください。
<Solution>
$\dim X=0$ のコンパクト距離空間は $\mathbb{R}^{1}$ に埋め込める。Cantor 集合 $\Delta$ は <Ref to="prop-cantor-set" /> で $\dim\Delta=0$ とコンパクト距離化可能性を示し、実際 $c:\Delta\to C\subseteq[0,1]$ が $\mathbb{R}$ への埋め込みを与える。確かめるべきことは、$c$ が連続な単射であることと、コンパクト空間から Hausdorff 空間への連続単射が埋め込みになることで、<Ref to="prop-cantor-set" /> の (1) の証明のとおりである。
</Solution>
</Exercise>

<Exercise id="exr-lebesgue-n1" difficulty="標準">
$n=1$ の場合の $\dim[0,1]\ge1$ を、Brouwer の不動点定理を使わずに、連結性から直接示してください。
<Solution>
$\dim[0,1]\le0$ とすると、開球（半径 $1/3$）による有限開被覆には、位数 $0$ の有限開細分 $\mathcal{V}$、すなわち互いに交わらない開集合の有限族で $[0,1]$ を覆うものがある。空でない元だけを残してよい。各元の直径は $2/3<1$ なので、$\mathcal{V}$ は 2 個以上の元をもつ（1 個なら $[0,1]$ 自身が元で、直径 $1$）。すると 1 つの元 $V$ と、残りの元の合併 $V'$ は、互いに交わらない空でない開集合で $[0,1]=V\cup V'$ となり、$[0,1]$ は連結でない。これは $[0,1]$ が区間として連結であること（<Ref to="mathematics/topology/connectedness#thm-interval" />）に反する。よって $\dim[0,1]\ge1$。
</Solution>
</Exercise>

## 参考文献

- R. Engelking, *Theory of Dimensions, Finite and Infinite*, Heldermann, 1995 — 第 1 章（被覆次元と帰納的次元の関係）。
- W. Hurewicz, H. Wallman, *Dimension Theory*, Princeton University Press, 1941 — 第 IV 章（Euclid 空間の次元）・第 V 章（被覆定理と埋め込み定理）。
- J. R. Munkres, *Topology* (2nd ed.), Prentice Hall, 2000 — §50（次元論の入門と、$\mathbb{R}^N$ への埋め込み）。
- R. Engelking, *General Topology*, Heldermann, 1989 — 第 7 章（次元論）。