On Countably Compact 0-Simple Topological Inverse Semigroups

We describe the structure of 0-simple countably compact topological inverse semigroups and the structure of congruence-free countably compact topological inverse semigroups.     

Embedding of Countable Topological Semigroups in Simple Countable Connected Topological Semigroups

We prove that any countable Hausdorff topological (inverse) semigroup is topologically isomorphically embedded into a simple countable connected Hausdorff topological (inverse) semigroup with identity.     

On Inverse Limits and Direct Limits for Fuzzy Topological Spaces

Li has introduced the concepts of inverse system and direct system for fuzzy topological spaces and studied inverse limits and direct limits on such spaces by presenting the explicit constructions of these limits.In this paper some important concepts of fuzzy topology,such as,product fuzzy topology,quotient fuzzy topology,fuzzy continuity etc.,are used for further study of inverse limits and direct limits for fuzzy topological spaces.     

Dense inverse subsemigroups of a topological inverse semigroup

In this paper we study dense inverse subsemigroups of topological inverse semigroups. We construct a topological inverse semigroup from a semilattice. Finally, we give two examples of the closure of B _{( −∞, ∞ )}¹, a topological inverse semigroup obtained by starting with the real numbers as a semilattice with the operation a ∨ b=sup{a,b}. The author would like to thank to the referee for useful suggestions.     

Étale groupoids and their quantales

We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, which are given a rather simple characterization and here are called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a (non-functorial) correspondence between these and localic étale groupoids that generalizes more classical results concerning inverse semigroups and topological étale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is étale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological étale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.     

Continuous bijective mappings in topological and Banach manifolds

Continuity and monotonicity of the inverse operator is investigated for the case when the original operator is a bijective mapping acting in topological manifolds or in Banach spaces. For finite-dimensional topological manifolds, the inverse operator is always continuous; for Banach spaces, continuity of the inverse operator is guaranteed only if the space is finite-dimensional. For an arbitrary differentiable bijective mapping acting in the Euclidean space, the Jacobian preserves its sign.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 57, pp. 117–124, 1985;     

Quotients of uniform spaces

This paper develops the basic theory of quotients of uniform spaces via sufficiently nice group actions. We generalize and unify two fundamental constructions: quotients of topological groups via closed normal subgroups and quotients of metric spaces via actions by isometries. Basic results about inverse limits of topological groups are extended to inverse limits of group actions on uniform spaces, and notions of prodiscrete action and generalized covering map are introduced.     

The existence of an inverse limit of an inverse system of measure spaces — A purely measurable case

The existence of an inverse limit of an inverse system of (probability) measure spaces has been investigated since the very beginning of the modern probability theory. Results from Kolmogorov [11], Bochner [2], Choksi [6], Metivier [15], Bourbaki [4], Mallory and Sion [12] among others have paved the way of the deep understanding of this problem. All the above results, however, call for some topological concepts, or at least the ones which are closely related topological ones. In this paper we investigate purely measurable inverse systems of (probability) measure spaces, and give a sufficient condition for the existence of a unique inverse limit. An example for the considered purely measurable inverse systems of (probability) measure spaces is also given.     

On the Brandt λ 0-extensions of monoids with zero

We study algebraic properties of the Brandt λ ⁰-extensions of monoids with zero and non-trivial homomorphisms between the Brandt λ ⁰-extensions of monoids with zero. We introduce finite, compact topological Brandt λ ⁰-extensions of topological semigroups and countably compact topological Brandt λ ⁰-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt λ ⁰-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt λ ⁰-extensions of topological monoids with zeros.     

(i,p) -同伦逆和群同伦逆

该文在点标拓扑空间范畴中引进了(i,p)-同伦逆和群同伦逆的概念,并讨论了它们存在的条件和性质.     

Symmetric inverse topological semigroups of finite rank ≤ <Emphasis Type="Italic">n</Emphasis>

We establish topological properties of the symmetric inverse topological semigroup of finite transformations of the rank ≤ n. We show that the topological inverse semigroup is algebraically h -closed in the class of topological inverse semigroups. Also we prove that a topological semigroup S with countably compact square S×S does not contain the semigroup for infinite cardinal λ and show that the Bohr compactification of an infinite topological symmetric inverse semigroup of finite transformations of the rank ≤ n is the trivial semigroup.     

On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations

