logo

シンプリシアルホモロジーグループの定義 📂位相データ分析

シンプリシアルホモロジーグループの定義

ビルドアップ

難しい内容ですが、できるだけ理解しやすいように、すべての計算と説明を省略せずに丁寧に残しました。ホモロジーに興味がある方は、ぜひお読みください。

20220118_105805.png

実際に、私たちが興味を持っている位相空間 XX があり、これが特定のシンプリシャルコンプレックスに従ってΔ\Delta-コンプレックス構造を通して表現されるとしましょう。小さな例として、上の図では右側のトーラスXX であり、左側がシンプリシャルコンプレックスに相当します。

シンプレックスの定義:

  1. アフィン独立v0,v1,,vnRn+1v_{0}, v_{1} , \cdots , v_{n} \in \mathbb{R}^{n+1}凸包を**nn-シンプレックス** Δn\Delta^{n} と呼び、ベクトル vkv_{k}頂点と呼びます。数式的には以下のようになります。 Δn:={ktkvk:vkRn+1,tk0,ktk=1} \Delta^{n} := \left\{ \sum_{k} t_{k} v_{k} : v_{k} \in \mathbb{R}^{n+1} , t_{k} \ge 0 , \sum_{k} t_{k} = 1 \right\}
  2. Δn\Delta^{n} から一つの頂点が除かれて作られる n1n-1-シンプレックス Δn1\Delta^{n-1}Δn\Delta^{n}と呼びます。Δn\Delta^{n} のすべての面の和集合Δn\Delta^{n}境界と呼び、Δn\partial \Delta^{n} と表します。
  3. シンプレックスの内部 (Δn):=ΔnΔn\left( \Delta^{n} \right)^{\circ} := \Delta^{n} \setminus \partial \Delta^{n}オープンシンプレックスと呼びます。

ここで、シンプリシャルコンプレックスとはシンプレックスで構成されるコンプレックスで、具体的には以下のようなCWコンプレックスで構成されているとしましょう。

nn-セルの定義:

  1. 以下のように定義された DnRnD^{n} \subset \mathbb{R}^{n}nn-ユニットディスクと呼びます。 Dn:={xRn:x1} D^{n} := \left\{ \mathbf{x} \in \mathbb{R}^{n} : \left\| \mathbf{x} \right\| \le 1 \right\}
  2. DnDnD^{n} \setminus \partial D^{n}ホモトピー同値開集合 ene^{n}nn-セルとも呼びます。

CWコンプレックスの定義:

  1. 離散的な集合 X0X^{0} \ne \emptyset を**00-セル**とみなします。
  2. nn-スケルトン XnX^{n}Xn1X^{n-1}nn-セル eαne_{\alpha}^{n}ϕα:Sn1Xn1\phi_{\alpha} : S^{n-1} \to X^{n-1} で結合することによって作られます。
  3. X:=nNXnX := \bigcup_{n \in \mathbb{N}} X^{n}弱位相を持つ位相空間になるとき、XXセルコンプレックスと呼びます。

定義 1

Δ\Delta-コンプレックス構造を持つ位相空間 XX が与えられているとしましょう。

  1. XXオープン nn-シンプレックスであるnn-セル eαne_{\alpha}^{n}基底を持つ自由アーベル群 Δn(X)\Delta_{n} (X) と表しましょう。Δn(X)\Delta_{n} (X) の要素を**nn-チェインと呼び、係数 kαZk_{\alpha} \in \mathbb{Z} に対して以下のような形式的和で表します。 αkαeαn \sum_{\alpha} k_{\alpha} e_{\alpha}^{n} 一方、CWコンプレックスの定義から、各 nn-セル eαne_{\alpha}^{n} にはそれに対応する特性写像** σα:ΔnX\sigma_{\alpha} : \Delta^{n} \to X が存在するため、単に次のように表すこともあります。 αkασα \sum_{\alpha} k_{\alpha} \sigma_{\alpha}
  2. 次のように定義される準同型 n:Δn(X)Δn1(X)\partial_{n} : \Delta_{n} (X) \to \Delta_{n-1} (X)境界準同型と呼びます。ここで、σα[v1,,v^i,vn]\sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} \cdots , v_{n} \right] は、σα\sigma_{\alpha}XXn1n-1-シンプレックス

