{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:7c674ad2-04ad-4bb5-8434-a4c7b804b02c",
  "labels": {
    "zh-CN": "第一可数",
    "en": "first countable"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "c3197a5e7fe291870e7de692327c08d454d1c2b41a070b1fc603ae89a69d6419",
  "occurrences": [
    {
      "concept_id": "urn:uuid:7c674ad2-04ad-4bb5-8434-a4c7b804b02c",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/02-general-topological-spaces",
      "anchor": "first-b03c683ecdf83435dd9b-zh",
      "chapter": "10",
      "section": "10.2",
      "offset": 22807,
      "range": [
        29828,
        30068
      ],
      "source_revision": "a1c67f92b8f8c8fbb6719a655bbf4fea791f002ad179f1ac69f92336bc7fccfb",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "第一可数(first countable)",
      "context": {
        "range": [
          29490,
          30566
        ],
        "quote": "称集合 $A$ 为 $x \\in X$ 的邻域，如果存在开集 $U$ 使得 $x \\in U \\subset A$。若 $A$ 本身是开集，则称它为 $x$ 的一个 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:09ac0761-d818-449e-99c7-82395e89dbeb\" data-concept-route=\"/concept-identities#concept-09ac0761-d818-449e-99c7-82395e89dbeb\" id=\"first-bb101d48f6c982eb4018-zh\">开邻域(open neighbourhood)</u>。称拓扑空间 $X$ 为 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:7c674ad2-04ad-4bb5-8434-a4c7b804b02c\" data-concept-route=\"/concept-identities#concept-7c674ad2-04ad-4bb5-8434-a4c7b804b02c\" id=\"first-b03c683ecdf83435dd9b-zh\">第一可数(first countable)</u>，如果每一点 $x \\in X$ 都有一个可数族 $U _ { 1 } ( x ) , U _ { 2 } ( x ) , \\dots$，它由 $x$ 的开邻域组成，使得 $x$ 的每个开邻域 $U$ 都包含这些邻域之一 $U \\supset U _ { n } ( x )$。一个更强的条件是：称拓扑空间 $( X , { \\mathcal { O } } )$ 为 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:1ae3cb73-f44a-4483-b175-f7481d779ac8\" data-concept-route=\"/concept-identities#concept-1ae3cb73-f44a-4483-b175-f7481d779ac8\" id=\"first-d3666106efe7fd9144c7-zh\">第二可数(second countable)</u> 或可分的，如果存在一个可数集 $U _ { 1 } , U _ { 2 } , U _ { 3 } , . . .$，它生成 $X$ 的拓扑。",
        "quote_sha256": "dc4f766d84e610b06953c4f335fc45383b8cc3d16e8c3402a09bfb4ca4a3d359",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/02-general-topological-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-5e9e69a8f0edb2dec4041de5"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-10/02-general-topological-spaces",
      "lang": "zh-CN",
      "section": "10.2",
      "signal": "term-mark",
      "label": "第一可数",
      "english": "first countable",
      "offset": 18569
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-5e9e69a8f0edb2dec4041de5"
  ],
  "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": "f40cf1b818fac93594e5f9527a7b57bec1290bff1092a730f3457be0b96e4b2c",
  "optional_enrichments": []
}
