ハウスドルフ次元

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

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

背景

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

一方、「長さ」「面積」「体積」といった直感的概念についても一般の集合に拡張させる動きが、19世紀末から20世紀初頭にかけてエミール・ボレルやアンリ・ルベーグによって進められた^[7]。1914年、コンスタンティン・カラテオドリは $n$ 次元ユークリッド空間内の $s$ 次元測度を定義した^[8]。カラテオドリの定義では $s$ は整数値であった^[9]。1919年、カラテオドリの仕事を引き継いだフェリックス・ハウスドルフは、カラテオドリの定義は非整数の $s$ に対しても意味があることを指摘し、後にハウスドルフ次元（英: Hausdorff dimension）と呼ばれる非整数次元を導入した^[10]。ハウスドルフは、カントールの3進集合のハウスドルフ次元が $log 2 / log 3 = 0.6309\dots$ であることを実際に示してみせた^[11]。

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

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

定義

ハウスドルフ測度

次元を定義したい図形として、 $n$ -次元ユークリッド空間 $ℝ n$ 上の空ではない部分集合 $X$ を考える^[20]。ユークリッド空間に限定せずに、一般の距離空間でもよい^[21]。 $X$ 上の 2 点 $x, y$ のユークリッド距離を $d (x, y)$ で表す。集合 $X$ の直径を次で定義する。

\left\vert X\right\vert =\sup\{d(x,y)\ |\ x,y\in X\}

ここで $sup$ は上限を意味し、 $d (x, y)$ は $x$ と $y$ のユークリッド距離である^[22]。単純に言えば、直径とは集合 $X$ の中のもっとも離れた2点間の距離を意味している^[23]。

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

X\subset \bigcup _{i=1}^{\infty }U_{i}

かつ

\left\vert U_{i}\right\vert \leq \delta

である。 ${U i}$ は有限個でもよい^[24]。

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

H_{\delta }^{s}(X)=\inf \sum _{i=1}^{\infty }\left\vert U_{i}\right\vert ^{s}

と定義する^[24]。

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

\delta _{2}<\delta _{1}

ならば

H_{\delta _{2}}^{s}(X)\geq H_{\delta _{1}}^{s}(X)

であるから、 $H s δ$ は $δ$ の減少とともに単調増加する^[25]。したがって、

H^{s}(X)=\lim _{\delta \to 0}\inf \sum _{i=1}^{\infty }\left\vert U_{i}\right\vert ^{s}

という極限値が、 $H s (X) = \infty$ の場合まで含めると常に存在する^[26]。この $H s (X)$ は外測度の条件を満たし、 $s$ 次元ハウスドルフ外測度やハウスドルフ $s$ 次元外測度と呼ばれる^[27]。さらに、可測集合（または $σ$ -集合体）に制限した $H s$ は $s$ 次元ハウスドルフ測度やハウスドルフ $s$ 次元測度と呼ばれる^[28]。

ハウスドルフ次元

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

\sum _{i=1}^{\infty }\left\vert U_{i}\right\vert ^{t}=\sum _{i=1}^{\infty }\left\vert U_{i}\right\vert ^{t-s}\left\vert U_{i}\right\vert ^{s}\leq \delta ^{t-s}\sum _{i=1}^{\infty }\left\vert U_{i}\right\vert ^{s}

を満たすので、

H_{\delta }^{t}(X)\leq \delta ^{t-s}H_{\delta }^{s}(X)

という関係が成り立つ^[29]。よって、 $δ \to 0$ である $H s (X)$ は $s$ の単調減少関数である^[29]。

さらに、上の関係により、 $H s (X) < \infty$ であるならば $H t (X) = 0$ である。また、 $H t (X) > 0$ であるならば、 $H s (X) = \infty$ である^[30]。したがって、 $H s (X)$ を $s$ の関数として見たとき、 $H s (X)$ は高々 1 つの第一種不連続点 $s$ を持つ^[31]。この不連続点を $D$ と表すと、

{\begin{aligned}D&=\inf\{s\in [0,\ \infty )|H^{s}(X)=0\}\\&=\sup\{s\in [0,\ \infty )|H^{s}(X)=\infty \}\end{aligned}}

を満たす $D \geq 0$ が唯一定まる^[32]。ハウスドルフ次元またはハウスドルフ・ベシコビッチ次元とは不連続点 $D$ の値のことで、これを $dim H (X)$ や $dim H X$ などと表して

\dim _{H}(X)=\inf\{s\in [0,\ \infty )|H^{s}(X)=0\}

あるいは、

\dim _{H}(X)=\sup\{s\in [0,\ \infty )|H^{s}(X)=\infty \}

