【数理考古学】群論概念(Group Theory Concept)①基本定義

(2020年10月16日)Rによる投稿
(2021年3月29日)tex部とpython部を追記
(2021年4月12日)回転方向を反時計回りで統一。

真の意味での「<font color=purple>数学自体初学者自身の手になる、数学自体初学者の為の群論入門</font>」。一歩間違えば「**群盲象を評す**」状態に陥ってしまいます。
[群盲象を評す - Wikipedia](http://search.yahoo.co.jp/search?ei=UTF-8&fr=mcafeess1&p=%E3%80%8C%E7%BE%A4%E7%9B%B2%E5%83%8F%E3%82%92%E6%92%AB%E3%81%A7%E3%82%8B%E3%80%8D)

#添字集合(<font color=blue>Indexed Set</font>)としての基本設定。

まずは基本規約。特定の**二項演算**(<font color=blue>Binary Operation</font>)の**結果集合**(<font color=blue>Result Set</font>)としての**群**(<font color=blue>Group</font>)は、原則として**添字記法**(<font color=blue>Index notation=指数記法</font>)<font color=green>Xn</font>で表されます。
[族 (数学) - Wikipedia](https://ja.wikipedia.org/wiki/%E6%97%8F_(%E6%95%B0%E5%AD%A6))

>数学における**族**(<font color=blue>Family</font>)は、**添字付けされた**(<font color=blue>Indexed</font>)**元**(<font color=blue>Elements=要素</font>)の(<font color=blue>一般には非可算無限個の</font>)集まり<font color=blue>Xn</font>を指し、**対**、**n-組**、**列**などの概念の一般化である。**系**（<font color=blue>Collection</font>）と呼ぶこともある。**元**がどのような対象であるかによって、**点族**、**集合族**（<font color=blue>集合系</font>）、**関数族**（<font color=blue>関数系</font>）などと呼ばれる。
>
>**集合**<font color=green>I</font>から**集合**<font color=green>X</font>への**写像**<font color=green>A:I→X</font>が与えられた時、これを<font color=green>X</font>の元の集まりとみなしたものを、<font color=green>I</font>を**添字集合**(<font color=blue>index set</font>)とする<font color=green>X</font>の元の族とし、**添字集合**I</font>の元を**添字** (<font color=blue>index</font>)という。<font color=green>I</font>の要素を仮に <font color=green>i, j,… </font>と表すとき、<font color=green>A(i), A(j)</font>,… の代わりに、通例 <font color=green>Ai, Aj,…</font>といった記法を用い、この族を<font color=green>(Ai|i∈I),(Ai)i∈I</font>,<font color=green>{Ai|i∈I},{Ai}i∈I</font>などであらわす。これを**添字記法**などと呼ぶこともある。
>
>明示的に「**添字付けられた族**(<font color=green>indexed family</font>)」という場合もある。また、暗に適当な濃度の集合を添字集合として添字付けることができるような集まり、という意味で「**族**」という術語を用い、必ずしもはじめから族が添字付けられていない場合もある。添字があらかじめ与えられていない場合でも、族に対して何らかの操作を考えるときなどには添字があったほうが都合がよく、必要な基数をもつ集合をとって添字付けを与えるのが通例である。

そして上掲の[<font color=purple>添字付けられた族</font>」は、その内容を**空環**(<font color=blue>Empty/Nullary Ring</font>)→**自然数集合**(<font color=blue>Natural Set</font>)→**加法整数群**(<font color=blue>Additive Integer Group</font>)→**整数環**(<font color=blue>Ring of Integers</font>)の順に充実させていきます。
[【初心者向け】群論概念(Group Theory Concept)②空環(Empty/Nullary Ring)から整数環(Ring of Integers)へ。](https://qiita.com/ochimusha01/items/da766832c87a604bcb8a)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201211%2F20201211200702.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=442edec6caa218ce67f2cc4072274b12)
<font color=purple>X軸に沿ったY-Z面を巡る円錐座標系、あるいはY軸に沿ったX-Z面を巡る円錐座標系</font>
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201211%2F20201211200819.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=919eaa68977e4c3081a7cf0386605f8e)

#代数的構造(<font color=blue>Algebraic Structure</font>)の導入。
こうした記述から、どうやら**群**(<font color=blue>Group</font>)研究とは、その**代数的構造**(<font color=blue>Algebraic Structure</font>)を明らかにする学問だと考える様になったのです。
[代数的構造 - Wikipedia](https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%A7%8B%E9%80%A0)

>数学において**代数的構造**(<font color=blue>Algebraic Structure</font>)とは、集合に定まっている**算法**（<font color=blue>演算ともいう</font>）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するために架空の数学者**ニコラ・ブルバキ**（<font color=blue>Nicolas Bourbaki, 活動時期1934年~、主著書「数学原論(Éléments de mathématique,1939年~)」</font>）によって導入された。
>
>代数的構造を持つ集合は**代数系**（<font color=blue>algebraic system</font>）であるといわれる。すなわち、代数系というのは、**集合**A</font>とそこでの**算法**（<font color=blue>演算の規則</font>）の**族**(<font color=blue>Famiry</font>)<font color=green>R</font>の組<font color=green>(A, R)</font>のことを指す。
>
>逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが**代数的構造**と呼ばれるのである。
>
>なお、分野（<font color=blue>あるいは人</font>）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は**代数系の代数構造**とも呼ばれる。
>
>現代では、代数学とは代数系を研究する学問のことであると捉えられている。

#そして群論概念(<font color=blue>Group Theory Concept</font>)の登場
群論自体の内容については、現時点において以下の説明に頼りっ切りの状態です。
[ＥＭＡＮの物理学・物理数学・群論の軽い説明](https://eman-physics.net/math/lie01.html)

>数学での群というのは英語では<font color=purple>Group</font>であり、まさにグループのイメージである。まず集合を考える。この集合の要素が次の4つの性質を持つ時、その集合のことを「群」と呼ぶ。
>
>**積もまた集合の要素になっていること**…集合の要素からどれでも二つを選んで計算をした結果として何かが得られる共通のルールが定められているとする。この計算ルール、または計算結果のことを「積」と呼ぶことにしよう。「積」と呼んでいるが、それが掛け算だとは限らない。二つの要素を使って計算する何らかのルールがあればいいので、それが足し算であっても構わない。この時、同じものを二つ取り出して計算しても良いとする。さて、ここで一番大事なのは、結果として得られた積も同じ集合の要素になっていることである。計算ルールとその結果がグループ内の要素だけで完結していることを重視するわけだ。
>
>**結合法則が成り立つこと**…結合法則というのは<font color=green>a(bc)=(ab)c</font>というやつだ。先ほどは二つの要素を選んで計算をすると書いたが、二つの要素の積も同じ集合の要素なのだから、それに対してさらに別の要素を掛けることができる。こうして3つ以上の要素の積を考えることができるのだが、どこから計算しても同じ結果になることを保証するのがこの法則である。これによって、わざわざカッコを付けなくても3つの要素の積はabcのように書くだけで良くなる。
>
>**単位元が存在すること**…単位元というのは<font color=green>ae=ea=a</font>となるような要素eのことで、それはつまり、他のどんな要素との積を計算してももとと変わらない結果になるような要素である。それは掛け算のときの数字の1</font>に似ている。
>
>**逆元が存在すること**…逆元というのは、<font color=green>ax=xa=e</font>となるような**要素**<font color=green>x</font>のことで、そのような要素を<font color=green>a^−1</font>と表す。全ての要素にそれぞれ逆元がなければならない。
>
>なぜこのような性質を持つものを重視してわざわざ「群」などという概念を作ったのだろうかと思うかも知れない。いや、私は思った。何か理由や目的があってこのような理論を作ったはずだ、などと疑ったわけだが、どうやら数学は「実用的な目的」のようなものをほとんど意識していないらしい。これらの組み合わせをもとにして広がる論理が面白かったので、こんなにも発展したのだろう。実際、他の組み合わせもちゃんと研究されているようで、条件をもう少し狭めた「半群」「モノイド」「マグマ」、逆に広げた「環」「体」といった概念もある。群だけが特別なのではなく、数学はすでに色々と調べ尽くしているというわけだ。
>
>群と呼べる条件は上に書いた4つだけだから<font color=green>ab=ba</font>は満たしていなくても構わない。積の順序を変えると違う結果になることが許されている。むしろ、積の順序を変えても同じ結果になる方が特別視されていて、そういうものも群の一種だが「可換群」あるいは「アーベル群」と呼ばれている。それ以外を「非可換群」あるいは「非アーベル群」と呼ぶ。
>
>群論は、結果として、数学の**代数的構造**(<font color=blue>Algebraic Structure</font>)の分類をするのに役に立つ。
>
>見た目やイメージが異なる別分野であっても、そこで使われている記号や計算内容のつながりを比較すると、全く同じ内容のことを実行しているに過ぎないと気付くことがある。そのような事例を沢山集めて名前を付けて分類することによって、「この分野のこの論理と、別分野のこの論理は同じ構造を持っている」だとか、「全体としては異なるが部分的に似た構造を持っている」だとかいうことがはっきり意識できるようになる。
>
>計算だけとは限らない。図形を回転させたり反転させてみたり、座標変換をしたりするときの移動のパターンなどにも同じ構造を持つものがある。構造に着目して議論するので、図形だろうが記号だろうが、そういう見た目には縛られない。だから、図形の対称性や、理論の対称性などといったものにも関連した議論ができる。
>
>このようなものが物理でどう役に立つかと言えば、結晶構造の分類や、量子力学に出てくる波動関数の対称性、座標変換の対称性などと関係しているところである。広い視点で考えを整理したり、新しいアイデアを持ち込んだりできるだろう。まだよく分かっていない時空の高次元の構造などを議論するのにも使えるのである。

例えば**加法整数群**(<font color=blue>Additive Integer Group</font>)の導出過程について。

```math
Z_n(n=-\infty→-1→0→1→+\infty)\\=(-\infty,…,-3,-2,-1,0,1,2,3,…,+\infty)
```
[【数理考古学】とある実数列の規定例①等差数列から加法整数群へ](https://qiita.com/ochimusha01/items/07ae45b915bb1aa6c9f5)
[【数理考古学】とある実数列の規定例②等比数列から乗法群へ](https://qiita.com/ochimusha01/items/58afced6ea8bebf391c7)
[【数理考古学】とある実数列の規定例③オイラーの等式e^πi=-1が意味するもの？](https://qiita.com/ochimusha01/items/04ffa772d548a6b64310)

①まず元(Element) として**自然数集合**(Natulal Set)、すなわち**初項**(First Term)$α=1$,**公差**(Common Difference)$d=1$,**一般項**(General Term)$α+(n-1)d$の**等差数列**(Arithmetic Sequence=算術数列)を準備する。

```math
N_n(n=1→\infty)\\
=(1+(1-1)×1=1,1+(2-1)×1=2,1+(3-1)×1=3,…,1+(\infty-1)×1=\infty)\\
=(1,2,3,…,Inf(inity))
```
これは以下の様に再帰的に考えても良い。

```math
N_n(n=1→\infty)\\
=(1,1+1=2,(1+1)+1=3,…,\infty+1=\infty)\\
=(1,2,3,…,Inf(inity))
```
どちらの場合も範囲に**加法単位元**(Additive Identity)0を加えても添字範囲が拡張されるだけで**演算の連続性**(Operation Continuity)そのものは維持され(結合法則((Associative Law))の成立)、**演算結果**(Operation Result)も閉じている(整数以外の数が登場する余地がない)。

* **Rの場合**<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210227%2F20210227031715.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=3d94ec18e29e3f1c789bff9998c1a7fd)
* **pythonの場合**<br>[【Python演算処理】単位円筒(Unit Cylinder)の描画](https://qiita.com/ochimusha01/items/fd8e51940b5e0e1a28c5)<br>![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210411/20210411223344.gif)

②上掲の**拡張自然数集合**(?)$N_n(n=0→\infty)(0,1,2,3,…,\infty)$について**逆元**(Inverse Element)$-N_n(n=-\infty→0)=(-\infty,…,-3,-2,-1,0)$を準備する。この場合も「**結合法則成立による演算の連続性の担保**」は成立し、**演算結果**も閉じている。

* **Rの場合**<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210227%2F20210227034900.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=7f5820daaee724687180b9dd3fa55f6a)
* **pythonの場合**<br>[【Python演算処理】単位円筒(Unit Cylinder)の描画](https://qiita.com/ochimusha01/items/fd8e51940b5e0e1a28c5)<br>![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210411/20210411224029.gif)

③上掲二つの**演算結果集合**(Operation Result Set)を一つの集合に**射影**(Projection)した**積**(Product)が**加法整数群**となる。この場合も「**結合法則成立による演算の連続性の担保**」は成立し、**演算結果**も閉じている。

* **Rの場合**<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210227%2F20210227035543.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=9f57ae8ea136091a9edf54e7a5f07b1e)
* **pythonの場合**<br>[【Python演算処理】単位円筒(Unit Cylinder)の描画](https://qiita.com/ochimusha01/items/fd8e51940b5e0e1a28c5)<br>![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210411/20210411224605.gif)

④こうして得られた**整数集合**(<font color=blue>Integer Set</font>)<font color=green>Zn</font>(<font color=blue>n=-Inf→-1→0→1→Inf</font>){<font color=green>-Inf,…,-3,-2,-1,0,1,2,3,…,Inf</font>}同士を**乗算**(<font color=blue>Multiply</font>)した**結果集合**(<font color=blue>Operation Result Set</font>)も<font color=green>1</font>を**乗法単位元**(<font color=blue>Multiple Identity</font>)とし、**逆元**も存在し整数以外の数が登場する余地がないので**群**として成立する。それでこの概念を**加法整数群**に加え**整数環**(<font color=blue>Integer Ring</font>)と呼ぶ。ただし**整数集合**自体の**等比数列**（<font color=blue>Geometric Sequence=幾何数列</font>）<font color=green>αn</font>(<font color=blue>n=-Inf→0→Inf</font>){<font color=green>α×r^(n-1)</font>}(<font color=blue>ただしα=初項(First Term),r=公比(Common Retio)</font>){<font color=green>1/(α^Inf):=0,…,1/(a^2),1/(a^1)=1/α,α/α=1,α^1=a,α^2,…,a^Inf=Inf</font>}や**指数関数**(<font color=blue>Exponential Function</font>)<font color=green>y=2^x</font>の**演算結果集合**は添字が<font color=green>0</font>以下の場合に整数以外を含んでしまうので**半群**(<font color=blue>Semigroup</font>)に分類される。

こうして全体像を俯瞰するうちに、なんとなく演算範囲を定めて面積を求める**積分**(<font color=blue>Integral</font>)の概念との発想の類似性を感じました。
[【初心者向け】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F6c2aff4b-85d7-8738-246b-4c274ec81f83.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=113e1a6bdd2f8047a03fe8b6cb8de5a9)
こちらの世界もこちらの世界でよく**広義積分**(<font color=blue>Improper Integral</font>)<font color=green>integurate(f(x),lower=-Inf,upper=Inf)</font>を<font color=green>integurate(f(x),lower=-Inf,upper=0)</font>と<font color=green>integurate(f(x),lower=0,upper=Inf)</font>に分解して計算するみたいな事をやりますよね。

#より厳密な定義

ところでこの考え方は、より厳密には以下の様に規定される様なんです。
[自己同型(Automorphism) - Wikipedia](https://ja.wikipedia.org/wiki/%E8%87%AA%E5%B7%B1%E5%90%8C%E5%9E%8B)

>「**数学的対象**(Mathematical Object)」から自分自身への「**同型射**(Isomorphism)」のことを言う。ある解釈においては、構造を保ちながら対象をそれ自身へと写像する方法のことで、その対象の「**対称性**」を表わしていると言える。対象の全ての自己同型の集合は群を成し「**自己同型群**(Automorphism Group)」と呼ばれる。大まかにいえば、自己同型は、「**数学的対象**」の「**対称群**」である。

* 「**数学的対象**(Mathematical Object)」…とりあえずここで集合論的に扱った「**自然数列**(Natural Sequance)」「**整数**(Integer Sequance)」といった諸概念が対応すると想定される。「<font color=purple>一般的に遭遇する数学的対象として、数、順列、分割、行列、集合、関数、および関係などが挙げられる。数学の分科としての幾何学は、六角形、点、線、三角形、円、球、多面体、位相空間、および多様体のような対象を持つ。別の分科の代数学は、群、環、体、格子、および束といった対象を持つ。圏は、数学的対象を一斉に生じさせるものであるとともに、それ自体がひとつの数学的対象である。</font>」<br>[数学的対象 - Wikipedia](https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%AF%BE%E8%B1%A1)<br>まだこうした考え方に正確には対応させられてないが、例えば「**実数列**( Real Sequance)」についてとりあえず以下の様に**整数列**(Integer Sequance)の**十進法**(Decimal System)による拡張形で考える立場を採用している。<br>[【数理考古学】群論とシミュレーション原理⑧族の分類とそれに下属する演算集合の関係の整理](https://qiita.com/ochimusha01/items/45ed0c876201ca857360)
* 「**同型射**(Isomorphism)」あるいは単に**同型**(Isomorphic)…「<font color=purple>数学において**同型写像**（isomorphism）である、あるいは**同型**(isomorphic)であるとは、**準同型写像**あるいは**射**であって**逆射**を持つ事を意味し(逆関数ではない)。2つの数学的対象が**同型**であるとはそれらの間に**同型写像**が存在することをいう。**自己同型写像**は始域と終域が同じ同型写像である。**同型写像**の興味は2つの同型な対象が写像を定義するのに使われる性質のみを使って区別できないという事実にある。したがって**同型な対象**はこれらの性質やその結果だけを考える限り同じものと考えてよい。また**標準的な同型写像**(canonical isomorphism) とは同型であるような標準的な写像を意味する。2つの対象が**標準的に同型**(canonically isomorphic)であるとは，それらの間に標準的な同型写像が存在することをいう。そして**同型写像**は**圏論**を用いて形式化される。ある圏の**射**f:X→Yが**同型射**であるとは**両側逆射**を持つことをいう。すなわちその圏における別の射g:Y→X があって$gf =1_X$かつ$fg=1_Y$となる。ただし$1_X$と$1_Y$はそれぞれXとYの**恒等射**である</font>(<font color=blue>対称式について、こんな面倒臭い考え方をする?</font>)。」<br>[恒等写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E6%81%92%E7%AD%89%E5%86%99%E5%83%8F)

表現が抽象的過ぎて何の話をしているかさっぱり分かりません。とりあえず私はプログラミングにおける利用を想定し、同じ**添字化された元**(Indexed Element)**を族**(Family)として共有する**演算結果集合**(Operation Result Set)をそれぞれ束ねたいと考える様になった訳ですが、これは現代数学の基準においては随分と粗雑な思考様式で、何処かのレベルで破綻をきたす様なのです。

>数学のある分野，特に**圏論**では，**等しいこと**と**同型**とを区別するのが大切である。**等しい**(つまり二つの対象が等号で結べる)とは2つの対象が全く同じであることであり，一方について正しいすべてのことは他方についても正しい．一方**同型**は一方の対象の構造のある指定された部分について正しいすべてのことは他方についても正しいことを意味する。
>
>同型は明らかで従わざるを得ないように見えることもあるが，なお等号では結べない(例えば父子関係や兄弟関係といった系譜学的構造が完璧に一致する二つの家族は**同型**(isomorphism =Greek iso-,"same," and -morph,"form" or "shape") だがそれを構成する人々が異なるので等しくはない)。

* 統計の世界は真逆に「**有意水準**(Significance Level)**が検定基準を満たさない範囲**(確率論的に十分偶然と考えられる範囲に留まる)」すなわち「**意味ある特徴が何も起こってない**」「(比較対象間に)**意味ある特徴上の差異が何も見出せない**」状態からの脱却が出発点であり、そうやって検出された**意味空間**(Semantic Space)の**内容吟味**(Content Scrutiny)がこれに続く。<br>[吟味したって英語でなんて言うの？](https://eikaiwa.dmm.com/uknow/questions/27396/)
* 例えば**相関係数**(Correlation Coefficient)は、比較対象に選んだ特徴が「(あたかも一対の比較対象が同一の存在であるかの様に)**比例する場合**(1)」「(あたかも一対の比較対象が互いにとって反存在であるかの様に)**反比例する場合**(-1)」「(あたかも一対の比較対象が互いに素であるかの様に)**連動しない場合**(0)」を連続的に検出するが、それぞれの極限値を検出する機会は滅多になく、その意味合いにおいてかかる分布は(無数の操作変数に左右される)**ある種の開集合**を形成していると目される。<br>[【初心者向け】記述統計学と代表値](https://qiita.com/ochimusha01/items/0bdfc971a69a30f0615f)<br>![image.gif](https://camo.qiitausercontent.com/2e2d6dbb9648c3793d05e948601b18a970535457/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032303132313825324632303230313231383138303033392e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3937383737363233313736333930376532333735356466376532656132643534)
* 数学における**圏論**（Category Theory）には、何となく任意の比較対象のあらゆる差異を黙殺して共通数理のみを抽出しようとする(公理系から演繹的に証明される)**定理絶対主義**への批判から生じた節が見受けられる。もしかしたら上掲の様な「**慎重な態度**」はそういう側面に由来するのかもしれない。<br>[圏論 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96)<br>[圏論は数学をするための「高級言語」](https://www.is.s.u-tokyo.ac.jp/isnavi/logic06.html)

逆にそこまで深く考えなくて良い「**単純な場合**」として例示されるのが以下。

* **論理的原子論**(Logical Atomism)の早期の理論において「**事実**(Facts)」と「**真である命題**(True Propositions)」の間の形式的な関係はバートランド・ラッセルとルートヴィヒ・ヴィトゲンシュタインによって同型であると理論化された。この方向の考えの例はラッセルの「数理哲学概論(Introduction to Mathematical Philosophy,1919年)」などに見出される。<br>[logical atomismとは - コトバンク](https://kotobank.jp/word/logical%20atomism-1254949)<br>[記号論理学とは何か](http://www2.yukawa.kyoto-u.ac.jp/~kanehisa.takasaki/edu/logic/logic1.html)
* 群や環を含むほとんどの**代数的構造**に対して、**準同型写像**が**同型写像**であることと**全単射であること**は同値である。<br>[全単射 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%85%A8%E5%8D%98%E5%B0%84)<br>例えば**1の5乗根が乗法についてなす群**(巡回群)は**正五角形の回転が合成についてなす群**(回転群)に同型であると考えられる。<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/9981291f-134f-165b-1ba6-f96323cd4743.png)![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6794556a-a9d1-6f39-9d24-f2de8be08330.png)
* **位相幾何学**において**射**とは**連続写像**のことであるが、**同型写像**は**同相写像**あるいは**双連続写像**とも呼ばれる。<br>[連続写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E5%86%99%E5%83%8F)<br>[連続写像の定義には，なぜ開集合の「逆像」をつかうのですか？](http://www12.plala.or.jp/echohta/top/QA/QA013.html)
* **解析学**において射は**可微分関数**であり同型写像は**微分同相**とも呼ばれる。(<font color=blue>リー群の事か?</font>)。<br>[リー群の入門的なこと](https://lemniscus.hatenablog.com/entry/2019/07/16/124930)<br>また2つの**ヒルベルト空間**の間の同型写像は**和**と**スカラー倍**と**内積**を保つ**全単射**となる。<br>[ヒルベルト空間 - EMANの量子力学 - EMANの物理学](https://eman-physics.net/quantum/hilbert.html)<br>また**ラプラス変換**は難しい微分方程式を簡単な代数的方程式に写す同型写像である(<font color=blue>ならばフーリエ変換は?</font>)。<br>[【Python演算処理】ラプラス変換/ラプラス逆変換を試す。](https://qiita.com/ochimusha01/items/034e17a4953756b8b018)<br>[【数理考古学】とある実数列の規定例④フーリエ族とラプラス族概念の追加?](https://qiita.com/ochimusha01/items/af7b7c37451ba93aae9c)
* **有限次元ベクトル空間**Vから**二重双対空間**への標準的な写像は標準的な同型写像となるが、その一方で**有限次元ベクトル空間**Vは**双対空間**に同型となるものの、一般に***標準的にも**そう定まったとはいえない。<br>[ベクトル空間 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93)<br>[双対ベクトル空間 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93)
* グラフ理論において，2つのグラフGとHの間の**同型写像**はGの頂点たちからHの頂点たちへの**全単射**fであって次の意味で「**辺の構造**」を保つものである：Gにおいて頂点uから頂点vに辺があるのは Hにおいてf(u)からf(v)に辺があるとき、かつそのときに限る。<br>[グラフ同型 -Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%A9%E3%83%95%E5%90%8C%E5%9E%8B)
* **サイバネティックス**の世界においては(Roger.C.ConantとW.Ross.Ashbyが提唱した)**コナント=アシュベイ定理**(Conant-Ashby theorem)に従う**有効な調整器**(Good Regulator)が、調整対象として選ばれたシステムとモデル的に**同型**と見做される。<font color=purple>"Every Good Regulator of a system must be a model of that system"</font>(あらゆる有効な調整器が、それが調整対象とするシステムの何らかのモデルとなっている)そして<font color=purple>"Whether regulated or self-regulating an isomorphism is required between regulator part and the processing part of the system."</font>(それが外挿的な形で達成されているか、あるいは自律的に達成されているかに関わらず、制御が成功しているという事はそのシステムの処理部と制御部と同型(isomorphism)のモデルが何らかの形で抽出されている事を意味する)である。この考え方には、ある意味**回路方程式**(Circuit Equation)を**演算結果集合**の**族**に取る**演算子法**(後にラプラス変換/逆変換と同型である事が数学的に証明された)の生みの親たるヘヴィサイド（Oliver Heaviside,1850年~1925年）の「**数学は実験的科学であり、定義が先にくるわけではない**」「**私は消化のプロセスを知らないからといって食事をしないわけではない**」発言との連続性が感じられる。**システム同型**とでも呼ぶべき?

特に重要なのが以下の2例となる。

###対数と指数
$R^+$を**正の実数のなす乗法群**とし，Rを**実数のなす加法群**とする。

* **対数関数**$\log:R^+→R$はすべての$x,y∈R^+$に対して$log(xy)=log(x)+log(y )$を満たすので，それは**群準同型**である。
* **指数関数**$\exp:R →R^+$はすべての$x,y∈R^+$に対して$exp(x+y)=exp(x)exp (y)$を満たすので、これも**準同型**である。
* **恒等式**$\log(exp(x))=x$および$exp(log(y))=y$はlogとexpが互いの逆関数であることを示している。logは準同型である逆関数を持つ準同型であるから群同型である。

logは同型だから、正の実数の積を実数の和に翻訳する。この機能により定規と対数表を用いて、あるいは対数スケールの計算尺を用いて実数を掛けることができる。

###6を法とした整数
まずは以下の二つの群を考える。

* 0から5までの整数が6を法とした加法でなす群$(Z_6,+)$。
* 群$(Z_2×Z_3,+) $。

これはx座標が0か1でy座標が0か1か2の順序対で、加法はx座標は2を法とし、y 座標は3を法とする。これらの構造は以下の対応によって同型である：

* (0,0) → 0(0+0=0 mod 6)
* (2,0) → 0(6+0=6 mod 6)
* (1,1) → 1(3+4 mod 6)
* (0,2) → 2(0+8=8 mod 6)
* (1,0) → 3(3+0=3 mod 6)
* (0,1) → 4(0+4=4 mod 6)
* (1,2) → 5(3+8=11 mod 6)

あるいは一般に

* (a,b)→(3a+4b) mod 6.

例えば，(1,1)+(1,0)=(0, 1)であり，もう一方に翻訳すると1+3=4である．

これらの2つの群は集合が異なる元を含むという意味で違って「**見える**」にもかかわらず，それらは実際**同型**であり，構造は全く同じである．より一般に，2つの巡回群$Z_m$と$Z_n$の直積が$Z_{mn}$と同型であるのは、mとnが互いに素であるとき，かつそのときに限る。

###自己同型の定義
自己同型の正確な定義は「**数学的対象**」の種類や、その対象上の「**同型射**」の定義によって変化する。

* 「**自己同型**」という言葉が意味を持つ最も一般性の高い領域は**圏論**と呼ばれる数学の抽象的な分野である。**圏**は、抽象的な**対象**(object)とそれらの対象の間の**射**(morphism)を扱う。**圏論**においては、（圏論的な意味で）同型でもあるような**自己準同型**（つまり、対象から対象自身への射である）である。**圏論**では、**射**は**函数**である必要もないし、**対象**が集合である必要もないので、この定義は非常に抽象的な定義である。しかし、より具体的な設定では、対象はある**加法構造**を持つであろうし、**射**はこの構造を保つであろう。<br>[準同型 - Wikipedia](https://ja.wikipedia.org/wiki/%E6%BA%96%E5%90%8C%E5%9E%8B)
* **抽象代数学**の文脈では、「**数学的対象**」とは例えば、**群**、**環**、**ベクトル空間**といった代数的構造である。この場合は、同型は単に全単射な準同型である。（準同型の定義は代数構造の種類に依存する)<br>[群準同型(Group Homomorphism) -wikipedia](https://ja.wikipedia.org/wiki/%E7%BE%A4%E6%BA%96%E5%90%8C%E5%9E%8B)<br>[環準同型(Ring Homomorphism) -wikipedia](https://ja.wikipedia.org/wiki/%E7%92%B0%E6%BA%96%E5%90%8C%E5%9E%8B)
<br>[作用素(Operator) -wikipedia](https://ja.wikipedia.org/wiki/%E4%BD%9C%E7%94%A8%E7%B4%A0)
* **恒等射**は**自明な自己同型**(trivial automorphism)と呼ばれることもある。他の（恒等射ではない）自己同型は**非自明な自己同型**(nontrivial automorphisms)と呼ばれる。

<font color=red>とりあえず何を言ってるのかさっぱり分かりまぜん…orz</font>

###準同型写像の核
[準同型写像 [物理のかぎしっぽ]](http://hooktail.sub.jp/algebra/Homomorphic/)

>群Gの単位元eは必ず群G'の単位元e'に移されますが、もし写像が全射ならGの中には他にも e'に移される元があるかもしれません。
>
>群Gの部分集合で準同写像によってe'に移されてしまうものをGの**核**と呼びます。ドイツ語で核をKernelといいますが、日本語でも核といわずカーネルとそのまま呼ぶ人がいます。核の大きさは，もちろん準同型写像によって変わりますが、最低で元１つ(単位元のみ)、最大で群Gそのものとなります。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/1becaa87-f61f-44e6-34e1-96de058a45ac.png)
>準同型写像の核については「**準同型写像fの核Kは正規部分群**(Normal Subgroup)**となる**」定理がとても重要です。
>
>**正規部分群**の概念は群論の中でも非常に重要です。順番としては**剰余類**（Residue Class）あるいは**傍系**（coset=コセット）や**商群**(Quotient Group/Factor Group)から出てきた概念ですが、より現代的な捉え方としては，**正規部分群**を**準同型写像の核**として定義した方がスマートかも知れません。

[正規部分群 - Wikipedia](https://ja.wikipedia.org/wiki/%E6%AD%A3%E8%A6%8F%E9%83%A8%E5%88%86%E7%BE%A4)

>正規部分群は、与えられた群から剰余群を構成するのに用いることができる。

[剰余類 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%89%B0%E4%BD%99%E9%A1%9E)

>G が群で、H がその部分群、g は G の元とする。このとき、
>$gH=(gh:h \in H)$
>をGにおけるHの（Hによる、Hに関する、Hを法とする）左剰余類(Left Coset)、
>$Hg=(hg:h \in H)$
>をGにおけるHの（Hによる、Hに関する、Hを法とする）右剰余類 (right coset) という。
>文献によってはここでいうものと左右が逆になっているものもあるので注意を要する。Hが正規部分群である場合に限り左剰余類と右剰余類の両概念は一致する（これを以って正規部分群の定義とする場合もある）。剰余類は、この様にGにおいて何らかの部分群による左剰余類や右剰余類となるものの総称である。アーベル群や加法的に書かれた群では、g+H,H+gのような記号で剰余類を表すことがある。

[商群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%95%86%E7%BE%A4)

>商群$\frac{G}{G}$は自明群（ただ1つの元を持つ群）、$\frac{G}{(e)}$はGと同型になる。
>
>商群$\frac{G}{N}$の位数、すなわち元の個数は、|G:N|すなわちNのGにおける指数に等しい。G が有限ならば、指数はGの位数をNの位数で割ったものにも等しい。GとNがともに無限でも $\frac{G}{N}$は有限かもしれないことに注意（例えば$\frac{Z}{2Z}$）。
>
>例えば**整数**$\mathbb{Z}$が加法についてなす群と、**すべての偶数**からなる部分群$2\mathbb{Z}$を考える。$\mathbb{Z}$は可換群なので**正規部分群**である。剰余類は2つしかない：**偶数全体の集合**と**奇数全体の集合**である；したがって**商群**$\frac{\mathbb{Z}}{2\mathbb{Z}}$は2つの元を持つ**巡回群**となり、それは2を法とする加法をもつ集合(0,1)と同型である；インフォーマルに**商群**$\frac{\mathbb{Z}}{2\mathbb{Z}}$は2を法とする加法をもつ集合(0,1)に「**等しい**」と表現する事もある。
>
>この例を少し一般化する。再び整数が加法についてなす群$\mathbb{Z}$を考える。nを任意の正整数とする。nのすべての倍数からなる$\mathbb{Z}$の部分群$n\mathbb{Z}$を考える。$\mathbb{Z}$は可換なのでその部分群$n\mathbb{Z}$は正規である。**剰余類**たちの集合は($n\mathbb{Z}$,$1+n\mathbb{Z}$,…,$(n−2)+n\mathbb{Z}$,$(n−1)+n\mathbb{Z}$) である。整数kは、kをnで割った余りをrとすると、**剰余類**$r+n\mathbb{Z}$に属する。商$\frac{\mathbb{z}}{n\mathbb{z}}$はnで割った「余り」の群と考えることができる。これは位数nの**巡回群**(Cyclic Group/Monogenous Group)である。
>[巡回群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4)
![スクリーンショット 2021-05-18 14.32.03.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/26197921-f78d-8f1d-f071-29b1b70be2e7.png)
>ここで1の12乗根全体を考える。これは単位円周に乗っているが、乗法について**アーベル群**Gをなす。数が色つきの点で偏角とともに絵に描かれている。赤い点で示されている、1の4乗根全体のなす部分群Nを考える。この正規部分群は群を赤、緑、青で示される3つの剰余類に分ける。剰余類たちが3元からなる群をなすことを確認できる（赤の元と青の元の積は青、青の元の逆元は緑、など）。したがって、商群$\frac{G}{N}$は3色の群で、3つの元をもつ巡回群であることが分かる。
>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/805fdc6b-e613-aa74-0ede-6904d9b1a4c9.png)
>
>さらに実数が加法についてなす群$\mathbb{R}$とその整数からなる部分群$\mathbb{Z}$を考える。$\mathbb{R}$における$\mathbb{Z}$の剰余類はすべて、0≤a<1を実数として$a+\mathbb{Z}$の形の集合である。そのような剰余類を足すことは対応する実数を足し、結果が1以上ならば1を引くことによってなされる。商群$\frac{\mathbb{R}}{\mathbb{Z}}$は円周群$S^1$と同型であり、これは絶対値1の複素数が乗法についてなす群、あるいはそれに対応して、2次元で原点についての回転のなす群、すなわち「**平面上における回転**」を意味する**特殊直交群**SO(2)である。同型はf(a+Z)=exp(2πia)によって与えられる。SO(2)はさらに「**球面上における回転**」SO(3)に発展させる事が出来る。
>[SO(2) - EMANの物理数学](https://eman-physics.net/math/lie04.html)
>[SO(3) - EMANの物理数学](https://eman-physics.net/math/lie05.html)
>
>Gが可逆3×3実行列全体の乗法群で、Nがその行列式1の部分群であるとき、NはGにおいて正規である（なぜなら行列式を取る準同型の核なので）。Nの剰余類は与えられた行列式を持つ行列全体の集合であり、したがって$\frac{G}{N}$は非零実数のなす乗法群に同型である。群Nは**特殊線型群**SL(3)と呼ばれる。
>[特殊線型群 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%89%B9%E6%AE%8A%E7%B7%9A%E5%9E%8B%E7%BE%A4)
>
>アーベル群$Z4=\frac{Z}{4Z}$（すなわち4を法とする加法をもつ集合(0, 1, 2, 3)）とその部分群 (0,2)を考える。商群$\frac{Z4}{(0,2)}$は((0,2),(1,3))である。これの群の単位元は(0, 2)であり、群の演算は(0,2)+(1,3)=(1,3)などとなる。部分群(0,2)と商群 ((0,2),(1,3))はともにZ2に同型である。
>
>乗法群$G=Z_{n^2}^{＊}$を考える。n乗剰余の集合Nは$G=Z_{n}^{＊}$に同型な乗法的部分群である。このときNはGで正規であり、商群$\frac{G}{N}$は剰余類(N,(1+n)N,(1+n)2N, …,(1+n)n−1N）となる。Paillier暗号はGのランダムな元の剰余類をnの因数分解を知らずに決定することは難しいという予想に基づいている。

###自己同型群
対象Xの自己同型全体が（真のクラスではなく）集合をなす場合、この集合は写像の合成の下に群をなす。この群をXの自己同型群と呼ぶ。これが群をなすことは、以下のことから簡単に確認できる。

* **閉性**(Closure)：2つの自己準同型の合成は再び自己準同型となる。
* **結合法則**(Associativity)： 射の合成は常に結合的である。
* **単位元**(Identity)： 対象からそれ自身への恒等写像は単位元となる。
* **逆元**(Inverses)： 定義より、全ての同型は逆写像を持つ。その逆写像も同型であり、また自己準同型でもあるため、それは自己同型となる。

**圏**Cの**対象**Xの自己同型群は、$Aut_C(X)$ あるいは、圏が前後関係より明らかな場合は、単に Aut(X) と書く。

* **初等的な算術**(Elementary Arithmetic)では、整数の集合$\mathbb{Z}$は加法の下で群とみることができ、符号の反転が唯一の非自明な自己同型となる。しかし、環と考えた場合は自明な自己同型しか持たない。一般的に、符号反転は任意の**アーベル群**（Abelian Group）または**可換群**（Commutative Group）上の自己同型になるが、環や体ではそうならない。<br>[アーベル群 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E7%BE%A4)
* **集合論**では、集合X上の任意の**置換**(Permutation)が自己同型となる。Xの自己同型群は、Xの**対称群**(Symmetric Group)とも呼ばれる。<br>[置換(数学) - Wikipedia](https://ja.wikipedia.org/wiki/%E7%BD%AE%E6%8F%9B_(%E6%95%B0%E5%AD%A6))<br>[対称群 - Wikipedia]()<br>一般には組合せ論に属する話題となる。<br>[【Python演算処理】階乗と順列と組み合わせ](https://qiita.com/ochimusha01/items/90d9ef0a224bdd604721)
* **群**の自己同型は、群からそれ自身への群同型である。非公式に言うと、構造を変化させない群上の置換である。すべての群Gに対して、像は**内部自己同型**(inner automorphism)の群 Inn(G) となり、核がGの中心となるような、自然な作用をもつ**準同型**G→Aut(G) が存在する。従ってGが自明な中心を持つならば、GをG自身の自己同型群に埋め込むことができる。<br>[内部自己同型 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%86%85%E9%83%A8%E8%87%AA%E5%B7%B1%E5%90%8C%E5%9E%8B)
* **線型代数**では、**ベクトル空間**Vの自己準同型が、**線型変換**（Linear Transformation=一次変換）あるいは**線型写像**（Linear Mapping）V→Vである。自己同型はV上の可逆な線型変換のことである。ベクトル空間が有限次元のとき、V の自己同型群は**一般線型群**(V)GL(V)と同じになる。<br>[線型写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%B7%9A%E5%9E%8B%E5%86%99%E5%83%8F)<br>[一般線型群 -Wikipedia](https://ja.wikipedia.org/wiki/%E4%B8%80%E8%88%AC%E7%B7%9A%E5%9E%8B%E7%BE%A4)
* **体**の自己同型は、体から自分自身への全単射な環準同型である。**有理数**$\mathbb{Q}$や**実数**$\mathbb{R}$の場合には、非自明な体自己同型は存在しない。もしこれらが非自明な体自己同型を持つとすると全体への拡大ができない（なぜならば平方根を持つ数の性質を保たなくなるから）。複素数$\mathbb{C}$において非自明な自己同型は複素共役ただ一つであるが（選択公理を前提とすると）**無限個**（非可算個の）「ワイルド」な自己同型が存在する。体自己同型は**体の拡大**、特に**ガロア拡大**の理論で重要である。**ガロア拡大**$\frac{L}{K}$の場合には、Kを各元ごとに固定するLの自己同型全体の部分群を**拡大のガロア群**と呼ぶ。<br>[選択公理 - Wikipedia](https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86)
* p-進数の体$Q_p$は非自明な自己同型を持たない。<br>[【初心者向け】N進法(N-ary)とp進数(p-adic)](https://qiita.com/ochimusha01/items/c0eed4799d21d9a01792)
* グラフ理論では、グラフの**自己同型**(Automorphism of a Graph)は、頂点の置換で隣接関係を保つ写像のことを言う。<br>[Graph Automorphism](https://mathworld.wolfram.com/GraphAutomorphism.html)
* **関係性**の自己同型については、**自己同型を保存する関係**(relation-preserving automorphism)を参照の事。<br>[Relation-preserving isomorphism - Wikipedia](https://en.wikipedia.org/wiki/Isomorphism)
* **順序理論**(Order Theory)については、**順序自己同型**(Order Automorphism)を参照の事。<br>[Order isomorphism - Wikipedia](https://en.wikipedia.org/wiki/Order_isomorphism)

幾何学では、自己同型は**空間の動き**(motion)と呼ばれる。下記の特別な意味で使われる。

①**計量幾何学**(metric geometry)では、自己同型は、自己等長写像を意味し、自己同型群は**等長群**(isometry group)と呼ばれる。
[等長写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%AD%89%E9%95%B7%E5%86%99%E5%83%8F)
**直交変換・ユニタリ変換**

>Xが実ベクトル空間であるとき、線形な等長変換として直交変換が対応する。これは直交行列T を用いて$T_x$と書くことができる。複素ベクトル空間では同様な写像にユニタリ変換（およびその行列表現としてのユニタリ行列）が対応する。
>
>一般に、実ベクトル空間内の等長写像は直交行列Tとあるベクトルaを用いて$T_x+a$と書くことができる（アフィン変換）。このうち、|T| = 1であるものを特にユークリッドの運動と呼ぶが、これは "回転"と"平行移動"の二つの合成によってできるものである。等長写像はユークリッド空間の図形の間の合同をもたらすが、さらに一般に、リーマン多様体の間の等長写像（各点の微分が等長写像になるというように定義される）はその構造をすべて保存する。このような等長写像は運動と呼ばれ、運動の全体はある群をなす。

②**リーマン面**のカテゴリでは、自己同型は、あるリーマン面から自分自身への全単射な**双正則**(biholomorphic)**写像**をいう（共形写像とも言う）。 例えば、**リーマン球面**(Riemann Sphere)の自己同型は**メビウス変換**(Möbius transformation)$f(z)=\frac{az+b}{cz+d}$である。ここで、係数a,b,c,d はad−bc≠0を満足する複素定数である。

[リーマン球面 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2)

>**無限遠点**(Infiinity)$\frac{1}{0}=∞$を一点追加して複素平面を拡張する手法で、**複素射影直線**$CP^1$あるいは**拡張複素平面**$\hat{\mathbf {C}}$ または$\hat{\mathbf {C}}∪{∞}$とも記述される。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/ea8febc9-39cf-06c6-be9a-bed6f83517c6.png)
>**純代数**的には、**無限遠点を追加した複素数全体**は、**拡張複素数**として知られる数体系を構成する。無限を伴う算術は、通常の代数規則すべてに従う訳ではないので全体として体を構成しないが、幾何学的また解析学的に無限遠においてさえもよく振舞い、リーマン面とも呼ばれる**1-次元複素多様体**をなす。複素解析において有理型関数の洗練された理論で重要な役割を果たす。

[メビウス変換 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%93%E3%82%A6%E3%82%B9%E5%A4%89%E6%8F%9B)

>幾何学的には複素数平面を実二次元球面へ立体射影したものの上で回転と平行移動により各点の位置と向きを変更したものを再度平面に立体射影することによって得られる。
>
これらの変換は「**角度**」を保ちつつ（「等角性」）、任意の「**直線または円**」を「**直線または円**」に写し（「円円対応」）、円に対して「**対称な二点**」をメビウス変換の像の円に関しても「**対称な二点**」に写す（「対称原理」）。
>
>**複素射影直線**上の射影変換であり、その全体は**メビウス群**と呼ばれる**射影一般線型群**PGL(2, C)を成す。ちなみに「**メビウス変換**」の名はガウスの弟子**メビウス**(August Ferdinand Möbius、1790年~1868年)の業績に因むが、ほかにも**射影変換**や**一次分数変換**（あるいは単に一次変換）などと呼ばれることもある。
>[アウグスト・フェルディナント・メビウス -Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A6%E3%82%B0%E3%82%B9%E3%83%88%E3%83%BB%E3%83%95%E3%82%A7%E3%83%AB%E3%83%87%E3%82%A3%E3%83%8A%E3%83%B3%E3%83%88%E3%83%BB%E3%83%A1%E3%83%93%E3%82%A6%E3%82%B9)

③**微分可能多様体**Mの自己同型は、Mからそれ自身への**微分同相写像**である。自己同型群はDiff(M)と書く。
[微分同相写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E5%90%8C%E7%9B%B8%E5%86%99%E5%83%8F)
[局所微分同相写像 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%B1%80%E6%89%80%E5%BE%AE%E5%88%86%E5%90%8C%E7%9B%B8%E5%86%99%E5%83%8F)
[微分同相写像等の定義](https://qiita.com/exp/items/de716f62a43e68ff9a18)

④**トポロジー**では、位相空間の間の準同型は、**連続写像**であり、位相空間の自己同型群は、空間から自分自身への**同相群**（Homeomorphism Group）である。この例は、全単射が同型となることは充分ではないことを示している。
[位相群 - Wikipedia](https://ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E7%BE%A4)

とりあえず、現段階では上掲の様な「**自然数列に単位元と逆元を加えて加法整数群とする**」式の思考様式がそのうち様々な形で限界に到達することが確認出来た時点でよしとしておきます。そんな感じで以下続報…