第4章：構造の部分と全体（半・準・全・真） —— 不完全さの美学
数学は「完全性（Perfection）」を愛する学問である。 円の対称性、群の閉じた構造、全順序の整然とした並び。これらはプラトン的なイデアとして美しく、理論の基準点となる。 しかし、現実世界や応用数学の現場では、「完全な構造」は強すぎる制約となることが多い。 例えば、じゃんけんには「グー＞チョキ＞パー＞グー」という循環があり、最強の手（最大元）が存在しない。これは「全順序」ではなく、順序ですらない。 あるいは、文字列の連結操作（“abc” + “de” = “abcde”）は、逆演算（引き算）ができない（“abcde” - “de” = ?）。これは「群」ではなく「半群」である。
数学者たちは、これらの「不完全な構造」を捨てるのではなく、「半」「準」といった接頭語をつけて命名し、その性質を徹底的に研究してきた。 驚くべきことに、条件を緩めた（弱めた）構造の方が、より豊かで広範な応用を持つことがある。本章では、完全な構造（全・真）と、そこから条件を落とした構造（半・準）の間の、繊細な階層関係を解き明かす。
第1節 「半（Semi-/Hemi-/Half）」：半分ではなく、片側の論理
日常語で「半」といえば （Half）を意味するが、数学用語（特に代数学）における「半」は、「構造の半分が欠けている（Semi-）」ことを意味する。これは欠陥品ではなく、不可逆性や並列性を許容した、より一般的な構造である。
1. 半群（Semigroup）：戻れない旅と時間の矢
群（Group）は、結合法則、単位元、逆元の3点セットを持つ代数構造である。ここから「逆元（Inverse element：元に戻す操作）」と「単位元（Identity element：何もしない操作）」を取り上げ、結合法則（Associativity）だけを残したものを**半群（Semigroup）**と呼ぶ（単位元を持つ場合はモノイドと呼ぶ）。
なぜそんな不自由なものを考えるのか？ それは「時間」や「生命」が半群だからである。 時間の流れは不可逆であり、巻き戻し（逆元）は存在しない。細胞分裂や拡散現象も同様である。半群の理論は、このような「不可逆なプロセス」を数学的に記述するための基礎言語となる。 また、形式言語理論（オートマトン）においても、文字列の連結は半群の演算である。“abc” と “de” を連結して “abcde” にすることはできるが、“abcde” から “de” を引いて “abc” に戻す操作は、一意には定まらない（どこに “de” があったか不明な場合など）。 「半」群とは、群になれなかった出来損ないではなく、不可逆性を許容したより一般的な、情報の蓄積（Accumulation）を記述する構造なのである。
2. 半順序（Partial Order）：比較不能な自由
順序集合において、「任意の2要素 について、必ず大小関係（ または ）が決まる」場合、これを**全順序（Total Order）**と呼ぶ。数直線上の実数は全順序である。どこをとっても大小が決まる。
しかし、世の中には「比べられないもの」がある。 例えば、集合の包含関係（）を順序とみなすと、 と はどちらも相手を含まないため、大小関係がない。 このように、「比較不能なペア（Incomparable pair）」の存在を認める順序を**半順序（Partial Order）**と呼ぶ。英語の Partial（部分的）が示す通り、順序が全体（Total）には行き渡っていない状態である。
この「半」順序構造こそが、並列処理や因果関係（相対性理論の光円錐）のモデルとして極めて重要になる。 タスクAとタスクBに順序関係がないということは、どちらを先にやってもいい、あるいは同時に（独立して）実行できるということだ。半順序集合（Poset）の理論は、スケジューリング問題や分散システムの同期において、並列実行可能なタスクの最大数（Dilworthの定理）などを教えてくれる。「半」順序は、自由度（Freedom）の別名なのである。
3. 半平面と半直線：境界を持つ世界
幾何学における「半」は、空間を境界で二分した片側を指す。
- 半直線（Ray）：始点はあるが終点はない。
- 半平面（Half-plane）：無限に広がる平面を直線で切った片側（例えば の領域）。 これらは、凸解析（Convex Analysis）や線形計画法において基本的な構成要素となる。不等式制約（）は半平面を切り取る操作であり、その共通部分として多面体が定義される。「半」空間の交わり（Intersection）が、有界な領域（閉じた世界）を作り出すのである。
第2節 「準（Quasi-/Hom-/Pseudo-）」：構造の影と近似
「準」は、何かに「準じる（Quasi-）」、つまり「本物に近いが、完全には満たしていない」あるいは「構造を保って写し取った」ものを指す。英語の接頭辞は文脈によって変わるが、日本語の「準」は一貫して「近似と緩和（Relaxation）」のニュアンスを持つ。
1. 準同型（Homomorphism）：構造の保存と情報の圧縮
群 から群 への写像 が、演算を保つ（）とき、これを準同型写像と呼ぶ。 もし が全単射（漏れなくダブりなく対応）であれば、それは**同型（Isomorphism）**となり、 と は「名前が違うだけで実質同じもの」になる。
しかし、準同型は全単射でなくてもよい。例えば、整数全体 を「偶数か奇数か（）」に写す写像は準同型である。ここでは情報は圧縮され（多くの数が同じ行き先になる）、構造の「骨格（Parity）」だけが保たれている。 **「準同型定理（Isomorphism Theorem）」**は、この「情報の圧縮（核 Kernel）」と「写った先の像（Image）」の関係を記述する、代数学の美しい定理である。 「準」同型は、複雑な構造（）を、その本質的な部分（商群）と余計な部分（核）に分解する、構造解析のためのメスなのである。
2. 準凸関数（Quasi-convex）：最適化の味方
最適化問題において、凸関数（Convex function）は「谷底が一つしかない（Unimodal）」扱いやすい関数である。 準凸関数は、凸関数の定義（線分がグラフの上にある）を緩めたもので、「低い部分の集合（等高線より下の領域、レベルセット）が凸集合になる」関数である。
グラフで見ると凸凹していてもいいが、「下に行けば行くほど範囲が狭まっていく」性質は保たれている。そのため、局所的最適解が大域的最適解になるという、最もおいしい性質（大域的収束性）は失われていない。 経済学における効用関数（無差別曲線が凸）などは、準凸関数としてモデル化されることが多い。「準」という漢字は、定義は緩いが、実用上のメリット（最適化の容易さ）は維持されていることを示唆するポジティブなタグである。
3. 準線形（Quasi-linear）：線形への憧れ
偏微分方程式において、**準線形（Quasi-linear）**とは、最高階の微分については線形（一次式）である方程式を指す。 完全な非線形方程式は解くのが絶望的に難しいが、準線形であれば、特性曲線法などの線形理論のテクニックが一部使える。流体力学のバーガース方程式などがこれにあたる。「準」線形は、非線形の荒野の中に残された、解析可能な道しるべである。
第3節 「全（Total/Full）」と「真（Proper/Strict）」：完全性と純粋性
「全」と「真」は、数学的対象が「欠けがない」こと、あるいは「余計なものを含まない」ことを保証する強い言葉である。これらは理論の理想型を定義する。
1. 全単射と全順序：Totalな世界
「全」は英語の Total や Full に対応する。
- 全単射（Bijection）： 単射（Injective：行き先が被らない）かつ、全射（Surjective：行き先に漏れがない）。集合の要素数が完全に一致することを保証する。無限集合の濃度（アレフゼロなど）を定義する際の基準となる。カントールは全単射を用いて、自然数と偶数の集合の大きさが「同じ」であることを示した。
- 全順序（Total Order）： 比較不能なペアが存在しない、一直線の順序。「迷いがない」状態。辞書式順序などは全順序の代表例である。
- 全微分（Total Differential）： 多変数関数 において、すべての変数（ も も）が同時に微小変化したときの総変化量 。偏微分（Partial Differential）が「片方だけ動かす」のに対し、全微分は「世界全体が動いたときの影響」を記述する。
2. 真部分集合：自分自身は含まない
「真（Proper）」は、集合論における厳密な区別のために導入された。 部分集合 には、 の場合（自分自身）も含まれる。しかし、「 の一部であって、 そのものではない」ことを言いたい場合、**真部分集合（Proper Subset）**と呼び、 と書く。
なぜ「真」なのか？ それは「本来の意味での（一部分としての）部分集合」という意味である。自分自身を部分集合と呼ぶのは、定義上の便宜（自明な部分集合）に過ぎないからだ。 整列集合において、「切片（Initial segment）」は必ず真部分集合になる。この性質が、超限帰納法などの論理的基盤を支えている。 また、約数の話で「真の約数（Proper divisor）」といえば、その数自身を含まない約数を指す（完全数は、真の約数の和が自分自身になる数）。
3. 全有界と完備性
解析学において**全有界（Totally Bounded）**という概念がある。 単なる有界（Bounded）は「ある大きさの球の中に収まる」ことだが、全有界は「どんなに小さな球でも、有限個あれば全体を覆い尽くせる」ことを指す。 距離空間において、「全有界かつ完備（Complete）」であることは、「コンパクト（Compact）」であることと同値である。コンパクト性は、最大値・最小値の存在を保証する極めて重要な性質である。「全」有界性は、無限に広がる可能性を完全に封じ込め、有限の手に負える範囲に押し留めるための強力な条件なのである。
第4章の結語：不完全さの階層
本章では、構造の完全性と不完全性を表す接頭語を整理した。
- 半（Semi-）： 逆元や比較可能性など、構造の半分を意図的に捨て去ったもの。不可逆性や並列性のモデルとなる。時間や因果律を記述する言語。
- 準（Quasi-/Hom-）： 定義を緩和しつつ、有用な性質（最適化可能性や構造保存）を維持したもの。現実的な応用の主役。複雑な世界を近似的に捉えるためのツール。
- 全（Total）： 漏れや迷いがない、理想的な一直線の構造。理論の基準点であり、完全な対応（Bijection）を保証する。
- 真（Proper）： 自己言及を排除した、純粋な部分構造。論理的な階層を厳密に区別するための防壁。
数学者は、完全な「全」の世界（プラトン的イデア）に憧れつつも、現実世界を記述するために「半」や「準」の泥臭い世界へと降りていく。 そのとき、これらの漢字は「どこまで妥協してよいか」「何を捨てて何を残したか」を示す、正確な仕様書（Spec Sheet）の役割を果たしているのである。
次章では、これらの構造の上で極限的な操作を行う概念——「極・超・微・最」といった、無限と微小、そして最大・最小の世界——へと足を踏み入れる。そこでは、日常的な数量感覚が崩壊し、新たな論理が支配する。