第3章：Whenever（〜する時はいつでも）のニュアンス

〜普遍量化と時間性、そして無限の試行〜

【本章の構成シラバス】（版）

3.1 Whenever の正体：「If」になぜ「いつ（When）」がついたのか

• 辞書的な意味と数学的な意味の乖離
• 論理記号に翻訳すると：結局は $\forall x(P(x)⟹Q(x))$
• しかし、なぜ数学者はあえて Whenever を選ぶのか？
• 文脈的な効果：法則の強調と「例外の不在」の宣言

3.2 全称記号（$\forall$）の支配

• 変数の「束縛（Binding）」とは何か
• 「任意の $x$ について」というフレーズの重み
• Whenever は、量化子を隠蔽するシンタックスシュガーである
• 静的な含意（Material Implication）との決定的違い

3.3 時間性と動的プロセス

• 数学に「時間」は存在するか？
• アルゴリズム的思考：入力（Input）が来るたびに（Whenever）、出力（Output）が決まる
• 事象駆動型（Event-driven）の記述としての Whenever
• プログラミングにおける while や event listener との類似性

3.4 解析学（微積分）における独壇場

• $ϵ-\delta$ 論法の心臓部
• 「Whenever $|x-a|<\delta$」の解釈
• 静止画ではなく、照準を合わせる「動作」として理解する
• コーシーとワイエルシュトラスが Whenever に込めた厳密性

3.5 確率論と測度論における「ほとんど至る所（Almost Surely）」

• 事象の生起確率としての Whenever
• 確率1で起こるとはどういうことか
• 時間発展する確率過程（マルコフ連鎖など）における記述

3.6 演習：Whenever を使いこなす

• 英文法的な注意点：時制の一致（Present simple の使用）
• If との書き換え練習
• 証明の書き出し：“Let $x$ be arbitrary…” の作法

---

【第3章：本文】

3.1 Whenever の正体：「If」になぜ「いつ（When）」がついたのか

数学の論文や教科書を読んでいると、突然 “Whenever” という単語に出くわすことがある。 「Whenever $x$ is rational, $x^2$ is rational.」 直訳すれば「$x$ が有理数である時はいつでも、$x^2$ は有理数である」。

論理学の教科書を引いても、“Whenever” という専用の記号（演算子）は見当たらない。論理構造としては、これは紛れもなく If ($P⟹Q$) である。 では、なぜ著者はシンプルな “If” を使わず、わざわざ長い “Whenever” を選んだのか？ そこには、単なるスタイルの違いを超えた、数学的な「意志」が込められている。

“Whenever” が持つニュアンス、それは**「普遍性（Universality）」と「確実性（Certainty）」**の強調である。

単なる “If” は、仮定的な響きを持つ。「もし雨が降れば…（降らないかもしれないが）」という、一回性の事象に対する条件付けのニュアンスが残る。 対して “Whenever” は、**「いつ、いかなる時も、何度繰り返しても」**という、法則としての堅牢さを主張する。 「スイッチを押せば、いつでも明かりがつく」 ここには、例外の可能性を微塵も許さない、システムへの絶対的な信頼がある。数学者がこの言葉を使うとき、彼らはその命題が「特定の条件下でのみ成り立つ」ものではなく、「条件が満たされさえすれば、宇宙のどこであっても自動的に発動する法則」であることを宣言しているのだ。

3.2 全称記号（$\forall$）の支配

この「いつでも」という感覚を、厳密な論理記号で表現するならば、それは 全称量化子（Universal Quantifier, $\forall$） の役割となる。

論理式で書けばこうなる。 $\forall x\in U,P(x)⟹Q(x)$

Whenever は、文法の中にこの $\forall$（For all）を内包している。 “If $x>0$, then $x+1>0$” と書いた場合、文脈によっては特定の $x$ について話しているのか、一般的な $x$ なのか曖昧な場合がある。 しかし、 “Whenever $x>0$, we have $x+1>0$” と書けば、読み手は即座に「ああ、これは変域内のあらゆる $x$ を自由に選んで検証していいんだな」と理解する。

Whenever は、変数 $x$ を「束縛（Bind）」する。 それは「さあ、好きな $x$ を持っておいで。私の命題は絶対に崩れないから」という、証明者の自信の表れでもある。If が「条件」を提示する言葉だとすれば、Whenever は「挑戦」を受け入れる言葉なのだ。

3.3 時間性と動的プロセス

数学は本来、時間変化のない静的な世界（プラトン的イデア界）を記述するものだ。三角形の内角の和は、昨日も明日も180度である。 しかし、Whenever という言葉には、明らかに**「時間（Time）」あるいは「試行（Trial）」**のニュアンスが含まれている。

これは、関数やアルゴリズムを**「入力と出力のプロセス」**として捉える現代的な数学観と相性が良い。 関数 $f(x)$ を、「$x$ という値」ではなく、「$x$ を入れたら $f(x)$ を吐き出す機械」と見てみよう。 この機械の性能保証書にはこう書かれている。 「Whenever you input an even number, the output is even.」 （偶数を入力するたびに、出力も偶数になります）

ここでの Whenever は、機械が作動する「イベント」ごとの保証である。 この「動的な視点」が最も威力を発揮するのが、次の解析学の分野である。

3.4 解析学（微積分）における独壇場：$ϵ-\delta$ 論法の鼓動

大学数学の最初の難関、$ϵ-\delta$（イプシロン・デルタ）論法。 極限 ${\lim }_{x\to a}f(x)=L$ の定義において、Whenever は決定的な仕事をする。

定義文（英語）を見てみよう： For every $ϵ>0$, there exists $\delta >0$ such that $|f(x)-L|<ϵ$ whenever $0<|x-a|<\delta$.

