布朗零集及其豪斯多夫維度(Brownian zero set and its Hausdorff dimension)
/ Hausdorff: HOWS-dorf /
布朗運動在何處等於零?零時刻之集合 Z = { t >= 0 : B_t = 0 } 是機率中最醒目的碎形之一:它是閉的、沒有孤立點(即完備集 perfect)、不含任何區間(勒貝格測度為零),卻又是不可數的。它看起來像時間軸上的一個隨機康托集,其大小不由長度、而由豪斯多夫維度來刻劃。
精確的事實:Z 幾乎必然是一個閉的、完備的、無處稠密的、勒貝格測度為零的集合,其豪斯多夫維度恰為 1/2。豪斯多夫維度把「維度」推廣到碎形:對尺規 h(r) = r^s,問 s 維豪斯多夫測度(在以直徑 r_i 之集合所成覆蓋上,sum of h(r_i) 的下確界)何時有限或為零;它從無窮跳到零的臨界指數 s 即為維度。對 Z,此臨界 s 為 1/2,反映 sqrt-尺度律 B_(c t) =d sqrt(c) B_t:把時間解析度加倍只會使零點數量變為四倍,正是半維集的標誌。零點立即聚集:0 是右側零點的極限,且每個零點周圍都有無窮多其他零點。其幾何由漂程理論組織——Z 的補集是可數多個開漂程區間的並——而 0 處的局部時是 Z 上自然的「測度」,僅在 Z 上增長、在 Z 外保持平坦。
重要性:半維零集是碎形樣本路徑幾何的原型,同樣的想法給出布朗圖的維度(3/2)、d 維中的值域/像、二重點集合、以及快點的多重碎形譜。它解釋了最後過零的反正弦律(零集聚集於端點附近),並且是漂程理論與 Ray-Knight 定理展演的舞台。誠實的提醒:「維度 1/2」「並不」意味「一半的點」或正的長度——此集長度為零;維度是更精細的碎形尺規,而一個測度零的集合仍可不可數且結構豐富。
若你模擬布朗運動並放大任一個零點,看到的不是孤立的穿越,而是在每個尺度上一團無窮的更多零點——每個放大倍率下都是同樣的圖像,這正是維度 1/2 自相似集的標記。
零集是一個測度零、不可數的隨機康托集,其豪斯多夫維度恰為 1/2。
維度 1/2 不代表正長度——零集的勒貝格測度為零,卻不可數且完備;豪斯多夫維度是比長度更精細的尺規。