{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:f5be2df2-a716-470d-93b8-2043adf53100",
  "labels": {
    "zh-CN": "粘合拓扑",
    "en": "identification topology"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "131b62471e52d7c7288f2ef60518048a7cad5d9f8c7c6289fc76bffcc5554a47",
  "occurrences": [
    {
      "concept_id": "urn:uuid:f5be2df2-a716-470d-93b8-2043adf53100",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/04-induced-topologies",
      "anchor": "first-b36dbe6e996de25a22e9-zh",
      "chapter": "10",
      "section": "10.4",
      "offset": 9972,
      "range": [
        14369,
        14617
      ],
      "source_revision": "c963ef9644060098249c7d9aa964e77eb8940ecd1a6784da795e98becb6a8f3f",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "粘合拓扑(identification topology)",
      "context": {
        "range": [
          14225,
          14958
        ],
        "quote": "这种诱导拓扑的一个常见实例出现在拓扑空间 $X$ 上定义了一个等价关系 $E$ 的时候。设 $[ x ] = \\{ y \\mid y E x \\}$ 为包含点 $x \\in X$ 的等价类。在商空间 $X / E = \\{ [ x ] | x \\in X \\}$ 中，定义从 $X$ 到 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:f5be2df2-a716-470d-93b8-2043adf53100\" data-concept-route=\"/concept-identities#concept-f5be2df2-a716-470d-93b8-2043adf53100\" id=\"first-b36dbe6e996de25a22e9-zh\">粘合拓扑(identification topology)</u> 的拓扑为由自然映射 $i_E: X \\to X/E$ 诱导的拓扑，该映射将每个点 $x \\in X$ 对应于它所属于的等价类 $i _ { E } ( x ) = [ x ]$。在此拓扑中，子集 $A$ 是开集当且仅当其逆像 $i _ { E } ^ { - 1 } ( A ) = \\{ x \\in X \\mid [ x ] \\in\\begin{array} { r } { A \\} = \\bigcup _ { [ x ] \\in A } [ x ] } \\end{array}$ 是 $X$ 的开子集。也就是说，等价类的子集 $A = \\{ [ x ] \\}$ 在 $X / E$ 上的粘合拓扑中是开集，当且仅当属于 $A$ 的集合 $[x]$ 的并集是 $X$ 的开子集。",
        "quote_sha256": "7f6aede75ca66f8791ec42d40b791f27ef6c6d21d5d46994ff3537e67d10bae0",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/04-induced-topologies",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-4562dda4b24135b2266b59a8"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-10/04-induced-topologies",
      "lang": "zh-CN",
      "section": "10.4",
      "signal": "term-mark",
      "label": "粘合拓扑",
      "english": "identification topology",
      "offset": 9137
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-4562dda4b24135b2266b59a8"
  ],
  "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": "4070b3e135bd30bafbc6aa959d906eb642a768d586d165c7e0aa970737eac108",
  "optional_enrichments": []
}
