On compact sets of the form F(X) which are continuous images of \(I^{\tau}\) and \(D^{\tau}\) (Q1113482)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On compact sets of the form F(X) which are continuous images of \(I^{\tau}\) and \(D^{\tau}\) |
scientific article |
Statements
On compact sets of the form F(X) which are continuous images of \(I^{\tau}\) and \(D^{\tau}\) (English)
0 references
1988
0 references
The author shows that if F is a covariant monomorphic functor of a finite degree preserving intersections and empty set, then for every compact space X for which F(X) is dyadic, X is also a dyadic space. The same is true if ``dyadic'' is replaced by ``continuous image of \(I^{\tau}\)''. In the case \(F=\exp_ n\), the theorem was proved by \textit{L. B. Shapiro} [Proc. 4th Tiraspol Topol. Symp. 1979, 163-164]. The author observed that the theorem does not hold for functors of an infinite degree. That follows from the result of \textit{L. B. Shapiro} [Dokl. Akad. Nauk SSSR 231, 275-278 (1979; Zbl 0364.54013)] which states that the space exp \(D^{\aleph_ 2}\) is not dyadic.
0 references
exp(X)
0 references
\(\exp _ n(X)\)
0 references
Cantor discontinuum
0 references
Tikhonov cube
0 references
covariant monomorphic functor
0 references
dyadic space
0 references
continuous image
0 references