In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

‎By substituting the usual notion of open sets in a topological space $X$ with a suitable collection of maps from $X$ to a frame $L$, we introduce the notion of L-topological spaces. Then, we proceed to study the classical notions and properties of usual topological spaces to the newly defined mathematical notion. Our emphasis would be concentrated on the well understood classical connectedness...

A graph G on a topological space X as its set of vertices is clopen if the edge relation of G is a clopen subset of X2 without the diagonal. We study clopen graphs on Polish spaces in terms of their finite induced subgraphs and obtain information about their cochromatic numbers. In this context we investigate modular profinite graphs, a class of graphs obtained from finite graphs by taking inve...

A new topological representation for free profinite R-trivial semigroups in terms of spaces of vertex-labeled complete binary trees is obtained. Such a tree may be naturally folded into a finite automaton if and only if the element it represents is an ω-term. The variety of ω-semigroups generated by all finite R-trivial semigroups, with the usual interpretation of the ω-power, is then studied. ...

in this article we study two different generalizations of von neumann regularity, namely strong topological regularity and weak regularity, in the banach algebra context. we show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. then we consider strong topological regularity of certain concrete algebras. moreover we obtain ...

in this paper, we first introduce some function spaces, with certain locally convex topologies, closely  related to the space of real-valued continuous functions on $x$,  where $x$ is a $c$-distinguished topological space. then, we show that their dual spaces can be identified in a natural way with certain spaces of radon measures.

Abstract. A topological group H is called ω -narrow if for every neighbourhood V of it’s identity element there exists a countable set A such that V A = H = AV. A semigroup G is called a generalized group if for any x ∈ G there exists a unique element e(x) ∈ G such that xe(x) = e(x)x = x and for every x ∈ G there exists x − 1 ∈ G such that x − 1x = xx − 1 = e(x). Also le...

In the current paper, consider the fuzzy normed linear space $(X,N)$ which is defined by Bag and Samanta. First, we construct a new fuzzy topology on this space and show that these spaces are Hausdorff locally convex fuzzy topological vector space. Some necessary and sufficient conditions are established to illustrate that the presented fuzzy topology is equivalent to two previously studied fuz...

We consider the value 1 problem for probabilistic automata over finite words. This problem is known to be undecidable. However, different algorithms have been proposed to partially solve it. The aim of this paper is to prove that one such algorithm, called the Markov Monoid algorithm, is optimal. To this end, we develop a profinite theory for probabilistic automata. This new framework gives a t...