scientific article; zbMATH DE number 1038637

Publication date 4 November 1997

Lindelöf strong covering dimension strongly normal

Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Dimension theory in general topology (54F45)

Review text

Definition 1. The small inductive dimension of \(Y\) in \(X\) is defined as follows: (i) \(\text{ind} (Y,X)= -1\), if and only if \(Y=0\) and (ii) \(\text{ind} (Y,X) \leq n\), if for any \(y\in Y\) and for any open neighborhood \(U\) of \(y\) in \(X\) there exists an open in \(X\) neighborhood \(V\) of \(y\), such that \(y\in V\subset U\) and \(\text{ind} ((\overline V \smallsetminus V) \cap Y,X) \leq n-1\). Definition 2. The covering dimension of \(Y\) in \(X\) does not exceed \(n\) \((\dim (Y,X) \leq n)\), if for any finite open in \(X\) cover \(\gamma\) of \(X\) there exists a finite open in \(Y\) cover \(\mu\) of \(Y\), refining \(\gamma\), such that \(\text{Ord} (y,\mu) \leq n+1\) for any \(y\) in \(Y\), where \(\text{Ord} (y,\mu) =|\{U\in \mu: y\in U\} |\). An equivalent definition is obtained by requiring the existence of a family \(\mu\) of open in \(X\) sets, covering \(Y\) and refining \(\tau\), such that \(\text{Ord} (y,\mu) \leq n+1\) for any \(y\in Y\). Definition 3. The strong covering dimension of \(Y\) in \(X\) does not exceed \(n\) \((\dim^* (Y,X) \leq n)\), if for any finite open in \(X\) cover \(\gamma\) of \(X\) there exists a finite family \(\mu\) of open in \(X\) sets, refining \(\gamma\), such that \(\bigcup \mu \supset Y\) and \(\text{Ord} (y,\mu) \leq n+1\) for each \(x\) in \(X\). In this paper the author gives several examples when the above dimension functions are unequal and obtains results as to their equality. The following is a brief summary. Examples: (1) There exist a Tikhonov space \(X\) and its subspace \(Y\), such that \(\dim (Y,X) \neq\dim^* (Y,X)\). (2) There exist a normal space \(X\) and its subspace \(Y\), such that \(\dim (Y,X) \neq\dim (Y)\neq \dim (X)\). Results: (1) Let \(Y\) be a strongly normal in \(X\) subspace of \(X\). Then if \(\dim (Y,X)\) is defined, then so is \(\dim^* (Y,X)\), and \(\dim (Y,X)= \dim^* (Y,X)\). (2) If \(Y\) is a Lindelöf in itself subspace of a space \(X\), then \(\dim (Y,X)= \dim^* (Y,X)\). (3) Let \(Y\) and \(Z\) be subspaces of a space \(X\). Then the Uryson inequality holds for strong covering dimension of \(Y\) and \(Z: \dim^* (Y\cup Z,X) \leq\dim^* (Y,X)+ \dim^* (Z,X) +1\). Several open questions are also included.

Recommendations

Cited in

(15)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4345461)