arXiv subjects
Publications and source records attributed to Wojciech Bielas.
Under the assumption $\frak{c}\geqslant ω_2$, we give an example of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$. This answers Problem 1 of arXiv:2510.10537.
We present a criterion that compares modifications of the Niemytzki plane. It follows that if usual tangent discs of the Niemytzki plane are replaced by triangles with bounded angles, then the resulting space is not homeomorphic to the former.
Motivated by results of J. R. Kline and R. L. Moore (1919) that a compact subset of the plane, homeomorphic to a subset of the reals, lies on the arc, we give a purely topological characterisation of compact sets of the reals. This allows us to reduce investigations of Cantorvals to properties of countable linear orders and to show, applying the Mazurkiewicz--Sierpiński Theorem (1920), that there exist continuum many non-homeomorphic L-Cantorvals.
We examine dimensional types of scattered $P$-spaces of weight $ω_1$. Such spaces can be embedded into $ω_2$. There are established similarities between dimensional types of scattered separable metric spaces and dimensional types of $P$-spaces of weight $ω_1$ with Cantor--Bendixson rank less than $ω_1$.
We investigate the category of discrete topological spaces, with emphasis on inverse systems of height $ω_1$. Their inverse limits belong to the class of $P$-spaces, which allows us to explore dimensional types of these spaces.
We construct a separate continuous function $f\colon\mathbb{Q}\times\mathbb{Q}\to[0,1] $ and a dense subset $D\subseteq \mathbb{Q}\times\mathbb{Q}$ such that $f[D]$ is not dense in $f[\mathbb{Q}\times\mathbb{Q}]$, in other words, $f$ is separate continuous and not feebly (somewhat) continuous.
We try to explain the differences between the concepts of stratifiable space and $\varkappa$-metrizable space. In particular, we give a characterization of $\varkappa$-metrizable spaces which is modelled on Chigogidze's characterization. Moreover, we present a $\varkappa$-metric for the Niemytzki plane, using the properties of the Euclidean metric.
Following Frink's characterization of completely regular spaces, we say that a regular T_1-space is an RC-space whenever the family of all regular open sets constitutes a regular normal base. Normal spaces are RC-spaces and there exist completely regular spaces which are not RC-spaces. So the question arises, which of the known examples of completely regular and not normal spaces are RC-spaces. We show that the Niemytzki plane and the Sorgenfrey plane are RC-spaces.
In this paper we introduce the notion of the center of distances of a metric space, which is required for a generalization of the theorem by J. von Neumann about permutations of two sequences with the same set of cluster points in a compact metric space. Also, the introduced notion is used to study sets of subsums of some sequences of positive reals, as well for some impossibility proofs. We compute the center of distances of the Cantorval, which is the set of subsums of the sequence $\frac34, \frac12, \frac3{16}, \frac18, \ldots , \frac3{4^n}, \frac2{4^n}, \ldots$, and also for some related subsets of the reals.
For a cardinal $κ> ω$ a metric space $X$ is called to be $κ$-superuniversal whenever for every metric space $Y$ with $|Y| < κ$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space $Y$. Examples of such spaces were given by Hechler [1] and Katětov [2]. In particular, Katětov showed that if $ω< κ= κ^{< κ}$, then there exists a $κ$-superuniversal $K$ which is moreover $κ$-homogeneous, i.e. every isometry of a subspace $Y\subseteq K$ with $|Y|<κ$ can be extended to an isometry of the whole $K$. In connection of this W. Kubiś suggested that there should also exist a $κ$-superuniversal space that is not $κ$-homogeneous. In this paper there is shown that for every cardinal $κ$ there exists a $κ$-superuniversal space which is rigid, i.e. has exactly one isometry, namely the identity. The construction involves an amalgamation-like property of a family of metric spaces.