{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:b731fa52-a18c-41d3-b817-67eb77e84ee3",
"labels": {
"zh-CN": "傅里叶级数",
"en": "Fourier series"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "87f6c0de51543214a2cae135c613adc265df69114ec0790eb18d55b1133e345f",
"occurrences": [
{
"concept_id": "urn:uuid:b731fa52-a18c-41d3-b817-67eb77e84ee3",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"anchor": "first-12a910793de1a38ee826-zh",
"chapter": "11",
"section": "11.1",
"offset": 2384,
"range": [
9416,
9812
],
"source_revision": "c0255c009e5129ae7de8245393bbba6fec9042dc764740e4611f469c296b26ed",
"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-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "zh-CN",
"section": "11.1",
"signal": "named-theorem",
"label": "傅里叶级数",
"english": "",
"offset": 2314
}
},
"label": "> [!theorem] 定理 11.1（傅里叶级数）",
"context": {
"range": [
9416,
9812
],
"quote": "\n> [!theorem] 定理 11.1（傅里叶级数）\n> 若 $\\psi\\in L^2(S^1)$，则\n>\n> $$\n> | \\psi \\rangle = \\psi (\\phi) = \\sum_ {n = - \\infty} ^ {+ \\infty} c _ {n} e ^ {i n \\phi} = \\sum_ {n = - \\infty} ^ {+ \\infty} c _ {n} | n \\rangle\n> $$\n>\n> 其中\n>\n> $$\n> c _ {n} = \\langle n | \\psi \\rangle = \\frac {1}{2 \\pi} \\int_ {0} ^ {2 \\pi} e ^ {- i n \\phi} \\psi (\\phi) d \\phi\n> $$\n",
"quote_sha256": "600c6d690c773247a61bf752155bbf718ea6a2211b87cef152b4730e785b2cff",
"environment": "theorem",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-a1e74a7d32fd5ba175253bcb"
},
{
"concept_id": "urn:uuid:b731fa52-a18c-41d3-b817-67eb77e84ee3",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"anchor": "first-993b36dd8b0dd2510fd0-en",
"chapter": "11",
"section": "11.1",
"offset": 3914,
"range": [
10102,
10521
],
"source_revision": "ab489892c630c6222deaa72354b713642fd5130ed9fffa8ee4d328490d9f2c4e",
"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-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "en",
"section": "11.1",
"signal": "named-theorem",
"label": "Fourier series",
"english": "Fourier series",
"offset": 3844
}
},
"label": "> [!theorem] Theorem 11.1 (Fourier series)",
"context": {
"range": [
10102,
10521
],
"quote": "\n> [!theorem] Theorem 11.1 (Fourier series)\n> If $\\psi\\in L^2(S^1)$, then\n>\n> $$\n> | \\psi \\rangle = \\psi (\\phi) = \\sum_ {n = - \\infty} ^ {+ \\infty} c _ {n} e ^ {i n \\phi} = \\sum_ {n = - \\infty} ^ {+ \\infty} c _ {n} | n \\rangle\n> $$\n>\n> where\n>\n> $$\n> c _ {n} = \\langle n | \\psi \\rangle = \\frac {1}{2 \\pi} \\int_ {0} ^ {2 \\pi} e ^ {- i n \\phi} \\psi (\\phi) d \\phi\n> $$\n",
"quote_sha256": "d45e0a286c8532379d8d3361e7a2db9931db09cde3e2e503833ebefcd150f3d2",
"environment": "theorem",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-adc3131f15fa0a799330db5e"
}
],
"registered_positions": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "en",
"section": "11.1",
"signal": "named-theorem",
"label": "Fourier series",
"english": "Fourier series",
"offset": 3844
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"lang": "zh-CN",
"section": "11.1",
"signal": "named-theorem",
"label": "傅里叶级数",
"english": "",
"offset": 2314
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#theorem-11-1\"",
"href": "#theorem-11-1",
"range": [
9458,
9478
],
"relation": "references",
"target_route": "books/woit-qtgr/2025-10-20/zh/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"target_anchor": "theorem-11-1",
"resolved": true,
"reason": null,
"source_revision": "c0255c009e5129ae7de8245393bbba6fec9042dc764740e4611f469c296b26ed",
"source_route": "books/woit-qtgr/2025-10-20/zh/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"occurrence_id": "occ-a1e74a7d32fd5ba175253bcb"
},
{
"raw": "href=\"#theorem-11-1\"",
"href": "#theorem-11-1",
"range": [
10144,
10164
],
"relation": "references",
"target_route": "books/woit-qtgr/2025-10-20/en/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"target_anchor": "theorem-11-1",
"resolved": true,
"reason": null,
"source_revision": "ab489892c630c6222deaa72354b713642fd5130ed9fffa8ee4d328490d9f2c4e",
"source_route": "books/woit-qtgr/2025-10-20/en/chapter-11/01-periodic-boundary-conditions-and-the-group-u-1",
"occurrence_id": "occ-adc3131f15fa0a799330db5e"
}
],
"reading_order": [
"occ-a1e74a7d32fd5ba175253bcb",
"occ-adc3131f15fa0a799330db5e"
],
"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": "318f0dad66a08f3b1a04612355200ff527927d7b0b1ec5f95f00177ca4c1dfab",
"optional_enrichments": []
}