で定義される^[33]。

直感的説明

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

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

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

基本的性質

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

$A \subset B \subset ℝ n$ であれば、 $dim H (A) \leq dim H (B)$ である
$A \subset ℝ n$ が開集合であれば、常に $dim H (A) = n$ である
$A 1, A 2, A 3, \dots$ を可算個の集合列とすると、 $dim H (\cup i A i) = sup{dim H (A i)}$ である
$A$ が可算集合であれば、常に $dim H (A) = 0$ である
$A$ が $ℝ n$ 上の滑らかな $m$ 次元多様体であれば、 $dim H (A) = m$ である

また、 $A \subset ℝ n$ に対して、 $s > n$ ならば $H s (A) = 0$ なので、常に $dim H (A) \leq n$ である^[39]。

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

d(f(x),\ f(y))\leq cd(x,\ y)

を満たすならば

\dim _{H}(f(X))\leq \dim _{H}(X)

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

c_{1}d(x,\ y)\leq d(f(x),\ f(y))\leq c_{2}d(x,\ y)

を満たすならば

\dim _{H}(f(X))=\dim _{H}(X)

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

$ℝ n$ の部分集合を $A$ とし、 $ℝ m$ の部分集合を $B$ とすると、これらの直積集合 $A \times B = {(x, y) \in ℝ n + m | x \in ℝ n, y \in ℝ m}$ のハウスドルフ次元について一般的に成り立つ関係は

\dim _{H}(A\times B)\leq \dim _{H}(A)+\dim _{H}(B)

である^[42]。しかし、後述の $dim B$ に対して $dim H (X) = dim B (X)$ が満たされるならば、

\dim _{H}(A\times B)=\dim _{H}(A)+\dim _{H}(B)

が成り立つ^[43]。

射影に関しては、 $X$ を $ℝ n$ の部分空間へ写す正射影を $p (X)$ とすると

\dim _{H}(p(X))\leq \dim _{H}(X)

が一般的な関係として成り立つ^[44]。

計算

定義からの直接計算

一般的に、与えられた集合 $X$ のハウスドルフ次元を決定するのは困難である^[45]。次元を決定するためによく使われる手法は、上からの評価と下からの評価を行い、それらが同じ値を取ることを証明する手法である^[46]。すなわち、 $dim H (X) \leq s$ （上から）かつ $dim H (X) \geq s$ （下から）であることを証明すれば $dim H (X) = s$ である^[46]。上からの評価は比較的簡単で、特殊な $δ$ 被覆を設定すれば求まる^[47]。特に一般的に大変なのが、ハウスドルフ測度およびハウスドルフ次元の下からの評価を得ることである^[48]。下からの評価のためにはあらゆる被覆を考えて決める必要があり、難しくなる^[49]。

数直線 $ℝ 1$ 上の図形であれば、定義からの直接計算でもハウスドルフ次元の決定は比較的容易である^[49]。ハウスドルフ次元が非整数を取る図形の中でもっとも有名な集合として、カントール集合がある^[50]。カントール集合ないしカントールの3進集合とは、線分 1 の中央から1/3の長さの線分を除去し、さらに残った2つの線分の中央のそれぞれの1/3の長さの線分を除去し、という操作を繰り返し無限回行うことで得られる図形である^[51]。カントール集合を作る途中の $k$ 番目の操作でできる図形を $C k$ と表すと

C_{k}=\left[0,{\frac {1}{3^{k}}}\right]\cup \left[{\frac {2}{3^{k}}},{\frac {3}{3^{k}}}\right]\cup \ldots \cup \left[{\frac {3^{k}-1}{3^{k}}},1\right]

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

C=\bigcap _{k=1}^{\infty }C_{k}

と定義される^[52]。カントール集合はハウスドルフ次元を正確に決定できる少ない例のうちの一つである^[53]。

カントール集合のハウスドルフ測度およびハウスドルフ次元の場合、 $I k$ を $C$ に対する $δ$ 被覆と考えれば、上からの評価が得られる^[54]。この被覆について $s = log 2 / log 3$ と仮定すると、 $H s (C) \leq 1$ および $dim H (C) \leq s$ であることが得られる^[55]。また、少し技巧的な証明を要するが、任意の閉区間による被覆に対して $H s (C) \geq 1$ および $dim H (C) \geq s$ であることが得られる^[56]。したがって、 $dim H (C) = log 2 / log 3$ である^[56]。

自己相似集合の場合

フラクタルの中でも、ハウスドルフ次元を正確かつ簡単に決定できるクラスの集合がある^[57]。写像 $f : ℝ n \to ℝ n$ が、ある定数 $c i < 1$ が存在して、

