{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:e57b6201-cfbb-4d85-b4df-5d0ab5b64e07",
  "labels": {
    "zh-CN": "平行移动",
    "en": "parallel transport"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "043d48daa31bd462dcf946ae762b9baaa588e8972056db599b8b102976446dba",
  "occurrences": [
    {
      "concept_id": "urn:uuid:e57b6201-cfbb-4d85-b4df-5d0ab5b64e07",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-18/01-linear-connections-and-geodesics",
      "anchor": "first-ca3f7036c5d35e9c30b4-zh",
      "chapter": "18",
      "section": "18.1",
      "offset": 10812,
      "range": [
        16485,
        16728
      ],
      "source_revision": "b4bd1f5b6fcf90367cdd3e8efb819a4058494134a4f521e512e6652737c9625d",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "平行移动(parallel transport)",
      "context": {
        "range": [
          16149,
          16803
        ],
        "quote": "由微分方程的存在唯一性定理，对 $p$ 处的任意切向量 $Y _ { p }$，存在唯一一个沿 $\\gamma \\cap U$ 平行的向量场 $Y ( t )$，使得 $Y ( a ) = Y _ { p }$。曲线段是紧集，可被有限个图卡覆盖，因此存在唯一性可延拓到整条曲线 $a \\leq t \\leq b$ 上。此外，由于微分方程是线性的，满足 $P _ { t } ( Y _ { p } ) = Y ( t )$ 的映射 $P _ { t } : T _ { p } ( M ) \\to T _ { \\gamma ( t ) } ( M )$ 是线性映射，称为沿 $\\gamma$ 从 $p = \\gamma ( a )$ 到 $\\gamma ( t )$ 的 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:e57b6201-cfbb-4d85-b4df-5d0ab5b64e07\" data-concept-route=\"/concept-identities#concept-e57b6201-cfbb-4d85-b4df-5d0ab5b64e07\" id=\"first-ca3f7036c5d35e9c30b4-zh\">平行移动(parallel transport)</u>。由于通过将参数变为 $t ^ { \\prime } = - t$ 可将平行移动映射反转，映射 $P _ { t }$ 是一对一的，因而必是线性同构。",
        "quote_sha256": "84718dfc1b252b01d36de4d5ee21ba2bca1c134b17db3d967ef501f17d1b6ad4",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-18/01-linear-connections-and-geodesics",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-f1b3fc1f6eb2dbc88a855dbb"
    },
    {
      "concept_id": "urn:uuid:e57b6201-cfbb-4d85-b4df-5d0ab5b64e07",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-18/01-linear-connections-and-geodesics",
      "anchor": "first-ca3f7036c5d35e9c30b4-en",
      "chapter": "18",
      "section": "18.1",
      "offset": 14576,
      "range": [
        19774,
        20011
      ],
      "source_revision": "b8a46474ba83e7dc70967253a12a15e46f63625ec493fd434cf84f20e15aeba3",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "parallel transport",
      "context": {
        "range": [
          19197,
          20241
        ],
        "quote": "By the existence and uniqueness theorem of differential equations, for any tangent vector $Y _ { p }$ at $p$ there exists a unique vector field $Y ( t )$ parallel along $\\gamma \\cap U$ such that $Y ( a ) = Y _ { p }$ The curve segment is a compact set and can be covered by a finite family of charts, so that existence and uniqueness extends over the entire curve $a \\leq t \\leq b$ . Furthermore, as the differential equations are linear the map $P _ { t } : T _ { p } ( M ) \\to T _ { \\gamma ( t ) } ( M )$ such that $P _ { t } ( Y _ { p } ) = Y ( t )$ is a linear map, called <u class=\"concept-term\" data-concept-identity=\"urn:uuid:e57b6201-cfbb-4d85-b4df-5d0ab5b64e07\" data-concept-route=\"/concept-identities#concept-e57b6201-cfbb-4d85-b4df-5d0ab5b64e07\" id=\"first-ca3f7036c5d35e9c30b4-en\">parallel transport</u> along $\\gamma$ from $p = \\gamma ( a )$ to $\\gamma ( t )$ . Since the parallel transport map can be reversed by changing the parameter to $t ^ { \\prime } = - t$ , the map $P _ { t }$ is one-to one and must be a linear isomorphism.",
        "quote_sha256": "2fd7d245bdf11f6c26a3659b01c89ad7ed82d9f233f95df7a18bb4bb84a3afb9",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-18/01-linear-connections-and-geodesics",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-b02250bed3f0b6ef9a83d838"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-18/01-linear-connections-and-geodesics",
      "lang": "en",
      "section": "18.1",
      "signal": "term-mark",
      "label": "parallel transport",
      "english": "parallel transport",
      "offset": 13239
    },
    {
      "route": "zh/chapter-18/01-linear-connections-and-geodesics",
      "lang": "zh-CN",
      "section": "18.1",
      "signal": "term-mark",
      "label": "平行移动",
      "english": "parallel transport",
      "offset": 9475
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-f1b3fc1f6eb2dbc88a855dbb",
    "occ-b02250bed3f0b6ef9a83d838"
  ],
  "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": "554cff0a1e0bce27e5697d78f052f43918ceeebf4e41cc7fb8044644d418efa2",
  "optional_enrichments": []
}