inductive dimension, covering dimension: 定義
このページは Engelking, "Dimension Theory" による． 定義 1 (Engelking, Dimension Theory, Definition 1.1.1) 正則空間$X$の small inductive dimension $\operatorname{ind} X$ を次のように帰納的に定める： $\operatorname{ind} X = -1 \Leftrightarrow X = \varnothing$ $n \ge 0$ のとき $\operatorname{ind} X \…
