ハウスドルフ次元

フラクタル図形の一種であるシェルピンスキー・ガスケットの構成過程の様子。この過程を無限回繰り返して得られる図形のハウスドルフ次元は log 2 = 1.5849… である。
ハウスドルフ次元（ハウスドルフじげん、links=no）は、フェリックス・ハウスドルフが導入した非負実数値の次元である。フラクタルのような複雑な図形ないし集合の次元を表す道具として用いられる。ハウスドルフ測度を使って定義される次元で、ある集合のハウスドルフ次元は、その集合のハウスドルフ測度が ∞ から 0 へ移る不連続点から定義される。
ハウスドルフの後に、Abram Besicovitchが研究を深めて更に明確化した。そのため、ハウスドルフ・ベシコビッチ次元（ハウスドルフ・ベシコビッチじげん、links=no）とも呼ばれる。フラクタル幾何学や実解析で重要な役割を果たし、特にフラクタル幾何学では最重要概念の一つである。一般的に与えられた集合のハウスドルフ次元を決定するのは困難であるが、自己相似集合などの一部のクラスの集合では求め方が確立している。確定的な定義ではないが、ハウスドルフ次元が位相次元より大きな集合がフラクタルと定義づけられる。

**背景**
一般的な「次元」という言葉は、現実世界の空間が高さ・幅・奥行きの3つから成るので3次元と呼ぶ考え方に立脚しているp=183。この考え方の延長上で、平面は縦・横から成るので2次元で、直線や線分は1次元であるという風に考えられてきたp=183。数学の世界でも、19世紀終わり近くまで、点が 0 次元、直線が 1 次元、平面が 2 次元、…という素朴な次元の概念しか存在しなかったp=68。しかし、19世紀後半に、ゲオルク・カントールが平面上の点と直線上の点が1対1対応を持つことを、ジュゼッペ・ペアノが単位区間から正方形の上への連続写像を構成できることを発見し、数学界で次元の概念の再考が迫られた2p=68。その後、位相不変で整数値を取る位相次元（正確には被覆次元、大きな帰納的次元、小さな帰納的次元があるp=92）が、次元の精密な定義として導入された2p=183。
フェリックス・ハウスドルフ
一方、「長さ」「面積」「体積」といった直感的概念についても一般の集合に拡張させる動きが、19世紀末から20世紀初頭にかけてエミール・ボレルやアンリ・ルベーグによって進められた2p=iv。1914年、コンスタンティン・カラテオドリは n 次元ユークリッド空間内の s 次元測度を定義したp=3。カラテオドリの定義では s は整数値であった。1919年、カラテオドリの仕事を引き継いだフェリックス・ハウスドルフは、カラテオドリの定義は非整数の s に対しても意味があることを指摘し、後にハウスドルフ次元（links=no）と呼ばれる非整数次元を導入した2p=3。ハウスドルフは、カントールの3進集合のハウスドルフ次元が  であることを実際に示してみせたp=iv。
ハウスドルフの後に、ハウスドルフ次元およびハウスドルフ測度の概念を明確化を担ったのはAbram Besicovitchである。そのため、彼の名も取ってハウスドルフ次元はハウスドルフ・ベシコビッチ次元（links=no）とも呼ばれる。ハウスドルフ測度とそれを使った幾何学の数学的成果の多くはベシコビッチによって与えられたp=v。ブノワ・マンデルブロは「ハウスドルフが標準的でない次元の父であったのに対し、ベシコビッチは、その母であった」と評しているp=266。
そのマンデルブロは、自然の海岸線や樹木の形の数学的理想化として、カントールの3進集合やコッホ曲線やワイエルシュトラス関数などの以前より報告されていた特異な数学的集合の総称として、フラクタルという概念と名称を与えた2p=149。マンデルブロは、1977年のエッセイ「Fractals: Form, Chance and Dimension」で、ハウスドルフ次元が位相次元よりも大きい集合をフラクタルの数学的な定義としたp=258。1982年の著書「The Fractal Geometry of Nature」でフラクタルの概念は一躍有名となり、フラクタルは各分野で研究され始めたp=i。次元はフラクタル幾何学の中心的概念であり、その中でも最重要なのがハウスドルフ次元であるp=34。ハウスドルフ測度およびハウスドルフ次元はフラクタル幾何学や実解析で重要な役割を果たすp=198。

