ハウスドルフ次元

ハウスドルフ次元は、フェリックス・ハウスドルフが導入した非負実数値の次元である。フラクタルのような複雑な図形ないし集合の次元を表す道具として用いられる。ハウスドルフ測度を使って定義される次元で、ある集合のハウスドルフ次元は、その集合のハウスドルフ測度が ∞}} から 0}} へ移る不連続点から定義される。

ハウスドルフの後に、アブラム・ベシコビッチが研究を深めて更に明確化した。そのため、ハウスドルフ・ベシコビッチ次元とも呼ばれる。フラクタル幾何学や実解析で重要な役割を果たし、特にフラクタル幾何学では最重要概念の一つである。一般的に与えられた集合のハウスドルフ次元を決定するのは困難であるが、自己相似集合などの一部のクラスの集合では求め方が確立している。確定的な定義ではないが、ハウスドルフ次元が位相次元より大きな集合がフラクタルと定義づけられる。

1. 背景
-----

一般的な「次元」という言葉は、現実世界の空間が高さ・幅・奥行きの3つから成るので3次元と呼ぶ考え方に立脚している山口。この考え方の延長上で、平面は縦・横から成るので2次元で、直線や線分は1次元であるという風に考えられてきた山口。数学の世界でも、19世紀終わり近くまで、点が 0 次元、直線が 1 次元、平面が 2 次元、…という素朴な次元の概念しか存在しなかった石村・石村。しかし、19世紀後半に、ゲオルク・カントールが平面上の点と直線上の点が1対1対応を持つことを、ジュゼッペ・ペアノが単位区間から正方形の上への連続写像を構成できることを発見し、数学界で次元の概念の再考が迫られたマンデルブロ 。その後、位相不変で整数値を取る位相次元が、次元の精密な定義として導入された山口・畑・木上。

一方、「長さ」「面積」「体積」といった直感的概念についても一般の集合に拡張させる動きが、19世紀末から20世紀初頭にかけてエミール・ボレルやアンリ・ルベーグによって進められた山口・畑・木上。1914年、コンスタンティン・カラテオドリは n}} 次元ユークリッド空間内の s}} 次元測度を定義した山口・畑・木上。カラテオドリの定義では s}} は整数値であった。1919年、カラテオドリの仕事を引き継いだフェリックス・ハウスドルフは、カラテオドリの定義は非整数の s}} に対しても意味があることを指摘し、後にハウスドルフ次元と呼ばれる非整数次元を導入したファルコナー。ハウスドルフは、カントールの3進集合のハウスドルフ次元が Sfrac であることを実際に示してみせたファルコナー。

ハウスドルフの後に、ハウスドルフ次元およびハウスドルフ測度の概念を明確化を担ったのはアブラム・ベシコビッチである。そのため、彼の名も取ってハウスドルフ次元はハウスドルフ・ベシコビッチ次元とも呼ばれる。ハウスドルフ測度とそれを使った幾何学の数学的成果の多くはベシコビッチによって与えられたファルコナー。ブノワ・マンデルブロは「ハウスドルフが標準的でない次元の父であったのに対し、ベシコビッチは、その母であった」と評しているマンデルブロ 。

そのマンデルブロは、自然の海岸線や樹木の形の数学的理想化として、カントールの3進集合やコッホ曲線やワイエルシュトラス関数などの以前より報告されていた特異な数学的集合の総称として、フラクタルという概念と名称を与えた山口・畑・木上。マンデルブロは、1977年のエッセイ「Fractals: Form, Chance and Dimension」で、ハウスドルフ次元が位相次元よりも大きい集合をフラクタルの数学的な定義としたマンデルブロ 。1982年の著書「The Fractal Geometry of Nature」でフラクタルの概念は一躍有名となり、フラクタルは各分野で研究され始めた石村・石村。次元はフラクタル幾何学の中心的概念であり、その中でも最重要なのがハウスドルフ次元であるFalconer。ハウスドルフ測度およびハウスドルフ次元はフラクタル幾何学や実解析で重要な役割を果たす新井。

2. 定義
-----

2.1. ハウスドルフ測度
-------------

次元を定義したい図形として、n}}-次元ユークリッド空間 &Ropf;//n//}} 上の空ではない部分集合 X}} を考えるFalconer。ユークリッド空間に限定せずに、一般の距離空間でもよいマンデルブロ 。X}} 上の 2 点 //x//, //y//}} のユークリッド距離を //d//}} で表す。集合 X}} の直径を次で定義する。

ここで sup}} は上限を意味し、//d//}} は x}} と y}} のユークリッド距離であるFalconer。単純に言えば、直径とは集合 X}} の中のもっとも離れた2点間の距離を意味している石村・石村。

