第2部：条件と制約のニュアンス

〜Ifの変奏曲：前提、除外、そして宣言〜

【本部（第2部）の構成シラバス】（版）

序論：If だけでは語れない世界

• 論理的には等価でも、心理的には異なる表現たち
• 読み手の「脳内メモリ」を管理する技術
• 前提条件（Precondition）と例外処理（Exception handling）

第4章：Provided that と In case 〜「前提」と「場合分け」の作法〜

• 4.1 Provided that / Providing (that)
  • 後置の If としての役割：「この条件が満たされて初めて、前の文が意味を持つ」
  • 定義域の安全確保：ゼロ除算や対数の中身の保護
  • 法的文書との類似性：契約条件としてのニュアンス
• 4.2 In case 〜備えと網羅〜
  • 日常語「万が一に備えて」vs 数学語「〜の場合において」
  • 場合分け（Case Analysis）の構造化技術
  • “In the case where…” と “In case…” の使い分け
• 4.3 Subject to / Given that
  • 最適化問題における制約条件（Subject to）
  • 既知の事実としての仮定（Given that）

第5章：Unless と Except 〜「否定」を含む条件と除外の論理〜

• 5.1 Unless の論理学
  • ”$P$ unless $Q$” = ”$P$ if not $Q$” ($\neg Q⟹P$)
  • デフォルトルールの宣言としての使用法
  • “Unless and until” などの強調表現
• 5.2 Except / With the exception of
  • 集合の引き算（差集合）としての意味
  • 特異点（Singularity）の隔離技術
  • “All but finitely many”（有限個を除いて全て）という定型句
• 5.3 Otherwise
  • 条件分岐の「その他（Else）」
  • 定義関数における使用例（ディリクレ関数など）

第6章：Suppose, Assume, Let 〜証明を駆動する「宣言」の三段活用〜

• 6.1 Let 〜舞台設定の魔法〜
  • 変数の導入（Declaration）と固定（Fixing）
  • “Let $x$ be…” と “Let $x$ = …” の決定的な違い
  • 一般性を失わない（WLOG）ための Let の作法
• 6.2 Assume / Suppose 〜議論のための仮説〜
  • 証明の文脈におけるニュアンス差
  • Assume: 「強い仮定」。背理法の冒頭などで使われる（否定される運命にある仮定）。
  • Suppose: 「弱い仮定」。思考実験や、長いIf節の代用。
• 6.3 Consider / Set / Define
  • 読者の注意を誘導するコマンド
  • “Consider the function $f$…”（関数 $f$ を考察しよう）

---

【第2部：本文】

序論：If だけでは語れない世界

第1章で学んだ通り、数学の基本単位は「If $P$, then $Q$」である。 しかし、実際の数学書を開くと、すべての文が “If” で始まっているわけではない。もしそうなら、その本はあまりに退屈で、かつ読みづらいだろう。

数学者は、同じ論理構造（含意 $⟹$）であっても、文脈に応じて多様な表現を使い分ける。 「$P$ が成り立つという前提条件の下で、初めて $Q$ が意味を持つ（Provided that）」 「例外的な $Q$ を除けば、常に $P$ である（Unless）」 「さあ、ここで $P$ という状況を考えてみよう（Suppose）」

これらの言葉は、読み手に対する**「メタメッセージ」**を含んでいる。 「ここは注意してくれ」「ここは例外だ」「ここは一時的な仮の話だ」 この第2部では、これらの言葉（If の変奏曲）が持つ微細なニュアンス（Tone）と、それを適切に配置するための技術（Placement）を解剖する。

---

第4章：Provided that と In case

〜「前提」と「場合分け」の作法〜

4.1 Provided that：後出しの「ただし書き」

命題の中には、「メインの主張」と「サブの制約条件」という主従関係が存在するものがある。 例えば、「$f(x)=1/x$ は連続関数である」と言いたい時、定義域の話（$x\ne 0$）は重要だが、主張のメインではない。 こういう時、If を使って文頭に持ってくると、頭でっかちな文になる。 “If $x\ne 0$, then $f(x)=1/x$ is continuous.” （悪くはないが、強調点がボヤける）

ここで登場するのが “provided that”（または単に “provided”）である。 “The function $f(x)=1/x$ is continuous, provided that $x\ne 0$.”

この語順の妙を見てほしい。 まず堂々と「関数は連続だ！」とメインの主張を言い切る。その直後に、小さな声で「あ、ただしゼロ以外でね」と補足する。 “Provided that” は、**「安全装置（Safety lock）」**の役割を果たす。 「この条件が提供（Provide）されない限り、今の話はナシですよ」という、契約書的な厳密さを漂わせる言葉だ。

使用上の注意： “Provided that” は、定理の成立に必要な**「最低限の前提条件」**に使われることが多い。定義域の制限、分母の非ゼロ、収束半径の内側など、議論が破綻しないための防波堤として機能する。

4.2 In case：備えと網羅

日常英語の “In case” は「万が一〜するといけないから（傘を持っていく等）」という意味だが、数学では純粋に**「〜の場合」という分類マーカーとして使われる。 特に証明の中で、可能性をいくつかに分割して検討する「場合分け（Case Analysis）」**において、その威力を発揮する。

良い証明文は、場合分けの構造が視覚的にわかりやすい。

We consider two cases: Case 1. $n$ is even. In this case, we can write $n=2k$. Then…

Case 2. $n$ is odd. In this case, let $n=2k+1$. Then…

ここで “If $n$ is even” と書くよりも、“In this case” と受ける方が、前の “Case 1” という見出しと呼応して、段落のまとまり（ブロック構造）を明確にする。 読み手は「ああ、今は偶数の世界の話をしているんだな」と脳内のモードを切り替えることができる。