\left\vert f(x)-f(y)\right\vert \leq c_{i}\left\vert x-y\right\vert

が任意の $x, y \in ℝ n$ について成り立つとき、 $f$ を縮小写像という^[58]。 $m \geq 2$ 個の縮小写像の組 $f 1, f 2, \dots, f m : ℝ n \to ℝ n$ が与えられたとき、

U\bigcup _{i=1}^{m}f_{i}

を満たすコンパクト集合 $U \subset ℝ n$ を自己相似集合という^[59]。自己相似集合 $U$ が

\bigcup _{i=1}^{m}f_{i}\subset U

かつ任意の $i$ と $j \neq i$ について

f_{i}(U)\cap f_{j}(U)=\emptyset

を満たすとき、 $U$ は開集合条件を満たすという^[60]。

さらに、 $m \leq 2$ 個の縮小写像の組における各写像 $f i$ について、ある定数 $c i < 1$ が存在し、

\left\vert f_{i}(x)-f_{i}(y)\right\vert =c_{i}\left\vert x-y\right\vert

が任意の $x, y \in ℝ n$ について成り立つとき、 $f i$ は相似縮小変換などと呼ばれる^[61]。定数 $c$ は縮小率と呼ばれる^[62]。すなわち、 $f i$ は縮小、回転、平衡移動、反転などの変換を組み合わせて、 $ℝ n$ 上の部分集合を幾何学的に相似な集合に写す線形変換である^[63]。

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

\sum _{i=1}^{m}(c_{i})^{s}=1

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

例

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

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

規則的に作られる自己相似フラクタルの外に、自然界で見られるようなランダムパターンから生まれる自己相似フラクタルもある^[73]。 $ℝ n$ 上のブラウン運動の軌跡は、 $n \geq 2$ であれば $n$ の値にかかわらず確率 $1$ でハウスドルフ次元 $2$ である^[74]。

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

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

他の次元との関係

位相次元

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

位相次元 $dim T (X)$ とハウスドルフ次元 $dim H (X)$ は一致することもあれば、異なることもある^[80]。例えば、線分の $dim T (X)$ と $dim H (X)$ は共に 1 で、正方形の $dim T (X)$ と $dim H (X)$ は共に 2 である^[81]。このような単純な図形では $dim T (X)$ と $dim H (X)$ は一致するが、図形が複雑になると相異なってくる^[81]。しかし一般的な関係として、任意の集合 $X$ の位相次元とハウスドルフ次元は

\dim _{T}(X)\leq \dim _{H}(X)

という関係が成り立つ^[80]。例えば、カントールの3進集合 $C$ は $dim H (C) = log 2 / log 3 = 0.6309\dots$ だが、 $dim T (C) = 0$ である^[82]。

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

ボックス次元

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

{\underline {\dim }}_{B}(X)=\lim _{\epsilon \rightarrow 0}\inf {\dfrac {\log N_{\delta }(X)}{\log {\frac {1}{\delta }}}}

{\overline {\dim }}_{B}(X)=\lim _{\epsilon \rightarrow 0}\sup {\dfrac {\log N_{\delta }(X)}{\log {\frac {1}{\delta }}}}

とおいて、

{\underline {\dim }}_{B}(X)={\overline {\dim }}_{B}(X)={\dim }_{B}(X)

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

\dim _{H}(X)\leq {\underline {\dim }}_{B}(X)\leq {\overline {\dim }}_{B}(X)

あるいは

\dim _{H}(X)\leq \dim _{B}(X)

という関係が成り立つ^[94]。

相似次元

線分・正方形・立方体は、それ自体の中に 1/r 倍のコピーがそれぞれ r¹, r², r³ 個ある

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

N=\left({\frac {1}{c}}\right)^{s}

という関係がある^[97]。よって次元 $s$ は

s={\frac {\log N}{\log(1/c)}}

と定義でき、これを相似次元と呼ぶ^[98]。

一般的な相似次元は、縮小写像の $m$ 個の組 $f 1, f 2, \dots, f m : ℝ n \to ℝ n$ が与えられたときに、これに対応する自己相似集合に対して、それぞれの縮小率 $c i (i = 1, 2, \dots m)$ から

\sum _{i=1}^{m}(c_{i})^{s}=1

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

\dim _{H}(X)=\dim _{S}(X)

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

\dim _{H}(X)\leq \dim _{S}(X)

出典

