\(I\)-fuzzy Alexandrov topologies and specialization orders (Q2458489)

The aim of this paper is to investigate the relationships between \(I\)-fuzzy structures and fuzzy order structures on a universe set \(X\); in this paper an \(I\)-fuzzy topology is a map \(\tau: I^X\to [0,1]\) satisfying the following conditions 1) \(\tau(\lambda)= 1\) for all constant functions \(\lambda\) from \(X\) to \([0, 1]\); 2) \(\tau(u\wedge v)\geq \tau(u)\wedge \tau(v)\), \(\forall u,v\in I^X\); 3) \(\tau(\bigvee_{j\in J} u_j)\geq \bigwedge_{j\in J}\tau(u_j)\), \(\forall j\in J\), \(u_j\in I^X\); If a map \(\tau: 2^X\to [0,1]\) satisfies similar conditions as an \(I\)-fuzzy topology on a set \(X\), then \(T\) is called a fuzzyfying topology. With \(X\) a universe set and `\(*\)' a \(t\)-norm on \([0, 1]\), a fuzzy relation \(R: X\times X\to[0,1]\) is said to be a \(*\)-fuzzy preorder if it is a reflexive and \(*\)-transitive fuzzy relation. The author focuses on the problem how to obtain an \(I\)-fuzzy topology through a fuzzy relation on a set. The notion of an \(I\)-fuzzified set of all upper sets (dually, an \(I\)-fuzzyfied set of all lower sets) of a fuzzy preordered set \((X, R)\) is introduced and it is shown that an \(I\)-fuzzyfied set of all upper sets induced by a fuzzy preorder \(R\) is precisely an \(I\)-fuzzy topology of the fuzzy preordered set \((X,R)\); this topology is named an \(I\)-fuzzy Alexandrov topology in this paper. Further, for a given \(I\)-fuzzy topological space \((X,\tau)\), the author considers the problem of inducing a fuzzy order on \(X\) by \(\tau\); in this context the author proposes a definition of the specialization order of an \(I\)-fuzzy topological space. Finally, the author gives a `Representation theorem of fuzzy preorders by \(I\)-fuzzy topologies'.