{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:0bec019e-a424-4b09-b588-ac9e80189f9b",
  "labels": {
    "zh-CN": "斯通–冯·诺依曼",
    "en": "Stone–von Neumann"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "718f136e19c1530702f92f578475c4cbc8610bd2bea1eb709ba100a5f3126120",
  "occurrences": [
    {
      "concept_id": "urn:uuid:0bec019e-a424-4b09-b588-ac9e80189f9b",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/03-the-schr-odinger-representation",
      "anchor": "first-52f8320111586a59b4ae-zh",
      "chapter": "13",
      "section": "13.3",
      "offset": 3443,
      "range": [
        10065,
        10219
      ],
      "source_revision": "1607b496db287f9b6b834b1ac32cbc2e1883d1ffb09f21bbd7be7f1df59fcd86",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/03-the-schr-odinger-representation",
          "lang": "zh-CN",
          "section": "13.3",
          "signal": "named-theorem",
          "label": "斯通–冯·诺依曼",
          "english": "",
          "offset": 3231
        }
      },
      "label": "> [!theorem] 定理（斯通–冯·诺依曼）",
      "context": {
        "range": [
          10065,
          10219
        ],
        "quote": "\n\n> [!theorem] 定理（斯通–冯·诺依曼）\n> 设 $\\pi$ 是希尔伯特空间上 $H_3$ 的不可约表示，且其导表示满足\n>\n> $$\n> \\pi'(Z)=-i\\mathbf 1\n> $$\n>\n> 则 $\\pi$ 与薛定谔表示 $(\\Gamma_S,L^2(\\mathbf R))$ 酉等价。\n",
        "quote_sha256": "82abcf367ef7908661cd7603e6c8463b74571a7d4c9495d9e6cd528453d1a3f0",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-13/03-the-schr-odinger-representation",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-b9aa0b529f33325bdcba79e5"
    },
    {
      "concept_id": "urn:uuid:0bec019e-a424-4b09-b588-ac9e80189f9b",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-13/03-the-schr-odinger-representation",
      "anchor": "first-786105299f4be2a006a8-en",
      "chapter": "13",
      "section": "13.3",
      "offset": 5797,
      "range": [
        11582,
        11875
      ],
      "source_revision": "18723bad457cc86cc07c80817ff6bf3e04f683e15708befa0f80dceb9101595e",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-13/03-the-schr-odinger-representation",
          "lang": "en",
          "section": "13.3",
          "signal": "named-theorem",
          "label": "Stone–von Neumann",
          "english": "Stone–von Neumann",
          "offset": 5585
        }
      },
      "label": "> [!theorem] Theorem (Stone–von Neumann)",
      "context": {
        "range": [
          11582,
          11875
        ],
        "quote": "\n\n> [!theorem] Theorem (Stone–von Neumann)\n> Let $\\pi$ be an irreducible representation of $H_3$ on a Hilbert space, with derived representation satisfying\n>\n> $$\n> \\pi'(Z)=-i\\mathbf 1.\n> $$\n>\n> Then $\\pi$ is unitarily equivalent to the Schrödinger representation $(\\Gamma_S,L^2(\\mathbf R))$.\n",
        "quote_sha256": "9e23c307023d244de94794fef9b2805913b58608f91d79d5d3e9fcb28876bdcf",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/03-the-schr-odinger-representation",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-e72b7a3217be587ac439261b"
    }
  ],
  "registered_positions": [
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-13/03-the-schr-odinger-representation",
      "lang": "en",
      "section": "13.3",
      "signal": "named-theorem",
      "label": "Stone–von Neumann",
      "english": "Stone–von Neumann",
      "offset": 5585
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/03-the-schr-odinger-representation",
      "lang": "zh-CN",
      "section": "13.3",
      "signal": "named-theorem",
      "label": "斯通–冯·诺依曼",
      "english": "",
      "offset": 3231
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-b9aa0b529f33325bdcba79e5",
    "occ-e72b7a3217be587ac439261b"
  ],
  "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": "d4992c2a90b15378d3b53fb479340164ac628cd8ef2022ef9a82865682ad44b9",
  "optional_enrichments": []
}