{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:8b3f9405-d392-41a2-9fc5-9a4dc5f7b0bc",
  "labels": {
    "zh-CN": "开映射",
    "en": "open map"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "463fdc75d7b58cde7525b16a7a014e15b429a936123c819fd1442eead421e55b",
  "occurrences": [
    {
      "concept_id": "urn:uuid:8b3f9405-d392-41a2-9fc5-9a4dc5f7b0bc",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/08-topological-groups",
      "anchor": "first-3b4442d7900b8959b435-zh",
      "chapter": "10",
      "section": "10.8",
      "offset": 7597,
      "range": [
        11933,
        12165
      ],
      "source_revision": "40e39c23ad4632d9a97f04f151312b72ae74facf203e5c4311357aeafe0559dc",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "开映射(open map)",
      "context": {
        "range": [
          11753,
          12210
        ],
        "quote": "设 $H$ 是拓扑群 $G$ 的闭子群，我们可以赋予商空间 $G / H$ 由典范投影映射 $\\pi : g \\mapsto g H$ 诱导的自然拓扑。这是使 $\\pi$ 为连续映射的 $G / H$ 上最细的拓扑。在此拓扑中，一族陪集 $U \\subseteq G / H$ 为开集当且仅当它们的并集是 $G$ 的开子集。显然，$\\pi$ 关于此拓扑是一个 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:8b3f9405-d392-41a2-9fc5-9a4dc5f7b0bc\" data-concept-route=\"/concept-identities#concept-8b3f9405-d392-41a2-9fc5-9a4dc5f7b0bc\" id=\"first-3b4442d7900b8959b435-zh\">开映射(open map)</u>，这意味着对于所有开集 $V \\subseteq G$，$\\pi ( V )$ 都是开集。",
        "quote_sha256": "5df8242b53df325ad5e010babf96c9a9d13b625b84a52e9e3f2821caa0430c7d",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/08-topological-groups",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-9b347277ff135e28638f4ce8"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-10/08-topological-groups",
      "lang": "zh-CN",
      "section": "10.8",
      "signal": "term-mark",
      "label": "开映射",
      "english": "open map",
      "offset": 6309
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-9b347277ff135e28638f4ce8"
  ],
  "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": "17c6f6dc0acad745f38580de8687cee1ac1da7368ab9ac27d2482b78e3188b07",
  "optional_enrichments": []
}