Critical ideals for compact spaces

2025-03-16T16:59:35Z

For each countable ordinal $α$, we introduce an ideal $conv_α$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $ω^α\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_α$.

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żewski dendrites are such. Consequently, we study maximal chains consisting of subcontinua of generalized Ważewski 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.

On the class of NY compact spaces of finitely supported elements and related classes

2025-03-12T09:54:03Z

We prove that a compact space $K$ embeds into a $σ$-product of compact metrizable spaces ($σ$-product of intervals) if and only if $K$ is (strongly countable-dimensional) hereditarily metalindelöf and every subspace of $K$ has a nonempty relative open second-countable subset. This provides novel characterizations of $ω$-Corson and $NY$ compact spaces. We give an example of a uniform Eberlein compact space that does not embed into a product of compact metric spaces in such a way that the $σ$-product is dense in the image. In particular, this answers a question of Kubiś and Leiderman. We also show that for a compact space $K$ the property of being $NY$ compact is determined by the topological structure of the space $C_p(K)$ of continuous real-valued functions of $K$ equipped with the pointwise convergence topology. This refines a recent result of Zakrzewski.

Extension of continuous functions on product spaces, Bohr Compactification and Almost Periodic Functions

2025-03-11T10:29:14Z

The Bohr compactification is a well known construction for (topological) groups and semigroups. Recently, this notion has been investigated for arbitrary structures in \cite{har_kun:bohr_discrete} where the Bohr compactification is defined, using a set-theoretical approach, as the maximal compactification which is compatible with the structure involved. Here, we give a characterization of the continuous functions defined on a product space that can be extended continuously to certain compactifications of the product space. As a consequence, the Bohr compactification of an arbitrary topological structure is obtained as the Gelfand space of the commutative Banach algebra of all almost periodic functions. Previously, almost periodic functions $f$ are defined in terms of translates of $f$ with no reference to any compactification of the underlying structure. An application is given to the representation of isometries defined between spaces of almost periodic functions.

Weak Baumgartner axioms and universal spaces

2025-03-09T19:11:10Z

If $X$ is a topological space and $κ$ is a cardinal then $\mathsf{BA}_κ(X)$ is the statement that for each pair $A, B \subseteq X$ of $κ$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In particular $\mathsf{BA}_{\aleph_1} (\mathbb R)$ is equivalent the celebrated Baumgartner axiom on isomorphism types of $\aleph_1$-dense linear orders. In this paper we consider two natural weakenings of $\mathsf{BA}_κ(X)$ which we call $\mathsf{BA}^-_κ(X)$ and $\mathsf{U}_κ(X)$ for arbitrary perfect Polish spaces $X$. We show that the first of these, though properly weaker, entails many of the more striking consequences of $\mathsf{BA}_κ(X)$ while the second does not. Nevertheless the second is still independent of $\mathsf{ZFC}$ and we show in particular that it fails in the Cohen and random models. This motivates several new classes of pairs of spaces which are ``very far from being homeomorphic" which we call ``avoiding", ``strongly avoiding", and ``totally avoiding". The paper concludes by studying these classes, particularly in the context of forcing theory, in an attempt to gauge how different weak Baumgartner axioms may be separated.

Balanced Measures on Compact Median Algebras

2025-03-08T09:28:37Z

We initiate a systematic investigation of group actions on compact medain algebras via the corresponding dynamics on their spaces of measures. We show that a probability measure which is invariant under a natural push forward operation must be a uniform measure on a cube and use this to show that every amenable group action on a locally convex compact median algebra fixed a sub-cube.

Lattices of slowly oscillating functions

2025-03-07T02:09:41Z

We show that lattice isomorphisms between lattices of slowly oscillating functions on chain-connected proper metric spaces induce coarsely equivalent homeomorphisms. This result leads to a Banach-Stone-like theorem for these lattices. Furthermore, we provide a representation theorem that characterizes linear lattice isomorphisms among these lattices.

Stability analysis for set-valued optimization in Geoffroy spaces

2025-03-05T11:31:36Z

In this work, we study the external and internal stability of minimal solutions to set-valued optimization problems in a new functional framework. We consider perturbations on both the objective function and the admissible domain. To address these problems, we introduce two variational convergences for sequences of set-valued maps, namely the Gamma-cone convergence and the sequential Gamma-cone convergence. The upper and the lower convergence of strong level sets are also studied.

