{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:bc816847-9a37-4e92-840e-b13a6380a072",
  "labels": {
    "zh-CN": "值域",
    "en": "range"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "6b494099a47ab40f36532b109781b4406edecc1b9ff083cc85f1e913e83026b2",
  "occurrences": [
    {
      "concept_id": "urn:uuid:bc816847-9a37-4e92-840e-b13a6380a072",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/06-unbounded-operators",
      "anchor": "concept-13-range",
      "chapter": "13",
      "section": "13.6",
      "offset": 1012,
      "range": [
        7614,
        7829
      ],
      "source_revision": "d45e53fc27c5bf1d2c2121c20ab0e61aeb57067de09a90fd6173850a6fa3d4f2",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "值域(range)",
      "context": {
        "range": [
          6933,
          8060
        ],
        "quote": "对一个希尔伯特空间 $\\mathcal{H}$ 上的线性算符$A$ 而言，若满足如果对于任何 $M>0$ ，存在一个向量 $u$ 使得 $\\|A u \\| \\geq M\\|u\\|$，则算符称为<u id=\"concept-13-unbounded\" class=\"concept-term\" data-concept-identity=\"urn:uuid:909ec15d-c535-4149-b8d5-bf92d3f9da33\" data-concept-route=\"/concept-identities#concept-909ec15d-c535-4149-b8d5-bf92d3f9da33\">无界的(unbounded)</u>。在整个 $\\mathcal{H}$ 上的无界算符中的有趣示例很少 ， 例如自伴算符就根本没有。因此，通常认为无界算子 $A$ 不一定定义在整个 $\\mathcal{H}$ 上，而只定义在某个向量子空间 $D_{A} \\subseteq \\mathcal{H}$ 称为 $A$ 的<u id=\"concept-13-domain\" class=\"concept-term\" data-concept-identity=\"urn:uuid:d091fdbd-b578-4a81-85b8-b28b54ceaf3d\" data-concept-route=\"/concept-identities#concept-d091fdbd-b578-4a81-85b8-b28b54ceaf3d\">定义域(domain)</u>。它的<u id=\"concept-13-range\" class=\"concept-term\" data-concept-identity=\"urn:uuid:bc816847-9a37-4e92-840e-b13a6380a072\" data-concept-route=\"/concept-identities#concept-bc816847-9a37-4e92-840e-b13a6380a072\">值域(range)</u>定义为映射到的向量集合，$R_{A}=A\\left(D_{A}\\right)$。一般来说，我们会用一对 $\\left(A, D_{A}\\right)$，其中 $D_{A}$ 是 $\\mathcal{H}$的向量子空间  且$A: D_{A} \\rightarrow R_{A} \\subseteq \\mathcal{H}$ 是一个线性映射，来指代一个$\\mathcal{H}$ 中的算符。当定义域 $D_{A}$没有歧义时，我们通常会简单地用算符 $A$来指代。",
        "quote_sha256": "7cc8035df3e7973323763e133d3a9814ea5d1c45e2fddc8bc34dd62e2d630ea7",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-13/06-unbounded-operators",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-3421fa1e8c68646516464b35"
    },
    {
      "concept_id": "urn:uuid:bc816847-9a37-4e92-840e-b13a6380a072",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/06-unbounded-operators",
      "anchor": "first-4d610d239e935fc70ba3-en",
      "chapter": "13",
      "section": "13.6",
      "offset": 1279,
      "range": [
        7374,
        7598
      ],
      "source_revision": "c9f6aaaf4583a87d844433adf5551a93a8faeb812cbe88bab00cc9cdaa02d709",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "range",
      "context": {
        "range": [
          6426,
          8001
        ],
        "quote": "A linear operator $A$ on a Hilbert space is <u class=\"concept-term\" data-concept-identity=\"urn:uuid:909ec15d-c535-4149-b8d5-bf92d3f9da33\" data-concept-route=\"/concept-identities#concept-909ec15d-c535-4149-b8d5-bf92d3f9da33\" id=\"first-4842899ecabbb9d75a7d-en\">unbounded</u> if for any $M > 0$ there exists a vector $u$ such that $\\| A u \\| \\geq M \\| u \\|$ . Very few interesting examples of unbounded operators are defined on all of $\\mathcal H$ – for self-adjoint operators, there are none at all. It is therefore usual to consider an unbounded operator $A$ as not being necessarily defined over all of $\\mathcal H$ but only on some vector subspace $D _ { { \\cal A } } \\subseteq { \\mathcal { H } }$ called the <u class=\"concept-term\" data-concept-identity=\"urn:uuid:d091fdbd-b578-4a81-85b8-b28b54ceaf3d\" data-concept-route=\"/concept-identities#concept-d091fdbd-b578-4a81-85b8-b28b54ceaf3d\" id=\"first-1a4e8f2ed8c7a5443668-en\">domain</u> of $A$. Its <u class=\"concept-term\" data-concept-identity=\"urn:uuid:bc816847-9a37-4e92-840e-b13a6380a072\" data-concept-route=\"/concept-identities#concept-bc816847-9a37-4e92-840e-b13a6380a072\" id=\"first-4d610d239e935fc70ba3-en\">range</u> is defined as the set of vectors that are mapped onto, $R _ { A } = A ( D _ { A } )$ . In general we will refer to a pair $( A , D _ { A } )$ , where $D _ { A }$ is a vector subspace of $\\mathcal H$ and $A : D _ { A } \\to R _ { A } \\subseteq \\mathcal { H }$ is a linear map, as being an operator in $\\mathcal H$. Often we will simply refer to the operator $A$ when the domain $D _ { A }$ is understood.",
        "quote_sha256": "9cdc47bda56445c4e20203bb6891d0875854dbb1475120cd7d3ad2be1aaec2d4",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-13/06-unbounded-operators",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-c1cead96d5929ef661097c11"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/06-unbounded-operators",
      "lang": "en",
      "section": "13.6",
      "signal": "term-mark",
      "label": "range",
      "english": "range",
      "offset": 897
    },
    {
      "route": "zh/chapter-13/06-unbounded-operators",
      "lang": "zh-CN",
      "section": "13.6",
      "signal": "term-mark",
      "label": "值域",
      "english": "range",
      "offset": 700
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-3421fa1e8c68646516464b35",
    "occ-c1cead96d5929ef661097c11"
  ],
  "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": "c556ea497fb9b16c8f5c70af185a66877b6bcd06ef67f4d31335f53fdd3f38b2",
  "optional_enrichments": []
}