**定義**

**ハウスドルフ測度**
部分集合 X の直径 X 
次元を定義したい図形として、n-次元ユークリッド空間 &Ropf;n 上の空ではない部分集合 X を考える2p=6。ユークリッド空間に限定せずに、一般の距離空間でもよいp=263。X 上の 2 点 x, y のユークリッド距離を d(x, y) で表す。集合 X の直径を次で定義する。

ここで sup は上限を意味し、d(x, y) は x と y のユークリッド距離である2pp=78, 104–105。単純に言えば、直径とは集合 X の中のもっとも離れた2点間の距離を意味しているp=106。
被覆の例
ある X が与えられたとき、それに対する可算個の集合族  による被覆を考える。ただし、 それぞれの直径は、ある正の実数 δ 以下とする。このような  を δ 被覆と呼ぶ。すなわち、
 かつ 
である。 は有限個でもよいp=6。
さらに、各々の Ui の直径を正の実数 s で冪乗したものの総和  を取る。そして、δ と s の値を固定し、X に対して可能なあらゆる δ 被覆  を考えた場合の  の下限を取る。これを

と定義するp=6。
被覆を抑える2つの直径 δ が δ2 1 という大小関係にあるとする。このとき、直径を δ1 以下とする被覆は、直径を δ2 以下とする被覆を含んでいる。よって、 の値は、 よりも小さいか等しいかのいずれかとなる。結局、
 ならば 
であるから、 は δ の減少とともに単調増加するpp=114, 116。したがって、

という極限値が、  の場合まで含めると常に存在するp=7。この H s(X) は外測度の条件を満たし、s 次元ハウスドルフ外測度やハウスドルフ s 次元外測度と呼ばれる3p=8。さらに、可測集合（または 完全加法族|σ-集合体）に制限した H s は ハウスドルフ測度|s 次元ハウスドルフ測度やハウスドルフ s 次元測度と呼ばれる3pp=14–15, 35。

**ハウスドルフ次元**
上記のように定義された s 次元ハウスドルフ外測度 H s(X) を、X を固定して s の関数として見る。s s(X) は s の単調減少関数である2p=9。
s の関数としての見たときの H s(X) のグラフ
さらに、上の関係により、H s(X) t(X) > 0 であるならば、 である3p=36。したがって、H s(X) を s の関数として見たとき、H s(X) は高々 1 つの第一種不連続点 s を持つ2p=36。この不連続点を D と表すと、 

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

あるいは、

で定義される2p=36。

**直感的説明**
ハウスドルフ次元の意味を直感的に説明すると、ハウスドルフ外測度 H s(X) の次元 s はものさしの粗さのようなもので、s H(X) で  となるのは、集合 X の厚さを測るのには s がものさしとして細か過ぎて、そのものさしからは X は捕え切れないほど大きく見える状態であるp=8。一方、s > dimH(X) で  となるのは、集合 X の厚さを測るのには s がものさしとして粗過ぎて、そのものさしからはX の厚さは無視できるほど小さく見える状態であるp=8。 は、それらの中間で、X の厚さを測るのにちょうどいい粗さのものさしであることを意味しているp=8。
ハウスドルフ外測度を定義するために出てきた  という和は、 を代入してみると、 という長さ  の線分の長さの合計となる。これを使って集合 X のハウスドルフ外測度を求めるという行為は、X の長さのような量を決めているのに等しい。集合 X が曲線だとすれば、X は実際に長さに相当する量を持っているので、 のハウスドルフ外測度でその長さを測ることができるpp=110, 122–130。同様に  で考えると、 は一辺長さが  の正方形の面積の合計である。よって、集合 X が面であれば、 で適切にその面積を測ることができるpp=110–112, 130–134。
このように、ある集合の長さや面積のような量を測るにあたっては、適切な s の値が存在する。適切な s の値は、逆にその集合を特徴づけすることができる値とも捉えられる。曲線ならば  で面ならば  であったが、集合がもっと複雑になれば自然数ではない s の値が最適ということもありうる。このような考え方にもとづいて、  自体の値ではなく、s の方の最適値に着目して定義としたのがハウスドルフ次元といえるpp=110–112。