に対する制限関数であることを意味します。 n(σα):=i=0n(1)iσα[v1,,v^i,vn] \partial _{n} \left( \sigma_{\alpha} \right) := \sum_{i=0}^{n} \left( -1 \right)^{i} \sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} \cdots , v_{n} \right] 3. 商群 kern/Imn+1\ker \partial_{n} / \operatorname{Im} \partial_{n+1}HnΔH_{n}^{\Delta} と表し、HnΔH_{n}^{\Delta} はホモロジーグループであるため、XX の第 nn シンプリシャルホモロジーグループと呼びます。


  • 00{0}\left\{ 0 \right\} で定義されたマグマです。つまり、空の代数構造です。
  • 準同型 2=0\partial^{2} = 0ゼロ準同型です。
  • Im\operatorname{Im}です。
  • ker\kerカーネルです。
  • 集合ハット表記 v^i\hat{v}_{i} は、次のように viv_{i} だけを除くことを意味します。 {v1,,v^i,vn}:={v1,,vn}{vi} \left\{ v_{1} , \cdots , \hat{v}_{i} \cdots , v_{n} \right\} := \left\{ v_{1} , \cdots , v_{n} \right\} \setminus \left\{ v_{i} \right\}

説明

定義に文字が多いので、理解する前に目に入りにくいのは普通です。血となり肉となる説明なので、丁寧に読むようにしましょう。個人的に勉強している間に苦労した部分をできるだけわかりやすく書くように努めました。

Δn(X)\Delta_{n} (X) の要素をなぜチェーンと呼ぶのか?

αkασα \sum_{\alpha} k_{\alpha} \sigma_{\alpha} のような記法で σα:ΔnX\sigma_{\alpha} : \Delta^{n} \to X を考えることで、これで eαne_{\alpha}^{n}Δn\Delta^{n} の要素なのか XX の要素なのかといったことはあまり考える必要がなくなりました。n=2n=2 で全ての係数が kα=1k_{\alpha} = 1 の場合、幾何学的に想像できる例として、以下の図の右側のような図形 i=17σi\sum_{i=1}^{7} \sigma_{i} を考えてみましょう。

20220128_152811.png

ここでという表現が理解できれば幸いですが、そうでなくても実際にはあまり関係ありません。とにかく後で重要なのは、それぞれの nn-チェイン Δn(X)\Delta_{n} (X)チェーンコンプレックスを構築することです。

Δn(X)\Delta_{n} (X) は本当にグループなのか?

非常に重要ですが、定義でチェインを説明するときに、形式的和という表現を使いました。これは Δn(X)\Delta_{n} (X) の要素を説明したに過ぎず、Δn(X)\Delta_{n} (X) 上で定義された二項演算ではありません。形式的和という言葉が示すように、これはあくまで形式的なものです。小学校の時に使っていた記法を借りてくれば、

2😀 + 💎 - 3🍌

のように、とりあえずその位置を絵などで埋めたものと考えても問題ありません。上の式は数学的には意味がありません。なぜなら、笑顔 😀 の2倍が何であり、そこに宝石 💎 を加えることが何であり、バナナ 🍌 を3つ引くことが何なのか、定義されておらず、定義するのも困難だからです。これらを扱うのが難しい状況は、正確に αkαeααkασα\sum_{\alpha} k_{\alpha} e_{\alpha} \simeq \sum_{\alpha} k_{\alpha} \sigma_{\alpha}

  • (そもそも加算を定義できない)オープンシンプレックス eαne_{\alpha}^{n}
  • 対応する σα\sigma_{\alpha} が関数である(関数そのものなのか関数値を指しているのかがわかりにくい)
  • それを任意の整数倍して加算した 3e1n+7e2n3σ1+7σ2-3 e_{1}^{n} + 7 e_{2}^{n} \simeq -3 \sigma_{1} + 7 \sigma_{2} の意味がわからない