^ ^a ^b 山口 1986, p. 183.
^ 石村・石村 1990, p. 68.
^ マンデルブロ 2011, pp. 368–367; 石村・石村 1990, p. 68.
^ 瀬山士郎（編）、2001、『なっとくする集合・位相』、サイエンス社 ISBN 978-4-06-154534-2 pp. 115–117
^ ^a ^b 石村・石村 1990, p. 92.
^ 山口・畑・木上 1993, p. 3; 山口 1986, p. 183.
^ 山口・畑・木上 1993, p. 3; ファルコナー 1989, p. iv.
^ 山口・畑・木上 1993, p. 3.
^ A. S. Besicovitch (1950). “Parametric Surfaces”. Bulletin of the American Mathematical Society (American Mathematical Society) 56: 288. doi:10.1090/S0002-9904-1950-09402-6. ISSN 1088-9485.
^ ファルコナー 1989, p. iv; 山口・畑・木上 1993, p. 3.
^ ファルコナー 1989, p. iv.
^ ^a ^b “Hausdorff dimension”. Encyclopedia of Mathematics. EMS Press. 2023年9月26日閲覧。
^ ファルコナー 1989, p. v.
^ マンデルブロ 2011, p. 266.
^ 山口・畑・木上 1993, p. 1; 山口 1986, p. 149.
^ マンデルブロ 2011, p. 258.
^ 石村・石村 1990, p. i.
^ Falconer 2006, p. 34.
^ 新井 2023, p. 198.
^ Falconer 2006, p. 34; 山口・畑・木上 1993, p. 6.
^ マンデルブロ 2011, p. 263.
^ Falconer 2006, pp. 3, 34; 石村・石村 1990, pp. 78, 104–105.
^ 石村・石村 1990, p. 106.
^ ^a ^b 山口・畑・木上 1993, p. 6.
^ 石村・石村 1990, pp. 114, 116.
^ 山口・畑・木上 1993, p. 7.
^ 山口・畑・木上 1993, p. 7; 新井 2023, p. 243; ファルコナー 1989, p. 8.
^ ファルコナー 1989, p. 9; 新井 2023, p. 245; Falconer 2006, pp. 14–15, 35.
^ ^a ^b 山口・畑・木上 1993, p. 7; ファルコナー 1989, p. 9.
^ 山口・畑・木上 1993, pp. 7–8; 新井 2023, pp. 248–249; 本田 2002, p. 36.
^ 山口・畑・木上 1993, pp. 7–8; 本田 2002, p. 36.
^ 石村・石村 1990, p. 116.
^ Falconer 2006, p. 39; 本田 2002, p. 36.
^ ^a ^b ^c 山口・畑・木上 1993, p. 8.
^ 石村・石村 1990, pp. 110, 122–130.
^ 石村・石村 1990, pp. 110–112, 130–134.
^ 石村・石村 1990, pp. 110–112.
^ ^a ^b Falconer 2006, p. 40; 本田 2002, p. 37.
^ 新井 2023, p. 248.
^ ^a ^b 畑政義、1990、「フラクタル-自己相似集合について」、『数学』42巻4号、日本数学会、doi:10.11429/sugaku1947.42.304 p. 307
^ ^a ^b Falconer 2006, p. 41.
^ Falconer 2006, pp. 127, 130.
^ Falconer 2006, pp. 130–131.
^ 山口・畑・木上 1993, p. 9.
^ 石村・石村 1990, p. 152; ファルコナー 1989, p. 18.
^ ^a ^b Falconer 2006, p. 42.
^ 山口・畑・木上 1993, pp. 10, 25.
^ ファルコナー 1989, p. 18.
^ ^a ^b 山口・畑・木上 1993, p. 10.
^ ファルコナー 1989, p. 19.
^ 本田 2002, pp. 1–2.
^ 石村・石村 1990, pp. 135–136.
^ 山口・畑・木上 1993, p. 11.
^ 山口・畑・木上 1993, p. 11; 新井 2023, p. 250.
^ Falconer 2006, p. 44; 新井 2023, pp. 250–251.
^ ^a ^b 新井 2023, pp. 251–252; 山口・畑・木上 1993, pp. 11–12.
^ 山口・畑・木上 1993, p. 21; 石村・石村 1990, p. 152.
^ ファルコナー 1989, pp. 168–169; 山口・畑・木上 1993, p. 22.
^ 山口・畑・木上 1993, p. 22; 石村・石村 1990, p. 10.
^ ファルコナー 1989, p. 172.
^ 新井 2023, pp. 254–255; 山口・畑・木上 1993, p. 27.
^ ファルコナー 1989, pp. 169; 石村・石村 1990, p. 2.
^ ^a ^b 山口・畑・木上 1993, p. 27.
^ 山口・畑・木上 1993, pp. 26–27; Falconer 2006, p. 164.
^ Falconer 2006, p. 166.
^ 山口・畑・木上 1993, p. 30.
^ ファルコナー 1989, p. 20.
^ Falconer 2006, pp. xvii–xxiv.
^ 新井 2023, pp. 257–261.
^ Falconer 2006, p. 233.
^ Falconer 2006, pp. 241–242.
^ Falconer 2006, p. 286.
^ 松下貢、2009、『フラクタルの物理（I）―基礎編―』第4版、裳華房〈裳華房フィジックスライブラリー〉 ISBN 978-4-7853-2208-3
^ ファルコナー 1989, pp. 206–207.
^ ^a ^b 山口・畑・木上 1993, p. 4; マンデルブロ 2011, p. 260.
^ 山口 1986, pp. 183–184; 石村・石村 1990, pp. 99–100.
^ マンデルブロ 2011, p. 260.
^ 新井 2023, pp. 266–267.
^ 石村・石村 1990, p. 98.
^ ^a ^b 山口・畑・木上 1993, p. 4.
^ ^a ^b 石村・石村 1990, p. 134.
^ 石村・石村 1990, pp. 98, 162–164.
^ 山口 1986, p. 149; マンデルブロ 2011, p. 258.
^ Falconer 2006, pp. xxvii; マンデルブロ 2011, p. 259.
^ Falconer 2006, pp. xxvii.
^ 本田 2002, p. 30.
^ 高安秀樹・高安美佐子、1988、『フラクタルって何だろう』、ダイヤモンド社 ISBN 4-478-83004-5 p. 51
^ B.マンデルブロ、広中平祐（監訳）、2011、『フラクタル幾何学　上』、筑摩書房〈ちくま学芸文庫〉 ISBN 978-4-480-09356-1 pp. 12, 41
^ 石村・石村 1990, p. 182; 山口 1986, p. 149.
^ 本田 2002, p. 42.
^ Falconer 2006, p. 60; 本田 2002, p. 42.
^ Falconer 2006, pp. 53–59.
^ ^a ^b 青木 2004, p. 37.
^ 青木 2004, p. 38; 山口・畑・木上 1993, p. 5.
^ ファルコナー 1989, p. 173.
^ 本田 2002, p. 38.
^ 本田 2002, pp. 38–39.
^ 本田 2002, p. 39.
^ ^a ^b 山口・畑・木上 1993, p. 26.

