Separation Axioms in Fuzzy Closure Spaces

2025-09-15T03:40:03Z

Fuzzy closure spaces are an extension of classical closure spaces in topology, where the concept of closure is defined in terms of fuzzy sets. This article introduces interior operators and neighborhood systems in fuzzy closure spaces. Using that, we have redefined ČF-continuity. Separation axioms such as $ČFT_0$, $ČFT_1$, $ČFT_2$, ČF-Urysohn, ČF-regular, and ČF-normal in fuzzy closure spaces are introduced using these neighborhood systems. Additive, productive, hereditary, and other properties of these axioms have been observed. Relationships between these axioms are also investigated.

Connecting Discrete Morse Functions via Birth-Death Transitions

2025-09-14T03:51:08Z

We study transformations between discrete Morse functions on a finite simplicial complex via birth-death transitions--elementary chain maps between discrete Morse complexes that either create or cancel pairs of critical simplices. We prove that any two discrete Morse functions $f_1$, $f_2$ on a finite simplicial complex $K$ are linked by a finite sequence of such transitions.As applications, we present alternative proofs of several of Forman's fundamental results in discrete Morse theory and study the topology of the space of discrete Morse functions.

Equivariant Fibrations

2025-09-13T16:45:29Z

In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant fibrations are examined. An equivariant analog of the Hurewicz theorem on passing from local fibrations to global fibrations is proved. A classification of equivariant fibrations with the property of uniqueness of a covering path is given.

On non-archimedean frames

2025-09-13T03:51:48Z

In this investigation, we introduce the class of non-archimedean frames in spirit with the topological notion of non-archimedean spaces. We explore various properties of these frames - particularly their spaciality. We attach a base that constitutes a tree to each non-archimedean frame, and then we observe that every non-archimedean frame is a quotient of the frame of opens of the tree's branch space. Moreover, we give a partial answer to when these frames are canonically isomorphic; this leads to considering some choice principles of the resulting tree.

The Lattice of Group Topologies

2025-09-11T02:15:08Z

For an infinite group $G$, the poset $\mathcal{L}_G$ of group topologies constitutes a complete lattice. Although $\mathcal{L}_G$ is modular when $G$ is abelian, this property fails to persist for nilpotent groups. Extending Arnautov's 2010 work on the semi-modularity of $\mathcal{L}_G$ for nilpotent groups, we present an alternative proof with enhanced structural clarity. Additionally, we resolve two open questions from the Kourovka Notebook regarding lattice-theoretic properties of $\mathcal{L}_G$: (1) explicit construction of a countably infinite non-abelian nilpotent group with modular topology lattice, and (2) establishing the absence of property $P_2$ in infinite abelian groups.

Lotz-Peck-Porta and Rosenthal's theorems for spaces $C_p(X)$

2025-09-10T14:28:30Z

For a Tychonoff space $X$ by $C_p(X)$ we denote the space $C(X)$ of continuous real valued functions on $X$ endowed with the pointwise topology. We prove that an infinite compact space $X$ is scattered if and only if every closed infinite-dimensional subspace in $C_p(X)$ contains a copy of $c_0$ (with the pointwise topology) which is complemented in the whole space $C_p(X)$. This provides a $C_p$-version of the theorem of Lotz, Peck and Porta for Banach spaces $C(X)$ and $c_0$. Applications will be provided. We prove also a $C_p$-version of Rosenthal's theorem by showing that for an infinite compact $X$ the space $C_p(X)$ contains a closed copy of $c_{0}(Γ)$ (with the pointwise topology) for some uncountable set $Γ$ if and only if $X$ admits an uncountable family of pairwise disjoint open subsets of $X$. Illustrating examples, additional supplementing $C_p$-theorems and comments are included.

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

2025-09-10T14:19:47Z

In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relations belong to a given graph category. We relate topological properties of the spectrum to combinatorial properties of the graph categories involved. We then utilise this to exhibit elementary combinatorial constructions of well-known continua as Fraïssé limits of finite graphs in categories with relational morphisms.

Bi-Equivariant Extensions Of Maps

2025-09-10T14:11:37Z

The problem of bi-equivariant extension of continuous maps of binary $G$-spaces is considered. The concept of a structural map of distributive binary $G$-spaces is introduced, and a theorem on the bi-equivariant extension of structural maps is proven. A theorem on the bi-equivariant extension of continuous maps defined on the cross sections of a distributive binary $G$-space is also proven.

Skorokhod's topologies on path space

2025-09-10T13:51:59Z

Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions that are not all defined on the same domain. Traditionally, the J1 and M1 topologies are defined using time changes. Instead, we base our definitions on the point of view that the graph of a cadlag function can naturally be viewed as a compact set that is equipped with a total order. The distance between two graphs is then measured by matching points on one graph with points on the other graph in a way that respects the total order. We treat the J1 and M1 topologies in a unified framework and simplify the existing theory. We introduce a space of paths, elements of which are cadlag functions defined on an arbitrary closed subset of the real line. We show that this space is Polish and derive compactness criteria. Specialised to functions that are all defined on the same domain, this yields new proofs of known results.

Countably compact inverse semigroups and Nyikos' problem

