填充維度

數學中 ，填充维度是一種可用于定义度量空间中子集之维度的概念。某種程度上，填充維度和郝斯多夫維度是對偶的，因為填充維度是利用「填充」給定的子集來定義，而郝斯多夫維度是利用「覆蓋」給定的子集來定義。填充維度C.Tricot Jr.在1982年引入。

定義

设${\displaystyle (X,d)}$ 是度量空間且${\displaystyle S\subseteq X}$ ，那麼對${\displaystyle s\geq 0}$ ，定義${\displaystyle S}$ 的${\displaystyle s}$ 維的填充前測度（packing pre-measure）為

${\displaystyle {\displaystyle P_{0}^{s}(S)=\limsup _{\delta \downarrow 0}\left\{\sum _{i\in I}\mathrm {diam} (B_{i})^{s}\left|{\begin{matrix}|I|\leq |\mathbb {N} |,\\{{\text{球}}\;\;B_{i}\cap B_{j}=\varnothing \;\forall i,j\in I},\\{\text{diam}}(B_{i})\leq \delta ,B_{i}{\text{ 的 圓 心 }}\in S\;\forall i\in I\end{matrix}}\right.\right\}.}}$ 

上式只是一个前測度，而非真正的测度，${\displaystyle S}$ 的${\displaystyle s}$ 維填充測度的定義是

${\displaystyle {\displaystyle P^{s}(S)=\inf \left\{\left.\sum _{j\in J}P_{0}^{s}(S_{j})\right|S\subseteq \bigcup _{j\in J}S_{j},|J|\leq |N|\right\},}}$ 

即填充測度是其可數個覆蓋的填充前測度和的最大下界。

如此一來，${\displaystyle S}$ 的填充維度定義為

${\displaystyle {\begin{aligned}\dim _{\mathrm {P} }(S)&=\inf \left\{s\geq 0|P^{s}(S)=0\right\}\\&=\sup\{s\geq 0|P^{s}(S)=+\infty \}.\end{aligned}}}$ 

示例

以下示例是填充維度與郝斯多夫維度不相等最简单的情况。

${\displaystyle (a_{n})}$ 考慮序列${\displaystyle (a_{n})}$ ${\displaystyle (a_{n})}$ ${\displaystyle (a_{n})}$ 使得${\displaystyle a_{0}}$ 且${\textstyle 0<a_{n+1}<a_{n}/2}$ 。定義一系列的緊緻集${\textstyle E_{0}\supset E_{1}\supset E_{2}\supset \cdots }$ 如下：

• 設${\textstyle E_{0}=[0,1]}$ 。
• 對每個${\textstyle E_{n}}$ （${\displaystyle n\in \mathbb {N} }$ ）的線段，去除中間長為${\textstyle a_{n}-2a_{n+1}}$ 的開區間，以得到兩個長為長為${\textstyle a_{n+1}}$ 的閉區間。

現在定義${\textstyle K=\bigcap _{n\in \mathbb {N} }E_{n}}$ 。可以證明

${\displaystyle {\begin{aligned}\dim _{\mathrm {H} }(K)&{}=\liminf _{n\to \infty }{\frac {n\log 2}{-\log a_{n}}}\,,\\\dim _{\mathrm {P} }(K)&{}=\limsup _{n\to \infty }{\frac {n\log 2}{-\log a_{n}}}\,.\end{aligned}}}$ 

容易知道對給定的數${\displaystyle 0\leq d_{1}\leq d_{2}\leq 1}$ ，我們可以取序列${\displaystyle (a_{n})}$ 使得上面兩個維度分別是${\textstyle d_{1},d_{2}}$ 。

參見

• 郝斯多夫维度
• 計盒维度

参考資料

• Tricot, Jr., Claude. Two definitions of fractional dimension. Mathematical Proceedings of the Cambridge Philosophical Society. 1982, 91 (1): 57–74. doi:10.1017/S0305004100059119.