**基本的性質**
ハウスドルフ次元は、「次元」と呼ばれるものが当然満たすであろう次の基本的な性質を満たす2p=37。- A ⊂ B ⊂ &Ropf;n であれば、dimH(A) ≤ dimH(B) である- A ⊂ &Ropf;n が開集合であれば、常に  である- A1, A2, A3, … を可算個の集合列とすると、 である- A が可算集合であれば、常に  である- A が &Ropf;n 上の滑らかな m 次元多様体であれば、 である
また、A ⊂ &Ropf;n に対して、s > n ならば  なので、常に dimH(A) ≤ n であるp=248。 
位相次元は同相写像に対して不変であることが一般的だが、ハウスドルフ次元はこの性質は持たない。しかし、写像 f : X → &Ropf;n がリプシッツ連続であれば、すなわち、ある正の定数 c が存在して任意の x, y ∈ X &subset; &Ropf;n に対して

を満たすならば

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

を満たすならば

が成り立つp=41。これによって、位相幾何学で同相写像の存在によって2つの集合を「同じ」と見なすように、フラクタル幾何学では双リプシッツ写像の存在によって「同じ」と見なす取り組み方が成立するp=41。
の部分集合を Aとし、&Ropf;m の部分集合を Bとすると、これらの直積集合  のハウスドルフ次元について一般的に成り立つ関係は

であるpp=127, 130。しかし、後述の  に対して  が満たされるならば、

が成り立つpp=130–131。
射影に関しては、X を &Ropf;n の部分空間へ写す正射影を p(X) とすると

が一般的な関係として成り立つp=9。 

**計算**

**定義からの直接計算**
一般的に、与えられた集合 X のハウスドルフ次元を決定するのは困難である2p=18。次元を決定するためによく使われる手法は、上からの評価と下からの評価を行い、それらが同じ値を取ることを証明する手法であるp=42。すなわち、dimH(X) ≤ s（上から）かつ dimH(X) ≥ s（下から）であることを証明すれば  であるp=42。上からの評価は比較的簡単で、特殊な δ 被覆を設定すれば求まるpp=10, 25。特に一般的に大変なのが、ハウスドルフ測度およびハウスドルフ次元の下からの評価を得ることであるp=18。下からの評価のためにはあらゆる被覆を考えて決める必要があり、難しくなるp=10。
カントールの3進集合の構成
数直線 &Ropf;1 上の図形であれば、定義からの直接計算でもハウスドルフ次元の決定は比較的容易であるp=10。ハウスドルフ次元が非整数を取る図形の中でもっとも有名な集合として、カントール集合があるp=19。カントール集合ないしカントールの3進集合とは、線分 1 の中央から1/3の長さの線分を除去し、さらに残った2つの線分の中央のそれぞれの1/3の長さの線分を除去し、という操作を繰り返し無限回行うことで得られる図形であるpp=1–2。カントール集合を作る途中の k 番目の操作でできる図形を Ck と表すと

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

と定義されるpp=135–136。カントール集合はハウスドルフ次元を正確に決定できる少ない例のうちの一つであるp=11。
カントール集合のハウスドルフ測度およびハウスドルフ次元の場合、Ik を C に対する δ 被覆と考えれば、上からの評価が得られる2p=250。この被覆について  と仮定すると、 H s(C) ≤ 1 および dimH(C) ≤ s であることが得られる2pp=250–251。また、少し技巧的な証明を要するが、任意の閉区間による被覆に対して H s(C) ≥ 1 および dimH(C) ≥ s であることが得られる2pp=11–12。したがって、 である2pp=11–12。

