第8章：解析学における「if」―― 論法と条件付き定義
――無限を制御する精密なる論理のメス
8.1 直感の危機：幽霊としての無限小
17世紀、アイザック・ニュートンとゴットフリート・ライプニッツによって産声を上げた微分積分学（解析学）は、人類が宇宙の法則を記述するための最強の武器となった。惑星の軌道、流体の動き、物体の加速――変化し続けるこの世界のすべてを、彼らは数学という言語で捉えることに成功したのである。
しかし、この初期の解析学には、その輝かしい成果とは裏腹に、論理的な「底」が抜けているという致命的な欠陥があった。彼らが用いた「無限小（Infinitesimal）」という概念は、0ではないが、いかなる正の数よりも小さいという、極めて奇妙な存在であった。計算の途中では 0 ではないものとして割り算に使われ、計算の最後には 0 であるかのように無視される。
18世紀の哲学者ジョージ・バークリーは、この曖昧さを「消えゆく増分の幽霊（ghosts of departed quantities）」と呼び、数学者たちの不徹底を鋭く突いた。 「もしそれが 0 であるなら、それで割ることはできない。もしそれが 0 でないなら、それを消し去ることはできない。数学者はいつから、論理ではなく信仰によって真理を語るようになったのか」
この批判は正鵠を射ていた。解析学が「直感による技術」から「厳密な科学」へと脱皮するためには、「限りなく近づく」という曖昧で動的なイメージを、一切の妥協のない、静的で確定的な論理――すなわち「if（ならば）」の言葉へと翻訳し直す必要があったのである。
8.2 ワイエルシュトラスの革命：動きを止める「if」
19世紀、この課題に最終的な解決を与えたのが、オーギュスタン＝ルイ・コーシー、そしてカール・ワイエルシュトラスである。彼らが編み出した 論法（エプシロン・デルタ論法）は、数学史上最も美しい、かつ最も難解な「if」の構造物であると言っても過言ではない。
彼らの革命の本質は、「動きを排除したこと」にある。 「 が に限りなく近づくとき、 は に収束する」という従来の表現には、「近づく」という時間的、動的なニュアンスが含まれていた。ワイエルシュトラスは、これをすべて「誤差（ と ）」という静的な数値の関係に置き換えた。
そこでは「近づく」という行為の代わりに、「もし誤差をこれ以下に抑えたいならば、入力をこの範囲に絞ればよい」という、条件付きの保証（Guarantee）が語られるようになった。解析学における「if」は、無限という荒ぶる海を、精密な論理の檻（不等式）の中に閉じ込めるための、最も鋭利な「メス」となったのである。
8.3 論法の解剖：論理の入れ子構造
ここで、現代解析学の出発点である「関数の極限」の定義を、一文字ずつ丁寧に解剖してみよう。
定義： とは、 任意の に対して、ある が存在して、 もし ならば である。 記号：
この一行の数式の中には、本稿がこれまでの章で積み上げてきた論理のすべてが、極めて高度な形で凝縮されている。
8.3.1 「ならば」が保証する精度の世界
この定義の心臓部は、文の後半にある （ならば）である。
- 前件（If）：
- 後件（Then）：
これは、「入力を から 以内の範囲に絞り込むこと（if）」が、「出力が から 以内の範囲に収まること（then）」を保証するための十分条件であることを示している。 解析学における「if」は、ここでは「因果関係」ではなく、「精度の支配（Control of Error）」を意味している。あなたがどれほど厳しい精度（）を要求したとしても、私が適切な範囲（）を提示し、その範囲内であれば（if）要求が満たされる（then）ことを証明できるなら、そのとき初めて「極限が存在する」と認められるのである。
8.3.2 限定記号の「順序」という重圧
この「if」の重みを決定づけているのが、文の冒頭にある限定記号 と の順序である。 第6章で学んだ通り、 の順序は「後出しジャンケン」を許容する。つまり、 は に依存して、 が決まった後で決めてよいということだ。
「あなたが を決めるならば、私は を見つけることができる」 このメタ的な「if」の構造こそが、極限という概念を支えている。 が小さくなればなるほど（要求が厳しくなればなるほど）、 を見つけることは困難になるかもしれないが、どんなに小さな に対しても「もし～ならば」の鎖が繋がる が必ず存在する。この「不退転の保証」こそが、解析学が無限という極限状態においても揺るぎない真理を語れる理由なのである。
8.4 連続性の定義：空間を繋ぐ「if」の糸
論法の「if」が次に挑むのは、「連続（Continuity）」という概念の厳密化である。 私たちの直感では、連続とは「グラフが繋がっていること」や「一筆書きできること」を意味する。しかし、数学的な厳密さはそのようなイメージを許さない。ワイエルシュトラスらは、連続性を「極限における『if』が、その点そのものの値（）と一致すること」として定義した。
定義： 関数 が で連続であるとは、
この「if」が語っているのは、空間の「近さ」の保存である。「もし入力の世界で と が十分に近ければ、出力の世界でも と は十分に近くなる」。 この極めてシンプルな「if」の連鎖が、数直線上の無限の点すべてにおいて成立しているとき、関数は「連続」という称号を得る。解析学における「if」は、バラバラの点として存在する数値を、論理という透明な糸で縫い合わせ、一本の「線」へと変容させる魔法の力を持っているのでる。
8.5 条件付き定義の力：関数を切り裂く「if」
解析学においては、ひとつの式で書けない関数もしばしば登場する。例えば、ディリクレ関数のような「有理数なら 1、無理数なら 0」といった関数である。これらは条件付き定義（Conditional Definition）と呼ばれ、「if」の分岐そのものが関数のアイデンティティを形作る。
例：
これは、「もし有理数ならば、……」「もし無理数ならば、……」という無限の「場合分け（第5章）」を実行していることに相当する。こうした極端な関数を扱うとき、私たちの直感は完全に沈黙する。頼れるのは、ただ一つ、「if」の定義に忠実に従う論理の力だけである。解析学は、この条件付き定義を徹底的に掘り下げることで、直感の届かない深淵な関数の世界へと私たちを連れ出していく。
8.6 一様連続性：スコープの拡大と「if」の闘争
解析学を学ぶ者が直面する、 論法の第二の巨大な壁が、「一様連続性（Uniform Continuity）」という概念である。第6章で学んだ限定記号（）の順序の入れ替えが、これほどまでに残酷な、しかし深遠な意味の差を生む場所は他にない。
8.6.1 「場所」への依存からの脱却
通常の連続性（点連続性）の定義を思い出してみよう。 「すべての点 において（）、任意の に対して（）、ある が存在して（）、もし……ならば……」 この定義において、 は だけでなく、選んだ場所 にも依存してよい。つまり、「場所 ごとに、オーダーメイドの を見つければ、その点における『if』の責任は果たせる」という、極めて局所的（ローカル）な保証である。
対して、一様連続性は次のように要求する。 「任意の に対して（）、ある が存在して（）、宇宙のあらゆる について（）、もし……ならば……」
この順序の逆転が、後ろに控える「if」の性質を劇的に変える。ここでは、場所 に依存しない、宇宙全体で一律に通用する「万能の 」が求められているのだ。
8.6.2 グローバルな契約としての「if」
これをビジネスの契約に例えるなら、通常の連続性は「各店舗の在庫状況に応じて（もし在庫があれば）発送する」という店ごとの柔軟な約束である。一方、一様連続性は「全国どの店舗においても、もし注文があれば、必ずこの時間内に届ける」という、中央集権的で強力な保証である。
この「場所を選ばない if」の力は、解析学において絶大である。例えば、閉区間上で連続な関数は一様連続であるという「カントールの定理」は、この強力な「if」の保証があるからこそ、私たちは関数を細かく分割し、積分（リーマン和）という操作を安全に行うことができる。一様連続性における「if」は、個別の点という孤島を越え、関数の定義域全体を一つの統治下に置くための、高度な論理的インフラなのである。
8.7 実数の連続性と「if」の基盤：デデキントの切断
解析学が扱う舞台装置そのもの、すなわち「実数（Real Number）」の正体もまた、19世紀に至って「if」の論理によって再定義された。リヒャルト・デデキントが提示した「デデキントの切断（Dedekind Cut）」は、連続性という曖昧な概念を、論理的な境界線へと変換した。
8.7.1 隙間なき数直線を定義する「if」
デデキントは、実数直線を有理数の「切断」によって表現しようとした。 有理数の集合を二つの組 に分け、 「もし かつ ならば、 である」 というルールを置く。
この切断において、境界となる点はどこにあるのか。もし有理数の中に隙間（無理数）があるなら、その隙間を埋める存在を「if」の論理で要請しなければならない。これが「実数の完備性（Completeness）」である。
8.7.2 完備性の保証：上限（Supremum）という「if」
現代解析学の公理である「上に有界な集合は上限を持つ」という言明もまた、強力な条件付き保証（if）である。 「もし、集合 が空でなく、かつ上に有界（ある数 よりすべての要素が小さい）であるならば、 には必ず最小の上界（上限）が存在する。」
この「if」こそが、解析学のすべての収束定理の源泉である。私たちが 論法を使って「極限に向かって進む」ことができるのは、実数直線という道が「もし有界なら、必ず行き止まり（上限）がある」という論理的な保証によって、一分の隙もなく舗装されているからである。実数の本質は、数そのものにあるのではなく、この「完備性を保証する if」という論理構造にこそ宿っているのである。
8.8 ワイエルシュトラスの怪物：直感の完全なる敗北
19世紀解析学の厳密化が人類にもたらした最大の衝撃は、「ワイエルシュトラス関数」の発見であった。それまでの数学者は、連続関数というものを「繋がった滑らかな紐」のようなものだと、自らの肉体的な直感で捉えていた。
8.8.1 至る所連続だが、至る所微分不能
しかし、ワイエルシュトラスが「if」の論理を駆使して構築した関数は、私たちの眼を裏切った。それは、 「すべての点において連続である」 という「if」の条件を満たしながら、 「どの点においても、接線を引くことができない（微分不能である）」 という、世にも奇妙な性質を持っていた。
これは、どれほどグラフを拡大しても、そこにはさらに細かいギザギザが現れ続け、決して平坦な直線にはならない「フラクタル」の先駆けのような存在であった。
8.8.2 イメージから論理への主権交代
この「怪物」の出現により、数学における「if」の意味は決定的に変わった。 「もし連続ならば、滑らかである」という直感的な「if」は、偽であることが証明された。私たちは、目に見えるイメージに頼って数学を語ることを禁じられたのである。 残されたのは、純粋な不等式の評価――「任意の に対して、ある が存在し……」という、乾いた、しかし一切の誤謬を許さない論理の鎖だけであった。 ワイエルシュトラスの怪物は、解析学における「if」が、人間の貧弱な想像力を飼い慣らし、真理を冷徹に規定するための「絶対的な法」であることを宣言したのである。
8.9 微分可能性：線形近似という「高次元の if」
極限（8.3）と連続性（8.4）を「if」で定義した私たちは、最後に解析学のもう一つの主役である「微分可能性」へと辿り着く。微分とは、ある関数の複雑な振る舞いを、ある点において「直線（一次式）」で代弁させる試みである。
8.8.1 近似を保証する「if」
関数 が で微分可能であるとは、 「もし、変化量 を十分に小さく取るならば、関数の変化 は、直線的な変化 と、それよりも圧倒的に速く 0 に近づく誤差項の和として表現できる」 という保証である。
ここでの「if」は、物理学的な予見を可能にする。「もし今の位置と速度が分かるならば、ごく短い時間後の未来の位置を、誤差なく（高次の無限小を除いて）計算できる」。微分における「if」は、複雑な曲線を直線という「扱いやすい影」に投影し、未来を制御するための道具なのである。
8.10 第8章の結語：解析学という名の「if の要塞」
本章では、直感という砂上の楼閣であった微積分がいかにして「if」という論理の礎石によって再構築され、現代解析学という鉄壁の要塞へと進化したかを詳述した。
- コーシーとワイエルシュトラスは、「限りなく近づく」という動的な幽霊を、静的な「条件付き保証（ 論法）」へと翻訳した。
- 全称と存在の順序入れ替えが、局所的な「if」を一様なグローバルな契約（一様連続性）へと格上げすることを示した。
- デデキントは、実数の正体を「完備性を保証する if」という論理境界として定義した。
- ワイエルシュトラスの怪物は、視覚的な直感が「if」の厳密さに敗北することを証明した。
解析学における「if」は、人類が手に入れた「無限を記述し、制御するための最も精密な論理」である。この「if」の盾と矛があるからこそ、私たちは宇宙の膨張から素粒子の確率分布まで、およそ直感では捉えきれない物理現象を、正確な数式という論理の鎖に閉じ込めることができる。
さて、この「無限の制御」という知の極致を学んだ私たちは、次章において、この「if」の論理が、さらなる新しい肉体を得る場面に立ち会う。それは、物理的なパルスとデジタルの回路によって動く、現代の魔法――「コンピュータ科学」の世界である。解析学の「連続的な if」から、計算機の「離散的な if」へ。数学的「if」の旅は、いよいよ人工知能とアルゴリズムの深淵へと加速していく。