序論：全体性と部分性の対立と調和
0.1 完全性の夢と部分性の現実 —— 数学史における「全体」への渇望と挫折
数学とは、長きにわたり「神の視点（God’s eye view）」を獲得するための営みであったと言えるだろう。それは、時間と空間を超越した場所から、世界の全ての事象を一望の下に見渡す「全体性（Totality）」への渇望である。
古代ギリシャにおいて、プラトンはこの世界を不完全な影であるとし、その背後に「イデア」という完全無欠な実在を想定した。ユークリッド幾何学が描く円や直線は、現実世界には存在しない理想的な「全体」であり、そこに欠けや歪み（Partiality）は許されない。真理とは、欠けたるところのない完全な球体のようなものであり、数学者はその完全性を記述することを使命としてきたのである。
この「全体」への信仰は、近代科学の夜明けとともに頂点に達する。アイザック・ニュートンが宇宙を統べる重力の法則を見出したとき、世界は決定論的な時計仕掛けとして捉え直された。ピエール＝シモン・ラプラスは、ある瞬間の全宇宙の物質の位置と運動量を知る知性、いわゆる「ラプラスの悪魔」を仮定した。この悪魔にとって、過去と未来は現在のなかに完全に含まれている。すなわち、宇宙は一つの巨大な「全域関数（Total Function）」であり、初期値を入力すれば未来という出力は完全に決定されると考えられたのである。ここでは「不明な部分」や「定義できない領域」は、単なる知識不足として片付けられ、原理的な数学的対象とは見なされなかった。
しかし、19世紀から20世紀にかけて、この「完全性の夢」は内部から崩壊を始める。そのきっかけは皮肉にも、数学をより厳密化しようとする過程で現れた「無限」と「連続性」の問題であった。
解析学の革命において、コーシーやワイエルシュトラスは、無限や極限といった概念を扱うために、「全体に到達すること」を諦め、「部分的な近似の積み重ね」によって全体を定義し直す道を選んだ。彼らが発明したイプシロン・デルタ論法は、「任意の誤差範囲内で」という局所的（Partial）な制御によって、極限という全体的な概念を捕まえる手法である。これは、神の視点を放棄し、人間の視点から厳密性を再構築するパラダイムシフトであった。
さらに決定的な打撃を与えたのが、クルト・ゲーデルによる不完全性定理である。彼は、ある程度複雑な数学的体系の中には、真であるにもかかわらず証明も反証もできない命題が存在することを示した。ヒルベルトが夢見た「数学の全体系の無矛盾性証明」という完全なプログラムは、論理そのものが持つ「部分的にしか到達できない真理」という壁の前に敗れ去ったのである。
我々はここで、残酷な、しかし深遠な事実に直面する。「全体（Total）」とは、しばしば幻想であり、あるいは扱い得ないほど巨大なカオスである。対して「部分（Partial）」——すなわち、偏り、欠損、不完全さ——こそが、我々が世界に触れるための唯一の確実な手触りなのだ。
現代数学において、「Partial」という接頭辞はもはや「Total」の劣化コピーを意味しない。カオス理論が示すように、初期値のわずかな「偏り」が大域的な未来を劇的に変える。計算機科学においては、計算が終わらない（値が定義されない）ことが「計算可能性」の本質を形成する。
本稿の出発点はここにある。我々は「完全性の夢」から覚めた。そして今、目の前にある「部分（Partial）」の破片の中に、かつて追い求めた全体性よりも遥かに豊穣な構造が宿っていることに気づき始めているのである。
0.2 言語のプリズム —— 「Partial」を巡る「偏」「半」「部分」の意味論
英語の “Partial” という単語は、数学用語として日本語に翻訳される際、文脈に応じて「偏（へん）」「半（はん）」「部分（ぶぶん）」という全く異なる三つの相貌を見せる。これは単なる翻訳の揺らぎではなく、“Partial” という概念が内包する多面的な性質を、日本語というプリズムが分光した結果と言えるだろう。それぞれの漢字が担う意味論を探ることは、本概念の本質に迫る最短の道である。
第一の相貌は、**「偏（Bias/Direction）」**である。 解析学における “Partial Derivative” は、「部分微分」ではなく「偏微分」と訳される。この「偏」という字には、「全体の一部」という受動的な意味よりも、「特定の方向に依怙贔屓（えこひいき）する」という能動的なニュアンスが含まれている。 多変数の世界において、変化は無数の方向に起こり得る。しかし、我々はその全てを同時に追うことはできない。したがって、特定の変数（方向）だけを注視し、それ以外の変数をあたかも定数であるかのように無視する。この「偏った視点」こそが偏微分の本質である。公平なままでは見えない構造が、視点を偏らせることで初めて浮き彫りになる。「偏」とは、複雑な世界を切り取るための鋭利なナイフの役割を果たしているのだ。
第二の相貌は、**「半（Half/Incompleteness）」**である。 順序理論における “Partial Order” は「半順序」と訳される。ここで誤解してはならないのは、「半」とは「順序が半分しかない」という意味ではないということだ。これは「全順序（Total Order）」との対比概念である。 実数の大小関係のような全順序では、任意の二つの要素は必ず比較可能である（どちらかが大きいか、等しい）。しかし、生物の進化系統や組織の包含関係のような現実のシステムでは、「比較できない」関係が無数に存在する。ＡはＢの子孫でも先祖でもない、という関係だ。「半順序」の「半」は、この「比較不可能性」を許容する懐の深さを表している。一本の線の上に並べる「ランキング（全順序）」の世界から、網の目のように広がる「ネットワーク（半順序）」の世界へ。「半」であることは、一次元の束縛からの解放を意味するのである。
第三の相貌は、**「部分（Subset/Undefined）」**である。 集合論や論理学における “Partial Function” は「部分写像」あるいは「部分関数」と訳される。これは定義域（Domain）が始域（Source）の全体と一致しない関数を指す。 通常の数学教育において、関数 は全ての に対して値を持つことが暗黙の了解（Total Function）とされる。しかし、逆数 が で定義できないように、あるいはコンピュータプログラムが無限ループに陥って値を返さないように、「値が存在しない」という事態は自然に発生する。 ここで “Partial” は、全体からの「欠損」を意味するように見える。しかし現代的な視点では、この「欠損」は「未定義（Undefined）」という特殊な値（情報）を持っていると解釈される。「答えがない」ということもまた、一つの重要な答えなのである。「部分」という訳語は、定義できない領域（深淵）を抱えながらも機能するシステムの強靭さを表している。
これら「偏」「半」「部分」という三つの顔は、それぞれ異なる数学的文脈で現れるが、根底にある思想は共通している。それは、「全体を一度に扱おうとする強引さを捨て、限定された範囲、限定された方向、限定された関係性の中で、確実な足場を築く」という態度である。
0.3 構造としての不完全さ —— 解析・代数・論理における「Partial」の三原色
では、この「Partial」な態度は、具体的な数学の現場においてどのような構造を生み出しているのか。解析学、代数学、論理学の三つの主要分野において、その役割を概観しよう。
解析学：切断による次元の縮約（Slicing） 解析学において、世界はしばしば高次元の多様体として現れる。3次元空間の温度分布であれ、高次元の経済モデルであれ、変数が絡み合う世界をそのまま理解することは人間の直感を超えている。 ここで「偏微分（Partial Differentiation）」という操作は、高次元の対象を「1次元」の問題に還元する技術として機能する。99個の変数を固定し、1個だけを動かすとき、我々は複雑な曲面を「線」として切り取っている（スライスしている）。 重要なのは、この局所的なスライス（接線）は線形（Linear）であるということだ。大域的には非線形で歪んだ世界も、ミクロな視点（Partial）で見れば平坦である。この「局所的な線形性」を積み上げることで、全体の非線形な挙動を近似・記述する。解析学における “Partial” とは、複雑さを単純さに分解するためのプリズムなのである。
代数学・順序理論：関係性の網（Networking） 代数学、特に順序理論において “Partial” は、構造の自由度を保証する。 全順序集合は一直線の階層構造しか持てないが、半順序集合（Poset）は分岐や合流を含む豊かなトポロジーを持つことができる。ハッセ図で描かれる半順序の構造において、「比較不可能（incomparable）」な要素対の存在は、情報の欠落ではなく「独立性」を意味する。 例えば、分散コンピューティングにおいて、異なる場所で起きた二つのイベントが因果関係を持たない（どちらが先とも言えない）場合、それは半順序における比較不能性に相当する。この「決定不能な部分」があるからこそ、システムは並列に動作できる。“Partial” な順序構造は、現代の複雑なネットワーク社会を記述するための最も適した言語を提供している。
論理学・計算機科学：未定義の深淵（Gapping） 計算機科学の基礎理論において、“Partial Function”（部分関数）は中心的な役割を果たす。アラン・チューリングが示したように、「計算」とは必ずしも終わるものではない。無限ループに陥るプログラムは、出力を返さない。つまり、関数としての値が定義されない。 もし数学の世界を「全域関数（Total Function）」だけに限定してしまえば、我々は「無限ループするプログラム」を数学的対象として扱えなくなってしまう。これは計算機科学の敗北を意味する。 そこで導入されるのが、未定義を表す底要素（Bottom, ）であり、定義域が部分的な関数を許容する体系である。デイナ・スコットのドメイン理論では、計算のプロセスとは、情報が少ない状態（Partial）から、徐々に情報が増えていく過程としてモデル化される。「完全な答え」は無限の彼方にしかなく、我々が手にするのは常に「部分的な情報」である。この「未定義の深淵」を構造に取り込むことで、論理学は逆説的に「計算できないこと」を厳密に証明する力を得たのである。
0.4 観測者の視点 —— 神の視点と人の視点、局所と大域の統合
本序論の締めくくりとして、「局所（Local / Partial）」と「大域（Global / Total）」の関係性について、幾何学的な視座から統合を試みる。
我々はしばしば、地球の上に立つアリに例えられる。アリにとって、地面はどこまでも平らなユークリッド平面（地図）である。これは「局所的（Local）」な真実である。しかし、アリが長い旅を経て元の場所に戻ってきたとき、世界が球体であることを知る。これが「大域的（Global）」な真実である。 数学、特に現代幾何学（多様体論、層の理論）の核心的テーマは、この「アリの視点（Partial）」を無数に集めることで、いかにして「鳥の視点（Total）」を再構築するか、あるいはその再構築がいかに困難であるか、にある。
多様体の定義とは、まさに「局所的には平らな空間（チャート）」を「貼り合わせる」ことである。しかし、貼り合わせには常に「歪み」や「矛盾」のリスクが伴う。局所的な地図は正確でも、それをつなぎ合わせると全体として辻褄が合わなくなることがある（ペンローズの階段のような不可能図形を想像されたい）。
ここで**「層（Sheaf）」**という概念が登場する。層とは、局所的なデータ（Partial data）と、それらを貼り合わせるルールを厳密に定式化したものである。 層の理論における「コホモロジー」という道具は、局所的なデータを全体に拡張しようとしたときに生じる「障害（Obstruction）」を定量化する。つまり、数学者は「部分」から「全体」へ至る道の険しさを、数式によって測ることができるようになったのだ。
「Partial」であることは、もはや視界が狭いことの言い訳ではない。それは、大域的な構造を解析するための「探針（プローブ）」である。 ガウス＝ボンネの定理が示すように、曲面上の各点における「局所的な曲がり具合（曲率）」を積分し合わせると、その曲面に空いている「穴の数（オイラー標数）」という大域的な形状が決定される。部分を知り尽くすことが、全体を知ることに繋がる。この驚くべきホログラフィックな関係こそが、数学における「Partial」と「Total」の真の調和である。
本書は、この「Partial」という概念を案内人として、数学の広大な沃野を旅する試みである。 第1部では、解析学における「偏（Bias）」の切れ味を。 第2部では、代数学における「半（Half）」の構造美を。 第3部では、計算機科学における「部分（Subset）」の深淵を。 そして第4部では、それらを統合する幾何学的な「貼り合わせ」の魔法を目撃することになるだろう。
我々は神ではないため、世界という「全体」を一度に掴むことはできない。しかし、「部分」を恐れず、それを積み重ね、貼り合わせることで、我々は神の視座に限りなく近づくことができる。 その無限の階段を登る旅を、ここから始めよう。