Nakahara Definition 4.6：同伦等价。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。原书f与g复合式的左右空间下标疑似互换，保留逐字原文并标缺陷。
词性：名词
已登记的原文定义
Nakahara · second-edition-local · §4.2.2 · PDF 第147页
Definition 4.6. Let $X$ and $Y$ be topological spaces. $X$ and $Y$ are of the same homotopy type, written as $X \simeq Y$ , if there exist continuous maps $f: X \to Y$ and $g: Y \to X$ such that $f \circ g \sim \mathrm{id}_Y$ and $g \circ f \sim \mathrm{id}_X$ . The map $f$ is called the homotopy equivalence and $g$ , its homotopy inverse. [Remark: If $X$ is homeomorphic to $Y$ , $X$ and $Y$ are of the same homotopy type but the converse is not necessarily true. For example, a point $\{p\}$ and the real line $\mathbb{R}$ are of the same homotopy type but $\{p\}$ is not homeomorphic to $\mathbb{R}$ .]Nakahara Definition 4.6：同伦等价。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。原书f与g复合式的左右空间下标疑似互换，保留逐字原文并标缺陷。
按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。
Nakahara · second-edition-local
已登记出处中的最早位置：§4.2 · zh-CN。
来源短摘录与定位
§4.2 · zh-CN · machine_draft · unreviewed
正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。
§4.6 · zh-CN · machine_draft · unreviewed
正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。
原文中已定位的引用（不自动视为依赖）
- href=“02-section-4-2.md#definition-4-6”
- href=“02-section-4-2.md#proposition-4-2”
- href=”../chapter-02/01-section-2-1.md#bound-definition-c624ec2b869cd03c185835db”
- href=“02-section-4-2.md#bound-definition-80a6fc8ec0746cc24dc2ed77”
- [定义 4.6](02-section-4-2.md#definition-4-6)
- href=“05-section-4-5.md#bound-definition-aa4fa93d3f466df668189f39”
- [定理 4.3](02-section-4-2.md#theorem-4-3)
- href=“02-section-4-2.md#bound-definition-3bd120e88f6c423ac5d526e5”