$\mathbb{M}^$, $\mathbb{N}^$, and $\mathbb{H}^*$

2025-05-07T13:58:04Z

Let $\mathbb{M} = \mathbb N \times [0,1]$. The natural projection $π: \mathbb{M} \rightarrow \mathbb N$, which sends $(n,x)$ to $n$, induces a projection mapping $π^*: \mathbb{M}^* \rightarrow \mathbb N^*$, where $\mathbb{M}^*$ and $\mathbb N^*$ denote the Čech-Stone remainders of $\mathbb{M}$ and $\mathbb N$, respectively. We show that $\mathsf{CH}$ implies every autohomeomorphism of $\mathbb N^*$ lifts through the natural projection to an autohomeomorphism of $\mathbb{M}^*$. That is, for every homeomorphism $h: \mathbb N^* \rightarrow \mathbb N^*$ there is a homeomorphism $H: \mathbb{M}^* \rightarrow \mathbb{M}^*$ such that $π^* \circ H = h \circ π^*$. This complements a recent result of the second author, who showed that this lifting property is not a consequence of $\mathsf{ZFC}$. Combining this lifting theorem with a recent result of the first author, we also prove that $\mathsf{CH}$ implies there is an order-reversing autohomeomorphism of~$\mathbb H^*$, the Čech-Stone remainder of the half line $\mathbb H = [0,\infty)$.

Nested ideals and topologically $\mathbf u_\mathcal I$-torsion elements of the circle group

2025-05-06T14:01:54Z

Let $\mathbf u=(u_n)_{n\in\mathbb N}$ be a sequence in $\mathbb N_+$ with $u_0=1$ and $u_n\mid u_{n+1}$ for every $n\in\mathbb N$, and let $b_n:=u_{n+1}/u_n$ for every $n\in\mathbb N_+$. For every $r\in [0,1)$, there exists a unique sequence $(c_n)_{n\in\mathbb N_+}$ in $\mathbb N$ such that $r= \sum_{n=1}^\infty\frac{c_n}{u_n}$, with $c_n

Some generalized metric properties of $n$-semitopological groups

2025-05-06T07:46:45Z

A semitopological group $G$ is called {\it an $n$-semitopological group}, if for any $g\in G$ with $e\not\in\overline{\{g\}}$ there is a neighborhood $W$ of $e$ such that $g\not\in W^{n}$, where $n\in\mathbb{N}$. The class of $n$-semitopological groups ($n\geq 2$) contains the class of paratopological groups and Hausdorff quasi-topological groups. Fix any $n\in\mathbb{N}$. Some properties of $n$-semitopological groups are studied, and some questions about $n$-semitopological groups are posed. Some generalized metric properties of $n$-semitopological groups are discussed, which contains mainly results are that (1) each Hausdorff first-countable 2-semitopological group admits a coarsersemi-metrizable topology; (2) each locally compact, Baire and $σ$-compact 2-semitopological group is a topological group; (3) the condensation of some kind of 2-semitopological groups topologies are given. Finally, some cardinal invariants of $n$-semitopological groups are discussed.

On real-valued functions of Lipschitz type

2025-05-05T20:13:40Z

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally (pointwise) Lipschitz functions. In contrast to Lipschitz and pointwise Lipschitz extensions, the construction of locally Lipschitz extensions is based on Lipschitz partitions of unity of countable open covers of the domain. Such partitions of unity are a special case of a more general result obtained by Zdeněk Frolík. To avoid the use of Stone's theorem (paracompactness of metrizable spaces), it is given a simple direct proof of this special case of Frolík's result. As an application, it is shown that the locally Lipschitz functions are precisely the locally finite sums of sequences of Lipschitz functions. Also, it is obtained a natural locally Lipschitz version of one of Michael's selection theorems.

Certain Observations on Ideals Associated With Weighted Density Using Modulus Functions

2025-05-05T14:31:33Z

In this article our main object of investigation is the simple modular density ideals $\mathcal{Z}_g(f)$ introduced in [Bose et al., Indag. math., 2018] where $g$ is a weight function, more precisely, $g\in G$, $G=\{g:ω\to [0,\infty):\frac{k}{g(k)}\not\to 0 \text{ and }\:\: g(k)\to \infty \text{ as }\:\:k\to \infty \}$ and $f$ is an unbounded modulus function. We mainly investigate certain properties of these ideals in line of [Kwela et al, J. math. Anal. Appl., 2019]. For an unbounded modulus function $f$ it is shown that there are $1$ or $\ck$ many functions $g\in G$ generating the same ideal $\mathcal{Z}_g(f)$. We then obtain certain interactive results involving the sequence of submeasures $\{φ_k\}_{k\in ω}$ generating the ideal $\mathcal{Z}_g(f)$ and the functions $g,f$. Finally, we present some observations on $\mathcal{Z}_g(f)$ ideals related to the notion of increasing-invariance.