ある X}} が与えられたとき、それに対する可算個の集合族 Mset による被覆を考える。ただし、Mset それぞれの直径は、ある正の実数 δ}} 以下とする。このような Mset を δ}} 被覆と呼ぶ。すなわち、

かつ である。Mset は有限個でもよい山口・畑・木上。

さらに、各々の //Ui//}} の直径を正の実数 s}} で冪乗したものの総和 sum を取る。そして、δ}} と s}} の値を固定し、X}} に対して可能なあらゆる δ}} 被覆 Mset を考えた場合の sum の下限を取る。これを

と定義する山口・畑・木上。

被覆を抑える2つの直径 δ}} が //δ//2 < //δ//1}} という大小関係にあるとする。このとき、直径を δ1}} 以下とする被覆は、直径を δ2}} 以下とする被覆を含んでいる。よって、H   sup sub の値は、H   sup sub よりも小さいか等しいかのいずれかとなる。結局、

ならば であるから、H   sup sub は δ}} の減少とともに単調増加する石村・石村。したがって、

という極限値が、 //H   s// =}} ∞}} の場合まで含めると常に存在する山口・畑・木上。この //H   s//}} は外測度の条件を満たし、s}} 次元ハウスドルフ外測度やハウスドルフ s}} 次元外測度と呼ばれる山口・畑・木上。さらに、可測集合に制限した H   s}} は s}} 次元ハウスドルフ測度やハウスドルフ s}} 次元測度と呼ばれるファルコナー。

2.2. ハウスドルフ次元
-------------

上記のように定義された s}} 次元ハウスドルフ外測度 //H   s//}} を、X}} を固定して s}} の関数として見る。//s// < //t//}} を満たす任意の s}} と t}} について、δ}} 被覆は、

を満たすので、

という関係が成り立つ山口・畑・木上。よって、//δ// → 0}} である //H   s//}} は s}} の単調減少関数である山口・畑・木上。

さらに、上の関係により、//H   s// < ∞}} であるならば //H   t// =}} 0}} である。また、//H   t// > 0}} であるならば、//H   s// =}} ∞}} である山口・畑・木上。したがって、//H   s//}} を s}} の関数として見たとき、//H   s//}} は高々 1 つの第一種不連続点 s}} を持つ山口・畑・木上。この不連続点を D}} と表すと、

を満たす //D// ≥ 0}} が唯一定まる石村・石村。ハウスドルフ次元またはハウスドルフ・ベシコビッチ次元とは不連続点 D}} の値のことで、これを dim//H//}} や dim//H// //X//}} などと表して

あるいは、

で定義されるFalconer。

2.3. 直感的説明
----------

ハウスドルフ次元の意味を直感的に説明すると、ハウスドルフ外測度 //H   s//}} の次元 s}} はものさしの粗さのようなもので、//s// < dim//H//}} で //H   s// =}} ∞}} となるのは、集合 X}} の厚さを測るのには s}} がものさしとして細か過ぎて、そのものさしからは X}} は捕え切れないほど大きく見える状態である山口・畑・木上。一方、//s// > dim//H//}} で //H   s// =}} 0}} となるのは、集合 X}} の厚さを測るのには s}} がものさしとして粗過ぎて、そのものさしからはX}} の厚さは無視できるほど小さく見える状態である山口・畑・木上。//s// =}} dim//H//}} は、それらの中間で、X}} の厚さを測るのにちょうどいい粗さのものさしであることを意味している山口・畑・木上。

ハウスドルフ外測度を定義するために出てきた sum という和は、//s// =}} 1}} を代入してみると、sum という長さ abs の線分の長さの合計となる。これを使って集合 X}} のハウスドルフ外測度を求めるという行為は、X}} の長さのような量を決めているのに等しい。集合 X}} が曲線だとすれば、X}} は実際に長さに相当する量を持っているので、//s// =}} 1}} のハウスドルフ外測度でその長さを測ることができる石村・石村。同様に //s// =}} 2}} で考えると、sum は一辺長さが abs の正方形の面積の合計である。よって、集合 X}} が面であれば、//s// =}} 2}} で適切にその面積を測ることができる石村・石村。

このように、ある集合の長さや面積のような量を測るにあたっては、適切な s}} の値が存在する。適切な s}} の値は、逆にその集合を特徴づけすることができる値とも捉えられる。曲線ならば //s// =}} 1}} で面ならば //s// =}} 2}} であったが、集合がもっと複雑になれば自然数ではない s}} の値が最適ということもありうる。このような考え方にもとづいて、 sum 自体の値ではなく、s}} の方の最適値に着目して定義としたのがハウスドルフ次元といえる石村・石村。

