第7章：関係記号 —— 等しい、似ている、順序（完全版）

📚 前提となる関連章

この章を学ぶ前に、以下の章で基礎を理解しておくと、より深い理解が得られます：

• 第1章：集合論の記号：包含関係（$\subseteq$）や等号（$=$）は、集合論における最も基本的な関係です
• 第4章：解析学の記号：極限や近似の厳密性（ε-δ論法）は、近似記号（$\approx ,\simeq$ など）の意味を定義する基礎となります

目次

1. はじめに：比較すること、区別すること
   • 人間は「同じ」と「違う」をどう認識しているか。
   • 関係子（Relational operator）とは：命題を作る動詞。
   • ロバート・レコードの「これ以上等しい2本の平行線はない」という逸話。
2. 7-1. 等号 $=$ の多義性
   • 恒等式（Identity）：常に成り立つ $x^2-y^2=(x+y)(x-y)$。
   • 方程式（Equation）：特定の条件でのみ成り立つ $x^2=4$。
   • 定義式（Definition）：左辺を右辺で決める $f(x):=ax+b$。
   • 代入（Assignment）：プログラミングにおける = と == の悲劇。
3. 7-2. 近似記号の迷宮：$\approx$ $\simeq$ $\sim$ $\cong$
   • $\approx$ (Approx)：数値的に「ほぼ等しい」。物理・工学で多用。
   • $\simeq$ (Simeq)：漸近的に等しい、あるいは同型。
   • $\sim$ (Sim)：オーダーが等しい、あるいは分布に従う。
   • $\cong$ (Cong)：幾何学的合同、あるいは同型。
   • 【重要】 分野ごとの「方言」とISO規格の推奨。
4. 7-3. 定義と合同式：$\equiv$ と $:=$
   • 合同式 $a\equiv b(\mathrm{mod}n)$：ガウスの発明。時計の算数。
   • 恒等式としての $\equiv$：関数として完全に一致。
   • 定義記号 $:=$ または $:=$ または $\triangleq$：右辺で左辺を定義する。
   • プログラミング言語（Pascal, Go, Python）の影響。
5. 7-4. 不等号と順序関係：$<,\le ,\ll$
   • ハリオットによる $<$ と $>$ の導入。
   • $\le$ vs $\leqq$：日本式（二本線）と世界標準（一本線）の対立ふたたび。
   • $\ll$ (Much less than)：物理学における「無視できる」の基準。
   • 半順序 $⪯$ と全順序：集合論における「順序」の抽象化。
6. 7-5. 比例とその他の関係
   • $\propto$ (Propto)：比例記号。$\alpha$ (Alpha) との書き分け。
   • $\asymp$ (Asymp)：漸近的に等しい（解析的整数論）。
   • $\bumpeq$：幾何学的な近似？
7. 7-6. 実践：TeXでの関係記号入力

---

本文（濃縮版原稿）

1. はじめに：「＝」が生まれるまで

数学において最も有名な記号といえば、間違いなく等号「$=$」でしょう。 しかし、人類がこの記号を手に入れたのは、意外にも遅く、1557年のことです。 イギリスの医師で数学者のロバート・レコードは、著書『知恵の砥石』の中でこう述べています。 「私は、等しいことを表すために、これ以上なく等しい2本の平行線を引くことにする」 それまでは、「aequales（等しい）」という単語をいちいち書いていました。レコードの発明により、数式は一気に視認性を高め、計算の道具から思考の道具へと進化したのです。

第7章では、この「等しい」という概念を軸に、数学における様々な「関係（Relation）」を表す記号たちを紐解いていきます。

---

7-1. 等号 $=$ の多義性：文脈を読む力

等号「$=$」は、実は文脈によって全く異なる3つの意味を持ちます。これを混同することが、数学の躓きの原因になります。

1. 恒等式 (Identity)

$(x+1{)}^2=x^2+2x+1$ これは、$x$ にどんな値を入れても常に成り立ちます。左辺と右辺は「見かけが違うだけで、中身は完全に同じもの」です。 強調するために、後述する3本線の $\equiv$ を使うこともあります。

2. 方程式 (Equation)

$x^2-1=0$ これは、$x=1,-1$ という特定の条件のときだけ成り立ちます。 「等しくなるような $x$ を探せ」という命令文（問題）です。

3. 定義式 (Definition)

$f(x)=ax+b$ 「左辺の $f(x)$ という新しい関数を、右辺の式で定義します」という宣言です。 これを明確にするために、$:=$ や $\equiv$ を使う流儀もあります。

プログラミングにおける悲劇

プログラミング言語（C言語やPythonなど）では、= は「代入（右の値を左の箱に入れる）」を意味し、「等しいかどうか判定する」には == を使います。 数学の $=$ と、プログラムの = は、似て非なるものです。 $i=i+1$ 数学では「$0=1$」となり矛盾しますが、プログラムでは「$i$ の値を1増やす」という正しい操作です。

---

7-2. 近似記号の迷宮：$\approx$ $\simeq$ $\sim$

「だいたい等しい」を表す記号はたくさんあり、分野によって使い分けが異なります。

$\approx$ (Approx)

$\pi \approx 3.14$ 波線が2本。 数値的に「ほぼ等しい」ときに最も広く使われます。物理実験や工学の現場ではこれを使います。 TeXコマンドは \approx です。

$\simeq$ (Simeq)

$f(x)\simeq g(x)$ 波線1本の下に横棒1本。 漸近的に「等しい」ことを表すのによく使われます。$x\to \infty$ の極限で振る舞いが一致する、といった状況です。 また、抽象代数では「同型（Isomorphism）」を表すのにも使われます。 TeXコマンドは \simeq です。

