このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]前回は圏論の視点で計算科学のビルをみたね。[br][br]今回は解析学のビルを見よう。[br][br]解析学は微分積分、複素解析、微分方程式と数学の核になっているいろんなツールの体系だ。[br]でも、圏論の視点でみると、すっごく単純に見えてくる。[br][br]1F（圏）：点（関数）たちをつなぐ[b]線は微分演算子[/b]だね。[br]2F（ファンクター）：無数の点をパックして「ヒルベルト空間」などの関数空間（コンテナ）に入れる。[br]3F（自然変換）：たとえば、２Fのフーリエ変換と１F時間微分が可換図式かどうかを検証します。[br][br]さあ、このビルで起きることをくわしく観察してみよう。[br][br]観察の視点は計算科学のときと同じく、次の３つだ。[br][br]○ 中身ではなく、見える振る舞いから決めるという「圏論」の視点[br]○ 一番無駄のない作りにするという「普遍性」の視点[br]○ 逆の個性（Xとco-X）が表裏一体で共存する「対称性」の視点[br][br]「分野の特有のロジック・用語」に飲み込まれるのではなく、[br]外側から関係性を冷静に観察するのだ。[br][br]さあ、出かけよう。

解析学のビルのエントランスにきました。[br]計算科学のビルがカチカチ、ぽつぽつした有限で離散的な住人たちの世界だった。[br]記号を身にまとっているけど、中身は算数に近い身近な数と文字からできていたね。[br][br]けれど、この解析学のビルは、無限と連続を本質にする数学の中核をなす巨大さを誇る。ここはビルが連結していていて、まるで１つの都市のようになっている。[br][br][b][size=150]＜1F圏　微分演算子＞[br][/size][/b]関数という「点」たちが、微分演算子という「線（射）」によって互いにつながりあっている。[br][br][color=#0000ff][b]「圏論」の視点[/b][/color][br]私たちは普通、関数の「中身（x^2 や sin(x) などの具体的な数式）」に注目しますが、微分演算子で、関数という点どうしがどうつながっているか、という視点で見てみよう。[br][br] x^2→2x→2→0　#川の流れは[b]行き止まり[/b]がある。[br] [b]sin(x)→cos(x)→-sin(x)→-cos(x) [/b]→sin(x)　#最初の４つの関数がぐるりんと[b]サイクルになる[/b]。面白い。[br][br][b]e^x→e^x→e^x→e^x　[br][/b]e^xは微分でびくともしない。微分世界の不動点になっているね。[br] 頑固すぎて孤独な存在ともいえるが、この[b]圏論の射では基準点になりうる貴重な存在[/b]に見えてくる。　[br][br][b][color=#0000ff]「普遍性」の視点[/color][/b][br]微分は関数を局所化する働きで、１点では傾きを表しました。[br]直線と考えたときの係数です。[br]2階微分すると2次曲線と考えたときの係数となります。[br]3階微分では、3次曲線の傾きが。。。。[br]と考えることにより、[br]連続して何回でも微分できる関数ならば、[br]ｎ階微分係数とｎ次多項式の積の情報をうまく加減して追加していくことで近似できる。[br]もしも、この操作を無限に行えたら関数の情報を最も無駄なく、しかも扱いやすい形に直せる。[br][br]これが、「テイラー展開」でした。ｘが０のときにしたものが「マクローリン展開」でした。[br]文字式にしてしまうと、文字だらけの証明モードに突入してしまいがち。[br]もちろん、それも大事だけれど、その背景の思想を伝えるには、むしろ具体的な関数の例をみたり、[br]geogebraのアプレットで近似の程度を感じる方が大切ではないか。[br][br]e^x=1 +x +x^2/2! +x^3/3! +.......[br]sin(x)=x -x^3/3! +x^5/5! -....[br]cos(x)=1 -x^2/2! +x^4/4!+[br]このテイラー展開、マクローリン展開はまさに、普遍性の思想につながってますね。[br][br][b][color=#0000ff]「対称性」の視点[/color][/b][br]微分と積分が逆操作で表裏一体であることは言うまでもありません。[br]しかし、表裏一体ということを実感するために、その共通点とつながりを確認しておきましょう。[br]微分と積分は演算としては逆操作ですが、同じ流れで求めています。[br]divide　⇒　extract 　⇒ extend という流れです。[br]微分は関数を[b]細分して[/b]瞬間の[b]増加率[/b]の計算を全体で求めます。共通点を取り出して新しい関数にします。[br]微分は、関数を「傾き」関数に直す操作ですね。（特に、extract)[br]積分は関数を[b]細分して[/b]瞬間の[b]値[/b]を全体で求めます。その総和をパックして新しい関数にします。[br]積分は、関数を「面積」関数に直す操作ですね。(特に、sum)[br]そして、この２つの操作が双対であることの主張が[br]「微積分の基本定理」でしたね。[br]①関数 f(t) が連続であるとき、[br]定積分を用いて定義される関数 [b]F(x) = ∫_a^x f(t) dt[/b] を x で微分すると、元の関数 f(x) に戻る[br]②[b]∫_a^b f(x) dx = F(b) - F(a) = [ F(x) ]_a^b[/b][br]くわしくは[url=https://www.geogebra.org/m/twxxx3yq#material/fm3awrmr]こちら[/url]。https://www.geogebra.org/m/twxxx3yq#material/fm3awrmr[br][br][size=150][b]＜2Fファンクター　関数空間＞[br][/b][/size][br]点である関数たちが「ヒルベルト空間、バナッハ空間」などの巨大な関数空間（コンテナ）の中に綺麗にパッキングされています。[br][br][b][color=#0000ff]「圏論」の視点[/color][/b][br]「関数空間」では関数という点をベクトルという点とします。関数の中身である写像関係は見えません。[br]その代わり、関数と関数の関係がベクトルとベクトルの関係として見えてきます。[br]すると、関数が作る角が大切になるのです。実際に何度という角度を出すわけではありません。[br]ベクトルの内積を思い出しましょう。２つのベクトルu=(a,b),v=(c,d)があるとき、[br]内積はベクトルの同じ軸の成分の積の総和であり、相手のベクトルサイズに自分の影を落としたサイズに向きをつけた値でもありました。[br]u・v=(a,b)・(c,d)=ac+bd=|u|cosθ |v|=|u||v|cosθ。[br]これから[b]２つのベクトルの類似度cosθ=|u||v|/(u・v)[/b][br]で出せるのでしたね。θ=90だとcosθ＝０だから、[br]２つのベクトルは直交することもわかりました。[br][br]今のは超基本の2次元でした。[br]関数ｆを変数ｘの値とするかわりに、ｘを無限に細分したときのｆの無限の値とすると、関数ｆが無限の成分をもつベクトルになりますよね。そして、xが別に実数じゃなくて、複素数だとしても、同じ発想でｆを無限次元のベクトルとみなすことができるでしょう。[br][br]2次元ベクトルu,vの内積は積和だった。[br]だから、無限次元ベクトル、２つの関数f,gの内積は無限の積和つまり、積分になるね。[br][b][color=#0000ff][size=150]＜ｆ、ｇ＞＝∫_a^b f(x)g(x)^{*} dx （gは共役複素数にした関数）[/size][/color][br][/b][br]こうして[b]直交する関数を基底として表現した関数空間[/b]が「[b]ヒルベルト空間[/b]」でした。[br][br]数学者というのは、無限が見える人ではなく、2次元3次元からの類推でｎ次元を考えて、細分そのものを無限にすると無限次元も不可能じゃないでしょ。というように、あるから考えるのではなく、ありうるものは思考できるという発想をするのですね。[br]そこに山があるから上るのではなく、幻だとしてもありうる山ならば上れるだろうということです。[br]まさに、実物調査ではなく[b]関係性だけから思考を深める[/b]という圏論に視点そのものですね。[br][br][b][color=#0000ff]「普遍性」の視点[br][/color][/b][br]有理数の中にルート2が存在しないように、[br]関数を極限に飛ばしたとき、その行き先の関数が空間からはみ出してしまうことがあります。[br]そこで、はみ出た極限（穴）をすべて埋めて「これ以上何も足さなくていい、最も無駄のない緊密な空間」を作り上げるのが「[b]完備化[/b]」です。[br]この「完備な空間への自由な拡張」こそが、解析学が無限を安全に扱うために用意した普遍的なコンテナの設計思想です。[br][br]f(z)のべき級数P(z)=Σa_nz^nの収束円Cが原点中心だとしよう。[br]C内の点aをとるとｆ(z)はaにおいてP(z-a)に展開されて、C内の内接円CCaでは収束するけれども、[br]収束円Caはそれより大きいかもしれないね。f(x)はCとCaの合併領域K1に解析的延長ができる。[br]さらに、K1の中でCの外にある点bをとれば、ｆ(z)をｂにおいてP(z-b)に展開すると収束円CbはK1をはみ出るかもしれない。そこで、K1とCbの合併領域K2に接続される。つまり、局所的に点をずらしながら、収束円を重ねながら解析関数をテーラー展開を続けることで、ずるずると[size=150][size=100]局所的な解析接続を連続するウロコ状ような連結ができる[/size][/size]。これが「[b]解析接続[/b]」です。解析接続によって正則関数ｆ（ｚ）のべき級数展開の収束円を徐々にずらすことで正則域を広げることができる。爆発しまくるあのガンマ関数でも正則域を広げて、関数のグラフをかくこともできてしまう。[br]くわしくは[url=https://www.geogebra.org/m/twxxx3yq#material/rawvqvcc]こちら[/url]、https://www.geogebra.org/m/twxxx3yq#material/rawvqvcc[br]解析接続の発想は、「[b]リーマン面[/b]」も含めて、複素関数の可能性を普遍性の視点で広げたものと言えるね。[br][br][color=#0000ff][b]「対称性」の視点[/b][/color][br][*]関数空間 Vと、その上の「線形機能（関数を評価して数値を返す役割）」を持つ「双対空間（Dual Space: V^{*}）」が共存しています。[/*][*]状態を表すベクトル（ケット）と、それを観測するベクトル（ブラ）の対称性ですね。[/*][*]量子力学の舞台でもあるこのフロアでは、状態（X）と観測（co-X）が、内積という架け橋を介して完全な対称性を保っています。くわしくは[url=https://www.geogebra.org/m/twxxx3yq#material/t4sc3hed]こちら[/url]、https://www.geogebra.org/m/twxxx3yq#material/t4sc3hed[/*]

[b][size=150]＜3F　自然変換＞[br][color=#0000ff]時間領域と周波数領域という2つの関数空間（コンテナ）を結ぶ広大な連絡通路です。[/color][/size][/b]ここでは「フーリエ変換」というファンクターが引き起こす「[b]可換図式[/b]」が検証されています。[br][br][b][color=#9900ff]【時間領域の空間】 ────（時間で微分する d/dt ) ────> 【時間領域の空間】[br] │          　　　　　　　　　　│ [br] │ (フーリエ変換 ℱ)　　     　　　　　　　│ (フーリエ変換 ℱ)[br] ▼ 　　　　　　　　　　　　　　　　 　▼[br]【周波数領域の空間】 ─── ( 周波数iω をかける代数積 )──> 【周波数領域の空間】[br][/color][/b][br]どういうことか？[br]もともとフーリエ変換はフーリエ級数展開という実数世界のものだったね。[br]音の周期関数を、まるで[b]テーラー展開の三角関数バージョンのように[br]無限級数で表せる[/b]というのがフーリエ級数展開だった。[br]f(t)=(π/4)+Σ[(-2/π)*1/((2p+1)^2)) cos((2p+1) 220 frq *2 π t ]のように。[br][br]基本周波数をｋとすると、(周波数ｋの倍率,振幅の倍率)のペアのリストができる。[br]・純音　　　；(１，１）[br]・ノコギリ波；(1,1),(2,-1/2), (3, 1/3),(4,-1/4),(5,1/5),......................, ( k, (-1)k+1/k ),.....[br]・矩形波　　；(1,1)　　　 , (3, 1/3) ,(5,1/5),......................., ( k, (1-(-1)k)/k ),.....[br]・三角波　　；(1,1),　　　 ,(3, 1/32) ,(5,1/52),,..................., (2k-1, 1/(2k-1)2),.....[br]つまり、[b][color=#0000ff]時間領域[/color][/b]の点[b]f(t)[/b]から[b][color=#0000ff]周波数領域[/color][/b]の点[b]F(k)[/b]を作れるということ。[br][br]「[b]オイラーの等式[/b]」から、三角関数という周期関数は複素数の世界にもっていくと指数関数に置き換えられらたね。sinx,cosxではなくe^ixを基本の波とすれば「[b]複素[/b]」フーリエ級数に早変わりできる。[br][br]さらに、[b]f(t)の周期Tを∞にする[/b]ことにより、周期関数でなくたって[b]時間領域[/b]の点f(t)から[b]周波数領域[/b]の点F(k)にできる。これが最強の変換がフーリエ変換というわけだ。２種のコンテナをつなぐ自然変換だ。[br][br]f(t)とf'(t)がなめらか、区分的に連続、絶対値の積分が有限なとき、∫は不定積分[-∞, ∞]だとして、[br]もとの関数f(t)に対するフーリエ変換 ℱ(f(t))=∫(e^{-[color=#0000ff]ik[/color]t} f(t) dt＝F(k)[br]フーリエ逆変換はℱ^{-1} (F(k))= 1/(2π)∫e^{ikt} F(k) dk＝f(t)[br][br]どちらも、もとの関数にexp(-ikt)かexp(ikt)をかけてkかtで積分するところが同じだね。[br]フーリエ変換は積分の１種なので[color=#0000ff][b]線形性がある[/b][/color]。[b][color=#0000ff]重ね合わせの原理[/color][/b]ともいうね。[br]だから、基本となる関数の変換公式の組み合わせで変換ができてしまう。[br]この可換図式のおかげで、難しい微分方程式をただの割り算・掛け算（代数方程式）に変換して解き、最後に戻す（逆フーリエ変換）というショートカットができるわけなんですね。[br][br]音の波から周波数を取り出す詳細は[url=https://www.geogebra.org/m/twxxx3yq#material/rquwy3rx]こちら[/url]、https://www.geogebra.org/m/twxxx3yq#material/rquwy3rx[br]微分方程式の解法の道具としての詳細は[url=https://www.geogebra.org/m/twxxx3yq#material/jvqseryq]こちら[/url]、https://www.geogebra.org/m/twxxx3yq#material/jvqseryq[br]量子回路での利用の詳細は[url=https://www.geogebra.org/m/twxxx3yq#material/ctuvkbwm]こちら[/url]https://www.geogebra.org/m/twxxx3yq#material/ctuvkbwm[br][br][b]「対称性」の視点[br]時間域 (Time) と 周波数域 (Frequency) の双対[/b][br]時間軸で「[b]1点に凝縮（局所化）[/b]」している信号は、フーリエ変換すると周波数軸では「[b]全体に拡散（広域化）[/b]」します。逆に、時間軸で「[b]一定の波（広がり）[/b]」は、周波数軸では「[b]1点のスペック（デルタ関数）[/b]」になります。[br][color=#0000ff][b]「凝縮（1点）」と「拡散（全体）」が「フーリエ変換という自然変換」[/b][/color]をはさんで、[br]完璧な双対（X と co-X）になっているのです！[br][br]「フーリエ変換（F）」と「逆フーリエ変換（co-F）」の対称性[br]時間を周波数に変える行為と周波数を時間に戻す行為は、数式の符号が反転するだけで、驚くほどそっくりな双子の関係にあります。[br]また、時間領域でギュッと狭まった鋭い波（パルス）は、周波数領域では広大な裾野（ホワイトノイズ）に広がるという「不確定性原理」も、このフロアの対称性が生み出す美しいトレードオフのドラマです。[br][br][b]「普遍性」視点[/b][br]フーリエ変換の本質は、あらゆる複雑な波動関数を、[br]正弦波の無限和という最も無駄のない直交基底へと一意に分解する普遍的なコンテナの組み替えです。[br]情報を一切損なうことなく、別の表現空間へ最短距離でワープさせる構造がここにあります。[br]つまり、こうだ。[br]テイラー展開では多項式の直交基底で再表現、[br]フーリエ展開では正弦波の直交基底で再表現、[br]フーリエ変換では連続周波数の直交基底で再表現。[br]複雑な公式に見えるけれど、普遍性の視点で見たら[b]フーリエ変換は直交分解[/b]に過ぎない。[br]ということだね。

３Fの住人である「フーリエ変換」は[br]時間領域関数コンテナと周波数領域関数コンテナをつなぐ自然変換だ、という位置づけができた。[br]圏論、対称性、普遍性、この３つの視点で見たとき、正に圏論の花といえる存在に見えてくる。[br][br]それでは、「[b]フーリエ変換ℱ[/b]」という解析の花と、[br]もとになった「[b]フーリエ級数[/b]」を、数式として見てみよう。[br]そして、役割の美しさだけでなく、その有用性にまで分け入ってみよう。[br][br][b][size=150]＜可換図式＞[/size][/b][br]時間微分をダッシュ(')で表すことにする。[br]「可換図式」を数式化すると、「[b]ℱ(f'(t)) = iωℱ(f(t))[/b]」たったの1行でかける。[br]もし2階微分すると、(iω)^2=-ω^2となるので、「[b]ℱ (f''(t)) = -ω^2ℱ(f(t))[/b]」[br]つまり、[br]1階微分するごとに[b]iω[/b]をかけて、[br]逆に積分するごとにiωで割るだけで変換ℱになる。[br]なんて簡単なんだろう！[br][br][size=150][b]＜直交基底＞[/b][/size][br]フーリエ級数[b][size=150][color=#0000ff]f(x) = a0 /2+ Σ(an cos(nx) + bnsin(nx))[/color][/size][/b]では[br]基底[b]1,cos(x),...cos(nx),..; sin(x),., sin(nx),.....[/b]が直交する。[br]計算は略しますが、内積にあたる積和∫_π^π dxをとると[br]cosどうし、sinどうし、sinとcosの異なる積和＝０となるので、基底が直交するということ。[br][br][b][size=150]＜フーリエ展開と偶奇和分解＞[br][/size][/b]フーリエ展開だけでも面白いことがいろいろある。[br][br]f(x)=xを2π周期になるように[-π,π)で区切り、[π,3π)の範囲はf(x)を+2πスライドしたx-2πにする。そうすると、f(x)のフーリエ展開はf(0)=0=a_0の奇関数だから、b_n *sin(nx)の総和になるね。[br]部分積分をして計算すると、係数b_n =(sin(nx)・f(x))=1/π∫_-π^π x sin(nx) dx =2/n(-1)^{n+1}(n=1,2,3,...)[br]となる。だから、f(x)のフーリエ展開はf(x)=x=Σ2/n(-1)^{n+1} sin(nx)となるはず。[br]x＝0のときもとの直線ではf(π-0)＝π、f(π+0)＝－πと分岐するけど、フーリエ展開ではその平均の0。[br]このように、「不連続点xでのフーリエ展開＝[b]極限値の平均1/2(f(x-0)+f(x+0))[/b]」になる。[br][br]任意の関数ｆは偶関数ｆEと奇関数ｆOの和にかけるf(x)=fE(x)+fO(x)としよう。[br]コトバの意味から、fE(-x)=fE(x),fO(-x)=-fO(x)だから、f(-x)=fE(-x)+fO(-x)=fE(x)-fO(x)[br]fO(x)だけ符号が判定するから、もとの偶関数と奇関数はもとの関数f(x)とf(-x)と使って[br]「[b]fE(x)=1/2(f(x)+f(-x)), fO(x)=1/2(f(x)-f(-x))[/b]」と偶奇和分解からの再表現できるね。[br][br]この関数の「偶奇和分解からの再表現」の考えを使ってみよう。[br]-π,0,πで不連続で、- πとπの間を基本周期とする関数[br]f(x)=if(-π≦x＜0、[b]0[/b], if(0≦x＜π,[b]1[/b]))のフーリエ展開を調べてみよう。[br]fに-xを入れるとy軸で反転して、f(-x)=if(-π≦x＜0、[b]1[/b], if(0≦x＜π,[b]0[/b]))[br]f(x)=fE(x)+fO(x)と仮定すれば、fE(x)=[b]1/2[/b]ピッタ　（xがなんであれ）[br]fO(x)=if(-π＜x＜0、[b]-1/2[/b], if(0＜x＜π,[b]1/2[/b]))で、原点対称の奇関数でfを1/2引いた式だね。[br]もとのf(x)はx=0で１だからfE(x)のフーリエ係数は[b]a0=1,an=0,[br][/b]fO(x)のフーリエ係数はbn=(sin(nx)・fO(x))=1/π∫_-π^π fO(x) sin(nx) dx [br]=2/π∫_0^π 1/2 sin(nx) dx=∫_0^π {1/π sin(nx)} dx[br]=[-1/nπ cos(nx)] _0^π　⇒2/π の奇数分の１倍だけが残る。（2/πの1/1,1/3,1/5,....倍）[br]だから、フーリエ展開はf(x)=1/2+2/π(sinx+1/3sin3x+1/5sin5x+....)となるね。[br]1/πの奇数倍のsinは1,-1を交互に繰り返すため、[br]ここで、x=π/2とすると、f(x)=1=1/2+2/π(1-1/3+1/5-....)となるね。[br]なんと、（）の中の式の値は円周率を使った値[br][b][color=#9900ff][size=150]1-1/3+1/5-....＝(1-1/2)÷2/π=π/4[br][/size][/color][/b]となるね。[br]これは[b]グレゴリー級数[/b]と名前がついているようだ。[br][br]調子にのって、他もやってみよう。[br]- πとπの間を基本周期とする関数f(x)=x^2。[br]a0=1/π∫_-π^π x^2 ・1 dx=2π^2/3, [br]bn=1/π∫_-π^π x^2 ・sin(nx) dx= 0 (非積分が奇関数）[br]an=1/π∫_-π^π x^2 ・cos(nx) dx=....=4/n^2 (-1)^n (n=1,2,..) 部分積分による。[br]これから、フーリエ展開f(x)=x^2=a0/2+Σbn ・cos(nx) [br]=(2π^2/3)/2 + Σ 4/n^2 (-1)^n cos(nx)[br]ここで、x=πとおくと、x^2=π^2となる。一方で、[br](-1)^n cos(nx)はn=１なら(-1)^(-1)=1,n=2なら(-1)^2*1=1,n=3なら(-1)^3*(-1)=1,....と必ず１になる。[br]だから、f(π)=π^2=2π^2/3+4Σ 1/n^2＝2π^2/3+4ζ(2)となるね。[br][br][b][color=#9900ff][size=150]ζ(2)=π^2*(1-1/3)/4=π^2/6 (バーゼル問題）[br][/size][/color][/b][br]もっとやってみよう。[br]- πとπの間を基本周期とするf(x)=if(-π≦x＜0,[b]-x[/b], if(0≦x＜π, [b]x[/b]))という偶関数のフーリエ展開。[br]a0=1/π∫_-π^π f(x)・1 dx＝2/π∫_0^π x dx=π[br]bn=0[br]an=1/π∫_-π^π f(x) ・cos(nx) dx[br]=2/π∫_0^π x ・cos(nx) dx=2(-1)/πn^2{1-(1)^n} [br]⇒-4/π の奇数の平方分の１倍だけが残る。（-4/πの1/1,1/3^2,1/5^5,....倍）[br]これから、[br]f(x)=π/2-4/π(1/1 cosx+ 1/3^2 cos3x+1/5^2 cos5x+...)[br]ｘ＝０のとき、f(x)=0。[br] フーリエ展開でx=0とおくと、cosnx=１から、π/2-4/π(1/1 cosx+ 1/3^2 cos3x+1/5^2 cos5x+...)[br][b][color=#9900ff][size=150]1/1+1/3^2+1/5^2+...... = π/2÷4/π=π^2/8[br][/size][/color][/b][br]級数がπを使った値になる式が量産できて楽しいですね。