General Topology

A topological space $X$ is defined to have an $\omega^\omega$-base if at each point $x\in X$ the space $X$ has a neighborhood base $(U_\alpha[x])_{\alpha\in\omega^\omega}$ such that $U_\beta[x]\subset U_\alpha[x]$ for all $\alpha\le\beta$…

A topological space $X$ is called Piotrowski if every quasicontinuous map $f:Z\to X$ from a Baire space $Z$ to $X$ has a continuity point. In this paper we survey known results on Piotrowski spaces and investigate the relation of Piotrowski…

Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_\alpha)_{\alpha\in P}$ of subsets of $X\times X$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$…

Answering a question of Elekes and Vidny\'anszky, we construct a Polish meta-abelian group $H$ and a subgroup $F\subset H$, which is a Haar null $F_\sigma$-set in $H$ that cannot be enlarged to a Haar null $G_\delta$-set.

Answering a question posed by S.Maillot in MathOverFlow, for every $n\in\mathbb N$ we construct a locally connected subgroup $G\subset\mathbb R^{n+1}$ of dimension $dim(G)=n$, which is not locally compact.

Generalizing the famous 14-set closure-complement Theorem of Kuratowski from 1922, we prove that for a set $X$ endowed with $n$ pairwise comparable topologies $\tau_1\subset\dots\subset\tau_n$, by repeated application of the operations of…

We prove that if an analytic subset $A$ of a linear metric space $X$ is not contained in a $\sigma Z_\omega$-subset of $X$ then for every Polish convex set $K$ with dense affine hull in $X$ the sum $A+K$ is non-meager in $X$ and the sets…

We generalize some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions with values in certain generalized metric spaces, called Maslyuchenko spaces. We establish…

A topological space $X$ has the strong Pytkeev property at a point $x\in X$ if there exists a countable family $\mathcal N$ of subsets of $X$ such that for each neighborhood $O_x\subset X$ and subset $A\subset X$ accumulating at $x$, there…

Denote by $\mathbf C_p[\mathfrak M_0]$ the $C_p$-stable closure of the class $\mathfrak M_0$ of all separable metrizable spaces, i.e., $\mathbf C_p[\mathfrak M_0]$ is the smallest class of topological spaces that contains $\mathfrak M_0$…

We prove that a semiregular topological space $X$ is completely regular if and only if its topology is generated by a normal quasi-uniformity. This characterization implies that each regular paratopological group is completely regular. This…

Given a $T$-sequence on a countable abelian group $G$, we prove that there exists $2^{2^{|G|}}$ Hausdorff group topologies in which this sequence converges to $0$. This answers a question posed in Intern. J. Math. Math. Sci. {\bf 24}(3)…

We give several new bounds for the cardinality of a Hausdorff topological space $X$ involving the weak Lindel\"of degree $wL(X)$. In particular, we show that if $X$ is extremally disconnected, then $|X|\leq 2^{wL(X)\pi\chi(X)\psi(X)}$, and…

In this note we prove that a regular continuous open image of the Sorgenfrey line with an uncountable weight has a closed subspace that is homeomorphic to the Sorgenfrey line. As a corollary we deduce the theorem in the title.

In the paper we study algebraic properties of the monoid $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ of cofinite partial isometries of the set of positive integers $\mathbb{N}$ with the bounded finite noise $j$. For the monoids…

It is proved that the square of the Sorgenfrey line has infinite covering dimension.

Under Jensen's diamond principle $\diamondsuit$, we construct a simple Efimov space $K$ whose space of nonatomic probability measures $P_{na}(K)$ is first-countable and sequentially compact. These two properties of $P_{na}(K)$ imply that…

Categories of locally ordered spaces are especially well-adapted to the realization of most precubical sets, though their colimits are not so easy to determine (in comparison with colimits in the category of d-spaces for example). We use…

In 1972, Dana Scott proved a fundamental result on the connection between order and topology which says that injective $T_0$ spaces are precisely continuous lattices endowed with Scott topology. This paper investigates whether this is true…

In 2010 a question of Arhangel'skii's highlighted a gap in the knowledge of k_{\omega}-spaces. His specific question had in fact been answered by Siwiec in 1976, but the highlighted gap still remains. We introduce the simple idea of pure…