$\sim$ (Sim / Tilde)

$N!\sim \sqrt{2\pi n}(n/e{)}^n$ 波線1本。 解析学では、2つの関数の比が極限で1になる（$f(x)/g(x)\to 1$）という強い意味で使われます。 確率論では「確率変数 $X$ が分布 $N$ に従う（$X\sim N(\mu ,{\sigma }^2)$）」という意味になります。 幾何学では「相似」です。 文脈依存度が最も高い、カメレオンのような記号です。

$\cong$ (Cong)

$△ABC\cong △DEF$ 等号の上に波線。 幾何学の「合同」や、代数学の「同型」を表す、非常に強い「等しさ」の記号です。 $\approx$ よりも構造的な一致を強調します。

---

7-3. 定義と合同式：$\equiv$ と $:=$

合同式：$\equiv$ (Equiv)

$a\equiv b(\mathrm{mod}n)$ 「$a$ と $b$ は、$n$ で割った余りが等しい」と読みます。ガウスが導入した整数論の記号です。 また、論理学では「常に等しい（同値）」、幾何学では（日本式で）「合同」を表します。 3本線は、2本線（$=$）よりも結びつきが強い、というニュアンスがあります。

定義記号：$:=$ または $:=$

$x:=y+1$ 「$x$ を $y+1$ で定義する（Defined as）」という記号です。 コロン側が「定義される新しいもの」、等号側が「既知のもの」を指します。 由来はプログラミング言語Pascalですが、数学の論文でも「ここで新語を定義しますよ」という合図として定着しています。 TeXでは \coloneqq (mathtoolsパッケージ) を使います。

---

7-4. 不等号と順序関係：$<,\le ,\ll$

不等号：$<$ と $>$

1631年、トーマス・ハリオットが導入しました。 「大きい側が開いている」という直感的なデザインです。

以下・以上：$\le$ vs $\leqq$

ここにも日本独自の「ガラパゴス記法」があります。

1. $\leqq ,\geqq$ (日本式): 等号（$=$）と不等号（$<$）を合体させた形。日本の教科書ではこれを使います。
2. $\le ,\ge$ (世界標準): 下の線を一本に省略した形。欧米の論文やTeXのデフォルトはこれです。 書くのが楽だからです。

海外の論文に投稿する際は、$\le$ (\le) を使うのが無難です。

非常に大きい：$\gg$ (Much greater than)

$x\gg y$ 「$x$ は $y$ より十分大きい（無視できるほど大きい）」という意味です。 物理学では、「$y/x$ がゼロとみなせる」あるいは「摂動展開の第1項だけ取ればいい」という、近似計算の正当化に使われる重要な記号です。 記号を2つ重ねることで強調しています。

順序関係：$⪯$ (Preceq)

集合論における抽象的な「順序」を表すとき、不等号の代わりに、角の取れた記号 $⪯$ を使うことがあります。 数の大小だけでなく、「包含関係」や「優越関係」など、広い意味での「順序」を定義するための記号です。

---

7-5. 比例：$\propto$

比例：$\propto$ (Propto)

$y\propto x$ 「$y$ は $x$ に比例する（Proportional to）」と読みます。 つまり、$y=kx$ となる定数 $k$ が存在するということです。 定数をいちいち書くのが面倒な物理学の計算などで重宝されます。 ギリシャ文字の $\alpha$（アルファ）と形が似ていますが、別物です。

• $\alpha$: 一筆書きで書ける。右上が閉じていることが多い。
• $\propto$: 左右対称に近い。左側が開いている。

---

7-6. 実践：TeXでの関係記号入力

関係記号は、左右に少しスペースが空くようにTeXが自動調整してくれます。

記号	コマンド	意味	補足
$\approx$	\approx	近似	Approximately
$\sim$	\sim	同オーダー・分布	Tilde
$\simeq$	\simeq	漸近的等価	Sim - Equal
$\cong$	\cong	合同・同型	Congruent
$\equiv$	\equiv	合同式・恒等	Equivalent
$:=$	\coloneqq	定義	mathtoolsが必要
$\le$	\le	以下 (世界)	Less or equal
$\leqq$	\leqq	以下 (日本)	等号二本線
$\ll$	\ll	非常に小さい	Less less
$\propto$	\propto	比例	Proportional
$\ne$	\neq	等しくない	Not equal

コラム：$=$ に斜線を引くか、縦線を引くか

「等しくない」を表す $\ne$。 日本では斜線を引きますが、プログラミングでは != や <> と書くこともあります。 また、幾何学の「平行でない」を表すときは、平行記号に斜線を引きます（$\nparallel$）。 記号を否定するときは、斜線を引くのが数学の普遍的なルールです。

終わりに

「等しい」とは何か。 数値が等しいのか、形が等しいのか、あるいは構造が等しいのか。 第7章で学んだ記号のバリエーションは、数学者が「同じ」という概念をどれほど深く、細かく解像度を上げて見ているかの証拠です。 $\approx$ と $\cong$ を使い分けるとき、あなたの数学的感性は一段階研ぎ澄まされます。

（第7章 了）

---

🔗 関連・発展章

この章で学んだ記号の応用や発展については、以下の章で詳しく解説されています：

• 第4章：ε-δ論法での近似の厳密性は、$\approx$ と $\simeq$ といった近似記号の正確な意味を定義するために重要です
• 第8章：記号そのものの視覚的な構造（斜線、波線、矢印など）の違いが、その意味の微妙な違いにどう対応しているかが理解できます