2025-09-10T08:27:52Z

A regular separable first-countable countably compact space is called a 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.

Involutive quantales and quantale-enriched involutive topological spaces

2025-09-09T20:04:32Z

In this paper, we provide a comprehensive analysis of involutive quantales, with a particular focus on quantic frames. We extend the axiomatic foundations of quantale-enriched topological spaces to include closure under the anti-homomorphic involution, facilitating a balanced topologization of the spectrum of unital $C^*$-algebras that encompasses both closed right and left ideals through the concept of quantic frames. Specifically, certain subspaces of pure states are identified as strongly Hausdorff separated quantale-enriched involutive topological spaces.

An extension of $F$-spaces and its applications

2025-09-09T15:08:35Z

A completely regular Hausdorff space $X$ is called a $WCF$-space if every pair of disjoint cozero-sets in $X$ can be separated by two disjoint $Z^{\circ}$-sets. The class of $WCF$-spaces properly contains both the class of $F$-spaces and the class of cozero-complemented spaces. We prove that if $Y$ is a dense $z$-embedded subset of a space $X$, then $Y$ is a $WCF$-space if and only if $X$ is a $WCF$-space. As a consequence, a completely regular Hausdorff space $X$ is a $WCF$-space if and only if $βX$ is a $WCF$-space if and only if $\upsilon X$ is a $WCF$-space. We then apply this concept to introduce the notions of $PW$-rings and $UPW$-rings. A ring $R$ is called a $PW$-ring (resp., $UPW$-ring) if for all $a, b \in R$ with $aR \cap bR = 0$, the ideal $\Ann(a)+\Ann(b)$ contains a regular element (resp., a unit element). It is shown that $C(X)$ is a $PW$-ring if and only if $X$ is a $WCF$-space, if and only if $C^{*}(X)$ is a $PW$-ring. Moreover, for a reduced $f$-ring $R$ with bounded inversion, we prove that the lattice $BZ^{\circ}(R)$ is co-normal if and only if $R$ is a $PW$-ring. Several examples are provided to illustrate and delimit our results.

Submonoids of Infinite Symmetric Inverse Monoids

2025-09-08T12:17:11Z

In this thesis we study the subsemigroup structure of the symmetric inverse monoid $I_X$, the inverse semigroup of bijections between subsets of the set $X$, when $X$ is an infinite set. We explore three different approaches to this task. First, we classify the maximal subsemigroups of $I_X$ containing certain subgroups of the symmetric group on $X$. The subgroups in question are the symmetric group itself, the pointwise stabiliser of a finite non-empty subset of $X$, the stabiliser of an ultrafilter on $X$, and the stabiliser of a finite partition of $X$. Next, we study subsemigroups of $I_X$ which are closed in semigroup topologies on $I_X$ introduced by Elliot et al. in 2023. We discover that the closed subsemigroups in these topologies that contain all the idempotents of $I_X$ coincide exactly with semigroups of partial endomorphisms and partial automorphisms of relational structures defined on $X$. Furthermore, we show that if a relational structure $R$ on a countable set $X$ only contains a finite number of relations, then there exists a finite subset $U$ of $I_X$ such that the union of the partial automorphisms of $R$ together with $U$ generates all of $I_X$. Finally, we study the subsemigroup structure of $I_X$ under a preorder introduced by George Bergman and Saharon Shelah in 2006 for the symmetric group. Extending the preorder to $I_X$, if $S_1$ and $S_2$ are subsemigroups of $I_X$, we say that $S_1 \preccurlyeq S_2$ if there exists a finite subset $U$ of $I_X$ such that $S_1$ is contained in the semigroup generated by the union of $S_2$ and $U$. We classify certain types of subsemigroups of $I_X$ according the Bergman-Shelah preorder, and we formulate a conjecture analogous to the main result by Bergman and Shelah.

The Shape of Generating Families

2025-09-06T22:34:59Z

The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space (respectively, sequential) if its topology is generated by the collection of all compact subsets (respectively, convergent sequences) of $X$. Relations are defined to capture the notion of a space being a $k$-space or sequential. The structure (or `shape') under the Tukey order of these relations applied to separable metrizable spaces is examined. For the $k$-space case the initial structure is completely determined, and the cofinal structure is shown to be highly complex. In the sequential case, however, the entire shape is determined. It follows that the number of Tukey types in the sequential case lies between $\aleph_0$ and $\mathfrak{c}$, is equal to $\aleph_0$ precisely when $\mathfrak{c} < \aleph_{ω_1}$, and is equal to $\mathfrak{c}$ if and only if $\mathfrak{c}$ is a fixed point of the aleph function, necessarily of uncountable cofinality.

On transitive and homogeneous binary $G$-spaces

2025-09-06T22:09:14Z

In this paper, the notions of transitivity and homogeneity in binary $G$-spaces are studied. These notions coincide for distributive binary $G$-spaces. For compact $G$, it is shown that distributive transitive binary $G$-spaces are coset spaces with a suitably defined binary $G$-action. Homogeneous binary $G$-spaces are topologically homogeneous and are separated into distinct stabilization types. Examples of each type are constructed.