Tightness type properties of spaces of quasicontinuous functions

2025-03-05T08:34:14Z

Using approximation by continuous functions we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $τ_p$ of pointwise convergence: the countability of tightness (fan-tightness, strong fan-tightness) at a point $f$ of space $Q_p(X, \mathbb{R})$ implies the countability of tightness (fan-tightness, strong fan-tightness) of space $Q_p(X,Y)$ of all quasicontinuous functions from $X$ into any non-one-point metrizable space $Y$. This result is the answer to the open question in the class of metrizable spaces.

On Baire property, compactness and completeness properties of spaces of Baire functions

2025-03-05T08:30:14Z

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $α$ be a countable ordinal. Characterize topological spaces $X$ and $Y$ for which the function space $B_α(X,Y)$ is Baire. In this paper, for any Frechet space $Y$ , we have obtained a characterization topological spaces $X$ for which the function space $B_α(X,Y)$ is Baire. In particular, we proved that $B_α(X,\mathbb{R})$ is Baire if and only if $B_α(X,Y)$ is Baire for any Banach space $Y$. Also we proved that many completeness and compactness properties coincide in spaces $B_α(X,Y)$ for any Frechet space $Y$.

Semi-coarse Spaces: Fundamental Groupoid and the van Kampen Theorem

2025-03-05T02:38:56Z

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant, using as paths a finite sequences of maps from $\mathbb{Z}_1$ to a semi-coarse space, connecting their tails through semi-coarse homotopy. In contrast to semi-coarse homotopy groups, this groupoid is not necessarily trivial for coarse spaces, and, unlike coarse homotopy, it is well-defined for general semi-coarse spaces. In addition, we show that the semi-coarse fundamental groupoid which we introduce admits a version of the Van Kampen Theorem.

Posets uniquely determined by its compact saturated subsets

2025-03-04T13:21:20Z

Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact saturated subsets, in the sense that the isomorphism between $(\mathcal Q(P), \supseteq)$ and $(\mathcal Q(M), \supseteq)$ implies the isomorphism between $P$ and $M$ for any poset (or dcpo) $M$, in such case, $P$ is called $\mathcal Q_σ$-unique. Quasicontinuous domains are proved to be $\mathcal Q_σ$-unique posets and draw support from which, we provide a class of $\mathcal Q_σ$-unique dcpos. We also define a new kind of posets called $K_D$ and show that every co-sober $K_D$ poset is $\mathcal Q_σ$-unique. It even yields another kind of $\mathcal Q_σ$-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also $\mathcal Q_σ$-unique. At last, we distinguish among the conditions which make a poset (or dcpo) $\mathcal Q_σ$-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be $\mathcal Q_σ$-unique.

Additivity of local function and dynamical system

2025-03-03T18:36:49Z

The study of local function in topological spaces is remarkable. Various branches have been developed through this study. In this paper, we further consider the local function and exploring the various properties of the same by considering some generalized open sets. In this situation some of the properties of local function fails to hold due to the finite intersection property of the topology. Due to this outcome, we are investigating the situation of dynamical system and Topological Transitivity.

On Dynamical System and Topological Transitivity via Ideals

2025-03-03T07:10:20Z

This paper will discuss the problem of defining the new topological transitivity. To do this several equivalent topological transitive and non-wandering point has been discussed through this paper. This paper also consider the ideal version of transitivity with the help of the amendment of the result Remark $6.9(2)$ of \cite{LL2013}. Corrected version of the Remark: ``If $\mathcal{\bf I}$ is codense, then $\mathcal{\bf I}$-denseness, $*$-denseness and denseness are equivalent" will be ``If $\mathcal{\bf I}$ is completely codense, then $\mathcal{\bf I}$-denseness, $*$-denseness and denseness are equivalent".

A note on uniform continuity of monotone functions

2025-02-28T09:32:52Z

We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the smallest cardinality $κ$ such that any two disjoint countable dense sets in the Cantor set can be separated by sets each of which is an intersection of at most $κ$-many open sets in the Cantor set. We establish also that $\mathfrak d^*=\min\{\mathfrak u, \mathfrak d\}=\min\{\mathfrak r, \mathfrak d\}$, thus giving an alternative proof of the latter equality established by J. Aubrey in 2004.