Monoidal closed structures for topological spaces : counter-example to a question of Booth and Tillotson
A topological space is said to be -separable if has a -closed-discrete dense subset. Recently, G. Gruenhage and D. Lutzer showed that -separable PIGO spaces are perfect and asked if -separable monotonically normal spaces are perfect in general. The main purpose of this article is to provide examples of -separable monotonically normal spaces which are not perfect. Extremely normal -separable spaces are shown to be stratifiable.
Strongly sequential spaces were introduced and studied to solve a problem of Tanaka concerning the product of sequential topologies. In this paper, further properties of strongly sequential spaces are investigated.
It is proved that the product of two pseudo radial compact spaces is pseudo radial provided that one of them is monolithic.
We study closed subspaces of -Ohio complete spaces and, for uncountable cardinal, we prove a characterization for them. We then investigate the behaviour of products of -Ohio complete spaces. We prove that, if the cardinal is endowed with either the order or the discrete topology, the space is not -Ohio complete. As a consequence, we show that, if is less than the first weakly inaccessible cardinal, then neither the space , nor the space is -Ohio complete.
We consider the question of when , where is the elementary submodel topology on X ∩ M, especially in the case when is compact.
We define a metric , called the shape metric, on the hyperspace of all non-empty compact subsets of a metric space X. Using it we prove that a compactum X in the Hilbert cube is movable if and only if X is the limit of a sequence of polyhedra in the shape metric. This fact is applied to show that the hyperspace , dS)2ℝ2
The natural quotient map q from the space of based loops in the Hawaiian earring onto the fundamental group provides a naturally occuring example of a quotient map such that q × q fails to be a quotient map. With the quotient topology, this example shows π₁(X,p) can fail to be a topological group if X is locally path connected.