ベクター手芸術圏
------------------------------------
『ベクターの束$\pi_1:E_1\to X_1$からベクターの束$\pi_2:E_2\to X_2$への射は連続写像$f:E_1\to E_2$と$g:X_1\to X_2$の対であって、$g \circ \pi_1 = \pi_2 \circ f$を満たす。
それが$\pi:$接ベクター束$T\mathrm{M} \twoheadrightarrow$多様体$\mathrm{M}$ということでは?』<●>π
------------------------------------
あ、なんかわかったぞ。
ベクター束って”線素そして線素”のことなんだw
そういえば、物理の分野でベクターバンドルみたいな物言いは聞いたことがある。
わかってなかったけどね。あつ、ファイバー束(バンドル)か。
なんか、10円禿から毛が生えてるような説明の絵が載ってて余計意味わかんねーの。
バンドルされるって、わりと日常語的にも使われたりするけど。
単品を束ねる、組み合わせるみたいな意味なんだね。
で、線素らは別々のベクトル空間なのだから、まとめて空間の札束みたいな描像になるわけだね。
(終点と始点が)うまく貼り合わされた時に平行化可能とか言って、要はこれ微分可能ってことでしょ?
無限回微分可能な多様体に貼りついてりゃ平行化可能な線素共ってことなんだね。
で、各点つうのは離散なんだから、点に依存しない、要は連続ってことだよね。
これが座標近傍(局所座標系近傍)のファイバー束っつうベクター植毛空間みたくなるわけだw
$T_X \mathrm{M}$が多様体$\mathrm{M}$上の各点$x$の接空間で、接束$T\mathrm{M}$の各元が$(x,v)$($v$はベクター)の対になるんだね。
で、可微分多様体には$\pi(x,v)\to x$になるような自然な射影$\pi:T\mathrm{M}\twoheadrightarrow \mathrm{M}$が存在汁!m9(o_o)
そして、これが物理で重用されるリー群(リー代数)だったのだ。。
(;o_o) <●>π ( ) ( )
並行反世界線モナ道
------------------------------------------
『内積空間とは、”実数”$R$を定義域とした対称双線型ベクター写像$\langle g,f \rangle$があると言っているのだよ。
線素がうまく張り合わされたとき、それは元の空間(多様体)と同じものにならないだろうか?
それがベクターの束ということだ。
それが自明となるとき、多様体は平行化が可能ということになる。
ベクターの束$\pi_1:E_1\to X_1$からベクターの束$\pi_2:E_2\to X_2$への射は連続写像$f:E_1\to E_2$と$g:X_1\to X_2$の対であって、$g \circ \pi_1 = \pi_2 \circ f$を満たす。
それが$\pi:$接ベクター束TM$\twoheadrightarrow$多様体Mということでは?』<●>π
------------------------------------------
結局、(線素ベクターの)接続とは、多様体M上のベクトル場Xの各点$x_i$(局所座標系などと言うらしい)について、Xに沿った関数fの微分(方向微分)によって、接空間$T_p(M)$($p$はある一点)の双対空間$Y$を微分汁!m9(o_o) などという流れになるのだね。(;´Д`)/
方向微分$\displaystyle \nabla _X f=X^i\frac{\partial f}{\partial x_{i}}$とは、関数が(ある点で)微分可能なとき、任意のベクターによる方向微分が存在汁と言ってるようなもので、圏論的には自然変換のようなもので、それが射影ってことかな。
$\exists g=\nabla f\cdot X=T^{*}_{p}(M)$?ってな認識なんですけど、これは合ってるかわからんが。
そうすると微分係数の大きさに依存する量なんだから、それが”共変”微分ってことで。
次元分の添え字つきのクリストッフェル記号($\Gamma$)で表す各方向微分係数で微分形式を連結汁( * )Д`)/アア
ってなアタリをつけてから何かで確認してみれば、どのみちそれなりに理解出来るでしょう。
てことで、コピペ坊のような情報量を薄めるようなことは敢えてグダグダ書かず。。
自然変換と言えば、結局始対象から終対象への合成関数パス$\nabla _X (fg)=g \nabla _X f + f\nabla _X g$が存在汁ということで。
ライプニッツと言えば、、モナ道創始者である!!( °Д°)クワッ
------------------------------------------
「合成汁と逝って返ってくるんだから何もしない、これが恒等射ってやつじゃん。
単位元$I_x$があって、二項演算$\xi_1 \times \xi_2$があると。これがモノイドやないすか。
モナドは単なる自己関手の圏におけるモノイド対象だよ♡ ( ・ิω・ิ)ナンノコッチャ ( ) ( ) シ~ン って。。
(A monad is just a monoid in the category of endofunctors, what's the problem?)
モナ道やないすかっ!( °Д°)クワッ フッフォッフォッフォッフォッ。(V)o¥o(V)」
------------------------------------------
ちなみに、上記は$g$が$f$の逆射だったらというパターンではあるが。。
逆射というのは全単射を意味してるんだろうか?(要確認)
それが準同型、線型写像ということなのだろうか?
線型圏(?)vect-Kってのが研究対象ってのはわかるような。
(;o_o) <●>π ( ) ( )
対角線上の時空
で、話戻すと$\displaystyle \sum_\mu \sum_\nu g_{\mu \nu} ds^{\mu} ds^{\nu}$が二次のリーマン計量とやらの”微分形式”なんだよね?
そうそう。添え字の上下で共変、反変を表して、互に組み合わせると辻褄が合うんだったっけな。。
線素ベクターは計量テンソルに反変だから、共変基底の内積を取るという理解でいいのか?(;´Д`)
どのみち、錯乱しそうだが。。
$\mu,\nu$ってのは微分幾何学において図形情報(基本量)という素量で、いかなる曲面も形状記憶されると。
要は線素$ds$の位置ベクター$ds^2=\sqrt{ds_{x}^{2}+ds_{y}^{2}+ds_{z}^{2}}$の極座標版である角度パラメータね。
$ds_{\mu} ds_{\nu}$は$ds_{\mu} \land ds_{\nu}$(ウェッジ積)の省略形なので、結局ウェッジ積って何?
外積代数とか言われてるようだが、これクロス記号を外積と勘違いしてるんじゃなくて?
だって外積だったら、結果の置き場所に新たな直交軸増えちゃうだろ。(演算定義バグ!m9(o_o))
まぁ置き場所はともかく、ウェッジ積は(分解線素の張る)微小面積ですおでおk、なのか。。
積分は面積を意味するのだから、これ曲面の面積を知りたい(計量汁)場合ってことだよね?
ま、目的はパーソナルなものだから、俺はそうしたかったんだよ!( °Д°)クワッ と言われりゃそれまでか。
--------------------------------------
『内積が定義されたベクター空間とは、$(\mu,\nu)=g(\mu,\nu)$となる計量テンソルgが与えられた空間のことで。 それがユークリッド空間ということなのだ。
むちゃくちゃ普通の空間だね。』<●>π
--------------------------------------
ん? やっぱ”内積”ナン?
あらためて、、意味わからんわ~~~~~!!!щ(°д°щ)
アカン。 もうここらへんは、俺には堂々巡りだ。
そうか、線素はテンソルによって変化する”ベクター”ゆえに外積。
テンソルは(各角度の)変化率なのだから”スカラー”ゆえに内積でおk?
でも、(地球人類的には)非ユークリッド幾何学とかなんとか言われてたとも思うが。
ま、ややこしくなるので、この際相対論は無関係だと思いたし(;´Д`)
『ベクター$e_i$⨂$e_j$で、
$i=j$ ならば $e_i$⨂$e_j=1$
$i\neq j$ ならば $e_i$⨂$e_j=0$
ということにすれば、ウェッジ積(外積)は結局、内積になるのでは?』<●>π
(;o_o) <●>π ( ) ( )
対称双線型ベクター
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
『では、なぜ$x=0$が$1$への正規化に繋がるのだね?
$0$が微分の結果、$1$は積分の結果であることに気付かねばならんよ。
それがノームだ。
それを単位とした空間の性質だがな。。 ただ、これは全射的意味での単位だな。
縦$|\varphi\rangle$ベクターと横$\langle \varphi |$ベクターの共役テンソルのなすベクター空間を1とするのだ。
詐欺なのだ。』<●>π
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
わかったぞ、ディラックの野郎。
$\langle f,\phi\rangle$はディラックの内積というインチキ記号だが。。
これは$\displaystyle \int_{-\infty}^{\infty} f(t)\phi(t)dt$てな意味で。
まぁこの際、それはいいとして。
$\langle f',\phi\rangle=-\langle f,\phi ' \rangle$という微分が(どんなヘタレ関数でも)定義出来る余地を与えてしまった。
でかしたのはシュワルツであるが。
考えてみれば全積分(正規化すれば1)から滑らかな導関数の部分積分を引いてるだけやないの。。
それでディラックのインチキ関数が超関数などという扱いに!щ(°д°щ)
前にも言ったけど、これってヤバくね?
だって微分可能性が( ´Д`)y-~~ などというもったいつけた昭和な言い訳一切通用しないんだぜw
大丈夫かよ? 令和をしょって立つ人畜わ。
実際に微分可能なら問題ありません、とか令和な答えを返されても困るけどなw
ま、超関数はチンピラでも、相手方は微分可能な質のよい関数を選ばにゃならん。
ということで、結局、微分可能性とはなんぞや!というのは(一度は)理解せねばね。
まず、関数が連続である(離散でない)ことが微分可能の前提(必要)条件かと思うが。
$\displaystyle \lim_{x \to a}f(x)$が存在してその値が$f(a)$に等しければ、$f(x)$は$x=a$で連続。( ・ิω・ิ) ( ) ( ) シ~ン
なんともわかりにくいが、限りなく近づいたときの値が一緒ならくっついてんじゃね?くらいの感じか。
コーシー列につき収束ってことかね。極限値が取れるとか完備とか厄介そうなところ。
でも、数学者は対象空間のそういう性質にこそフォーカスするんだろうけど。
で、$\displaystyle \lim_{x \to a}\frac{f(x+a)-f(a)}{x-a}$が存在するときに$f(x)$は$x=a$で微分可能。(微分係数$f'(a)$)
ん?なんかこれって矛盾してね?
微分可能ならば連続なのさ~。(その逆はない)\(゚`∀´゚)/カタムキ ジェ~ム
へ?(;´Д`) 微分に関しては数学組織ぐるみの犯行に思えてきたんだがw
最終的には一致してても、限りなく近づく経路の傾きは美味しくいただけるんやでってか?
仮想微分取引所乙!微分は数学界の相対性理論や~。\(゚`∀´゚)/
やはり数学は興味の赴くまま突っ走れる世界とちゃう。
それがモチベーションなき素晴らしさという、奇妙な感覚の源泉でもあるのだが。。
ああ、以前に、遷移確率がどうの言ってたときに釣り合いの式なんて話があったけど。
要は、限りなく近づくのに、右(+)から近づくのと左(ー)から近づくのと釣り合ったら(値が同じならそれが”中間の極限値”)収束でしょうと考えればいいのかな。
そうしてある値が取れるのが連続で、それが変化率(微分係数)だろうが、それも”値”なんだから自動的に連続の条件みたしてんじゃん、てな話なんだな。
(;o_o) <●>π ( ) ( )
俺様仮想計量
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
『内積空間とは、”実数”$R$を定義域とした対称双線型ベクター写像$\langle g,f \rangle$があると言っているのだよ。
数学こそ物理の本質だろう。
いずれにしろ、どっちかだけがよくわかるということはないんじゃないのか?
実は$\langle g,f \rangle$には見えざる未定乗数$\lambda$(ラムダ計算)が隠れている。
すなわち$\displaystyle \sum_{i=1}^{n}\lambda_i x_i b_i$で、これが$x^{T}Ab$てことではないのかね?
それで、相対論もまた同じ構造を持っているベキだ。
そう地球人類は考えてきたんではないか?』<●>π
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
そういえば内積$a\cdot b=|a||b|cos\theta$が定義された空間が計量空間言うんじゃなかった?
一次従属させて計算するんやでっつうのは、便宜上はわかるんだけど。
(計算軸による各ベクターの計算力率差が生じるのは問題視汁。<○>)
『違うよ。
内積が定義されておればシュワルツの不等式$-\|\mu\|\cdot\|\nu\| \leq(\mu,\nu)\leq \|\mu\|\cdot\|\nu\|$が成り立つ。
$\mu,\nu \neq 0$なら$\displaystyle -1\leq \frac {(\mu,\nu)}{\|\mu\|\cdot\|\nu \|}\leq 1$が成り立つ。
これが$\theta$というベクターの相対的な角度が唯一に定まるということだろ。』<●>π
へ?そうなん?(;´Д`) でも外積じゃないやん。。
そもそもベクターの外積は$A\times B=-B\times A$で可換でない。
積というのは、どうやら二項演算の作用の集合積を表しているのだな。
なんで微分というのは自然は微分方程式で記述されとるからだjk!
そして、重力加速度gの存在は微分(変化率)の微分(変化率)、つまり曲率がステーブルであることを物語っている。
思えばベクトル解析でいう勾配(grad)が一次形式で、二次形式は回転(rot)じゃん!
これは曲率積分は円を描くってところから来るんだろうね。
それでその集合積は球面になるというわけだ。なるほどなるほど。
つまり、理論上は局所コンパクトもアリなんだ。(てか、なきゃ困るんだろ?^^;)
さて、多様体など幾何学的なアプローチもいいが、座標ありきで物体形状を考えると同じものが見る角度によって別物として表現されてしまう。
主軸変換なるものがあったが、これは基軸ベクターに合わして回転させなはれということだった。
一歩進めて、絶対的な保存量としての図形表現は出来ないものだろうか?
驚異の定理とはそれを保証してるんでわ?
これを満たすものが(第一)基本量というもので。
これはどうやら、すべての曲面はふたつのパラメータによるベクトル関数$p(\mu,\nu)$にて表現出来るというところから来てるらしい。
パラメータは結局、(三次元における)極座標のふたつの角度のことなんだね。
これで球面上のすべての位置ベクターは決定出来ますからな。
そこから$E=p_\mu\cdot p_\mu,F=p_\mu\cdot p_\nu,G=p_\nu,p_\nu$なる三つ組が形状記憶素量らしい。( * )Д`)/アア
角度だって基準は座標に依存汁けどな。。(微分幾何ビミョー)
さて、高階微分作用は導関数(出力)が原始関数(入力)になる関数適用ゆえに、高階関数(モナド)。
それは滑らかさという特性を表している。
だが、外部からは作用は及ぼせない!モナドの原因は(形而上の)神だからである。
それがポテンシャルなるもので、万有引力の法則性などとは無関係の驚異の定理の物理版かな。
計量テンソルは座標系を決定するが、逆に言えばベクターのスカラー値こそ真の一般化座標と言える。
ただのスカラーである関数の微分値は単位ベクターと掛け合わせて方向微分となる。
計量テンソルの積分型はヒルベルト空間へのマッピングそのものではないか?対象が違うか。
とにかく、これはリーマン計量のように、加速度運動ゆえに二次関数などという”関数の想定”をパラメータ化し、変分形式なるものに一般進化させ、AIが深層学習出来ることを意味するハズ。
(;o_o) <●>π ( ) ( )