3. 基本的性質
--------

ハウスドルフ次元は、「次元」と呼ばれるものが当然満たすであろう次の基本的な性質を満たすFalconer。

//A// ⊂ //B// ⊂ &Ropf;//n//}} であれば、dim//H// ≤ dim//H//}} である
//A// ⊂ &Ropf;//n//}} が開集合であれば、常に dim//H// =}} //n//}} である
//A//1, //A//2, //A//3, …}} を可算個の集合列とすると、dim//H// =}} supMset である
A}} が可算集合であれば、常に dim//H// =}} 0}} である
A}} が &Ropf;//n//}} 上の滑らかな m}} 次元多様体であれば、dim//H// =}} //m//}} であるまた、//A// ⊂ &Ropf;//n//}} に対して、//s// > //n//}} ならば //Hs// =}} 0}} なので、常に dim//H// ≤ //n//}} である新井。

位相次元は同相写像に対して不変であることが一般的だが、ハウスドルフ次元はこの性質は持たない。しかし、写像 //f//   : //X// → &Ropf;//n//}} がリプシッツ連続であれば、すなわち、ある正の定数 c}} が存在して任意の //x//, //y// ∈ //X// &subset; &Ropf;//n//}} に対して

を満たすならば

が成り立つ。さらに f}} が双リプシッツであれば、すなわち、ある正の定数 //c//1}} と //c//2}} が存在して任意の //x//, //y// ∈ //X//}} に対して

を満たすならば

が成り立つFalconer。これによって、位相幾何学で同相写像の存在によって2つの集合を「同じ」と見なすように、フラクタル幾何学では双リプシッツ写像の存在によって「同じ」と見なす取り組み方が成立するFalconer。

&Ropf;//n//}} の部分集合を A}}とし、&Ropf;//m//}} の部分集合を B}}とすると、これらの直積集合 //A// × //B// =}} Mset のハウスドルフ次元について一般的に成り立つ関係は

であるFalconer。しかし、後述の Overline に対して dim//H// =}} Overline が満たされるならば、

が成り立つFalconer。

射影に関しては、X}} を &Ropf;//n//}} の部分空間へ写す正射影を //p//}} とすると

が一般的な関係として成り立つ山口・畑・木上。

4. 計算
-----

4.1. 定義からの直接計算
--------------

一般的に、与えられた集合 X}} のハウスドルフ次元を決定するのは困難である石村・石村。次元を決定するためによく使われる手法は、上からの評価と下からの評価を行い、それらが同じ値を取ることを証明する手法であるFalconer。すなわち、dim//H// ≤ //s//}}かつ dim//H// ≥ //s//}}であることを証明すれば dim//H// =}} //s//}} であるFalconer。上からの評価は比較的簡単で、特殊な δ}} 被覆を設定すれば求まる山口・畑・木上。特に一般的に大変なのが、ハウスドルフ測度およびハウスドルフ次元の下からの評価を得ることであるファルコナー。下からの評価のためにはあらゆる被覆を考えて決める必要があり、難しくなる山口・畑・木上。

数直線 &Ropf;1}} 上の図形であれば、定義からの直接計算でもハウスドルフ次元の決定は比較的容易である山口・畑・木上。ハウスドルフ次元が非整数を取る図形の中でもっとも有名な集合として、カントール集合があるファルコナー。カントール集合ないしカントールの3進集合とは、線分 1 の中央から1/3の長さの線分を除去し、さらに残った2つの線分の中央のそれぞれの1/3の長さの線分を除去し、という操作を繰り返し無限回行うことで得られる図形である本田。カントール集合を作る途中の k}} 番目の操作でできる図形を Ck}} と表すと

であり、カントール集合を C}} と表すと

と定義される石村・石村。カントール集合はハウスドルフ次元を正確に決定できる少ない例のうちの一つである山口・畑・木上。

カントール集合のハウスドルフ測度およびハウスドルフ次元の場合、Ik}} を C}} に対する δ}} 被覆と考えれば、上からの評価が得られる山口・畑・木上。この被覆について //s// =}} Sfrac と仮定すると、 //H   s// ≤ 1}} および dim//H// ≤ //s//}} であることが得られるFalconer。また、少し技巧的な証明を要するが、任意の閉区間による被覆に対して //H   s// ≥ 1}} および dim//H// ≥ //s//}} であることが得られる新井。したがって、dim//H// =}} Sfrac である新井。

4.2. 自己相似集合の場合
--------------

