Characterization of dimension ind\(\omega\) X for space X (Q1263833)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterization of dimension ind\(\omega\) X for space X |
scientific article |
Statements
Characterization of dimension ind\(\omega\) X for space X (English)
0 references
1989
0 references
It is well known that the equality dim X\(=\dim \beta X\) is valid for every normal space X where dim X is the ordinary covering dimension using arbitrary open covers of X. Using this equality one can define the dimension function dim X for every Tychonoff space X as follows: dim X is equal to the covering dimension of its Stone-Čech compactification \(\beta\) X. It is known that one can define dim X explicitly without using \(\beta\) X. The author shows the parallel result for the small inductive dimension function ind X as follows: One can define a function dX for every \(T_ 1\)-space X, which satisfies that \(dX=ind cX\), where cX is the Wallman compactification of X. Definition of dX: (1) \(dX=-1\) \(\Leftrightarrow\) \(X=\emptyset\); (2) dX\(\leq \alpha\) (where \(\alpha\) is an ordinal number) if for any maximal marked filter \(\eta\) of open subsets of X there exists its cofinal filter \(\eta '\subseteq \eta\) such that \(d\partial U<\alpha\) for any element U of \(\eta '\), where a filter \(\lambda\) is said to be marked if there exists a filter \(\mu\) consisting of closed sets which is a kernel of \(\lambda\) (i.e. for any \(F\in \lambda\) there exists a \(G\in \mu\) such that \(G\subseteq F)\). Since \(cX=\beta X\) for every normal space X, we have the definition for the dimension function ind \(\beta\) X. Note that ind X\(=ind \beta X\) is not always satisfied.
0 references
normal space
0 references
covering dimension
0 references
Tychonoff space
0 references
Stone-Čech compactification
0 references
small inductive dimension
0 references
Wallman compactification
0 references