On supercomplete uniform spaces V: Tamano's product problem
We introduce the cardinal invariant -, related to -, and show that if is Urysohn, then . As -, this represents an improvement of the Bella-Cammaroto inequality. We also introduce the classes of firmly Urysohn spaces, related to Urysohn spaces, strongly semiregular spaces, related to semiregular spaces, and weakly -closed spaces, related to -closed spaces.
In the framework of ZF (Zermelo-Fraenkel set theory without the Axiom of Choice) we provide topological and Boolean-algebraic characterizations of the statements " is countably compact" and " is compact"
For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ⊂ X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have...
We study relations between the Lindelöf property in the spaces of continuous functions with the topology of pointwise convergence over a Tychonoff space and over its subspaces. We prove, in particular, the following: a) if is Lindelöf, , and the point has countable character in , then is Lindelöf; b) if is a cozero subspace of a Tychonoff space , then and .
We study the relation between a space satisfying certain generalized metric properties and its -fold symmetric product satisfying the same properties. We prove that has a --property -network if and only if so does . Moreover, if is regular then has a --property -network if and only if so does . By these results, we obtain that is strict -space (strict -space) if and only if so is .
Through the study of frame congruences, new characterizations of the paracompactness of frames are obtained.