フラクタルの中でも、ハウスドルフ次元を正確かつ簡単に決定できるクラスの集合がある山口・畑・木上。写像 //f//   : &Ropf;//n// → &Ropf;//n//}} が、ある定数 //ci// < 1}} が存在して、

が任意の //x//, //y// ∈ &Ropf;//n//}} について成り立つとき、f}} を縮小写像というファルコナー。//m// ≥ 2}} 個の縮小写像の組 //f//1, //f//2, …, //f////m//   : &Ropf;//n// → &Ropf;//n//}} が与えられたとき、

を満たすコンパクト集合 //U// ⊂ &Ropf;//n//}} を自己相似集合という山口・畑・木上。自己相似集合 U}} が

かつ任意の i}} と //j// ≠ //i//}} について

を満たすとき、U}} は開集合条件を満たすというファルコナー。

さらに、//m// ≤ 2}} 個の縮小写像の組における各写像 fi}} について、ある定数 //ci// < 1}} が存在し、

が任意の //x//, //y// ∈ &Ropf;//n//}} について成り立つとき、fi}} は相似縮小変換などと呼ばれる新井。定数 c}} は縮小率と呼ばれるファルコナー。すなわち、fi}} は縮小、回転、平衡移動、反転などの変換を組み合わせて、&Ropf;//n//}} 上の部分集合を幾何学的に相似な集合に写す線形変換である山口・畑・木上。

以上のように、縮小写像が相似縮小変換でなおかつ開集合条件を満たすとき、その縮小写像の組から定まる自己相似集合 U}} のハウスドルフ次元は

を満たす s}} と等しいことが定理として成り立つ山口・畑・木上。この定理より、多くの自己相似フラクタルのハウスドルフ次元が求まるFalconer。カントールの3進集合は //m// =}} 2, //c//1 =}} 1/3, //c//2 =}} 1/3}} という開集合条件を満たす相似縮小変換で構成できるため、上記の定理からハウスドルフ次元 Sfrac を求めることもできる山口・畑・木上。

5. 例
----

カントールの3進集合のハウスドルフ次元は Sfrac であったが、一般化したカントール集合、例えば線分の真ん中を 1 − 2//k//}} 除去する場合は、ハウスドルフ次元は Sfrac であるファルコナー。カントール集合と同様に再帰的な手続きから構成できるフラクタル図形の単純な例には、コッホ曲線 K}}、シェルピンスキー・ガスケット S}} などがあるFalconer。これらも開集合条件を満たす相似縮小変換であり、それぞれのハウスドルフ次元は dim//H// =}} Sfrac と dim//H// =}} Sfrac である新井。

力学系でもフラクタルが様々な形で現れるFalconer。α}} 倍に縮む散逸系のパイこね変換のアトラクターはハウスドルフ次元 1 + Sfrac であるFalconer。複素力学系のマンデルブロ集合は非常な複雑な図形だが連結で、その境界はハウスドルフ次元 2}} であるFalconer。

規則的に作られる自己相似フラクタルの外に、自然界で見られるようなランダムパターンから生まれる自己相似フラクタルもある。&Ropf;//n//}} 上のブラウン運動の軌跡は、//n// ≥ 2}} であれば n}} の値にかかわらず確率 1}} でハウスドルフ次元 2}} であるファルコナー。

ハウスドルフ次元が位相次元よりも大であることをフラクタルの定義とすると、直感的にはフラクタルに相応しいような図形がフラクタルにならない例もある山口・畑・木上。例えば、カントールの悪魔の階段や高木関数のグラフは、位相次元・ハウスドルフ次元ともに 1}} である山口・畑・木上。連続曲線でありながら平面を充填するペアノ曲線も、位相次元・ハウスドルフ次元ともに 2}} で一致する山口。こういった集合の存在が、フラクタルの定義に改善の余地がある理由の一つであるマンデルブロ 。

ハウスドルフ次元の決定が数学上の未解決問題となっているものには、次のようなものがある。&Ropf;//n//}} 上の部分集合 K}} が有界閉で、全ての方向の長さ 1}} の線分を含み、さらに n}} 次元ルベーグ測度が 0}} のとき、K}} を n}} 次元掛谷集合と呼ぶ。n}} 次元掛谷集合のハウスドルフ次元は n}} であろうと予想されており、掛谷予想や掛谷問題と呼ばれる。2}} 次元掛谷集合のハウスドルフ次元は 2}} であることは証明されたが、3}} 次元以上は未解決である新井。

6. 他の次元との関係
-----------

6.1. 位相次元
---------

