On the interplay between productively Menger and productively Hurewicz spaces in models of $\mathfrak b=\mathfrak d$

2025-03-23T07:30:54Z

This article is devoted to the interplay between productively Menger and productively Hurewicz subspaces of the Cantor space. In particular, we show that in the Laver model for the consistency of the Borel's conjecture these two notions coincide and characterize Hurewicz spaces. On the other hand, it is consistent with CH that there are productively Hurewicz subspaces of the Cantor space which are not productively Menger.

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice

2025-03-23T03:54:14Z

We present several equivalent conditions of the continuity of the supremum function $\Sigma C(X)\times\Sigma C(X)\rightarrow\Sigma C(X)$ under mild assumptions, where $C(X)$ denotes the lattice of closed subsets of a $T_0$ topological space. We also provide an example of a non-monotone determined space $X$ such that $\eta=\lambda x.{\downarrow}x\colon X\rightarrow\Sigma C(X)$ is continuous. Additionally, we show that a $T_0$ space is quasicontinuous (quasialgebraic) iff the lattice of its closed subsets is a quasicontinuous (quasialgebraic) domain by using $n$-approximation. Furthermore, we provide a necessary condition for when a topological space possesses a Scott completion. This allows us to give more examples which do not have Scott completions.

On closed embeddings in $P^N \cup Q^N$

2025-03-23T00:45:35Z

We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_{\delta}$ and $F$ is absolutely $F_{\sigma\delta}$ then there is a closed embedding $h$ into the union of countable products of the irrationals and the rationals with $E$ being the preimage under $h$ of the countable product of the irrationals and $F$ being the preimage under $h$ of the countable product of the rationals. We prove also that for the set $H$ of points $x$ in the Hilbert cube such that for each $k$ there is $l$ with $x(2^k 3^l)=0$, whenever $A$ is an $F_{\sigma \delta}$ set in a compact one-dimensional space $X$, there is an embedding $h$ into the union of the countable product of the irrationals with added point $0$, and the countable product of the rationals, such that $A$ is the preimage under $h$ of the set $H$.

On continuous polynomials of the Macías space

2025-03-22T02:06:11Z

Let $\mathbb{N}$ be the set of natural numbers. The Mac\'ias space $M(\mathbb{N})$ is the topological space $(\mathbb{N},\tau_M)$ where $\tau_M$ is generated by the collection of sets $\sigma_n := \{ m \in \mathbb{N} : \gcd(n, m) = 1 \}$. In this paper, we characterize the continuity of polynomials over $ M(\mathbb{N})$ and prove that the only continuous polynomials are monomials

Topologically independent sets in topological groups and vector spaces

2025-03-21T11:35:59Z

We study topological versions of an independent set in an abelian group and a linearly independent set in a vector space, a {\em topologically independent set} in a topological group and a {\em topologically linearly independent set} in a topological vector space. These counterparts of their algebraic versions are defined analogously and possess similar properties. Let $\C^\times$ be the multiplicative group of the field of complex numbers with its usual topology. We prove that a subset $A$ of an arbitrary Tychonoff power of $\C^\times$ is topologically independent if and only if the topological subgroup $\hull{A}$ that it generates is the Tychonoff direct sum $\bigoplus_{a\in A}\hull{a}$. This theorem substantially generalizes an earlier result of the author, who has proved this for Abelian precompact groups. Further, we show that topologically independent and topologically linearly independent sets coincide in vector spaces with weak topologies, although they are different in general. We characterize topologically linearly independent sets in vector spaces with weak topologies and normed spaces. In a weak topology, a set $A$ is topologically linearly independent if and only if its linear span is the Tychonoff direct sum $\R^{(A)}$. In normed spaces $A$ is topologically linearly independent if and only if it is uniformly minimal. Thus, from the point of view of topological linear independence, the Tychonoff direct sums $\R^{(A)}$ and (linear spans of) uniformly minimal sets, which are closely related to bounded biorthogonal systems, are of the same essence.

Continuous functions on limits of F-decomposable systems

2025-03-20T18:31:57Z

We introduce the concept of F-decomposable systems, well-ordered inverse systems of Hausdorff compacta with fully closed bonding mappings. A continuous mapping between Hausdorff compacta is called fully closed if the intersection of the images of any two closed disjoint subsets is finite. We give a characterization of such systems in terms of a property of the continuous functions on their limit. When, moreover, the fibers of neighboring bonding mappings are metrizable, we call the limit of such a system an F_d-compact, a particular case of a Fedorchuk compact. The stated property allows us to obtain a locally uniformly rotund renorming on the space C(K), where K is an F_d-compact of countable spectral height.

Remetrizing dynamical systems to control distances of points in time

2025-03-19T13:01:52Z

The main aim of this article is to prove that for any continuous function $f \colon X \to X$, where $X$ is metrizable (or, more generally, for any family $\mathcal{F}$ of such functions, satisfying an additional condition), there exists a compatible metric $d$ on $X$ such that the $n$th iteration of $f$ (more generally, the composition of any $n$ functions from $\mathcal{F}$) is Lipschitz with constant $a_k$ where $(a_k)_{k=1}^{\infty}$ is an arbitrarily fixed sequence of real numbers such that $1 < a_k$ and $\lim\limits_{k\to+\infty}a_k = +\infty$. In particular, any dynamical system can be remetrized in order to significantly control the distance between points by their initial distance.

