{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
  "labels": {
    "zh-CN": "向量空间",
    "en": "vector space"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "6d5f6bbec1c6ce7d28e3f8385759da75f558ceb696718743a679f2f8e4e7f64b",
  "occurrences": [
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-03/02-vector-spaces",
      "anchor": "concept-3-vector-space",
      "chapter": "3",
      "section": "3.2",
      "offset": 330,
      "range": [
        4781,
        5011
      ],
      "source_revision": "1e00ae3248097e4d2bb356a02e17922fe7af380b57adbcd90c0f36f39b590925",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          4779,
          6536
        ],
        "quote": null,
        "quote_sha256": "5a9c6b6c58dc78b9096b41f8b2cbcb8ec816caac23a9caa785e3b46e7bc3e979",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "en/chapter-03/02-vector-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-fe47eb37a2ac2665f8e94346"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/index",
      "anchor": "first-7fdcbbb0d58dcf2329fb-zh",
      "chapter": "4",
      "section": "4",
      "offset": 798,
      "range": [
        6267,
        6566
      ],
      "source_revision": "817da894ad55f033a62579af99ad92654dc5d97f7febfd4ec212c025ede48f81",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          5824,
          6650
        ],
        "quote": "后续章节将假定读者具备扎实的线性代数基础，我们也会用到该学科中的若干具体结论。其中有些内容在常见的线性代数课程中并不受重视，例如[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/dual-space\" data-concept-identity=\"urn:uuid:1212910c-fd6e-468e-8315-db95c69ef22e\" data-concept-route=\"/concept-identities#concept-1212910c-fd6e-468e-8315-db95c69ef22e\" id=\"first-e7062a6978544669061d-zh\">对偶空间(dual space)</u>](../../../../../concepts/linear-algebra/dual-space)所起的作用，以及把不同类别的可逆矩阵作为群来研究。目前讨论的[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\" id=\"first-7fdcbbb0d58dcf2329fb-zh\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space)都是有限维的。后文还会涉及无限维状态空间及其引出的各种问题。",
        "quote_sha256": "ab7b0476aababc4785f465fec9fd339f6023bcd0316f3bfdc307cc2fcb73c842",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-04/index",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-e124e8a791e4dc284bac8417"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/01-vector-spaces-and-linear-maps",
      "anchor": "concept-4-vector-space",
      "chapter": "4",
      "section": "4.1",
      "offset": 420,
      "range": [
        6460,
        6725
      ],
      "source_revision": "7b67eea3f4266b108e1e788c2e21bac9a046d13f101f5330ec8134a1a88d496c",
      "source_category": "original_transcription",
      "review_status": "ai-transcription-compared",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "vector space",
      "context": {
        "range": [
          6458,
          7154
        ],
        "quote": "A <u id=\"concept-4-vector-space\" class=\"concept-term\" data-concept-id=\"concept-4-vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">vector space</u> $V$ over a field $k$ is a set with a consistent way to take linear combinations of elements with coefficients in $k$. We will only be using the cases $k = \\mathbf{R}$ and $k = \\mathbf { C }$ , so such finite dimensional $V$ will just be $\\mathbf { R } ^ { n }$ or $\\mathbf { C } ^ { n }$ . Choosing a basis (set of $n$ linearly independent vectors) $\\{ \\mathbf { e } _ { j } \\}$ , an arbitrary vector $v \\in V$ can be written as",
        "quote_sha256": "3e0de4c22d492b3b0d3958e6add04258e59326a7002f11c979e8601911c2c680",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/01-vector-spaces-and-linear-maps",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-820674a9f5e7e6be6217c074"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/01-vector-spaces-and-linear-maps",
      "anchor": "concept-4-vector-space",
      "chapter": "4",
      "section": "4.1",
      "offset": 420,
      "range": [
        7229,
        7593
      ],
      "source_revision": "c0dc763683b75205317bd9c7651ff56544eb9e566deb8f6f7be4d14f18c70600",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          7227,
          8226
        ],
        "quote": " [<u id=\"concept-4-vector-space\" class=\"concept-term\" data-concept-id=\"concept-4-vector-space\" data-concept-role=\"definition\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space) $V$ 在域 $k$ 上 $V$ 在域 $k$ 上是一个集合，带有一种以 $k$ 中元素为系数取线性组合的一致方式。我们将只使用 $k = \\mathbf{R}$ 和 $k = \\mathbf { C }$ 的情形，因此这样的有限维 $V$ 将只是 $\\mathbf { R } ^ { n }$ 或 $\\mathbf { C } ^ { n }$。选择一组[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/basis\" data-concept-identity=\"urn:uuid:7e3b88ac-3d0c-45bd-82d8-090fd0c22b05\" data-concept-route=\"/concept-identities#concept-7e3b88ac-3d0c-45bd-82d8-090fd0c22b05\" id=\"first-3f7bad81430eee3c513f-zh\">基(basis)</u>](../../../../../concepts/linear-algebra/basis)（由 $n$ 个线性无关向量组成的集合）$\\{ \\mathbf { e } _ { j } \\}$，任意向量 $v \\in V$ 可以写成",
        "quote_sha256": "05434fb6189089851825dcb5b61772e196614d8c06d89c0d0825a14e38b5bad0",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-04/01-vector-spaces-and-linear-maps",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-57de005390badd1cca6cc7d4"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "anchor": "source-block-023",
      "chapter": "4",
      "section": "4.2",
      "offset": 364,
      "range": [
        8386,
        8650
      ],
      "source_revision": "938d19d061a8b69c758beeb064276f3de2f0639a77ac963f124b6481149d29e7",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          8383,
          9109
        ],
        "quote": "任一[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space) $V$ 都对应一个新的向量空间，称为它的[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/dual-space\" data-concept-identity=\"urn:uuid:1212910c-fd6e-468e-8315-db95c69ef22e\" data-concept-route=\"/concept-identities#concept-1212910c-fd6e-468e-8315-db95c69ef22e\">对偶空间(dual space)</u>](../../../../../concepts/linear-algebra/dual-space)：\n<span id=\"first-9224a02242ce94330051-zh\" class=\"block-anchor\"></span>",
        "quote_sha256": "823a4f92a3d034fc5d050db2dd4cf720eb8c63e2f434cc8cde9f04be7a1dc647",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-51cfd05dad5c9d0565d22dfe"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
      "anchor": "concept-6-vector-space",
      "chapter": "6",
      "section": "6.1",
      "offset": 4949,
      "range": [
        13186,
        13519
      ],
      "source_revision": "ecece04eca2e438d0f7e3a6772c77b70e817b3510d427b2a5218ae21ace6067c",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          12607,
          14018
        ],
        "quote": "注意，这些对易关系与李代数 $\\mathfrak{su}(2)$ 的基向量 $X_1,X_2,X_3$ 所满足的[方程 3.5](../chapter-03/02-commutation-relations-for-pauli-matrices#equation-3-5) 完全相同，因此 $\\mathfrak{so}(3)$ 与 $\\mathfrak{su}(2)$ 是同构的李代数。二者都是带有相同[<u id=\"concept-6-lie-bracket\" class=\"concept-term\" data-concept-reference=\"concepts/lie-theory/lie-bracket\" data-concept-id=\"concept-6-lie-bracket\" data-concept-identity=\"urn:uuid:2ec20f01-7d55-4d42-bfe7-cf436d149036\" data-concept-route=\"/concept-identities#concept-2ec20f01-7d55-4d42-bfe7-cf436d149036\">李括号(Lie bracket)</u>](../../../../../concepts/lie-theory/lie-bracket)运算的[<u id=\"concept-6-vector-space\" class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-id=\"concept-6-vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space) $\\mathbf R^3$。这种运算在另一语境中也很熟悉：它就是标准基向量的[<u id=\"concept-6-cross-product\" class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-cross-product\" data-concept-id=\"concept-6-cross-product\" data-concept-identity=\"urn:uuid:9217da23-ed1d-4016-b7e9-9a1d7c04a546\" data-concept-route=\"/concept-identities#concept-9217da23-ed1d-4016-b7e9-9a1d7c04a546\">叉积(cross product)</u>](../../../../../concepts/linear-algebra/vector-cross-product)：",
        "quote_sha256": "2090ecce0c02d9a3fb49f4d42d7cba74a6f353c5dabd3fa642d61abff868e79d",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-7b03e156bb43228d5839bf27"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
      "anchor": "concept-6-vector-space",
      "chapter": "6",
      "section": "6.1",
      "offset": 5607,
      "range": [
        13007,
        13334
      ],
      "source_revision": "26ab6dbd8d2fd3c616b729e1722972628cde2749e0fc848504d63c6e68828748",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "vector space",
      "context": {
        "range": [
          12687,
          14353
        ],
        "quote": null,
        "quote_sha256": "6529c55ccbea7e46517469e7080f7cbeaeab22588645f2f4abb0009b724f7d58",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-18d415670f5319fa9b00d3df"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
      "anchor": "source-6-quaternion",
      "chapter": "6",
      "section": "6.2",
      "offset": 5056,
      "range": [
        13347,
        13611
      ],
      "source_revision": "d5776d5bdae66f74cdbd2aaeda0ef4ffb4148f08eeb21a72c16dd61bab582129",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          13329,
          13697
        ],
        "quote": "作为 $\\mathbb R$ 上的[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space)，$\\mathbb H$ 与 $\\mathbb R^4$ 同构。",
        "quote_sha256": "cfbe5c0a37c8f92f682578751b02f02acdc3cc1b2807ea09bea49c7973b86d1d",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-0e7f24b575f54b62ff905c29"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
      "anchor": "source-6-quaternion",
      "chapter": "6",
      "section": "6.2",
      "offset": 6336,
      "range": [
        13785,
        14043
      ],
      "source_revision": "525b7bc4b6973b05449bbbbcbdef1c067e7411218e20b20cb388b95687d1c4d8",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "vector space",
      "context": {
        "range": [
          13779,
          14159
        ],
        "quote": "As a [<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">vector space</u>](../../../../../concepts/linear-algebra/vector-space) over $\\mathbb R$, $\\mathbb H$ is isomorphic to $\\mathbb R^4$.",
        "quote_sha256": "5b3b24633fe95f23be9f85526c68ccdbc22c279c14275f11c0ff0c5b60d67480",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-ecfd98c0c172eaba2768c712"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-07/04-complex-projective-space",
      "anchor": "source-7-4-quotient-space",
      "chapter": "7",
      "section": "7.4",
      "offset": 1300,
      "range": [
        9380,
        9644
      ],
      "source_revision": "dece3546a425ea2c52b709472898bb8128e5d5d751614a636ab79e1e1bbfe61c",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          8996,
          11172
        ],
        "quote": null,
        "quote_sha256": "393256bdf68f6916b07aaad6279e18f04be89d779ecaf45aea0b13d8cf50e663",
        "environment": null,
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-07/04-complex-projective-space",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-49c13704b1350bbb69bf21b1"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "anchor": "source-7-5-vector-bundle-section",
      "chapter": "7",
      "section": "7.5",
      "offset": 8373,
      "range": [
        15447,
        15705
      ],
      "source_revision": "6f8c687b0a6feb674feacdbe88d4253a08f9fdcc131e7a7b299a069f0c255fc6",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "vector space",
      "context": {
        "range": [
          15353,
          17424
        ],
        "quote": null,
        "quote_sha256": "64db36270f78c5f4e7832d298fd42f48cc4299b86493b7a568ad0899048fd123",
        "environment": "theorem",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-07/05-the-bloch-sphere",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a538e7215e533da950f1b4ea"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-16/07-the-case-of-arbitrary-d",
      "anchor": "equation-16-22",
      "chapter": "16",
      "section": "16.3",
      "offset": 2372,
      "range": [
        8914,
        9178
      ],
      "source_revision": "98e05dacf1320cda6b5495f999e989e144a58921d9304d27de4af5a54d519bb7",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "向量空间(vector space)",
      "context": {
        "range": [
          8836,
          9797
        ],
        "quote": "\n> [!proof]- 证明\n> 映射\n>\n> $$\n> L\\longmapsto\\mu_L\n> $$\n>\n> 显然给出了矩阵空间与二次多项式空间之间的[<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">向量空间(vector space)</u>](../../../../../concepts/linear-algebra/vector-space)同构。为证明它也是李代数同构，可利用泊松括号的雅可比恒等式：\n>\n> $$\n> \\begin{aligned}\n> &\\{\\mu_L,\\{\\mu_{L'},\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}\\}\n> -\\{\\mu_{L'},\\{\\mu_L,\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}\\}\\\\\n> &\\qquad=\\{\\{\\mu_L,\\mu_{L'}\\},\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}\n> \\end{aligned}\n> $$\n>\n> 该式左侧为 $\\mathbf c_q''\\cdot\\mathbf q+\\mathbf c_p''\\cdot\\mathbf p$，其中\n>\n> $$\n> \\binom{\\mathbf c_q''}{\\mathbf c_p''}=(LL'-L'L)\\binom{\\mathbf c_q}{\\mathbf c_p}\n> $$\n>\n> 因此，右侧的线性映射由下式给出：\n>\n> $$\n> \\{\\mu_L,\\mu_{L'}\\}=\\mu_{[L,L']}\n> $$\n>\n> $\\square$\n",
        "quote_sha256": "72f0035a737139dd8d50e82b99f12373c0b5b381026d4378a079bb12f4472010",
        "environment": "proof",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-16/07-the-case-of-arbitrary-d",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-38ced4cce52216c6a9c111ec"
    },
    {
      "concept_id": "urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-16/07-the-case-of-arbitrary-d",
      "anchor": "equation-16-22",
      "chapter": "16",
      "section": "16.3",
      "offset": 2883,
      "range": [
        8585,
        8843
      ],
      "source_revision": "7eb0d664eea4b8e9ca841cdd34447dfd79c48b8ee311d58ece9718fa544f0838",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "vector space",
      "context": {
        "range": [
          8514,
          9644
        ],
        "quote": "\n> [!proof]- Proof\n> The map\n>\n> $$\n> L\\longmapsto\\mu_L\n> $$\n>\n> is a [<u class=\"concept-term\" data-concept-reference=\"concepts/linear-algebra/vector-space\" data-concept-identity=\"urn:uuid:54e19cc9-1e38-4128-acaa-80499dfd908c\" data-concept-route=\"/concept-identities#concept-54e19cc9-1e38-4128-acaa-80499dfd908c\">vector space</u>](../../../../../concepts/linear-algebra/vector-space) isomorphism from the matrices to the quadratic polynomials. To show that it is a Lie-algebra isomorphism, use the Jacobi identity for the Poisson bracket:\n>\n> $$\n> \\begin{aligned}\n> &\\{\\mu_L,\\{\\mu_{L'},\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}\\}\n> -\\{\\mu_{L'},\\{\\mu_L,\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}\\}\\\\\n> &\\qquad=\\{\\{\\mu_L,\\mu_{L'}\\},\\mathbf c_q\\cdot\\mathbf q+\\mathbf c_p\\cdot\\mathbf p\\}.\n> \\end{aligned}\n> $$\n>\n> The left-hand side is $\\mathbf c_q''\\cdot\\mathbf q+\\mathbf c_p''\\cdot\\mathbf p$, where\n>\n> $$\n> \\binom{\\mathbf c_q''}{\\mathbf c_p''}=(LL'-L'L)\\binom{\\mathbf c_q}{\\mathbf c_p}.\n> $$\n>\n> Therefore, the linear map on the right is given by\n>\n> $$\n> \\{\\mu_L,\\mu_{L'}\\}=\\mu_{[L,L']}.\n> $$\n>\n> $\\square$\n",
        "quote_sha256": "e098c4bb696f6d4c46e620867ea06204c44ae3b7caba59806695bbcb482868f2",
        "environment": "proof",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-16/07-the-case-of-arbitrary-d",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-3589c9607ed7f2d9dc0d3141"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-03/02-vector-spaces",
      "lang": "zh-CN",
      "section": "3.2",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 330
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/index",
      "lang": "zh-CN",
      "section": "4",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 607
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/01-vector-spaces-and-linear-maps",
      "lang": "en",
      "section": "4.1",
      "signal": "term-mark",
      "label": "vector space",
      "english": "vector space",
      "offset": 420
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/01-vector-spaces-and-linear-maps",
      "lang": "zh-CN",
      "section": "4.1",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 420
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "lang": "zh-CN",
      "section": "4.2",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 364
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
      "lang": "en",
      "section": "6.1",
      "signal": "term-mark",
      "label": "vector space",
      "english": "vector space",
      "offset": 4671
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
      "lang": "zh-CN",
      "section": "6.1",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 3857
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
      "lang": "en",
      "section": "6.2",
      "signal": "term-mark",
      "label": "vector space",
      "english": "vector space",
      "offset": 4932
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
      "lang": "zh-CN",
      "section": "6.2",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 3808
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-07/04-complex-projective-space",
      "lang": "zh-CN",
      "section": "7.4",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 953
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "lang": "en",
      "section": "7.5",
      "signal": "term-mark",
      "label": "vector space",
      "english": "vector space",
      "offset": 6908
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-16/07-the-case-of-arbitrary-d",
      "lang": "en",
      "section": "16.3",
      "signal": "term-mark",
      "label": "vector space",
      "english": "vector space",
      "offset": 2883
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-16/07-the-case-of-arbitrary-d",
      "lang": "zh-CN",
      "section": "16.3",
      "signal": "term-mark",
      "label": "向量空间",
      "english": "vector space",
      "offset": 2372
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "[方程 3.5](../chapter-03/02-commutation-relations-for-pauli-matrices#equation-3-5)",
      "href": "../chapter-03/02-commutation-relations-for-pauli-matrices#equation-3-5",
      "range": [
        12663,
        12743
      ],
      "relation": "references",
      "target_route": "books/woit-qtgr/2025-10-20/zh/chapter-03/02-commutation-relations-for-pauli-matrices",
      "target_anchor": "equation-3-5",
      "resolved": true,
      "reason": null,
      "source_revision": "ecece04eca2e438d0f7e3a6772c77b70e817b3510d427b2a5218ae21ace6067c",
      "source_route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
      "occurrence_id": "occ-7b03e156bb43228d5839bf27"
    },
    {
      "raw": "[equation 3.5](../chapter-03/02-commutation-relations-for-pauli-matrices#equation-3-5)",
      "href": "../chapter-03/02-commutation-relations-for-pauli-matrices#equation-3-5",
      "range": [
        12747,
        12833
      ],
      "relation": "references",
      "target_route": "books/woit-qtgr/2025-10-20/en/chapter-03/02-commutation-relations-for-pauli-matrices",
      "target_anchor": "equation-3-5",
      "resolved": true,
      "reason": null,
      "source_revision": "26ab6dbd8d2fd3c616b729e1722972628cde2749e0fc848504d63c6e68828748",
      "source_route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
      "occurrence_id": "occ-18d415670f5319fa9b00d3df"
    },
    {
      "raw": "[equation 7.5](#equation-7-5)",
      "href": "#equation-7-5",
      "range": [
        15861,
        15890
      ],
      "relation": "references",
      "target_route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "target_anchor": "equation-7-5",
      "resolved": true,
      "reason": null,
      "source_revision": "6f8c687b0a6feb674feacdbe88d4253a08f9fdcc131e7a7b299a069f0c255fc6",
      "source_route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "occurrence_id": "occ-a538e7215e533da950f1b4ea"
    },
    {
      "raw": "[equation 7.6](#equation-7-6)",
      "href": "#equation-7-6",
      "range": [
        17271,
        17300
      ],
      "relation": "references",
      "target_route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "target_anchor": "equation-7-6",
      "resolved": true,
      "reason": null,
      "source_revision": "6f8c687b0a6feb674feacdbe88d4253a08f9fdcc131e7a7b299a069f0c255fc6",
      "source_route": "books/woit-qtgr/2025-10-20/en/chapter-07/05-the-bloch-sphere",
      "occurrence_id": "occ-a538e7215e533da950f1b4ea"
    }
  ],
  "reading_order": [
    "occ-fe47eb37a2ac2665f8e94346",
    "occ-e124e8a791e4dc284bac8417",
    "occ-820674a9f5e7e6be6217c074",
    "occ-57de005390badd1cca6cc7d4",
    "occ-51cfd05dad5c9d0565d22dfe",
    "occ-7b03e156bb43228d5839bf27",
    "occ-18d415670f5319fa9b00d3df",
    "occ-0e7f24b575f54b62ff905c29",
    "occ-ecfd98c0c172eaba2768c712",
    "occ-49c13704b1350bbb69bf21b1",
    "occ-a538e7215e533da950f1b4ea",
    "occ-38ced4cce52216c6a9c111ec",
    "occ-3589c9607ed7f2d9dc0d3141"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 13,
    "located_occurrences": 13,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "440529a2b9b16b68637934a8b417aae453b38623ae3793e57f822e5948fbeb91",
  "optional_enrichments": []
}
