词条 | Countably generated space |
释义 |
In mathematics, a topological space X is called countably generated if the topology of X is determined by the countable sets in a similar way as the topology of a sequential space (or a Fréchet space) by the convergent sequences. The countable generated spaces are precisely the spaces having countable tightness - therefore the name countably tight is used as well. DefinitionA topological space X is called countably generated if V is closed in X whenever for each countable subspace U of X the set is closed in U. Equivalently, X is countably generated if and only if the closure of any subset A of X equals the union of closures of all countable subsets of A. Countable fan tightnessA topological space has countable fan tightness if for every point and every sequence of subsets of the space such that , there are finite set such that . A topological space has countable strong fan tightness if for every point and every sequence of subsets of the space such that , there are points such that . Every strong Fréchet–Urysohn space has strong countable fan tightness. PropertiesA quotient of countably generated space is again countably generated. Similarly, a topological sum of countably generated spaces is countably generated. Therefore the countably generated spaces form a coreflective subcategory of the category of topological spaces. They are the coreflective hull of all countable spaces. Any subspace of a countably generated space is again countably generated. ExamplesEvery sequential space (in particular, every metrizable space) is countably generated. An example of a space which is countably generated but not sequential can be obtained, for instance, as a subspace of Arens–Fort space. See also
External links
References
1 : General topology |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。