{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:c220fb5a-3d41-491f-865c-8b2a4c28fa3f",
"labels": {
"zh-CN": "闵可夫斯基向量空间",
"en": "Minkowski vector space"
},
"alternative_labels": [
{
"lang": "en",
"value": "Minkowski space"
},
{
"lang": "zh-CN",
"value": "闵可夫斯基空间"
}
],
"scope_note": "§40.1 defines R^4 with a Lorentzian inner product.",
"identity_status": "active",
"identity_revision": "87897077076f6838e584fc541b4b2ee98218bdf029f6f13d4448d2400b6c1449",
"occurrences": [
{
"concept_id": "urn:uuid:c220fb5a-3d41-491f-865c-8b2a4c28fa3f",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"anchor": "first-5f65d3b7cad0ac9ea86e-zh",
"chapter": "40",
"section": "40.1",
"offset": 281,
"range": [
7239,
8092
],
"source_revision": "2a37013ea3e21a0abc3ec93a5a32dfcb01bccdda472b8ba743698af3b1cd3960",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "definition",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"lang": "zh-CN",
"section": "40.1",
"signal": "named-definition",
"label": "闵可夫斯基空间",
"english": "",
"offset": 211
}
},
"label": "> [!definition] 定义 · 闵可夫斯基空间",
"context": {
"range": [
7239,
8092
],
"quote": "\n\n> [!definition] 定义 · 闵可夫斯基空间\n>\n> [闵可夫斯基空间(Minkowski space)](../../../../../concepts/geometry/minkowski-space) $M^4$ 是带下列不定内积的向量空间 $\\mathbb R^4$：\n>\n> $$\n> (x,y)\\equiv x\\cdot y=-x_0y_0+x_1y_1+x_2y_2+x_3y_3.\n> $$\n>\n> 其中 $(x_0,x_1,x_2,x_3)$ 与 $(y_0,y_1,y_2,y_3)$ 分别是 $x,y\\in\\mathbb R^4$ 的坐标。\n\n> [!theorem] 拓展 · 符号约定\n>\n> *采用 $(-,+,+,+)$ 符号约定，理由如下：*\n>\n> - *把时间变量 $x_0$ 解析延拓为 $ix_0$ 后，内积变为正定。*\n>\n> - *限制到空间分量时，此前关于欧氏空间对称群 $E(3)$ 的公式保持原样。*\n>\n> - *这一选择允许实旋量表示，因为 $\\operatorname{Cliff}(3,1)=M(4,\\mathbb R)\\ne\\operatorname{Cliff}(1,3)$。*\n>\n> - *Weinberg的教材[100]也用此约定；但这里将第0个分量放在最前面。*\n",
"quote_sha256": "1899f295ddac631afb921d4990a4e42d65b5744f4889c6c1539127d046f18de6",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-ec7911e2710a30056f046795"
},
{
"concept_id": "urn:uuid:c220fb5a-3d41-491f-865c-8b2a4c28fa3f",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"anchor": "first-d231792fa1ef91da6bdc-zh",
"chapter": "40",
"section": "40.1",
"offset": 317,
"range": [
7275,
7577
],
"source_revision": "2a37013ea3e21a0abc3ec93a5a32dfcb01bccdda472b8ba743698af3b1cd3960",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "闵可夫斯基空间(Minkowski space)",
"context": {
"range": [
7239,
8092
],
"quote": "\n\n> [!definition] 定义 · 闵可夫斯基空间\n>\n> [闵可夫斯基空间(Minkowski space)](../../../../../concepts/geometry/minkowski-space) $M^4$ 是带下列不定内积的向量空间 $\\mathbb R^4$：\n>\n> $$\n> (x,y)\\equiv x\\cdot y=-x_0y_0+x_1y_1+x_2y_2+x_3y_3.\n> $$\n>\n> 其中 $(x_0,x_1,x_2,x_3)$ 与 $(y_0,y_1,y_2,y_3)$ 分别是 $x,y\\in\\mathbb R^4$ 的坐标。\n\n> [!theorem] 拓展 · 符号约定\n>\n> *采用 $(-,+,+,+)$ 符号约定，理由如下：*\n>\n> - *把时间变量 $x_0$ 解析延拓为 $ix_0$ 后，内积变为正定。*\n>\n> - *限制到空间分量时，此前关于欧氏空间对称群 $E(3)$ 的公式保持原样。*\n>\n> - *这一选择允许实旋量表示，因为 $\\operatorname{Cliff}(3,1)=M(4,\\mathbb R)\\ne\\operatorname{Cliff}(1,3)$。*\n>\n> - *Weinberg的教材[100]也用此约定；但这里将第0个分量放在最前面。*\n",
"quote_sha256": "1899f295ddac631afb921d4990a4e42d65b5744f4889c6c1539127d046f18de6",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-998d99a3f1b8d747f029cbde"
},
{
"concept_id": "urn:uuid:c220fb5a-3d41-491f-865c-8b2a4c28fa3f",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"anchor": "first-d231792fa1ef91da6bdc-en",
"chapter": "40",
"section": "40.1",
"offset": 416,
"range": [
6535,
7653
],
"source_revision": "1dc239989b9eb2d24bb869dc7c52239df2b176aa11b82fd7d1d2e2cf158dc172",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "definition",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"lang": "en",
"section": "40.1",
"signal": "named-definition",
"label": "Minkowski space",
"english": "Minkowski space",
"offset": 346
}
},
"label": "> [!definition] Definition · Minkowski space",
"context": {
"range": [
6535,
7653
],
"quote": "\n\n> [!definition] Definition · Minkowski space\n>\n> [Minkowski space](../../../../../concepts/geometry/minkowski-space) $M^4$ is $\\mathbb R^4$ with the indefinite inner product\n>\n> $$\n> (x,y)\\equiv x\\cdot y=-x_0y_0+x_1y_1+x_2y_2+x_3y_3.\n> $$\n>\n> Here $(x_0,x_1,x_2,x_3)$ and $(y_0,y_1,y_2,y_3)$ are the coordinates of $x,y\\in\\mathbb R^4$.\n\n> [!theorem] Digression · Sign convention\n>\n> *We use the $(-,+,+,+)$ rather than $(+,-,-,-)$ convention for these reasons:*\n>\n> - *Analytically continuing $x_0$ to $ix_0$ makes the inner product positive definite.*\n>\n> - *Restricting to spatial components leaves our earlier Euclidean $E(3)$ formulas unchanged.*\n>\n> - *This choice admits a real spinor representation, since $\\operatorname{Cliff}(3,1)=M(4,\\mathbb R)\\ne\\operatorname{Cliff}(1,3)$.*\n>\n> - *Weinberg [100] uses this convention, though we put the zeroth component first.*\n",
"quote_sha256": "0574f60bc492f26db07bb6bebc65c21bf2fae60efecc473883d4c12d708d8013",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-ea9a92d06b8ed4180ab209a0"
},
{
"concept_id": "urn:uuid:c220fb5a-3d41-491f-865c-8b2a4c28fa3f",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"anchor": "first-d231792fa1ef91da6bdc-en",
"chapter": "40",
"section": "40.1",
"offset": 468,
"range": [
6587,
6845
],
"source_revision": "1dc239989b9eb2d24bb869dc7c52239df2b176aa11b82fd7d1d2e2cf158dc172",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "Minkowski space",
"context": {
"range": [
6535,
7653
],
"quote": "\n\n> [!definition] Definition · Minkowski space\n>\n> [Minkowski space](../../../../../concepts/geometry/minkowski-space) $M^4$ is $\\mathbb R^4$ with the indefinite inner product\n>\n> $$\n> (x,y)\\equiv x\\cdot y=-x_0y_0+x_1y_1+x_2y_2+x_3y_3.\n> $$\n>\n> Here $(x_0,x_1,x_2,x_3)$ and $(y_0,y_1,y_2,y_3)$ are the coordinates of $x,y\\in\\mathbb R^4$.\n\n> [!theorem] Digression · Sign convention\n>\n> *We use the $(-,+,+,+)$ rather than $(+,-,-,-)$ convention for these reasons:*\n>\n> - *Analytically continuing $x_0$ to $ix_0$ makes the inner product positive definite.*\n>\n> - *Restricting to spatial components leaves our earlier Euclidean $E(3)$ formulas unchanged.*\n>\n> - *This choice admits a real spinor representation, since $\\operatorname{Cliff}(3,1)=M(4,\\mathbb R)\\ne\\operatorname{Cliff}(1,3)$.*\n>\n> - *Weinberg [100] uses this convention, though we put the zeroth component first.*\n",
"quote_sha256": "0574f60bc492f26db07bb6bebc65c21bf2fae60efecc473883d4c12d708d8013",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-6ee29287ce0ff61a6fc0269d"
}
],
"registered_positions": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"lang": "en",
"section": "40.1",
"signal": "named-definition",
"label": "Minkowski space",
"english": "Minkowski space",
"offset": 346
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-40/01-minkowski-space",
"lang": "en",
"section": "40.1",
"signal": "term-mark",
"label": "Minkowski space",
"english": "Minkowski space",
"offset": 397
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"lang": "zh-CN",
"section": "40.1",
"signal": "term-mark",
"label": "闵可夫斯基空间",
"english": "Minkowski space",
"offset": 246
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-40/01-minkowski-space",
"lang": "zh-CN",
"section": "40.1",
"signal": "named-definition",
"label": "闵可夫斯基空间",
"english": "",
"offset": 211
}
],
"statements": [],
"resolved_references": [],
"reading_order": [
"occ-ec7911e2710a30056f046795",
"occ-998d99a3f1b8d747f029cbde",
"occ-ea9a92d06b8ed4180ab209a0",
"occ-6ee29287ce0ff61a6fc0269d"
],
"recorded_dependencies": [],
"reading_paths": [],
"coverage": {
"registered_positions": 4,
"located_occurrences": 4,
"whole_book_search_complete": false,
"registered_positions_truncated": false,
"independent_human_review_implied": false
},
"unresolved": [],
"base_revision": "5944357b24e182e54bfcf168055d4efd105bc5880ff165d0c9b7a808f6fb3549",
"optional_enrichments": []
}