A Note on Almost Completely Regular Spaces and $c$-Semistratifiable Spaces
Received:May 13, 2015  Revised:September 14, 2015
Key Words: almost completely regular spaces   CSS   semi-continuous functions  
Fund Project:Supported by the Project of Young Creative Talents of Guangdong Province (Grant No.2014KQNCX161), the PhD Start-up Fund of Natural Science Foundation of Guangdong Province (Grant No.2014A030310187), the National Natural Science Foundation of China (Grant Nos.11526158; 6137921; 11471153) and the Research Fund for Higher Education of Fujian Province of China (Grant No.2013J01029).
Author NameAffiliation
Lianhua FANG Department of Public-courses Teaching, Quanzhou Institute of Information Engineering, Fujian 362000, P. R. China 
Lihong XIE School of Mathematics and Computational Science, Wuyi University, Guangdong 529020, P. R. China 
Kedian LI Department of Mathematics, Minnan Normal University, Fujian 363000, P. R. China 
Hits: 2648
Download times: 1891
Abstract:
      In this paper, we give some characterizations of almost completely regular spaces and $c$-semistratifiable spaces (CSS) by semi-continuous functions. We mainly show that: (1) Let $X$ be a space. Then the following statements are equivalent: (i)~~$X$ is almost completely regular. (ii)~~Every two disjoint subsets of $X$, one of which is compact and the other is regular closed, are completely separated. (iii)~~If $g,h: X \rightarrow \mathbb{I}$, $g$ is compact-like, $h$ is normal lower semicontinuous, and $g \leq h$, then there exists a continuous function $f:X\rightarrow \mathbb{I}$ such that $g \leq f \leq h$; and (2) Let $X$ be a space. Then the following statements are equivalent: (a)~~$X$ is CSS; (b)~~There is an operator $U$ assigning to a decreasing sequence of compact sets $(F_{j})_{j\in \mathbb{N}}$, a decreasing sequence of open sets $(U(n,(F_{j})))_{n\in N}$ such that (b1)~~$F_{n}\subseteq U(n,(F_{j}))$ for each $n\in\mathbb{N}$; (b2)~~$\bigcap_{n\in\mathbb{N}}U(n,(F_{j}))=\bigcap_{n\in\mathbb{N}}F_{n}$; (b3)~~Given two decreasing sequences of compact sets $(F_{j})_{j\in \mathbb{N}}$ and $(E_{j})_{j\in\mathbb{N}}$ such that $F_{n}\subseteq E_{n}$ for each $n\in\mathbb{N}$, then $U(n,(F_{j}))\subseteq U(n,(E_{j}))$ for each $n\in\mathbb{N}$; (c)~~There is an operator $\Phi: {\rm LCL}(X,\mathbb{I})\rightarrow {\rm USC}(X,\mathbb{I})$ such that, for any $h\in {\rm LCL}(X,\mathbb{I})$, $0\leqslant\Phi(h)\leqslant h$, and $0<\Phi(h)(x)0$.
Citation:
DOI:10.3770/j.issn:2095-2651.2016.02.012
View Full Text  View/Add Comment