No product of two non-trivial countable-dimensional continua maps lightly into any of the factors

2025-03-18T13:12:07Z

We shall prove that if X, Y are compact metrizable spaces of positive dimension and h: X x Y --> X is a continuous map with zero-dimensional fibers then X contains a non-trivial continuum without one-dimensional subsets; in particular X is not a countable union of zero-dimensional sets, which provides a negative answer to a question of J. Dud\'ak and B. Vejnar.

The class of Aronszajn lines under epimorphisms

2025-03-17T21:28:38Z

A linear order $A$ is called strongly surjective if for every non empty suborder $B \preceq A$, there is an epimorphism from $A$ onto $B$ (denoted by $B \trianglelefteq A$). We show, answering some questions of D\'aniel T. Soukup, that under $\mathsf{MA}_{\aleph_{1}}$ there is a strongly surjective Countryman line. We also study the general structure of the class of Aronszajn lines under $\trianglelefteq$, and compare it with the well known embeddability relation $\preceq$. Under $\mathsf{PFA}$, the class of Aronszajn lines and the class of countable linear orders enjoy similar nice properties when viewed under the embeddability relation; both are well-quasi-ordered and have a finite basis. We show that this analogy does not extend perfectly to the $\trianglelefteq$ relation; while it is known that the countable linear orders are still well-quasi-ordered under $\trianglelefteq$, we show that already in $\mathsf{ZFC}$ the class of Aronszajn lines has an infinite antichain, and under $\mathsf{MA}_{\aleph_{1}}$ an infinite decreasing chain as well. We show that some of the analogy survives by proving that under $\mathsf{PFA}$, for some carefully constructed Countryman line $C$, $C$ and $C^{\star}$ form a $\trianglelefteq$-basis for the class of Aronszajn lines. Finally we show that this does not extend to all uncountable linear orders by proving that there is never a finite $\trianglelefteq$-basis for the uncountable real orders.

Countably compact inverse semigroups and Nyikos problem

2025-03-17T19:15:06Z

A regular separable first-countable countably compact space is called a {\em Nyikos} space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is compact. Also, we show that a topological semigroup $S$ that contains a dense inverse subsemigroup is a topological inverse semigroup, provided (i) $S$ is compact, or (ii) $S$ is countably compact and sequential. The latter result solves a problem of Banakh and Pastukhova and provides the automatic continuity of inversion in certain compact-like inverse semigroups.

Kernels, Distances, and Bridges

2025-03-17T18:17:17Z

The purpose of this paper is to study more general real-valued functions of two variables than just metrics on a set X. We concentrate mainly on the classes of distances and almost distances. We also introduce the notion of a bridge on the disjoint union of two sets and show that it induces a symmetric distance on the disjoint union.

Entire functions with Cantor bouquet Julia sets

2025-03-17T13:40:43Z

A hyperbolic transcendental entire function with connected Fatou set is said to be of disjoint type. It is known that the Julia set of a disjoint-type function of finite order is a Cantor bouquet; in particular, it is a collection of arcs (''hairs''), each connecting a finite endpoint to infinity. We show that the latter property is equivalent to the function being criniferous (a necessary condition for having a Cantor bouquet Julia set). On the other hand, we show that there is a criniferous disjoint-type entire function whose Julia set is not a Cantor bouquet. We also provide a new characterisation of Cantor bouquet Julia sets in terms of the existence of certain absorbing sets for the set of escaping points, and use this to give a new intrinsic description of a class of entire functions previously introduced by the first author. Finally, the main known sufficient condition for Cantor bouquet Julia sets is the so-called head-start condition of Rottenfusser et al. Under a mild geometric assumption, we prove that this condition is also necessary.

On Sierpiński sets, Hurewicz spaces and Hilgers functions

2025-03-17T13:16:46Z

The Hurewicz property is a classical generalization of $\sigma$-compactness and Sierpi\'nski sets (whose existence follows from CH) are standard examples of non-$\sigma$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpi\'nski set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the literature concerning this topic are also answered.

Critical ideals for compact spaces

2025-03-16T16:59:35Z

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The characterization is expressed in terms of finding a convergent subsequence defined on a set not belonging to $conv_\alpha$.

Generically hereditarily equivalent continua and topological characterization of generic maximal chains of generalized Ważewski dendrites

2025-03-15T20:29:00Z

The notion of hereditarily equivalent continua is classical in continuum theory with only two known nondegenerate examples (arc, and pseudoarc). In this paper we introduce generically hereditarily equivalent continua, i.e. continua which are homeomorphic to comeager many subcontinua. We investigate this notion in the realm of Peano continua and we prove that all the generalized Wa\.zewski dendrites are such. Consequently, we study maximal chains consisting of subcontinua of generalized Wa\.zewski dendrites and we prove that there is always a generic orbit under the homeomorphism group action. As a part of the proof we provide a topological characterization of the generic maximal chain.