{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:b0e05644-5634-527e-83d1-377c92d24648",
  "labels": {
    "zh-CN": "可缩空间",
    "en": "contractible space"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "contractible",
      "pos": "adjective",
      "condition": "Nakahara Definition 4.9：可缩空间。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。"
    },
    {
      "lang": "zh-CN",
      "value": "可缩的",
      "pos": "adjective",
      "condition": "Nakahara Definition 4.9：可缩空间。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。"
    }
  ],
  "scope_note": "Nakahara Definition 4.9：可缩空间。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
  "identity_status": "active",
  "identity_revision": "e00c37fbfcad67764c6dffa1b7a9628d0c8b135ae9e913114b26a80349c53825",
  "occurrences": [
    {
      "concept_id": "urn:uuid:b0e05644-5634-527e-83d1-377c92d24648",
      "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-09/02-section-9-2",
      "anchor": "bound-first-5d7692958250de2af91a309f",
      "chapter": "9",
      "section": "9.2",
      "offset": 52514,
      "range": [
        69378,
        69845
      ],
      "source_revision": "5f4c082acc165538b4ac9405dc7a55d7c25f5039eaaab6ea7512add59d40429d",
      "source_category": "machine_draft",
      "review_status": "unreviewed",
      "role": "first-mention",
      "role_basis": {
        "kind": "explicit-source-uuid-marker",
        "source_bound_role": "first-mention",
        "first_mention": true,
        "source_node": "a-3da69618a23503cac6b4c5e6",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-09/concept-annotations.json",
          "sha256": "1439736572e5edd2e0948d104e3b217bad34efb2289a8e86eea7f24efcf526d7",
          "page": "9.2",
          "annotation_count": 49,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 39,
          "plain_mention_count": 10,
          "display_policy": "clickable-only"
        }
      },
      "label": "缩",
      "context": {
        "range": [
          69171,
          70809
        ],
        "quote": null,
        "quote_sha256": "578f493b39b6c4fff8b14d40b337f2f53514c0dff4c3f6f295a540acfc7af504",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-09/02-section-9-2",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-fa09245317e05c7d9264ba12"
    },
    {
      "concept_id": "urn:uuid:b0e05644-5634-527e-83d1-377c92d24648",
      "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-10/05-section-10-5",
      "anchor": "bound-mention-6af6d7b442fa2df717f63e01",
      "chapter": "10",
      "section": "10.5",
      "offset": 64367,
      "range": [
        90204,
        90838
      ],
      "source_revision": "f2fa741c92bbfebfee1cfced4a193103f2a57ae6ba68d4437dd0e695344df7c2",
      "source_category": "machine_draft",
      "review_status": "unreviewed",
      "role": "discussion",
      "role_basis": {
        "kind": "explicit-source-uuid-marker",
        "source_bound_role": "discussion",
        "first_mention": false,
        "source_node": "a-0544f685ce1b251162a3b9f1",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-10/concept-annotations.json",
          "sha256": "af9338a24646dd5679f4aa6a8402cc4eeffc6e58f2855ed9a6a1372aa69e41d4",
          "page": "10.5",
          "annotation_count": 108,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 40,
          "plain_mention_count": 68,
          "display_policy": "clickable-only"
        }
      },
      "label": "可缩的",
      "context": {
        "range": [
          89359,
          90852
        ],
        "quote": "<span id=\"node-a-0544f685ce1b251162a3b9f1\" class=\"block-anchor\"></span>我们来考虑定义在 $\\mathbb{R}^4$ 上的 $\\mathrm{SU}(2)$ <span class=\"concept-mention-pending\" id=\"bound-mention-14f3389b0160e877bed423bd\" data-concept-identity=\"urn:uuid:9340cf0a-1ef8-599a-8f84-951b5d73d719\" data-concept-role=\"discussion\" data-concept-first-mention=\"false\" data-concept-navigation-schema=\"1\" data-concept-source-node=\"a-0544f685ce1b251162a3b9f1\" data-concept-identity-status=\"provisional\" data-concept-definition-status=\"mention\" data-concept-first-mention-target=\"/books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-10/index#bound-first-be021016099c4a64b05c70ad\">规范场论</span>。描述这一规范场论的丛是 $P(\\mathbb{R}^4, \\mathrm{SU}(2))$。由于 $\\mathbb{R}^4$ 是<a class=\"concept-reference\" href=\"../../../../../concepts/by-id/b0e05644-5634-527e-83d1-377c92d24648.md\"><u class=\"concept-term\" id=\"bound-mention-6af6d7b442fa2df717f63e01\" data-concept-identity=\"urn:uuid:b0e05644-5634-527e-83d1-377c92d24648\" data-concept-role=\"discussion\" data-concept-first-mention=\"false\" data-concept-navigation-schema=\"1\" data-concept-source-node=\"a-0544f685ce1b251162a3b9f1\" data-concept-identity-status=\"formal\" data-concept-definition-status=\"mention\" data-concept-route=\"/concepts/by-id/b0e05644-5634-527e-83d1-377c92d24648\" title=\"查看正式概念页\" data-concept-first-mention-target=\"/books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-09/02-section-9-2#bound-first-5d7692958250de2af91a309f\">可缩的</u></a>，因此只有一个规范势",
        "quote_sha256": "218239c54df1068baa8ef535e33bf592801bd2388f22befd1c2f1d3c0d45648f",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-10/05-section-10-5",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-15a278a6e42c1fdc8680b07e"
    }
  ],
  "registered_positions": [],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"../chapter-05/index.md#bound-definition-2d833ac0bb979a1a384519d5\"",
      "href": "../chapter-05/index.md#bound-definition-2d833ac0bb979a1a384519d5",
      "range": [
        69882,
        69953
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/index",
      "target_anchor": "bound-definition-2d833ac0bb979a1a384519d5",
      "resolved": true,
      "reason": null,
      "source_revision": "5f4c082acc165538b4ac9405dc7a55d7c25f5039eaaab6ea7512add59d40429d",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-09/02-section-9-2",
      "occurrence_id": "occ-fa09245317e05c7d9264ba12"
    }
  ],
  "reading_order": [
    "occ-fa09245317e05c7d9264ba12",
    "occ-15a278a6e42c1fdc8680b07e"
  ],
  "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:b0e05644-5634-527e-83d1-377c92d24648",
      "definition_id": "urn:uuid:fc5a4a36-8457-5418-a679-884ea162f6fe",
      "definition_group": "definition-4-9",
      "path": "library/concepts/source-evidence/mcp/eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f.txt",
      "range": [
        0,
        107
      ],
      "quote": "Definition 4.9. If a point  $a \\in X$  is a deformation retract of  $X$ ,  $X$  is said to be contractible.",
      "document_sha256": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f",
      "quote_sha256": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f",
      "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": 149,
      "node": "a-12770d3e5d2eb7202441a405",
      "source_node_sha256": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/080f82818130feac2d6d056dda87e89470c7a321eb734975686301b9358816ec.json",
        "document_sha256": "080f82818130feac2d6d056dda87e89470c7a321eb734975686301b9358816ec",
        "node_id": "a-12770d3e5d2eb7202441a405",
        "node_source_sha256": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f"
      },
      "conditions": "Nakahara Definition 4.9：可缩空间。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
      "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-12770d3e5d2eb7202441a405",
          "a-8fe2b45d8e4836da77648302"
        ],
        "node_hashes": {
          "a-12770d3e5d2eb7202441a405": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f",
          "a-8fe2b45d8e4836da77648302": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0"
        },
        "environment": "definition-4-9"
      },
      "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-12770d3e5d2eb7202441a405",
          "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-12770d3e5d2eb7202441a405",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:b0e05644-5634-527e-83d1-377c92d24648",
      "definition_id": "urn:uuid:fc5a4a36-8457-5418-a679-884ea162f6fe",
      "definition_group": "definition-4-9",
      "path": "library/concepts/source-evidence/mcp/fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0.txt",
      "range": [
        0,
        315
      ],
      "quote": "Let  $c_{a}: X \\to \\{a\\}$  be a constant map. If  $X$  is contractible, there exists a homotopy  $H: X \\times I \\to X$  such that  $H(x, 0) = c_{a}(x) = a$  and  $H(x, 1) = \\mathrm{id}_{X}(x) = x$  for any  $x \\in X$  and, moreover,  $H(a, t) = a$  for any  $t \\in I$ . The homotopy  $H$  is called the contraction.",
      "document_sha256": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0",
      "quote_sha256": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0",
      "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": 149,
      "node": "a-8fe2b45d8e4836da77648302",
      "source_node_sha256": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/080f82818130feac2d6d056dda87e89470c7a321eb734975686301b9358816ec.json",
        "document_sha256": "080f82818130feac2d6d056dda87e89470c7a321eb734975686301b9358816ec",
        "node_id": "a-8fe2b45d8e4836da77648302",
        "node_source_sha256": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0"
      },
      "conditions": "Nakahara Definition 4.9：可缩空间。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
      "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-12770d3e5d2eb7202441a405",
          "a-8fe2b45d8e4836da77648302"
        ],
        "node_hashes": {
          "a-12770d3e5d2eb7202441a405": "eb345f5c97808c8110b160e126cfa93081da8422c63f56b41a94d56e669af77f",
          "a-8fe2b45d8e4836da77648302": "fc855d9edda9fb563714794ef24ed7aee7a19370a008706985fa882ac25263b0"
        },
        "environment": "definition-4-9"
      },
      "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-8fe2b45d8e4836da77648302",
          "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-8fe2b45d8e4836da77648302",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "67762fdef0f9e76f7b767ff6dd469f887ad864f66dc09bdd5462e417c6275b22",
  "optional_enrichments": []
}
