{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
  "labels": {
    "zh-CN": "子流形",
    "en": "submanifold"
  },
  "alternative_labels": [],
  "scope_note": "Nakahara Definition 5.3：子流形。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
  "identity_status": "active",
  "identity_revision": "4b8f8ca820cfdb234c72438b4c0681dddcb6acee5bd63a239c9a8930a281f095",
  "occurrences": [
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "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-05/02-section-5-2",
      "anchor": "bound-definition-2421240c344eac78ae5e2266",
      "chapter": "5",
      "section": "5.2",
      "offset": 68589,
      "range": [
        88736,
        89222
      ],
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "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-51ed5077d1069caf53f1d03e",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-05/concept-annotations.json",
          "sha256": "293e090ec8f1816b4439dcafc349e52966287a12fa7ad830bac42d24d9b0045c",
          "page": "5.2",
          "annotation_count": 75,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 43,
          "plain_mention_count": 32,
          "display_policy": "clickable-only"
        }
      },
      "label": "子流形(submanifold)",
      "context": {
        "range": [
          88544,
          89241
        ],
        "quote": "<span id=\"node-a-51ed5077d1069caf53f1d03e\" class=\"block-anchor\"></span>在结束本节之前，我们给出流形的<a class=\"concept-reference\" href=\"../../../../../concepts/by-id/8c4df920-879e-5e17-a913-24dd9344969a.md\"><u class=\"concept-term\" id=\"bound-definition-2421240c344eac78ae5e2266\" data-concept-identity=\"urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a\" data-concept-role=\"definition\" data-concept-first-mention=\"true\" data-concept-navigation-schema=\"1\" data-concept-source-node=\"a-51ed5077d1069caf53f1d03e\" data-concept-identity-status=\"formal\" data-concept-definition-status=\"confirmed\" data-concept-route=\"/concepts/by-id/8c4df920-879e-5e17-a913-24dd9344969a\" title=\"查看正式概念页\">子流形(submanifold)</u></a>的定义，并在此澄清嵌入的含义。",
        "quote_sha256": "0402218716dae9a574644420016f8e379d3e9777f0ce43b3e54df365d2c9e3f3",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-05/02-section-5-2",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a4fea554870f71050c3a6919"
    },
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "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-05/02-section-5-2",
      "anchor": "bound-definition-2a98b983c4b3190e83dc4613",
      "chapter": "5",
      "section": "5.2",
      "offset": 71387,
      "range": [
        91534,
        92191
      ],
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "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-6b754b9148c2f2bac0b048ce",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-05/concept-annotations.json",
          "sha256": "293e090ec8f1816b4439dcafc349e52966287a12fa7ad830bac42d24d9b0045c",
          "page": "5.2",
          "annotation_count": 75,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 43,
          "plain_mention_count": 32,
          "display_policy": "clickable-only"
        }
      },
      "label": "子流形(submanifold)",
      "context": {
        "range": [
          89242,
          92231
        ],
        "quote": null,
        "quote_sha256": "7a92cedb66e025d600d54210f4e6b83f1fd79d65ed5847b163299a582b707f91",
        "environment": "definition",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-05/02-section-5-2",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-4eecbf83e147bef67faa6d32"
    },
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "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-05/02-section-5-2",
      "anchor": "bound-mention-a323800286100c62bcea43b6",
      "chapter": "5",
      "section": "5.2",
      "offset": 75645,
      "range": [
        95792,
        96541
      ],
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "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": "cap-324ce79fa69464a61d1356fd",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-05/concept-annotations.json",
          "sha256": "293e090ec8f1816b4439dcafc349e52966287a12fa7ad830bac42d24d9b0045c",
          "page": "5.2",
          "annotation_count": 75,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 43,
          "plain_mention_count": 32,
          "display_policy": "clickable-only"
        }
      },
      "label": "子流形",
      "context": {
        "range": [
          94165,
          96555
        ],
        "quote": null,
        "quote_sha256": "1ca827cf21c15392827c41d5d55c2baad4c12f70deb6e6342bfd5a86725f683d",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-05/02-section-5-2",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-83aea95ec945375e1332ba4e"
    },
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "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-07/01-section-7-1",
      "anchor": "bound-mention-6aa6c0522d92080ddcdd34f4",
      "chapter": "7",
      "section": "7.1",
      "offset": 32890,
      "range": [
        43722,
        44469
      ],
      "source_revision": "849e896595bc4f927ed96801994ec426b093a9479591ba4df64a8d2076114484",
      "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-ba85c82630009323ba328cf7",
        "source_sidecar": {
          "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/provenance/chapter-07/concept-annotations.json",
          "sha256": "ab84360a4f113a910ac67ba711a621ad5bb87fead4501df7deec4942c27df83c",
          "page": "7.1",
          "annotation_count": 51,
          "policy": "explicit-source-bound-UUIDs; no string-based identity allocation",
          "rendered_annotation_count": 30,
          "plain_mention_count": 21,
          "display_policy": "clickable-only"
        }
      },
      "label": "子流形",
      "context": {
        "range": [
          43512,
          46282
        ],
        "quote": null,
        "quote_sha256": "9e7477683cb318e6d971effc3de5a96941b9d9b0fb9f43926edce77dddf04786",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-07/01-section-7-1",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-fbbadcf1b2079dc6c5a46acb"
    }
  ],
  "registered_positions": [],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"02-section-5-2.md#definition-5-3\"",
      "href": "02-section-5-2.md#definition-5-3",
      "range": [
        89287,
        89326
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "definition-5-3",
      "resolved": true,
      "reason": null,
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "occurrence_id": "occ-4eecbf83e147bef67faa6d32"
    },
    {
      "raw": "href=\"../chapter-02/01-section-2-1.md#bound-definition-dc76bb871b2cda8079b57014\"",
      "href": "../chapter-02/01-section-2-1.md#bound-definition-dc76bb871b2cda8079b57014",
      "range": [
        89710,
        89790
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-02/01-section-2-1",
      "target_anchor": "bound-definition-dc76bb871b2cda8079b57014",
      "resolved": true,
      "reason": null,
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "occurrence_id": "occ-4eecbf83e147bef67faa6d32"
    },
    {
      "raw": "href=\"02-section-5-2.md#bound-definition-e491da5cce081c4491486e21\"",
      "href": "02-section-5-2.md#bound-definition-e491da5cce081c4491486e21",
      "range": [
        94282,
        94348
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "bound-definition-e491da5cce081c4491486e21",
      "resolved": true,
      "reason": null,
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "occurrence_id": "occ-83aea95ec945375e1332ba4e"
    },
    {
      "raw": "href=\"02-section-5-2.md#bound-definition-2421240c344eac78ae5e2266\"",
      "href": "02-section-5-2.md#bound-definition-2421240c344eac78ae5e2266",
      "range": [
        95725,
        95791
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "bound-definition-2421240c344eac78ae5e2266",
      "resolved": true,
      "reason": null,
      "source_revision": "44b68b0feeb8653e0a41f44f4b958390391f77e14912e5094a9588aa03980079",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "occurrence_id": "occ-83aea95ec945375e1332ba4e"
    },
    {
      "raw": "href=\"../chapter-05/02-section-5-2.md#bound-definition-2421240c344eac78ae5e2266\"",
      "href": "../chapter-05/02-section-5-2.md#bound-definition-2421240c344eac78ae5e2266",
      "range": [
        43641,
        43721
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "bound-definition-2421240c344eac78ae5e2266",
      "resolved": true,
      "reason": null,
      "source_revision": "849e896595bc4f927ed96801994ec426b093a9479591ba4df64a8d2076114484",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-07/01-section-7-1",
      "occurrence_id": "occ-fbbadcf1b2079dc6c5a46acb"
    },
    {
      "raw": "href=\"../chapter-05/02-section-5-2.md#bound-definition-e491da5cce081c4491486e21\"",
      "href": "../chapter-05/02-section-5-2.md#bound-definition-e491da5cce081c4491486e21",
      "range": [
        44552,
        44632
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "bound-definition-e491da5cce081c4491486e21",
      "resolved": true,
      "reason": null,
      "source_revision": "849e896595bc4f927ed96801994ec426b093a9479591ba4df64a8d2076114484",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-07/01-section-7-1",
      "occurrence_id": "occ-fbbadcf1b2079dc6c5a46acb"
    },
    {
      "raw": "href=\"../chapter-05/02-section-5-2.md#section-5-2\"",
      "href": "../chapter-05/02-section-5-2.md#section-5-2",
      "range": [
        45412,
        45462
      ],
      "relation": "references",
      "target_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
      "target_anchor": "section-5-2",
      "resolved": true,
      "reason": null,
      "source_revision": "849e896595bc4f927ed96801994ec426b093a9479591ba4df64a8d2076114484",
      "source_route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-07/01-section-7-1",
      "occurrence_id": "occ-fbbadcf1b2079dc6c5a46acb"
    }
  ],
  "reading_order": [
    "occ-a4fea554870f71050c3a6919",
    "occ-4eecbf83e147bef67faa6d32",
    "occ-83aea95ec945375e1332ba4e",
    "occ-fbbadcf1b2079dc6c5a46acb"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 0,
    "located_occurrences": 4,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "reviewed_definitions": [
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "definition_id": "urn:uuid:ef0257f5-2429-549e-b228-f51c4826d24d",
      "definition_group": "definition-5-3",
      "path": "library/concepts/source-evidence/mcp/25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434.txt",
      "range": [
        0,
        118
      ],
      "quote": "Definition 5.3. (Immersion, submanifold, embedding) Let  $f: M \\to N$  be a smooth map and let  $\\dim M \\leq \\dim N$ .",
      "document_sha256": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
      "quote_sha256": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
      "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": "5.2.7",
      "pdf_page_index": 206,
      "node": "a-1d17f644f78574ea61660dea",
      "source_node_sha256": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8.json",
        "document_sha256": "b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8",
        "node_id": "a-1d17f644f78574ea61660dea",
        "node_source_sha256": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434"
      },
      "conditions": "Nakahara Definition 5.3：子流形。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.yaml",
        "sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-1d17f644f78574ea61660dea",
          "a-6b754b9148c2f2bac0b048ce",
          "a-57ca400cfcb786a9f77101c4"
        ],
        "node_hashes": {
          "a-1d17f644f78574ea61660dea": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
          "a-6b754b9148c2f2bac0b048ce": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
          "a-57ca400cfcb786a9f77101c4": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf"
        },
        "environment": "definition-5-3"
      },
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765.yaml.txt",
        "document_sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.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-05/02-section-5-2",
          "anchor": "node-a-1d17f644f78574ea61660dea",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
          "anchor": "node-a-1d17f644f78574ea61660dea",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "definition_id": "urn:uuid:ef0257f5-2429-549e-b228-f51c4826d24d",
      "definition_group": "definition-5-3",
      "path": "library/concepts/source-evidence/mcp/89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8.txt",
      "range": [
        0,
        382
      ],
      "quote": "(a) The map  $f$  is called an immersion of  $M$  into  $N$  if  $f_{*}: T_{p}M \\to T_{f(p)}N$  is an injection (one to one), that is  $\\operatorname{rank} f_{*} = \\dim M$ .\n(b) The map  $f$  is called an **embedding** if  $f$  is an injection and an immersion. The image  $f(M)$  is called a **submanifold** of  $N$ . [In practice,  $f(M)$  thus defined is diffeomorphic to  $M$ .]",
      "document_sha256": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
      "quote_sha256": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
      "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": "5.2.7",
      "pdf_page_index": 206,
      "node": "a-6b754b9148c2f2bac0b048ce",
      "source_node_sha256": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8.json",
        "document_sha256": "b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8",
        "node_id": "a-6b754b9148c2f2bac0b048ce",
        "node_source_sha256": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8"
      },
      "conditions": "Nakahara Definition 5.3：子流形。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.yaml",
        "sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-1d17f644f78574ea61660dea",
          "a-6b754b9148c2f2bac0b048ce",
          "a-57ca400cfcb786a9f77101c4"
        ],
        "node_hashes": {
          "a-1d17f644f78574ea61660dea": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
          "a-6b754b9148c2f2bac0b048ce": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
          "a-57ca400cfcb786a9f77101c4": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf"
        },
        "environment": "definition-5-3"
      },
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765.yaml.txt",
        "document_sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.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-05/02-section-5-2",
          "anchor": "node-a-6b754b9148c2f2bac0b048ce",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
          "anchor": "node-a-6b754b9148c2f2bac0b048ce",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:8c4df920-879e-5e17-a913-24dd9344969a",
      "definition_id": "urn:uuid:ef0257f5-2429-549e-b228-f51c4826d24d",
      "definition_group": "definition-5-3",
      "path": "library/concepts/source-evidence/mcp/667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf.txt",
      "range": [
        0,
        1068
      ],
      "quote": "If  $f$  is an immersion,  $f^{*}$  maps  $T_{p}M$  isomorphically to an  $m$ -dimensional vector subspace of  $T_{f(p)}N$  since  $\\mathrm{rank}f_{*} = \\dim M$ . From theorem 2.1, we also find  $\\ker f_{*} = \\{0\\}$ . If  $f$  is an embedding,  $M$  is diffeomorphic to  $f(M)$ . Examples will clarify these rather technical points. Consider a map  $f: S^1 \\to \\mathbb{R}^2$  in figure 5.11(a). It is an immersion since a one-dimensional tangent space of  $S^1$  is mapped by  $f_{*}$  to a subspace of  $T_{f(p)}\\mathbb{R}^2$ . The image  $f(S^1)$  is not a submanifold of  $\\mathbb{R}^2$  since  $f$  is not an injection. The map  $g: S^1 \\to \\mathbb{R}^2$  in figure 5.11(b) is an embedding and  $g(S^1)$  is a submanifold of  $\\mathbb{R}^2$ . Clearly, an embedding is an immersion although the converse is not necessarily true. In the previous section, we occasionally mentioned the embedding of  $S^n$  into  $\\mathbb{R}^{n + 1}$ . Now this meaning is clear; if  $S^n$  is embedded by  $f: S^n \\to \\mathbb{R}^{n + 1}$  then  $S^n$  is diffeomorphic to  $f(S^n)$ .",
      "document_sha256": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf",
      "quote_sha256": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf",
      "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": "5.2.7",
      "pdf_page_index": 206,
      "node": "a-57ca400cfcb786a9f77101c4",
      "source_node_sha256": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8.json",
        "document_sha256": "b5ae214d4b6dd02315caa4e3499d00c810a6e8baddf83463a1486860ad1f4cc8",
        "node_id": "a-57ca400cfcb786a9f77101c4",
        "node_source_sha256": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf"
      },
      "conditions": "Nakahara Definition 5.3：子流形。完整条件以所列原文节点为准；不将同框中作为前提提及的概念视为被定义。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.yaml",
        "sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-1d17f644f78574ea61660dea",
          "a-6b754b9148c2f2bac0b048ce",
          "a-57ca400cfcb786a9f77101c4"
        ],
        "node_hashes": {
          "a-1d17f644f78574ea61660dea": "25f0dfa9eb0d853d0109aa7e332167458703a89e90ba07053e0e3a9f6fbc3434",
          "a-6b754b9148c2f2bac0b048ce": "89b7470b98d2416cc4d1aa98df60838cae1f63e59109382acb4ac185e52b78c8",
          "a-57ca400cfcb786a9f77101c4": "667a83818437ee3125e5cf7503e2ba00ad48720fdc59266af591dd96d40813cf"
        },
        "environment": "definition-5-3"
      },
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765.yaml.txt",
        "document_sha256": "74cd62149f794dddfa7eea3633d29cd14b855e7be868c87d8d292fd7925b1765",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/chapter-05.yaml"
      },
      "role": "definition",
      "first_in_book": "not-established",
      "evidence_origin": "explicit-reviewed-source-manifest",
      "definition_part": "continuation",
      "definition_part_basis": "original-environment-range",
      "reading_links": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-05/02-section-5-2",
          "anchor": "node-a-57ca400cfcb786a9f77101c4",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-05/02-section-5-2",
          "anchor": "node-a-57ca400cfcb786a9f77101c4",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "deaca6086fba410c7679fcd05b4457d69e34a912a3ae552909d173382bcd8119",
  "optional_enrichments": []
}
