Quasihomeomorphisms and Skula spaces

Let [Formula: see text] be a topological space. By the Skula topology (or the [Formula: see text]-topology) on [Formula: see text], we mean the topology [Formula: see text] on [Formula: see text] with basis the collection of all [Formula: see text]-locally closed sets of [Formula: see text], the resulting space [Formula: see text] will be denoted by [Formula: see text]. We show that the following results hold: (1) [Formula: see text] is an Alexandroff space if and only if the [Formula: see text]-reflection [Formula: see text] of [Formula: see text] is a [Formula: see text]-space. (2) [Formula: see text] is a Noetherian space if and only if [Formula: see text] is finite. (3) If we denote by [Formula: see text] the Alexandroff extension of [Formula: see text], then [Formula: see text] if and only if [Formula: see text] is a Noetherian quasisober space. We also give an alternative proof of a result due to Simmons concerning the iterated Skula spaces, namely, [Formula: see text]. A space is said to be clopen if its open sets are also closed. In [R. E. Hoffmann, Irreducible filters and sober spaces, Manuscripta Math. 22 (1977) 365–380], Hoffmann introduced a refinement clopen topology [Formula: see text] of [Formula: see text]: The indiscrete components of [Formula: see text] are of the form [Formula: see text], where [Formula: see text] and [Formula: see text] is the intersection of all open sets of [Formula: see text] containing [Formula: see text] (equivalently, [Formula: see text]). We show that [Formula: see text]

ALEXANDROFF SPACES AND GRAPHIC TOPOLOGY

This work studies and gives some conditions for an Alexandroff space to be graphic topological space by using some basic properties of graphic topology such as locally finitely property. That is, we offer some answer for the open problem which is recalled in \cite{AJK} (Problem 2 page 658).

Alexandroff topologies and monoid actions

Given a monoid S acting (on the left) on a set X, all the subsets of X which are invariant with respect to such an action constitute the family of the closed subsets of an Alexandroff topology on X. Conversely, we prove that any Alexandroff topology may be obtained through a monoid action. Based on such a link between monoid actions and Alexandroff topologies, we firstly establish several topological properties for Alexandroff spaces bearing in mind specific examples of monoid actions. Secondly, given an Alexandroff space X with associated topological closure operator σ, we introduce a specific notion of dependence on union of subsets. Then, in relation to such a dependence, we study the family {\mathcal{A}_{\sigma,X}} of the closed subsets Y of X such that, for any {y_{1},y_{2}\in Y}, there exists a third element {y\in Y} whose closure contains both {y_{1}} and {y_{2}}. More in detail, relying on some specific properties of the maximal members of the family {\mathcal{A}_{\sigma,X}}, we provide a decomposition theorem regarding an Alexandroff space as the union (not necessarily disjoint) of a pair of closed subsets characterized by such a dependence. Finally, we refine the study of the aforementioned decomposition through a descending chain of closed subsets of X of which we give some examples taken from specific monoid actions.

Low-level separation axioms from the viewpoint of computational topology

The present paper studies certain low-level separation axioms of a topological space, denoted by A(X), induced by a geometric AC-complex X. After proving that whereas A(X) is an Alexandroff space satisfying the semi-T1 2 -separation axiom, we observe that it does neither satisfy the pre T1 2 -separation axiom nor is a Hausdorff space. These are main motivations of the present work. Although not every A(X) is a semi-T1 space, after proceeding with an edge to edge tiling (or a face to face crystallization) of Rn, n ? N, denoted by T(Rn) as an AC complex, we prove that A(T(Rn)) is a semi-T1 space. Furthermore, we prove that A(En), induced by an nD Cartesian AC complex Cn = (En,N,dim), is also a semi-T1 space, n ? N. The paper deals with AC-complexes with the locally finite (LF-, for brevity) property, which can be used in the fields of pure and applied mathematics as well as digital topology, computational topology, and digital geometry.

A study of the quasi covering dimension of Alexandroff countable spaces using matrices

The notion of Alexandroff space was firstly appeared in [1]. Different types of the covering dimension in the set of all Alexandroff countable spaces have been studied (see [5]). Inspired by [9], where a new topological dimension, called quasi covering dimension was developed, in this paper we study this new dimension in the set of all Alexandroff countable topological spaces using the matrix algebra. Especially, we characterize the open and dense subsets of an arbitrary Alexandroff countable space X using matrices. Under certain additional requirements on X, we provide a computational procedure for the determination of the quasi covering dimension of X.

HOMOGENEOUS FUNCTIONALLY ALEXANDROFF SPACES

A function $f:X\rightarrow X$ determines a topology $P(f)$ on $X$ by taking the closed sets to be those sets $A\subseteq X$ with $f(A)\subseteq A$. The topological space $(X,P(f))$ is called a functionally Alexandroff space. We completely characterise the homogeneous functionally Alexandroff spaces.

Properties of space set topological spaces

Since a locally finite topological structure plays an important role in the fields of pure and applied topology, the paper studies a special kind of locally finite spaces, so called a space set topology (for brevity, SST) and further, proves that an SST is an Alexandroff space satisfying the separation axiom T0. Unlike a point set topology, since each element of an SST is a space, the present paper names the topology by the space set topology. Besides, for a connected topological space (X,T) with |X| = 2 the axioms T0, semi-T1/2 and T1/2 are proved to be equivalent to each other. Furthermore, the paper shows that an SST can be used for studying both continuous and digital spaces so that it plays a crucial role in both classical and digital topology, combinatorial, discrete and computational geometry. In addition, a connected SST can be a good example showing that the separation axiom semi-T1/2 does not imply T1/2.