**豪斯多夫维数**又称作**豪斯多夫-贝塞科维奇维数**（英語：）或**分形维数**，它是由德國数学家豪斯多夫（）于1918年引入的。通过豪斯多夫维数可以定義任意度量空間的子集之維數，包括像是分形（）等复杂的集合。对于简单的几何形狀比如线、长方形、长方体等豪斯多夫维数等同于它们通常的几何维度或者说拓扑维度。通常来说一个物体的豪斯多夫维数不像拓扑维度一样总是一个自然数而可能会是一个非整的有理数或者无理数。

通俗的描述
-----

从直觉上来说一个集合的维数是描述这个集合中一点所需的独立参数的个数。比如要描述一个平面里的一点我们需要两个坐标*x*和*y*，那么平面的维数便是2。最接近这个想法的数学模型是拓扑维度。可以预见拓扑维度必然是一个自然数。但是拓扑维度在描述某些不规则的集合比如分形的时候遭遇到了困难，而豪斯多夫维数则是一个描述该种集合的恰当工具。

设想有一个由三维空间内具有有限大小的点组成的集合，*N*是用来覆盖这个集合内所有点所需的半径为R的球体的最少个数，则这个最小数*N*是*R*的一个函数，记作*N*(*R*)。显然*R*越小则*N*越大，假设*N*(*R*)和*R**d*之间存在一个反比的关系，我们把这个关系记作

N(R)\sim {\frac {1}{R^{d}}}
当*R*趋向于0时，我们得到

d=-\lim \_{{R\rightarrow 0}}\log \_{R}N
这里的d就是这个集合的豪斯多夫维数[來源請求]。

在这里除了球体以外也可以使用正方体或其它类似的物体来覆盖集合内的点。如果是在一个二维平面内则应该使用圆而非球体。总之在一个*n*维空间则应该使用相应的*n*维物体。对于一条有限长度的曲线来说所需的"球体"的个数和它的半径成反比，那么曲线的豪斯多夫维数为1。对于一个平面而言，所需的"球体"的个数明显和它的半径的平方成反比，那么这个平面的豪斯多夫维数则为2。

考察一个特殊的几何物体，这个物体由*n*个大小一致且互不重叠的小物体组成，这些小物体的形状和这个物体本身相同。若这些小物体和大物体的大小比例为1:*m*，那么这个几何物体的豪斯多夫维数为d=\log \_{m}n。若这些小物体的大小不同，设每个小物体与大物体的大小比例为m\_{i}，那么有\sum \_{{i=1}}^{n}{\frac {1}{m\_{i}^{d}}}=1。这里我们称其为**相似维度**。下面是两个例子：

1. 正方形：一个正方形由9个长宽都只有它三分之一的小正方形组成，那么d=\log \_{3}9=2。
2. 科赫曲线：科赫曲线的每一部分都由4个跟它自身比例为1:3的形状相同的小曲线组成，那么它的豪斯多夫维数为d=\log \_{3}4=1.26185950714...，是一个无理数。动画描述的是科赫曲线的第一到第六次迭代。

实际上豪斯多夫维数的计算并不像上面的例子那样简单，甚至可以说很不容易。请参看本条目的『计算』部分。

严格的定义
-----

**豪斯多夫外测度**：
令X为一个度量空间，E为X的一个子集，*d* ∈ [0, ∞)，定义

H\_{\delta }^{d}(E)=\inf {\Bigl \{}\sum \_{{i=1}}^{\infty }(\operatorname {diam}\;U\_{i})^{d}:\bigcup \_{{i=1}}^{\infty }U\_{i}\supseteq E,\,\operatorname {diam}\;U\_{i}<\delta {\Bigr \}}.
则E的*d*次豪斯多夫外测度被定义为：

H^{d}(E)=\lim \_{{\delta \rightarrow 0}}H\_{\delta }^{d}(E).
**豪斯多夫维数**：
豪斯多夫维数被定义为豪斯多夫外测度从零变为非零值跳跃点对应的s值。严格的定义为：

{\displaystyle \mathrm {dim} \_{H}(E)=\inf\{s:H^{s}(E)=0\}=\sup\{s:H^{s}(E)=\infty \}}

郝斯多夫維數的性質
---------

### 聯集或積的維度

設{\displaystyle X=\bigcup \_{i\in I}X\_{i}}可數個集合的聯集，則

{\displaystyle \dim \_{\operatorname {Haus} }(X)=\sup \_{i\in I}\dim \_{\operatorname {Haus} }(X\_{i}).}
此結果可以直接利用定義驗證。

如果X,Y是兩個非空度量空间，那麼其積的郝斯多夫維度滿足

{\displaystyle \dim \_{\operatorname {Haus} }(X\times Y)\geq \dim \_{\operatorname {Haus} }(X)+\dim \_{\operatorname {Haus} }(Y).}
上式的嚴格不等號是可能成立的，例如可以找到兩個維度是0的集合，其積的維度是1 。

在另一個方向，有個著名的結果是如果{\displaystyle X,Y\subseteq \mathbb {R} ^{n}}是博雷爾集，則其積的郝斯多夫維度有上界：X的郝斯多夫維度加上Y的上填充維度，此結果在Mattila (1995)討論.

计算
--

豪斯多夫维数是不容易直接计算的，一般的可以通过**计盒维数**（Box-counting dimension）估计到它的一个上界，而且可以通过**局部维数**（点维数，Local dimension）估计到它的一个下界。

自相似集的維數
-------

對於许多由自相似條件定義的碎形，其郝斯多夫維數可以依據以下的理論得出。其中一集合E是自相似的如果存在壓縮映射

