自由代数・同値関係・商空間――「同じ」と「違う」をどう切り分けるか
皆さん、こんにちは。
HSP×アンチ東大主義の、＠おはようございますです。
今回は、自由代数・同値関係・商空間（商群・剰余類）という、一見すると抽象的でつかみどころのない話題を、できるだけ「動機」から整理してみたいと思います。テーマは一言で言えば、
数学はなぜ「違うものを同じとして扱う」ことができるのか。
そして、なぜ「同じに見えるものを、あえて違うものとして扱う」のか。
という点です。
1. 4 = 1+1+1+1 は「当たり前」なのか？
私たちはふつう、
1+1+1+1
4
を迷いなく「同じもの」だと考えます。
これは算術の世界、つまり意味（セマンティクス）の世界に立っているからです。
両者は同じ「数」という対象を指している。だからイコールで結ばれる。
この理解は、日常生活ではまったく正しい。
しかし、ここで一歩引いて考えてみます。
本当にこの二つは、最初から同じものだったのだろうか？
2. 自由代数という「最も広い世界」
自由代数の立場に立つと、話は一変します。
自由代数では、
1+1+1+1
4
は違うものです。
なぜなら、自由代数が見ているのは「対象」ではなく、
記号の並び方そのもの（構文論＝シンタックス）だからです。
1+1+1+1 は「1 を 4 回足す」という構成手順
4 は「4 という単一の記号」
構成の履歴が違う。
だから、同一視しない。
ここでは、
記号列が、記号列として自分自身を指している
という、極めて形式的な世界が立ち上がっています。
これが「最も広い世界」です。
まだ何も同一視していない、差異がすべて保存された世界。
3. 数学者の動機：「同一視したい」「区別したい」
ここで重要なのは、数学者の発想が一方向ではない、という点です。
数学には常に二つの相反する動機があります。
違うものを、同じとして扱いたい
同じに見えるものを、あえて違うものとして扱いたい
自由代数は後者の極端な例です。
一方、算術や整数論は前者の極端な例です。
4. 同値関係とは「差異を無視する決断」
算術では、
1+1+1+1
4
は「同じ対象を指している」と考えます。
これは、自由代数の世界にあった差異――
構成手順
表記の違い
を意識的に無視するという決断です。
この「無視してよい差異」を数学的に定式化したものが、
同値関係
です。
同値関係とは、
「この違いは、いま考えたい構造にとっては本質的ではない」
と宣言するための道具です。
5. 商空間・商群とは何をしているのか
同値関係を入れると、世界は縮みます。
自由代数 → 同値関係で割る → より扱いやすい構造
この「割る」操作が、商（quotient）です。
例：整数 Z
自由な加法の世界では、表記や構成はすべて区別されていました。
しかし算術では、それらを同一視して
-2, -1, 0, 1, 2, …
という整数の世界 Z を作ります。
例：Z / 3Z
さらに一歩進めると、
「3 で割った余りが同じものを、同じとして扱いたい」
という動機が生まれます。
そこで
0, 3, 6, 9, …
1, 4, 7, 10, …
2, 5, 8, 11, …
をそれぞれ一つの塊としてまとめる。
これが **Z / 3Z（剰余類）**です。
ここでもやっていることは同じです。
差異を保存するのか、無視するのか。
どこで線を引くのか。
6. なぜ商空間でつまずくのか
商空間や同値類でつまずく人が多い理由は単純です。
私たちは日常的に、
「同じ対象を指しているなら同じ」
というセマンティクス中心の世界に慣れすぎている。
しかし商空間は、
「どの違いを捨て、どの違いを残すか」
という設計思想の話です。
対象そのものではなく、
見るレイヤーの切り替えが起きている。
7. まとめ：数学は世界の編集技術である
自由代数は、差異を最大限に保存する世界
同値関係は、差異を無視するという決断
商空間は、その決断の結果として立ち上がる新しい世界
数学は「真理を一つに決める学問」ではありません。
世界をどう編集するかを選び続ける技術
なのだと思います。
1+1+1+1 と 4 を同じと見るか、違うと見るか。
その選択そのものが、すでに数学なのです。
こちらの記事も時間にゆとりがあれば。高校でよく躓く事項を解説したものです。
