【初心者向け】集合論②「数直線の連続性」を巡る自然数/整数と有理数の定義上の断絶について

私が数学の再勉強を思い立った時、真っ先に精読したのが吉田武「**オイラーの贈物 -人類の至宝e^iπ=−1を学ぶ**(<font color= blue>初版1993年</font>)」だったのですが、今から思えばその結果、改めて直面する事になったのが「(<font color= blue>生物が視覚とそれに呼応する脊髄と運動機関のフィードバック体系を獲得する過程で依存する様になった</font>)**原始デカルト座標系** (<font color=blue>Primitive Cartesian Coordinate System</font>)」の典型例の一つたる「**数直線の連続性**(<font color= blue>Continuity of Number Line</font>)の**祝福**/**呪縛**」という問題だったのです。
[数直線｜算数用語集](https://www.shinko-keirin.co.jp/keirinkan/sansu/WebHelp/01/page1_11.html)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/0f93b1e7-0ca2-04d5-2483-780fe4bb75a4.png)

>①左から右へいくほど大きくなっている。②等間隔に目盛りが打たれている。③連続量として捉えられる。この様な特徴を備えた数直線には、数が視覚的，直観的に把握できるというよさがあります。また，数の大小・順序・系列を理解させる補助として効果を発揮します。数の概念が拡張されていくに従って数直線の見方も広がり，小数・分数の数直線，負の数の数直線，有理数・実数の数直線というように発展していきます。

そう、まさにこの概念の「**原始デカルト座標系的わかりやすさ**」そのものに**数理**(<font color=blue>Mathematical Things</font>)を**群論**(<font color=blue>Group Theory</font>)に拡張する上での**障害**(<font color=blue>Inability</font>)が仕込まれているのです。
[算数と数学における乗算・加算の交換法則問題について一言](https://www.timbreofprogram.info/blog/archives/1167)

#そもそも「連続」とは何か？

[連続 (数学) - Wikipedia](https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A_(%E6%95%B0%E5%AD%A6))

>数学において**連続**（<font color=blue>Continuous</font>）および**連続性**（<font color=blue>Continuity</font>）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。異なる**位相空間**(<font color=blue>Topological Space</font>)の間の写像について、**連続集合の開閉**(<font color=blue>部分集合における内部、外部、境界</font>)や**極限**(<font color=blue>Limit</font>)や**収束**(<font color=blue>Convergence</font>)といった諸概念を一定の法則性に基づいて束ねる為に定められる最も基本的な枠組みといえる。<br>[【初心者向け】「三角不等式(Triangle Inequality)」の体感方法？](https://qiita.com/ochimusha01/items/325717eef47b1cbeadb1)
>
>日常語としては「**連続**」が「**切れずに繋がっている**」という意味で使われる事が多いが、位相空間論ではこれを「**部分集合**(<font color=blue>Subset</font>)**の連結**(<font color=blue>Connected</font>)」と表す。事実として「**連結領域の連続像は必ず連結**」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「**切れずに繋がっている**」ことになるが、それは連続性の本質ではない。
>[【初心者向け】集合論①部分集合と真部分集合について。](https://qiita.com/ochimusha01/items/760e3a02cf93f9db9ede)
>
>一方、位相空間論において函数や写像が**連続**であるというのは、ある特定の意味で位相空間の間の位相的構造を保つある種の**準同型**(<font color=blue>Homomorphic</font>)となっていることを意味し、その成立自体が位相空間論における興味の対象となり、数学の他の領域における各種の連続性の定義の多くも位相空間論における連続性の定義から導出される。
>[準同型写像:物理のかぎしっぽ](http://hooktail.sub.jp/algebra/Homomorphic/)
>
>空間の位相が「**同相=位相同型**（<font color=blue>Homeomorphic</font>）」である為の基礎概念であり、特に全単射な連続写像が同相写像であるための必要十分条件は、その逆写像もまた連続となる事である。連続でない写像あるいは函数は、不連続であると言う。

ここで「**自然数列**(<font color=blue>Natural sequence</font>)は**整数列**(<font color=blue>Integer sequence</font>)の**真部分集合**(<font color=blue>proper subset</font>)である」という概念について**群論**(<font color=blue>Group Theory</font>)の用語を**導入**(<font color=blue>Introduce</font>)しながら再検討を試みたいと思います。
[【初心者向け】集合論①部分集合と真部分集合について。](https://qiita.com/ochimusha01/items/760e3a02cf93f9db9ede)

* **自然数**(<font color=blue>Natural Number</font>)<font color=green>N</font>…**加法単位元**（<font color=blue>Additive Identity</font>）<font color=green>0</font>と**乗法単位元**（<font color=blue>Multiplicative Identity</font>）<font color=green>1</font>の**距離**(<font color=blue>Distance</font>)1</font>に注目し、これを再帰的加算単位とする**片側等差数列**(<font color=blue>One-side Arithmetic Sequence</font>)<font color=green>Nn(n=1→Inf(inity)){1=1,2=1+1,3=1+(1+1),4=1+(1+(1+1))…,Inf}</font>を得た結果。
* **整数**(<font color=blue>Integer Number</font>)<font color=green>Z</font>…さらに**距離**(<font color=blue>Distance</font>)1の**反数**（<font color=blue>Opposite</font>)<font color=green>-1</font>に注目して再帰的減算単位とする**片側等差数列**(<font color=blue>One-side Arithmetic Sequence</font>)<font color=green>Zn(n=1→-Inf){1=1,0=1-1,-1=1-(1+1),-2=1-((1+1)+1),…,Inf}</font>を得る。この二つの数列は**連結**しているので、両者を合わせた**両側等差数列**(<font color=blue>Both-side Arithmetic Sequence</font>)<font color=green>Zn(n=Inf→-1→0→1→-Inf){1=1,0=1-1,-1=1-(1+1),-2=1-((1+1)+1),…,Inf}</font>がその定義となる。
* これは**群論**(<font color=blue>Group Theory</font>)においては、(<font color=blue>それぞれが特定の演算結果たる</font>)二つの元から一つの元を作る(<font color=blue>SxS空間からS空間へ写像する</font>)**二項演算**(<font color=blue>Binary Operation</font>)に該当する操作となるが、かかる「<font color=purple>逆写像もまた連続とする</font>」**射影**(<font color=blue>Projiection</font>)には**加算における交換則**（<font color=blue>Commutative Law of Addition</font>）<font color=green>a+b=b+a</font>は成立するが、**減算における交換則**（<font color=blue>Commutative Law of Subtraction</font>）<font color=green>a-b=b-a</font>は成立しないという特徴が備わっている。

**群**(<font color=blue>Group</font>)の定義は**結合則**（<font color=blue>Associative law</font>)<font color=green>(a○b)○c=a○(b○c)</font>の成立や(<font color=blue>どんな元との二項演算の結果もその元そのものとなる</font>)**単位元**（<font color=blue>Identity Element</font>）の存在に加え、かかる操作を経てしか取り込めない(<font color=blue>それぞれの元との二項演算の結果が単位元となる</font>)**逆元**(<font color=blue>Inverse Element</font>）の存在を前提とするので、この特徴の付帯はほぼ不可避と考えられます。
[群 (数学) - Wikipedia](https://ja.wikipedia.org/wiki/%E7%BE%A4_(%E6%95%B0%E5%AD%A6))

そしてさらに付け加えるなら、こうして得られた(<font color=blue>自然数概念を整数概念に拡張した結果としての</font>)**等差数列**(<font color=blue>Arithmetic Sequence</font>)概念をさらに拡張した結果得られる**等比数列**（<font color=blue>Geometric Sequence=幾何数列</font>）概念は、残念ながら「(<font color=blue>歴史的には自然数や整数の概念の自然な拡張の結果現れると考えられてきた</font>)**有理数**(<font color=blue>Rational number</font>)=<font color=purple>比率、すなわち分子/分母の形で表せるあらゆる数</font>」そのものではないのです。
[等比数列 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%AD%89%E6%AF%94%E6%95%B0%E5%88%97)

* まず**乗法単位元**（<font color=blue>Multiplicative Identity</font>）<font color=green>1</font>を**添字**(<font color=blue>Index</font>)の<font color=green>0</font>に**射影**(<font color=blue>Projection</font>)して正の整数を再帰的乗算/冪乗単位とする**片側等比数列**（<font color=blue>One-side Geometric Sequence</font>）<font color=green>Qn(n=0,1,2,3,…,Inf){1,x^1=x,x^2=x*x,x^3=x*x*x,…,x^Inf=Inf}</font>を得る。
* 次いで負の整数を再帰的乗算/冪乗単位に設定し**片側等比数列**（<font color=blue>One-side Geometric Sequence</font>）<font color=green>Qn(n=0,-1,-2,-3,…,-Inf){1,1/x^1=1/x,1/x^2,1/x^3,…,1/x^Inf=1/Inf=0}</font>を得る。
* この二つの数列は**連結**しているので、最終的に両者を合わせた**両側等比数列**（<font color=blue>Both-side Geometric Sequence</font>）<font color=green>Qn(n=-Inf,…,-3,-2,-1,0,1,2,3,…,Inf){1/Inf=0,…,1/x^3,1/x^2,1/x,1,x,x^2,x^3,…,Inf}</font>が得られる。
* かかる「<font color=purple>逆写像もまた連続とする</font>」**射影**(<font color=blue>Projiection</font>)には**乗算における交換則**（<font color=blue>Commutative Law of Multiply</font>）<font color=green>a*b=b*a</font>は成立するが、**除算における交換則**（<font color=blue>Commutative Law of Division</font>）<font color=green>a/b=b/a</font>は成立しないという特徴が備わっている。

おそらく群論的にまとめると**片側等差数列**(<font color=blue>自然数</font>)の**反数**(<font color=blue>Opposite</font>)に注目した操作によって**両側等差数列**(<font color=blue>整数</font>)=**加法群**(<font color=blue>Additive Group</font>)を獲得し、さらにその**逆数**(<font color=blue>Reciprocal</font>)に注目した操作によって(<font color=blue>対数/指数関数や1の冪根（root of unity)1^n群などを含む</font>)**両側等比数列**=**乗法群**(<font color=blue>Multiplicative Group</font>) を獲得したと言い換える事が出来そうです(<font color=blue>まだ群論についての理解が十分ではないので断言までは出来ない</font>)。
[加法群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%8A%A0%E6%B3%95%E7%BE%A4)
[乗法群 - Wikipedia](https://ja.wikipedia.org/wiki/%E4%B9%97%E6%B3%95%E7%BE%A4)

ならば、こうした「**数理的に自然な**」操作の延長線上に現れない**有理数**(<font color=blue>Rational number</font>)とは一体何なのでしょう？ 

#「傾き」や「勾配」の概念が導入されて以降が「有理数(<font color=blue>Rational number</font>)の世界」

上掲の記述において既に**射影**(<font color=blue>添字を共有する二つの「元=集合=数列」から新たな「元=集合=数列」を構成する二項演算</font>)の概念を用いていますが、それはあくまで(<font color=blue>新たに得られる「元=集合」において群の成立条件を満たすべく、その元に対する反数集合や逆数集合を合成する為の</font>)ある種の方便に過ぎませんでした（<font color=blue>要するにある意味、同群内における自明的特徴の形を変えた説明に過ぎない</font>）。とりあえずこうした操作は、その原義においては**直積**(<font color=blue>Product</font>)とも呼ばれます。
[直積集合 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%A9%8D%E9%9B%86%E5%90%88)

同じく原義においては「<font color=purple>よく切ったトランプN組</font>(<font color=blue>53枚=13ランクが1セットのスイート4組+Joker</font>)<font color=purple>から1枚ずつ選んだN枚組のデッキを53セット用意する操作</font>」なども範疇に含みますが、こちらの概念も独自に**順列**（<font color=blue>sequence without repetition</font>）や**組み合わせ**（<font color=blue>combination, choose</font>）といった方向に拡張されていきます。
[【初心者向け】階乗と順列と組み合わせ](https://qiita.com/ochimusha01/items/90d9ef0a224bdd604721)

その一方で**直積**の別名は**デカルト積**(<font color=blue>Cartesian Product</font>)であり、歴史上は「**デカルト座標系**(<font color=blue>Cartesian Coordinate System</font>)=<font color=purple>互いに直交するN次元評価軸</font>」こそを**直積の代表例**と考える期間が長らく続いてきたのでした。

[直積集合 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%A9%8D%E9%9B%86%E5%90%88)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/8dfae4d9-2f7c-3928-534f-93cea64ac4c1.png)

>有名な歴史上の例として**解析幾何学における直交座標系**が挙げられる。ルネ・デカルトは、数を用いて幾何学的な図形を表現したり、図形から数の情報を得たりする為、縦横に**実数**(<font color=blue>Real Number</font>)の目盛りを振った平面上のそれぞれの点の数値の組を対応させ、かかる**交点**(<font color=blue>Intersection</font>)を**座標**(<font color=blue>Coordinate</font>)と名付けた。ふつう、このような組の1番目および2番目の要素をそれぞれ<font color=green>x座標</font>/<font color=green>y座標</font>と呼ぶ。したがって、それぞれの目盛り上の数値の組のすべての集合、すなわち<font color=green>ℝ×ℝ</font>(<font color=blue>ℝは実数</font>)なる直積集合は、平面上のすべての点の集合に対応する。

あれ？「**実数**(<font color=blue>Real Number</font>)**の連続性**」って、こんなに安易に導入して構わない概念なんでしたっけ？(<font color=blue>Wikipediaの記述も「有名な歴史上の例」となっている</font>)　その辺りの無邪気さの大元を遡ると、数理に確立以前に実存する「(<font color=blue>カンブリア爆発期以降、一部の生物が視覚とそれに呼応する脊髄と運動機関のフィードバック体系を獲得する過程で依存する様になった</font>)**原始デカルト座標系** (<font color=blue>Primitive Cartesian Coordinate System</font>)」に辿り着くという訳です。
[【無限遠点を巡る数理】「ピタゴラスの定理」と「デカルト座標系」の狭間](https://qiita.com/ochimusha01/items/e27e9cd6aad824043a59)

* 「**数直線の連続性**」について、自然数や整数の定義から慎重に再定義するなら「<font color=purple>距離1と次元数1の抽出→再帰演算処理による2以降/0以下の数字の補完と数直線の構成</font>」といった感じに落ち着く。歴史上我々は小数点以下の概念の導入に際して悪戦苦闘を重ねたが、最初から**無限遠点**(<font color=blue>Inf(inity)</font>)を意識して<font color=green>Xn(n=0→Inf){0=1/Inf,1=Inf/Inf,Inf=Inf/1}</font>といったスケーラブルな距離概念から出発するなら、既に**自然数**や**整数**の概念に**少数**の概念は含まれていた事になり(<font color=blue>要するに単なる桁表示、あるいは方眼の升目の設定の問題</font>)そうした寄り道は回避可能。少なくとも「**自然数が埋められない目盛の隙間を整数が埋め、それでも埋められない隙間を有理数や無理数が埋めていく…**」といったヒューリスティクスな誤謬に嵌る事はないのである。<br>[【無限遠点を巡る数理】自然数・整数・有理数の概念の再定義](https://qiita.com/ochimusha01/items/a1a20f9fe20f91d4757e)

いずれにせよ**デカルト座標系**においては特に**次元の掌握**(<font color=blue>特に原始デカルト座標系の掌握する時間経過と二次元・三次元の世界、あるいは主成分分析と因子分析といった多変量解析技法が扱う要素空間</font>)と各次元が示す数値のある種の比率、すなわち**傾き**(<font color=blue>Slope</font>）や**勾配**(<font color=blue>Gradient</font>）を巡るが注目される展開を迎え、要するにこれこそが「**有理数**(<font color=blue>Rational number</font>)**の世界**」。この次元の数理研究においても人類は膨大な量の業績を積み上げてきましたが、とりあえず上掲の様に「<font color=purple>片側等差数列</font>(<font color=blue>自然数</font>)<font color=purple>の概念の延長線上に単位元や反数の概念を取り込んだ両側等差数列</font>(<font color=blue>整数=加法群</font>)<font color=purple>の概念が現れ、さらにそのの延長線上に逆数の概念を取り込んだ両側等比数列</font>(<font color=blue>乗法群</font>)<font color=purple>が現れる</font>」数理展開とは一旦、完全に切り離して考えないといけないという事です。

#距離函数（<font color=blue>Distance Function</font>）概念を用いての「数直線の連続性」概念からの脱却

「**原始デカルト座標系概念からの脱却**」というと、多くの人が真っ先に思い浮かべるのは<font color=green>xy(z)</font>**座標**を「**原点からの距離**=**半径**<font color=green>r</font>」と「**角度**<font color=green>(φ(,θ))</font>=<font color=purple>三角関数CosとSinの組み合わせ</font>」で表記する**極座標系**（<font color=blue>Polar Coordinates System</font>）ではないでしょうか。
[極座標系](https://www.cradle.co.jp/glossary/ja_K/detail0250.html)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/c673690f-439b-0392-e08d-68ea34aa4206.png)

二次元空間における**デカルト座標**<font color=blue>(x,y)</font>の極座標系上における表現
[【初心者向け】物理学における「単位円筒(Unit Cylinder)」の概念について。](https://qiita.com/ochimusha01/items/ced1c21b4411e79cdcbe)

* **原点**<font color=green>(0,0)</font>からの**距離**<font color=green>r=sqrt(x^2+y^2)</font>
* **x**=<font color=green>r*cos(φ)</font>
* **y**=<font color=green>r*sin(φ)</font>

<font color=purple>統計言語Rでの検証例</font>

```R
#関数CtoD_2d(半径,角度φ)={x座標,y座標}
CtoD_2d<-function(Rad,Phi)return(c(Rad*cos(Phi),Rad*sin(Phi))) 
#関数DtoC_2d(x座標,y座標)={半径,角度φ}
DtoC_2d<-function(Xax,Yax)return(c(sqrt(Xax^2+Yax^2),-1*(atan2(Xax,Yax)-pi/2))) 

#π=3.14159,π/2=1.5708 
> round(pi, digits = 5)
[1] 3.14159
> round(pi/2, digits = 5)
[1] 1.5708

#半径1の単位円(Unit Circle)

> #0度(0ラジアン)
> round(CtoD_2d(1,0), digits = 5)
[1] 1 0
> round(DtoC_2d(1,0), digits = 5)
[1] 1 0
> #90度(π/2ラジアン)
> round(CtoD_2d(1,pi/2), digits = 5)
[1] 0 1
> round(DtoC_2d(0,1), digits = 5)
[1] 1.0000 1.5708
> #180度(πラジアン)
> round(CtoD_2d(1,pi), digits = 5)
[1] -1  0
> round(DtoC_2d(-1,0), digits = 5)
[1] 1.00000 3.14159
> #270度(3/2πラジアン)
> round(CtoD_2d(1,3/2*pi), digits = 5)
[1]  0 -1
> round(DtoC_2d(0,-1), digits = 5)
[1]  1.0000 -1.5708
> #360度(2πラジアン)
> round(CtoD_2d(1,2*pi), digits = 5)
[1] 1 0
> round(DtoC_2d(1,0), digits = 5)
[1] 1 0
```

三次元空間における**デカルト座標**<font color=green>(x,y,z)</font>の極座標系上における表現
[【初心者向け】「加法定理の幾何学的証明」に挑戦。](https://qiita.com/ochimusha01/items/36c0e84c434e6cdd6ec3)

* **原点**<font color=green>(0,0,0)</font>からの**距離**<font color=green>r=sqrt(x^2+y^2+z^2)</font>
* **x**=<font color=green>r*sin(θ)cos(φ)</font>
* **y**=<font color=green>r*sin(θ)sin(φ)</font>
* **z**=<font color=green>r*cos(θ)</font>

<font color=purple>統計言語Rでの検証例</font>

```R
#関数CtoD_3d(半径,角度φ,角度θ)={x座標,y座標,z座標}
CtoD_3d<-function(Rad,Phi,Theta)return(c(Rad*sin(Theta)*cos(Phi),Rad*sin(Theta)*sin(Phi),Rad*cos(Theta))) 
#関数DtoC_3d(x座標,y座標,z座標)={半径,角度φ,角度θ}
DtoC_3d<-function(Xax,Yax,Zax)return(c(sqrt(Rad<-Xax^2+Yax^2+Zax^2),-1*(atan2(Xax,Yax)-pi/2),-1*(atan2(Rad,Zax)-pi/2))) 

#関数CtoD_3d(半径,角度φ,角度θ)={x座標,y座標,z座標}
CtoD_3d<-function(Rad,Phi,Theta)return(c(Rad*sin(Theta)*cos(Phi),Rad*sin(Theta)*sin(Phi),Rad*cos(Theta))) 

#cos(π/4)=cos(-π/4)=0.70711
#-cos(pi/4)=cos(3/4π)=-0.70711
> cos(pi/4)
[1] 0.7071068
> cos(-pi/4)
[1] 0.7071068
> -cos(pi/4)
[1] -0.7071068
> cos(3/4*pi)
[1] -0.7071068

#半径1の単位球面(Unit Sphere)

#角度φ=0の時の角度θの周回
#対蹠なので角度θの値に拠らず座標(0,0,1)を指す。
> round(CtoD_3d(1,0,0), digits = 5)
[1] 0 0 1
> round(CtoD_3d(1,pi/2,0), digits = 5)
[1] 0 0 1
> round(CtoD_3d(1,pi,0), digits = 5)
[1] 0 0 1
> round(CtoD_3d(1,3/2*pi,0), digits = 5)
[1] 0 0 1
> round(CtoD_3d(1,2*pi,0), digits = 5)
[1] 0 0 1
> 
#角度φ=pi/4の時の角度θの周回
#Z座標cos(pi/4)の断面に半径cos(pi/4)の円を描く。
> round(CtoD_3d(1,0,pi/4), digits = 5)
[1] 0.70711 0.00000 0.70711
> round(CtoD_3d(1,pi/2,pi/4), digits = 5)
[1] 0.00000 0.70711 0.70711
> round(CtoD_3d(1,pi,pi/4), digits = 5)
[1] -0.70711  0.00000  0.70711
> round(CtoD_3d(1,3/2*pi,pi/4), digits = 5)
[1]  0.00000 -0.70711  0.70711
> round(CtoD_3d(1,2*pi,pi/4), digits = 5)
[1] 0.70711 0.00000 0.70711
 
#角度φ=pi/2の時の角度θの周回
#Z座標0の断面に半径1の円を描く。
> round(CtoD_3d(1,0,pi/2), digits = 5)
[1] 1 0 0
> round(CtoD_3d(1,pi/2,pi/2), digits = 5)
[1] 0 1 0
> round(CtoD_3d(1,pi,pi/2), digits = 5)
[1] -1  0  0
> round(CtoD_3d(1,3/2*pi,pi/2), digits = 5)
[1]  0 -1  0
> round(CtoD_3d(1,2*pi,pi/2), digits = 5)
[1] 1 0 0
 
#角度φ=3/4πの時の角度θの周回
#Z座標-cos(pi/4)の断面に半径cos(pi/4)の円を描く。
round(CtoD_3d(cos(pi/4),0,cos(pi/4)), digits = 5)

[1]  0.70711  0.00000 -0.70711
> round(CtoD_3d(1,pi/2,pi*3/4), digits = 5)
[1]  0.00000  0.70711 -0.70711
> round(CtoD_3d(1,pi,pi*3/4), digits = 5)
[1] -0.70711  0.00000 -0.70711
> round(CtoD_3d(1,3/2*pi,pi*3/4), digits = 5)
[1]  0.00000 -0.70711 -0.70711
> round(CtoD_3d(1,2*pi,pi*3/4), digits = 5)
[1]  0.70711  0.00000 -0.70711
 
#角度φ=πの時の角度θの周回
#対蹠なので角度θの値に拠らず座標(0,0,-1)を指す。
> round(CtoD_3d(1,0,pi), digits = 5)
[1]  0  0 -1
> round(CtoD_3d(1,pi/2,pi), digits = 5)
[1]  0  0 -1
> round(CtoD_3d(1,pi,pi), digits = 5)
[1]  0  0 -1
> round(CtoD_3d(1,3/2*pi,pi), digits = 5)
[1]  0  0 -1
> round(CtoD_3d(1,2*pi,pi), digits = 5)
[1]  0  0 -1

#関数DtoC_3d(x座標,y座標,z座標)={半径,角度φ,角度θ}
DtoC_3d<-function(Xax,Yax,Zax)return(c(sqrt(Xax^2+Yax^2+Zax^2),-1*(atan2(Xax,Yax)-pi/2),acos(Zax/sqrt(Xax^2+Yax^2+Zax^2)))) 

#座標(0,0,r)は対蹠なので半径r,角度θ=0と定まる。
#実は角度φは定まらない(ある種の極限状態)。
>round(DtoC_3d(0,0,1), digits = 5)
[1] 1.0000 1.5708 0.0000

#Z座標cos(π/4)の断面上では半径r,角度θ=cos(π/4)と定まる。
#角度φは平面上での検出通り。
> round(DtoC_3d(cos(pi/4),0,cos(pi/4)), digits = 5)
[1] 1.0000 0.0000 0.7854
> round(DtoC_3d(0,cos(pi/4),cos(pi/4)), digits = 5)
[1] 1.0000 1.5708 0.7854
> round(DtoC_3d(-cos(pi/4),0,cos(pi/4)), digits = 5)
[1] 1.00000 3.14159 0.78540
> round(DtoC_3d(0,-cos(pi/4),cos(pi/4)), digits = 5)
[1]  1.0000 -1.5708  0.7854

#Z座標0の断面上では半径r,角度θ=π/2と定まる。
#角度φは平面上での検出通り。
> round(DtoC_3d(1,0,0), digits = 5)
[1] 1.0000 0.0000 1.5708
> round(DtoC_3d(0,1,0), digits = 5)
[1] 1.0000 1.5708 1.5708
> round(DtoC_3d(-1,0,0), digits = 5)
[1] 1.00000 3.14159 1.57080
> round(DtoC_3d(0,-1,0), digits = 5)
[1]  1.0000 -1.5708  1.5708
> round(DtoC_3d(0,0,1), digits = 5)

#Z座標-cos(1/4π)の断面上では半径r,角度θ=-cos(1/4π)と定まる。
#角度φは平面上での検出通り。
> pi*3/4
[1] 2.356194
> round(DtoC_3d(cos(pi/4),0,-cos(pi/4)), digits = 5)
[1] 1.00000 0.00000 2.35619
> round(DtoC_3d(0,cos(pi/4),-cos(pi/4)), digits = 5)
[1] 1.00000 1.57080 2.35619
> round(DtoC_3d(-cos(pi/4),0,-cos(pi/4)), digits = 5)
[1] 1.00000 3.14159 2.35619
> round(DtoC_3d(0,cos(pi*3/4),-cos(pi/4)), digits = 5)
[1]  1.00000 -1.57080  2.35619

#座標(0,0,-r)も対蹠なので半径r,角度θ=πと定まる。
#角度φは定まらない(ある種の極限状態)
>round(DtoC_3d(0,0,-1), digits = 5)
[1] 1.00000 1.57080 3.14159
```

**原始デカルト座標系概念**に拘束された我々には中々イメージし難いものがあるのですが、数理的にはここでZ軸に対して行っている操作を再帰的に無限に繰り返す事で以降の次元拡張にも何とか耐えられそうに見えます。かかる概念を位相空間研究の一環として「<font color=purple>平面R^2の上の2点P1 (x1, y1),P2(x2, y2) の間の距離計算</font>」なる概念に統合しようとしているのが**距離函数**（<font color=blue>Distance Function</font>）なる分野で、ここで挙げた**距離導出数式**<font color=green>sqrt(x^2+y^2+z^2+…)</font>も**ユークリッド距離**<font color=green>d(p1,p2)</font>:=<font color=green>sqrt((x1-x2)^2+(y1-y2)^2)</font>といった定義で取り込まれていたりします。
[距離空間 - Wikipedia](https://ja.wikipedia.org/wiki/%E8%B7%9D%E9%9B%A2%E7%A9%BA%E9%96%93)

* 「**無限に繰り返せそう**」…実はこの感覚「**ハミルトンの四元数**(<font color=blue>Hamilton's Quaternion</font>)」において「<font color=purple>一対の対蹠間を円弧上の1点を経て結ぶ経路</font>(<font color=blue>タレスの定理により直角に1回曲がる事になる</font>)」を「<font color=purple>一対の対蹠間を球表面上の2点を経て結ぶ経路</font>(<font color=blue>今度は直角に2回曲がる事になる</font>)」に拡張する際の「<font color=purple>反対側の対蹠に到達する最後の点までの進路をある種の内積</font>(<font color=blue>Inner Product</font>)<font color=purple>の再帰的合成の繰り返しによって処理していくプロセス</font>」とも印象が重なる側面があったりする。ただし私は(<font color=blue>四元数の次に安定した状態で把握される</font>)**八元数**（<font color=blue>Octonion</font>）の世界は全く知らないので、この方面については「**そう思える**」以上の事は何も言えない。<br>[【Rで球面幾何学】ハミルトンの四元数は何を表しているのか？](https://qiita.com/ochimusha01/items/aff8d52f20af01d13bed)<br>[【Rで球面幾何学】そもそも「内積」とは「外積」とは何か？](https://qiita.com/ochimusha01/items/b34f73d13eef785365cd)

「**統合**」といってるくらいですから、**マンハッタン距離**（<font color=blue>Manhattan Distance</font>）<font color=green>d(p1,p2)</font>:=<font color=green>abs(x1-x2)+abs(y1-y2)</font>や**チェビシェフ距離**（<font color=blue>Chebyshev distance</font>）<font color=green>d(p1,p2)</font>:=<font color=green>max(abs(p1-p2)</font>などについても並列的に触れられており、演算結果は当然それぞれ異なります。そう、**有理数**(<font color=blue>Rational number</font>)=<font color=purple>比率、すなわちa*bやa/bの形で表せる数</font>」は、この意味合いにおいて(<font color=blue>より定義が厳密な自然数や整数と異なり</font>)出力結果に不安定要素を抱えているのです。
[マンハッタン距離 -Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%9E%E3%83%B3%E3%83%8F%E3%83%83%E3%82%BF%E3%83%B3%E8%B7%9D%E9%9B%A2)
[チェビシェフ距離 -Wikipedi](https://ja.wikipedia.org/wiki/%E3%83%81%E3%82%A7%E3%83%93%E3%82%B7%E3%82%A7%E3%83%95%E8%B7%9D%E9%9B%A2)

そもそも**直積**(<font color=blue>Product</font>)の概念自体に**射影**(<font color=blue>Projiection</font>)上のルール次第のところがあるので、当然といえば当然の結果。こうして全体像を俯瞰してみると、そもそも(<font color=blue>上で挙げた三角関数に加え、円周率やネイピア数の様に元来は多次元的広がりを有する</font>)**有理数**(<font color=blue>Rational Number</font>)から**比率**(<font color=blue>特定の場合の演算結果</font>)だけ取り出して１次元の数直線上に固定値として配置し(<font color=blue>その定義上、真の意味で多次元的広がりをを備えてない</font>)自然数や整数の同類と規定する一方、同じ様に「**比率で表せない数**」に「**無理数**(<font color=blue>Irrational Number</font>)」のレッテルを貼って連続性を認めずにきた歴史の無謀さが偲ばれるのです。とりあえず今回はここまで…