{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:0e2d5395-c9d1-498d-8e23-b70a76943307",
  "labels": {
    "zh-CN": "帕塞瓦尔恒等式",
    "en": "Parseval’s identity"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "9b863282fee69503e824c2ba115dce816ed620187be55c182f24130cfb84f9bc",
  "occurrences": [
    {
      "concept_id": "urn:uuid:0e2d5395-c9d1-498d-8e23-b70a76943307",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/02-expansion-theorems",
      "anchor": "first-f230af882cbb22d24846-zh",
      "chapter": "13",
      "section": "13.2",
      "offset": 14486,
      "range": [
        20206,
        21592
      ],
      "source_revision": "2913b8cf4fc112622678a915c6e45b573f91ff3af20f5fd0ef42212378b2f439",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "zh/chapter-13/02-expansion-theorems",
          "lang": "zh-CN",
          "section": "13.2",
          "signal": "named-theorem",
          "label": "帕塞瓦尔恒等式",
          "english": "Parseval’s identity",
          "offset": 12884
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-6\">定理 13.6</a> · 帕塞瓦尔恒等式 (Parseval’s identity)",
      "context": {
        "range": [
          20206,
          21592
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-6\">定理 13.6</a> · 帕塞瓦尔恒等式 (Parseval’s identity)\n>\n> <span id=\"equation-13-7\" class=\"block-anchor\"></span>\n>\n> $$\n> \\langle u \\mid v\\rangle=\\sum_{i=1}^{\\infty}\\left\\langle u \\mid e_{i}\\right\\rangle\\left\\langle e_{i} \\mid v\\right\\rangle\\tag{13.7}\n> $$\n\n> [!proof]- 证明\n>\n> 用<a href=\"#theorem-13-2\" class=\"cross-reference\" id=\"xref-02-expansion-theorems-11\" data-reference=\"theorem-13-2\">定理13.2</a>，$n\\rightarrow \\infty$时，$u_n\\rightarrow u$而且$v_n\\rightarrow v$，使用<a href=\"#lemma-13-5\" class=\"cross-reference\" id=\"xref-02-expansion-theorems-12\" data-reference=\"lemma-13-5\">引理13.5</a>\n>\n> $$\n> \\begin{aligned}\n> \\langle u \\mid v\\rangle &=\\lim _{n \\rightarrow \\infty}\\left\\langle u_{n} \\mid v_{n}\\right\\rangle \\\\[1em]\n> &=\\lim _{n \\rightarrow \\infty} \\sum_{i=1}^{n} \\sum_{j=1}^{n} \\overline{\\left\\langle e_{i} \\mid u\\right\\rangle}\\left\\langle e_{j} \\mid v\\right\\rangle\\left\\langle e_{i} \\mid e_{j}\\right\\rangle \\\\[1em]\n> &=\\lim _{n \\rightarrow \\infty} \\sum_{i=1}^{n} \\sum_{j=1}^{n}\\left\\langle u \\mid e_{i}\\right\\rangle\\left\\langle e_{j} \\mid v\\right\\rangle \\delta_{i j} \\\\[1em]\n> &=\\lim _{n \\rightarrow \\infty} \\sum_{i=1}^{n}\\left\\langle u \\mid e_{i}\\right\\rangle\\left\\langle e_{i} \\mid v\\right\\rangle \\\\[1em]\n> &=\\sum_{i=1}^{\\infty}\\left\\langle u \\mid e_{i}\\right\\rangle\\left\\langle e_{i} \\mid v\\right\\rangle \n> \\end{aligned}\n> $$\n",
        "quote_sha256": "cb100007800838e5f8dce6eabb50051669ec7eb5a52c5c0b91e8c61f1337f511",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-13/02-expansion-theorems",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-355c092bfb2320432bc0ba81"
    },
    {
      "concept_id": "urn:uuid:0e2d5395-c9d1-498d-8e23-b70a76943307",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/02-expansion-theorems",
      "anchor": "first-f230af882cbb22d24846-en",
      "chapter": "13",
      "section": "13.2",
      "offset": 18314,
      "range": [
        23527,
        25647
      ],
      "source_revision": "3dbb5308b938bd923b727ef0043c3d4d7fabaad7a1e15ef399f165be13cf79be",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "en/chapter-13/02-expansion-theorems",
          "lang": "en",
          "section": "13.2",
          "signal": "named-theorem",
          "label": "Parseval’s identity",
          "english": "Parseval’s identity",
          "offset": 16355
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-6\">Theorem 13.6</a> · Parseval’s identity",
      "context": {
        "range": [
          23527,
          25647
        ],
        "quote": null,
        "quote_sha256": "0f49142604bcad5b8623de9c7197356cdbd723fc2a5a6320c9ae20a72a142c23",
        "environment": "theorem",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-13/02-expansion-theorems",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-dd36a30565bc11c59e26a614"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/02-expansion-theorems",
      "lang": "en",
      "section": "13.2",
      "signal": "named-theorem",
      "label": "Parseval’s identity",
      "english": "Parseval’s identity",
      "offset": 16355
    },
    {
      "route": "zh/chapter-13/02-expansion-theorems",
      "lang": "zh-CN",
      "section": "13.2",
      "signal": "named-theorem",
      "label": "帕塞瓦尔恒等式",
      "english": "Parseval’s identity",
      "offset": 12884
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-13-6\"",
      "href": "#theorem-13-6",
      "range": [
        20249,
        20269
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/02-expansion-theorems",
      "target_anchor": "theorem-13-6",
      "resolved": true,
      "reason": null,
      "source_revision": "2913b8cf4fc112622678a915c6e45b573f91ff3af20f5fd0ef42212378b2f439",
      "source_route": "zh/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-355c092bfb2320432bc0ba81"
    },
    {
      "raw": "href=\"#theorem-13-2\"",
      "href": "#theorem-13-2",
      "range": [
        20540,
        20560
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/02-expansion-theorems",
      "target_anchor": "theorem-13-2",
      "resolved": true,
      "reason": null,
      "source_revision": "2913b8cf4fc112622678a915c6e45b573f91ff3af20f5fd0ef42212378b2f439",
      "source_route": "zh/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-355c092bfb2320432bc0ba81"
    },
    {
      "raw": "href=\"#lemma-13-5\"",
      "href": "#lemma-13-5",
      "range": [
        20728,
        20746
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/02-expansion-theorems",
      "target_anchor": "lemma-13-5",
      "resolved": true,
      "reason": null,
      "source_revision": "2913b8cf4fc112622678a915c6e45b573f91ff3af20f5fd0ef42212378b2f439",
      "source_route": "zh/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-355c092bfb2320432bc0ba81"
    },
    {
      "raw": "href=\"#theorem-13-6\"",
      "href": "#theorem-13-6",
      "range": [
        23570,
        23590
      ],
      "relation": "references",
      "target_route": "en/chapter-13/02-expansion-theorems",
      "target_anchor": "theorem-13-6",
      "resolved": true,
      "reason": null,
      "source_revision": "3dbb5308b938bd923b727ef0043c3d4d7fabaad7a1e15ef399f165be13cf79be",
      "source_route": "en/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-dd36a30565bc11c59e26a614"
    },
    {
      "raw": "href=\"#theorem-13-2\"",
      "href": "#theorem-13-2",
      "range": [
        24092,
        24112
      ],
      "relation": "references",
      "target_route": "en/chapter-13/02-expansion-theorems",
      "target_anchor": "theorem-13-2",
      "resolved": true,
      "reason": null,
      "source_revision": "3dbb5308b938bd923b727ef0043c3d4d7fabaad7a1e15ef399f165be13cf79be",
      "source_route": "en/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-dd36a30565bc11c59e26a614"
    },
    {
      "raw": "href=\"#lemma-13-5\"",
      "href": "#lemma-13-5",
      "range": [
        24318,
        24336
      ],
      "relation": "references",
      "target_route": "en/chapter-13/02-expansion-theorems",
      "target_anchor": "lemma-13-5",
      "resolved": true,
      "reason": null,
      "source_revision": "3dbb5308b938bd923b727ef0043c3d4d7fabaad7a1e15ef399f165be13cf79be",
      "source_route": "en/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-dd36a30565bc11c59e26a614"
    },
    {
      "raw": "href=\"#example-13-6\"",
      "href": "#example-13-6",
      "range": [
        25343,
        25363
      ],
      "relation": "references",
      "target_route": "en/chapter-13/02-expansion-theorems",
      "target_anchor": "example-13-6",
      "resolved": true,
      "reason": null,
      "source_revision": "3dbb5308b938bd923b727ef0043c3d4d7fabaad7a1e15ef399f165be13cf79be",
      "source_route": "en/chapter-13/02-expansion-theorems",
      "occurrence_id": "occ-dd36a30565bc11c59e26a614"
    }
  ],
  "reading_order": [
    "occ-355c092bfb2320432bc0ba81",
    "occ-dd36a30565bc11c59e26a614"
  ],
  "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": "9beac1be9f1e75d084d266a939a2878a47dc4fbda8e22cc846ed87cbb3f9eb57",
  "optional_enrichments": []
}