Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces

Fuzzy topology first appeared about twenty-seven years ago with Chang's initial paper (1968). Yet the fundamental issues of compactness and low-order separation axioms remain unresolved. This paper resolves these issues with respect to topological compactification, categorical compactification, and Stone representation theorems, using the theory of locales and previous work of the author in fuzzy sobriety. Our results give the first compactification reflectors for all traditional fuzzy topology, construct classes of generalized Stone representations of Boolean algebras and distributive lattices, and show categorically that the fuzzy analogue of classical compact Hausdorff spaces is the categories of Chang-compact, localic regular, sober fuzzy topological spaces.

[1]  R. Lowen.  Fuzzy topological spaces and fuzzy compactness , 1976 .

[2]  Albert J. Klein.  Fuzzy topologies with specified level properties , 1987 .

[3]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[4]  Josef Novák,et al.  General Topology and Its Relations to Modern Analysis and Algebra IV , 1977 .

[5]  R. H. Warren.  Neighborhoods, bases and continuity in fuzzy topological spaces , 1978 .

[6]  Robert Lowen,et al.  On local and global measures of separation in fuzzy topological spaces , 1986 .

[7]  Stephen E. Rodabaugh,et al.  Point-set lattice-theoretic topology , 1991 .

[8]  M. Stone,et al.  A General Theory of Spectra. I: I. , 1940, Proceedings of the National Academy of Sciences of the United States of America.

[9]  B. Hutton,et al.  Products of fuzzy topological spaces , 1980 .

[10]  T. Gantner,et al.  COMPACTNESS IN FUZZY TOPOLOGICAL SPACES , 1978 .

[11]  Stephen E. Rodabaugh,et al.  A theory of fuzzy uniformities with applications to the fuzzy real lines , 1988 .

[12]  R. Lowen.  Compact Hausdorff fuzzy topological spaces are topological , 1981 .

[13]  Harold W Martin.  A Stone-Čech ultrafuzzy compactification , 1980 .

[14]  Stephen E. Rodabaugh,et al.  Lowen, para-Lowen, and α-level functors and fuzzy topologies on the crisp real line , 1988 .

[15]  B. Hutton.  Normality in fuzzy topological spaces , 1975 .

[16]  Stephen E. Rodabaugh,et al.  Dynamic topologies and their applications to crisp topologies, fuzzifications of crisp topologies, and fuzzy topologies on the crisp real line , 1988 .

[17]  Stephen E. Rodabaugh,et al.  The Hausdorff separation axiom for fuzzy topological spaces , 1980 .

[18]  Joseph A. Goguen,et al.  The fuzzy tychonoff theorem , 1973 .

[19]  Tomasz Kubiak,et al.  On L -Tychonoff spaces , 1995 .

[20]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[21]  Arun K. Srivastava,et al.  SIERPINSKI OBJECTS IN SUBCATEGORIES OF FTS , 1988 .

[22]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[23]  C. Wong,et al.  Fuzzy topology: Product and quotient theorems , 1974 .

[24]  Robert Lowen,et al.  Fuzzy neighborhood spaces , 1982 .

[25]  C. L. Chang,et al.  Fuzzy topological spaces , 1968 .

[26]  On L-fuzzy topological spaces☆ , 1981 .

[27]  Ivan L. Reilly,et al.  Separation axioms in fuzzy topological spaces , 1980 .

[28]  Maokang Luo,et al.  Fuzzy Stone-Ccech-type compactifications , 1989 .

[29]  The stone-čech compactification in the category of fuzzy topological spaces , 1981 .

[30]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[31]  M. Stone.  Applications of the theory of Boolean rings to general topology , 1937 .

[32]  Mira Sarkar,et al.  On fuzzy topological spaces , 1981 .

[33]  Stephen E. Rodabaugh,et al.  Separation axioms and the fuzzy real lines , 1983 .

[34]  R. Lowen.  Initial and Final Fuzzy Topologies and the Fuzzy Tychonoff Theorem , 1977 .

[35]  John R. Isbell,et al.  Atomless Parts of Spaces. , 1972 .

[36]  Y M Liu,et al.  INDUCED SPACES AND FUZZY STONE-CECH COMPACTIFICATIONS , 1987 .

[37]  Robert Lowen,et al.  The epireflective hull of the Sierpinski object in FTS , 1989 .

[38]  Albert J. Klein.  Closure in fuzzy topology , 1981 .

[39]  M. Stone,et al.  The representation of Boolean algebras , 1938 .

[40]  A. J. Klein,et al.  Generating fuzzy topologies with semi-closure operators , 1983 .

[41]  Stephen E. Rodabaugh,et al.  Categorical Frameworks for Stone Representation Theories , 1992 .