{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40",
  "labels": {
    "zh-CN": "稠定的",
    "en": "densely defined"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "f4dfb3ae5285e35c109a7a61300e808a9e8393764b897b44aa4e9ab75acfafd8",
  "occurrences": [
    {
      "concept_id": "urn:uuid:c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/06-unbounded-operators",
      "anchor": "concept-13-densely-defined",
      "chapter": "13",
      "section": "13.6",
      "offset": 1815,
      "range": [
        8417,
        8653
      ],
      "source_revision": "d45e53fc27c5bf1d2c2121c20ab0e61aeb57067de09a90fd6173850a6fa3d4f2",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "稠定的(densely defined)",
      "context": {
        "range": [
          8062,
          8655
        ],
        "quote": "如果对于每个向量 $u \\in \\mathcal{H}$ 和任意 $\\epsilon>0$ ，存在一个向量 $v \\in D_{A}$ 使得 $\\|u-v\\|<\\epsilon$，那我们就称定义域 $D_{A}$ 是 $\\mathcal{H}$ 的<u id=\"concept-13-dense\" class=\"concept-term\" data-concept-identity=\"urn:uuid:68277a25-205a-4619-9a87-590ce1565818\" data-concept-route=\"/concept-identities#concept-68277a25-205a-4619-9a87-590ce1565818\">稠密的(dense)</u>子空间，算子 $A$ 被称为是<u id=\"concept-13-densely-defined\" class=\"concept-term\" data-concept-identity=\"urn:uuid:c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40\" data-concept-route=\"/concept-identities#concept-c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40\">稠定的(densely defined)</u>的。",
        "quote_sha256": "cd92da7b538f4d94fd2bec1cee67afeedacad4de2de10f82d79e641b535f330e",
        "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-50dfd2f2b0903fd80307a3d4"
    },
    {
      "concept_id": "urn:uuid:c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/06-unbounded-operators",
      "anchor": "first-c399a33322b23377e070-en",
      "chapter": "13",
      "section": "13.6",
      "offset": 2372,
      "range": [
        8467,
        8701
      ],
      "source_revision": "c9f6aaaf4583a87d844433adf5551a93a8faeb812cbe88bab00cc9cdaa02d709",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "densely defined",
      "context": {
        "range": [
          8003,
          8702
        ],
        "quote": "We say the domain $D _ { A }$ is a <u class=\"concept-term\" data-concept-identity=\"urn:uuid:68277a25-205a-4619-9a87-590ce1565818\" data-concept-route=\"/concept-identities#concept-68277a25-205a-4619-9a87-590ce1565818\" id=\"first-7ef8cab0fc33491912d4-en\">dense</u> subspace of $\\mathcal H$ if for every vector $u \\in \\mathcal { H }$ and any $\\epsilon > 0$ there exists a vector $v \\in D _ { A }$ such that $\\| u - v \\| < \\epsilon$ . The operator $A$ is then said to be <u class=\"concept-term\" data-concept-identity=\"urn:uuid:c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40\" data-concept-route=\"/concept-identities#concept-c0c52ad6-989e-4d1b-8ed9-9f4d55ba0d40\" id=\"first-c399a33322b23377e070-en\">densely defined</u>.",
        "quote_sha256": "ddb67003915658284e96d2edf56bca21a8f5bddfe7fd4242881ee73c49ebeca8",
        "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-f2a9f4ebc75efaaae659e954"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/06-unbounded-operators",
      "lang": "en",
      "section": "13.6",
      "signal": "term-mark",
      "label": "densely defined",
      "english": "densely defined",
      "offset": 1608
    },
    {
      "route": "zh/chapter-13/06-unbounded-operators",
      "lang": "zh-CN",
      "section": "13.6",
      "signal": "term-mark",
      "label": "稠定的",
      "english": "densely defined",
      "offset": 1191
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-50dfd2f2b0903fd80307a3d4",
    "occ-f2a9f4ebc75efaaae659e954"
  ],
  "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": "31bb89d8fab5d9f259bc784726edd7d0e2f9c2b44147c5a423907a7f961ca4f1",
  "optional_enrichments": []
}