**自己相似集合の場合**
フラクタルの中でも、ハウスドルフ次元を正確かつ簡単に決定できるクラスの集合がある2p=152。写像 f : &Ropf;n → &Ropf;n が、ある定数 ci n について成り立つとき、f を縮小写像という2p=22。m ≥ 2 個の縮小写像の組 f1, f2, …, fm : &Ropf;n → &Ropf;n が与えられたとき、
 
を満たすコンパクト集合 U ⊂ &Ropf;n を自己相似集合という2p=10。自己相似集合 U が
 
かつ任意の i と j ≠ i について

を満たすとき、U は開集合条件を満たすというp=172。
さらに、m ≤ 2 個の縮小写像の組における各写像 fi について、ある定数 ci n について成り立つとき、fi は相似縮小変換などと呼ばれる2p=27。定数 c は縮小率と呼ばれる2p=2。すなわち、fi は縮小、回転、平衡移動、反転などの変換を組み合わせて、&Ropf;n 上の部分集合を幾何学的に相似な集合に写す線形変換であるp=27。
以上のように、縮小写像が相似縮小変換でなおかつ開集合条件を満たすとき、その縮小写像の組から定まる自己相似集合 U のハウスドルフ次元は

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

**例**
コッホ曲線の構成
カントールの3進集合のハウスドルフ次元は  であったが、一般化したカントール集合、例えば線分の真ん中を 1 − 2k 除去する場合は、ハウスドルフ次元は  であるp=20。カントール集合と同様に再帰的な手続きから構成できるフラクタル図形の単純な例には、コッホ曲線 K、シェルピンスキー・ガスケット S などがあるpp=xvii–xxiv。これらも開集合条件を満たす相似縮小変換であり、それぞれのハウスドルフ次元は  と  であるpp=257–261。
力学系でもフラクタルが様々な形で現れるp=233。α 倍に縮む散逸系のパイこね変換のアトラクターはハウスドルフ次元  であるpp=241–242。複素力学系のマンデルブロ集合は非常な複雑な図形だが連結で、その境界はハウスドルフ次元 2 であるp=286。
規則的に作られる自己相似フラクタルの外に、自然界で見られるようなランダムパターンから生まれる自己相似フラクタルもある。&Ropf;n 上のブラウン運動の軌跡は、n ≥ 2 であれば n の値にかかわらず確率 1 でハウスドルフ次元 2 であるpp=206–207。
高木関数のグラフ
ハウスドルフ次元が位相次元よりも大であることをフラクタルの定義とすると、直感的にはフラクタルに相応しいような図形がフラクタルにならない例もある2p=260。例えば、カントールの悪魔の階段や高木関数のグラフは、位相次元・ハウスドルフ次元ともに 1 である2p=260。連続曲線でありながら平面を充填するペアノ曲線も、位相次元・ハウスドルフ次元ともに 2 で一致する2pp=99–100。こういった集合の存在が、フラクタルの定義に改善の余地がある理由の一つであるp=260。
ハウスドルフ次元の決定が数学上の未解決問題となっているものには、次のようなものがある。&Ropf;n 上の部分集合 K が有界閉で、全ての方向の長さ 1 の線分を含み、さらに n 次元ルベーグ測度が 0 のとき、K を n 次元掛谷集合と呼ぶ。n 次元掛谷集合のハウスドルフ次元は n であろうと予想されており、掛谷予想や掛谷問題と呼ばれる。2 次元掛谷集合のハウスドルフ次元は 2 であることは証明されたが、3 次元以上は未解決であるpp=266–267。

**他の次元との関係**