{\displaystyle \psi \_{i}:\mathbf {R} ^{n}\rightarrow \mathbf {R} ^{n},\quad i=1,\dots ,m}
使得

{\displaystyle A=\bigcup \_{i=1}^{m}\psi \_{i}(A),}
{\displaystyle H^{s}\left(\psi \_{i}(E)\cap \psi \_{j}(E)\right)=0,\quad 1\leq i<j\leq m.}
事實上，如果{\displaystyle \psi \_{i}}都是压缩映射，那麼存在唯一的非空緊緻集合A滿足上上式。這個定理可將巴拿赫的巴拿赫不动点定理應用在完备度量空间（{\mathbb {R}}^{n}的非空緊緻子集和郝斯多夫距離）。

### 開集條件

為了計算某些特定情況時的郝斯多夫維數，我們需要定義開集條件（open set condition 簡稱 OSC）：我們說映射{\displaystyle \psi \_{i},\,i=1,\dots ,m}滿足開集條件如果非空有界開集V使得

{\displaystyle \bigcup \_{i=1}^{m}\psi \_{i}(V)\subseteq V,}
其中上式聯集的{\displaystyle m}個集合兩兩不相交。

開集條件是為了確保V沒有「太小」時，{\displaystyle \psi \_{i}(V)}不要重疊「太多」，從而{\displaystyle \psi \_{i}(A)}不要重疊「太多」（其中{\displaystyle \textstyle A=\bigcup \_{i=1}^{m}\psi \_{i}(A)}）。接著我們給出計算維數的定理：

**定理**. 假設壓縮映射{\displaystyle \psi \_{i},\,i=1,\dots ,m}滿足開集條件，並且其縮放比例分別為{\displaystyle r\_{1},\dots ,r\_{n}\in (0,1)}。則對於唯一滿足{\displaystyle \textstyle A=\bigcup \_{i=1}^{m}\psi \_{i}(A)}的集合，其郝斯多夫維數s滿足

{\displaystyle \sum \_{i=1}^{m}r\_{i}^{s}=1.}
利用此定理，我們就可以簡單的算出一些集合的郝斯多夫維數，例如康托爾集的郝斯多夫維數s滿足

{\displaystyle \left({\frac {1}{3}}\right)^{s}+\left({\frac {1}{3}}\right)^{s}=1,}
從而{\displaystyle s=\log \_{3}2}。

參考資料
----

1. ↑  Marstrand, J. M.. Proc. Cambridge Philos. Soc. 1954, **50** (3): 198–202. Bibcode:1954PCPS...50..198M. doi:10.1017/S0305004100029236.
2. ↑  Falconer, Kenneth J.. John Wiley & Sons, Inc. Hoboken, New Jersey. 2003.
3. ↑  Falconer, K. J.. . Cambridge, UK: Cambridge University Press. 1985. ISBN 0-521-25694-1.
4. ↑  Hutchinson, John E.. Indiana Univ. Math. J. 1981, **30** (5): 713–747. doi:10.1512/iumj.1981.30.30055.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
 |
| --- |
|  |
| 特性 | 
* 分形维数
	+ Assouad 维数（英语：）
	+ 关联维数（英语：）
	+ 豪斯多夫维数
	+ 计盒维数
	+ 填充维数（英语：）
	+ 拓撲維數
* 递归
* 自相似

 | An image of a fern which exhibits affine self-similarity.Barnsley fern（英语：） |
|  |
| 迭代函数系统 | 
* 巴恩斯利蕨葉（英语：）
* 康托尔集
* 龍形曲線
* 科赫雪花
* 门格海绵
* 谢尔宾斯基地毯
* 謝爾賓斯基三角形
* 空間填充曲線（英语：）
* T型方間（英语：）
* 魏尔斯特拉斯函数
* 
* 萊維C形曲線
* 希爾伯特曲線

 |
|  |
| 奇異吸子 | 
* 多重分形系統（英语：）

 |
|  |
| L系統 | 
* 分形灌木（英语：）
* H树
* 空間填充曲線（英语：）

 |
|  |
| 逃逸時間分形 | 
* 曼德博集合
* 朱利亚集合
	+ 朱利亚填充集合（英语：）
* 李亞普諾夫分形（英语：）
* 牛頓分形（英语：）
* 燃燒巨輪分形（英语：）
* 三角帽分形（英语：）

 |
|  |
| 渲染技术 | 
* 佛像分形
* 轨迹陷阱（英语：）
* Pickover 杆（英语：）

 |
|  |
| 隨機分形 | 
* 布朗运动
	+ 布朗樹（英语：）
	+ 布朗馬達
* 分形地形（英语：）
* 擴散限制凝聚（英语：）
* 萊維飛行（英语：）
* 曼德尔盒（英语：）
* 曼德尔球
* 渗流理论
* 自避行走

 |
|  |
| 學者 | 
* 格奥尔格·康托尔
* 费利克斯·豪斯多夫
* 加斯東·朱利亞（英语：）
* 海里格·馮·科赫
* 保羅·皮埃爾·萊維
* 亞歷山大·李亞普諾夫
* 本華·曼德博
* 劉易斯·弗雷·理查森（英语：）
* 瓦茨瓦夫·谢尔宾斯基

 |
|  |
| 其他相關 | 
* 《英國的海岸線有多長？統計自相似和分數維度》
	+ 海岸線悖論（英语：）
* 以豪斯多夫維數排列的分形列表（英语：）
* 《分形之美（英语：）》 (1986)
* 分形艺术（英语：）
* 《混沌学传奇（英语：）》 (1987)
* 《大自然的分形几何学》 (1982)
* 分形压缩
* 仿射变换

 |

 |