平均次元

平均次元（へいきんじげん、）とは、「無限次元空間の次元」であり、従順群が連続に作用するコンパクト距離化可能位相空間の位相不変量として、ミハイル・グロモフが1999年に導入した。

最も基本的な例とその直観的意味
次元ユークリッド空間の単位閉球をとする。

をの両側無限直積として、直積位相を与える。
このとき、はコンパクトかつ距離化可能であるが、その被覆次元は無限大である。
また、添字のずらしとして、無限巡回群はに連続に作用する。

従って、は無限巡回群が連続に作用するコンパクト距離化可能位相空間であり、その平均次元を考えることができる。
このとき、

である。

の被覆次元は無限大だが、その無限の「大きさ」をの次元と無限巡回群の「個数」との積だとしても、直観的には妥当であろう。
そして、平均次元とは群作用によるの次元の平均化であり、直観的には

ということである。

定義
ここでは平均次元の厳密な定義を与える。
それは位相的エントロピーの定義に似ている。

をコンパクト距離空間とせよ。
まずは準備として、定義を二つ与える。

-埋め込み (いぷしろんうめこみ、-embedding）を非負実数とする。を位相空間として、 をからへの連続写像とする。このとき、が-埋め込みであるとは、の任意の点のによる逆像の直径が以下になることである。

すなわち、程度の誤差を許容すれば、は埋め込みになるということである。
また、のとき、-埋め込みとは普通の埋め込みのことである。幅次元（はばじげん、width dimension）各正実数に対して、から次元多面体への-埋め込みが存在する自然数の最小値のことを、の幅次元と呼び，と表す。

すなわち、幅次元とは以下の細かいものを無視して見たときのの巨視的な次元である。
また、はコンパクトだったので、たとえ被覆次元が無限大でも、幅次元は常に有限である。
がに収束するとき、幅次元は単調増大であり、被覆次元に収束する。

例えば、に対して、を閉区間との直積として、 をユークリッド距離とする。
このとき、からへの自然な射影は-埋め込みである。
さらに、次元多面体(= 点)へのからの-埋め込みが存在しないことは定義からすぐに従うので、結局、

を得る。

さて、ここからは群作用を考える。'''
ただし、簡単のために、無限巡回群が作用している場合だけを扱うことにする。

無限巡回群がに連続に作用しているとせよ。

各自然数に対して、上の新しい距離を

と定める。
はコンパクトだったので、ととは同相になる。
特に、はコンパクトである。
ここで重要な観点は、群作用によるくりこみで距離空間の無限系列を系統的に作り出せるということである。

いわゆるOrnstein-Weissの補題により、極限

は有限確定値として常に存在する。

これまでの準備のもとで、平均次元は次で定義される。

幅次元などは距離に依存しているが、平均次元はの位相と両立する距離の取り方とは独立である。
これはのコンパクト性により恒等写像が一様連続になることに由来する。
一般に、無限次元位相空間は、たとえ距離化可能であったとしても、その位相と両立する距離を標準的に選び出す方法がないことが多い。
従って、この性質は重要である。

参考文献

位相幾何学
力学系
数学に関する記事