{ "schema_version": 1, "kind": "ConceptView", "producer": "concept-view-1", "concept_id": "urn:uuid:57d0ee24-a7ce-4e13-a210-4cc1e3b00b56", "labels": { "zh-CN": "幂等算符", "en": "idempotent operator" }, "alternative_labels": [], "scope_note": "", "identity_status": "active", "identity_revision": "57ceaa576ea669ae81a804a16c5d0bd2e91c58c9535756c7ca6f3b37668ab8d7", "occurrences": [ { "concept_id": "urn:uuid:57d0ee24-a7ce-4e13-a210-4cc1e3b00b56", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "lang": "zh-CN", "route": "zh/chapter-03/04-vector-subspaces-and-quotient-spaces", "anchor": "concept-3-idempotent-operator", "chapter": "3", "section": "3.4", "offset": 17158, "range": [ 22605, 22849 ], "source_revision": "5e192a5ec5cd24526f23e59ffb55d3e65fc52c6d3cbbd879b5f4f4f324fab7a9", "source_category": "translation", "review_status": "unreviewed", "role": "occurrence", "role_basis": { "kind": "explicit-source-uuid-marker" }, "label": "幂等算符(idempotent operator)", "context": { "range": [ 22200, 23050 ], "quote": "> [!exercise] 习题 3.6 \n>\n> 设 $V = U \\oplus W$，并设 $v = u + w$ 为向量 $v$ 分解为来自 $u \\in U$ 与 $w \\in W$ 的向量之和的唯一分解。定义投影映射 $P _ { U } : V \\to U$ 与 $P _ { W } : V \\to$ $W$ 为\n>\n> $$\n> P _ {U} (v) = u, \\qquad P _ {W} (v) = w.\n> $$\n>\n> 证明\n>\n> (a) $P _ { U } ^ { 2 } = P _ { U }$ 与 $P _ { W } ^ { 2 } = P _ { W }$\n>\n> (b) 证明：若 $P : V \\to V$ 是满足 $P ^ { 2 } = P$ 的算符，称为幂等算符(idempotent operator)，则存在子空间 $U$，使得 $P = P _ { U } . [ H i n t ;$ 令 $U = \\{ u \\vert P u = u \\}$ 和 $\\mathcal { W } = \\{ w \\vert P w = 0 \\}$，并证明它们是互补子空间，使得 $P = P _ { U }$ 和 $P _ { \\cal W } = \\mathrm { i d } _ { V } - P . ]$", "quote_sha256": "68ab5da317b106a069e17819106341984c7a28ee764ea914dd366f0a4baa3974", "environment": null, "excerpt_omitted": false }, "parallel_readings": [ { "route": "en/chapter-03/04-vector-subspaces-and-quotient-spaces", "lang": "en", "source_category": "original_transcription", "basis": "registered-book-edition-section-language-context; not-concept-equivalence" } ], "id": "occ-e993aca479dd2b68273d78cf" }, { "concept_id": "urn:uuid:57d0ee24-a7ce-4e13-a210-4cc1e3b00b56", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "lang": "zh-CN", "route": "zh/chapter-13/04-bounded-linear-operators", "anchor": "concept-13-idempotent-operator", "chapter": "13", "section": "13.4", "offset": 13729, "range": [ 19607, 19852 ], "source_revision": "194ca7b68e093551807e302c52f29521e73d76a77f31f6fd5b10ca6c3ee642c4", "source_category": "translation", "review_status": "unreviewed", "role": "occurrence", "role_basis": { "kind": "explicit-source-uuid-marker" }, "label": "幂等算符(idempotent operator)", "context": { "range": [ 19398, 22144 ], "quote": null, "quote_sha256": "a261cb42adec24c3424dac7b61640aa88c74a5026387e65fcfef29feaa06199a", "environment": "theorem", "excerpt_omitted": true }, "parallel_readings": [ { "route": "en/chapter-13/04-bounded-linear-operators", "lang": "en", "source_category": "original_transcription", "basis": "registered-book-edition-section-language-context; not-concept-equivalence" } ], "id": "occ-866b36125e76b48e53d5fe83" }, { "concept_id": "urn:uuid:57d0ee24-a7ce-4e13-a210-4cc1e3b00b56", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "lang": "en", "route": "en/chapter-13/04-bounded-linear-operators", "anchor": "first-4b64d8ade3f383ecc1b9-en", "chapter": "13", "section": "13.4", "offset": 18934, "range": [ 24303, 24541 ], "source_revision": "eb0725f6ab7fc44fa4ee614b878f2ec644f55a6b84b31a4afac5555a1c5df299", "source_category": "original_transcription", "review_status": "unreviewed", "role": "occurrence", "role_basis": { "kind": "explicit-source-uuid-marker" }, "label": "idempotent operator", "context": { "range": [ 24007, 27174 ], "quote": null, "quote_sha256": "6a0d8308dc7c0b6686384ea73a3614c939c905f5c1af7c9aba1cad8d72e4eb90", "environment": "theorem", "excerpt_omitted": true }, "parallel_readings": [ { "route": "zh/chapter-13/04-bounded-linear-operators", "lang": "zh-CN", "source_category": "translation", "basis": "registered-book-edition-section-language-context; not-concept-equivalence" } ], "id": "occ-6c5676125e73e02d14b3f7e2" } ], "registered_positions": [ { "route": "zh/chapter-03/04-vector-subspaces-and-quotient-spaces", "lang": "zh-CN", "section": "3.4", "signal": "term-mark", "label": "幂等算符", "english": "idempotent operator", "offset": 15768 }, { "route": "en/chapter-13/04-bounded-linear-operators", "lang": "en", "section": "13.4", "signal": "term-mark", "label": "idempotent operator", "english": "idempotent operator", "offset": 16966 }, { "route": "zh/chapter-13/04-bounded-linear-operators", "lang": "zh-CN", "section": "13.4", "signal": "term-mark", "label": "幂等算符", "english": "idempotent operator", "offset": 12197 } ], "statements": [], "resolved_references": [ { "raw": "href=\"#problem-3-6\"", "href": "#problem-3-6", "range": [ 22242, 22261 ], "relation": "references", "target_route": "zh/chapter-03/04-vector-subspaces-and-quotient-spaces", "target_anchor": "problem-3-6", "resolved": true, "reason": null, "source_revision": "5e192a5ec5cd24526f23e59ffb55d3e65fc52c6d3cbbd879b5f4f4f324fab7a9", "source_route": "zh/chapter-03/04-vector-subspaces-and-quotient-spaces", "occurrence_id": "occ-e993aca479dd2b68273d78cf" }, { "raw": "href=\"#theorem-13-14\"", "href": "#theorem-13-14", "range": [ 19441, 19462 ], "relation": "references", "target_route": "zh/chapter-13/04-bounded-linear-operators", "target_anchor": "theorem-13-14", "resolved": true, "reason": null, "source_revision": "194ca7b68e093551807e302c52f29521e73d76a77f31f6fd5b10ca6c3ee642c4", "source_route": "zh/chapter-13/04-bounded-linear-operators", "occurrence_id": "occ-866b36125e76b48e53d5fe83" }, { "raw": "href=\"#theorem-13-14\"", "href": "#theorem-13-14", "range": [ 24050, 24071 ], "relation": "references", "target_route": "en/chapter-13/04-bounded-linear-operators", "target_anchor": "theorem-13-14", "resolved": true, "reason": null, "source_revision": "eb0725f6ab7fc44fa4ee614b878f2ec644f55a6b84b31a4afac5555a1c5df299", "source_route": "en/chapter-13/04-bounded-linear-operators", "occurrence_id": "occ-6c5676125e73e02d14b3f7e2" } ], "reading_order": [ "occ-e993aca479dd2b68273d78cf", "occ-866b36125e76b48e53d5fe83", "occ-6c5676125e73e02d14b3f7e2" ], "recorded_dependencies": [], "reading_paths": [], "coverage": { "registered_positions": 3, "located_occurrences": 3, "whole_book_search_complete": false, "registered_positions_truncated": false, "independent_human_review_implied": false }, "unresolved": [], "base_revision": "ece92feade0291a400e7e07b00aeed35bacc988cd8d6f536f9896eddfae44002", "optional_enrichments": [] }