参照文献

Kenneth Falconer、服部久美子・村井浄信（訳）、2006、『フラクタル幾何学』、共立出版〈新しい解析学の流れ〉 ISBN 4-320-01801-X
K.J.ファルコナー、畑政義（訳）、1989、『フラクタル集合の幾何学』初版、近代科学社 ISBN 4-7649-1013-6
山口昌哉・畑政義・木上淳、1993、『フラクタルの数理』初版、岩波書店〈岩波講座応用数学1 [対象7]〉 ISBN 4-00-010511-6
本田勝也、2002、『フラクタル』初版、朝倉書店〈シリーズ非線形科学入門1〉 ISBN 978-4-254-11611-3
石村貞夫・石村園子、1990、『フラクタル数学』初版、東京図書 ISBN 4-489-00332-3
青木統夫、2004、『測度・エントロピー・フラクタル』初版、共立出版〈非線形解析III〉 ISBN 4-320-01773-0
山口昌哉、1986、『カオスとフラクタル ―非線形の不思議―』、講談社〈ブルーバックス B-652〉 ISBN 4-06-132652-X
B.マンデルブロ、広中平祐（監訳）、2011、『フラクタル幾何学　下』、筑摩書房〈ちくま学芸文庫〉 ISBN 978-4-480-09357-8
新井仁之、2023、『ルベーグ積分講義 ―ルベーグ積分と面積0の不思議な図形たち―』改訂版、日本評論社 ISBN 978-4-535-78945-6

外部リンク

Hausdorff dimension - Encyclopedia of Mathematics
Hausdorff Dimension - MathWorld
掛谷予想とハウスドルフ次元：掛谷問題入門 No.3 - YouTube
Hausdorff次元 - J-GLOBAL

[FOOTNOTE山口1986183-1] 山口 1986, p. 183.

[FOOTNOTE石村・石村199068-2] 石村・石村 1990, p. 68.

[FOOTNOTEマンデルブロ2011368–367石村・石村199068-3] マンデルブロ 2011, pp. 368–367; 石村・石村 1990, p. 68.

[4] 瀬山士郎（編）、2001、『なっとくする集合・位相』、サイエンス社 ISBN 978-4-06-154534-2 pp. 115–117

