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

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

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

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

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

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

定義

ハウスドルフ測度

次元を定義したい図形として、-次元ユークリッド空間 上の空ではない部分集合 を考える。ユークリッド空間に限定せずに、一般の距離空間でもよい。 上の 2 点 のユークリッド距離を で表す。集合 の直径を次で定義する。

ここで は上限を意味し、 は と のユークリッド距離である。単純に言えば、直径とは集合 の中のもっとも離れた2点間の距離を意味している。

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

 かつ 

である。 は有限個でもよい。

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

と定義する。

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

 ならば 

であるから、 は の減少とともに単調増加する。したがって、

という極限値が、 の場合まで含めると常に存在する。この は外測度の条件を満たし、 次元ハウスドルフ外測度やハウスドルフ 次元外測度と呼ばれる。さらに、可測集合（または -集合体）に制限した は 次元ハウスドルフ測度やハウスドルフ 次元測度と呼ばれる。

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

を満たすので、

という関係が成り立つ。よって、 である は の単調減少関数である。

さらに、上の関係により、 であるならば である。また、 であるならば、 である。したがって、 を の関数として見たとき、 は高々 1 つの第一種不連続点 を持つ。この不連続点を と表すと、 

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

あるいは、

で定義される。

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

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

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

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

 であれば、 である
 が開集合であれば、常に である
 を可算個の集合列とすると、 である
 が可算集合であれば、常に である
 が 上の滑らかな 次元多様体であれば、 である

また、 に対して、 ならば なので、常に である。 

位相次元は同相写像に対して不変であることが一般的だが、ハウスドルフ次元はこの性質は持たない。しかし、写像 がリプシッツ連続であれば、すなわち、ある正の定数 が存在して任意の に対して

を満たすならば

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

を満たすならば

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

 の部分集合を とし、 の部分集合を とすると、これらの直積集合 のハウスドルフ次元について一般的に成り立つ関係は

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

が成り立つ。

射影に関しては、 を の部分空間へ写す正射影を とすると

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

計算

定義からの直接計算
一般的に、与えられた集合 のハウスドルフ次元を決定するのは困難である。次元を決定するためによく使われる手法は、上からの評価と下からの評価を行い、それらが同じ値を取ることを証明する手法である。すなわち、（上から）かつ （下から）であることを証明すれば である。上からの評価は比較的簡単で、特殊な 被覆を設定すれば求まる。特に一般的に大変なのが、ハウスドルフ測度およびハウスドルフ次元の下からの評価を得ることである。下からの評価のためにはあらゆる被覆を考えて決める必要があり、難しくなる。

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

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

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

カントール集合のハウスドルフ測度およびハウスドルフ次元の場合、 を に対する 被覆と考えれば、上からの評価が得られる。この被覆について と仮定すると、 および であることが得られる。また、少し技巧的な証明を要するが、任意の閉区間による被覆に対して および であることが得られる。したがって、 である。

自己相似集合の場合
フラクタルの中でも、ハウスドルフ次元を正確かつ簡単に決定できるクラスの集合がある。写像 が、ある定数 が存在して、

が任意の について成り立つとき、 を縮小写像という。 個の縮小写像の組 が与えられたとき、

 

を満たすコンパクト集合 を自己相似集合という。自己相似集合 が

 

かつ任意の と について

を満たすとき、 は開集合条件を満たすという。

さらに、 個の縮小写像の組における各写像 について、ある定数 が存在し、

が任意の について成り立つとき、 は相似縮小変換などと呼ばれる。定数 は縮小率と呼ばれる。すなわち、 は縮小、回転、平衡移動、反転などの変換を組み合わせて、 上の部分集合を幾何学的に相似な集合に写す線形変換である。

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

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

例

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

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

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

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

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

他の次元との関係

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

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

という関係が成り立つ。例えば、カントールの3進集合 は だが、 である。

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

ボックス次元

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

とおいて、

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

あるいは

という関係が成り立つ。

相似次元

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

という関係がある。よって次元 は

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

一般的な相似次元は、縮小写像の 個の組 が与えられたときに、これに対応する自己相似集合に対して、それぞれの縮小率 から

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

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