On continuous polynomials of the Macías space

2025-05-03T02:02:41Z

Let $\mathbb{N}$ be the set of natural numbers. The Macías space $M(\mathbb{N})$ is the topological space $(\mathbb{N},τ_M)$ where $τ_M$ is generated by the collection of sets $σ_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

On uniformly continuous surjections between $C_p$-spaces over metrizable spaces

2025-05-02T20:11:03Z

Let $X$ be metrizable, $Y$ be perfectly normal and suppose that there exists a uniformly continuous surjection $T: C_{p}(X) \to C_{p}(Y)$ (resp., $T: C_{p}^*(X) \to C_{p}^*(Y)$), where $C_{p}(X)$ (resp., $C_{p}^*(X)$) denotes the space of all real-valued continuous (resp., continuous and bounded) functions on $X$ endowed with the pointwise convergence topology. We show that if additionally $T$ is an inversely bounded mapping and $X$ has some dimensional-like property $\mathcal P$, then so does $Y$. For example, this is true if $\mathcal P$ is one of the following properties: zero-dimensionality, countable-dimensionality or strong countable-dimensionality. Also, we consider other properties $\mathcal P$: of being a scattered, or a strongly $σ$-scattered space, or being a $Δ_1$-space (see [17]). Our results strengthen and extend several results from [6], [13], [17].

Topologically conjugate classification of diagonal operators

2025-05-01T15:07:06Z

Let $\ell^{p}$, $1\leq p<\infty$, be the Banach space of absolutely $p$-th power summable sequences and let $π_{n}$ be the natural projection to the $n$-th coordinate for $n\in\mathbb{N}$. Let $\mathfrak{W}=\{w_{n}\}_{n=1}^{\infty}$ be a bounded sequence of complex numbers. Define the operator $D_{\mathfrak{W}}: \ell^{p}\rightarrow\ell^{p}$ by, for any $x=(x_{1},x_{2},\ldots)\in \ell^p$, $π_{n}\circ D_{\mathfrak{W}}(x)=w_{n}x_{n}$ for all $n\geq1$. We call $D_{\mathfrak{W}}$ a diagonal operator on $\ell^{p}$. In this article, we study the topological conjugate classification of the diagonal operators on $\ell^{p}$. More precisely, we obtained the following results. $D_{\mathfrak{W}}$ and $D_{\vert\mathfrak{W}\vert}$ are topologically conjugate, where $\vert\mathfrak{W}\vert=\{\vert w_{n}\vert\}_{n=1}^{\infty}$. If $\inf_{n}\vert w_n\vert>1$, then $D_{\mathfrak{W}}$ is topologically conjugate to $2\mathbf{I}$, where $\mathbf{I}$ means the identity operator. Similarly, if $\inf_{n}\vert w_n\vert>0$ and $\sup_{n}\vert w_n\vert<1$, then $D_{\mathfrak{W}}$ is topologically conjugate to $\frac{1}{2}\mathbf{I}$. In addition, if $\inf_{n}\vert w_n\vert=1$ and $\inf_{n}\vert t_n\vert>1$, then $D_{\mathfrak{W}}$ and $D_{\mathfrak{T}}$ are not topologically conjugate.

Uniformly Star Superparacompact Subsets and Spaces

2025-05-01T12:46:44Z

Uniformly star superparacompactness, which is a topological property between compactness and completeness, can be characterized using finite-component covers and a measure of strong local compactness. Using these finite-component covers and the associated functional, we introduce and investigate a variational notion of uniformly star superparacompact subsets in metric spaces in the spirit of studies on uniformly paracompact subset and UC-subset. We show that the collection of all such subsets forms a bornology with a closed base, which is contained in the bornology of uniformly paracompact subsets. Conditions under which these two bornologies coincide are specified. Furthermore, we provide several new characterizations of uniformly star superparacompact metric spaces also known as cofinally Bourbaki-quasi complete spaces in terms of some geometric functionals. As a consequence, we establish new relationships among metric spaces that lie between compactness and completeness.

Element-wise description of the $\mathcal I$-characterized subgroups of the circle

2025-04-30T13:46:01Z

