Table of Contents
Fetching ...

Point-free MV-topologies

Marby Zuley Bolaños Ortiz, Luz Victoria De La Pava, Ciro Russo

Abstract

We propose a point-free approach to MV-topological spaces in the wake of previous works on both classical and fuzzy topology. In order to do that, we introduce suitable frame-type structures and a class of fuzzy topological spaces which includes and suitably extends the one of MV-topological spaces. Then we show an adjoint situation between such structures, and restrict such an adjointness to a duality between the corresponding classes of ``spatial frames'' and ``sober spaces''. We also use neighbourhood systems to characterize sobriety in this context.

Point-free MV-topologies

Abstract

We propose a point-free approach to MV-topological spaces in the wake of previous works on both classical and fuzzy topology. In order to do that, we introduce suitable frame-type structures and a class of fuzzy topological spaces which includes and suitably extends the one of MV-topological spaces. Then we show an adjoint situation between such structures, and restrict such an adjointness to a duality between the corresponding classes of ``spatial frames'' and ``sober spaces''. We also use neighbourhood systems to characterize sobriety in this context.

Paper Structure

This paper contains 6 sections, 17 theorems, 40 equations.

Key Result

Proposition 4.2

Let $(M, \bigvee, \wedge,*,\cdot, +, 1_{M},0_{M})$ be a $D$-frame. The set $\widehat{M}=\{\widehat{a}: a \in M\}$, where is a $D$-laminated MV-topology over $\operatorname{pt} M$. $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (56)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4: solovyov2016
  • Definition 2.5
  • Definition 2.6
  • Definition 3.1
  • Definition 3.2
  • Definition 3.3
  • Definition 3.4: solovyov2016
  • ...and 46 more