{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:0bbe257e-1ad9-50b1-a816-f88f2c2992ae",
  "labels": {
    "zh-CN": "同伦等价",
    "en": "homotopy equivalence"
  },
  "alternative_labels": [],
  "scope_note": "Nakahara Definition 4.6：同伦等价。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。原书f与g复合式的左右空间下标疑似互换，保留逐字原文并标缺陷。",
  "identity_status": "active",
  "identity_revision": "86cbe79c66e61742f1039034e52ff545503b4c15a29fc37d48eb83e6fdd9cae4",
  "occurrences": [
    {
      "concept_id": "urn:uuid:0bbe257e-1ad9-50b1-a816-f88f2c2992ae",
      "book_id": "nakahara-geometry-topology-physics",
      "edition_id": "second-edition-local",
      "lang": "zh-CN",
      "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "anchor": "bound-definition-557b98e30e3a5a8e390703fa",
      "chapter": "4",
      "section": "4.2",
      "offset": 14413,
      "range": [
        27290,
        27786
      ],
      "source_revision": "0d2ea865f77644f0a36813a8be1649b04b854d432ffad5c714d2fa7e0b31fb3a",
      "source_category": "machine_draft",
      "review_status": "unreviewed",
      "role": "definition",
      "role_basis": {
        "kind": "explicit-source-uuid-marker",
        "source_bound_role": "definition",
        "first_mention": true,
        "source_node": "a-e4459fc14e764a17592ce3e1",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-04/concept-annotations.json",
          "sha256": "d5e62dfb62385102900f839c1162f627e780f8e168759526961482268ef49ac4",
          "page": "4.2",
          "annotation_count": 46,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 28,
          "plain_mention_count": 18,
          "display_policy": "clickable-only"
        }
      },
      "label": "同伦等价(homotopy equivalence)",
      "context": {
        "range": [
          25924,
          32415
        ],
        "quote": null,
        "quote_sha256": "d032adb83c9d62aad8804c6f6f8bedee300d06a6549a621ab71cd26db01e7530",
        "environment": "definition",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-04/02-section-4-2",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-8cb2ee76e30e0c48f0aa37c0"
    },
    {
      "concept_id": "urn:uuid:0bbe257e-1ad9-50b1-a816-f88f2c2992ae",
      "book_id": "nakahara-geometry-topology-physics",
      "edition_id": "second-edition-local",
      "lang": "zh-CN",
      "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "anchor": "bound-definition-b579318c9d3800a640e30265",
      "chapter": "4",
      "section": "4.6",
      "offset": 7695,
      "range": [
        19636,
        20303
      ],
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_category": "machine_draft",
      "review_status": "unreviewed",
      "role": "definition",
      "role_basis": {
        "kind": "explicit-source-uuid-marker",
        "source_bound_role": "definition",
        "first_mention": false,
        "source_node": "a-d3c81dd6bca2eda19cd70866",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-04/concept-annotations.json",
          "sha256": "d5e62dfb62385102900f839c1162f627e780f8e168759526961482268ef49ac4",
          "page": "4.6",
          "annotation_count": 34,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 22,
          "plain_mention_count": 12,
          "display_policy": "clickable-only"
        }
      },
      "label": "同伦等价(homotopy equivalence)",
      "context": {
        "range": [
          18449,
          23030
        ],
        "quote": null,
        "quote_sha256": "ee73537f4ca52e9cfb4096003607920d705c02a78f3d75c145acf12ed0e39940",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-04/06-section-4-6",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-27f3b5b8aaae2973b6706f00"
    }
  ],
  "registered_positions": [],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"02-section-4-2.md#definition-4-6\"",
      "href": "02-section-4-2.md#definition-4-6",
      "range": [
        25969,
        26008
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "definition-4-6",
      "resolved": true,
      "reason": null,
      "source_revision": "0d2ea865f77644f0a36813a8be1649b04b854d432ffad5c714d2fa7e0b31fb3a",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "occurrence_id": "occ-8cb2ee76e30e0c48f0aa37c0"
    },
    {
      "raw": "href=\"02-section-4-2.md#proposition-4-2\"",
      "href": "02-section-4-2.md#proposition-4-2",
      "range": [
        28645,
        28685
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "proposition-4-2",
      "resolved": true,
      "reason": null,
      "source_revision": "0d2ea865f77644f0a36813a8be1649b04b854d432ffad5c714d2fa7e0b31fb3a",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "occurrence_id": "occ-8cb2ee76e30e0c48f0aa37c0"
    },
    {
      "raw": "href=\"../chapter-02/01-section-2-1.md#bound-definition-c624ec2b869cd03c185835db\"",
      "href": "../chapter-02/01-section-2-1.md#bound-definition-c624ec2b869cd03c185835db",
      "range": [
        28878,
        28958
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-02/01-section-2-1",
      "target_anchor": "bound-definition-c624ec2b869cd03c185835db",
      "resolved": true,
      "reason": null,
      "source_revision": "0d2ea865f77644f0a36813a8be1649b04b854d432ffad5c714d2fa7e0b31fb3a",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "occurrence_id": "occ-8cb2ee76e30e0c48f0aa37c0"
    },
    {
      "raw": "href=\"02-section-4-2.md#bound-definition-80a6fc8ec0746cc24dc2ed77\"",
      "href": "02-section-4-2.md#bound-definition-80a6fc8ec0746cc24dc2ed77",
      "range": [
        18566,
        18632
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "bound-definition-80a6fc8ec0746cc24dc2ed77",
      "resolved": true,
      "reason": null,
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "occurrence_id": "occ-27f3b5b8aaae2973b6706f00"
    },
    {
      "raw": "[定义 4.6](02-section-4-2.md#definition-4-6)",
      "href": "02-section-4-2.md#definition-4-6",
      "range": [
        19471,
        19513
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "definition-4-6",
      "resolved": true,
      "reason": null,
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "occurrence_id": "occ-27f3b5b8aaae2973b6706f00"
    },
    {
      "raw": "href=\"05-section-4-5.md#bound-definition-aa4fa93d3f466df668189f39\"",
      "href": "05-section-4-5.md#bound-definition-aa4fa93d3f466df668189f39",
      "range": [
        20338,
        20404
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/05-section-4-5",
      "target_anchor": "bound-definition-aa4fa93d3f466df668189f39",
      "resolved": true,
      "reason": null,
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "occurrence_id": "occ-27f3b5b8aaae2973b6706f00"
    },
    {
      "raw": "[定理 4.3](02-section-4-2.md#theorem-4-3)",
      "href": "02-section-4-2.md#theorem-4-3",
      "range": [
        21185,
        21224
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "theorem-4-3",
      "resolved": true,
      "reason": null,
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "occurrence_id": "occ-27f3b5b8aaae2973b6706f00"
    },
    {
      "raw": "href=\"02-section-4-2.md#bound-definition-3bd120e88f6c423ac5d526e5\"",
      "href": "02-section-4-2.md#bound-definition-3bd120e88f6c423ac5d526e5",
      "range": [
        21686,
        21752
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
      "target_anchor": "bound-definition-3bd120e88f6c423ac5d526e5",
      "resolved": true,
      "reason": null,
      "source_revision": "210cb7a161523b4ae8246b7b30c4430713a9a6445aa7d44df1dde23057771b69",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/06-section-4-6",
      "occurrence_id": "occ-27f3b5b8aaae2973b6706f00"
    }
  ],
  "reading_order": [
    "occ-8cb2ee76e30e0c48f0aa37c0",
    "occ-27f3b5b8aaae2973b6706f00"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 0,
    "located_occurrences": 2,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "reviewed_definitions": [
    {
      "concept_id": "urn:uuid:0bbe257e-1ad9-50b1-a816-f88f2c2992ae",
      "definition_id": "urn:uuid:8451589c-4414-50c6-8551-b670f21d7eb5",
      "definition_group": "definition-4-6",
      "path": "library/concepts/source-evidence/mcp/e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d.txt",
      "range": [
        0,
        640
      ],
      "quote": "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}$ .]",
      "document_sha256": "e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d",
      "quote_sha256": "e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d",
      "book_id": "nakahara-geometry-topology-physics",
      "edition_id": "second-edition-local",
      "scope": {
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "source_id": "nakahara-mineru-bd76b709"
      },
      "section": "4.2.2",
      "pdf_page_index": 146,
      "node": "a-e4459fc14e764a17592ce3e1",
      "source_node_sha256": "e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/c31fdd39c4ceac82f553fbe9b29b5cee1517d527b650bd007eaed6b5ccacba84.json",
        "document_sha256": "c31fdd39c4ceac82f553fbe9b29b5cee1517d527b650bd007eaed6b5ccacba84",
        "node_id": "a-e4459fc14e764a17592ce3e1",
        "node_source_sha256": "e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d"
      },
      "conditions": "Nakahara Definition 4.6：同伦等价。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。原书f与g复合式的左右空间下标疑似互换，保留逐字原文并标缺陷。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-04.yaml",
        "sha256": "686a132664d165624b3568926e3cb3ac1d45c7d04a4c28bef749b47a557e01bb",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-e4459fc14e764a17592ce3e1"
        ],
        "node_hashes": {
          "a-e4459fc14e764a17592ce3e1": "e3274c09b85d251446e25ec57414d599d818401afdd91890621e99996245158d"
        },
        "environment": "definition-4-6"
      },
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/686a132664d165624b3568926e3cb3ac1d45c7d04a4c28bef749b47a557e01bb.yaml.txt",
        "document_sha256": "686a132664d165624b3568926e3cb3ac1d45c7d04a4c28bef749b47a557e01bb",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-04.yaml"
      },
      "role": "definition",
      "first_in_book": "not-established",
      "evidence_origin": "explicit-reviewed-source-manifest",
      "definition_part": "definition-environment",
      "definition_part_basis": "original-environment-range",
      "reading_links": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-04/02-section-4-2",
          "anchor": "node-a-e4459fc14e764a17592ce3e1",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-04/02-section-4-2",
          "anchor": "node-a-e4459fc14e764a17592ce3e1",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "dd9dd3f0c7454b3b6276beacd1b956856b7c33a2d8fd0f3dfa9ae0957130e665",
  "optional_enrichments": []
}