という問題と同じです。代数的構造どころか、この集合がどのように見えるのかすらわかりにくいですが、幸いにもこれらの問題は Δn(X)\Delta_{n} (X) にとっては関係がありません。もし

σ=\sigma=2😀 + 💎 - 3🍌

Δn(X)\Delta_{n} (X) の要素、つまり nn-チェインであるとするならば、これらの要素の逆元は、すべての係数 kα(Z,+)k_{\alpha} \in \left( \mathbb{Z} , + \right) の逆元 kα(Z,+)-k_{\alpha} \in \left( \mathbb{Z} , + \right) を係数として持つ

σ=-\sigma= (-2)😀 + (-1)💎 + (-(-3))🍌

で定義するだけで十分です。これにより Δn(X)\Delta_{n} (X) の単位元は、任意の σΔn(X)\sigma \in \Delta_{n} (X) に対して 0:=σ+(σ)0 := \sigma + (-\sigma) で定義され、Z\mathbb{Z}アーベル群であるため、Δn(X)\Delta_{n} (X) もアーベル群になります。ここで、群 (Δn(X),+)\left( \Delta_{n} (X) , + \right) の演算 ++(Z,+)\left( \mathbb{Z} , + \right)++ から導かれたものですが、同じものではありません。nn-チェイン αkασαΔn(X)\sum_{\alpha} k_{\alpha} \sigma_{\alpha} \in \Delta_{n} (X) で登場する \sum とも異なります。

要約すると以下のようになります。

  • 最初に定義したときの αkασα\sum_{\alpha} k_{\alpha} \sigma_{\alpha} で加算のように見えるものは、そもそも演算ではなく記法に過ぎませんでした。
  • (Δn(X),+)\left( \Delta_{n} (X) , + \right)++(Z,+)\left( \mathbb{Z} , + \right)++ から導かれましたが、同じものではありません。
  • (Δn(X),+)\left( \Delta_{n} (X) , + \right) は自由アーベル群であり、これで αkασα\sum_{\alpha} k_{\alpha} \sigma_{\alpha}二項演算 ++ の関数値になります。

\partial をなぜ境界と呼ぶのか?

n(σα):=i=0n(1)iσα[v1,,v^i,vn] \partial _{n} \left( \sigma_{\alpha} \right) := \sum_{i=0}^{n} \left( -1 \right)^{i} \sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} \cdots , v_{n} \right]

定義にある数式だけを見ても理解しにくいですが、以下の図を見ればすぐに理解できるでしょう。

20220128_161210.png

例えば 2\partial_{2} を考えると、次のような計算を行うことができます。 2[v0,v1,v2]=i=02(1)i[v0,v1,v2][vi]=(1)0[v1,v2]+(1)1[v0,v2]+(1)2[v0,v1]=[v1,v2][v0,v2]+[v0,v1] \begin{align*} & \partial _{2} \left[ v_{0} ,v_{1}, v_{2} \right] \\ =& \sum_{i=0}^{2} (-1)^{i} \left[ v_{0} ,v_{1}, v_{2} \right] \setminus \left[ v_{i} \right] \\ =& (-1)^{0} \left[ v_{1}, v_{2} \right] + (-1)^{1} \left[ v_{0}, v_{2} \right] + (-1)^{2} \left[ v_{0}, v_{1} \right] \\ =& \left[ v_{1}, v_{2} \right] - \left[ v_{0}, v_{2} \right] + \left[ v_{0}, v_{1} \right] \end{align*}

