{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:19388d06-7557-4098-b606-17bd8ea7fcae",
  "labels": {
    "zh-CN": "斯通定理",
    "en": "Stone’s theorem"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "1f3935cadbf635ba9e09547a0496800028dbd8fd3dc1ea824cad535057c16bcb",
  "occurrences": [
    {
      "concept_id": "urn:uuid:19388d06-7557-4098-b606-17bd8ea7fcae",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/06-unbounded-operators",
      "anchor": "first-55a7a9e7bc456db63afe-zh",
      "chapter": "13",
      "section": "13.6",
      "offset": 22936,
      "range": [
        29538,
        29818
      ],
      "source_revision": "d45e53fc27c5bf1d2c2121c20ab0e61aeb57067de09a90fd6173850a6fa3d4f2",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "zh/chapter-13/06-unbounded-operators",
          "lang": "zh-CN",
          "section": "13.6",
          "signal": "named-theorem",
          "label": "斯通定理",
          "english": "Stone’s theorem",
          "offset": 19944
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-26\">定理 13.26</a> · 斯通定理 (Stone’s theorem)",
      "context": {
        "range": [
          29538,
          29818
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-26\">定理 13.26</a> · 斯通定理 (Stone’s theorem)\n>\n> 希尔伯特空间上的每一个使得$U_{t} U_{s}=U_{t+s}$的单参数酉变换群$U_{t}$都可以表示为下列形式\n\n> $$\n> U_{t}=\\mathrm{e}^{i A t}=\\int_{-\\infty}^{\\infty} \\mathrm{e}^{i \\lambda t} \\mathrm{~d} E_{\\lambda} .\n> $$\n",
        "quote_sha256": "892ff510ff1cd77f36d3a5159712cb8744b985681ac2b71629e20cafc7255de8",
        "environment": "theorem",
        "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-aa1c0dd7d24b73f089860a67"
    },
    {
      "concept_id": "urn:uuid:19388d06-7557-4098-b606-17bd8ea7fcae",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/06-unbounded-operators",
      "anchor": "first-55a7a9e7bc456db63afe-en",
      "chapter": "13",
      "section": "13.6",
      "offset": 31028,
      "range": [
        37123,
        37531
      ],
      "source_revision": "c9f6aaaf4583a87d844433adf5551a93a8faeb812cbe88bab00cc9cdaa02d709",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "en/chapter-13/06-unbounded-operators",
          "lang": "en",
          "section": "13.6",
          "signal": "named-theorem",
          "label": "Stone’s theorem",
          "english": "Stone’s theorem",
          "offset": 27476
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-26\">Theorem 13.26</a> · Stone’s theorem",
      "context": {
        "range": [
          37123,
          37531
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-26\">Theorem 13.26</a> · Stone’s theorem\n>\n> Every one-parameter unitary group oftransformations $U _ { t }$ on a Hilbert space $\\mathcal H$, such that $U _ { t } U _ { s } = U _ { t + s }$ , can be expressed in theform\n>\n> $$\n> U _ {t} = \\mathrm{e} ^ {i A t} = \\int_ {- \\infty} ^ {\\infty} \\mathrm{e} ^ {i \\lambda t} \\mathrm{d} E _ {\\lambda}.\n> $$\n",
        "quote_sha256": "2b64184b8759efb30f03bf2b4b716a5944193ee86ed44e322d115aa8d386af97",
        "environment": "theorem",
        "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-e905c58a86f3431ef52b0e4a"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/06-unbounded-operators",
      "lang": "en",
      "section": "13.6",
      "signal": "named-theorem",
      "label": "Stone’s theorem",
      "english": "Stone’s theorem",
      "offset": 27476
    },
    {
      "route": "zh/chapter-13/06-unbounded-operators",
      "lang": "zh-CN",
      "section": "13.6",
      "signal": "named-theorem",
      "label": "斯通定理",
      "english": "Stone’s theorem",
      "offset": 19944
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-13-26\"",
      "href": "#theorem-13-26",
      "range": [
        29581,
        29602
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/06-unbounded-operators",
      "target_anchor": "theorem-13-26",
      "resolved": true,
      "reason": null,
      "source_revision": "d45e53fc27c5bf1d2c2121c20ab0e61aeb57067de09a90fd6173850a6fa3d4f2",
      "source_route": "zh/chapter-13/06-unbounded-operators",
      "occurrence_id": "occ-aa1c0dd7d24b73f089860a67"
    },
    {
      "raw": "href=\"#theorem-13-26\"",
      "href": "#theorem-13-26",
      "range": [
        37166,
        37187
      ],
      "relation": "references",
      "target_route": "en/chapter-13/06-unbounded-operators",
      "target_anchor": "theorem-13-26",
      "resolved": true,
      "reason": null,
      "source_revision": "c9f6aaaf4583a87d844433adf5551a93a8faeb812cbe88bab00cc9cdaa02d709",
      "source_route": "en/chapter-13/06-unbounded-operators",
      "occurrence_id": "occ-e905c58a86f3431ef52b0e4a"
    }
  ],
  "reading_order": [
    "occ-aa1c0dd7d24b73f089860a67",
    "occ-e905c58a86f3431ef52b0e4a"
  ],
  "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": "ac1f2b60e1f383b1fc48721968bcb2694643120c5e886167d59d48a004312cd3",
  "optional_enrichments": []
}