Finite-to-one mappings and large transfinite dimension

✍ Scribed by Yasunao Hattori; Kohzo Yamada

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 841 KB
• Volume: 82
• Category: Article
• ISSN: 0166-8641
• DOI: 10.1016/s0166-8641(97)00065-5

✦ Synopsis

Pol (1996) and Arenas (1996) independently introduced transfinite extensions of finite order of mappings by the use of the length of a partially ordered set and Borst's order, respectively. By use of the transfinite order of mappings, Arenas introduced a transfinite dimension O-dim based on the Morita's theorem and proved that every countable-dimensional compact metric space has O-dim. Then he asked whether the converse is true. In the present note, we shall show that both the transfinite extensions given by Pol and Arenas are the same if we ignore the values, and give an affirmative answer to Arenas' question as follows: a me&able space X has the order dimension O-dim X if and only if X has large transfinite dimension Ind X. Furthermore, we shall prove that if a metrizable space X has the order dimension O-dim, then IndX 6 0-dimX and O-dims, = cy for every ordinal number cy < WI, where S, is Smirnov's compactum.