ホモロジーグループを学ぶレベルなら、三角形 [v0,v1,v2]\left[ v_{0} ,v_{1}, v_{2} \right] の境界が [v1,v2],[v0,v2],[v0,v1]\left[ v_{1}, v_{2} \right], \left[ v_{0}, v_{2} \right], \left[ v_{0} , v_{1} \right] で構成されること自体を受け入れられない人はほとんどいないでしょう。本当に理解しにくいのは、一体 [v1,v2][v0,v2]\left[ v_{1}, v_{2} \right] - \left[ v_{0}, v_{2} \right] が何なのかということです。1-シンプレックスである線分同士を引くことが意味を成すのでしょうか?それをベクトルとして扱い、2-シンプレックスである三角形同士の演算はどうなるのでしょうか?

すべて間違っています。しっかりと頭を整理してもう一度見てみましょう。2[v0,v1,v2]Δ1(X)\partial_{2} \left[ v_{0} ,v_{1}, v_{2} \right] \in \Delta_{1} (X) は、その幾何学的な意味を離れて、単に3つの要素 [v1,v2],[v0,v2],[v0,v1]\left[ v_{1}, v_{2} \right], \left[ v_{0}, v_{2} \right], \left[ v_{0} , v_{1} \right] の形式的和である (+1)[v1,v2]+(1)[v0,v2]+(+1)[v0,v1] (+1) \left[ v_{1}, v_{2} \right] + (-1) \left[ v_{0}, v_{2} \right] + (+1) \left[ v_{0}, v_{1} \right]

に過ぎません。これを順番に a:=[v1,v2] b:=[v0,v2] c:=[v0,v1] \begin{align*} a := \left[ v_{1}, v_{2} \right] \ b:= \left[ v_{0}, v_{2} \right] \ c:= \left[ v_{0} , v_{1} \right] \end{align*} と置くと、Δ1(X)\Delta_{1} (X) の正体がようやく見えてきます。例えば、11-チェイン xΔ1(X)x \in \Delta_{1} (X) は、ある係数 ka,kb,kcZk_{a} , k_{b} , k_{c} \in \mathbb{Z} に対して x=kaa+kbb+kcc x = k_{a} a + k_{b} b + k_{c} c のように表される要素です。逆に a,b,ca,b,c の立場から自由群 Δ1(X):=F[{a,b,c}]\Delta_{1} (X) := F[\left\{ a,b,c \right\}] を構築する過程を考えると、Δ1(X)\Delta_{1} (X) とは、3つの未知数で作られる群、つまり Z3ZZZ\mathbb{Z}^{3} \simeq \mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}同型な群に過ぎないことがわかります。

このような考え方の転換は、続く例を理解する上で必須です。幾何を置いて、代数的に考えましょう。

n:Δn(X)Δn1(X)HnΔ(X)=kern/Imn+1 \begin{align*} \\ \partial_{n} :& \Delta_{n} (X) \to \Delta_{n-1} (X) \\ H_{n}^{\Delta} (X) =& \ker \partial_{n} / \operatorname{Im} \partial_{n+1} \end{align*}

特に n=0n = 0 の場合、0:Δ0(X)0\partial_{0} : \Delta_{0} \left( X \right) \to 0 なので ker0=Δ0(X)\ker \partial_{0} = \Delta_{0} \left( X \right) です。

S1S^{1}

20220129_120627.png

11-ユニットスフィア、つまり円 X=S1X = S^{1}を考えると、00-シンプレックスは頂点 vv 一つ、11-シンプレックスはエッジ ee 一つ、n2n \ge 2nn-シンプレックスは存在しないので、チェーンコンプレックス自体は以下のように構成されるでしょう。

0Δ1(S1)1Δ0(S1)00 \cdots \longrightarrow 0 \longrightarrow \Delta_{1}\left( S^{1} \right) \overset{\partial_{1}}{\longrightarrow} \Delta_{0}\left( S^{1} \right) \overset{\partial_{0}}{\longrightarrow} 0