We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalize to the requirement that the relation and its inverse be lower semi-continuous with respect to the topology. We then investigate the notion of topological bisimulation relations between topological Kripke frames, as introduced by Aiello and van Benthem, and show that their topology-preserving conditions are equivalent to the properties that the inverse relation and the relation are lower semi-continuous with respect to the topologies on the two models. The first main result is that this notion of topological bisimulation yields semantic preservation w.r.t. topological Kripke models for both intuitionistic tense logics, and for their classical companion multi-modal logics in the setting of the Gödel translation. After giving canonical topological Kripke models for the Hilbert-style axiomatizations of the Fischer Servi logic and its classical companion logic, we use the canonical model in a second main result to characterize a Hennessy–Milner class of topological models between any pair of which there is a maximal topological bisimulation that preserve the intuitionistic semantics.     

On Topological Semigroups of Matrix Units

On the infinite semigroup of matrix units there exists no semigroup compact [countably compact] topology. Any continuous homomorphism from the infinite topological semigroup of matrix units into a compact topological semigroup is annihilating. The semigroup of matrix units is algebraically h-closed in the class of topological inverse semigroups. Some H-closed minimal semigroup topologies on the infinite semigroup of matrix units are considered.     

Lower and upper fuzzy topological subhypergroups

This paper provides a new connection between algebraic hyperstructures and fuzzy sets. More specifically, using both properties of fuzzy topological spaces and those of fuzzy subhypergroups, we define the notions of lower (upper) fuzzy topological subhypergroups of a hypergroup endowed with a fuzzy topology. Some results concerning the image and the inverse image of a lower (upper) topological subhypergroup under a very good homomorphism of hypergroups (endowed with fuzzy topologies) are pointed out.     

Inverse semigroup actions as groupoid actions

To an inverse semigroup, we associate an étale groupoid such that its actions on topological spaces are equivalent to actions of the inverse semigroup. Both the object and the arrow space of this groupoid are non-Hausdorff. We show that this construction provides an adjoint functor to the functor that maps a groupoid to its inverse semigroup of bisections, where we turn étale groupoids into a category using algebraic morphisms. We also discuss how to recover a groupoid from this inverse semigroup.     

Generalized Topological Essentiality and Coincidence Points of Multivalued Maps

A concept of generalized topological essentiality for a large class of multivalued maps in topological vector Klee admissible spaces is presented. Some direct applications to differential equations are discussed. Using the inverse systems approach the coincidence point sets of limit maps are examined. The main motivation as well as main aim of this note is a study of fixed points of multivalued maps in Fréchet spaces. The approach presented in the paper allows to check not only the nonemptiness of the fixed point set but also its topological structure.      

The class of spaces in which the theorem on the bounded differentiability of the inverse mapping is valid

This paper describes the class of all topological linear spaces for whose mappings into themselves the theorem on the bounded differentiability of the inverse mapping is valid.     

A new reconstruction method for a parabolic inverse source problem

In this paper, we focus on the detection of the shape and location of a discontinuous source term from the knowledge of boundary measurements. We propose a non-iterative reconstruction algorithm based on the Kohn-Vogelius formulation and the topological sensitivity analysis method. The inverse source problem is formulated as a topology optimization one. A topological sensitivity analysis is derived from an energy-like cost function. The unknown shape of the term source support is reconstructed using a level-set curve of the topological gradient. The efficiency of our algorithm is illustrated by some numerical simulations.     

THE FORGETFUL FUNCTOR Cont → Prox IS TOPOLOGICAL

Abstract

It is shown that the forgetful functor from the category of contiguity spaces to the category of generalized proximity spaces is topological, and that the right adjoint right inverse of this functor extends the inverse of the forgetful functor from the category of totally bounded uniform spaces to the category of proximity spaces.     

Topology vs generalized rough sets

This paper investigates the relationship between topology and generalized rough sets induced by binary relations. Some known results regarding the relation based rough sets are reviewed, and some new results are given. Particularly, the relationship between different topologies corresponding to the same rough set model is examined. These generalized rough sets are induced by inverse serial relations, reflexive relations and pre-order relations, respectively. We point that inverse serial relations are weakest relations which can induce topological spaces, and that different relation based generalized rough set models will induce different topological spaces. We proved that two known topologies corresponding to reflexive relation based rough set model given recently are different, and gave a condition under which the both are the same topology.