{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:1f605ba7-d55c-4c45-aa84-5df7c7af88e2",
  "labels": {
    "zh-CN": "浸入",
    "en": "immersion"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "97d5bffacd33af1cfa200b55e18864fbe6e1b4914827cb2811eaf45c519d15af",
  "occurrences": [
    {
      "concept_id": "urn:uuid:1f605ba7-d55c-4c45-aa84-5df7c7af88e2",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-15/04-tangent-map-and-submanifolds",
      "anchor": "concept-15-immersion",
      "chapter": "15",
      "section": "15.4",
      "offset": 10909,
      "range": [
        15783,
        16006
      ],
      "source_revision": "61e8cfc03794cfc482aec3d3eccff7abc33efb083c528aaef00bc044a98ecea1",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "浸入(immersion)",
      "context": {
        "range": [
          15570,
          16079
        ],
        "quote": "设 $\\alpha : M  N$ 为可微映射，其中 $m$ $\\dim$ $M \\leq n$ $\\dim$ $N$。若切映射 $\\alpha _ { * } : T _ { p } ( M ) \\to T _ { \\alpha ( p ) } ( N )$ 在每一点 $p \\in M ; \\mathrm { i . e . , } \\alpha _ { \\ast }$ 处均为单射，即处处为非退化线性映射，则称该映射为 <u id=\"concept-15-immersion\" class=\"concept-term\" data-concept-identity=\"urn:uuid:1f605ba7-d55c-4c45-aa84-5df7c7af88e2\" data-concept-route=\"/concept-identities#concept-1f605ba7-d55c-4c45-aa84-5df7c7af88e2\">浸入(immersion)</u>。由逆函数定理可直接证明，在任意点 $p$ 及其像 $\\alpha ( p )$ 处存在图卡，使得映射 $\\hat { \\alpha }$ 表示为",
        "quote_sha256": "2a0bd44fb583d29bfd9d276c34505ee6dcd1d79b81a46241ad58835255cc05de",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-15/04-tangent-map-and-submanifolds",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-dab157335e707c9a91b4891f"
    },
    {
      "concept_id": "urn:uuid:1f605ba7-d55c-4c45-aa84-5df7c7af88e2",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-15/04-tangent-map-and-submanifolds",
      "anchor": "first-ea170ef86bf2fd24dc34-en",
      "chapter": "15",
      "section": "15.4",
      "offset": 13527,
      "range": [
        17891,
        18119
      ],
      "source_revision": "ec56820ae3b6d30b42b25a1591ab154ca98bc32059d185bfa56a4ec310b55320",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "immersion",
      "context": {
        "range": [
          17778,
          18516
        ],
        "quote": "Let $\\alpha : M  N$ be a differentiable mapping where $m$ $\\dim$ $M \\leq n$ $\\dim$ $N$. The map is said to be an <u class=\"concept-term\" data-concept-identity=\"urn:uuid:1f605ba7-d55c-4c45-aa84-5df7c7af88e2\" data-concept-route=\"/concept-identities#concept-1f605ba7-d55c-4c45-aa84-5df7c7af88e2\" id=\"first-ea170ef86bf2fd24dc34-en\">immersion</u> if the tangent map $\\alpha _ { * } : T _ { p } ( M ) \\to T _ { \\alpha ( p ) } ( N )$ is injective at every point $p \\in M ; \\mathrm { i . e . , } \\alpha _ { \\ast }$ is everywhere a non-degenerate linear map. From the inverse function theorem, it is straightforward to show that there exist charts at any point $p$ and its image $\\alpha ( p )$ such that the map $\\hat { \\alpha }$ is represented as",
        "quote_sha256": "de16f341e5f1ac55b900627cfd65a278466b76ba63215eaa450873ad91027856",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-15/04-tangent-map-and-submanifolds",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-ede208bd813adf12b1845d84"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-15/04-tangent-map-and-submanifolds",
      "lang": "en",
      "section": "15.4",
      "signal": "term-mark",
      "label": "immersion",
      "english": "immersion",
      "offset": 13145
    },
    {
      "route": "zh/chapter-15/04-tangent-map-and-submanifolds",
      "lang": "zh-CN",
      "section": "15.4",
      "signal": "term-mark",
      "label": "浸入",
      "english": "immersion",
      "offset": 10597
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-dab157335e707c9a91b4891f",
    "occ-ede208bd813adf12b1845d84"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 2,
    "located_occurrences": 2,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "5e60cd393ec93aea6c7cf55a5918fddf4acb71c24ce8247b4d7f37ad14c5a98a",
  "optional_enrichments": []
}