{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b",
  "labels": {
    "zh-CN": "延拓",
    "en": "extension"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "b3afec8ec76e7619a6ef27b08f84ce6cfa0e9e750f185a9fbaab32f3bdb984d4",
  "occurrences": [
    {
      "concept_id": "urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/06-unbounded-operators",
      "anchor": "concept-13-extension",
      "chapter": "13",
      "section": "13.6",
      "offset": 2141,
      "range": [
        8743,
        8966
      ],
      "source_revision": "d45e53fc27c5bf1d2c2121c20ab0e61aeb57067de09a90fd6173850a6fa3d4f2",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "延拓(extension)",
      "context": {
        "range": [
          8657,
          9135
        ],
        "quote": "如果两个算符$A$和$B$满足$D_{B} \\subseteq D_{A}$ 和 $\\left.A\\right|_{D_{B}}=B$，我们定义 $A$ 是 $B$ 的一个<u id=\"concept-13-extension\" class=\"concept-term\" data-concept-identity=\"urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b\" data-concept-route=\"/concept-identities#concept-710d8b62-86d3-409e-854a-dd35ef06584b\">延拓(extension)</u>，写成 $B \\subseteq A$。 $\\mathcal{H}$ 中的两个运算符 $\\left(A, D_{A}\\right)$ 和 $\\left(B, D_{B}\\right)$ 称为相等，当且仅当它们是彼此的延拓。这时它们的定义域相等，$D_{A}=D_{B}$，而且对于全体 $u \\in D_{A}$ 有 $A u=B u$。",
        "quote_sha256": "9f90b23f1a0cc04a8c728f3c0900d38cc9aa7fad9dbc7d20cc2e7c3e757ffb4d",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-13/06-unbounded-operators",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-c02bd201894b716373f250cd"
    },
    {
      "concept_id": "urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/06-unbounded-operators",
      "anchor": "first-36b2f33676913a26c582-en",
      "chapter": "13",
      "section": "13.6",
      "offset": 2626,
      "range": [
        8721,
        8949
      ],
      "source_revision": "c9f6aaaf4583a87d844433adf5551a93a8faeb812cbe88bab00cc9cdaa02d709",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "extension",
      "context": {
        "range": [
          8704,
          9311
        ],
        "quote": "We say $A$ is an <u class=\"concept-term\" data-concept-identity=\"urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b\" data-concept-route=\"/concept-identities#concept-710d8b62-86d3-409e-854a-dd35ef06584b\" id=\"first-36b2f33676913a26c582-en\">extension</u> of $B$, written $B \\subseteq A , { \\mathrm { i f } } D _ { B } \\subseteq D _ { A }$ and $A { \\big \\vert } _ { D _ { B } } = B$ . Two operators $( A , D _ { A } )$ and $( B , D _ { B } )$ in $\\mathcal H$ are called equal if and only if they are extensions of each other – their domains are equal, $D _ { A } = D _ { B }$ and $A u = B u$ for all $u \\in D _ { A }$",
        "quote_sha256": "a4656f73042deffb61d326a2f01e1c5cdfad6e085e29e5a6341482d57794c422",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-13/06-unbounded-operators",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-9c20ea3d246b1cf2dc39bab9"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/06-unbounded-operators",
      "lang": "en",
      "section": "13.6",
      "signal": "term-mark",
      "label": "extension",
      "english": "extension",
      "offset": 1671
    },
    {
      "route": "zh/chapter-13/06-unbounded-operators",
      "lang": "zh-CN",
      "section": "13.6",
      "signal": "term-mark",
      "label": "延拓",
      "english": "extension",
      "offset": 1361
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-c02bd201894b716373f250cd",
    "occ-9c20ea3d246b1cf2dc39bab9"
  ],
  "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": "d2904c9b1e1534b53af24c0e45da75f00792cf6c9dfdbefe50168ef5b789d630",
  "optional_enrichments": []
}