【無限遠点を巡る数理】等差数列と等比数列①関数列(Function Sequence)との関係は？

以下の投稿において**自然指数関数**の正体たる「<font color=green>0</font><font color=purple>を中心に</font><font color=green>-Inf</font><font color=purple>から</font><font color=green>Inf</font><font color=purple>を直線で結ぶ均等尺を</font><font color=green>1</font><font color=purple>を中心に</font><font color=green>0</font><font color=purple>から</font><font color=green>Inf</font><font color=purple>を結ぶ直線に射影して現れる対数尺</font>」自体に(<font color=blue>等差数列上の</font>)<font color=green>1</font>単位の**均等尺**を(<font color=blue>等比数列上の</font>)<font color=green>ネイピア数</font>単位の**対数尺**に変換する効能があり、<font color=green>(0±1i)</font>方向への<font color=green>π倍</font>のベクトル入力により**円形性**(<font color=blue>Circularity</font>)を取り戻すなる考え方を示しました。
[【無限遠点を巡る数理】オイラーの公式と等比数列⑤ネイピア数概念は「1次元の世界」から現れる？](https://qiita.com/ochimusha01/items/507a98768ea879c86b21)

①かつての投稿で(<font color=blue>それ自体は数理で直接扱えない観測原点0と観測極限Inf(inity)の間に存在する</font>)**自然数集合**(<font color=blue>Natural Set</font>)=**初項**(<font color=blue>First Term</font>)<font color=green>1</font>/**公差**(<font color=blue>Common Difference</font>)<font color=green>1</font>の**等差数列**(<font color=blue>Arithmetic Sequence=算術数列</font>)<font color=purple>Nn</font>(<font color=blue>n=1→Inf</font>){<font color=green>a0,an+(n-1)d,…</font>}(<font color=blue>ただしa0=初項,d=公差</font>)={<font color=green>1,1+1=2,(1+1)+1=3,…,n</font>}とN次元の**直交**(<font color=blue>Orthogonal</font>)/**積**(<font color=blue>Product</font>)を想定する**デカルト座標系**(<font color=blue>Cartesian Coordinate System</font>) の概念くらいは(<font color=blue>最初からプリセットで人間の脳内に存在する</font>)**形相**(<font color=blue>Eidos/Form</font>)と考えても良いかもしれないとした。
[【無限遠点を巡る数理】オイラー座標系①自然数/整数概念の再定義。](https://qiita.com/ochimusha01/items/db38b1b2a0e731672480)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/67439a67-82f7-a0b5-1ef7-574db68cb9b1.png)
逆をいえば、それに決して含み得ない、すなわち<font color=green>0</font>を中心に**観測極限**<font color=green>Inf(inity)</font>が**極少値**<font color=green>-Inf</font>と**極大値**<font color=green>Inf</font>に分割された形で認識される**両側無限数列**(<font color=blue>Both Sides Infinite Sequence</font>)をどう規定するかこそがこの着眼点からの数理の出発点となる。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f42bd488-86e3-801f-5434-92c71c7767fd.png)

②最初に**質量**(<font color=blue>Hyle/Prima materia=第一質料</font>)として実存するのは(<font color=blue>確率でしか観測結果が得られない</font>)**確率密度空間**(<font color=blue>Probability Density Space</font>)の**観測結果集合**(<font color=blue>Observation Result Set</font>)のみと考えると、まず真っ先に取り組むべきは**観測結果**を「<font color=purple>最大値1,最小値0の振幅</font>」にマッピングし(<font color=blue>最大観測値と最小観測値の間に分布する観測結果集合の平均を中心に</font>)**確率楕円**<font color=purple>-1^x(y=(0+1i)</font>を検出する作業という事になる。
[【初心者向け】記述統計学と代表値](https://qiita.com/ochimusha01/items/0bdfc971a69a30f0615f)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210117%2F20210117003848.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=37ccbadc6c100a2d89a877ae0590a7fd)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210117%2F20210117003225.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=38fcd483a692861fb49da6e992c5761a)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210117%2F20210117002845.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=3fdd3f6ce5d5ffdccc5284ed07799871)
![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%252F20201110%252F20201110010727.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26s%3D482bb306f38f5d3c649bd270e7dd9f1d?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=f41a05aea962c6e3d01c7fbd8563e431)

* **確率楕円**<font color=purple>-1^x</font>(<font color=blue>y=(0+1i)^2x</font>)は**N次元の重なり**を備え得る。そしてその時の歪曲した輪郭から総称は「<font color=purple>円</font>」ではなく「<font color=purple>楕円</font>」となった。<br>[【初心者向け】方形描画関数②距離空間(Metric Space)との関係。](https://qiita.com/ochimusha01/items/06e49a35dffbd12b35aa)<br>![image.gif](https://camo.qiitausercontent.com/9a4eefdb2b521ba6b1011723af5feb6c8f40be11/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032303132313825324632303230313231383138303033392e6769663f69786c69623d72622d312e322e32266175746f3d666f726d6174266769662d713d363026713d373526733d3764653065656136643731316236653830353434623835623665316335316437)<br>![image.gif](https://camo.qiitausercontent.com/fefe4b8edb7b7fa4346e53f4660b0b676d00a511/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313231382f32303230313231383036333830382e676966)
* **平均**(<font color=blue>Mean</font>)は**外れ値**(<font color=blue>Outlier</font>)の影響を受けやすいので**誤差関数**(<font color=blue>ERF=Error Function</font>)や**相補誤差関数**(<font color=blue>ERFC=Complementary Error Function</font>)、さらには「<font color=purple>大数弱の法則</font>(<font color=blue>WLLN=Weak Law of Large Numbers</font>)」成立を前提に**正規分布**(<font color=blue>Normal Distribution</font>)の考え方が現れたが、(<font color=blue>「天才やエリート集団の数理的証明」などに端を発っして近代以降成立した</font>)**統計学**(<font color=blue>Statistics</font>)における**帰無仮説**(<font color=blue>Null Hypothesis</font>)概念はむしろ「<font color=purple>有意水準の外れ値</font>(<font color=blue>Significance Outliers</font>)」を検出して有効活用しようと考える。<br>[外れ値と判定する方法と、外れ値の除去について](https://toukeigaku-jouhou.info/2018/04/25/determine-outlier/)<br>[【初心者向け】誤差関数(ERF)と相補誤差関数 (ERFC)。](https://qiita.com/ochimusha01/items/ee8b32e4b2cc7ce4acb0)<br>[【初心者向け】正規分布とは何か？](https://qiita.com/ochimusha01/items/fe73ddf6e3e8cb08fbee)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201113%2F20201113111114.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=1be74c11a381d9d345d61b6c2be72199)<br>[【無限遠点を巡る数理】無限遠点としての正規分布と分散概念の歴史](https://qiita.com/ochimusha01/items/15326f0c787a55f174cc)
* かかる「**予測の科学**(<font color=blue>Forecasting Science</font>)」の分野はさらに**線形**/**非線形**の**回帰分析**(<font color=blue>Regression Analysis</font>)や**機械学習**(<font color=blue>Machine Learning</font>)　の概念へと発展していく。極限として想定する分布も**正規分布**ばかりではなくなっていく。<br>[回帰分析(単回帰分析)をわかりやすく徹底解説！](https://udemy.benesse.co.jp/data-science/data-analysis/regression-analysis.html)<br>[【初心者向け】記述統計学と代表値](https://qiita.com/ochimusha01/items/0bdfc971a69a30f0615f)<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f61e9989-0cd4-bcda-ed31-9f80fda69421.png)

③どんな方法を用いるにせよ**半径1の単位円**の定義を確定すると　**無限連続等比数列**(<font color=blue>Infinite Continuous Geometric Progression=無限連続幾何数列</font>)たる<font color=purple>1^x(y=(1+0i)</font>と<font color=purple>-1^x</font>(<font color=blue>y=(0+1i)</font>)の接点として**整数列**(<font color=blue>Integer Line</font>)が規定可能となる。ただし後者のピッチは<font color=green>2</font>なので規則正しく離散的な**公差**(<font color=blue>Common Difference</font>)<font color=green>1</font>の**等差数列**(<font color=blue>Arithmetic Sequence=算術数列</font>)を得る為に**偶奇一対**(<font color=blue>Parity Set</font>)で扱う必要が出てくる。
[【無限遠点を巡る数理】オイラー座標系②複素等比数列による整数概念の再構築。](https://qiita.com/ochimusha01/items/5b095114cafafba8428f)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210105%2F20210105003122.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=1c5e7641bb15c183f387fb9c6c92759a)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210105%2F20210105071334.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=6cc2d838c056f87959b9d35678b0d60a)

* これ以降**観測結果集合**は(<font color=blue>あくまでその結果が有意水準で解離しない事を条件に</font>)**演算結果集合**(<font color=blue>Operation Result Set</font>)にとりあえずその役割を譲る。
* 「<font color=purple>偶奇性の発生</font>」ばかりか「**ピタゴラスの定理**(<font color=blue>Pythagorean Theorem</font>)<font color=green>y=±sqrt(1-x^2)</font><font color=purple>が半円しか描けない問題</font>」「**緯度経度法**<font color=purple>において緯度が経度の</font>、**三次元極座標系**<font color=purple>において垂直角θが水平角φの半分で済む問題</font>」「**複素数**<font color=purple>に共役性が存在する問題</font>」全てがこの段階での「**無限遠点**<font color=green>Infinity</font><font color=purple>の±方向への分割</font>」に関係してくる。<br>[【Rで球面幾何学】「半円しか描けなかった」世界の思い出？](https://qiita.com/ochimusha01/items/cf74b1fff650edb0a496)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F0ba98cbe-b449-9b1d-b0f0-4a6b60e55f35.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=dacd205b94963cc117e9977dda71d05d)
<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2Fdae51c2d-b2ce-515b-c55e-d8dec59a0760.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=59f7dd6225b5486bdfc394f56e8c396b)<br>[【初心者向け】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復](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-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=8fbf7a04b5430618ed748494ba2298ae)<br>[【初心者向け】複素共役（Complex Conjugate）のアニメーション表示について。](https://qiita.com/ochimusha01/items/e0bb2789a420d3317cf1)<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%252F20201116%252F20201116230848.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D0489492d3b778bcf1b6c8b3886af31c4?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=b1273a9440db7db91f80a947bffa0204)<br>![image.gif](https://camo.qiitausercontent.com/3b1ac60637925efce203f0788ffa50710d68f438/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313131332f32303230313131333230343535322e676966)<br>![image.gif](https://camo.qiitausercontent.com/9e9664fb4b1665bc097bea60f3d592fa89108799/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313131332f32303230313131333230353234332e676966)
* あるいは「<font color=purple>関数-1^xにおける(±1+0i)⇄(0±1i)⇄(∓1+0i)の繰り返しの実数部のみを取り出して周期単位とする事で、交差1の等差数列を得る</font>」とも考えられるが(<font color=blue>この場合、定数関数x=0が基準線として通る</font>)、この場合も<font color=green>0</font>を原点とする**偶数系**(<font color=blue>Even System</font>)と<font color=green>-1/1</font>を原点とする**奇数系**(<font color=blue>Odd System</font>)の同時成立は避けられない。いずれにせよこの段階における数理では**実数部における添字単位の一次元上の増減**のみが重要で(<font color=blue>それを導出するのに用いられる</font>)**周期単位虚数部の演算**は様々な形で想定され、かつ最終的には切り捨てられる。例えば上では**円形関数**<font color=purple>y=-1^x</font>を想定したが、これは**方形関数**<font color=purple>x+y=1</font>に置き換えても構わない。この辺りの「<font color=purple>最終的に計算が合っていれば導出過程を問わない</font>」自由度の高さが**虚部**の**虚部**たる由縁。要するに**補助線**といってよい？[【初心者向け】方形描画関数①三角関数との関係。](https://qiita.com/ochimusha01/items/9183360c0009cfac5b04)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201103%2F20201103224442.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=68a92de740cc92a23acd50e8140ef4b9)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201104%2F20201104021539.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=72cdde3e70d7e2b4f0c50842ec2eb388)
* この考え方を極限まで押し進めたのが「<font color=purple>‖x‖=0⇄x=0</font>(<font color=blue>演算結果集合の数だけ零元が存在する</font>)」「<font color=purple>‖ax‖=|a|‖x‖</font>(<font color=blue>スカラー倍演算が成立する</font>)」「<font color=purple>‖x‖+‖y‖≧‖x+y‖</font>(<font color=blue>三角不等式が成立する</font>)」を三大成立条件とする**ノルム空間**(<font color=blue>Norm Space</font>)概念であり、実数の範囲を<font color=purple>‖x‖+‖y‖=‖x+y‖</font>から<font color=purple>‖x‖+‖y‖≧‖x+y‖</font>に拡張した時(<font color=blue>すなわち整数線に垂直する高さの概念を認め、面積の概念が生じる時</font>)初めて**距離**/**計量関数**(<font color=blue>Distance/Metric Function</font>)操作が統計学上の**順位尺度**の概念にまで影響を与える展開を迎える(<font color=blue>計算の都合上、五問それぞれに20点が割り振られた百点満点のテストの得点配分を「10点/15点/15点/30点/30点」と割り振り直して再集計する場合などに対応?</font>)。この時点ではまだ**座標軸**{<font color=green>x,y</font>}に立脚する**デカルト座標系**(<font color=blue>Cartesian Coordinate System</font>)そのものが完全成立する訳ではない点に注意。<br>[【初心者向け】方形描画関数②距離空間との関係。](https://qiita.com/ochimusha01/items/06e49a35dffbd12b35aa)<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/ac00ace6-2f5f-355d-c54e-21a0629c8019.png)

まだまだ途上ですが、こうした展開を(<font color=blue>オイラーのφ関数や多面体定理を援用する形で</font>)質量としての**素数族**<font color=purple>2^n</font>概念の導入と捉え、さらに**素数族**<font color=purple>3^n</font>/**素数族**<font color=purple>5^n</font>概念の導入を段階的に考えられないかというのが私が現段階で抱えている構想となります(<font color=blue>例えば上掲の場合について単位円定義導入前を2^0段階、導入後を2^1段階と考える</font>)。オイラーやガウスが完成を目指した「**近世数学**」の実像を明らかにして「**現代数学**」にどう接続するのか見定める作業、もっと砕いて言うと「<font color=purple>高校までに習う数学と大学で習う数学のギャップを埋める作業</font>」と考えています(<font color=blue>最近、視野の端に時々コーシーやリーマンの名前が現れる様に…確実に現代数学の世界に近づいてはいる筈だ？</font>)。

ちなみにここまでの概念なら普通に横溢してる様です？

[ベクトルあれこれ—古人の求めたるところを](https://www.math.nagoya-u.ac.jp/~yamagami/teaching/topics/vector2015.pdf)

>デカルトが扱ったのは、もっとも素直な座標系＝**直交座標系**であった。**座標原点**という基準点があって、そこからの点の位置の偏りを互いに直交する３方向への成分として表す。この位置を表す３成分＝**直交座標**であるが、その仕組みから、これもあとづけながら、**位置ベクトルの成分**＝**座標**、と言っても同じことである。これはやがて、一般のベクトルの成分表示につながって行くことになる。
>
>一方で、**極座標**とかのいわゆる**曲線座標**というものもある。こちらは、とにかく、点に数を対応させて、点の位置を識別すればよいということで、ある意味、融通無碍、節操のない方法でもある。一方で、自然科学に目を向けると、観測対象があって、その状態を識別するために様々な物理量が使われるのと様子が似ている。様々な物理量を測定することで、扱っている物質の状態を記述するということなので、これも一種の座標と呼んでよかろう。
>
>その背景には、素朴な実在論がある。観測対象が、観測行為とは独立に存在し、実験ないし観測は、それに対して数量を対応させることなので。この意味での「**座標系**」に、偶然要因による変動を許したものが、確率論でいうところの確率変数に他ならない。
>
>素朴な実在論は、量子論によって否定されることになるのであるが、では、量子論的な座標の概念が確立したかというと、それがなかなか。根源的な問は、とりあえず置いて、道具の使い方にひたすら磨きをかけてきたのが、この１００年間の状況である。ただ、非常に面白いところは、直交座標系の背後にある「**直交ベクトル空間**」をとことん追求したものは、量子論の数学的構造そのものにたどり着くという不思議。

とりあえずオイラーの(<font color=blue>Eulerian</font>)**φ関数**<font color=purple>1/2/3/5…</font>と**多面体定理**(<font color=blue>Polyhedral Theorem</font>)<font color=purple>V</font>(<font color=blue>ertex=頂点</font>)<font color=purple>−E</font>(<font color=blue>dge=辺</font>)<font color=purple>+F</font>(<font color=blue>ace=面</font>)<font color=purple>=2</font>(<font color=blue>計算上の始点にして終点となる一対の対蹠数。二次元上の多面体ではこれをコインの表裏に該当する2とも平面故の0とも換算可能</font>)の関係を調べた以下の投稿では、とりあえず**直交**の概念に対応するのは**素数族**<font color=purple>2^n</font>と<font color=purple>3^n</font>及びその**積**(<font color=blue>Product</font>)<font color=purple>2^n3^m</font>のみなる結論に至っています。
[【Rで九九】どうして36個の数字しか使われないのか？](https://qiita.com/ochimusha01/items/8d990f23ae96db0cd953)
[【オイラーの多面体定理と正多面体】とある「球面幾何学(Spherical Geometry)」の出発点…](https://qiita.com/ochimusha01/items/5f8dbf33bac5b7227a11)

①**プラトン立体**(<font color=blue>Platonic Solid</font>)**五種**で言うと**正四面体**(<font color=blue>Regular Tetrahedron</font>)、**正六面体**(<font color=blue>Cube=立方体</font>)、**正八面体**(<font color=blue>Regular Octahedron</font>)の範囲で、**正六面体**は単独、**正四面体**と**正八面体**はセットで**空間充填**(<font color=blue>Space-filling</font>)性を備える。<br>![Tetrahedron05.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125143738.gif)<br>![square004.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201121%2F20201121223022.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=3f3105fa287092825b39b75fa7a36f21)<br>![Octahedron02.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125144954.gif)
<br>[空間充填 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%A9%BA%E9%96%93%E5%85%85%E5%A1%AB)<br>**立方体**による空間充填（<font color=blue>辺のみ可視化</font>）<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/8cff414e-f661-78f0-5c96-f9282a1b9e34.png)
<br>**正四面体**と**正八面体**による空間充填<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f1738011-2aee-ac9f-324f-922f88107cda.png)<br>![triangles004.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201129%2F20201129055848.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&s=8aaababc6b4f244b6086ae1fe5f1bdc1)

また**素数族**<font color=purple>2^n3^m</font>を平面上に全射影した**正六角形**(<font color=blue>Regular Hexagon</font>)は<font color=purple>(p-2)q=2p</font>(<font color=blue>正p角形の内角をq倍すると2πラジアン/360°になる組み合わせでこの場合p=6/q=3,2π/3=120°</font>)の条件を満たし**平面充填**(<font color=blue>Tessellation</font>)性のみを備える。<br>[平面充填 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%B9%B3%E9%9D%A2%E5%85%85%E5%A1%AB)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/92c7317e-80eb-5ee1-7509-536333823a2f.png)

ちなみに**平面充填**性自体は**素数族**<font color=purple>2^2</font>を平面上に全射影した**正方形**(<font color=blue>Square,p=4/q=4,2π/4=π/2=90°</font>)と**素数族**<font color=purple>3^1</font>を平面上に全射影した**正三角形**(<font color=blue>Equilateral Triangle,p=3/q=6,2π/6=π/3=60°</font>)も備える。どちらも合計<font color=green>4</font>なのは、果たして偶然なのか…
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/04aed997-2f43-d632-1699-222f782f9d7f.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d3a42909-efb4-d678-2f96-ceecc6c541b6.png)
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125152110.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/b9b3f93d-5f9d-d9b6-bbed-86816f6fede4.png)

②そして同心円展開上、同構造の再構築を繰り返す(<font color=blue>連続同心円を描く</font>)のもまた**正方形**と**正三角形**のみなのである。
[【オイラーの多面体定理と正多面体】内接円/球面の半径と外接円/球面の半径の狭間](https://qiita.com/ochimusha01/items/1312cc54694cf1a27e17)
**正方形**の場合
![20190907222058.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/dc893a6e-8929-48a8-e40b-91b59f4a6bd9.gif)
![20190907222132.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/918bb5c7-2ac7-ab55-7915-fca3498aae40.png)
![20190918061420.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/fd59150f-72ba-3566-7534-2d2bb6f3a177.gif)
![Rplot30.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/8b69aebd-16a4-79b0-25e5-008b4dfa970e.png)

<!-- html table generated in R 3.5.2 by xtable 1.8-4 package -->
<!-- Sat May  9 17:05:36 2020 -->
<table border=1>
<tr> <th>  </th> <th> Target_size </th> <th> Target_names </th> <th> Target_values </th>  </tr>
  <tr> <td align="right"> 1 </td> <td> 2^-1 </td> <td> 2^-1(2^-0.5r) </td> <td> 0.5 </td> </tr>
  <tr> <td align="right"> 2 </td> <td> 2^-1 </td> <td> 2^-1d=2^-1*4 </td> <td> 1 </td> </tr>
  <tr> <td align="right"> 3 </td> <td> 2^-1 </td> <td> 2^-1a1=2^0a0 </td> <td> sqrt(2)=1.414214 </td> </tr>
  <tr> <td align="right"> 4 </td> <td> 2^-1 </td> <td> 2^-1a1(2^-0.5a0)*4 </td> <td> 4sqrt(2)=5.656854 </td> </tr>
  <tr> <td align="right"> 5 </td> <td> 2^-0.5 </td> <td> 2^-0.5(2^0r) </td> <td> sqrt(2)/2=0.7071068 </td> </tr>
  <tr> <td align="right"> 6 </td> <td> 2^-0.5 </td> <td> 2^-0.5d=2^-0.5*4 </td> <td> sqrt(2)=1.414214 </td> </tr>
  <tr> <td align="right"> 7 </td> <td> 2^-0.5 </td> <td> 2^-0.5a1=2^0a0 </td> <td> 1 </td> </tr>
  <tr> <td align="right"> 8 </td> <td> 2^-0.5 </td> <td> 2^-1a1(2^0.5a0)*4 </td> <td> 4 </td> </tr>
  <tr> <td align="right"> 9 </td> <td> 2^0 </td> <td> 2^0(2^-0.5R,2^0.5r) </td> <td> 1 </td> </tr>
  <tr> <td align="right"> 10 </td> <td> 2^0 </td> <td> 2^0d=2^0*4 </td> <td> 2 </td> </tr>
  <tr> <td align="right"> 11 </td> <td> 2^0 </td> <td> 2^0a1=2^0.5a0 </td> <td> sqrt(8)=2sqrt(2)=2.828427 </td> </tr>
  <tr> <td align="right"> 12 </td> <td> 2^0 </td> <td> 2^0a1(2^0.5a0)*4 </td> <td> sqrt(32)=4sqrt(2)=5.656854 </td> </tr>
  <tr> <td align="right"> 13 </td> <td> 2^0.5 </td> <td> 2^0.5(2^-0R,2^1r) </td> <td> sqrt(2)=1.414214 </td> </tr>
  <tr> <td align="right"> 14 </td> <td> 2^0.5 </td> <td> 2^0.5d=2^0.5*4 </td> <td> 2sqrt(2)=2.828427 </td> </tr>
  <tr> <td align="right"> 15 </td> <td> 2^0.5 </td> <td> 2^0.5a1=2^1a0 </td> <td> 4 </td> </tr>
  <tr> <td align="right"> 16 </td> <td> 2^0.5 </td> <td> 2^0.5a1(2^0a0)*4 </td> <td> 8 </td> </tr>
  <tr> <td align="right"> 17 </td> <td> 2^1 </td> <td> 2^1(2^1-0.5R,2^0.5r) </td> <td> 2 </td> </tr>
   </table>

![20190919182043.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/b4b8c5b9-6768-ce41-85e0-4ebeeadfe406.png)
![20190919155431.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/19df26a6-1ca3-0e4c-7b71-00f470881e30.png)
![20190919145255.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/0e1f9518-2745-56d9-89e2-261e979304d6.png)
![20191018141703.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/3631892a-d9d9-307d-d590-04e6aaf336d5.png)
**正三角形**の場合
![20190907183252.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/165ffd6f-eb31-467c-4a1a-29a80e9a3c55.gif)
![20190907183221.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/30f51328-dd6b-cbc9-730a-fabfb18b8427.png)
![20190919074352.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/9ffbc521-ec9d-7c10-5abf-f5be30780267.gif)
![20190818001217.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/316379cf-07c0-2db3-ecf3-e93a8400c6b1.png)

<!-- Sat May  9 16:53:13 2020 -->
<table border=1>
<tr> <th>  </th> <th> Target_size </th> <th> Target_names </th> <th> Target_values </th>  </tr>
  <tr> <td align="right"> 1 </td> <td> 3^-1 </td> <td> 3^-1(3^0r) </td> <td> 1/2=0.5 </td> </tr>
  <tr> <td align="right"> 2 </td> <td> 3^-1 </td> <td> 3^-1h=3^-1*3 </td> <td> 3/2=1.5 </td> </tr>
  <tr> <td align="right"> 3 </td> <td> 3^-1 </td> <td> 3^-1a1=3^0a0 </td> <td> 2*sqrt(1.5)=2.44949 </td> </tr>
  <tr> <td align="right"> 4 </td> <td> 3^-1 </td> <td> 3^-1a1(3^0a0)*3 </td> <td> 6*sqrt(1.5)=7.348469 </td> </tr>
  <tr> <td align="right"> 5 </td> <td> 3^0 </td> <td> 3^0(3^-1R,3^1r) </td> <td> 1.0 </td> </tr>
  <tr> <td align="right"> 6 </td> <td> 3^0 </td> <td> 3^0h=3^0*3 </td> <td> 3.0 </td> </tr>
  <tr> <td align="right"> 7 </td> <td> 3^0 </td> <td> 3^0a1=3^1a0 </td> <td> 2*sqrt(3)=3.464102 </td> </tr>
  <tr> <td align="right"> 8 </td> <td> 3^0 </td> <td> 3^0a1(3^1a0)*3 </td> <td> 6*sqrt(3)=10.3923 </td> </tr>
  <tr> <td align="right"> 9 </td> <td> 3^1 </td> <td> 3^1(3^0R) </td> <td> 3.0 </td> </tr>
   </table>

![20190919182420.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/8d177752-0c13-76bf-a34c-7e3783dd160c.png)
![20190919181530.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/72d934cf-d6d7-7695-42e2-c376d1bd76e8.png)
![20191018135953.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/27b87e1a-af4d-5607-3b47-05e4bc648675.png)

通例、**多角形**にも立体にも数えない**二辺形**(<font color=blue>Bilateral</font>)すなわち**均等尺**(<font color=blue>Even Scale</font>)や**対数尺**(<font color=blue>Logarithmic Scale</font>)や(<font color=blue>Cos波やSin波の様な</font>)**円状尺**(<font color=blue>Circular Scale</font>)をポテンシャルとして備える任意の**円**/**球面**の**対蹠**(<font color=blue>Antipodes</font>)間における**直線的往復**(<font color=blue>linear Reciprocating Motion</font>)/**単振動**(<font color=blue>Simple Vibration</font>)概念は、(<font color=blue>半径1の単位円を生成する</font>)**複素数関数**<font color=purple>-1^x=(0±1i)^2x</font>や(<font color=blue>-Inf⇄0⇄Infの範囲の均等尺を0⇄1⇄Infの範囲の対数尺に射影した結果現れる</font>)**ネイピア数**<font color=green>exp(1)</font>(<font color=blue>2.718282</font>)を根とする**等比数列**、すなわち**自然指数関数**と**自然対数関数**の振る舞いに密接に関係してくるが(<font color=blue>上に列記した素数族2^n導入に伴う諸現象の原因となるだけで</font>)こうした(<font color=blue>-a^xのaが1以上や1以下の場合を想定する</font>)**連続同心円展開**自体は含まない。
![Sphere005.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125154750.gif)

③逆にいえば**素数族**<font color=purple>5^n</font>を要素に含む**正十二面体**(<font color=blue>Regular Dodecahedron</font>)や**正二十面体**(<font color=blue>Regular Icosahedron</font>)は直交の概念から完全に離れ、**素数族**<font color=purple>7^n</font>以上を要素に含む多角形はもはや正多面体を構成しない(<font color=blue>辺数が増大するにつれその多角形の内接円と外接円の半径差が0へと収束していくのみ</font>)。後者はある意味**無限大**<font color=purple>Inf</font>の頂点数と**無限小**<font color=purple>-Inf</font>の辺長によって構成され、全頂点が「<font color=purple>中心からの距離が全て均等で</font>」「<font color=purple>中心から下ろした垂線と垂直に交わる</font>」性質しか備えない円概念に回帰してしまう様にも見て取れる(<font color=blue>なるほど円概念には当初からこういう形で無限大の概念と無限小の概念が内包されているのである!! 文章にまとめる過程で初めて気付いた…</font>)。
![dodecahedron002.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125160959.gif)
![dodecahedron002.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125162938.gif)

④こうして全体像を俯瞰してみると(<font color=blue>数理が観測結果集合から演算結果集合に立脚する様になる</font>)**1次元未満**の空間においては**確率演算**(<font color=blue>Probability Operation</font>)や**複素数表現**(<font color=blue>Complex Expression</font>)が全てであり、**実数表現**(<font color=blue>Real Expression</font>)が可能となる**1次元以上**の空間においても**平面充填条件**<font color=purple>(p-2)q=2p</font>を満たさない**多角形**やオイラーの**多面体定理**<font color=purple>V−E+F=2</font>の条件を満たさない**多面体**などについて記述する上で**確率演算**や**複素数表現**が欠かせない。この辺りの**実数的安定性**(<font color=blue>Real Stability</font>)と(<font color=blue>確率演算/複素数表現を要する</font>)**虚数的不安定性**(<font color=blue>Imaginal Instability</font>)の交代性はある意味**偶奇性**(<font color=blue>Parity</font>)の本質で(<font color=blue>要するに対蹠が通ってデカルト座標系に収まるかどうかが重要。対蹠が通ってない「奇数次元」では、そもそも対蹠の概念が存在しない原始段階を除き、それぞれの対蹠からの対象な展開を一対で扱う事になる。数としての偶数と奇数の関係というより偶関数と奇関数の関係に近いイメージ</font>)、<font color=purple>Linuxカーネルのバージョン管理</font>が**偶数系**を<font color=purple>安定バージョン</font>、**奇数形**を<font color=purple>開発バージョン</font>とするのもこの辺りの概念にインスパイアされての事かもしれない。
[ちょっぴりLinuxが語れるようになる基礎知識](https://www.itmedia.co.jp/enterprise/articles/0703/19/news016.html)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/903f95e4-fc9a-93e9-72fb-f8b365288aef.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/1e36492f-10d2-84a3-0526-6aea1d1ff60b.png)

前者を我々の馴染んだ<font color=green>1次元</font>、<font color=green>2次元</font>、<font color=green>3次元</font>…なる表現に対応させるなら、後者はその間を取って<font color=green>0.5次元</font>、<font color=green>1.5次元</font>、<font color=green>2.5次元</font>と呼ばれる事になるだろう。こうした概念が物理学の世界における**量子揺らぎ**(<font color=blue>Quantum fluctuation</font>)の概念とぴったり重なるかは不明だが、とにかくそれを仮に「**数理の量子揺らぎ的側面**(<font color=blue>Quantum Theory in Mathematical Things</font>)」と呼んでもそれほどの齟齬は生じない様に思える。というか、そう考えると**双対性**(<font color=blue>Duality</font>)や「**一対の正四面体から立方体への遷移**」「**立方体から正十二面体への遷移**」といった幾何学のアクロバティックな側面が上手く説明出来る様に感じられるのである。
[【オイラーの多面体定理と正多面体】正四面体と正六面体と正八面体の連続性と「テトラパックの思わぬ正体」について。](https://qiita.com/ochimusha01/items/3356f7c805917660632c)
![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125150335.gif)
[【オイラーの多面体定理と正多面体】正六面体と正十二面体の間の往復(「屋根掛け法」とは何か？)](https://qiita.com/ochimusha01/items/37e73f243a0b2f2cba9d)
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125161640.png)
![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210125/20210125161856.gif)

こういう形で循環する座標系をとりあえず（<font color=blue>主にオイラーの名前を関した定理の積み重ねから導出される事から</font>）**オイラー座標系**(<font color=blue>Eulerian Coordinate System</font>)と呼ぶ事にし、その性質を調べる様になった訳です。正直に打ち明けておくと「<font color=purple>ベクトル空間と関数列を巡るバナッハ空間とヒルベルト空間に関する議論</font>」が難し過ぎてついていけないので始めた試みでした。
[バナッハ空間とヒルベルト空間](http://www.math.nagoya-u.ac.jp/~noby/pdf/fana/10/fana10_2.pdf)

>**記号**<font color=purple>‖.‖</font>と**線形集合**<font color=purple>X</font>で表される関数
>
><font color=purple>‖.‖:X→[0,Inf) (x→‖.‖) </font>(<font color=green>2.1</font>)
>
>に対し以下の条件を考える：
>
><font color=purple>‖x‖=0⇄x=0</font>(<font color=green>2.2</font>)
><font color=purple>‖x‖+‖y‖≧‖x+y‖, x,y∈X</font> (<font color=blue>三角不等式</font>), (<font color=green>2.3</font>)
><font color=purple>‖cx‖=|c|‖x‖, c∈K, x∈X</font>(<font color=green>2.4</font>)
>
>①(<font color=green>2.3</font>)と(<font color=green>2.4</font>)を満たす<font color=purple>‖.‖</font>を<font color=purple>X</font>上の**半ノルム** (<font color=blue>Semi-norm</font>)という。
>②(<font color=green>2.2</font>) を満たす**半ノルム**を<font color=purple>X</font>上の**ノルム**(<font color=blue>Norm</font>) と言う。
>③Xにある**ノルム**<font color=purple>‖.‖</font>を指定した時の組(<font color=purple>X,‖.‖</font>)を**ノルム空間** (<font color=blue>Normed Vector Space</font>) という。

既に**ベクトル**=**線形空間**の概念が生じて以降の議論。とりあえずは<font color=purple>‖x‖+‖y‖=‖x+y‖</font>を**線形性**(<font color=blue>Linearity</font>)と定義し、これに<font color=purple>±</font>の**有向性**(<font color=blue>Directionality)概念を加えたのが**ベクトル空間**(<font color=blue>Vector Space</font>)と考える粗雑な理解でOK?
[高校数学における線形性の8つの例](https://mathtrain.jp/linear)

>**線形性**を満たす関数は「<font color=purple>原点を通る直線</font>」=**一次関数**(<font color=blue>Linear Function</font>)しか存在しません(<font color=blue>y=0を含むy=ax。ただしx=0すなわちy=∞xをこれに含めて良いかについては様々な議論がある</font>)。

**統計学上の尺度論**と照会するなら**半ノルム**が「<font color=purple>間隔尺度</font>(<font color=blue>Interval Scale</font>)」未満(<font color=blue>スカラー倍の成立も三角不等式の成立も確信出来ない為、この表現となる</font>)、**ノルム**が「<font color=purple>比例尺度</font>(<font color=blue>Proportional Scale</font>)」未満(<font color=blue>三角不等式の成立が確信出来ない為、この表現となる</font>)となる様です。**三角不等式**の成立が確信出来ないのは、この統計量が<font color=purple>‖x‖+‖y‖=‖x+y‖</font>となる**線形条件**しか扱わないからですね。要するにこれが上掲の(<font color=blue>等比数列1^xと-1^xの交点として整数列を規定する</font>)**素数族**<font color=purple>2^1</font>空間の概念の出発点となりました。
[変数の尺度](https://bellcurve.jp/statistics/course/1562.html)

>提案したのは**スタンレー・スティーブンズ**（<font color=blue>Stanley Smith Stevens</font>）で、<font color=green>1946年</font>サイエンス誌に発表した"<font color=purple>On the theory of scales of measurement</font>"なる論文の中で、変数の4つの尺度「**名義尺度**」「**順序尺度**」「**間隔尺度**」「**比例尺度**」について説明したのが最初とされています。

統計学にはさらに以下の尺度も存在します。

* 「**質的変数**(<font color=blue>Qualitative variable</font>)」と「**量的変数**(<font color=blue>Quantitative variable</font>)」…**名義尺度**と**順序尺度**は**質的変数**に属し、**間隔尺度**と**比例尺度**は**量的変数**に属する。質的変数については「**カテゴリー変数**（<font color=blue>Categorical Variable、カテゴリカル変数とも</font>）」という呼び方もある。
* 「**離散変数**（<font color=blue>Discrete Variable</font>）」と「**連続変数**（<font color=blue>Continuous Variable</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>)」とした。
[【無限遠点を巡る数理】オイラーの公式と等比数列②線形性ならぬ円形性について](https://qiita.com/ochimusha01/items/93fed1b5d3009032833d)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fqiita-user-contents.imgix.net%25252Fhttps%2525253A%2525252F%2525252Fcdn-ak.f.st-hatena.com%2525252Fimages%2525252Ffotolife%2525252Fo%2525252Fochimusha01%2525252F20201202%2525252F20201202093758.gif%25253Fixlib%25253Drb-1.2.2%252526auto%25253Dformat%252526gif-q%25253D60%252526q%25253D75%252526s%25253D167e614307e1813ff07f89cc7e325745%253Fixlib%253Drb-1.2.2%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253Deebf5744bdd7ab1d7b98a49c133d54c4%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3Df72fadcf38cd71cefcc392011b9b72e3?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=ef52c44054ae567053b7592ec5c5d57c)

②また**連続変数**と**離散変数**の関係については背景に連続的に存在する**確率密度空間**(<font color=blue>Probability Density Space</font>)を想定し、それに対して離散的にしか取得し得ない**観測結果集合**(<font color=blue>Observation Result Set</font>)と、これを改めて可能な限り連続量として掌握しようとする試行としての**演算結果集合**(<font color=blue>Operation Result Set,表現上数式または規則正しく離散的な添字集合として表される。前者にも離散集合にのみ対応する条件が付与される場合があり、後者も代表値を列記してるだけで連続量を表している場合がある</font>)を対応させる事で統計学上の概念と一般数理上の概念のギャップの発展的解消を試みた。
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20201111%25252F20201111061314.gif%253Fixlib%253Drb-1.2.2%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253D0ec5ad367a9238d99fae4325c3a95b29%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D61fff111f1cc073c26829b0b7b27df91?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=b00bc8c9dd38016f8777067be75b1a23)

* ところで賽子の出目自体は<font color=green>1/6</font>が<font color=green>6個</font>の**離散均等分布**だが、賽子を目の数、すなわち<font color=green>6回</font>振って特定の出目が出ない確率に注目すると<font color=purple>(1-1/6)^6</font>=<font color=green>0.334898</font>となり、この考え方を「<font color=purple>1/Nの確率の事象をN回試行した場合の確率</font>」と抽象化して極限を求めると<font color=green>exp(-1)</font>(<font color=blue>0.3678794</font>)となる。<br>[【初心者向け】指数・対数関数の発見とそれ以降の発展について。](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F241a9d60-380c-d71e-08e3-085d596ec8fe.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=08fb0b1e6c6390220480c2b75dea42e9)
* この値を**公比**(<font color=blue>Common Ratio</font>)に採用した**等比数列**は<font color=green>-Inf⇄0⇄Inf</font>の範囲の**均等尺**を<font color=green>0⇄1⇄Inf</font>の範囲の**対数尺**に射影した結果</font>と一致し、さらには「<font color=purple>区間分割数</font><font color=green>N</font><font color=purple>ごとの利率が</font><font color=green>(1+1/N)倍</font><font color=purple>となる複利式金融商品の全区間を通じての</font>(<font color=blue>すなわちN乗した結果としての</font>)<font color=purple>最終利率</font>」<font color=green>exp(1)</font>(<font color=blue>2.718282</font>)と逆数関係にあって、それぞれを**反比例式**<font color=purple>xy=1</font>の<font color=green>X軸</font>と<font color=green>Y軸</font>の目盛に採用すると各目盛が**面積**<font color=green>1</font>に対応する**両対数尺**が現れる。<br>[【初心者向け】指数・対数関数の発見とそれ以降の発展について。](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/b0f87386-53b9-c8d1-e69c-60c9e5d8d72d.png)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210122%2F20210122013721.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=f95032020bcde37c1aa97c7df0a726b0)
* 一方、こうして発見された**自然指数関数**の添字に**複素円関数**<font color=purple>-1^x</font>=<font color=purple>(0+1i)^2x</font>の値を<font color=green>π/2</font>した結果を与えても**ガウス平面**(<font color=blue>複素数平面</font>)上に円が再現され(<font color=blue>オイラーの公式e^θi=cos(θ)+sin(θ)i</font>)、かつ**複素関数**<font color=purple>exp(xi)</font>と<font color=purple>exp(-xi)</font>の平均を**実数軸**(<font color=blue>X軸</font>)/**虚数軸**(<font color=blue>Y軸</font>)それぞれについて求めると<font color=purple>Cos波</font>と<font color=purple>Sin波</font>が得られる(<font color=blue>ただしその周きは2πではなく2</font>)。<br>[【無限遠点を巡る数理】オイラーの公式と等比数列③Cos波とSin波の正体？](https://qiita.com/ochimusha01/items/9014922c8aeff3dd9670)<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%252F20210110%252F20210110223101.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26s%3D154e141c3826527e684029462ea0e3a5?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=6e54a5d4abfe63dc3edb66361e4bb2d6)
* こうした数理について統計学の分野は原則として踏み込む事なく「**利用者**」の立場を貫いてきた。かかる従属状態から脱却するには「**確率論**」だけでなく、それと逆数関係にある「**利率論**」とでも呼ぶべき分野に踏み込まざるを得なくなる。<br>[【初心者向け】挟み撃ち定理（Squeeze Theorem）による円周率πの近似](https://qiita.com/ochimusha01/items/1caff7d8af4aab167aaa)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F2d9ca0a6-6aa5-d545-32ad-9f336ff0cdb5.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=db3e50aa3b3059287041cd2a1d04fa6f)
* ある意味それが難しいので、全く別方面の<font color=purple>MCMC</font>(<font color=blue>Markov Chain Monte Carlo methods=マルコフ連鎖モンテカルロ法</font>)アプローチに逃げた側面も?<br>[【初心者向け】「モンテカルロ法」概説](https://qiita.com/ochimusha01/items/979f43806ef00910ac81)<br>![image.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/300dc4cc-97c6-dc12-9003-56d360995a03.gif)

③一方(<font color=blue>最後に残された</font>)**質的辺数**に分類される**順序尺度**には以下の特徴がある。

* そもそも**単一評価次元上の数値比較の結果**とも限らないので、最初から根本的に曖昧さを抱える残る尺度ではある(<font color=blue>目的意識に対応するプライオリティ付けと密接な関係があり、演算結果集合への持ち込み方に難があるヒューリスティクスな要素を内包する</font>)。<br>[ヒューリスティクス - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%A5%E3%83%BC%E3%83%AA%E3%82%B9%E3%83%86%E3%82%A3%E3%82%AF%E3%82%B9)
* さらには**距離**/**軽量関数**のパラメーター操作によって順序が入れ替わる可能性がある。<br>[【初心者向け】方形描画関数②距離空間との関係。](https://qiita.com/ochimusha01/items/06e49a35dffbd12b35aa)
* その一方で**中央値**(<font color=blue>Median</font>)による中心検出は、平均による中心検出より外れ値の影響を受けにくいといった長所も備える。<br>[【初心者向け】平均と標準偏差、中央値と平均偏差](https://qiita.com/ochimusha01/items/971d62ebc5e4cac6a61b)

こうした統計学上の概念と一般数理との対応づけが**今年の出発点**となります。もう<font color=green>11ヶ月とちょっと</font>しか残されてませんが…

#群概念(<font color=blue>Group Concept</font>)からの再出発

基本中の基本、**群の定義**に立ち返ります。
[【初心者向け】群論概念①基本定義](https://qiita.com/ochimusha01/items/208dc0e68db64805e4f7)

>①積もまた集合の要素になっていること。
>②結合法則が成り立つこと。
>③単位元が存在すること。
>④逆元が存在すること。
>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201202%2F20201202104819.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=487bf8de3579383fd74dc3549d582aad)
>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201202%2F20201202105840.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2fb2c8cc45eb57806b2a281043d4a561)
>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201202%2F20201202110929.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2707333ff7b779922e55b3d65cdd454c)
>この定義によって**加法整数群**(<font color=blue>Additive Integer Group</font>)が成立し、**添字集合**(<font color=blue>Indexed Set</font>)として使用可能となる。

こうしてそれまでは**等差数列**(<font color=blue>Arithmetic Sequence=算術数列</font>）で記述する事しか出来なかった**自然数**(<font color=blue>Natural</font>)と**整数**(<font color=blue>Integer</font>)の概念が無事アップデート出来たので、続いて**等比数列**（<font color=blue>Geometric Sequence=幾何数列</font>）<font color=purple>An</font>(<font color=blue>n=-Inf→0→Inf</font>)={<font color=green>…An^(n-1)…</font>}={<font color=green>1/(a^Inf):=0,…,1/a^2,1/a,a/a=1,a,a^2,…,a^Inf=Inf</font>}概念の**乗法群**(<font color=blue>Multiplicative Group</font>)概念へのアップデートを計ろうと思い立ったのですが…難しくて全然頭に入ってきません。
[巡回群について](http://proofcafe.org/k27c8/math/math/group/page/cyclic_group/)
[乗法群 - Wikipedia](https://ja.wikipedia.org/wiki/%E4%B9%97%E6%B3%95%E7%BE%A4)
[ときわ台学代数入門/整数の剰余類の乗法群](http://www.f-denshi.com/000TokiwaJPN/01daisu/140gun.html)
[剰余類から剰余群へ](http://proofcafe.org/k27c8/math/math/group/page/quotient_group/)

むしろ惹かれたのがこっちの話。
[微分積分学の基本定理 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E7%A9%8D%E5%88%86%E5%AD%A6%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86)
「<font color=purple>微分と積分は互いに逆の操作・演算である</font>」。例えばここへの投稿にも良く使ってる**テイラー級数**(<font color=blue>Taylor Series</font>)/**マクローリン級数**(<font color=blue>McLaughlin Series</font>)で用いる**高階微積分の反復**について考えてみると…
[【Rで球面幾何学】オイラーの公式を導出したマクローリン級数の限界？](https://qiita.com/ochimusha01/items/4a484d5759f96abb0ab3)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210110%2F20210110223101.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=7a3a7bbacf074d7a2f63af41b005554e)

* **微分や積分の回数**が**添字の加減算**に置き換えられる(<font color=blue>単位元も逆元も存在し、結合法則も成りする</font>)。
* (<font color=blue>計算しなかった/出来なかった部分は剰余項に追いやる近似システムなので</font>)**微分や積分の結果集合**に**実数および複素数の範囲**を超える何かが現れる事はない(<font color=blue>おそらく</font>)。

どうやらこういう話になっていく様ですね。
[ベクトルと関数のおはなし](http://www.natural-science.or.jp/article/20120306220904.php)
[フーリエ級数展開](https://www.sci.hokudai.ac.jp/~inaz/doc/B/math/node15.html)

><font color=green>20世紀初頭</font>、微分積分の大域的な議論を線形代数の議論に置き換えて考える方法 が提唱された。関数は関数空間上の点を見なし、**基底**や**内積**などの概念を導入して関数をあたかもベクトルのように扱うと非常に便利である。しかし、関数空間は有限次元のベクトル空間ではないので、一般には線形代数の議論を適応する際に困難が生じる。

ややこしいのが以下のジレンマ。

* (<font color=blue>-Inf⇄0⇄Infの範囲の均等尺を0⇄1⇄Infの範囲の対数尺に射影した結果現れる</font>)**ネイピア数**<font color=purple>exp(1)</font>(<font color=blue>2.718282</font>)や**複素円関数**<font color=purple>-1^x</font>=<font color=purple>(0±1i)^2x</font>の演算結果集合や**円周率**<font color=green>π</font>などを族とし(<font color=blue>πは演算結果として現れる距離に過ぎないので族には含めないのが正しいかもしれない</font>)、**自然指数関数**<font color=purple>exp(xi)</font>、**自然対数関数**<font color=purple>log(xi)</font>、**余弦関数**<font color=purple>Cos(θ)</font>=<font color=purple>(exp(xi)+exp(-xi))/2</font>、**余弦関数**<font color=purple>Sin(θ)</font>=<font color=purple>(exp(xi)-exp(-xi))/2i</font>、全ての波形を<font color=purple>Cos波</font>と<font color=purple>Sin波</font>の合成で近似する**フーリエ級数**、複素数概念の三次元版たる**リーマン面**や**四元数**などの演算結果集合を群規定して下属させる大分類を想定するなら(<font color=blue>実際にはもっと細かく分類すべきだが、現時点の私の手には余る</font>)、数学史上、かかる大概念の集大成こそが**ベクトル空間**や**線形代数学**の概念の大源流だった事となる。
* しかし後になってから(<font color=blue>微分積分概念を主力武器に採用した</font>)**解析学**の立場から、急速に莫大な成果を挙げつつある(<font color=blue>配列演算を武器とする</font>)**線形代数学**の恩恵にあやかろうという動きが出てきた。そもそも**基底**や**内積**の概念自体が上掲の大分類に由来する訳だから発想の出発点としては悪くない筈だが、問題はその概念をどうやって一般の関数列にまで適用可能とする形で抽象化するかであった。

とりあえずこっち方面の知識を蓄えるのが「<font color=purple>急がば回れ</font>」になりそうな気がしてきました。とりあえずやれるだけやってみる事にしましょう。おっとその前に…

* (<font color=blue>10を法とする剰余類{0,1,2,3,4,5,6,7,8,9}を周期単位/桁数だけ入れ子状態にした添字単位にし、小数点下も表せる様にした</font>)**十進法**(<font color=blue>Decimal System</font>)概念は既に導入済みとする。<br>[【初心者向け】N進法(N-ary)とp進数(p-adic)](https://qiita.com/ochimusha01/items/c0eed4799d21d9a01792)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190919%2F20190919080704.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=c6f0f458500fc680a0b862e1703cd657)
<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190919%2F20190919081650.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=9d7258c8e4452e2ddb4f3e9e4c306477)
* また同じ**整数集合**に(<font color=blue>オブジェクト志向言語におけるクラス・メソッドに該当する</font>)複数の**群**(<font color=blue>まだちゃんと規定出来てないが「偶数群/奇数群」に該当する概念の追加も予定されている</font>)が設定されつつあるので(<font color=blue>クラス・データに該当する</font>)**整数集合**を以降は「**整数族**」と呼ぶ事にする(<font color=blue>正直、素数族2^n5^mが規定されるまで待ってはいられない!! そして乗法群が半群としてしか導入出来ない整数環の疑念にあまり無力を感じられなかったのである</font>)。<br>[【初心者向け】群論概念①基本定義](https://qiita.com/ochimusha01/items/208dc0e68db64805e4f7)

これくらい**形相**として容認しないと、そもそも計算をコンピューターで走らせられなくなってしまうのです…

#冪乗算(<font color=green>Exponentiation</font>)の微積分

この単元は別のトピックとの関連の方が深くなったので以下に切り離しました(2021.2.16)。
[冪乗算(Exponentiation)の微積分](https://qiita.com/ochimusha01/items/0bd18370cfa96e83347a)

#連続微分/積分概念の円関数への拡張は難しい？

出来そうな気がしたのですが、試してみたら無理でした。
[【初心者向け】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)

```R
#ライブラリ読み込み
library(Ryacas)

#円周の長さ（2*pi*r）をrで微分すると
#単位円の円周2*piを返す定関数となる。
> yac("D(r) pi*2*r")
[1] "2*pi"

#半径rの円の面積（pi*r^2）をrで微分すると
#円周の長さ（2*pi*r）となる。
> yac("D(r) pi * r^2")
[1] "pi*2*r"

#逆に円周の長さ（2*pi*r）をrで積分すると
#半径rの円の面積（pi*r^2）となる?
> yac("Integrate(r) pi * (2 * r)")
[1] "pi*r^2"

#半径rの球の表面積（4*pi*r^2）をrで微分すると
#球の円周（2*r*pi）×4となる?
> yac("D(r) r^2 * 4 * pi")
[1] "8*r*pi"

#球の円周（2*r*pi）×4をrで積分すると
#半径rの球の表面積（4*pi*r^2）となる?
> yac("Integrate(r) 8 * r * pi")
[1] "4*pi*r^2"

#半径rの球の体積（4/3*pi*r^3）をrで微分すると
#球の表面積（4*pi*r^2）となる。
> yac("D(r) 4/3 * pi * r^3")
[1] "r^2*4*pi"

#逆に球の表面積（4*pi*r^2）をrで積分すると
#半径rの球の体積（4/3*pi*r^3）となる。
> yac("Integrate(r) r^2 * (4 * pi)")
[1] "(r^3*4*pi)/3"
```
こういう話もある様なのですが…

[面積の微分はどこの長さ？](http://www7b.biglobe.ne.jp/~math-tota/su2/bibun.htm)

>球の表面は、**図２**のように、縦が<font color=green>2r</font> 、横が<font color=green>2πr</font>の長方形に近似することができる。
>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/348b5b1a-56c8-90e0-6065-3f0e44820e36.png)
>この長方形の面積は確かに<font color=purple>2r×2πr＝4πr^2</font>になっている。よって、球の表面を平面にすることができた。しかし、この平面の周の長さは<font color=purple>2πr×2＋2r×2＝4πr＋4r</font>となり、<font color=green>8πr</font>にはならない。
>
>しかし、<font color=purple>r→r＋dr</font>とすると、**図２**のように<font color=purple>πr→π(r＋dr)＝πr＋πdr</font> となるから、面積の増加分はおよそ<font color=purple>(2πr×dr)×2＋(2r×πdr)×2</font>＝<font color=green>8πrdr</font>となり、<font color=green>8πr</font>が何を意味するかがわかった。
>
>つまり、半径で表面積を表した式を微分した式は、表面積を平面に開いた時の各面の周に関係があるが、その平面の中心から各辺までの距離が違う場合、**微小増加分**にも増加の倍率を考えなくてはならないので、その式は単純に**周の長さ**にはならず、**微小増加の倍率を考えた各辺にできる微小面積の総和**になると考えられる。

とりあえず現時点では、何を言ってるのかさっぱり分かりません(2021年.02,21)

[円の族を含む曲面と微分方程式](https://www.ms.u-tokyo.ac.jp/~kiyoomi/microlocal/koukai2013KK.pdf)

>①円や直線の主要な幾何学的性質は２階までの微分で決まる（<font color=blue>例，接線の
傾き，曲率半径</font>）。
②しかし円と放物線を区別するには少なくとも４階微分までのデータが必要となる(<font color=blue>y=±sqrt(1-x^2)=±(1-(x^2)/2)-(x^4)/8+o(x^4)</font>)。
③実際、４次の精度まで考慮することにより曲面Sの中に含まれ、与えら
れた点を通る円の数は(<font color=blue>球面のような特別な場合を除き</font>)有限個(<font color=blue>10個</font>)に制限される。

[サイクリッド曲面(Cyclides)](https://www.ms.u-tokyo.ac.jp/models/Cyclide.html)

>サイクリッド曲面は3次元空間内の標準的なトーラスに反転をほどこすことによって得られる4次曲面であり，曲率曲線が正円または直線で，各点で互いに直交するという特徴をもつ。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/b0601090-f555-eda0-b89b-da1fd17d2958.png)

御免なさい。途中で脳がパンクしました。どうやら**対称式**(<font color=blue>Symmetric Polynomial</font>)の概念を用いている様ですが…
[【標準】対称式の値 | なかけんの数学ノート](https://math.nakaken88.com/textbook/standard-polynomial-value-inverse/)
[【標準】x+1/xを使った式の値 | なかけんの数学ノート](https://math.nakaken88.com/textbook/standard-polynomial-value-inverse/)
[対称式(Symmetric Polynomial) - Wikipedia](https://ja.wikipedia.org/wiki/%E5%AF%BE%E7%A7%B0%E5%BC%8F)

>変数を入れ替えても変わらない多項式のことで、任意の対称式は、**基本対称式**<font color=purple>x+y</font>と<font color=purple>xy</font>の多項式で書ける。
>
>**アルベール・ジラール**は、<font color=green>1629年</font>に「**代数学の新しい発明**」(<font color=blue>Invention Nouvelle en l'Algèbre</font>) おいて、**n次代数方程式**の根と係数の関係を発見した。**代数方程式**の係数は n個の根の**基本対称式**と呼ばれる対称式により書かれるというこの関係は、一般の次数の代数方程式の構造を調べるための重要な足掛かりの一つとなった。さらに、**ジラール**は、これらの関係を用いて虚数の有用性を説いた。
>
><font color=green>18世紀後半</font>になると、任意の対称式は基本対称式によって書くことができる事が、**ウェアリング**や**ヴァンデルモンド**らによって示され、**ラグランジュ**による、**代数方程式の根の置換**の研究へとつながっていった。

ところで**対称式**というと、既にこれまでの投稿で扱った**一次関数**Y=X(Y=-Xで既に対称性が崩れる)についてはどう考えるのでしょう？
[【初心者向け】線形関数や絶対値関数](https://qiita.com/ochimusha01/items/8b7050e65b599f9e15c2)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f446d0ef-3b1c-903d-c3ef-6e60841d7f38.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201120%2F20201120102401.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=a06751a8c4af9741e73c0ed59551fe56)
まだまだ数理の世界は奥が深いです。そんな感じで以下続報…