P₀-spaces

From MaRDI portal
Publication:890067




Abstract: A regular topological space X is defined to be a mathfrakP0-space if it has countable Pytkeev network. A network mathcalN for X is called a Pytkeev network if for any point xinX, neighborhood OxsubsetX of x and subset AsubsetX accumulating at a x there is a set NinmathcalN such that NsubsetOx and NcapA is infinite. The class of mathfrakP0-spaces contains all metrizable separable spaces and is (properly) contained in the Michael's class of aleph0-spaces. It is closed under many topological operations: taking subspaces, countable Tychonoff products, small countable box-products, countable direct limits, hyperspaces of compact subsets. For an aleph0-space X and a mathfrakP0-space Y the function space Ck(X,Y) endowed with the compact-open topology is a mathfrakP0-space. For any sequential aleph0-space X the free abelian topological group A(X) and the free locally convex linear topological space L(X) both are mathfrakP0-spaces. A sequential space is a mathfrakP0-space if and only if it is an aleph0-space. A topological space is metrizable and separable if and only if it is a mathfrakP0-space with countable fan tightness.



Cites work


Cited in
(28)






This page was built for publication: \(\mathfrak{P}_0\)-spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890067)