また、少し古風だが “In case” を接続詞として使い、“In case $x=0$, the value is defined to be 1.”（$x=0$ の場合には…）と書くこともある。ただし、現代的には “In the case where…” や単に “If” の方が好まれる傾向にある。

---

第5章：Unless と Except

〜「否定」を含む条件と除外の論理〜

5.1 Unless の論理学

“Unless” は、数学英語の中で最も誤解されやすい単語の一つだ。 ”$P$ unless $Q$” これを直感的にどう理解するか？ 「$Q$ でない限り、$P$ だ」 $⟺$ 「基本的にはずっと $P$ だ。ただし $Q$ という例外が発生した時だけは保証しない」

論理式への翻訳： $(\neg Q)⟹P$ 対偶をとれば： $(\neg P)⟹Q$ （もし $P$ が成り立っていないなら、それは例外 $Q$ が起きている時のはずだ）

実例： “The matrix $A$ is invertible unless its determinant is zero.” （行列 $A$ は可逆である、行列式がゼロでない限り。）

ここで Unless が果たしている役割は、**「デフォルトルールの宣言」**である。 「行列といったら基本的には可逆なんだよ（メイン主張）。行列式がゼロになるなんていう特殊な事故（例外 $Q$）が起きない限りはね」 If を使って “If $\det (A)\ne 0$, then $A$ is invertible” と書くよりも、Unless を使うことで、「可逆である状態が通常（Normal state）」であり、「特異（Singular）な状態が例外」であるというニュアンスを強調できる。

5.2 Except：集合の引き算

Unless が「条件（命題）」の除外なら、Except は「対象（集合要素）」の除外である。 “All prime numbers are odd, except 2.”

これを集合論的に書けば： $\{p\mid p\text{ is prime}\}\setminus \{2\}\subseteq \{\text{Odd numbers}\}$

証明の現場では、この “Except” は**「特異点（Singularity）の隔離」**に使われる。 定理の証明を始める前に、厄介な例外（例えば $x=0$ や $p=2$）を先に処理してしまうのだ。 “The statement holds for $x=0$ trivially. So, in the following, we consider $x\ne 0$.” （自明な例外は除外した。ゆえに以下ではメインの議論に集中する）

また、解析学や位相幾何学で頻出する “All but finitely many”（有限個を除いて全て）というフレーズも、Except の変種である。 「数列 $a_n$ は $L$ に収束する」 $⟺$ 「任意の $ϵ$ 近傍の外側にある項は、有限個しか存在しない（All terms are inside, except finitely many）」 この「無限対有限」の対比において、Except は決定的な境界線としての役割を果たす。

5.3 Otherwise：条件分岐の「その他」

プログラミングの else に相当するのが “Otherwise” である。 定義関数などでよく見るスタイルだ。 $f(x)=\{\begin{array}{ll}1& \text{if }x\in \mathbb{Q}\\ 0& \text{otherwise}\end{array}$ ここで “otherwise” は、論理的には「$\neg (x\in \mathbb{Q})$」すなわち「$x\notin \mathbb{Q}$（無理数）」を意味する。 いちいち “if $x\notin \mathbb{Q}$” と書かないのは、書き手の怠慢ではない。「それ以外全部」とまとめることで、「今挙げた条件が全て（網羅的）である」ことを保証する意味合いがある。

---

第6章：Suppose, Assume, Let

〜証明を駆動する「宣言」の三段活用〜

証明文を書くとき、書き出しの第一語に何を選ぶか。 “Let”, “Assume”, “Suppose”。これらは似ているようで、役割分担がある。

6.1 Let 〜舞台設定の魔法〜

“Let $x$ be a real number.” これは「命令」であり「創造」である。無の状態から、議論の対象となる $x$ を生成し、テーブルの上に置く行為だ。 “Let” の本質は**「定義と固定（Definition and Fixing）」**にある。 「今から $x$ と言ったら、実数のことだと思え。勝手に変えるなよ」という宣言だ。

注意点： “Let $x$ be an arbitrary…” とすれば全称量化（Whenever）になり、 “Let $x=2$” とすれば特定の定数の代入になる。 初心者はよく “Let $x^2=2$” のように、方程式の解を仮定する文脈で使ってしまうが、これは不自然だ（$x^2=2$ となる $x$ が存在するかどうかわからない段階で Let は使えない）。存在が怪しいものには “Assume there exists…” を使うべきだ。

6.2 Assume / Suppose 〜議論のための仮説〜

これらは、命題の真偽を一時的に棚上げする言葉だ。

• Suppose (that)… 最もニュートラルな仮定。「もし〜だとしたら、どうなるか見てみよう」という軽いタッチ。 直接証明の開始（“Suppose $P$.“）や、思考実験によく使われる。 “Suppose we have a magical box…”

• Assume (that)… Suppose より少し硬く、論理的な重みがある。 特に**「背理法（Proof by Contradiction）」**の冒頭では “Assume” が好まれる傾向がある。 “Assume, to the contrary, that $\sqrt{2}$ is rational.” （逆に、$\sqrt{2}$ が有理数だと仮定してみよう） ここには、「この仮定は後で否定される運命にある」あるいは「この仮定の上で議論を積み上げる」という強い意志が感じられる。

6.3 応用：WLOG（一般性を失わない仮定）

Assume の最強の使い方が WLOG (Without Loss of Generality) とのコンボである。 “Assume, without loss of generality, that $x\le y$.” これは単なる仮定ではない。「世界を半分に切っても、本質は変わらない」という、対称性（Symmetry）への洞察に基づいた強力な宣言だ。 これを使いこなせるようになると、証明の記述量を劇的に減らすことができる。しかし、対称性がない場所で使うと、論理は崩壊する。諸刃の剣である。

---

（編集後記：第2部の拡張に向けて）