帰納次元のソースを表示

[[数学]]の一分野、[[位相空間論]]における'''帰納次元'''（きのうじげん、{{lang-en-short|''inductive dimension''}}）は、[[位相空間]] ''X'' に対して、'''小さい帰納次元''' ind(''X'') と'''大きい帰納次元''' Ind(''X'') の二種類がある。これらは ''n''-次元[[ユークリッド空間]] ''R''<sup>''n''</sup> における (''n'' &minus; 1)-次元[[球面]]（つまり、''n''-次元球体の[[境界 (位相空間論)|境界]]）が次元 ''n'' &minus; 1 を持つという観点に基づくもので、適当な[[開集合]]の境界の次元に関して[[数学的帰納法|帰納的]]に空間の次元を定義できるものでなければならない。

小さい帰納次元と大きい帰納次元は位相空間に対する「次元」概念を捉えるのに最も利用される三つの方法のうちの二つで、（距離空間などの余分な性質に依存することなく）その位相のみによって定まる。三つのうち後一つは[[ルベーグ被覆次元]]である（「位相次元」と言えば普通はルベーグ被覆次元の意味に解される）。「十分素性のよい」空間に対しては、これら三種の次元概念は一致する。

== 厳密な定義 ==
まず一点集合の次元は 0 で、一点集合の境界は空であって欲しいというところから
:<math>\text{ind}(\empty)=\text{Ind}(\empty)=-1</math>
と仮定するところから始める。次に ind(''X'') は、
: 任意の ''x'' &isin; ''X'' と ''x'' を含む開集合 ''U'' に対して、''x'' を含む開集合 ''V'' で ''V'' の[[閉包 (位相空間論)|閉包]]が ''U'' に含まれ、かつ ''V'' の境界の小さい帰納次元が高々 ''n'' &minus; 1 であるようなものが存在する
という条件を満たすような ''n'' の最小値として帰納的に定義される。最初の例では ''X'' を ''n''-次元ユークリッド空間、''V'' を ''x'' を中心とする ''n''-次元球体と選べばよい。

大きい帰納次元の場合は、''V'' の選び方にさらに制限を加える。すなわち、Ind(''X'') は
: ''X'' の任意の開集合の[[閉集合|閉部分集合]] ''F'' に対し、中間開集合 ''V''（つまり ''F'' は ''V'' に含まれ、かつ ''V'' の閉包が ''U'' に含まれるような ''V''）が存在して、''V'' の境界の大きい帰納次元が高々 ''n'' &minus; 1 である
という条件を満たすような ''n'' の最小値として帰納的に定義される。

== 二つの次元の関係 ==
ここではルベーグ被覆次元を {{math|dim}} で表すと、任意の位相空間 ''X'' に対して
:<math>\text{dim}\,X = 0 \iff \text{Ind}\,X = 0</math>
が成立する。

'''ウリゾーンの定理'''によれば、''X'' が[[可算基]]を持つ[[正規空間]]ならば
:<math>\text{dim}\,X = \text{Ind}\,X = \text{ind}\,X</math>
が成立する。このような空間 ''X'' はちょうど、[[可分空間|可分]]かつ[[距離化可能]]である（[[ウリゾーンの距離化可能定理]]）。そして、'''ネーベリング＝ポントリャーギンの定理'''によれば、そのような空間が有限な次元を持つことは、それが適当な次元の[[ユークリッド空間]]に通常の位相を入れたものに同相となることによって特徴付けられる。'''メンガー＝ネーベリングの定理''' (1932) によれば、 ''X'' がコンパクト可分距離空間で次元 ''n'' を持つならば、''X'' は 2''n'' + 1 次元のユークリッド空間に部分空間として埋め込める（[[ゲオルク・ネーベリング]]は[[カール・メンガー]]の弟子で、'''ネーベリング空間'''と呼ばれる、少なくとも ''n'' + 1 個の座標が[[無理数]]であるような点からなる '''R'''<sup>2''n''+1</sup> の部分空間を導入した。これは次元 ''n'' の空間の埋め込みに対する普遍性を持つ）。

''X'' が距離化可能であることのみを仮定すると
: <math>\text{ind}\,X \le \text{Ind}\,X = \dim X</math>
が成立する（[[ミロスラフ・カテトフ]]）。また ''X'' が[[コンパクト空間|コンパクト]][[ハウスドルフ空間]]とすれば、
: <math>\dim X\le \text{ind}\,X \le \text{Ind}\,X</math>
が成立する（[[P.S.アレクサンドロフ]]）。これらの不等式の不等号はいずれも真の不等号となりうる。例えば、ウラジミール・V・フィリポフは二つの帰納次元が相異なる空間を構成した。

可分距離空間 ''X'' が不等式 Ind&thinsp;''X'' &le; ''n'' を満足する必要十分条件は、空間 ''X'' の任意の閉部分空間 ''A'' と連続写像 ''f'': ''A'' &rarr; ''S''<sup>''n''</sup> に対して、連続的な拡張 <span style="text-decoration: overline">''f''</span>: ''X'' &rarr; ''S''<sup>''n''</sup> が存在することである。

== 参考文献 ==
{{脚注の不足|section=1|date=July 2010}}
*Crilly, Tony, 2005, "Paul Urysohn and Karl Menger: papers on dimension theory" in [[Ivor Grattan-Guinness|Grattan-Guinness, I.]], ed., ''Landmark Writings in Western Mathematics''. Elsevier: 844-55.
*R. Engelking, ''Theory of Dimensions. Finite and Infinite'', Heldermann Verlag (1995), ISBN 3-88538-010-2.
*V. V. Fedorchuk, ''The Fundamentals of Dimension Theory'', appearing in ''Encyclopaedia of Mathematical Sciences, Volume 17, General Topology I'', (1993) A. V. Arkhangel'skii and L. S. Pontryagin (Eds.), Springer-Verlag, Berlin ISBN 3-540-18178-4.
*V. V. Filippov, ''On the inductive dimension of the product of bicompacta'', Soviet. Math. Dokl., 13 (1972), N° 1, 250-254.
*A. R. Pears, ''Dimension theory of general spaces'', Cambridge University Press (1975).

{{DEFAULTSORT:きのうしけん}}
[[Category:次元論]]
[[Category:数学に関する記事]]