{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:4c5b32a9-4d9f-4f2b-804a-12c487399d39",
"labels": {
"zh-CN": "自伴矩阵的谱定理",
"en": "Spectral theorem for self-adjoint matrices"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "4c87d521dbed946d5b31b84185d0c7190585b5921545ff1872d82186a78f1df1",
"occurrences": [
{
"concept_id": "urn:uuid:4c5b32a9-4d9f-4f2b-804a-12c487399d39",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"anchor": "first-6c94bd48e99862283c91-en",
"chapter": "4",
"section": "4.7",
"offset": 1560,
"range": [
7967,
8523
],
"source_revision": "a2d70051407e31cf6687c7b37dd99a8bf0f399048a5e543a5d7c23f1f056fe8e",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "en",
"section": "4.7",
"signal": "named-theorem",
"label": "Spectral theorem for self-adjoint matrices",
"english": "Spectral theorem for self-adjoint matrices",
"offset": 1490
}
},
"label": "> [!theorem] Theorem 4.1 (Spectral theorem for self-adjoint matrices)",
"context": {
"range": [
7967,
8523
],
"quote": "\n\n> [!theorem] Theorem 4.1 (Spectral theorem for self-adjoint matrices)\n>\n> \n>\n> Given a self-adjoint complex $n$ by $n$ matrix $L$, there exists a unitary matrix $U$ such that\n>\n> \n>\n> $$\n> U L U ^ {- 1} = D\n> $$\n>\n> \n>\n> where $D$ is a diagonal matrix with entries $D _ { j j } = \\lambda _ { j } , \\lambda _ { j } \\in \\mathbf { R }$.\n",
"quote_sha256": "c17b9cb8d2ecbec8acb11669e433218c8d9b89a65c099c6a73cfaa84569fc739",
"environment": "theorem",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-120db0112bdc3a559a77e8f7"
},
{
"concept_id": "urn:uuid:4c5b32a9-4d9f-4f2b-804a-12c487399d39",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"anchor": "first-95a38030b29b01d5927d-zh",
"chapter": "4",
"section": "4.7",
"offset": 2004,
"range": [
9177,
9614
],
"source_revision": "8286f925db1403c9f914ba0ff3d431f42dd161d85f19656a9a0833745e908bd2",
"source_category": "translation",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "zh-CN",
"section": "4.7",
"signal": "named-theorem",
"label": "自伴矩阵的谱定理",
"english": "",
"offset": 1431
}
},
"label": "> [!theorem] 定理 4.1（自伴矩阵的谱定理）",
"context": {
"range": [
9177,
9614
],
"quote": "\n\n> [!theorem] 定理 4.1（自伴矩阵的谱定理） \n>\n> \n>\n> 给定一个自伴复 $n$ 乘 $n$ 矩阵 $L$，存在一个酉矩阵 $U$，使得\n>\n> \n>\n> $$\n> U L U ^ {- 1} = D\n> $$\n>\n> \n>\n> 其中 $D$ 是一个对角矩阵，其元素为 $D _ { j j } = \\lambda _ { j } , \\lambda _ { j } \\in \\mathbf { R }$。\n",
"quote_sha256": "dd9d3f14599e03ed9bfee83a951dfb22b32ae0971a82375fc5b3e7d9303670bf",
"environment": "theorem",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-f8f8ad12352bb29a6d392fa6"
}
],
"registered_positions": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "en",
"section": "4.7",
"signal": "named-theorem",
"label": "Spectral theorem for self-adjoint matrices",
"english": "Spectral theorem for self-adjoint matrices",
"offset": 1490
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"lang": "zh-CN",
"section": "4.7",
"signal": "named-theorem",
"label": "自伴矩阵的谱定理",
"english": "",
"offset": 1431
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#theorem-4-1\"",
"href": "#theorem-4-1",
"range": [
8010,
8029
],
"relation": "references",
"target_route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"target_anchor": "theorem-4-1",
"resolved": true,
"reason": null,
"source_revision": "a2d70051407e31cf6687c7b37dd99a8bf0f399048a5e543a5d7c23f1f056fe8e",
"source_route": "books/woit-qtgr/2025-10-20/en/chapter-04/07-eigenvalues-and-eigenvectors",
"occurrence_id": "occ-120db0112bdc3a559a77e8f7"
},
{
"raw": "href=\"#theorem-4-1\"",
"href": "#theorem-4-1",
"range": [
9220,
9239
],
"relation": "references",
"target_route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"target_anchor": "theorem-4-1",
"resolved": true,
"reason": null,
"source_revision": "8286f925db1403c9f914ba0ff3d431f42dd161d85f19656a9a0833745e908bd2",
"source_route": "books/woit-qtgr/2025-10-20/zh/chapter-04/07-eigenvalues-and-eigenvectors",
"occurrence_id": "occ-f8f8ad12352bb29a6d392fa6"
}
],
"reading_order": [
"occ-120db0112bdc3a559a77e8f7",
"occ-f8f8ad12352bb29a6d392fa6"
],
"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": "3fee6a0c6ff34b52e7637668c7cc2bb78f4936833bc5fb970520f41dbbf64f9a",
"optional_enrichments": []
}