ここで “If” を使っても論理的には間違っていない。しかし、多くの教科書が “Whenever” を好む。なぜか。 それは、この不等式 $0<|x-a|<\delta$ が満たされる状態が、**「動的な点 $x$ がターゲット $a$ に近づくプロセスの中で、デルタ近傍というエリアに侵入した瞬間」**を捉えているからだ。

イメージしてほしい。 点 $x$ は数直線上を動き回っている。 しかし、ひとたび $x$ が $a$ の周辺の警備区域（半径 $\delta$）に足を踏み入れたなら、その時はいつでも（Whenever）、値 $f(x)$ は目的地 $L$ の誤差範囲（半径 $ϵ$）に収容されていることが保証される。

「侵入すれば、必ず捕捉される」 この因果の確実性と、点 $x$ の動きに合わせて自動的に成立する不等式の関係性。これを表現するのに、静止画的な “If” よりも、動画的な “Whenever” が選ばれるのは必然といえる。コーシーやワイエルシュトラスが築き上げた厳密な解析学は、この「動的な制御」の概念の上に成り立っている。

3.5 確率論における「事象」の反復

確率論において、Whenever は文字通り「試行」と結びつく。 「コインを投げて表が出た時はいつでも（Whenever heads comes up）、100円もらえる」

確率変数 $X$ の性質を記述する際、 “Whenever $X\in A$, $Y\in B$” という表現は、事象 $A$ が発生するすべてのサンプルパス（標本路）において、事象 $B$ も同時に発生していることを意味する。

ここで重要なのは「例外集合（Null set）」の扱いである。 確率論では「ほとんど至る所（Almost Surely）」という概念がある。確率1で起こるということは、例外が全くない（空集合）こととは限らない（測度が0なだけかもしれない）。 しかし、純粋な論理接続詞としての Whenever が使われる場合、それは通常、測度0の例外さえ許さない「論理的な完全含意」を指すことが多い。文脈によっては “Whenever … almost surely” と明記されることもある。確率過程という「時間の流れ」を扱う分野で、Whenever はその本領を発揮する。

---

【拡張セクション：Wheneverの証明技法】

〜「任意の $x$」をどう捕まえるか〜

“Whenever $P(x)$, $Q(x)$” という命題を証明せよと言われたら、どう書き出すべきか。 ここには定型的な「作法」がある。

悪い書き出し： 「もし $x=1$ ならば… もし $x=2$ ならば…」 これでは無限にある全てのケースを尽くせない。

正しい書き出し： “Let $x$ be an arbitrary element such that $P(x)$ is true.” （$P(x)$ を満たす**任意の（勝手な）**要素 $x$ を一つ固定しよう）

この “arbitrary”（任意）という魔法の言葉が、Whenever の証明の鍵である。 あなたは、具体的などの $x$ かを指定しない。敵（読み手）に好きな $x$ を選ばせるのだ。 「あなたがどんな $x$ を選んできたとしても、私はその $x$ について $Q(x)$ が成り立つことを示してみせる」

証明の流れ：

1. Arbitrary selection: 「$P(x)$ を満たす任意の $x$ をとる」
2. Logical deduction: その $x$ の性質だけを使って式変形や推論を行う（$x$ が具体的数値でないことに注意）。
3. Conclusion: 「よって $Q(x)$ が成り立つ」
4. Generalization: 「$x$ は任意だったので、すべての $x$ について Whenever $P(x),Q(x)$ は真である」

この「一般化（Generalization）」のステップこそが、Whenever（全称量化）の証明の本質である。個別の事例から法則へ。Whenever はその飛躍を支える橋なのだ。

【拡張セクション：日常言語との乖離と融合】

〜“When” と “If” の境界線〜

英語教育において、条件節を作る “If” と “When” の違いはよく議論される。

• If: 起きるかどうかわからない（不確実）。 “If it rains…”（降るかどうかわからないが）
• When: いずれ起きることは確定している（確実）。 “When I die…”（人間はいずれ死ぬので）

数学における Whenever は、この “When” の持つ「確実性」を継承しつつ、“If” の持つ「条件性」を併せ持つハイブリッドな存在だ。 数学的対象（例えば素数）について語るとき、「素数に出会うかどうか」は不確実かもしれないが、「素数であるならば（When/Whenever it is prime）」という属性は、その数が持つ永続的な性質である。

面白いことに、数学英語では “When” と “If” がほぼ同義で使われることも多い。 “When $n$ is even, $n^2$ is even.” これは “If” と完全に同じ意味で使われている。 しかし、ここに “-ever”（複合関係詞）がついた瞬間、トーンが変わる。 “When” が単なる「時」を表すのに対し、“Whenever” は「Every time that…」という「反復」と「網羅」のニュアンスを強烈に放つ。

翻訳の際は注意が必要だ。

• If $P,Q$: 「$P$ ならば $Q$」
• Whenever $P,Q$: 「$P$ であるときは常に $Q$」「$P$ なるいかなる場合も $Q$」

この「常に」「いかなる場合も」という副詞を補って読むことで、初めて数学者の意図（全称量化の強調）を正しく汲み取ることができる。

---

第3章までで、我々は以下の三つの武器を手に入れた。

1. If: 包含関係を示す一方通行の矢印。
2. Iff: 完全な一致を示す双方向の矢印。
3. Whenever: 法則の普遍性を高らかに宣言する動的な矢印。

次章、第4章では、これら三者を同じ土俵（ベン図と集合論）に乗せ、その違いを一目で理解できる「比較解剖図」を作成する。言葉の定義だけでなく、視覚的なイメージとして脳に焼き付ける作業に入る。