# 胞体ホモロジーと写像度：CW 複体で計算し、Brouwer の不動点定理と Lefschetz の不動点定理を証明する > CW 複体の胞体鎖複体が特異ホモロジーを計算することを証明し、Euler 標数をトレース公式の特別な場合として導く。球面の写像度、局所写像度の和公式、Brouwer・毛玉の定理、単体複体上の Lefschetz の不動点定理まで扱う。 > https://rikai.mugen-giken.com/mathematics/algebraic-topology/cellular-homology-degree ## 0. この記事の要点 立方体の頂点は 8 個、辺は 12 本、面は 6 枚で、8−12+6=2 になります。ドーナツ形の面に網目を描いて同じように数えると 0 になります。この記事は、図形を点・線・面などの部品に分けて個数を数えるだけで、図形の穴の様子が分かる、という話です。読み終えると、球面や射影空間の穴を部品の個数から計算でき、円板から円板への連続な写像には必ず動かない点があることまで示せるようになります。 - **CW 複体**は、点・線分・円板・……を次元の低い順に貼り合わせてできる空間です。多くの空間が、少数の胞体で表せます。 - CW 複体の特異ホモロジーは、各次元の胞体を基底とする**胞体鎖複体**のホモロジーとして計算できます（）。球面や複素射影空間が一瞬で片付きます。 - 胞体の個数の交代和は、ホモロジーのランクの交代和に等しく、空間にだけ依存します。これが **Euler 標数**です。証明は、鎖複体のトレース公式（Hopf のトレース公式、）の特別な場合です。 - 球面の自己写像 $f:S^n\to S^n$ には、$H_n$ への作用として整数 $\deg f$ が付きます（**写像度**。球面が球面に何重に巻き付くかを表す整数）。ホモトピー不変で、反射は $-1$、対心写像は $(-1)^{n+1}$。逆像の点の局所写像度の和が全体の写像度になります（）。 - 応用として **Brouwer の不動点定理**（）、**毛玉の定理**（）、そして単体複体上の **Lefschetz の不動点定理**（）を証明します。 ## 1. 動機：ホモロジーを「計算できる」道具に [特異ホモロジー](/mathematics/algebraic-topology/singular-homology)は強力ですが、定義から直接計算することはほぼ不可能です。特異単体が非可算個あるからです。前の記事では、切除と Mayer–Vietoris で球面を計算しました。しかしトーラスや射影空間のたびにこのような議論を繰り返すのは大変です。 そこで、空間を次元の低い順に貼り合わせて作る、という見方を採用します。円板 $D^n$ を境界 $S^{n-1}$ に沿って貼り付けると、そのたびにホモロジーは「$n$ 次元の穴が 1 個増えるか、$(n-1)$ 次元の穴が 1 個消える」というように変わります。この変化をぜんぶ記録した有限生成の鎖複体が胞体鎖複体で、各次元の胞体の個数だけの生成元しか持ちません。 写像度は同じ「貼り合わせ」の言葉の続きで、貼り付ける境界の写像 $S^{n-1}\to X^{n-1}$ が低次元でどれだけ巻き付くかを表す整数です。巻き付きを整数で数える技術は、後で Brouwer の不動点定理や、方程式の解の個数の議論（解を符号つきで数える）で効きます。 ## 2. CW 複体 $D^n$ を閉単位円板、$S^{n-1}=\partial D^n$ とし、$D^0$ は一点、$S^{-1}=\varnothing$ とします。 空間 $X$ が**有限 CW 複体**であるとは、部分空間の列 $\varnothing=X^{-1}\subseteq X^0\subseteq X^1\subseteq\cdots\subseteq X^N=X$ で、各 $n$ について $X^n$ が $X^{n-1}$ から次のように得られるものが存在することをいう: 有限個の連続写像 $\varphi_\alpha:S^{n-1}\to X^{n-1}$ ($\alpha\in A_n$) を取り、 $$ X^n=\Bigl(X^{n-1}\sqcup\bigsqcup_{\alpha\in A_n}D^n_\alpha\Bigr)\Big/\bigl(x\sim\varphi_\alpha(x)\ (x\in S^{n-1}_\alpha)\bigr) $$ （[商位相](/mathematics/topology/products-quotients-tychonoff#def-quotient)）。$X^n$ を **$n$ 骨格**、$D^n_\alpha$ から来る部分を **$n$ 胞体**、$\Phi_\alpha:D^n_\alpha\to X^n$ を**特性写像**、$\varphi_\alpha$ を**接着写像**という。$n$ 胞体の個数を $c_n=|A_n|$ とする。
D² X¹ φ
$X^{n-1}$ は $X^n$ の閉集合で、$\Phi_\alpha$ は開円板 $\operatorname{int}D^n_\alpha$ を $X^n\setminus X^{n-1}$ の開集合へ同相に写し、$X^n\setminus X^{n-1}$ はこれらの互いに素な合併です（商位相の定義から従う）。 (a) $S^n$ ($n\ge1$): 0 胞体 1 個と $n$ 胞体 1 個（接着写像は一点への定値写像）。$c_0=c_n=1$。 (b) 複素射影空間 $\mathbb{C}P^n$: 各偶数次元 $0,2,\dots,2n$ に胞体 1 個（$\mathbb{C}P^n=\mathbb{C}P^{n-1}\cup_{\varphi}D^{2n}$, $\varphi:S^{2n-1}\to\mathbb{C}P^{n-1}$ は $S^{2n-1}\subset\mathbb{C}^n$ から商への射影）。 (c) 実射影空間 $\mathbb{R}P^n=\mathbb{R}P^{n-1}\cup_{\varphi}D^n$（$\varphi:S^{n-1}\to\mathbb{R}P^{n-1}$ は 2 重被覆）。各次元 $0,\dots,n$ に胞体 1 個。 (d) 種数 $g\ge1$ の向き付け可能閉曲面 $\Sigma_g$: $4g$ 角形の辺を $a_1b_1a_1^{-1}b_1^{-1}\cdots a_gb_ga_g^{-1}b_g^{-1}$ の順に貼り合わせたもの。頂点 1 個、辺 $2g$ 本、面 1 個。 ## 3. 胞体ホモロジー $X$ を有限 CW 複体とします。以下 $H_*$ は特異ホモロジーです。 次の補題が言っているのは、$(n-1)$ 骨格に $n$ 胞体を貼り付けて $n$ 骨格を作ったとき、その差（相対ホモロジー）は貼り付けた円板の個数だけの $\mathbb{Z}$ で表される、ということです。証明は、円板の中心の点を除くと境界の円周に縮められること、そして切除で円板の内側だけを取り出せることを使って、相対ホモロジーを円板そのものの相対ホモロジーに移します。 各 $n\ge0$ について $$ H_k(X^n,X^{n-1})\cong\begin{cases}\mathbb{Z}^{c_n}&(k=n)\\0&(k\ne n)\end{cases} $$ であり、$k=n$ の同型は $\bigoplus_\alpha H_n(D^n_\alpha,S^{n-1}_\alpha)\xrightarrow{(\Phi_\alpha)_*}H_n(X^n,X^{n-1})$ で与えられる。 $n=0$ は $H_k(X^0)$ が点の直和であることから明らか。$n\ge1$ とします。$p_\alpha\in D^n_\alpha$ を中心として $Y=X^n\setminus\{\Phi_\alpha(p_\alpha)\}_\alpha$、$\Phi=\bigsqcup\Phi_\alpha:(\bigsqcup D_\alpha,\bigsqcup S_\alpha)\to(X^n,X^{n-1})$ とします。$Y$ は開集合で、$D^n\setminus\{p\}$ が $S^{n-1}$ に変位レトラクトする（半径方向）ことを貼り合わせて、$Y$ は $X^{n-1}$ に[変位レトラクト](/mathematics/algebraic-topology/fundamental-group-coverings#def-deformation-retract)します。次の可換図式を考えます: $$ \begin{matrix} H_k(\bigsqcup D,\bigsqcup S)&\xrightarrow{(1)}&H_k(\bigsqcup D,\bigsqcup(D\setminus p))&\xleftarrow{(2)}&H_k(\bigsqcup\operatorname{int}D,\bigsqcup(\operatorname{int}D\setminus p))\\ \downarrow\Phi_*&&\downarrow&&\downarrow\Phi_*\\ H_k(X^n,X^{n-1})&\xrightarrow{(3)}&H_k(X^n,Y)&\xleftarrow{(4)}&H_k(X^n\setminus X^{n-1},Y\setminus X^{n-1}) \end{matrix} $$ (1) と (3) は、対の長完全列（）の間の射に五項補題 を適用して同型（$H_*(S)\to H_*(D\setminus p)$, $H_*(X^{n-1})\to H_*(Y)$ が により同型）。(2) は $\bigsqcup S$ の切除、(4) は $X^{n-1}$ の切除（どちらも切除する閉集合が相手の開集合に含まれる: ）で同型。右の縦の写像は $\Phi$ が開円板の対から $(X^n\setminus X^{n-1},Y\setminus X^{n-1})$ への同相写像の合併だから同型。したがって左の縦の写像 $\Phi_*$ も同型です。最後に $H_k(\bigsqcup D_\alpha,\bigsqcup S_\alpha)=\bigoplus_\alpha H_k(D^n,S^{n-1})$ と から結論を得ます。 $X$ を $N$ 次元の有限 CW 複体とする。 1. $k>n$ なら $H_k(X^n)=0$。 2. $k\ne n-1,n$ なら包含 $H_k(X^{n-1})\to H_k(X^n)$ は同型。特に $H_k(X^{n})\to H_k(X)$ は $k $(X^n,X^{n-1})$ の長完全列 $$ H_{k+1}(X^n,X^{n-1})\to H_k(X^{n-1})\to H_k(X^n)\to H_k(X^n,X^{n-1}) $$ と を使う。(2): $k\ne n,\ k+1\ne n$ なら両端が $0$ なので中央の写像は同型。(1): $n$ に関する帰納法。$H_k(X^{-1})=0$ で、$k>n$ のとき $H_k(X^{n-1})=0$ かつ $H_k(X^n,X^{n-1})=0$ だから $H_k(X^n)=0$。後半: $H_k(X^m)\to H_k(X^{m+1})$ は $k\ne m,m+1$ で同型だから、$m\ge k+1$ で同型が続き $H_k(X^{k+1})\cong H_k(X^N)=H_k(X)$。 $C^{\mathrm{cell}}_n(X)=H_n(X^n,X^{n-1})\cong\mathbb{Z}^{c_n}$ とし、$d_n:C^{\mathrm{cell}}_n\to C^{\mathrm{cell}}_{n-1}$ を合成 $$ H_n(X^n,X^{n-1})\xrightarrow{\ \partial\ }H_{n-1}(X^{n-1})\xrightarrow{\ j\ }H_{n-1}(X^{n-1},X^{n-2}) $$ で定める。$d_{n-1}d_n=j\,\partial\,j\,\partial=0$（$\partial j=0$: 長完全列の隣り合う 2 つの写像の合成）なので、$(C^{\mathrm{cell}}_*,d)$ は鎖複体になる。 次の定理の証明は、長完全列の中で隣り合う群が $0$ になる箇所を一つずつ拾っていく作業です。上の二つの補題から、$H_n(X)$ は $H_n(X^{n+1})$ に等しく、さらに $n$ 骨格の側で $\ker d_n$ と $\operatorname{im}d_{n+1}$ の商として書けることが分かります。 有限 CW 複体 $X$ に対し $H_n(X)\cong H_n(C^{\mathrm{cell}}_*(X),d)$ である。 より $H_n(X)\cong H_n(X^{n+1})$。長完全列 $$ H_{n+1}(X^{n+1},X^n)\xrightarrow{\partial_{n+1}}H_n(X^n)\to H_n(X^{n+1})\to H_n(X^{n+1},X^n)=0 $$ より $H_n(X^{n+1})\cong H_n(X^n)/\operatorname{im}\partial_{n+1}$。次に、$(X^n,X^{n-1})$ の長完全列で $H_n(X^{n-1})=0$（ 1）だから $j_n:H_n(X^n)\to H_n(X^n,X^{n-1})=C_n^{\mathrm{cell}}$ は単射で、その像は $\ker\partial_n$ です。また $(X^{n-1},X^{n-2})$ の長完全列で $H_{n-1}(X^{n-2})=0$ だから $j_{n-1}:H_{n-1}(X^{n-1})\to C^{\mathrm{cell}}_{n-1}$ も単射、よって $\ker d_n=\ker(j_{n-1}\partial_n)=\ker\partial_n=\operatorname{im}j_n$。したがって $j_n$ は $H_n(X^n)\cong\ker d_n$ を与えます。この同型で $\operatorname{im}\partial_{n+1}$ は $j_n\partial_{n+1}=d_{n+1}$ の像 $\operatorname{im}d_{n+1}$ に移るので（$d_{n+1}=j_n\partial_{n+1}$）、 $$ H_n(X)\cong H_n(X^n)/\operatorname{im}\partial_{n+1}\cong\ker d_n/\operatorname{im}d_{n+1}. $$ (a) $S^n$ ($n\ge2$): 胞体は次元 $0,n$ だけなので、$d=0$。$H_0=H_n=\mathbb{Z}$、他は $0$（ と一致）。 (b) $\mathbb{C}P^n$: 胞体は偶数次元だけなので、$d_k:C_k\to C_{k-1}$ の一方は必ず $0$ 群で、すべて $d=0$。したがって $H_k(\mathbb{C}P^n)=\mathbb{Z}$ ($k=0,2,\dots,2n$)、他は $0$。 $\mathbb{R}P^2=\mathbb{R}P^1\cup_\varphi D^2$、$\mathbb{R}P^1\cong S^1$ で $\varphi:S^1\to S^1$ は $z\mapsto z^2$。胞体は各次元に 1 個: $C_2=C_1=C_0=\mathbb{Z}$。$d_1=0$（$X^1=S^1$ の 0 胞体は 1 個で、$H_1(X^1,X^0)$ の生成元の境界は始点と終点の差 $0$）。$d_2=j\,\partial$ は次のように計算できます。特性写像 $\Phi:(D^2,S^1)\to(X^2,X^1)$ に対し $\partial\Phi_*=\varphi_*\partial$ で、$\partial:H_2(D^2,S^1)\to H_1(S^1)$ は同型、$j:H_1(X^1)\to H_1(X^1,X^0)$ も同型（）。よって $d_2$ は $\varphi_*:H_1(S^1)\to H_1(S^1)$ の倍率、つまり $\varphi$ の写像度（）$\pm2$ です。よって $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}/2$, $H_2=\ker(\pm2)=0$。2 次元の穴はなく、1 次元の穴は位数 2 の torsion として現れます。 ## 4. トレース公式と Euler 標数 鎖複体 $C_*$ が**有限型**であるとは、各 $C_n$ が有限生成自由アーベル群で、有限個を除き $C_n=0$ のことです。有限型の鎖複体のホモロジーは有限生成アーベル群です（$C_n$ の部分商）。有限生成アーベル群 $G$ に対し $G\otimes\mathbb{Q}$ は有限次元 $\mathbb{Q}$ ベクトル空間で、$\operatorname{rank}G=\dim_\mathbb{Q}G\otimes\mathbb{Q}$ とします。鎖準同型 $\varphi:C_*\to C_*$ は $\mathbb{Q}$ 上の線形写像を誘導し、そのトレース $\operatorname{tr}(\varphi|C_n)$ が定まります。$H_n(C)\otimes\mathbb{Q}$ 上の作用のトレースを $\operatorname{tr}(\varphi_*|H_n)$ と書きます（$\mathbb{Q}$ との積は完全関手なので、$H_n(C\otimes\mathbb{Q})=H_n(C)\otimes\mathbb{Q}$）。 この節の目標は、胞体の個数の交代和が空間だけで決まることを示すことです。そのために、鎖複体の各次元のトレースの交代和が、ホモロジー上のトレースの交代和に等しいという一般の公式を先に示します。方針は、各 $C_n$ を「境界を取ると $0$ になる部分」と、その[商空間](/mathematics/linear-algebra/dual-and-quotient-spaces#def-quotient)に分け、トレースが部分と商で足し算になることを使って、境界の部分の寄与が隣り合う次元で打ち消し合うのを見ることです。 有限型の鎖複体 $C_*$ と鎖準同型 $\varphi:C_*\to C_*$ に対し $$ \sum_n(-1)^n\operatorname{tr}(\varphi|C_n)=\sum_n(-1)^n\operatorname{tr}(\varphi_*|H_n(C)). $$ $\mathbb{Q}$ 係数の有限次元ベクトル空間の鎖複体として考え、$Z_n=\ker\partial_n$, $B_n=\operatorname{im}\partial_{n+1}$ とおきます。$\varphi$ は $Z_n,B_n$ を保ちます。線形代数のトレースの加法性（部分空間と商空間のトレースの和が全体のトレース）を使います。$\partial$ は $C_n/Z_n$ から $B_{n-1}$ への、$\varphi$ と可換な同型なので $\operatorname{tr}(\varphi|C_n/Z_n)=\operatorname{tr}(\varphi|B_{n-1})$。よって $$ \operatorname{tr}(\varphi|C_n)=\operatorname{tr}(\varphi|Z_n)+\operatorname{tr}(\varphi|B_{n-1})=\operatorname{tr}(\varphi|B_n)+\operatorname{tr}(\varphi_*|H_n)+\operatorname{tr}(\varphi|B_{n-1}). $$ 交代和を取ると $B$ の項が望遠鏡的に消えて（$\sum(-1)^n(\operatorname{tr}B_n+\operatorname{tr}B_{n-1})=0$）主張を得ます。 有限 CW 複体 $X$ の **Euler 標数**を $\chi(X)=\sum_n(-1)^nc_n$ と定める。 $\chi(X)=\sum_n(-1)^n\operatorname{rank}H_n(X)$。特に $\chi(X)$ は胞体分割の取り方によらず、ホモトピー同値で不変である。 を胞体鎖複体と $\varphi=\mathrm{id}$ に適用すると、トレースは階数になり、左辺は $\sum(-1)^nc_n$、右辺は により $\sum(-1)^n\operatorname{rank}H_n(X)$。ホモトピー不変性は から。 $\chi(S^n)=1+(-1)^n$。$\chi(\mathbb{C}P^n)=n+1$。$\chi(\Sigma_g)=1-2g+1=2-2g$（ (d)）。特にトーラス $\Sigma_1$ では $0$、$S^2=\Sigma_0$ では $2$。凸多面体の表面は $S^2$ と同相で、頂点・辺・面で胞体分割できるので、頂点数 $V$、辺数 $E$、面数 $F$ に対し $V-E+F=2$ が従います（Euler の多面体公式）。 ## 5. 写像度 $n\ge1$ とします。 から $H_n(S^n)\cong\mathbb{Z}$ です。 連続写像 $f:S^n\to S^n$ に対し、$f_*:H_n(S^n)\to H_n(S^n)$ は整数倍写像で、その倍率を $f$ の**写像度**といい $\deg f$ と書く。 1. $\deg(\mathrm{id})=1$, $\deg(g\circ f)=\deg g\cdot\deg f$。同相写像の写像度は $\pm1$。 2. $f\simeq g$ なら $\deg f=\deg g$。定値写像の写像度は $0$。 3. 座標 1 つの符号を反転する反射 $r$ の写像度は $-1$。 4. 対心写像 $a(x)=-x$ の写像度は $(-1)^{n+1}$。 5. すべての $x$ で $f(x)\ne x$ なら $\deg f=(-1)^{n+1}$。すべての $x$ で $f(x)\ne-x$ なら $\deg f=1$。 (1), (2) は $f_*$ の関手性と 、定値写像は $H_n(\mathrm{pt})=0$ を経由することから。 (3) 反射 $r_n(x_1,\dots,x_{n+1})=(-x_1,x_2,\dots,x_{n+1})$ を $S^n\subset\mathbb{R}^{n+1}$ 上で考え、$n$ に関する帰納法で $\deg r_n=-1$ を示す。$n=0$: $S^0=\{\pm1\}$ で、$r_0$ は 2 点を入れ替える。$\tilde H_0(S^0)=\ker(\varepsilon:\mathbb{Z}\{p,q\}\to\mathbb{Z})=\mathbb{Z}(p-q)$ で $r_0(p-q)=q-p$ だから $-1$。$n\ge1$ のとき、 の証明の開集合 $A,B$（極 $\pm e_{n+1}$ を除いたもの）は $r_n$ で保たれ、$A\cap B$ の赤道 $S^{n-1}$ への変位レトラクトも $r_n$ と可換で、$r_n$ は赤道に $r_{n-1}$ として作用する。Mayer–Vietoris の短完全列は $r_n$ の誘導する鎖準同型の下で自然なので、連結準同型の自然性（）から、同型 $\partial:\tilde H_n(S^n)\to\tilde H_{n-1}(A\cap B)\cong\tilde H_{n-1}(S^{n-1})$ は $r_n$ と $r_{n-1}$ の作用を交換する。よって $\deg r_n=\deg r_{n-1}=-1$。 (4) $a$ は $n+1$ 個の反射 $r^{(i)}$（第 $i$ 座標の反転）の合成。$r^{(i)}=P r P^{-1}$（$P$ は座標の置換、同相写像）で、(1) から $\deg r^{(i)}=\deg P\deg r\deg P^{-1}=-1$。よって $\deg a=(-1)^{n+1}$。 (5) $f(x)\ne x$ なら の直線ホモトピーで $f\simeq a$、よって $\deg f=(-1)^{n+1}$。$f(x)\ne-x$ なら、$(1-t)f(x)+tx\ne0$ で $f\simeq\mathrm{id}$（同様）。 写像度は「逆像の個数を符号つきで数える」ものです。そのことを局所写像度で定式化します。$x\in S^n$ に対し、$S^n\setminus\{x\}$ は[可縮](/mathematics/algebraic-topology/fundamental-group-coverings#def-contractible)なので、 から $u_x:H_n(S^n)\xrightarrow{\cong}H_n(S^n,S^n\setminus\{x\})$ が成り立ちます。 $f:S^n\to S^n$, $y=f(x)$ とし、$x$ が $f^{-1}(y)$ の孤立点であるとする。$x$ の開近傍 $U$ を $U\cap f^{-1}(y)=\{x\}$ となるように取る。$f$ は対 $(U,U\setminus x)\to(S^n,S^n\setminus y)$ を定める。切除 $e_x:H_n(U,U\setminus x)\to H_n(S^n,S^n\setminus x)$（）を使って $$ H_n(S^n,S^n\setminus x)\xleftarrow[\cong]{e_x}H_n(U,U\setminus x)\xrightarrow{f_*}H_n(S^n,S^n\setminus y) $$ と $u_x,u_y$ を合わせた整数倍写像の倍率を $x$ における**局所写像度** $d_x(f)$ とする（$U$ を小さくしても変わらない）。 局所写像度は次の性質を持ちます。(i) $g\circ f$ の $x$ での局所写像度は $d_x(g\circ f)=d_{f(x)}(g)\,d_x(f)$（関手性）。(ii) $f$ が $x$ の近傍 $U$ から $y$ の開近傍 $V$ への同相写像ならば、$(U,U\setminus x)\to(V,V\setminus y)$ が対の同相で $H_n$ の同型を与えるから $d_x(f)=\pm1$。(iii) $f$ が同相写像ならば $d_x(f)=\deg f$（$f^{-1}(f(x))=\{x\}$ で、$U=S^n$ とできる）。 次の定理は、一点 $y$ の逆像が有限個の点なら、各点の近くでの巻き付き方（局所写像度）を足せば全体の巻き付き方が出る、というものです。たとえば円周を 2 周する写像では、各点の逆像は 2 点で、局所写像度の和の絶対値が $2$ になります（）。証明は、逆像の各点の小さな近傍を切除で取り出し、全体のホモロジーをその直和に分けて比べます。 $f:S^n\to S^n$ とし、$y\in S^n$ の逆像 $f^{-1}(y)=\{x_1,\dots,x_m\}$ が有限集合とする。このとき $$ \deg f=\sum_{i=1}^md_{x_i}(f). $$ （$m=0$ のときは右辺は $0$ と解釈し、$\deg f=0$。） $m=0$ なら $f$ は $S^n\setminus\{y\}$（可縮）を経由するので $\deg f=0$。$m\ge1$ とします。$x_i$ の互いに素な開近傍 $U_i$ をとり、$F=f^{-1}(y)$ とおくと、$f$ は対 $(S^n,S^n\setminus F)\to(S^n,S^n\setminus y)$ を定めます。可換図式 $$ H_n(S^n)\xrightarrow{w}H_n(S^n,S^n\setminus F)\xrightarrow{f_*}H_n(S^n,S^n\setminus y),\qquad f_*\circ w=u_y\circ f_*=\deg f\cdot u_y $$ を得ます（左の合成: $H_n(S^n)\xrightarrow{f_*}H_n(S^n)\xrightarrow{u_y}H_n(S^n,S^n\setminus y)$ と、$H_n(S^n)\to H_n(S^n,S^n\setminus F)\to H_n(S^n,S^n\setminus y)$ の可換性）。ここで切除により $\bigoplus_iH_n(U_i,U_i\setminus x_i)\xrightarrow{\cong}H_n(S^n,S^n\setminus F)$ です。射影 $H_n(S^n,S^n\setminus F)\to H_n(S^n,S^n\setminus x_j)$ は、$i\ne j$ の成分 $H_n(U_i,U_i\setminus x_i)$ を $H_n(S^n\setminus x_j,S^n\setminus x_j)=0$ を経由して $0$ に送るので、$w[S^n]$ の第 $i$ 成分は $e_{x_i}^{-1}u_{x_i}[S^n]$ に対応します。したがって $f_*w[S^n]=\sum_if_*e_{x_i}^{-1}u_{x_i}[S^n]=\sum_id_{x_i}(f)\,u_y[S^n]$。左辺は $\deg f\cdot u_y[S^n]$ で、$u_y[S^n]$ は生成元だから $\deg f=\sum d_{x_i}(f)$。 $p_k:S^1\to S^1$, $z\mapsto z^k$ ($k\ge1$)。各 $y$ の逆像は $k$ 点で、$p_k$ は局所同相だから局所写像度は $\pm1$（(ii)）。$R(z)=e^{2\pi i/k}z$ は $p_kR=p_k$ を満たし、$R\simeq\mathrm{id}$（回転の族）なので $\deg R=1$。(i), (iii) から $d_x(p_k)=d_x(p_k\circ R)=d_{Rx}(p_k)\,d_x(R)=d_{Rx}(p_k)$。ファイバーの $k$ 点は $R$ で互いに移り合うので、$k$ 個の局所写像度はすべて等しい（共通の符号 $\varepsilon$）。 から $\deg p_k=\varepsilon k$、特に $|\deg p_k|=k$ です。以下ではこの絶対値だけを使います（符号は $\varepsilon=1$ で、基本群の記事の の巻き付き数と一致しますが、本記事では示しません）。 ## 6. 不動点定理と毛玉の定理 連続写像 $f:D^n\to D^n$（$n\ge1$）は不動点を持つ。 証明は背理法です。不動点がなければ、円板の各点から境界へ向かう「押し出し」の写像が作れてしまい、それが境界への連続な縮め方（レトラクション）になって、前の記事で示した事実に反します。
f(x) x r(x) D²
不動点がないと仮定します。各 $x\in D^n$ に対し、$f(x)$ から $x$ へ向かう半直線が $S^{n-1}$ と交わる点を $r(x)$ とします。明示的には $r(x)=x+t(x)\,(x-f(x))$、$t(x)\ge0$ は $|x+t(x-f(x))|^2=1$ の非負の解です。$u=x-f(x)\ne0$ とすると $t=\dfrac{-\langle x,u\rangle+\sqrt{\langle x,u\rangle^2+|u|^2(1-|x|^2)}}{|u|^2}$ で、根号の中は $|x|\le1$ より非負、$f(x)\ne x$ から分母は正なので $t$ は $x$ の連続関数です。$|x|=1$ のとき $\langle x,u\rangle=1-\langle x,f(x)\rangle\ge1-|f(x)|\ge0$ なので $t=0$ となり、$r(x)=x$。よって $r:D^n\to S^{n-1}$ はレトラクションで、 に反します。 Brouwer の定理は有限次元の凸コンパクト集合に拡張でき、さらに無限次元の Banach 空間の不動点定理（Schauder の定理）は、有限次元近似に Brouwer を使うことで示されます。また写像度は、方程式の解を符号つきで数える整数（この記事の局所写像度の和公式）として、解の個数の議論や位相不変量の整数性の根拠になります。 $n$ が偶数なら、$S^n$ 上の連続な接ベクトル場 $v$（$v(x)\perp x$, $v:S^n\to\mathbb{R}^{n+1}$）は必ず零点を持つ。 零点がないとすると、$w=v/|v|$ は $w(x)\perp x$ の連続写像です。$F(x,t)=\cos(\pi t)\,x+\sin(\pi t)\,w(x)$ は $|F|=1$ で $S^n$ への連続写像、$F(\cdot,0)=\mathrm{id}$, $F(\cdot,1)=-\mathrm{id}=a$。よって $\mathrm{id}\simeq a$ で、 から $1=(-1)^{n+1}$。これは $n$ が偶数では矛盾です。 ## 7. Lefschetz の不動点定理 $X$ を有限 CW 複体（またはその鎖複体が有限型のもの）とし、$f:X\to X$ を連続写像とします。 $$ \tau(f)=\sum_n(-1)^n\operatorname{tr}\bigl(f_*:H_n(X)\otimes\mathbb{Q}\to H_n(X)\otimes\mathbb{Q}\bigr) $$ を $f$ の **Lefschetz 数**という。$\tau(\mathrm{id})=\chi(X)$（）、$f\simeq g$ なら $\tau(f)=\tau(g)$。 例: $\tau(f)=1+(-1)^n\deg f$ ($f:S^n\to S^n$)。$X$ が可縮なら $\tau(f)=1$。 $K$ を有限単体複体、$X=|K|$ とする。連続写像 $f:X\to X$ が $\tau(f)\ne0$ を満たすなら、$f$ は不動点を持つ。 証明の筋道を先に述べます。不動点がないと仮定すると、$f$ は各点を一定の距離以上動かします。空間を十分細かい単体に分けて $f$ を単体ごとの写像で近似すると、どの単体も自分自身には写らないので、鎖のレベルの行列の対角成分がすべて $0$ になり、トレースが $0$ になります。トレース公式でこれをホモロジーに戻したものが $\tau(f)$ です。以下では、そのための道具（単体複体、細分、単体近似）を順に用意します。 証明のために、単体複体の言葉を準備します。$K$ は $\mathbb{R}^N$ 内の幾何学的な有限単体複体（単体の有限集合で、面について閉じ、二つの単体の共通部分は共通の面）とします。**単体的鎖複体** $C^\Delta_n(K)$ は、$n$ 単体の頂点の並べ方で符号が変わるシンボル $[v_0,\dots,v_n]$ が生成するアーベル群で（各 $n$ 単体に向きを選べば $\mathbb{Z}^{(n\text{ 単体の個数})}$）、$\partial$ は特異の場合と同じ式で定めます。**単体写像** $g:K'\to K$（頂点写像で単体を単体に写すもの）は $g_\#[v_0,\dots,v_n]=[g(v_0),\dots,g(v_n)]$（頂点が重なるときは $0$）で鎖準同型を与えます。$K$ の**重心細分** $K'$（各単体にその重心を頂点として加え、より小さな単体に分け直したもの）に対し、 と同じ式 $\mathrm{Sd}\,\sigma=b_\sigma(\mathrm{Sd}\,\partial\sigma)$ で細分鎖写像 $\mathrm{Sd}:C^\Delta(K)\to C^\Delta(K')$ が定まります。$\mathrm{Sd}\,\sigma$ は $\sigma$ に含まれる単体のみの和です。次の事実を用います。 **事実（単体的ホモロジーと特異ホモロジー）。** 自然な同型 $\Theta_K:H_n(C^\Delta(K))\to H_n(|K|)$ があり、単体写像 $g:K'\to K$ に対し $\Theta_Kg_\#=g_*\Theta_{K'}$、細分に対し $\Theta_{K'}\mathrm{Sd}_*=\Theta_K$ を満たす。胞体ホモロジー定理 で $K$ を単体を胞体とする CW 複体と見ると、胞体鎖複体が $C^\Delta(K)$ と同一視されることから従う。証明は にある。 次の単体近似定理を証明します。**開星状体** $\operatorname{St}(w)$ を、頂点 $w$ を持つ単体の内部の合併（開集合）とします。 $K,L$ を有限単体複体、$f:|K|\to|L|$ を連続写像とする。$K$ の十分細かい重心細分 $K^{(m)}$ と単体写像 $g:K^{(m)}\to L$ で、任意の $x\in|K|$ について $f(x)$ と $g(x)$ が $L$ の同じ単体に入るものが存在する。特に $f\simeq g$（直線ホモトピー）で、$|f(x)-g(x)|\le\max\operatorname{diam}(L\text{ の単体})$。 $\{f^{-1}(\operatorname{St}w)\}_w$ は $|K|$ の開被覆で、 の Lebesgue 数 $\delta$ が取れます。重心細分を繰り返すと単体の直径は 0 に近づく（）ので、$K^{(m)}$ の単体の直径が $\delta/2$ 未満になる $m$ を取ります。$K^{(m)}$ の頂点 $v$ について、$\operatorname{St}(v)$ の直径は $<\delta$ だから $f(\operatorname{St}v)\subseteq\operatorname{St}(g(v))$ となる $L$ の頂点 $g(v)$ が選べます。 $g$ は単体写像: $v_0,\dots,v_k$ が $K^{(m)}$ の単体 $\tau$ を張るなら、$\operatorname{int}\tau\subseteq\bigcap\operatorname{St}(v_i)$ であり、$f(\operatorname{int}\tau)\subseteq\bigcap_i\operatorname{St}(g(v_i))\ne\varnothing$。この共通部分の点は $L$ のただ一つの単体 $\rho$ の内部にあります。その点が $\operatorname{St}(g(v_i))$ に入るので、$g(v_i)$ は $\rho$ の頂点です。ゆえに $g(v_0),\dots,g(v_k)$ は $L$ の一つの単体（$\rho$ の面）を張ります。 近さ: $x\in|K|$ を $K^{(m)}$ の単体 $\tau$（頂点 $v_i$）の内部の点とします。$f(x)\in\bigcap\operatorname{St}(g(v_i))$ なので、$f(x)$ を内部に含む単体 $\rho_x$ は $g(v_i)$ をすべて頂点に持ち、$g(x)=\sum t_ig(v_i)$（$g$ の線形拡張）は $\rho_x$ の面に入ります。よって $f(x),g(x)\in\rho_x$。 $f$ に不動点がないとして $\tau(f)=0$ を示します。$X$ はコンパクトで $x\mapsto|f(x)-x|$ は連続かつ正なので、最小値 $\varepsilon>0$ をもちます。$K$ を、単体の直径が $\varepsilon/3$ 未満になるまで重心細分したもの（）とし、改めて $K$ と書きます。 を $L=K$ に使って、$K^{(m)}$ から $K$ への単体写像 $g$ で、すべての $x$ について $|g(x)-f(x)|<\varepsilon/3$ なるものを取ります。 鎖準同型 $\Psi=g_\#\circ\mathrm{Sd}^m:C^\Delta(K)\to C^\Delta(K)$ を考えます。 から $\Theta_K\Psi_*=g_*\Theta_{K^{(m)}}\mathrm{Sd}^m_*=g_*\Theta_K$ で、$g\simeq f$ だから $g_*=f_*$。すなわち $\Psi_*$ は $\Theta_K$ を通して $f_*$ と同じ作用です。 により $$ \tau(f)=\sum_n(-1)^n\operatorname{tr}(\Psi|C^\Delta_n(K)). $$ 各 $n$ 単体 $\sigma$ に対し、$\Psi\sigma$ の中の $\sigma$ 自身の係数が $0$ であることを示します。$\mathrm{Sd}^m\sigma$ は $\sigma$ に含まれる $K^{(m)}$ の単体 $\tau$ の和で、$\tau$ の点 $x$ について $|g(x)-x|\ge|f(x)-x|-|f(x)-g(x)|>2\varepsilon/3$ です。もし $g_\#\tau=\pm\sigma$ なら $g(x)\in\sigma$ で、$|g(x)-x|\le\operatorname{diam}\sigma<\varepsilon/3$ となって矛盾。したがって $\Psi\sigma$ に $\sigma$ は現れず、行列の対角成分がすべて $0$ なので $\operatorname{tr}(\Psi|C_n^\Delta)=0$、よって $\tau(f)=0$。 1. 有限単体複体 $X$ で $\tilde H_n(X;\mathbb{Q})=0$（たとえば可縮、あるいは $D^n$）なら、任意の連続写像 $X\to X$ は不動点を持つ。特に Brouwer の定理 を再証明する。 2. $f:S^n\to S^n$ で $\deg f\ne(-1)^{n+1}$ なら $f$ は不動点を持つ（$\tau(f)=1+(-1)^n\deg f$）。 3. $\chi(X)\ne0$ なら、$\mathrm{id}_X$ にホモトピックな任意の写像は不動点を持つ。 1: $H_0\otimes\mathbb{Q}=\mathbb{Q}$ 上の作用は恒等（連結）で $\tau(f)=1\ne0$。$D^n$ は単体と同相。2: $S^n$ は $(n+1)$ 単体の境界として単体複体であり、 $\tau(f)=1+(-1)^n\deg f\ne0$ ⇔ $\deg f\ne(-1)^{n+1}$。3: $\tau(f)=\tau(\mathrm{id})=\chi(X)$。 **Lefschetz の跡公式。** 上の証明の中身は、ホモロジー上の跡の交代和 $\tau(f)$ を、Hopf のトレース公式 で鎖のレベルの跡の交代和に移し、不動点がなければ鎖のレベルの対角成分がすべて消えることを見る、というものでした。不動点がある場合に跡の交代和が何に等しいかを述べるのが Lefschetz の跡公式です。閉多様体上の滑らかな写像 $f$ で、各不動点 $x$ で $\det(1-df_x)\ne0$ となるもの（不動点は孤立し有限個）について $$ \tau(f)=\sum_{f(x)=x}\operatorname{sign}\det(1-df_x) $$ が成り立ちます。$f=\mathrm{id}$ を零点が非退化なベクトル場の流れで少し動かしたものに適用すると、Poincaré–Hopf の定理（零点の指数の和 $=\chi(M)$）になります。証明には対角集合とグラフの交点数を Poincaré 双対で数える議論が要り、本サイトではまだ扱っていません（V. Guillemin, A. Pollack, *Differential Topology*, Prentice-Hall, 1974 — 第 3 章 §4・§5）。検算として、$S^1$ 上の $z\mapsto z^2$ は不動点が $z=1$ だけで、角度座標で $df=2$ なので右辺は $\operatorname{sign}(1-2)=-1$、左辺は $\tau(f)=1-\deg f=-1$ で一致します。 ## 8. 演習 $\mathbb{C}P^n$ の Euler 標数を求め、$\mathbb{C}P^n\not\simeq S^{2n}$ ($n\ge2$) を示せ。 (b) より $\chi(\mathbb{C}P^n)=n+1$。一方 $\chi(S^{2n})=2$ なので $n\ge2$ なら異なり、 によりホモトピー同値でない。 定数でない複素多項式 $p(z)=z^k+a_{k-1}z^{k-1}+\cdots+a_0$ ($k\ge1$) が零点を持つことを、写像度を使って示せ。 零点がないと仮定する。$r>0$ に対し $q_r(\theta)=p(re^{i\theta})/|p(re^{i\theta})|$ は $S^1\to S^1$ の連続写像で、$r$ について連続に変わるので、すべての $r$ で同じ写像度を持つ（ホモトピー不変性）。$r\to0$ では $q_r\to p(0)/|p(0)|$ に近づく定値写像に（$r=0$ を含めて）ホモトピックだから $\deg q_r=0$。一方 $r$ が大きいとき、$p_t(z)=z^k+t(a_{k-1}z^{k-1}+\cdots+a_0)$ ($t\in[0,1]$) は $|z|=r$ 上で零点を持たない（$r>\sum|a_i|+1$ とすれば $|z^k|>|t(\dots)|$）ので $q_r\simeq(z\mapsto z^k/|z^k|)=p_k$ で、 より $\deg=\pm k\ne0$。矛盾。 $f:S^n\to S^n$ が $\deg f\ne1$ なら、$f(x)=-x$ となる点 $x$ が存在することを示せ。また $n$ が偶数で $\deg f\ne-1$ なら不動点が存在することを示せ。 前半の対偶: すべての $x$ で $f(x)\ne-x$ なら (5) から $\deg f=1$。後半: 不動点がなければ $\deg f=(-1)^{n+1}=-1$。 実射影平面 $\mathbb{R}P^2$ の任意の連続な自己写像は不動点を持つことを示せ。 $\mathbb{R}P^2$ は有限単体複体と同相（三角形分割がある）。 より $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}/2$, $H_2=0$。$\otimes\mathbb{Q}$ すると $H_0\otimes\mathbb{Q}=\mathbb{Q}$ のみ（作用は恒等）なので $\tau(f)=1\ne0$ で、 から不動点が存在する。 ## 参考文献 - A. Hatcher, *Algebraic Topology*, Cambridge University Press, 2002 — 第 2 章（胞体ホモロジー、写像度、Lefschetz の不動点定理）。 - J. R. Munkres, *Elements of Algebraic Topology*, Addison-Wesley, 1984 — 単体的ホモロジーと Lefschetz の不動点定理。 - J. W. Milnor, *Topology from the Differentiable Viewpoint*, University of Virginia Press, 1965 — 写像度と毛玉の定理。 - 田村一郎『トポロジー』岩波書店、1972 — 胞体複体とホモロジー。 - 枡田幹也『代数的トポロジー』朝倉書店、2002 — 胞体ホモロジー、不動点定理。