[FOOTNOTE石村・石村199092-5] 石村・石村 1990, p. 92.

[FOOTNOTE山口・畑・木上19933山口1986183-6] 山口・畑・木上 1993, p. 3; 山口 1986, p. 183.

[FOOTNOTE山口・畑・木上19933ファルコナー1989iv-7] 山口・畑・木上 1993, p. 3; ファルコナー 1989, p. iv.

[FOOTNOTE山口・畑・木上19933-8] 山口・畑・木上 1993, p. 3.

[9] A. S. Besicovitch (1950). “Parametric Surfaces”. Bulletin of the American Mathematical Society (American Mathematical Society) 56: 288. doi:10.1090/S0002-9904-1950-09402-6. ISSN 1088-9485.

[FOOTNOTEファルコナー1989iv山口・畑・木上19933-10] ファルコナー 1989, p. iv; 山口・畑・木上 1993, p. 3.

[FOOTNOTEファルコナー1989iv-11] ファルコナー 1989, p. iv.

[EoM-12] “Hausdorff dimension”. Encyclopedia of Mathematics. EMS Press. 2023年9月26日閲覧。

[FOOTNOTEファルコナー1989v-13] ファルコナー 1989, p. v.

[FOOTNOTEマンデルブロ2011266-14] マンデルブロ 2011, p. 266.

[FOOTNOTE山口・畑・木上19931山口1986149-15] 山口・畑・木上 1993, p. 1; 山口 1986, p. 149.

[FOOTNOTEマンデルブロ2011258-16] マンデルブロ 2011, p. 258.

[FOOTNOTE石村・石村1990i-17] 石村・石村 1990, p. i.

[FOOTNOTEFalconer200634-18] Falconer 2006, p. 34.

[FOOTNOTE新井2023198-19] 新井 2023, p. 198.

[FOOTNOTEFalconer200634山口・畑・木上19936-20] Falconer 2006, p. 34; 山口・畑・木上 1993, p. 6.

[FOOTNOTEマンデルブロ2011263-21] マンデルブロ 2011, p. 263.

[FOOTNOTEFalconer20063,_34石村・石村199078,_104–105-22] Falconer 2006, pp. 3, 34; 石村・石村 1990, pp. 78, 104–105.

[FOOTNOTE石村・石村1990106-23] 石村・石村 1990, p. 106.

[FOOTNOTE山口・畑・木上19936-24] 山口・畑・木上 1993, p. 6.

[FOOTNOTE石村・石村1990114,_116-25] 石村・石村 1990, pp. 114, 116.

[FOOTNOTE山口・畑・木上19937-26] 山口・畑・木上 1993, p. 7.

[FOOTNOTE山口・畑・木上19937新井2023243ファルコナー19898-27] 山口・畑・木上 1993, p. 7; 新井 2023, p. 243; ファルコナー 1989, p. 8.

[FOOTNOTEファルコナー19899新井2023245Falconer200614–15,_35-28] ファルコナー 1989, p. 9; 新井 2023, p. 245; Falconer 2006, pp. 14–15, 35.

[FOOTNOTE山口・畑・木上19937ファルコナー19899-29] 山口・畑・木上 1993, p. 7; ファルコナー 1989, p. 9.

[FOOTNOTE山口・畑・木上19937–8新井2023248–249本田200236-30] 山口・畑・木上 1993, pp. 7–8; 新井 2023, pp. 248–249; 本田 2002, p. 36.

[FOOTNOTE山口・畑・木上19937–8本田200236-31] 山口・畑・木上 1993, pp. 7–8; 本田 2002, p. 36.

[FOOTNOTE石村・石村1990116-32] 石村・石村 1990, p. 116.

[FOOTNOTEFalconer200639本田200236-33] Falconer 2006, p. 39; 本田 2002, p. 36.

[FOOTNOTE山口・畑・木上19938-34] 山口・畑・木上 1993, p. 8.

[FOOTNOTE石村・石村1990110,_122–130-35] 石村・石村 1990, pp. 110, 122–130.

[FOOTNOTE石村・石村1990110–112,_130–134-36] 石村・石村 1990, pp. 110–112, 130–134.

[FOOTNOTE石村・石村1990110–112-37] 石村・石村 1990, pp. 110–112.

[FOOTNOTEFalconer200640本田200237-38] Falconer 2006, p. 40; 本田 2002, p. 37.

[FOOTNOTE新井2023248-39] 新井 2023, p. 248.

[畑1990-40] 畑政義、1990、「フラクタル-自己相似集合について」、『数学』42巻4号、日本数学会、doi:10.11429/sugaku1947.42.304 p. 307

