ケーリー・ディクソン構成のブレイクスルー｜ノルムの乗法性（|ab| = |a||b|）
ケーリー・ディクソン構成によるノルムの乗法性（|ab| = |a||b|）の死守は、回帰しない計算不可能性と回帰する計算可能性をどこかで複雑性分類し、アンプリチュヘドロン化しようとしているのが数学という分類の歴史を体現していることがわかる。
1. 複素数（2次元）：16世紀〜18世紀
「負の数の平方根」という禁忌の解禁
- 発見者： ジロラモ・カルダノ（1545年）が三次方程式の解法の中で「ありえない数」として直面。その後、ガウスが「複素平面」を提示し、数学的な市民権を得ました。
- ブレイクスルー： それまで「1次元の数直線」しかなかった世界に、実数と非相関（直交）する単位 $i$ を導入し、数を「平面」へと拡張しました。
- 代償： 「数に大小関係がある（順序性）」という性質を捨てました。
2. 四元数（4次元）：1843年
「3次元への執着」を捨てた瞬間のひらめき
- 発見者： ウィリアム・ローワン・ハミルトン。
- 歴史的背景： ハミルトンは、複素数が平面の回転を表せるなら、3次元空間の回転を表す「三元数（a + bi + cj）」があるはずだと信じ、10年以上研究しました。しかし、 ij が既存の次元に収まらず、計算が閉じませんでした。
- ブレイクスルー： 1843年10月16日、ダブリンのブロッサム橋を歩いていた際、「もう一つ、非相関な単位 k を足して4次元にすればいい」と突如閃きました。彼は興奮のあまり、橋の石に i^2 = j^2 = k^2 = ijk = -1 という公式を刻み込みました。
- 代償： 「掛け算の順番を入れ替えても良い（交換法則）」を捨てました。
3. 八元数（8次元）：1843年〜1845年
四元数の直後の発見と「非結合性」の衝撃
- 発見者： ジョン・グレイブス（ハミルトンの友人）とアーサー・ケーリー。
- 歴史的背景： ハミルトンから四元数の知らせを受けたグレイブスは、わずか2ヶ月後に「同じ理屈で8次元もいけるはずだ」と、四元数と非相関な新しい単位をさらに4つ加えた「八元数（オクトニオン）」を考案しました。
- ブレイクスルー： これにより、次元が 2 4 8 と倍増するパターンが明確になりました。後にアーサー・ケーリーも独立して発表したため「ケーリー数」とも呼ばれます。
- 代償： 「カッコをどこにつけても良い（結合法則）」を捨てました。
4. なぜ5, 6, 7次元は「発見」されなかったのか
ハミルトンが三元数（3次元）で挫折した歴史が、そのまま答えになっています。
数学者たちが「数」として成立させるために死守した条件は、「ノルム（大きさ）の乗法性（|ab| = |a||b|）」でした。これは計算が閉じることの条件であり、回帰性を発生させるためのの最低条件です。
- 3次元や5次元の否定： 数学者アドルフ・フルヴィッツは後に、「ノルムの乗法性が保たれるのは 1, 2, 4, 8次元だけである」ことを証明しました（フルヴィッツの定理）。
- 定義の強制： 2の累乗（2^n）以外の次元で無理やり計算を作ろうとすると、この「ノルムの調和」が壊れ、計算結果がその次元の外へ漏れ出すか、数学的な矛盾（回帰しない計算不可能性）を引き起こします。
5. ケーリー・ディクソン構成による「理論の完成」
19世紀後半、レナード・ディクソンがこれらの歴史的発見を整理し、「前の次元のペアを作る」という再帰的定義（ケーリー・ディクソン構成）として一般化しました。
これによって：
- それまで： 「3次元は無理だ！」「4次元ならいけた！」と格闘していた暗黒時代。
- その後： 「2^n 次元なら、性質を失いながらも無限に構成できる」という見通しの良い時代。
へと変貌を遂げました。これまでバラバラに存在していた「複素数」や「四元数」という孤島を、一つの巨大な「数生成アルゴリズム」へと繋ぎ変えたのがケーリー・ディクソン構成の真髄です。このきっかけになったのがハミルトンによる「i, j, kの非相関性（独立性）」という視点の援用です。
1. ケーリー・ディクソン構成の画期的な点
最大のブレイクスルーは、新しい次元を導入する際、それを既存の空間の「組み合わせ（ペア）」として定義し、各単位ベクトルを互いに直交（独立）させ、かつ演算規則を自己複製するように設計したことにあります。
非相関の空間としての定義
四元数を例に取ると、それまでは i と j の掛け算の結果がどこに落ち着くべきか不明確でした。ケーリー・ディクソン構成は、新しい単位 j を導入する際、それを「既存の複素平面（1, i）に対して完全に直交する、新しい自由度」として定義しました。
これはイメージ的には「互いに素である(coprime)」ですが、素数も生成法則が予想されている（素数を生成する公式 (Prime-generating polynomial)リーマン予想など）、ため、互いに素であるという定義はイメージはしやすいですが、正確ではありません。互いにNon-associativeなalgebraです。
- iと j の関係： これらは互いに「独立（非相関）」であり、線形結合 a + bi + cj では決して混ざり合いません。
- k の生成： i と j を掛け合わせた ij を、既存の成分のどれとも異なる「第4の軸 k」として割り当てました。
- 結果： これにより、1, i, j, kという4つの基底が「互いに素（線形独立）」な空間を形成し、なおかつ掛け算がその4次元の中で完結する（閉じている）という代数的安定性を手に入れました。
2. なぜ 5, 6, 7次元は構成できないのか
「構成できない」というよりは、「代数的構造として成立しない（閉じない）」というのが正確な理由です。
ケーリー・ディクソン構成において、次元が必ず 2^n になるのは以下の論理的制約があるためです。
- 積の保存条件： ある次元の体系 A から新しい体系 B を作る際、元の Aを「実部」、もう一つの A を「虚部」としてペアにします（B = A *A）。
- 中途半端な次元の拒絶： 例えば5次元を作ろうとすると、4次元（四元数）に1つの単位を足すことになりますが、その1つの単位と既存の i, j, k との掛け算の結果（例：i *{new}）を定義しようとすると、さらに新しい軸が必要になります。
- 連鎖反応： 1つ新しい軸を入れると、既存のすべての軸との組み合わせ分だけ新しい軸が「雪だるま式」に増えてしまい、結果として次に安定して閉じることができるのは、必ず元の次元の2倍（2, 4, 8, 16…）の地点になるのです。
3. 「それまで」と「その後」の決定的な違い
それまで：個別の「発見」
ハミルトンが四元数を見つけるまで、新しい数は「天才的なひらめき」によって発見される一点物でした。3次元（三元数）を求めて20年迷走したように、ルールが不明文化されていました。
その後：無限の「生成」
ケーリー・ディクソン構成の登場により、数は「再帰的なアルゴリズム」へと進化しました。
- 理論上の無限： 定義上、$2^n$ 次元であれば、16次元（十六元数）、32次元、64次元……と無限に構成可能です。
- 代償（トレードオフ）の明確化： 次元を倍にするたびに、以下の順序で「数学的な便利さ」が失われることが証明されました。
- 4次元で 交換法則 (ab=ba) が消える。
- 8次元で 結合法則 (a(bc)=(ab)c) が消える。
- 16次元で 累乗結合性 や ノルムの乗法性 が崩れ、零因子（0 じゃないもの同士を掛けて 0 になるペア）が出現する。
4. まとめ：2の累乗以外は成立しない定義
ケーリー・ディクソン構成における新しい数 zの定義は常に、前の段階の数 a, b を用いて以下の形式をとります。
z = (a, b)
この「2つの要素のペア」という定義そのものが、次元を 2 →4 → 8 → 16 と倍々ゲームで増やしていくことを宿命づけています。 3次元や5次元といった奇数や2の累乗以外の次元は、この「ペアリングによる拡張」という再帰構造から原理的に排除されているのです。
この「次元が上がるごとに性質が剥がれ落ちていく」というノルム崩壊のプロセスは、まるで宇宙が複雑さを増すほどに自由度を得る代わりに法則を失っていく規則である。