{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:b32fccab-0ef7-4fc4-bec9-9aee534e4afc",
"labels": {
"zh-CN": "局部有限的",
"en": "locally finite"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "a28d5183bf1f35d89de79526ad1d160b6899dd78b39a21449e16d5ee31d813db",
"occurrences": [
{
"concept_id": "urn:uuid:b32fccab-0ef7-4fc4-bec9-9aee534e4afc",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-17/01-partitions-of-unity",
"anchor": "first-cfb8584a54bc36367766-zh",
"chapter": "17",
"section": "17.1",
"offset": 777,
"range": [
4106,
4346
],
"source_revision": "ac4949a5290e2d242874f181575e639623b84e0d6867c49e0b4130c31d8a7763",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "局部有限的(locally finite)",
"context": {
"range": [
3660,
4717
],
"quote": "给定拓扑空间 $S ,$ 的一个开覆盖 $\\{ U _ { i } | i \\in I \\}$，若对于每个 $i \\in I$ 都有 $V _ { a } \\subseteq U _ { i }$，则称 $S$ 的开覆盖 $\\{ V _ { a } \\}$ 为 $\\{ U _ { i } \\}$ 的 加细(refinement)。若每一点 $p$ 至多属于有限个 $V _ { a } \\mathbf { \\bar { s } } .$，则称该加细是 局部有限的(locally finite)。若对每个开覆盖 $U _ { i } \\left( i \\in I \\right)$ 都存在局部有限的加细，则称拓扑空间 $S$ 是 仿紧的(paracompact)。由于可以证明每个局部紧 Hausdorff 第二可数空间都是仿紧的 [12]，因此从现在起我们将注意力限制在作为仿紧拓扑空间的流形上。",
"quote_sha256": "c2ae93d4e9539c0b8d151b1d049fae57f1d797974198eea78268916d61b6122f",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "en/chapter-17/01-partitions-of-unity",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-40d1bf7a8db9c993c1f5d12a"
},
{
"concept_id": "urn:uuid:b32fccab-0ef7-4fc4-bec9-9aee534e4afc",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-17/01-partitions-of-unity",
"anchor": "first-cfb8584a54bc36367766-en",
"chapter": "17",
"section": "17.1",
"offset": 806,
"range": [
3664,
3897
],
"source_revision": "7b9b5ac2d16a43bad55f3768f5df24ebc80a279e681dc057d54869725dff60c3",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "locally finite",
"context": {
"range": [
3189,
4560
],
"quote": "Given an open covering $\\{ U _ { i } | i \\in I \\}$ of a topological space $S ,$ an open covering $\\{ V _ { a } \\}$ of $S$ is called a refinement of $\\{ U _ { i } \\}$ if each $V _ { a } \\subseteq U _ { i }$ for some $i \\in I$ . The refinement is said to be locally finite if every point $p$ belongs to at most a finite number of $V _ { a } \\mathbf { \\bar { s } } .$ . The topological space $S$ is said to be paracompact if for every open covering $U _ { i } \\left( i \\in I \\right)$ there exists a locally finite refinement. As it may be shown that every locally compact Hausdorff secondcountable space is paracompact [12], we will from now on restrict attention to manifolds that are paracompact topological spaces.",
"quote_sha256": "2c7f46df4850b73f265175392d76dcec8f681ea31c69effe1305a56d2980ae26",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "zh/chapter-17/01-partitions-of-unity",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-c56902aa0556cba5796d485f"
}
],
"registered_positions": [
{
"route": "en/chapter-17/01-partitions-of-unity",
"lang": "en",
"section": "17.1",
"signal": "term-mark",
"label": "locally finite",
"english": "locally finite",
"offset": 615
},
{
"route": "zh/chapter-17/01-partitions-of-unity",
"lang": "zh-CN",
"section": "17.1",
"signal": "term-mark",
"label": "局部有限的",
"english": "locally finite",
"offset": 586
}
],
"statements": [],
"resolved_references": [],
"reading_order": [
"occ-40d1bf7a8db9c993c1f5d12a",
"occ-c56902aa0556cba5796d485f"
],
"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": "2eb43ab13fe7f14e0671284a8b39ef436416fad0df795250a54d50682d971adc",
"optional_enrichments": []
}