On subspaces of separable first countable -spaces
G. Reed (1976)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The number of metrizable spaces”
On subspaces of separable first countable -spaces
Metrization of Moore spaces and generalized manifolds
G. Reed, P. Zenor (1976)
Fundamenta Mathematicae
Similarity:
A perfectly normal locally metrizable non-paracompact space
Roman Pol (1977)
Fundamenta Mathematicae
Similarity:
Extensions of metrization theorems to higher cardinality
Richard Hodel (1975)
Fundamenta Mathematicae
Similarity:
Separable extensions of first countable spaces
Eric van Douwen, Teodor Przymusiński (1980)
Fundamenta Mathematicae
Similarity:
Universal spaces for locally finite-dimensional and strongly countable-dimensional metrizable spaces
Wojciech Olszewski (1990)
Fundamenta Mathematicae
Similarity:
A class of spaces whose Cartesian product with every hereditarily Lindelöf space in Lindelöf
K. Alster (1981)
Fundamenta Mathematicae
Similarity:
More about spaces with a small diagonal
Alan Dow, Oleg Pavlov (2006)
Fundamenta Mathematicae
Similarity:
Hušek defines a space X to have a small diagonal if each uncountable subset of X² disjoint from the diagonal has an uncountable subset whose closure is disjoint from the diagonal. Hušek proved that a compact space of weight ω₁ which has a small diagonal will be metrizable, but it remains an open problem to determine if the weight restriction is necessary. It has been shown to be consistent that each compact space with a small diagonal is metrizable; in particular, Juhász and Szentmiklóssy...
Basic Properties of Metrizable Topological Spaces
Karol Pąk (2009)
Formalized Mathematics
Similarity:
We continue Mizar formalization of general topology according to the book [11] by Engelking. In the article, we present the final theorem of Section 4.1. Namely, the paper includes the formalization of theorems on the correspondence between the cardinalities of the basis and of some open subcover, and a discreet (closed) subspaces, and the weight of that metrizable topological space. We also define Lindelöf spaces and state the above theorem in this special case. We also introduce the...