このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]前回は圏論の視点で解析学を見ました。[br][br]今回が圏論の視点で、線形代数（LA)のビルをみます。[br]必要不可欠というわけではありませんが、線形代数の中身が気になる方はこちらをご覧ください。[br]https://www.geogebra.org/m/mrmfxu6x[br][br]線形代数のビルは、[br]1F（圏）「線形空間」：対象が「線形空間（ベクトル空間）」で、射が「線形写像（行列）」でした。[br]2F（ファンクター）：１Fの箱「線形空間V」こわさずに持ち上げるコンテナ（線形作用素）が住んでます。[br]3F（自然変換）：２Fの線形作用素の働きを検証、カップリングします。[br][br]さあ、このビルで起きることをくわしく観察してみよう。[br]今回も観察の視点は次の３つだ。[br][br]○ 中身ではなく振る舞いから識別する「圏論」視点[br]○ 一番無駄のない作りにする「普遍性」視点[br]○ 双対が表裏一体で共存する「対称性」視点[br][br]さあ、中身を捨てて抽象でLAを観察する旅に出かけよう。[br]LAはロスではりません。[br]LAはあなたの頭の中を整理するとみつかる線形代数という場所ですよ。

[b][size=150]＜１F　圏＞[br][/size][/b]解析学のときは、関数を点と呼び、微分を線と呼びました。[br]でも、線形代数の線形空間は点と呼ぶには中身に構造があって大きいので、「箱」と呼びます。[br]箱から箱へ移す写像は、線と言えなくないので線、矢印、射とかでいいでしょう。[br]表記の確認から、[br]「線形空間」を基底を使って表したものを「ベクトル空間」といい、[br]「線形写像」を基底を使って表したものが「行列」だ。[br]あえて、強調する必要がないときは、「線形」は共通の属性として書くのを略します。[br]また、線形空間は数体Kの要素をｎ個ならべたK^nを要素をとして、それの[b][color=#0000ff]定数倍と和について、[br]分配法則が成り立つ（f(a+b)=f(a)+f(b), kf(a)=f(ka))[/color][/b]ものであります。[br][b]ゼロがどの箱にもあり、ゼロだけで箱｛０｝[/b]になります。線形空間になる[br]ということを線形空間という箱の中身を基本イメージとして持つことは必要ですね。[br]この箱の中身は忘れて、点のように見るというのが圏論の視点でしたね。[br][br][br][b][color=#0000ff]圏論の視点[br][/color][/b]圏論の１Fでは２点ｘ、ｙがあると、積ｘ×ｙと余積ｘ⊕ｙがあることを論理的、集合論的に導いたね。[br]くわしくはこちら、https://www.geogebra.org/m/ddm5798j#material/f5yhuupn[br]なんと、線形空間のビルでは、「[b]余積Ｘ⊕Ｙと積Ｘ×Ｙは同じ[/b]。」ということになる。[br]「箱」Ｘ,Ｙから、「箱」[b]Ｘ×Ｙを(x, y)の形で[/b]作ります。これが積です。[br]ここで y= {0}と置けば (x, {0}) となり、箱Xだけ取り出せるので、積から別々にXだけ、Yだけを取り出せます。箱Ｘ,Ｙから、余積の箱[b]X⊕YをX＋Yの形で[/b]作ります。[br]どの要素も[b](x, {0}) + ({0}, y)[/b]と分解できるので、結局 (x, y)の形に書けるから積[b]X×Ｙ[/b]と同じになります。[br][b][color=#0000ff]どの箱にも「ゼロ」がある、ゼロの箱がある、[/color][/b]という当たり前のことが役立ちますね。[br][br]余積も積も箱として存在して一意的に決まりました。[b]「圏論の視点」[/b]が有効でしたね。[br]でも、「[b]余積＝積[/b]」というめずらしいことがおきましたね。これを強調して「[b]双積[/b]」と呼びます。[br][b]余積（直和）[/b]は[b]⊕[/b]を使い、次元は[b]dim(Ｘ⊕Ｙ）=dimＸ＋dimＹですが、[/b]意味は[b]積ですが、名前は[/b][b][b]直和[/b]。[/b][br]特に、[b]直和W=Ｘ⊕Ｙで、XとYの共通部分が{0}だけのときは、XとYは互いに[/b][b]補空間[/b]といいます。[br]それぞれの成分で、w=x+yとすると、x、yはwの[b]射影[/b]と言いますが、積の意味からは自然ないい方です。[br][br][b][color=#0000ff]対称性の視点[/color][/b][br]「和」があれば「差」を探したくなるのが人情です。[br][br]箱の内積が定義できたなら直交も決められます。Wが直交補空間に直和に分解X⊕Yできれば、XとYの共通部分は{0}だから、W＝X+Yとなり、差X＝W-Yを作ることができます。[br]内積を使わない、差の求め方はないでしょうか。[br][br]一般に、「箱の[b]積＝[/b]箱の[b]和[/b]」から類推すると、箱の差は何でしょう。[br][br]箱の商です。「箱の[b]商＝[/b]箱の[b]差[/b]」になります。[br][br]整数Zを３の倍数３Zを使うことで、０＋３Z,１＋３Z,２＋３Zの3つに割った剰余類Z/3Zを作ることができました。この作業によって、３Zの部分の情報を消して、それとのズレ（余り）にできました。[br]箱Wを部分箱Nを使うことで、０＋N、w1＋N,w2+N, ....のように、Nをずらした箱の類W/Nを作ることができるでしょう。これが[b]商空間（箱の商）[/b]です。箱Wのうち、箱Nの情報を消した残りだけが残ってますね。[br][b]dim(W/N)=dimW- dimN[/b]です。つまり、商によって、差を求めることができるのです。[br][br][color=#0000ff][b][size=150][size=100]普遍性の視点[/size][/size][/b][/color][br]では、「単純な和Ｘ＋Ｙ、Ｘ⊗Ｙ」はどうなる。[br]箱Ｘと箱Ｙを本当に合体したいときは「[b]Ｘ＋Ｙ[/b]」という、ただのたし算が使える。[br]ＸとＹがかぶっていたら、Ｘ∩Ｙをけずる必要はあるけどね。これは集合と同じ視点のロジックだ。[br]箱Ｖ，Ｗに対するテンソル積「[b]Ｖ⊗Ｗ[/b]」というのがあります。[br]箱Ｖを長さｍのたて線につぶし、箱Ｗを長さｎのよこ線につぶしてイメージしてみよう。[br]これにかこまれた場所は、長方形の箱イメージだ。dim(V⊗Ｗ）=dimV×dimW[br]長方形を適当なところでたてに切ると、切ったところの縦線は空間になる。[br]長方形を適当なところでよこに切ると、切ったところの横線は空間になる。[br]どっちも空間になる。だから、テンソル積Ｖ⊗Ｗという空間は双線形になっている。[br]そして、この2辺の点Ｖ×Ｗから長方形の点Ｖ⊗Ｗへの写像は1対１になる。[br]これが[b]双線形写像[/b]だね。[br]テンソル積Ｖ⊗Ｗは、とても無駄なく、きれいな、論理的な存在ですね。[br][br]話は少しずれますが、「２つの線形空間の「テンソル積」」と「「２つのテンソル」の積」は違う。[br]「テンソルの積」の軸の数は軸の積にはならず、軸数の和になり、しかも、つぶれる軸数をひかなければならないからだ。くわしくはこちら、https://www.geogebra.org/m/twxxx3yq#material/dt4tvgms[br]私zenもひっかかりそうになったのでアラートを出しました。[br]あまりにもまぎらわしので、テンソル積Ｖ⊗Ｗに[b]モノイダル積[/b]という別名もあるようだ。

[b]＜２Ｆ　ファンクター＞[/b][br][br]１Ｆは圏（空間Ｖ，Ｗ，．．．とそれを移す写像ｆ,g,......）だった。[br]２Ｆはファンクター[br]K上の箱V,Wがあり、V→Wの射（線形作用素）をぶち込んだ箱をHom_K(V,W)とかける。[br]これは圏論の書き方と同じだ。 [br]dim Hom_K(V,W)= dimV× dimW. （次元だけみるとテンソル積と同じしくみになっている）[br]なぜか。[br]Vの基底とWの基底からHom_K(V,W)の基底は決まってしまう。[br]Vの各基底をWの各基底につなぐから、V*の基底数はV,Wの基底数の積になる。[br]超単純な射もある。Hom_K(V,V)は自分にうつす射だから、自己準同型射だ。[br]もっと、おもしろものがある。[br][br][b][color=#0000ff]対称性の視点[/color][/b][br]Hom_[b]K(V,K[/b])だ。 これをＶの「[b]双対空間[/b]Ｖ*」（または、V^{v})と名前をつけよう。[br]Vの基底がe1からenのｎ個あり、Vのベクトルの基底eiの成分（メモリ）がφiだする。[br]Vの基底集eとV*のメモリ集φは[b]表裏一体の関係[/b]になるから、Vの基底個数とV*のメモリ個数は一致する。[br]そこで、V*のメモリ集をV*の基底集とすれば、基底数つまり次元はそのままになるね。[br][b]dimV*=dimV[/b][br]これがわかると、dim {Hom_K(V,W)}= dimV*× dimW＝{dim V*⊗W}となり、[br][b]Hom_K(V,W)とV*⊗Wがピッタリ重なる[/b]ことまでわかる。[br][br]さて、[br][color=#0000ff][size=150][b]Vが矢の集まりだとしたら、V*はその矢で測ったメモリの集まりだ[/b][/size][/color]。[br]つまり、基底だけではなく、VとV*自体が[b]表裏一体の箱[/b]になっていることがわかるね。[br][br]Ｋ上に箱がV,Wの２つあるなら、双対Ｖ*、Ｗ*と２つ作れる。[br]すると、[br]１Fにある射ｆ：Ｖ→Ｗに対して、[br]そうすると、２Fの射ｆ*：Ｗ*→Ｖ*が決まる。これが「[b]双対写像[/b]」だ。[br]双対箱から双対射が決まってしまう。これが反変ファンクターだ。[br][br][color=#0000ff][b]１Fの表の箱Vと箱Wとつなぐ矢（行列A）に対して、[br]２Fは裏箱V*と裏箱W*を逆向きに矢（行列A*）ができる。これが双対写像のイメージだ。[br][/b][/color][br]〇 双対写像はもとの写像と入と出（たてよこ）が逆だから転置行列になる。[b]A*=A^t[/b][br]〇 ｆが[b]単射[/b]ならVからどれからも1本矢がでているので、逆にたどるとW*からｆ*は[b]全射[/b]になる。[br]〇 ｆはVの[b]核箱[/b]を{0}につぶすから、W*の箱からｆ*で[b]余核[/b]（つぶれない箱）にいく。[br][br]このように、双対空間で作る双対写像ともとの写像の関係は、[br]どこからても双対の美しいペアになっている。

[b][size=150]＜３F　自然変換＞[br][/size][/b][br]ここで、２Fの反変ファンクターを箱入りにして、可換図式をつくりましょう。[br][br][color=#0000ff][b]普遍性の視点[br][/b][/color]VからV*を作るとき、Vの基底の取り方次第でV*の基底が変わってしまいます。[br]Vの基底つまり、ものさしを2倍サイズにすれば、対象の大きさのメモリは2分の１になります。[br]その2分の１というのが、V*の基底になってしまうわけです。Vの基底の取り方は自由ですから、V*の基底はそれに振り回されてしまいますね。[br][br]それをクリアすのが、[b]双対写像の双対写像[/b]です。[br][b][color=#0000ff][size=150]反変の反変は共変[/size][/color][/b]になるのです。[br][br](V*)*＝V**の基底がメモリではなく、Vと同じくモノサシに戻ります。[br](f*)*=f**はV→Wの反対向きの反対向き、転置行列の転置になりますから、同じ向きになるのです。[br]もちろんdim (V*)*=dim V*=dim Vなので、V**の次元はVと同じです。[br]同じサイズで、基底もVのものにもどるので、Vの基底の選び方をどうやっても関係なくなります。[br]これで、V**はV*とちがって、Vと同サイズだけでなく、構造が同型だといえるでしょう。[br]だから、[b]１Fのｆと３Fのｆ**の関係を翻訳する自然変換[/b]が決まるので図式は可換になるね。[br][br][color=#0000ff][b]対称性の視点[/b][/color][br]この自然変換は2回裏返してもとにもどる翻訳です。[br]１FのVの要素からV**への対応ｖ→eval_vは自然な対応になります。[br]基底の選び方に無関係に同型になります。[br][br]もっとあります。[br]線形代数の対称性と言えば、随伴ペアだ。くわしくはこちら。[br]https://www.geogebra.org/m/ddm5798j#material/bgmzdduw[br][br]１F（圏）箱U,V,Wと射がある。[br]２F（ファンクター）[br]　左はL(U)＝U⊗Vのテンソル積を作るコンテナ。[br]　右はR(W)=Hom(V,W)という射の集合を作るコンテナ。[br]３F（自然変換があれば随伴ペアと判定できる）[br]　　L(U)→ Wの射とU→R(W)の射に自然な対応ができるか。 [br]　つまり、Hom(U⊗V,W）とHom(U,Hom(V,W))が同型かということだ。[br]　これは、[br]　U,Vの箱の[color=#0000ff]積（直積、テンソル積）[/color]からWへの写像は、[br]　Uを入れておいて、VからWを返す写像と同じことで、同型だね。[br]いろんな、構造で現れる、カリー化だ。[br]IT関係に限らず線形代数でのあるというのは面白いですね。

線形代数（LA）は、とても抽象的で面白い入れ物であることがわかったね。[br]そこで、LAビルに解析学を呼び込もう。[br][br]その前に大切な準備をしよう。[br][b][size=150]＜座標変換（ものの見方の変更）＞[br][br][/size][/b][color=#0000ff]対称性の視点[br][/color]Vの２つの基底をE=[e1,e2],E'=[u1,u2]、[br]底の変換ができて、[u1,u2]=[e1,e2]P　行列Pによる変換式でかける。[br]VのベクトルX、Yを底Eで測った成分を(x1,x2),(y1,y2)とし、[br]VのベクトルX、Yを底E'で測った成分を(x1',x2'),(y1',y2')とし、[br]XをYに移す線形写像をf:V→Vとしよう。Y=AX[br]同じベクトルでも、モノサシと成分のペアで表示が変化するので、[br]X=[e1,e2]◦[x1,x2]=[u1,u2]◦[x1',x2'][br]一方で、[u1,u2]=[e1,e2]Pから[u1,u2]◦[x1',x2']=[e1,e2]P◦[x1',x2'][br]したがって、Xの表示は、X=[e1,e2]◦[x1,x2]＝[e1,e2]P◦[x1',x2']となり、[br]結合法則から共通部分を取り去り、[x1,x2]=P◦[x1',x2']となる。[br]つまり、底の変換式はE'=E◦Pだったものが、座標変換式はX＝P◦X’と[br]双対の順番になるので注意。[br][br][color=#0000ff]普遍性の視点[/color][br]さらに、基底E'を変換Qで基底E''にしたら、[br]E''＝（E'◦P)◦Q=E◦P◦Qとなり、E''=Eとすれば、P◦Q=Iとなるので、Q=P^(-1)となる。[br]だから、X'=P^(-1)◦X [br]ここで、射ｆを底E’で表現した行列をA’としよう。[br]A'の働きはE’に対して、次のようになる。[br]f(E')＝E'◦A'＝f（E◦A) = (f(E))◦P[br]　= (E)A◦P=(E')P^(-1)◦A◦P[br]だから、[b][size=200][color=#0000ff]A’＝P^(-1)◦A◦P[/color][/size][/b][br]これを「[b]可換図式[/b]」で確認しよう。[br]　　A[br]X⇒⇒⇒⇒Y[br]↑　　　　 ↑[br]↑P　　 　↑P[br]↑　　　 　↑[br]X'⇒⇒⇒⇒Y'[br]　　A'[br]左下から右上に行くルートは2本あります。[br]上P右A、行列の積はPが先だから、「AP」です。[br]右A'上P、行列の積はA'が先だから、「PA'」です。[br]ここから[br]AP＝PA'[br]両辺に左からP^(-1)をかければ、P^(-1)AP=A'となりますね。[br]このように底の変換によって、写像AがA’に変わるときはこれを定理として使えます。[br]AとA’は「[b]相似行列[/b]」ともいいます。[br]行列の相似は[b]同値関係[/b]になっているので、射を[b]類別[/b]することができるね。[br][b][color=#0000ff]相似な行列では、ランク、トレース、行列式、固有値が一致[/color][/b]します。[br]だから、行列を[b]対角行列[/b]に直すことができるので、素晴らしく便利な道具となるのですね。

さあ、線形代数（LA）のビルに、解析学の住人を招待しよう。[br][br]曲面のように空間が曲がっていても、[br][b][color=#0000ff]ミクロな視点では平面のように線形で空間を線形でとらええることができる[/color][/b]だろう。[br][br]解析学の世界では「点＝関数」「射＝微分演算子」だけど、そのミクロな局所空間（接空間）に降り立つと、そこには「矢（接ベクトル）」[b]と[/b]「目盛り（微分形式）」という極上の住人たちが待っている。[br][b]＜１F　圏＞[/b][br]まずは1Fで、空間を測る「基底（モノサシ）」と「成分（メモリ）」の動きを観察しよう。[br]Vの２つの基底をE=[e1,e2],E'=[u1,u2]が、[u1,u2]=[e1,e2]P　行列Pによる変換できるとする。[br]同じベクトルXがX＝EX=E’X’=(EP)X'=EPX'とかけるから、X=PX'となり、X’=P^{-1}X[br][br]Vの基底（モノサシ）の目を2倍に伸ばす座標変換 x → 2x を行うと：[br]V*の成分（反変ベクトル）は、基底が伸びた分、成分の値は1/2に縮む。[br]基底の動きと「反対に変化する」から 反変（Contravariant）。上付きインデックス v^i で書く。[br]目盛りの成分（共変ベクトル）は、基底が伸びた分、引っかかる目盛りの値は 2 倍に増える。[br]基底の動きと「共に変化する」から 共変（Covariant）。下付きインデックス w_i で書く。[br][br]なお、一般には基底の数を２に限定しません。[br]座標軸にリンクした基底eN(e1,e2,...,en)という[color=#0000ff]自然な基底（自然基底）[/color]を使って、[br]微小な2点を結ぶベクトルを[br][b][color=#0000ff][size=150]ds＝dx^1*e_1+dx^2*e_2+.....+dx^n*e_n＝Σdx^m*e_m[/size][/color][/b]とかき、これを[b]線素[/b]といます。[br]また、基底変換行列Pは次にようにかけるでしょう。[br][b]u_j[/b]=ΣP_j^i [b]e_i [/b]下付きの基底が下付きの新基底に移る。[br][br][b]＜２Fファンクター＞[br]さて、[br][/b]箱Vから双対箱V*を作ろう。[br]双対基底がE*=[e1*,e2*],E'*=[u1*,u2*]ができるね。そうすれば、ファンクターができる。転置行列P^{t}だ。[br][u1,u2]=[e1,e2]Pに対して、[br][u1*,u2*]P^{t}=[e1*,e2*]となる。[br][br]箱V「メモリ（微分形式）dx^i」から[br]双対な箱V*「矢（接ベクトル）d/dx^i」を作ります。[br]2次元でかくと、[br][x1,x2]を[x,y]にして、[x'1,x'2]を[u,v]とかきかえると、[br][dx,dy]と[∂/∂x,∂/∂y]が双対の関係、[du,dv]と[∂/∂u,∂/∂v]が双対の関係だということだ。 [br]「上付き・下付きの添字のルール」は単なる記号の約束ではなく、「裏返しの世界（V^*）にいるかどうかの識別標識」だったことが見えてくる。[br]また、「微分形式の微小なメモリ」と「偏微分の矢」が表裏一体で双対ペアである必然性がわかるね。[br][br][b]＜3F（自然変換・普遍性）＞[br][/b]矢と目盛りを自由に行き来させる「計量テンソル g_{ij}」[br]さらに、アインシュタイン記法にならってΣをはぶき添え字の上下を意識して線素を[br][b]ds[/b]=dx^m*e_mとかきましょう。[br]そして、この微小ベクトルのサイズ、微小距離ds（線素）を2乗してみよう。[br][b]ds^2[/b]=(dx^m*e_m)(d^xn*e_n)=(dx^m*dx^n) e_m・e_n=(dx^mdx^n) g_mn[br]内積 e_m・e_n=g_mnとおくと、内積の配列{g_mn}はm行n列の成分がg_mnとなる行列になりますね。[br]これを計量テンソルといいます。[br][color=#0000ff][size=150][i]gmn[/i]・[i]gmn[/i]＝δmn（対角成分が１で、他が０の単位行列）=diag(1,1,....,1)[/size][/color][br]上つきのA^mに対して、A^m[i]g_mn[/i]＝A_nのように、２つ下のテンソルをかけると、約分のように１つ消えて１つは下のままつきます。同様に、A_m[i]g^mn[/i]＝A^n。計量テンソルをかけると、かけられた量の添え字が上下するように書くことにします。[br][br]1F・2Fの段階では、「矢（接ベクトル）」と「目盛り（微分形式）」は全く別の箱の住人であり、直接足し算したり同一視したりすることはできなかった。[br]v_i = g_{ij} v^{j}という計算は、計量（内積の構造）というレンズを通すことで、反変の世界（矢（接ベクトル）から共変の世界（目盛り（双対ベクトル）へ成分を自然に引き渡す翻訳者（自然変換の同型射）なんですね。[br][br]たとえば、１つのベクトルを2種の直交基底で成分がどうなるかを調べてみよう。正規直交基底E=[e1,e2]と拡大直交基底E'=[e'1,e'2]を比較しよう。ベクトルXのもと成分系を(x1,x2),新成分系を(x'1,x'2) とすると、[br]臨時の記法「∂xa/b=∂xa/∂xb」使うことにすると、アインシュタイン記法により、[br]全微分は[br]まとめると、[br]dx'^n＝∂x'n/m dx^m[br]dx'_n＝∂x'm/n dx_m[br]まるで、微分の連鎖率(チェーンルール）のときに分数の約分がOKだったように、添え字の上つきと下付きの約分がOKになるというイメージの式ができる。[br]同様に、この座標変換する偏微分∂xa/b=∂xa/∂xbが並んだ行列を見たことがありませんか。[br]そうです。これは、ヤコビ行列ですよね。[br]ヤコビ行列によって、成分変換だけでなく、基底変換もかけます。ヤコビ行列は添え字を上下しません。[br]e'^n＝∂x'n/m * e^m,[br]e'_n＝∂x'n\m * e_m[br]このように、テンソルは逆行列で添え字が上下し、ヤコビ行列のように変換では添え字は上下しません。[br][br][b]＜ヤコビ行列から不変量へ＞[/b][br]e_m・e_n=g_mnは言い換えると、計量テンソルは基底の内積だったね。[br]ところが、それぞれの基底は、ヤコビアンで変換した基底ともいえる。だから、　計量テンソル＝基底・基底＝ヤコビ別基底・ヤコビ別基底＝ヤコビヤコビ別基底・別基底＝ヤコビの積・別計量テンソルとなる。g_µ′ν′ = ∂m/µ′ ∂n/ν′ g_mn、[br]g_mn = ∂m\µ′ ∂n\ν′ g_µ′ν′　[br]g_mn 、g^µν′ は添え字が２つあり、添え字ごとに下付き保存の共変的な変換を受けるということだね。[br]これらから、ヤコビ行列とその逆行列が綺麗に約分（相殺）し合い、[br][b]ds'^2=ds^2[/b]であることが証明できる。[br]つまり、[b][color=#0000ff]線素の2乗は変換によって保存される不変量[/color][/b]だとわかる。

以上の内容が単なる抽象論に終わらないために、数値化してみたい。[br][br][color=#9900ff][u][b][size=150]課題：線素の2乗が座標系によらないことを視覚化しよう。[br][/size][/b][/u][/color][br]#点Aの正規直交座標系の成分の初期値[br]A=(3,4)[br]#点Aの極座標系の成分[br]r=sqrt(x(A)^2+y(A)^2)[br]th=arctan(y(A)/x(A)[br]#直交座標系での微小変位[br]dx=0.01[br]dy=0.02[br]ds2=dx^2+dy^2 #0.0005[br]gmn={{1,0},{0,1}}[br][br]#斜交座標系での翻訳値[br]dr=x/r dx + y/r dy [br]dth= -y/r^2 dx + x/r^2 dy [br]polgmn={{1,0},{0,r^2}}[br]polds2=1^2 dr^2 + r^2 dth^2 #0.0005 [br][br]"ds^2="+ds2+"="+pol_ds2+""[br]⚙マークを選びさらに、アプレット全体の⚙マークを選び設定で小数点以下10桁表示にします。[br]しかし、ds^2は0.0002＝0.0002のままで何も変わりませんね。[br][br][b][color=#0000ff][size=150]点Aをつかんで動かしましょう。[br][/size][/color][/b][br]Aの属性で表示するものを名前だけでなく名前と値にします。[br]Aの座標は動かすと、座標は目まぐるしく変わります。[br][br]数式ビューを見てください。[br]それに連動して、極座標ｒ、thも、微小量dr、dthも目まぐるしく変わります。[br][br]しかし、polds2はそれらのすべての変化を吸収して、0.0002のままびくともしません。[br]この[b]「手品のような不変性」[/b]が、他が動くからこそ、伝わりますね。[br][br]ベクトルへの座標系変化は[br]あてるモノサシを変えることで、読み取るメモリが連動して変わるだけだ。[br]だから、[b][size=150]もとのベクトル（移動量dx、dy）の長さそのものは不動[/size][/b]のはずだという、[br][b]計算する前からわかっていることでも、[br]計算して同じに落とし込めていることのすごさ[/b]が感じられるね。[br]