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 $\pi_{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$, $\pi_{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.

A Survey on the Topology of Fractal Squares

2025-05-01T05:11:12Z

We consider a special type of self-similar sets, called fractal squares, and give a brief review on recent results and unsolved issues with an emphasis on their topological properties.

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,\rho)$, 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.

On the topology of real algebraic stacks

2025-04-28T15:49:48Z

Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify in several cases the Smith-Thom type inequality for stacks that we conjectured in an earlier work. This requires combining techniques from group theory, algebraic geometry, and topology.

Cauchy convergence in V-normed categories

2025-04-28T14:56:16Z

Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as small normed categories, but they can be challenging when considering some large categories, like those of semi-normed or normed vector spaces and all linear maps, or of generalized metric spaces and all mappings. These are the key example categories discussed in detail in this paper. Working with a general commutative quantale V as a value recipient for norms, rather than only with Lawvere's quantale of the extended real half-line, we observe that the categorically atypical structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of V-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale V to satisfy a couple of light alternative extra properties. Of utmost importance to the general theory is the fact that our notion of normed colimit is subsumed by the notion of weighted colimit of enriched category theory. With this theory we are able to prove that all V-normed categories have correct-size Cauchy cocompletions. We also prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories.

Topological groupoids with involution and real algebraic stacks

2025-04-28T11:49:17Z

To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with involution arises from a Deligne-Mumford stack over $\mathbb{R}$, this fixed locus coincides with the real locus of the stack. This provides a topological framework to study real algebraic stacks, and in particular real moduli spaces. Finally, we propose a Smith-Thom type conjecture in this setting, generalizing the Smith-Thom inequality for topological spaces endowed with an involution.

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.

Uniqueness of Hahn-Banach extensions in locally convex spaces

2025-04-26T15:12:24Z

We intend to study the uniqueness of the Hahn-Banach extensions of linear functionals on a subspace in locally convex spaces. Various characterizations are derived when a subspace $Y$ has an analogous version of property-U (introduced by Phelps) in a locally convex space, referred to as the property-SNP. We characterize spaces where every subspace has this property. It is demonstrated that a subspace $M$ of a Banach space $E$ has property-U if and only if the subspace $M$ of the locally convex space $E$ endowed with the weak topology has the property-SNP, mentioned above. This investigation circles around exploring the potential connections between the family of seminorms and the unique extension of functionals previously mentioned. We extensively studied this property on the spaces of continuous functions on Tychonoff spaces endowed with the topology of pointwise convergence.

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.

On the structure of modal and tense operators on a boolean algebra

2025-04-23T20:43:57Z

We study the poset NO(B) of necessity operators on a boolean algebra B. We show that NO(B) is a meet-semilattice that need not be distributive. However, when B is complete, NO(B) is necessarily a frame, which is spatial iff B is atomic. In that case, NO(B) is a locally Stone frame. Dual results hold for the poset PO(B) of possibility operators. We also obtain similar results for the posets TNO(B) and TPO(B) of tense necessity and possibility operators on B. Our main tool is Jonsson-Tarski duality, by which such operators correspond to continuous and interior relations on the Stone space of B.

Topology and Diffeology via Metric-like Functions

2025-04-22T14:02:25Z

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of metric-like functions originally introduced for spaces of submanifolds. We show that the topologies, uniformities, and diffeologies of these spaces can be systematically derived from the proposed axioms. Furthermore, the framework covers examples such as spaces with compact-open topologies, tiling spaces, and spaces of graphs, which have appeared in different contexts. These results support the study of spaces with metric-like structures from both topological and diffeological perspectives.