【数理考古学】群論とシミュレーション原理⑥二次元トーラス概念への発展

[【数理考古学】群論とシミュレーション原理①これまでの投稿内容のまとめ。](https://qiita.com/ochimusha01/items/a7c824df4b5fd85a2788)
吃驚するほどグチャグチャになってしまったので整理を試みます。

#一次元トーラス概念の規定

以下で極座標系(Polar Coordinates System)(r,θ)上の**円**(Circle)=<font color=purple>半径1の単位円</font>×**半径**(Radius)R=**観測結果集合**とする**円周群**=**リー群**$S_0$=**1次元トーラス**×**半径**(Radius)rを規定する演算をまとめました。

##ガウスの巡回群

[【数理考古学】群論とシミュレーション原理②群導出演算としてのガウスの巡回群](https://qiita.com/ochimusha01/items/95dad79a20153e6a3ede)
![image.gif](https://camo.qiitausercontent.com/6bfaa1e9ff04c556a59a84c0c2d8ea3d6b15b6df/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2532463025324635393737373225324632643963613061362d366161352d643534352d333261642d3966333336666630636462352e6769663f69786c69623d72622d312e322e32266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6462336535306161336233303539323837303431636432613164303466613666)

一辺の長さがaの正n角形に外接する円の半径<font color=blue>r</font>

* <font color=blue>$r=\frac{a}{2\tan(\frac{π}{n})}$</font>
* $a=r(2\tan(\frac{π}{n}))$

一辺の長さが<font color=green>A</font>の正n角形に内接する円の半径<font color=red>R</font>

* <font color=red>$R=\frac{A}{2\tan(\frac{π}{n})cos(\frac{π}{n})}$</font>
* <font color=green>$A=R(2\tan(\frac{π}{n})cos(\frac{π}{n}))$</font>

一辺の長さがaの正n角形の外接円の半径と内接円の半径の関係

* <font color=blue>$r=Rcos(\frac{π}{n})$</font>
* <font color=red>$R=\frac{r}{cos(\frac{π}{n})}$</font>

外接円を**単位円**（Unit Circle）としたのが上記アニメーション。

* 外接円の半径<font color=red>R</font>は単位円の定義に従って<font color=red>1</font>
* これに内接する正多辺形の１辺の長さ<font color=green>A</font>は<font color=green>$2\tan(\frac{π}{辺数})\cos(\frac{π}{辺数})$</font>
* 外接円に内接する正多辺形の内接円の半径<font color=blue>r</font>は<font color=blue>$\cos(\frac{π}{辺数})$</font>

* この場合では**円**を**正n角形**の形で分割し「<font color=purple>辺数=∞、辺長$\frac{1}{∞}=0$の場合</font>」が**円**を規定する。その結果として半径1の単位円の場合における円周長として<font color=red>2π</font>が現れ、これを半径rの場合に一般化すると算数段階で習う<font color=red>2πr</font>となる。

###オイラーの公式

[【数理考古学】群論とシミュレーション原理④群導出演算としてのオイラーの公式](https://qiita.com/ochimusha01/items/75c78a0e419b469f9e62)
![image.gif](https://camo.qiitausercontent.com/fa349dd64b85d0da84f63ee475e79148eb983e70/68747470733a2f2f73746167696e672d71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324671696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2532353246302532353246353937373732253235324631616332643937622d323937382d346230362d623131382d3930363732613536663538392e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334430663266393364333236343937366634393336343733393831346436336537383f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3834616130626365363061653733623835616234313639343162323261653264)

* $\cos(θ)=\frac{e^{θi}+e^{-θi}}{2}$
* $\sin(θ)=\frac{e^{θi}-e^{-θi}}{2i}$

![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162020.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=a6955a0a4d3736fc57aed6753517f458)
![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162153.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2335f454fb0ffe93e583434dcb9060e4)

* $e^{ix}\frac{d^n}{dθ^n}=(i e^{i x}(-\log ix),-e^{ix},-i e^{i x}(\log ix),e^{ix},…)$
* $\int \int \int … \int e^{ix}(dθ)=(- i e^{i x}(\log ix),- e^{i x},i e^{i x}(-\log ix),e^{ix},…)$

![image.gif](https://camo.qiitausercontent.com/93de38a37ab4e4e18ccf1be2f6d2008d6ff331e7/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303432392f32303231303432393133313434352e676966)
![image.gif](https://camo.qiitausercontent.com/9febf32e2ce7db077b26accc5edede453cfef226/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303432392f32303231303432393132333834352e676966)

* この場合では**ネイピア数**e=2.718282の近似が十分な精度以上の場合が**円**を規定する。

###公比-1の等比数列

[【数理考古学】群論とシミュレーション原理⑤群導出演算としての「公比-1の等比数列」](https://qiita.com/ochimusha01/items/d65fdcc7d30f9aa0e4ac)
![image.gif](https://camo.qiitausercontent.com/6441bd4ef241d703dc0f22ff04b5f5d8a714ac8f/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324671696974612d757365722d636f6e74656e74732e696d6769782e6e65742532353246687474707325323532353341253235323532462532353235324663646e2d616b2e662e73742d686174656e612e636f6d25323532353246696d6167657325323532353246666f746f6c696665253235323532466f253235323532466f6368696d7573686130312532353235324632303231303130352532353235324632303231303130353030333132322e676966253235334669786c6962253235334472622d312e322e3225323532366175746f2532353344666f726d617425323532366769662d712532353344363025323532367125323533443735253235323677253235334431343030253235323666697425323533446d61782532353236732532353344316335653736343162623135633138336633383766623963366339323735396125334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d7125334436302532367125334437352532367325334438623363316163303166653561346465303336383938653430646430643930373f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6464376136636335613531373265313063356137633234373166613133356336)
![image.gif](https://camo.qiitausercontent.com/05702b007bcc548fbd9e32d0cb3a4618fb2c4461/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324671696974612d757365722d636f6e74656e74732e696d6769782e6e65742532353246687474707325323532353341253235323532462532353235324663646e2d616b2e662e73742d686174656e612e636f6d25323532353246696d6167657325323532353246666f746f6c696665253235323532466f253235323532466f6368696d7573686130312532353235324632303231303130352532353235324632303231303130353037313333342e676966253235334669786c6962253235334472622d312e322e3225323532366175746f2532353344666f726d617425323532366769662d712532353344363025323532367125323533443735253235323677253235334431343030253235323666697425323533446d61782532353236732532353344366363326438333863303536663837393539623964333536373862306436306125334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433303264636536643564613239343761353632633236383935383735633939333f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3332346361316633346462653237313364613239346665343236653762626161)

* この場合では「<font color=purple>周回関数</font>(Rap Function)<font color=purple>$α^n$の冪根αが十分1に近く</font>」かつ「<font color=purple>周期関数</font>(Cyclyc Function)<font color=purple>$−1^n$の冪根βが十分-1に近い</font>」場合が**円**を規定する。

![image.gif](https://camo.qiitausercontent.com/b857d80362d42e74ed57f98df7e46e696cb3d0fe/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333231323930332e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334437303039383331343466306163613866633165336161613962613235626136373f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6439626364326330366536316334613863373262356333393135646361393565)
![image.gif](https://camo.qiitausercontent.com/4823162efebb7935e85a3bda5968265225e54fbd/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333231333731322e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433393236636263643739633233396662643731323363616162666339373133663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3333633462303835646264663235633066313964613134643433373638353033)
![image.gif](https://camo.qiitausercontent.com/ec0f148d544a08472b910d1f189509297807b888/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333037313235372e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334435666135613939353565316335646132666366316137643233333563363734613f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3031623938616436333466313430333839633933633862656361356663653339)
![image.gif](https://camo.qiitausercontent.com/9e629b1ff28e07f845f6dc0c9bb3cdb89bf12ab6/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333037333930332e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334432343433633034313563613531366332393063666536646464353833326666633f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3231303739343439313466303565346335376264383833376236623533613138)
![image.gif](https://camo.qiitausercontent.com/4afb17544c5996bbb3d2a24231a95d47b799fe2c/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333037343630302e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433636531333363643437376537396533303737363864336462353531613766653f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3663653266656666653066383737626230373536663032616133623132343432)

#二次元トーラス概念の規定

上掲の**円概念**の直積(<font color=blue>Direct Product</font>)を求めると二次元デカルト座標系(<font color=blue>2D Cartesian Coordinate System</font>)ではなく**二次元トーラス**(<font color=blue>2D Torus</font>)なる新たな座標系へと進むことになります。
[【Python演算処理】単位球面¥を巡る数理②そして単位トーラスへ - Qiita](https://qiita.com/ochimusha01/items/c0f8c21e19d15f3e3569)
![image.gif](https://camo.qiitausercontent.com/1d8ba77d78280a0dfe9b92e100e4d95b92070460/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323225324632303231303432323231303233372e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3739663231303631663966613631383861313131663130303061313864613734)
![image.gif](https://camo.qiitausercontent.com/1b897a4ba5327440d501c0cec53f75d7254150af/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323225324632303231303432323230303431382e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6365363364396430373334663839653633626136613539616463323037633433)
![image.gif](https://camo.qiitausercontent.com/213e6853d510940920d8553b7d7940419858c882/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323225324632303231303432323230313731302e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3337333533323930396664393765313466663566623531363039366365353865)

とりあえず最初に現れる**大半径**(Major Radius)Rと**小半径**(Minor Radius)rの比率が1:1の場合のトーラスを**単位トーラス**(Unit Torus)と呼び分ける事にしましょう。

* 上図の通り、その側面図には**円概念**が実軸0を中心として2個隣接して現れる。「<font color=purple>実軸0を中心とする半径1の**球面**</font>」を**偶数系**(Even System)の起源と置くなら、これが**奇数系**(Odd System)の起源となる。<br>[【Python演算処理】単位トーラスを巡る数理②トーラス群の設定](https://qiita.com/ochimusha01/items/6836c3f63dfd4d62b6b1)<br>![image.gif](https://camo.qiitausercontent.com/c15a3372d0b61f1244264752e28e850ef8e56b3b/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333034303135352e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6336646235333035353035373431633965336461366132363536343733316132)<br>![image.gif](https://camo.qiitausercontent.com/6ca56bfb827597802ab9163fbd574fbf124ca31e/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333033353233372e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3263353235343137323837633865363937643765656461663233363466326431)<br>![image.gif](https://camo.qiitausercontent.com/38c8b99c457ce3e31efc39f96a1e1cead078a9a8/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333034303332372e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3438636563363435353865356162346436666630626636666132643638386562)

この様に二つの半径の組み合わせで表現される**トーラス座標系**(Torus Coordinates System)と**三次元デカルト座標系**(3D Cartesian Coordinate System)の関係は、一般に**媒介変数**t,p(0≦t≦2π,0≦p≦2π)を用いて以下の様に表されます。
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504174439.png)

* $R×\cos(t)+r×\cos(p)\cos(t)$
* $R×cos(t)+r×\cos(p)\sin(t)$
* $r×\sin(p)$

一般の円/球面座標系との関係は以下とされています。

* **大半径**R=0,**小半径**r=1の時、**単位球面**(Unit Sphere=半径1の球表面)を二重に描く(3次元極座標系や経緯度法で垂直角を水平角の半分に取るのは、この時出る重複部分を除く為)。<br>[【Python演算処理】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201120%2F20201120185044.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=569382a59a8492f8c5c21d8c2c194042)
* 逆に**大半径**R=1,**小半径**r=0の時、Z=0となってただの単一の**単位円**(Unit Circle=半径1の円弧)を描く。かかる極限状態に向かう展開は「<font color=purple>単位円に内接する正N角形とそのさらなる内接円の推移</font>(<font color=blue>N=∞に近づくほど、どちらの正N角形としての辺長計も円周長2πに限りなく近づいていく</font>)」そのものである。<br>![image.gif](https://camo.qiitausercontent.com/6bfaa1e9ff04c556a59a84c0c2d8ea3d6b15b6df/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2532463025324635393737373225324632643963613061362d366161352d643534352d333261642d3966333336666630636462352e6769663f69786c69623d72622d312e322e32266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6462336535306161336233303539323837303431636432613164303466613666)

さらに**Rr比**(大半径Rと小半径rの比)に注目すると以下の表現となります。

* トーラスのRr比が$\frac{\infty}{0}=\infty$に限りなく近づく時、その全体構造は上掲の「**二重球面状態**」に向かう。
* トーラスの Rr比が$\frac{1}{\infty}=0$に限りなく近づく時、その全体構造は上掲の「**単円弧状態**」に向かう。
* この考え方では「**二重球面状態**」や「**単円弧状態**」自体には到達不可能となるので、その結果得られる**観測結果集合**や**演算結果集合**はこれらを含まない開集合となる(この事により「二重球面状態」や「単円弧状態」自体は特異点化する)。

どうやらこの景色は**n次球面**について(人間が扱える)**3次元までの空間概念**のみ抽出して操作する作業イメージに発展させられそうです。とりあえずこの全体像を**無限トーラス**(Infinity Torus)と呼ぶ事にしましょう。さらに**大半径への分枝切断点追加**に際して**小半径も同様に分割する場合**を元、**分割数に比例して回転数も上げていく場合を逆元**と置けば、**分割数1**(追加分枝切断点0)を**単位元**とする**乗法群**の一種**トーラス群**(Torus Group)が現れます。

```math
G_n(n=-\infty→-3→-2→-1→0→1→2→3→+\infty)\\=(\infty,…,4,…,3,…,2,…,1,…,\frac{1}{2},…,\frac{1}{3},…,\frac{1}{4},…,0)
```
この過程で上面図に現れる**正n角形**(1分割状態から始まって辺数無限大、辺長無限小の円弧状態に限りなく近づいていく)は**Rr比**によって一意に定まるので、最終的には$±i^{ax}$関数による表現に統合される形となりそうです。
[【数理考古学】群論とシミュレーション原理⑤群導出演算としての「公比-1の等比数列」](https://qiita.com/ochimusha01/items/d65fdcc7d30f9aa0e4ac)
![image.gif](https://camo.qiitausercontent.com/ec9714730cb1c81899f2282d0eafe2c0956fc261/68747470733a2f2f73746167696e672d71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313031303825324632303231303130383038343735312e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3864343838653264613630353431363530326237636161356332653135323466)
![image.gif](https://camo.qiitausercontent.com/8cd00573e1456d471866c716b6870a8cc4c5a899/68747470733a2f2f73746167696e672d71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313031303825324632303231303130383038333832312e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3437356561643432303465333533333333393262356134363466613361623337)
![image.gif](https://camo.qiitausercontent.com/1a9a8271f25e6ed8963314967c02ef6bddc20a5e/68747470733a2f2f73746167696e672d71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313031303825324632303231303130383038343231382e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6332356264343938313761656330303534616134653964386661636335633731)

その一方で、**二次元トーラス**を平面展開した**平坦トーラス**(Flat Torus)は1目盛<font color=red>2π</font>の「**方眼**」が現れますが(分枝点切断前だと)次の升目に移行する概念が存在しません。

[【Python演算処理】単位トーラスを巡る数理①平坦トーラスとの往復](https://qiita.com/ochimusha01/items/cdaca28a1c1e8a615f6d)
![image.gif](https://camo.qiitausercontent.com/08fd6258415dc7ec125c757558fba04a960ec60a/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333038303330352e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3563646132623864626333343634353433303336643230663439356561623065)
![image.gif](https://camo.qiitausercontent.com/0f35b89e410c0cbc989fe050b8f71195717da574/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333037353232372e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6563363637666362613334326339383263326563386133376366633133306331)
![image.gif](https://camo.qiitausercontent.com/3f4e49c8046584ae4e2d476d861a8382e0449cdf/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032313034323325324632303231303432333038303232302e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3137386261343031386561343366333537633138393131646536323863353965)

* だから<font color=purple>Computer RPG</font>の<font color=purple>World Map</font>の様にグルグル堂々巡りするのみ。<br>[RPG世界の形状についての幾何学的考察と可視化](http://nhayashi.main.jp/RPGgeom/indexRPG.html)<br>![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210419%2F20210419143927.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=21e02b3205ce28fd91a946dd3989c33e)
* **三次元極座標系**(3D Polar Coordinate System)(半径r,水平角φ,垂直角θ)は、ここに現れる**二次元トーラス多様体**$S_1$というより、むしろ**三次元トーラス多様体**$S_3$=**四元数**(Quaternion)上における「<font color=purple>縦回転も横回転も伴わない場合</font>(<font color=blue>すなわ大半径Rに直交する交点を中心に±Rの線分伸ばした接線の両端を対蹠に取った場合</font>)」がなす**球状集合**に該当する。<br>[【トーラス構造と古典数学】「単位円筒」から「トーラス構造」へ](https://qiita.com/ochimusha01/items/f6406e768aa24b8aea1a)<br>![image.gif](https://camo.qiitausercontent.com/9e756e40dceca25c93c9517bc61e134658c8ae2e/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313132362f32303230313132363032303830302e676966)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201128%2F20201128213350.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=876af60c67ef227d482544d6f33c6c34)
* ここで引いた「**補助線**」は、**等速円運動**(Constant Velocity Circular Motion)における速度ベクトルの概念を援用したものである。<br>[【数理考古学】群論とシミュレーション原理④群導出演算としてのオイラーの公式](https://qiita.com/ochimusha01/items/75c78a0e419b469f9e62)<br>![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162020.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=a6955a0a4d3736fc57aed6753517f458)<br>![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162153.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2335f454fb0ffe93e583434dcb9060e4)
* そして逆をいえば、この**球状集合**に縦軸と横軸の回転自由度を与えた結果が**三次元トーラス多様体**$S_3$=**四元数**(Quaternion)となる訳である。<br>[【数理考古学】群論とシミュレーション原理⑦三次元トーラスとしての四元数概念導入](https://qiita.com/ochimusha01/items/b350569a6770f6b221f9)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210326%252F20210326143809.gif%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D6ae8c73eac17e31d262307bd809859f3?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=920e333379665c43be30ae567d296e6e)

[【数理考古学】群論とシミュレーション原理③群導出演算としての解析学的アプローチ](https://qiita.com/ochimusha01/items/fe469d28a783cc88da57)
その考え方の中核は以下の**球の表面積を求める式**$4πr^2$や**球の体積を求める式**$\frac{4}{3}πr^3$を導出する三重積分三重積分にあります。
[【Python演算処理】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復 - Qiita](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)

```math
{\int U(x,y,z)dV=\int_{0}^{2π}\int_{0}^{π}\int_{0}^{1}U(r,θ,φ)r^2\sinθdrdθdφ\\ =\int_{0}^{2π}\int_{0}^{π}\int_{0}^{1}\begin{vmatrix} \frac{∂x}{∂r} & \frac{∂x}{∂θ} & \frac{∂x}{∂φ}\\ \frac{∂y}{∂r} & \frac{∂y}{∂θ} & \frac{∂y}{∂φ}\\ \frac{∂z}{∂r} & \frac{∂z}{∂θ} & \frac{∂z}{∂φ} \end{vmatrix} drdθdφ }
```
**極座標系**(r,φ,θ,…)積分範囲の積み重ね方に注目すると以下となってます。

* まずは**角度φ**=0→2πφ=0→2πの範囲で積分して**円周**2πrに到達。
* さらに**角度θ**=0→πθ=0→πの範囲で積分を重ね**球の表面積****$4πr^2$に到達。
* さらに**半径r**=0→1r=0→1の範囲で積分を重ね**球の体積**$\frac{4}{3}πr^3$に到達。

**垂直角θ**(0~πラジアンのπ範囲)を**水平角φ**(-πラジアン~0~＋πラジアンの2π範囲)の半分に取るのが特徴で、地球儀上で**緯度**(±90度)の概念が**経度**(±180度)の半分で表されるのも同じ数理に基づきます。
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504154527.png)
**二次元空間**(円弧)における**デカルト座標系**(x,y)と**極座標系**(r,φ)の相互変換

* 原点(0,0)からの距離$r=\sqrt{x^2+y^2}$
* $φ=-(\arctan^2(x,y)-\frac{π}{2})$
* $x=r×\cos(φ)$
* $y=r×\sin(φ)$

**三次元空間**(球面)における**デカルト座標系**(x,y,z)と**極座標系**(r,φ,θ)の相互変換

* 原点(0,0,0)からの距離$r=\sqrt{x^2+y^2+z^2}$
* $φ=-(\arctan^2(x,y)-\frac{π}{2})$
* $θ=-(\arctan^2(\sqrt{x^2+y^2+z^2},z)-\frac{π}{2})$
* $x=r×\sin(θ)\cos(φ)$
* $y=r×\sin(θ)\sin(φ)$
* $z=r×\cos(θ)$

Z軸の座標の取り方についてさりげなく**単振動系**(Simple Vibration System)$Z_n(n=-1 \rightleftharpoons +1)or(n= 0 \rightleftharpoons 2 )$と**三角関数系**(Trigonometric Function System)を使い分けていたりします。このズルこそが**解析学**の**解析学**たる所以？
[神永 正博「超」入門 微分積分 (ブルーバックス) 「微分は下心をもってせよ」](https://www.amazon.co.jp/%E3%80%8C%E8%B6%85%E3%80%8D%E5%85%A5%E9%96%80-%E5%BE%AE%E5%88%86%E7%A9%8D%E5%88%86-%E5%AD%A6%E6%A0%A1%E3%81%A7%E3%81%AF%E6%95%99%E3%81%88%E3%81%A6%E3%81%8F%E3%82%8C%E3%81%AA%E3%81%84%E3%80%8C%E8%80%83%E3%81%88%E6%96%B9%E3%81%AE%E3%82%B3%E3%83%84%E3%80%8D-%E3%83%96%E3%83%AB%E3%83%BC%E3%83%90%E3%83%83%E3%82%AF%E3%82%B9-%E7%A5%9E%E6%B0%B8%E6%AD%A3%E5%8D%9A-ebook/dp/B00JA05KI8)

>強引に感じた読者も多いと思う。なぜ積分では細部に意味があり、微分では細部を無視しても良いのか。何を無視して何を無視してはいけないか判然としないじゃないか。
>
>この強引さは微積分が「**目的**」を持っている事からくる。微積分で最も重要なのは目的をかなえられる程度に細部を無視し、近似する事にある。下心を持ちながら、何らかの成果を狙ってやっている事なのだ。
>
>微積分は純粋な興味だけで発展してきた数学ではない。そこに登場する様々な概念や計算技術は理由もなく出てきたものではなく、必ず目的意識が付帯する。体系化された学問とはいえ、実際のところそれは「**こう考えたらうまくいった**」試行錯誤の結果得られた知恵を編集したものに過ぎないのである。細かい部分が重箱の隅として無視出来るかどうかは「**そこからポジティブな成果物が出てくるか**」で判断される。要するに成果主義なのである。

* ちなみにプログラムで球面を描画をする際には前者の考え方を使うので、意識して使い分けないと混乱の元になってしまう。<br>[【Python演算処理】単位球面を巡る数理①とりあえず描画してみる。](https://qiita.com/ochimusha01/items/1d20cceaacaf0d923858)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412092943.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=b2df04d720a5d1bcb2e2e179804a0f67)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412091159.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=3ff847b75f8563e0fcadf4de968e65cc)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412091759.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=06755ffc770aff6369d2fb86d9b1bb5f)

そして**群論**ではこの様なリー群の平面への写像を「(対数写像によって)<font color=purple>接空間リー代数</font>(リー環)<font color=purple>を取る</font>」と表現するのですが、こちらの系統には**複素関数理論**における「**多価関数への分枝点切断**(Branch Point Cut)**概念の導入**」についての言及がありません。

* かかる**2次元トーラス上の回転運動の軌跡**は、それをアイロンでも掛けたかの様に真っ直ぐ伸ばし、分岐切断して連続させると(デカルト座標系につながる)**円筒座標系**(Cylindrical Coordinate System)に推移する訳だが、群論から入るとこの辺りのイメージが掴み難くなってしまうのである。<br>![image.gif](https://camo.qiitausercontent.com/949b09a1ac9ca967aaff352219ab47d0446a109f/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130343132253235324632303231303431323034353931302e67696625334669786c696225334472622d342e302e302532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334439616532616330346364346566376334353831613861636337643138323738643f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3536623962353336306361643734653265323331393737623836343363353538)<br>![image.gif](https://camo.qiitausercontent.com/c0be0bd2fa31bc0c7ac6b1a45f5746cd01332f38/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130343132253235324632303231303431323035303330362e67696625334669786c696225334472622d342e302e302532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334465613964623738386635666336666437643061633739373565306335613633303f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3865366632643730343434656433363233633238346639623764373165306162)

一方、複素関数論の系統では、その場合に**自明の場合**(Trival Case)として選択肢の一つとして現れる「<font color=purple>分枝点を2個設定し、目盛のピッチをπとし、偶奇性</font>(Parity)<font color=purple>の概念を追加する</font>」考え方への言及がありません。

* **微積分計算**上は「<font color=purple>分枝点を1個設定し、目盛のピッチを2πとする</font>」選択の一択だからかも？<br>[【数理考古学】群論とシミュレーション原理③群導出演算としての解析学的アプローチ](https://qiita.com/ochimusha01/items/fe469d28a783cc88da57)

そんな感じで以下続報…