On base dimension-like functions of the type ind (Q386875)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On base dimension-like functions of the type ind |
scientific article |
Statements
On base dimension-like functions of the type ind (English)
0 references
11 December 2013
0 references
Base dimension-like functions b\(^V\)-Ind, b-Ind, b\(^{\diamond}\)-Ind were introduced in the book \textit{S. D. Iliadis} [Universal Spaces and Mappings, Noth-Holland Mathematics Studies, vol. 198, Elsevier (2005; Zbl 1072.54001)] as follows. Let \(X\) be a topological space, \(B\) a base for \(X\), \(B^V\) the family of finite unions of \(B\) and \(B^\diamond\) the smallest family of subsets of \(X\) which contains \(B\) and which is closed under finite unions and finite intersections. A pair \((K,V)\) of subsets of \(X\) is called \(B^V\)-proper (resp. \(B\)-proper or \(B^\diamond\)-proper) if \(K\) is the closure of an element of \(B^V\) (resp. \(B\) or \(B^\diamond\)), \(V \in B^V\) (resp. \(B\) or \(B^\diamond\)) and \(K \subseteq V.\) Thus b\(^V\)-Ind is a function defined on the class of all pairs \((B, X)\) and having as a range the union \(\mathcal O \cup \{-1, \infty\}\), where \(\mathcal O\) is the class of all ordinals. Moreover, (i) b\(^V\)-Ind\((B, X) = -1\) iff \(X = \emptyset\), and (ii) b\(^V\)-Ind\((B, X) \leq \alpha,\) where \(\alpha \in \mathcal O\), iff for every \(B^V\)-proper pair \((K,V)\) of subsets of \(X\) there exists an open subset \(W\) of \(X\) such that \(K \subseteq W \subseteq V\) and b\(^V\)-Ind\((\)\{Bd\(_X(W) \cap U : U \in B\}, \)Bd\(_X (W)) < \alpha\). Similarly, the functions b-Ind or b\(^{\diamond}\)-Ind are defined. In the present paper the authors discuss the relationship between the functions b\(^V\)-Ind, b-Ind, b\(^{\diamond}\)-Ind and the classical large inductive dimension Ind. In particular, (a) for a space \(X\) and a base \(B\) on \(X\) we have b-Ind\((B, X) \leq \)b\(^V\)-Ind\((B, X) \leq \)b\(^\diamond\)-Ind\((B, X) = \)b-Ind\((B^\diamond, X) \leq \) Ind\(X\), and (b) there exist pairs \((B_1, X_1)\) and \((B_2, X_2)\) such that b-Ind\((B_1, X_1) < \)b\(^V\)-Ind\((B_1, X_1)\) and b\(^\diamond\)-Ind\((B_2, X_2) < \)Ind\(X_2\). Then they prove for the functions several subspace theorems, sum theorems and pose questions.
0 references
large inductive dimension
0 references
subspace theorem
0 references
partition theorem
0 references
sum theorem
0 references