×

Position of subspaces in spaces: Relative versions of compactness, Lindelöf properties, and separation axioms. (English. Russian original) Zbl 0745.54003

Mosc. Univ. Math. Bull. 44, No. 6, 67-69 (1989); translation from Vestn. Mosk. Univ., Ser. I 1989, No. 6, 67-69 (1989).
The authors define relative versions of certain standard topological properties and state certain theorems and examples concerning them. No proofs are given. Let \(X\) be a topological space and let \(Y\) be a subspace of \(X\). The authors say that \(Y\) is regular (superregular) in \(X\) if for each \(y\in Y\) and any set \(A\) which is closed in \(X\) and not containing \(y\) there are disjoint subsets \(U\) and \(V\) open in \(X\) such that \(y\in U\) and \(A\cap Y\subseteq V\) (respectively, \(y\in U\) and \(A\subseteq V\)). They define \(Y\) to be strongly regular in \(X\) if for each \(x\in X\) and each set \(F\) not containing \(x\) and closed in \(X\) there are disjoint open sets \(U\), \(W\) in \(X\) such that \(x\in U\) and \(F\cap Y\subseteq W\). Proposition 1: There exists a \(T_ 2\)-space \(X\) having a countable closed discrete subspace \(Y\) such that \(Y\) is not regular in \(X\). A space \(Y\) is called strongly normal in a space \(X\) if for any two disjoint sets \(A\) and \(B\) closed in \(Y\) there are disjoint open sets \(U\) and \(V\) in \(X\) such that \(A\subseteq U\) and \(B\subseteq V\). Theorem 1: Suppose \(Y\) is regular in \(X\) and \(Y\) is a Lindelöf subspace. Then \(Y\) is strongly normal in \(X\). Propositions 6 and 7: If \(Y\) is compact in a \(T_ 2\)-space \(X\), then \(Y\) is strongly regular in \(X\), but \(Y\) is not necessarily superregular in \(X\). The paper contains other generalizations of classical theorems of general topology and several examples showing the scope and limitations of the results obtained. The paper concludes with a problem.

MSC:

54B05 Subspaces in general topology
54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)
34D10 Perturbations of ordinary differential equations
54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)
54D30 Compactness
PDFBibTeX XMLCite