平均次元(へいきんじげん、英: mean dimension)とは、「無限次元空間の次元」であり、従順群が連続に作用するコンパクト距離化可能位相空間の位相不変量として、ミハイル・グロモフが1999年に導入した。[1]
最も基本的な例とその直観的意味[編集]
次元ユークリッド空間の単位閉球を
とする。
を
の両側無限直積として、直積位相を与える。
このとき、
はコンパクトかつ距離化可能であるが、その被覆次元は無限大である。
また、添字のずらしとして、無限巡回群
は
に連続に作用する。
![{\displaystyle \mathbb {Z} \curvearrowright X:=B^{\mathbb {Z} }=\cdots \times B\times B\times B\times \cdots ,\quad \{x_{j}\}{\overset {k}{\mapsto }}\{x_{j+k}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca9b8ed625308ad052ebd45549c5adeb7a88092e)
従って、
は無限巡回群が連続に作用するコンパクト距離化可能位相空間であり、その平均次元
を考えることができる。
このとき、
![{\displaystyle \dim(X:\mathbb {Z} )=N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85301cac219369c2811632ec2dfc8e6ff17cb355)
である。
の被覆次元は無限大だが、その無限の「大きさ」を
の次元と無限巡回群の「個数」との積だとしても、直観的には妥当であろう。
そして、平均次元とは群作用による
の次元の平均化であり、直観的には
![{\displaystyle \dim(X:\mathbb {Z} )={\frac {\dim X}{|\mathbb {Z} |}}={\frac {\dim B\times |\mathbb {Z} |}{|\mathbb {Z} |}}=\dim B=N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/229b1a29e609c4a2ee4c60682cb4f292b5fb6a72)
ということである。
ここでは平均次元の厳密な定義を与える。
それは位相的エントロピーの定義に似ている。
をコンパクト距離空間とせよ。
まずは準備として、定義を二つ与える。
-埋め込み (いぷしろんうめこみ、
-embedding)
を非負実数とする。
を位相空間として、
を
から
への連続写像とする。このとき、
が
-埋め込みであるとは、
の任意の点の
による逆像の直径が
以下になることである。
すなわち、
程度の誤差を許容すれば、
は埋め込みになるということである。
また、
のとき、
-埋め込みとは普通の埋め込みのことである。
- 幅次元(はばじげん、width dimension)
- 各正実数
に対して、
から
次元多面体
への
-埋め込み
が存在する自然数
の最小値のことを、
の幅次元と呼び,
と表す。
すなわち、幅次元とは
以下の細かいものを無視して見たときの
の巨視的な次元である。
また、
はコンパクトだったので、たとえ被覆次元が無限大でも、幅次元は常に有限である。
が
に収束するとき、幅次元は単調増大であり、被覆次元に収束する。
![{\displaystyle \lim _{\epsilon \to 0}\mathrm {Widim} _{\epsilon }(X,d)=\dim X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ed5cc06d9aded93b35b60d5a1302673c3275fd)
例えば、
に対して、
を閉区間
と
の直積として、
をユークリッド距離とする。
このとき、
から
への自然な射影は
-埋め込みである。
さらに、
次元多面体(= 点)への
からの
-埋め込みが存在しないことは定義からすぐに従うので、結局、
![{\displaystyle \mathrm {Widim} _{\epsilon }([0,1]\times [0,\epsilon ],d_{\text{Euclid}})=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/083edecbb37e089edb19d31c560b92d6c308fd9a)
を得る。
さて、ここからは群作用を考える。
ただし、簡単のために、無限巡回群
が作用している場合だけを扱うことにする。
無限巡回群
が
に連続に作用しているとせよ。
![{\displaystyle \mathbb {Z} \curvearrowright X,\quad x{\overset {k}{\mapsto }}k\cdot x\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e50709d24682923d14cac49431b1b47df07b164f)
各自然数
に対して、
上の新しい距離
を
![{\displaystyle d_{N}(x,y):=\max _{|k|<N}d(k\cdot x,k\cdot y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1a6bc71a3aa03402d5684ae7aa1266347e72291)
と定める。
はコンパクトだったので、
と
とは同相になる。
特に、
はコンパクトである。
ここで重要な観点は、群作用によるくりこみで距離空間の無限系列を系統的に作り出せるということである。
いわゆるOrnstein-Weissの補題により、極限
![{\displaystyle \lim _{N\to \infty }{\frac {\mathrm {Widim} _{\epsilon }(X,d_{N})}{2N-1}}=:\mathrm {Widim} _{\epsilon }((X,d):\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c8cb1d46848e629cc00b2fa5f801645462f319a)
は有限確定値として常に存在する。
これまでの準備のもとで、平均次元は次で定義される。
![{\displaystyle \dim(X:\mathbb {Z} ):=\lim _{\epsilon \to 0}\mathrm {Widim} _{\epsilon }((X,d):\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc350c74b44dea6435ed66d7d3623414833391c)
幅次元などは距離に依存しているが、平均次元は
の位相と両立する距離の取り方とは独立である。
これは
のコンパクト性により恒等写像が一様連続になることに由来する。
一般に、無限次元位相空間は、たとえ距離化可能であったとしても、その位相と両立する距離を標準的に選び出す方法がないことが多い。
従って、この性質は重要である。
参考文献[編集]
- ^ M. Gromov, Topological invariants of dynamical systems and spaces of holomorphic maps: I, Math. Phys. Anal. Geom. 2 (1999) 323-415