Characterizations of topological dimension by use of normal sequences of finite open covers and Pontrjagin-Schnirelmann theorem

スポンサーリンク

概要

• 論文の詳細を見る

• In 1932, Pontrjagin and Schnirelmann [15] proved the classical theorem which characterizes topological dimension by use of box-counting dimensions. They proved their theorem by use of geometric arguments in some Euclidean spaces. In this paper, by use of dimensional theoretical techniques in an abstract topological space, we investigate strong relations between metrics of spaces and box-counting dimensions. First, by use of the numerical information of normal sequences of finite open covers of a space X, we prove directly the following theorem characterizing topological dimension dim X. Theorem 0.1. Let X be a nonempty separable metric space. Then dim X = min { $¥liminf_{i¥to ¥infty} ¥frac{¥log_{3}|{¥mathscr U}_{i}|}{i}$ | {$¥mathscr U$i}i=1∞ is a normal star-sequence of finite open covers of X and a development of X} = min { $¥liminf_{i¥to ¥infty} ¥frac{¥log_{2}|{¥mathscr U}_{i}|}{i}$ | {$¥mathscr U$i}i=1∞ is a normal delta-sequence of finite open covers of X and a development of X }. Next, we study box-counting dimensions dimB(X,d) by use of Alexandroff-Urysohn metrics d induced by normal sequences. We show that the above theorem implies Pontrjagin-Schnirelmann theorem. The proof is different from the one of Pontrjagin and Schnirelmann (see [15]). By use of normal sequences, we can construct freely metrics d which control the values of log N(ε,d)/|log ε|. In particular, we can construct chaotic metrics with respect to the determination of the box-counting dimensions as follows. Theorem 0.2. Let X be an infinite separable metric space. For any ∞ ≥ α ≥ dim X, there is a totally bounded metric dα on X such that [α,∞] = { $¥liminf_{k¥to ¥infty}¥frac{¥log N(¥epsilon_{k},d_{¥alpha})}{|¥log ¥epsilon_{k}|}$ | {εk}k=1∞ is a decreasing sequence of positive numbers with limk→∞ εk=0}, where N(εk, dα) = min{|$¥mathscr U$| |$¥mathscr U$ is a finite open cover of X with meshdα($¥mathscr U$) ≤ εk}. In particular, dimB(X,dα) = α.

• 2011-07-01

著者

• MATSUMOTO Masahiro

  Institute of Advanced Energy, Kyoto University

• Kato Hisao

  Institute Of Mathematics University Of Tsukuba

• Matsumoto Masahiro

  Institute Of Mathematics University Of Tsukuba

関連論文

• The Artificial Evolution of an Enzyme by Random Mutagenesis : The Development of Formaldehyde Dehydrogenase
• Addendum to: Characterizations of topological dimension by use of normal sequences of finite open covers and Pontrjagin-Schnirelmann theorem
• Characterizations of topological dimension by use of normal sequences of finite open covers and Pontrjagin-Schnirelmann theorem
• Strongly regular mappings with ANR fibers and shape
• SHIFT MAPS AND ATTRACTORS(Set-theoretic Topology and Geometric Topology)
• Characterizations of topological dimension by use of normal sequences of finite open covers and Pontrjagin-Schnirelmann theorem
• Addendum to : Characterizations of topological dimension by use of normal sequences of finite open covers and Pontrjagin-Schnirelmann theorem
• A CHARACTERIZATION OF ω_1-STRONGLY COUNTABLE-DIMENSIONAL METRIZABLE SPACES
• Eventual colorings of homeomorphisms

スポンサーリンク