自由群 Δ1(S1)\Delta_{1}\left( S^{1} \right)ee 一つで生成されるので Δ1(S1)Z\Delta_{1}\left( S^{1} \right) \simeq \mathbb{Z} であり、Δ0(S1)\Delta_{0}\left( S^{1} \right)vv 一つで生成されるので Δ0(S1)Z\Delta_{0}\left( S^{1} \right) \simeq \mathbb{Z} です。一方 e=vv=0 \partial e = v - v = 0 なので 1\partial_{1}ゼロ準同型です。

n=0n = 0 の場合、ker0=Δ0(S1)\ker \partial_{0} = \Delta_{0} \left( S^{1} \right) であり、1\partial_{1} がゼロ準同型なのでその{0}\left\{ 0 \right\} となり、以下が得られます。 H0Δ(S1)=ker0/Im1Δ0(S1)/{0}Z \begin{align*} H_{0}^{\Delta} \left( S^{1} \right) =& \ker \partial_{0} / \operatorname{Im} \partial_{1} \\ \simeq& \Delta_{0} \left( S^{1} \right) / \left\{ 0 \right\} \\ \simeq& \mathbb{Z} \end{align*}

n=1n = 1 の場合、2\partial_{2} の定義域が 00 なので Im2={0}\operatorname{Im} \partial_{2} = \left\{ 0 \right\} であり、1\partial_{1} がゼロ準同型なので ker1\ker \partial_{1} はその定義域である Δ1(S1)\Delta_{1} \left( S^{1} \right) 自体となり、以下が得られます。 H1Δ(S1)=ker1/Im2Δ1(S1)/{0}Z \begin{align*} H_{1}^{\Delta} \left( S^{1} \right) =& \ker \partial_{1} / \operatorname{Im} \partial_{2} \\ \simeq& \Delta_{1} \left( S^{1} \right) / \left\{ 0 \right\} \\ \simeq& \mathbb{Z} \end{align*}

