{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:381a967a-011c-46ad-9fd8-208068cc9d29",
  "labels": {
    "zh-CN": "海涅–博雷尔定理",
    "en": "Heine–Borel theorem"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "78f635b4f19e9213640c19e442a0e10f48f4cd7a3d964bca43a173b9307bd7da",
  "occurrences": [
    {
      "concept_id": "urn:uuid:381a967a-011c-46ad-9fd8-208068cc9d29",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-10/06-compact-spaces",
      "anchor": "first-e98f4d1c40f2c1f13f7c-en",
      "chapter": "10",
      "section": "10.6",
      "offset": 1264,
      "range": [
        4726,
        5061
      ],
      "source_revision": "2c5424bd683c22b7e76425494bfd2dd500db5eedb5b02e4ae1fc3869c6452fba",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "en/chapter-10/06-compact-spaces",
          "lang": "en",
          "section": "10.6",
          "signal": "named-theorem",
          "label": "Heine–Borel theorem",
          "english": "Heine–Borel theorem",
          "offset": 1194
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-10-8\">Theorem 10.8</a> · Heine–Borel theorem",
      "context": {
        "range": [
          4726,
          5061
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-10-8\">Theorem 10.8</a> · Heine–Borel theorem\n>\n> (Heine–Borel) A subset $A$ of $\\mathbb { R } ^ { n }$ is closed and bounded (included in a central ball, $A \\subset B _ { a } ( { \\bf 0 } )$ for some $a > 0 )$ if and only if every open covering of $A$ has a finite subcovering.\n",
        "quote_sha256": "0f4eaa53dcf346eeed591ebf0d08b88d9ea6c167d4f88424a818797c9b068e1f",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-10/06-compact-spaces",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-9070fcd1446130c7d66f721d"
    },
    {
      "concept_id": "urn:uuid:381a967a-011c-46ad-9fd8-208068cc9d29",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/06-compact-spaces",
      "anchor": "first-e98f4d1c40f2c1f13f7c-zh",
      "chapter": "10",
      "section": "10.6",
      "offset": 2034,
      "range": [
        5967,
        6216
      ],
      "source_revision": "f405f3c0b1e2f6dc415bf11c1e05d721f254fbc462c7d2e6824f9d0c15b838ab",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "zh/chapter-10/06-compact-spaces",
          "lang": "zh-CN",
          "section": "10.6",
          "signal": "named-theorem",
          "label": "海涅–博雷尔定理",
          "english": "Heine–Borel theorem",
          "offset": 1009
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-10-8\">定理 10.8</a> · 海涅–博雷尔定理 (Heine–Borel theorem)",
      "context": {
        "range": [
          5967,
          6216
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-10-8\">定理 10.8</a> · 海涅–博雷尔定理 (Heine–Borel theorem)\n>\n> （海涅–博雷尔）$\\mathbb { R } ^ { n }$ 的子集 $A$ 是闭且有界的（包含于一个中心球 $A \\subset B _ { a } ( { \\bf 0 } )$ 中，对某个 $a > 0 )$ 而言），当且仅当 $A$ 的每个开覆盖都有有限子覆盖。\n",
        "quote_sha256": "a96b84981db6cf2269a51aad6ffa7d0423305591234c2853b73162be50480165",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/06-compact-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-f7321fda3a29990939a06208"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-10/06-compact-spaces",
      "lang": "en",
      "section": "10.6",
      "signal": "named-theorem",
      "label": "Heine–Borel theorem",
      "english": "Heine–Borel theorem",
      "offset": 1194
    },
    {
      "route": "zh/chapter-10/06-compact-spaces",
      "lang": "zh-CN",
      "section": "10.6",
      "signal": "named-theorem",
      "label": "海涅–博雷尔定理",
      "english": "Heine–Borel theorem",
      "offset": 1009
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-10-8\"",
      "href": "#theorem-10-8",
      "range": [
        4769,
        4789
      ],
      "relation": "references",
      "target_route": "en/chapter-10/06-compact-spaces",
      "target_anchor": "theorem-10-8",
      "resolved": true,
      "reason": null,
      "source_revision": "2c5424bd683c22b7e76425494bfd2dd500db5eedb5b02e4ae1fc3869c6452fba",
      "source_route": "en/chapter-10/06-compact-spaces",
      "occurrence_id": "occ-9070fcd1446130c7d66f721d"
    },
    {
      "raw": "href=\"#theorem-10-8\"",
      "href": "#theorem-10-8",
      "range": [
        6010,
        6030
      ],
      "relation": "references",
      "target_route": "zh/chapter-10/06-compact-spaces",
      "target_anchor": "theorem-10-8",
      "resolved": true,
      "reason": null,
      "source_revision": "f405f3c0b1e2f6dc415bf11c1e05d721f254fbc462c7d2e6824f9d0c15b838ab",
      "source_route": "zh/chapter-10/06-compact-spaces",
      "occurrence_id": "occ-f7321fda3a29990939a06208"
    }
  ],
  "reading_order": [
    "occ-9070fcd1446130c7d66f721d",
    "occ-f7321fda3a29990939a06208"
  ],
  "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": "af435cf76f659f17b5bef9fb6f008c82751ede66daa3d577734461d1bf7306e2",
  "optional_enrichments": []
}