このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]日本では、YMOが活動する前、フュージョン音楽が盛んだった。[br]ジャズとロックとラテンが混ざり合い、[br]バブルはまだはじけずに明るい未来を信じながら、[br]データの多様性ではなく、個性と文化がぶつかり、融合する本当の多様性が生まれた時代だった。[br]19世紀までは、天才数学者がさまざまな分野を開拓することが多かった。[br][br]数学にも20世紀の前半に、まさにこの「数学分野のフュージョン」が起こっている。[br][br]解析学、トポロジー（位相幾何学）、そして代数学（圏論）。[br]一見すると別々のジャンルで奏でられていた数学の「音」たちが、[br]一つのステージに集まって激しくクロスオーバーしたのだ。[br][br]今回は、位相空間の歴史を振り返りながら「圏論×LA（代数）ビル」に位相空間を招き入れ、[br]（コ）ホモロジー群と解析学の奇跡的な融合を探っていこう。[br][br][b][size=150]＜位相空間の歴史＞[br][/size][/b][br]平面上にあるN角形では、[b]オイラー指標＝点数ー辺数＋面数[/b]=N-N+1=1。[br]Nを無限に多くしてもオイラー指標が１のままだから、円とN角形が同相になることがわかる。[br]正４面体のオイラー指標＝点数ー辺数＋面数＝4-6+4=2。[br]正６面体のオイラー指標＝点数ー辺数＋面数＝8-12+6=2。[br]面を無限に多くしていって球にしてもオイラー指標＝２となる。[br]そして、穴が１つあると０、穴が２つだとー２、。。。となることから、[br]「[color=#0000ff][b]閉じたコンパクトな曲面のオイラー指標（標数）＝２－２g（gは曲面の穴数で種数という）[/b][/color]」[br]という[b]オイラーの法則[/b]が見つかったことは有名だね。[br][br]これをポアンカレはさらに発展させた。[br]オイラー指標＝0単体数ー1単体数＋２単体数ー３単体数＋…と単体数の交代和になると気づいた。[br]さらに、[b]ｎ次のホモロジー群の基底数をｎ次ベッチ数βｎ[/b]とかくと、[br]「[b]図形Xのオイラー標数はχ(X)=[/b][b]β0ーβ1+β2-β3+.....[/b]」と表現できることもポアンカレは気付いた。[br][br]三角関数でおなじみの[b]サインとコ・サインの双対ペア[/b]と同様に、[br]位相空間ではホモロジー群の双対ペア、コ・ホモロジー群を作ると便利なことがある。[br]三角関数でサインだけ研究することが少ないように、[br]位相空間でも[b][color=#0000ff]ホモロジー群とコホモロジー群は関連して研究されている[/color][/b]。[br][br]面白いのは、図形を三角形に分けたり、もっと細かく胞体に分けたりするだけではなく、[br]多様体を定義することで、面の曲がり方などどうでもよかったはずの位相空間論が、[br]ガウスの曲率や微分と連動できるようになった。[br]20世紀から現在まで、リーマン多様体・微分幾何など想像を超えた融合発展が進んでいる。[br]話しが進みすぎたので、もとに戻しましょう。[br][br][b][size=150]＜ポアンカレ的にホモロジー群をイメージしよう＞[br][/size][/b][br][b]ｎ次のホモロジー群というのは、図形をｎ次の基底の加群としてみたものだ。[br]トーラスと球のホモロジー群を、加群の意味からイメージしてみよう。[br][/b][br]１次のホモロジー群の基底はループだ。[br]ループを整数倍したり、たしたりできると加群と言える。[br]トーラスT^2の面にそって、ループを作ってみよう。泡のよう小さくなって消せるループもあるけれど、[br]穴をかこむように1周するループaは消せない。[br]トーラスを管と見立てたときの管の円周となるループbも消せない。[br]ループaとループbの交わる点Aを通ってもとに戻る斜めなループはa＋bなどと表せるでしょう。[br]ループaをスライドしてとなりコピーして１つとしてみれば、ループ2aができる。[br]ループは回転を逆にして、負のループとする。[br]加群のイメージがつかめたでしょうか。[br]実際にループaとループbでトーラスを切断して広げると、長方形AAAAができて対角線がcになる。[br]cはa+bで表すことができるので、独立していない。[br]これから、トーラスの1次のホモロジー群H_1は２つの基底a,bの加群だから、β1=dim(H_1)=2となるね。[br]それに対して、球の場合は表面に穴がないためループは点と同相だから、ループはない。β1=0だ。[br][b]結論、β1は面上の独立なループ数。[br][/b][br]０次のホモロジー群の基底は点だ。[br]トーラスも球も表面の異なる2点は連続する線でつなぐくとができる。[br]点の基底を１つ決めると、それをずらすだけですべての点になるから、H_0はZと同型ということだから、β0=1となるね。[br]また、穴のあるなしに関係なく、１つのかたまり、島になっているからβ0=1と言い換えることもできる。だから、２つに分離されているときはβ0=2となるね。[br]2個のゴムボールが１点でくっついているならば、その1点を通って、表面を行き来できるから、[br]その場合はβ0=1だね。[br][b]結論、β0は点の連結した島数。[br][/b][br][br]２次のホモロジー群の基底は面だ。[br]球もトーラスも表面しか見えない。裏面は解体しないと見えない。[br]ということは面に向きがあるということだ。たとえば、表面を基底にすると、裏面はそれをマイナス１倍すれば、表現できる。面に向きつけができるので、H_2はZと同型で、β2=1だね。[br]しかし、メビウス帯は面が１つあるように見えるけれど向きがつけられない。裏と表が同じ、T=-TになるからT=0となる。だから、ホモロジー群の視点ではメビウス帯には面の基底はないのでβ2=0。[br][b]結論、β2は向きつけ可能な面数。[br][/b][br][br][b][color=#9900ff][size=150]課題：次の図形のホモロジー群をイメージすることで、ベッチ数列を脳内で検証しよう。[br][/size][/color][/b][br][b][color=#0000ff]トーラスは{β0,β1,β2}={1,2,1}[br]球は{β0,β1,β2}={1,0,1}[br]円柱側面（アニュラス）は{β0,β1,β2}={1,1,0}[br]メビウス帯{β0,β1,β2}={1,1,0}[br][/color][/b][br][size=150]位相空間の用語や計算法などの確認はこちら、https://www.geogebra.org/m/twxxx3yq#chapter/1204515[br][br][/size][b][size=150]＜１F　圏（箱と射など）＞[/size][br][/b][br]箱：図形C*を[b]q次の鎖群C_q（自由加群）という小箱たち[/b]の系列にする。C*がn次元ならC_{n+1}={0}[br]射：小箱の次元下げする[b]n次元境界演算子∂_n[/b]（たとえば、∂_2:C_2→C_1と∂_1:C1→C_0）がある。[br]射の連続によって箱の系列ができるのが複体。0→C_n→…→C_2→C_1→C_0→0[br]C*がトーラスの場合は2次元曲面だから、[b]0→C_2→C_1→C_0→0という鎖系列ができる複体[/b]。[br][b]射でできる小箱の中の箱：[br][/b]射によって部分群（ミニ箱）ができます。[br][b]q次のサイクル群（ループ群）Z_q[/b]は、q次の鎖群C_qのうち∂_q(Z_q)=0のように、境界がないもの。[br][b]q次の境界群B_q[/b]は、q+1次の鎖群C_{q+1}の境界∂_q(C_{q+1})のことで、C_qの部分になる。[br][br]境界をとることをバケツリレーすると、三角形→3辺の1周→０、円盤→円周→０と2回すると０次元で０になる。当たり前ですよね。ホモロジー群はバケツリレーではありません。[br]たとえば、[br]∂_2：面→境界群B_1,　∂_1：ループ群Z1→０と1次元の鎖群C_1を舞台に左右から挟み撃ちするのですね。[br]ループ輪体Ker(∂_1) ＝ Z_1の中に、面のふち境界群B_1 = Im(d_2)が入るから、[br]関係「[b]B_1 ⊂ Z_1 ⊂ C_1[/b]」が生まれます。[br][color=#0000ff][b][size=150]複体ならば2回境界をとると０になる[/size][/b][/color]のです。[br][b][color=#0000ff][size=150]B_q(C*) ⊂ Z_1(C*) ⊂ C_q(C*)[br][/size][/color][/b][br][size=150][b]＜２F　ファンクター＞[br][/b][size=100]ファンクターは2種類ある。[br]共変ファンクターと反変ファンクターだ。[br][br][color=#0000ff][b]「共変ファンクター」[/b][/color][br]関係「B_n ⊂ Z_n ⊂ C_n」の関係性から、Z_nをB_nから見た残余を考えます。[br]共変ファンクターは境界演算子∂_kたちできる小箱の次数下げの系列C_2→C_1→C_0に対して、[br]２つの射∂_2の像（B_1）と∂_1の核（Z_1）の商の箱「Z_1/B_1」という類別によって、[br][b][color=#0000ff]ホモロジー群H_1という類別空間を作る[/color][/b]のです。[br][br]商といいながら剰余のイメージの空間です。B割ることによって、ZをBと共通する部分を消し去るのです。[br]一般化すると、境界 B_k = Im(∂_{k+1})、ループ群Z_k = Ker(∂_k)とするとき、H_k = Z_k / B_k 。[br]ベッチ数[b]βn=rank(H_n)=dim(Z_n/B_n)=dimZ_n-dimB_nとします。[/b][br][/size][/size][br][size=150][size=100][color=#0000ff][b]「反変ファンクター」[/b][/color][br]最初に、[br]1Fの鎖 C_k（図形パーツ集）の双対空間（余鎖 C^k、パーツを測定する関数（値）集）を作ります。[br]すると、[b]境界演算子d_k[/b]たちもひっくり返り、[b]余境界演算子 d^k[/b]たちができるね。[br][/size][size=100]余境界演算子d^kたちで,小箱の系列[b]C^0→C^1→C^2[/b]という次数上げの系列ができる。[br][/size][/size]２つの射d^0の像B^1とd^1の核Z^1の商の箱Z^1/B^1によって、[br][b][color=#0000ff]コホモロジー群H^1という類別空間を作る[/color][/b]。[br]一般的に、[br]余境界 B^k = Im(d^{k-1})、余ループ群Z^k = Ker(d^k)とするとき、H^k = Z^k / B^k 。[br]線形代数の知識から、双対写像がもとの射の転置行列になることは容易にわかりますね。[br][br][size=150][b]＜複体の作り方は様々＞[br][/b][br][/size]図形Xを調べるとき、ホモロジー群H_q (C*)は単体の分割で定まる複体C*には依存しません。[br]三角形分割をしても、もっと細かく点と線をかく胞体分割をしても複体は作れます。[br]q次単体を整数係数の加群で作っているということだけわかるようにH_q(X,Z) とかくことがあります。[br]もっとゆるいやり方があります。[br]q次単体をXの中に綺麗にはめ込まなくても、連続的にXに写像したものを[b]特異ｑ次単体ρ^q[/b]として、[br]それの加群としての[b]特異鎖S_q(X)の系列[/b]で[b]複体[/b]を表現します。[br]そうして、[b]特異(コ）ホモロジー群[/b]を作るというやり方もあります。[br]これは図形のパーツというよりも、[br]サランラップの破片をへたくそにしわになってもいいから貼ったものを基底にした群です。[br]きれいに貼れるという結果は問わないので、位相空間向きでしょう。[br]鎖の定義をゆるくしたことによって、逆に強く、同相の判定ができます。[b]ホモトピータイプ[/b]の判定ができるようになりました。ただし、計算も証明も複雑です。ただ、「[b]完全系列[/b]」を使うと、[b]特異ホモロジー群の計算は簡単になります[/b]。（詳細は省略します。）[br][br]

[size=150][b][br]＜解析学との融合：測定器としてのコホモロジー＞[br][br][/b][/size][b]特異鎖 S_q(X)[/b] は単体分割ではないにしろ、鎖だから図形パーツの小箱の一種であり、[br][b]鎖の系列から複体になる[/b]。[br]その双対である[b]特異余鎖 S^q(X)[/b] は、[b]図形パーツの次元ごとの測定パーツ[/b]だ。[br]位相空間は開集合で位相を決めた点集合だけど、[b]開集合の連続関数を微分可能なものにする[/b]ことで、微分できる多様体、という図形的なデータ空間ができる。[br][br]この[b]可微分多様体[/b]の上で、[b][color=#0000ff]次元ごとの図形パーツである鎖系列に対する測定パーツである余鎖[/color][/b]は[br][b]微分形式[/b]（Differential Form）というものだ。[br][br][b]0形式（0次の余鎖）C^0：[/b] [b]スカラー場[/b] f(x,y,z)[br][b]1形式（1次の余鎖）C^1：[/b] [b]ベクトル場に対応[/b]（線要素）[br][b]2形式（2次の余鎖）C^2：[/b] [b]面要素[/b][br][b]3形式（3次の余鎖）C^3：[/b] [b]体積要素[/b][br][br]「ぐにゃぐにゃ変形しても同相な」位相空間に「微分できる滑らかな測定器」を載せることで、オイラー・ポアンカレ的世界とガウス・リーマン的世界が重なりあう。[br]この余鎖の系列を逆向きにつなぐ反変ファンクターをかけよう。[br][br][b]＜余境界作用素 dの正体は「外微分」＞[/b][br]コホモロジーの世界で次元を上げる射「余境界作用素 d」の登場だ。これを微分形式の世界で計算すると、なんと解析学でおなじみの[b]「外微分」 d[/b]そのものになる。[br][br]0形式→1形式： [b]勾配 {grad}[/b]（値（勾配）からベクトルを作る）[br]1形式→2形式 ： [b]回転 {rot}[/b]（ベクトル（渦）から面要素を作る）[br]2形式→3形式 ： [b]発散 {div}[/b]（面要素から体積変化量を作る）[br][br]念のために、３つの関数のpythonコードを載せておきます。[br][color=#0000ff]def grad(w,vars): #スカラー場ｗの勾配はベクトル[br] return Matrix([diff(w, i) for i in vars])[br]def rot(F, vars):#回転はcurlとすることが多い。日本ではrot[br] F0,F1,F2 = F[br] return Matrix([diff(F2,vars[1]) - diff(F1,vars[2]),diff(F0,vars[2]) - diff(F2,vars[0]),diff(F1,vars[0]) - diff(F0,vars[1])])[br]def div(v,vars): #ベクトル場ｖの発散はスカラー[br] return sum([diff(v[i],vars[i]) for i in range(len(vars))])[br][/color][br]そして、[br][color=#0000ff][b][size=200][size=150]複体の根本ルールである d◦ d = 0（2回作用させるとゼロ）[/size][/size][/b][/color] [br]を解析学の言葉で書き直してみると……[br][br][b][color=#0000ff][size=150]rot(grad f) = 0 （勾配の場の回転はゼロ）[br]div(rot A) = 0 （回転の場の発散はゼロ）[br][/size][/color][/b][br]これらは解析学の基本公式だね。[br][br]この基本公式が実は「鎖複体（Chain Complex）の構造 [b]d ◦ d = 0[/b]」の言い換え（代数的な必然）[br]だったことが判明する。[br][br]これだけではありません。[br]「[b]グリーンの定理[/b]」は閉曲線Cが平面領域Dを囲むときに、[br]∫_D(∂b/∂x-∂a/∂y)dxdy=∫_∂D(adx+bdy)で、[br]1形式ω=adx+bdyとすると、[br]外微分dω=da∧dx+db∧dy=(∂b/∂x-∂a/∂y)dx∧dyと定義すれば、[br][b]∫_D dω=∫_∂D ω[/b]とかける。[br][br]これを3次元空間のべクトル場に置き換えたものが「[b]ストークスの定理[/b]」で、[br]∫_D((∂c/∂y-∂b/∂z)dydz+(∂a/∂z-∂c/∂x)dzdx+(∂b/∂x-∂a/∂y)[br]dxdy)=∫_∂D(adx+bdy+cdz)だ。[br]1形式ω=adx+bdy+cd[br]外微分dω=da∧dx+db∧dy+dc∧dzとすれば、[br][b]∫_D dω=∫_∂D ω[/b]とかける。[br][br]閉曲面Sに囲まれた空間領域Dで「[b]ガウスの定理[/b]」だった。[br]∫_D(∂b/∂x+∂b/∂y+∂c/∂z)dxdydz=∫_∂D(adxdz+bdydx+cdxdz)だ。[br]2形式ω=ady∧dz+bdz∧dx+cdx∧dy[br]外微分は3形式dω=da∧dy∧dz+db∧dz∧dx+dc∧dx∧dyとすれば、[br][b]∫_V dω=∫_∂V ω[/b][br][br]この３つの定理がすべて同じ形式（[b]一般化されたストークスの定理[/b]）[br][b][color=#0000ff][size=150][size=200]∫_D dω=∫_∂D ω[br][/size][/size][/color][/b]となる。[br][br]ωが全微分ならばω=adx+bdy+cdzとおき、dω=0となる。[br]dω＝Ωとすると、dΩ=0となることがわかるので、結局は、[b][color=#0000ff]d(dω)=0[/color][/b][br]外微分は2回やると必ずゼロになるのだ。[br][br]外微分dを2回やることの双対の世界では、境界をとる∂を2回やることだった。[br]だから、ここにも双対の世界からくる必然性があったのだね。[br]中抜きの定理たちという共通性の直観が当たっていることになる。[br]くわしくはこちら。https://www.geogebra.org/m/twxxx3yq#material/ujjc7jcn[br][br]ベクトル解析の学習者からは、意味不明なただの計算結果と思われがちな公式が[br]当然の結果として納得できることは素晴らしいことです。[br]この素晴らしさの締めは[b]ド・ラームの定理[/b]ですね。

[b]「ド・ラームの定理」[br][/b]解析的ド・ラームコホモロジー群 H^k(X)は、特異鎖で測った位相的コホモロジー群 H^k(X,R)と同型だ。[br][br]ド・ラームの定理は，多様体上の微分形式の定量的性質が多様体の位相的性質で決定されることを表す深遠な公式だね。(コ)ホモロジー群を直接微積分を用いて計算することは容易でない場合に、対応する位相的に(コ)ホモロジー群に置き換えて計算できるという実用性もある。[br][br][b]＜振り返り：幾何が宇宙を決める＞[br][/b]アインシュタインが「時空の幾何学的な曲がり（トポロジーや重力）」が物質や場の動きを決定することを見抜いたように、数学の世界でも「空間のトポロジー（穴の構造）が、そこに存在する物理的な場のあり方を根本から縛っている」

[b][u][size=150][color=#9900ff]課題：Geogebraで「ストークスの定理」の中抜きイメージを視覚化する。[/color][/size][/u][/b][br]#ストークスの定理は ∫_S (rot f)・ dS=∫_∂s f ・dr[br]#垂直成分をつぶして視覚化しよう。[br]#左辺は面Sにできる渦の合計、右辺は面の境界での値の合計。[br][b]#面の渦（2形式）をつぶして、周の流れ（1形式）に落とす[/b] [br]#というストークスの定理の本質を、最小単位の 4 点と 2 つの三角形で表現しよう。[br][br]タイトルは「ストークスの定理」[br]#0単体[br]A=(0,3)[br]B=(-3,0)[br]C=(0,-3)[br]D=(3,0)[br]#1単体[br]#△ABCの辺[br]AB=Vector(A,B)[br]BC=Vector(B,C)[br]CA=Vector(C,A)[br]#△ACDの辺[br]AC=Vector(A,C)[br]CD=Vector(C,D)[br]DA=Vector(D,A)[br]#2単体(Segmentという名の辺が自動作成されるので非表示にしよう）[br]ABC=Polygon(A,B,C)[br]ABD=Polygon(A,C,D)[br]# S = ABC+ACD[br]#∫_S rotA=∂(ABC)+∂(ACD)[br]sumatS=AB+BC+CA+AC+CD+DA[br]#∫∂S A[br]sumatC=AB+BC+CD+DA[br]sumatS==sumatC[br]"ストークスの定理の垂直成分\\をつぶして単純化しよう"#LaTex数式をチェックする[br]"面の渦の合計sumatS="+sumatS+""[br]"周の流れsumatC="+sumatC+""[br]""+e +"" #文字サイズを多くする。[br][br]連続的な微積分の世界の極限が点と線となり、[br]面積分が周囲の積分となり、左辺も右辺もゼロベクトルになる。[br]つまり、2回の外微分が０になることがわかるね。