n2n \ge 2 に対しては、HnΔ(S1)0H_{n}^{\Delta} \left( S_{1} \right) \simeq 0 なので、以下のように要約できます。 HnΔ(S1){Z,if n=0,10,if n2 H_{n}^{\Delta} \left( S_{1} \right) \simeq \begin{cases} \mathbb{Z} & , \text{if } n = 0, 1 \\ 0 & , \text{if } n \ge 2 \end{cases}

トーラス T2T^{2}

20220118_105805.png

上の図のようなトーラス T2T^{2}を考えると、00-シンプレックスは頂点 vv 一つ、11-シンプレックスはエッジ aabbcc 三つ、22-シンプレックスは UULL 二つ、n3n \ge 3nn-シンプレックスは存在しないので、チェーンコンプレックス自体は以下のように構成されるでしょう。

0Δ2(T)2Δ1(T)1Δ0(T)00 \cdots \longrightarrow 0 \longrightarrow \Delta_{2}\left( T \right) \overset{\partial_{2}}{\longrightarrow} \Delta_{1}\left( T \right) \overset{\partial_{1}}{\longrightarrow} \Delta_{0}\left( T \right) \overset{\partial_{0}}{\longrightarrow} 0

これにより、自由群 Δn(T)\Delta_{n} \left( T \right)Δn(T){Z1,if n=0Z3,if n=1Z2,if n=20,if n3 \Delta_{n} \left( T \right) \simeq \begin{cases} \mathbb{Z}^{1} & , \text{if } n = 0 \\ \mathbb{Z}^{3} & , \text{if } n = 1 \\ \mathbb{Z}^{2} & , \text{if } n = 2 \\ 0 & , \text{if } n \ge 3 \end{cases}

となります。一方、エッジ aabbcc の両端点は vv に接続されているので a=vv=0b=vv=0c=vv=0 \begin{align*} \partial a =& v - v = 0 \\ \partial b =& v - v = 0 \\ \partial c =& v - v = 0 \end{align*} であり、円の場合と同様に 1\partial_{1}ゼロ準同型です。

n=0n = 0 の場合、円の場合と同様に以下が成立します。 H0Δ(T)=ker0/Im1Δ0(T)/{0}Z \begin{align*} H_{0}^{\Delta} \left( T \right) =& \ker \partial_{0} / \operatorname{Im} \partial_{1} \\ \simeq& \Delta_{0} \left( T \right) / \left\{ 0 \right\} \\ \simeq& \mathbb{Z} \end{align*}

n=1n = 1 の場合、1\partial_{1} がゼロ準同型なので ker1\ker \partial_{1} はその定義域である Δ1(T)\Delta_{1} \left( T \right) 自体です。一方で 2:Δ2(T)Δ1(T)\partial_{2} : \Delta_{2}\left( T \right) \to \Delta_{1}\left( T \right) について 2U=a+bc=2L \partial_{2} U = a + b - c = \partial_{2} L であり、{a,b,a+bc}\left\{ a, b, a + b - c \right\}Δ1(T)\Delta_{1}\left( T \right) の基底なので H1ΔH_{1}^{\Delta}aabb で生成される自由群同型です。つまり、以下が成立します。 H1Δ(T)ZZ H_{1}^{\Delta} \left( T \right) \simeq \mathbb{Z} \oplus \mathbb{Z}

n=2n = 2 の場合、3\partial_{3} の定義域が 00 なので Im3={0}\operatorname{Im} \partial_{3} = \left\{ 0 \right\} であり、2:Δ2(T)Δ1(T)\partial_{2} : \Delta_{2}\left( T \right) \to \Delta_{1}\left( T \right) では Δ2(T)Z2\Delta_{2}\left( T \right) \simeq \mathbb{Z}^{2}Δ1(T)Z3\Delta_{1}\left( T \right) \simeq \mathbb{Z}^{3} なので ker2Z32\ker \partial_{2} \simeq \mathbb{Z}^{3-2} です。これを整理すると、以下が得られます。 H2Δ(T)=ker2/Im3Z32/{0}Z \begin{align*} H_{2}^{\Delta} \left( T \right) =& \ker \partial_{2} / \operatorname{Im} \partial_{3} \\ \simeq& \mathbb{Z}^{3-2} / \left\{ 0 \right\} \\ \simeq& \mathbb{Z} \end{align*}

n3n \ge 3 に対しては、HnΔ(T)0H_{n}^{\Delta} \left( T \right) \simeq 0 なので、以下のように要約できます。 HnΔ(T){Z,if n=0ZZ,if n=1Z,if n=20,if n3 H_{n}^{\Delta} \left( T \right) \simeq \begin{cases} \mathbb{Z} & , \text{if } n = 0 \\ \mathbb{Z} \oplus \mathbb{Z} & , \text{if } n = 1 \\ \mathbb{Z} & , \text{if } n = 2 \\ 0 & , \text{if } n \ge 3 \end{cases}

定理

HnΔH_{n}^{\Delta} はホモロジーグループである

ホモロジーグループの定義:

  1. nN0n \in \mathbb{N}_{0} とします。アーベル群 CnC_{n}準同型 n:CnCn1\partial_{n} : C_{n} \longrightarrow C_{n-1} のチェーン Cn+1n+1CnnCn1C11C000 \cdots \longrightarrow C_{n+1} \overset{\partial_{n+1}}{\longrightarrow} C_{n} \overset{\partial_{n}}{\longrightarrow} C_{n-1} \longrightarrow \cdots \longrightarrow C_{1} \overset{\partial_{1}}{\longrightarrow} C_{0} \overset{\partial_{0}}{\longrightarrow} 0 がすべての nn に対して nn+1=0 \partial_{n} \circ \partial_{n+1} = 0 を満たす場合、C:={(Cn,n)}n=0\mathcal{C} := \left\{ \left( C_{n}, \partial_{n} \right) \right\}_{n=0}^{\infty}チェーンコンプレックスと呼びます。
  2. 商群 Hn:=kern/Imn+1H_{n} := \ker \partial_{n} / \operatorname{Im} \partial_{n+1}C\mathcal{C}nn ホモロジーグループと呼びます。
  3. 準同型 n:CnCn1\partial_{n} : C_{n} \longrightarrow C_{n-1}境界または微分オペレータと呼びます。

Δn+1n+1ΔnnΔn1 \cdots \longrightarrow \Delta_{n+1} \overset{\partial_{n+1}}{\longrightarrow} \Delta_{n} \overset{\partial_{n}}{\longrightarrow} \Delta_{n-1} \longrightarrow \cdots

チェーンコンプレックス {(Δn(X),n)}n=0\left\{ \left( \Delta_{n} (X) , \partial_{n} \right) \right\}_{n=0}^{\infty} に対して HnΔ:=kern/Imn+1H_{n}^{\Delta} := \ker \partial_{n} / \operatorname{Im} \partial_{n+1}ホモロジーグループです。つまり、すべての nNn \in \mathbb{N} に対して nn+1\partial_{n} \circ \partial_{n+1}ゼロ準同型です。

証明

σΔn\sigma \in \Delta_{n}n1n\partial_{n-1} \circ \partial_{n} を適用してみると、以下が得られます。 (n1n)(σ)=n1(n(σ))=n1(i=0n(1)iσα[v1,,v^i,,vn])=j<i(1)i(1)jσα[v1,,v^i,,v^j,,vn]+(1)j>i(1)i(1)jσα[v1,,v^i,,v^j,,vn]=0 \begin{align*} & \left( \partial_{n-1} \circ \partial_{n} \right) \left( \sigma \right) \\ =& \partial_{n-1} \left( \partial_{n} \left( \sigma \right) \right) \\ =& \partial_{n-1} \left( \sum_{i=0}^{n} \left( -1 \right)^{i} \sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} , \cdots , v_{n} \right] \right) \\ =& \sum_{j < i} \left( -1 \right)^{i} \left( -1 \right)^{j} \sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} , \cdots , \hat{v}_{j} , \cdots , v_{n} \right] \\ & + \left( -1 \right) \sum_{j >i} \left( -1 \right)^{i} \left( -1 \right)^{j} \sigma_{\alpha} | \left[ v_{1} , \cdots , \hat{v}_{i} , \cdots , \hat{v}_{j} , \cdots , v_{n} \right] \\ =& 0 \end{align*}

実際、このような証明は、一般的に証明するよりも、帰納的な例を示すことがより役立ちます。 1(2[v0,v1,v2])=1([v1,v2][v0,v2]+[v0,v1])=1[v1,v2]1[v0,v2]+1[v0,v1]=[v2][v1]([v2][v0])+[v1][v0]=0 \begin{align*} & \partial_{1} \left( \partial_{2} \left[ v_{0}, v_{1} , v_{2} \right] \right) \\ =& \partial_{1} \left( \left[ v_{1} , v_{2} \right] - \left[ v_{0}, v_{2} \right] + \left[ v_{0}, v_{1} \right] \right) \\ =& \partial_{1} \left[ v_{1} , v_{2} \right] - \partial_{1} \left[ v_{0}, v_{2} \right] + \partial_{1} \left[ v_{0}, v_{1} \right] \\ =& \left[ v_{2} \right] - \left[ v_{1} \right] - \left( \left[ v_{2} \right] - \left[ v_{0} \right] \right) + \left[ v_{1} \right] - \left[ v_{0} \right] \\ =& 0 \end{align*}


  1. Hatcher. (2002). Algebraic Topology: p104~106. ↩︎