{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:9ecea840-2cf6-4b0e-9f6c-8d08670a4b94",
  "labels": {
    "zh-CN": "度量空间",
    "en": "metric space"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "77f8a5fd2faedf1690d3ca66d41cfd212e37d363c04bf3781adafd593ea7b14c",
  "occurrences": [
    {
      "concept_id": "urn:uuid:9ecea840-2cf6-4b0e-9f6c-8d08670a4b94",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/03-metric-spaces",
      "anchor": "first-43847cf4b94d42e36279-zh",
      "chapter": "10",
      "section": "10.3",
      "offset": 393,
      "range": [
        3961,
        4198
      ],
      "source_revision": "78dafe40e9e2ba9929ed744a89f06897db2fe96f8434fc563f89b7f142503655",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "度量空间(metric space)",
      "context": {
        "range": [
          3899,
          4490
        ],
        "quote": "为了推广 $\\mathbb{R}$ 和 $\\mathbb { R } ^ { 2 }$ 中出现的“距离”这一概念，我们定义 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:9ecea840-2cf6-4b0e-9f6c-8d08670a4b94\" data-concept-route=\"/concept-identities#concept-9ecea840-2cf6-4b0e-9f6c-8d08670a4b94\" id=\"first-43847cf4b94d42e36279-zh\">度量空间(metric space)</u> [9] 为一个集合 $M$，并带有一个距离函数或 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:1f8aca83-3403-4584-b621-eed33886f812\" data-concept-route=\"/concept-identities#concept-1f8aca83-3403-4584-b621-eed33886f812\" id=\"first-19bd3976430bde51d2c9-zh\">度量(metric)</u> $d: M \\times M \\to \\mathbb { R }$，使得",
        "quote_sha256": "5c871c05fdda5644198f74188a546d900dae3d579677c4c9708f213b1ee02734",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/03-metric-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-b911ee5ac1a93c924b8ddce1"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-10/03-metric-spaces",
      "lang": "zh-CN",
      "section": "10.3",
      "signal": "term-mark",
      "label": "度量空间",
      "english": "metric space",
      "offset": 393
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-b911ee5ac1a93c924b8ddce1"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "461050b4f89721f48e48d0dd17664c781092559f63e5b6383713b16735248620",
  "optional_enrichments": []
}