縦・横・高さという直感的な次元は位相次元と呼ばれる石村・石村。上で述べたように、A}} が &Ropf;//n//}} 上の滑らかな m}} 次元多様体であれば、dim//H// =}} //m//}} であるので、ハウスドルフ次元は位相次元と矛盾しない拡張となっているFalconer。位相次元と呼ばれるものは正確には被覆次元、大きな帰納的次元、小さな帰納的次元の3つがあるが、ユークリッド空間上では3者は常に一致する石村・石村。以下、 &Ropf;//n//}} 上の集合 X}} の位相次元を dim//T//}} と表す。

位相次元 dim//T//}} とハウスドルフ次元 dimH}} は一致することもあれば、異なることもある山口・畑・木上。例えば、線分の dim//T//}} と dim//H//}} は共に 1 で、正方形の dim//T//}} と dim//H//}} は共に 2 である石村・石村。このような単純な図形では dim//T//}} と dim//H//}} は一致するが、図形が複雑になると相異なってくる石村・石村。しかし一般的な関係として、任意の集合 X}} の位相次元とハウスドルフ次元は

という関係が成り立つ山口・畑・木上。例えば、カントールの3進集合 C}} は dim//H// =}} Sfrac だが、dim//T// =}} 0}} である石村・石村。

フラクタルの提唱者であるブノワ・マンデルブロ自身のフラクタルの定義は、ハウスドルフ次元が位相次元よりも高い集合がフラクタルとされる山口。ただし、マンデルブロも述べているように、このフラクタルの定義は確定的ではないFalconer。「フラクタル次元」という言葉はしばしば曖昧に用いられ、定義が与えられずに用いられたり、使う人によっては定義が異なったりするがFalconer、一つの考え方としては非整数値を取る次元をフラクタル次元と呼ぶ本田。マンデルブロはハウスドルフ次元のことをフラクタル次元と言い換えており、文献によってはフラクタル次元とはハウスドルフ次元を指す石村・石村。

6.2. ボックス次元
-----------

ハウスドルフ次元は数値の具体的な計算が難しいという欠点がある本田。これに対し、被覆する集合の直径を全て同じとしたのがボックス次元と呼ばれる次元で、ハウスドルフ次元よりも数学的には扱いにくいが計算は容易であるFalconer。ボックス次元には同値な定義がいくつかあるがFalconer、集合 X}} に対して

とおいて、

が成り立つとき、dim//B//}} を X}} のボックス次元という青木。ここで、δ}} は X}} を被覆する開被覆の直径、//N////δ//}} は X}} を被覆するのに必要な δ}} 開被覆の最小個数を表す青木。ハウスドルフ次元とボックス次元には、一般的に

あるいは

という関係が成り立つ青木。

6.3. 相似次元
---------

上記の#自己相似集合の場合に求められる次元 s}} は、相似次元とも呼ばれるファルコナー。相似次元は自己相似性の観点から得られる本田。例えば、ある線分を 1/3}} 倍したコピーを考えると、元の線分はそのコピー 3 =}} 31}} 個から成り立っている。また、ある正方形を 1/3}} 倍したコピーを考えると、元の正方形はそのコピー 9 =}} 32}} 個から成り立っている。そして、ある立方体を 1/3}} 倍したコピーを考えると、元の立方体はそのコピー 27 =}} 33}} 個から成り立っている。線分、正方形、立方体のそれぞれの次元 1, 2, 3}} は、コピーの個数の指数として現れている。これを一般化すると、c}} 倍したコピーを考えると元の図形はそのコピーの m}} 個から成り立つとき、次元 s}} と c}} と m}} のあいだには

という関係がある本田。よって次元 s}} は

と定義でき、これを相似次元と呼ぶ本田。

一般的な相似次元は、縮小写像の m}} 個の組 //f//1, //f//2, …, //f////m//   : &Ropf;//n// → &Ropf;//n//}} が与えられたときに、これに対応する自己相似集合に対して、それぞれの縮小率 //ci// }} から

を満たす s}} の正の値によって与えられる山口・畑・木上。自己相似集合を X}} として、その相似次元を dim//S//}} と表すとする。上記のとおり、縮小写像が相似縮小変換でなおかつ開集合条件を満たすとき、その自己相似集合のハウスドルフ次元と相似次元には

という関係がある山口・畑・木上。また、相似縮小変換かつ開集合条件という条件を付与しない一般的な自己相似集合については、ハウスドルフ次元と相似次元の関係は次のようになる山口・畑・木上。

7. 出典
-----

8. 参照文献
-------

9. 外部リンク
--------

[1] - Encyclopedia of Mathematics
[2] - MathWorld