[FOOTNOTEFalconer200641-41] Falconer 2006, p. 41.

[FOOTNOTEFalconer2006127,_130-42] Falconer 2006, pp. 127, 130.

[FOOTNOTEFalconer2006130–131-43] Falconer 2006, pp. 130–131.

[FOOTNOTE山口・畑・木上19939-44] 山口・畑・木上 1993, p. 9.

[FOOTNOTE石村・石村1990152ファルコナー198918-45] 石村・石村 1990, p. 152; ファルコナー 1989, p. 18.

[FOOTNOTEFalconer200642-46] Falconer 2006, p. 42.

[FOOTNOTE山口・畑・木上199310,_25-47] 山口・畑・木上 1993, pp. 10, 25.

[FOOTNOTEファルコナー198918-48] ファルコナー 1989, p. 18.

[FOOTNOTE山口・畑・木上199310-49] 山口・畑・木上 1993, p. 10.

[FOOTNOTEファルコナー198919-50] ファルコナー 1989, p. 19.

[FOOTNOTE本田20021–2-51] 本田 2002, pp. 1–2.

[FOOTNOTE石村・石村1990135–136-52] 石村・石村 1990, pp. 135–136.

[FOOTNOTE山口・畑・木上199311-53] 山口・畑・木上 1993, p. 11.

[FOOTNOTE山口・畑・木上199311新井2023250-54] 山口・畑・木上 1993, p. 11; 新井 2023, p. 250.

[FOOTNOTEFalconer200644新井2023250–251-55] Falconer 2006, p. 44; 新井 2023, pp. 250–251.

[FOOTNOTE新井2023251–252山口・畑・木上199311–12-56] 新井 2023, pp. 251–252; 山口・畑・木上 1993, pp. 11–12.

[FOOTNOTE山口・畑・木上199321石村・石村1990152-57] 山口・畑・木上 1993, p. 21; 石村・石村 1990, p. 152.

[FOOTNOTEファルコナー1989168–169山口・畑・木上199322-58] ファルコナー 1989, pp. 168–169; 山口・畑・木上 1993, p. 22.

[FOOTNOTE山口・畑・木上199322石村・石村199010-59] 山口・畑・木上 1993, p. 22; 石村・石村 1990, p. 10.

[FOOTNOTEファルコナー1989172-60] ファルコナー 1989, p. 172.

[FOOTNOTE新井2023254–255山口・畑・木上199327-61] 新井 2023, pp. 254–255; 山口・畑・木上 1993, p. 27.

[FOOTNOTEファルコナー1989169石村・石村19902-62] ファルコナー 1989, pp. 169; 石村・石村 1990, p. 2.

[FOOTNOTE山口・畑・木上199327-63] 山口・畑・木上 1993, p. 27.

[FOOTNOTE山口・畑・木上199326–27Falconer2006164-64] 山口・畑・木上 1993, pp. 26–27; Falconer 2006, p. 164.

[FOOTNOTEFalconer2006166-65] Falconer 2006, p. 166.

[FOOTNOTE山口・畑・木上199330-66] 山口・畑・木上 1993, p. 30.

[FOOTNOTEファルコナー198920-67] ファルコナー 1989, p. 20.

[FOOTNOTEFalconer2006xvii–xxiv-68] Falconer 2006, pp. xvii–xxiv.

[FOOTNOTE新井2023257–261-69] 新井 2023, pp. 257–261.

[FOOTNOTEFalconer2006233-70] Falconer 2006, p. 233.

[FOOTNOTEFalconer2006241–242-71] Falconer 2006, pp. 241–242.

[FOOTNOTEFalconer2006286-72] Falconer 2006, p. 286.

[73] 松下貢、2009、『フラクタルの物理（I）―基礎編―』第4版、裳華房〈裳華房フィジックスライブラリー〉 ISBN 978-4-7853-2208-3

[FOOTNOTEファルコナー1989206–207-74] ファルコナー 1989, pp. 206–207.

[FOOTNOTE山口・畑・木上19934マンデルブロ2011260-75] 山口・畑・木上 1993, p. 4; マンデルブロ 2011, p. 260.

[FOOTNOTE山口1986183–184石村・石村199099–100-76] 山口 1986, pp. 183–184; 石村・石村 1990, pp. 99–100.

[FOOTNOTEマンデルブロ2011260-77] マンデルブロ 2011, p. 260.

[FOOTNOTE新井2023266–267-78] 新井 2023, pp. 266–267.

[FOOTNOTE石村・石村199098-79] 石村・石村 1990, p. 98.

