Equivalenceの階層体系｜≣,≡,=,≅,≃,≈, ≠,⊣の違い

伝統的なEqualityはより等号の条件を緩和した一般的なEquivalenceの部分集合である。

Homotopical Equality≠Classical Mathematical Equalityであるので、この文脈を理解しないとHTTやHiger Topos Theoryは理解することができない。

数学における「等しさ」の階層（Hierarchy of Equivalence）は、「どれほど厳密に同じか」という基準によってレベル分けされています。最も強い「記号としての完全一致」から始まり、値の一致、構造の一致、そして近似へと条件が緩くなっていきます。
ご提示いただいた記号の階層体系について、それぞれの英語の定義（表現）とともに厳密な違いを解説します。

1. ≣ (構文的同一性・恒等)

最も強い「等しさ」です。評価や計算をする前の、記号の並びや関数としての振る舞いが完全に一致していることを示します。

• 英語の表現: is identically equal to / is strictly equivalent to
• 英語での定義: Expressions are exactly the same symbol by symbol, or functions yield the exact same value for all possible arguments.
• 数学的な意味: f(x) \text{ ≣ } x^2 のように、いかなる変数を代入しても常に成り立つ「恒等式」、または論理学における「構文的に全く同じ文字列」を指します。

2. = (等号 / Equality)

数学における標準的な「等しさ」です。実体として同一のオブジェクトであることを示します。

• 英語の表現: is equal to
• 英語での定義: Two mathematical expressions represent the exact same mathematical object or value.
• 数学的な意味: 集合論の「外延性の公理」に基づき、含まれる要素が完全に同じであることを意味します。計算や評価を行った結果が、同じ値・同じ集合に行き着く状態です。

3. ≡ (同値・合同 / Equivalence, Congruence)

文脈によって意味が変わりますが、「特定のルール・条件の下では等しいとみなす」という関係性を示します。

• 英語の表現: is equivalent to (論理) / is congruent to (数論) / is defined as (定義)
• 英語での定義: Propositions have the same truth value (logical equivalence), or numbers leave the same remainder when divided by a modulus (modular congruence).
• 数学的な意味: P \equiv Q（命題が真理値として同値である）、あるいは a \equiv b \pmod n（a と b を n で割った余りが等しい）という、特定の「同値関係」を満たす状態です。

4. ≅ (同型 / Isomorphism)

オブジェクトの実体（中身）は違っていても、「数学的な構造が完全に同じ」であることを示します。

• 英語の表現: is isomorphic to / is congruent to (幾何学)
• 英語での定義: There exists a bijective structure-preserving mapping between two algebraic structures.
• 数学的な意味: 2つの対象間に可逆な写像（同型写像）が存在する状態です。要素のラベルを貼り替えれば、足し算や掛け算といった演算ルールが全く同じように機能することを示します。

5. ≃ (ホモトピー同値・漸近的等価)

「≅（同型）」よりもさらに緩い、動的・極限的な一致を示します。

• 英語の表現: is homotopy equivalent to / is asymptotically equal to
• 英語での定義: Two spaces can be continuously deformed into each other, or the ratio of two functions approaches 1 as the argument approaches infinity.
• 数学的な意味: 位相幾何学では「切ったり貼ったりせずに連続変形できる（コーヒーカップとドーナツが同じ）」ことを示し、解析学では無限大に飛ばしたときに極限が一致することを示します。

6. ≈ (近似 / Approximation)

厳密な一致ではなく、「実用上同じとみなせるほど近い」ことを示します（日本の「≒」の世界標準記号です）。

• 英語の表現: is approximately equal to
• 英語での定義: Two values are close enough to each other within a specified acceptable margin of error.
• 数学的な意味: 厳密な等号は成り立ちませんが、|x – y| < \epsilon のように、あらかじめ定められた微小な誤差の範囲内に収まっている状態です。

7. 特殊な関係を示す記号

等価性の階層とは少し外れますが、関係性を規定する重要な記号です。
≠ (非等価 / Inequality)

• 英語の表現: is not equal to
• 英語での定義: The negation of equality; the objects or values are distinct.
• 数学的な意味: 完全なる「=（Equality）」の否定です。
  ⊣ (随伴 / Adjunction)
• 英語の表現: is left adjoint to
• 英語での定義: A functor F is left adjoint to a functor G, meaning there is a natural isomorphism between their respective hom-sets.
• 数学的な意味: 圏論における概念です。等価性（Equivalence）よりもさらに緩く、しかし非常に強力な関係性です。2つの異なる数学的世界（圏）の間で、「情報をある程度保ちながら行き来できる最良の翻訳ルール」のペアが存在することを示します。

階層のまとめ