3-dimensional AR's which do not contain 2-dimensional ANR's
A nontrivial surjective Čech closure function is constructed in ZFC.
We construct a totally disconnected compact Hausdorff space K₊ which has clopen subsets K₊” ⊆ K₊’ ⊆ K₊ such that K₊” is homeomorphic to K₊ and hence C(K₊”) is isometric as a Banach space to C(K₊) but C(K₊’) is not isomorphic to C(K₊). This gives two nonisomorphic Banach spaces (necessarily nonseparable) of the form C(K) which are isomorphic to complemented subspaces of each other (even in the above strong isometric sense), providing a solution to the Schroeder-Bernstein problem for Banach spaces...
Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces and are called T₁-complementary provided that there exists a bijection f: X → Y such that and are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact Hausdorff...
Some strong versions of the Fréchet-Urysohn property are introduced and studied. We also strengthen the concept of countable tightness and generalize the notions of first-countability and countable base. A construction of a topological space is described which results, in particular, in a Tychonoff countable Fréchet-Urysohn space which is not first-countable at any point. It is shown that this space can be represented as the image of a countable metrizable space under a continuous pseudoopen mapping....
We construct a space having the properties in the title, and with the same technique, a countably compact topological group which is not absolutely countably compact.
We construct a hereditary shape equivalence that raises transfinite inductive dimension from ω to ω+1. This shows that ind and Ind do not admit a geometric characterisation in the spirit of Alexandroff's Essential Mapping Theorem, answering a question asked by R. Pol.
Under 𝔭 = 𝔠, we prove that it is possible to endow the free abelian group of cardinality 𝔠 with a group topology that makes its square countably compact. This answers a question posed by Madariaga-Garcia and Tomita and by Tkachenko. We also prove that there exists a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group) whose square is countably compact. This answers a question posed by Grant.