According to Cartan, given an ideal $\mathcal I$ of $\mathbb N$, a sequence $(x_n)_{n\in\mathbb N}$ in the circle group $\mathbb T$ is said to {\em $\mathcal I$-converge} to a point $x\in \mathbb T$ if $\{n\in \mathbb N: x_n \not \in U\}\in \mathcal I$ for every neighborhood $U$ of $x$ in $\mathbb T$. For a sequence $\mathbf u=(u_n)_{n\in\mathbb N}$ in $\mathbb Z$, let $$t_{\mathbf u}^\mathcal I(\mathbb T) :=\{x\in \mathbb T: u_nx \ \text{$\mathcal I$-converges to}\ 0 \}.$$ This set is a Borel (hence, Polishable) subgroup of $\mathbb T$ with many nice properties, largely studied in the case when $\mathcal I = \mathcal F in$ is the ideal of all finite subsets of $\mathbb N$ (so $\mathcal F in$-convergence coincides with the usual one) for its remarkable connection to topological algebra, descriptive set theory and harmonic analysis. We give a complete element-wise description of $t_{\mathbf u}^\mathcal I(\mathbb T)$ when $u_n\mid u_{n+1}$ for every $n\in\mathbb N$ and under suitable hypotheses on $\mathcal I$. In the special case when $\mathcal I =\mathcal F in$, we obtain an alternative proof of a simplified version of a known result.

Euclidean interval objects in categories with finite products

2025-04-30T11:49:27Z

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their definition does not assume a pre-existing notion of real number. The universal property characterises such structures up to isomorphism, supports the definition of functions between intervals, and provides a means of verifying identities between functions. In the category of sets, the universal property characterises closed intervals of real numbers with nonempty interior. In the the category of topological spaces, we obtain intervals with the Euclidean topology. We also prove that every elementary topos with natural numbers object contains an interval object; furthermore, we characterise interval objects as intervals of real numbers in the Cauchy completion of the rational numbers within the Dedekind reals.

Orbitwise expansive maps

2025-04-30T05:23:37Z

This study defines an orbitwise expansive point (OE) as a point, such as $x$ in a metric space $(X,ρ)$, if there is a number $d>0$ such that the orbits of a few points inside an arbitrary open sphere will maintain a distance greater than $d$ from the corresponding points of the orbit of $x$ at least once. The point $x$ is referred to as the relatively orbitwise expansive point (ROE) in the previously described scenario if $d$ is replaced with the radius of the open sphere whose orbit is investigated and whose centre is $x$. %The function generating the orbit is considered to be continuous. We also define OE (ROE) set. We prove that arbitrary union of OE (ROE) set is again OE (ROE) set and every limit point of an OE set is an OE point. We show that, rather than the other way around, Utz's expansive map or Kato's CW-expansive map implies OE (ROE) map. We utilise the concept of OE(ROE) to analyse a time-varying dynamical system and investigate its relevance to certain traits associated with expansiveness.

Fibrewise compactifications and generalised limits in commutative and noncommutative topology

2025-04-28T02:16:06Z

We introduce fibrewise compactifications in both the setting of locally compact Hausdorff spaces and continuous maps, and the parallel setting of $C^*$-algebras and nondegenerate multiplier-valued $*$-homomorphisms. In both situations, we use fibrewise compactifications to define regulated limits. In the topological setting, regulated limits extend classical inverse limits so that the resulting limit space remains locally compact; examples include the path spaces of directed graphs. In the operator-algebraic setting, regulated limits realise a direct-limit construction for multiplier-valued $*$-homomorphisms; examples include the cores of relative Cuntz-Pimsner algebras.

A characterization of proper actions with bornology and coarse geometry

2025-04-26T05:51:17Z

In 1961, Palais showed that every smooth proper Lie group action on a smooth manifold admits a compatible Riemannian metric on the manifold such that the action becomes isometric. In 2006, Yoshino studied a continuous proper action of a locally compact Hausdorff group on a locally compact Hausdorff space, and showed that the space carries a compatible uniform structure making the action equi continuous in an appropriate setting. In this paper, we focus on bornological proper actions on bornological spaces and prove that the space admits a compatible coarse structure such that the action becomes equi controlled.

Ordinal Decompositions and Extreme Selections

2025-04-25T19:32:19Z

The paper contains two natural constructions of extreme hyperspace selections generated by special ordinal decompositions of the underlying space. These constructions are very efficient not only in simplifying arguments but also in clarifying the ideas behind several known results. They are also crucial in obtaining some new results for such extreme selections. This is achieved by using special sets called clopen modulo a point. Such sets are naturally generated by a relation between closed sets and points of the space with respect to a given hyperspace selection.

$\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$