[FOOTNOTE山口・畑・木上19934-80] 山口・畑・木上 1993, p. 4.

[FOOTNOTE石村・石村1990134-81] 石村・石村 1990, p. 134.

[FOOTNOTE石村・石村199098,_162–164-82] 石村・石村 1990, pp. 98, 162–164.

[FOOTNOTE山口1986149マンデルブロ2011258-83] 山口 1986, p. 149; マンデルブロ 2011, p. 258.

[FOOTNOTEFalconer2006xxviiマンデルブロ2011259-84] Falconer 2006, pp. xxvii; マンデルブロ 2011, p. 259.

[FOOTNOTEFalconer2006xxvii-85] Falconer 2006, pp. xxvii.

[FOOTNOTE本田200230-86] 本田 2002, p. 30.

[87] 高安秀樹・高安美佐子、1988、『フラクタルって何だろう』、ダイヤモンド社 ISBN 4-478-83004-5 p. 51

[88] B.マンデルブロ、広中平祐（監訳）、2011、『フラクタル幾何学　上』、筑摩書房〈ちくま学芸文庫〉 ISBN 978-4-480-09356-1 pp. 12, 41

[FOOTNOTE石村・石村1990182山口1986149-89] 石村・石村 1990, p. 182; 山口 1986, p. 149.

[FOOTNOTE本田200242-90] 本田 2002, p. 42.

[FOOTNOTEFalconer200660本田200242-91] Falconer 2006, p. 60; 本田 2002, p. 42.

[FOOTNOTEFalconer200653–59-92] Falconer 2006, pp. 53–59.

[FOOTNOTE青木200437-93] 青木 2004, p. 37.

[FOOTNOTE青木200438山口・畑・木上19935-94] 青木 2004, p. 38; 山口・畑・木上 1993, p. 5.

[FOOTNOTEファルコナー1989173-95] ファルコナー 1989, p. 173.

[FOOTNOTE本田200238-96] 本田 2002, p. 38.

[FOOTNOTE本田200238–39-97] 本田 2002, pp. 38–39.

[FOOTNOTE本田200239-98] 本田 2002, p. 39.

[FOOTNOTE山口・畑・木上199326-99] 山口・畑・木上 1993, p. 26.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

[66]

[67]

[68]

[69]

[70]

[71]

[72]

[73]

[74]

[75]

[76]

[77]

[78]

[79]

[80]

[81]

[82]

[83]

[84]

[85]

[86]

[87]

[88]

[89]

[90]

[91]

[92]

[93]

[94]

[95]

[96]

[97]

[98]

[99]

表話編歴次元
定義	相似次元容量次元位相次元ハウスドルフ次元ミンコフスキー次元フラクタル次元
整数次元	0次元 1次元 2次元 3次元 4次元 5次元 6次元 (6DoF) 7次元 8次元 9次元 10次元 11次元
ポリトープ	超平面超曲面超立方体超直方体超球面超矩形半超立方体正軸体単体多胞体
その他	座標軸測度論 2.5次元フラクタル幾何自由度
カテゴリポータル:数学

表話編歴フラクタル
特徴	フラクタル次元 Assouad（英語版） Box-counting（英語版） Correlation（英語版）ハウスドルフ Packing（英語版）位相再帰（英語版）自己相似自己相似過程スケール不変性
反復関数系	バーンズリーのシダカントール集合ドラゴン曲線レヴィC曲線コッホ雪片メンガーのスポンジシェルピンスキーのカーペットシェルピンスキーのギャスケットアポロニウスのギャスケットコッホ曲線空間充填曲線 T-square（英語版）
ストレンジアトラクター	多重フラクタル系（英語版）
L-system	空間充填曲線
Escape-time fractals	バーニングシップ・フラクタルジュリア集合充填リアプノフ・フラクタルマンデルブロ集合ニュートン・フラクタル（英語版）
確率的フラクタル	ブラウン運動非整数ブラウン運動ブラウンの木（英語版）拡散律速凝集フラクタル地形 Lévy flight（英語版）パーコレーション理論（英語版） Self-avoiding walk（英語版）
人物	ゲオルク・カントールフェリックス・ハウスドルフガストン・ジュリアヘルゲ・フォン・コッホポール・レヴィアレクサンドル・リャプノフブノワ・マンデルブロルイス・フライ・リチャードソンヴァツワフ・シェルピニスキ
その他	"How Long Is the Coast of Britain?（英語版）" 海岸線のパラドックス List of fractals by Hausdorff dimension（英語版） The Beauty of Fractals（英語版） (1986 book)
カテゴリ