**位相次元**
縦・横・高さという直感的な次元は位相次元と呼ばれるp=98。上で述べたように、A が &Ropf;n 上の滑らかな m 次元多様体であれば、 であるので、ハウスドルフ次元は位相次元と矛盾しない拡張となっている2p=37。位相次元と呼ばれるものは正確には被覆次元、大きな帰納的次元、小さな帰納的次元の3つがあるが、ユークリッド空間上では3者は常に一致するp=92。以下、 &Ropf;n 上の集合 X の位相次元を dimT(X) と表す。
位相次元 dimT(X) とハウスドルフ次元 dimH(X) は一致することもあれば、異なることもあるp=4。例えば、線分の dimT(X) と dimH(X) は共に 1 で、正方形の dimT(X) と dimH(X) は共に 2 であるp=134。このような単純な図形では dimT(X) と dimH(X) は一致するが、図形が複雑になると相異なってくるp=134。しかし一般的な関係として、任意の集合 X の位相次元とハウスドルフ次元は

という関係が成り立つp=4。例えば、カントールの3進集合 C は  だが、 であるpp=98, 162–164。
フラクタルの提唱者であるブノワ・マンデルブロ自身のフラクタルの定義は、ハウスドルフ次元が位相次元よりも高い集合（図形）がフラクタルとされる2p=258。ただし、マンデルブロも述べているように、このフラクタルの定義は確定的ではない2p=259。「フラクタル次元」という言葉はしばしば曖昧に用いられ、定義が与えられずに用いられたり、使う人によっては定義が異なったりするがpp=xxvii、一つの考え方としては非整数値を取る次元をフラクタル次元と呼ぶp=30。マンデルブロはハウスドルフ次元のことをフラクタル次元と言い換えており、文献によってはフラクタル次元とはハウスドルフ次元を指す2p=149。

**ボックス次元**
グレートブリテン島の海岸線をボックス次元で測る様
ハウスドルフ次元は数値の具体的な計算が難しいという欠点があるp=42。これに対し、被覆する集合の直径を全て同じとしたのがボックス次元と呼ばれる次元で、ハウスドルフ次元よりも数学的には扱いにくいが計算は容易である2p=42。ボックス次元には同値な定義がいくつかあるがpp=53–59、集合 X に対して


とおいて、

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

あるいは

という関係が成り立つ2p=5。

**相似次元**
線分・正方形・立方体は、それ自体の中に 1/r 倍のコピーがそれぞれ r1, r2, r3 個ある
コッホ曲線は、それ自体の中に 1/3 倍のコピーが 4 個ある
上記の#自己相似集合の場合に求められる次元 s は、相似次元とも呼ばれるp=173。相似次元は自己相似性の観点から得られるp=38。例えば、ある線分を 1/3 倍したコピーを考えると、元の線分はそのコピー  個から成り立っている。また、ある正方形を 1/3 倍したコピーを考えると、元の正方形はそのコピー  個から成り立っている。そして、ある立方体を 1/3 倍したコピーを考えると、元の立方体はそのコピー  個から成り立っている。線分、正方形、立方体のそれぞれの次元 1, 2, 3 は、コピーの個数の指数として現れている。これを一般化すると、c 倍したコピーを考えると元の図形はそのコピーの m 個から成り立つとき、次元 s と c と m のあいだには

という関係があるpp=38–39。よって次元 s は

と定義でき、これを相似次元と呼ぶp=39。
一般的な相似次元は、縮小写像の m 個の組 f1, f2, …, fm : &Ropf;n → &Ropf;n が与えられたときに、これに対応する自己相似集合に対して、それぞれの縮小率  から

を満たす s の正の値によって与えられるp=26。自己相似集合を X として、その相似次元を dimS(X) と表すとする。上記のとおり、縮小写像が相似縮小変換でなおかつ開集合条件を満たすとき、その自己相似集合のハウスドルフ次元と相似次元には

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


**出典**

**参照文献**

**外部リンク**
 Hausdorff dimension - Encyclopedia of Mathematics- Hausdorff Dimension - MathWorld
*掛谷予想とハウスドルフ次元：掛谷問題入門 No.3- Hausdorff次元