No label defined (Q4345461)

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.