處處連續，卻又處處破碎
在前一篇指南裡，你把布朗運動建構成隨機漫步的連續極限：以恰到好處的方式把時間步長與跳躍大小一起縮小，那條鋸齒狀的階梯就會融化成一條連通不斷的曲線 W(t)。這個極限交給你兩個看似互相矛盾的事實。第一，這條路徑是連續的——沒有跳躍、沒有缺口；你真的可以不抬筆就把它一筆畫出來。第二，這條路徑是處處不可微的——在任何一個瞬間，它都沒有定義良好的斜率、速度或切線。讓這件事沉澱一下：一條你能一筆畫出的曲線，卻在每一個點上都有一個尖角。
為什麼非得如此？回想一下，跨越一小段時間間隔 h 的增量具有高斯大小：W(t+h) - W(t) ~ Normal(0, h)，所以它的典型大小是標準差，量級為 sqrt(h)。那個本想當作導數的量是比值 (W(t+h) - W(t)) / h，其典型大小是 sqrt(h)/h = 1/sqrt(h)。當 h 縮向零時，1/sqrt(h) 會爆炸到無窮大。一個微小窗口上的斜率不會穩定到某個數——它會爆掉。沒有極限，也就沒有導數。正是那個讓路徑連續的尺度律（大小為 sqrt(h) 的步伐），恰恰也是讓它不光滑的原因（大小為 1/sqrt(h) 的斜率）。
自相似：每一次放大都長得一樣的碎形
為什麼是處處有尖角，而不只是某處有？因為不論你放大多少倍，這條路徑在統計上看起來都一樣。這就是布朗運動的自相似性，而且它有一條精確的尺度律。如果你把路徑的時間以倍數 c 重新縮放，你必須把空間以 sqrt(c) 重新縮放，才能還原出同一種過程：重新縮放後的路徑 W(c*t)/sqrt(c) 又是一個標準布朗運動。把時鐘加速 100 倍、把縱軸縮小 10 倍，新的圖在統計上就跟原圖無從分辨。
Standard Brownian motion is self-similar:
W(c*t) / sqrt(c) has the same law as W(t)
Time stretches by c <--> space stretches by sqrt(c)
(this is the same sqrt-of-time scaling as Var(W(t)) = t)對一個碎形來說，自相似性的意思正是如此：放大路徑上任何一個微小切片，用這對相互匹配的因子重新縮放它，你看到的曲線就跟整體有著一樣的抖動性格。底下並沒有潛藏著某個光滑的尺度——沒有任何一個放大倍率能讓鋸齒平滑成一條漂亮的直線，不像圓在顯微鏡下終究會看起來是直的。粗糙性在每一個尺度上同時存在。這就是為什麼每一個點都是尖角：把每一個點放大，都會顯露出與整條路徑一樣的抖動風暴。
無窮的抖動：長度、變差與二次變差
這一切抖動對「長度」造成了一個驚人的後果。取任何一段時間區間，比如 [0, 1]，試著去量筆尖實際沿著路徑走了多遠——它上上下下的總距離，數學家稱之為全變差。對一條布朗路徑而言，這個量是無窮大。在 [0, 1] 上，這條曲線走過的總距離是無窮的，儘管它從未離原點太遠（它的值維持在量級 1）。這條路徑藉由在每一個尺度上同時抖動，把無界的運動量塞進了一塊有界的區域。
但這裡有一個深刻的轉折，下一篇指南會把它當作整篇的主題。如果普通的長度（增量絕對值的總和）是無窮，那就改試試增量平方的總和——也就是二次變差。把 [0, t] 切成 n 個微小片段，把每一片上的 (W 的變化量)^2 加起來。對一個光滑函數而言，這個量會縮向零（把微小的東西平方會讓它更微小）。對布朗運動而言，它不會消失：它以機率 1 收斂到 t，也就是區間的長度。增量的一次方發散到無窮；它的二次方卻收斂到一個有限而精確的值。
這一個事實——布朗運動在 [0, t] 上的二次變差恰好等於 t——是整個隨機微積分賴以旋轉的樞紐。它正是普通微積分對這些路徑失效的原因，也是一套新微積分（伊藤的）既必要又可能的原因。我們在這裡不證明它；下一篇指南會專門講它。現在，只要把這個結果奇異的形狀記在心裡：一條粗糙到長度無窮的曲線，卻又規律到「平方抖動的總和」恰恰落在 t 上。
路徑的秘密生活：零點、紀錄與反正弦的驚奇
單一條樣本路徑的精細結構藏著更多驚奇。看看路徑恰好回到零的那些時刻所構成的集合。你也許會猜這些零點像孤立的點那樣零星散布。事實上它們構成一團奇異的塵埃：在緊鄰某個零點的任何區間裡都有無窮多個零點，然而它們不含任何一整段實心的時間——任兩個零點之間，總有一段路徑嚴格為正或嚴格為負的縫隙。這個零點集是不可數的、總長度為零、本身就是一個碎形。路徑一碰到零，立刻就無窮多次地來回穿越，因為那個殺死導數的 1/sqrt(h) 爆炸，同樣讓路徑在它造訪的任何點附近瘋狂地震盪。
現在來看一個違反直覺到該出名的結果：反正弦律。在區間 [0, 1] 上，問路徑有多少比例的時間待在零點之上（正的那一側）。你的直覺會大喊：「大約一半吧——畢竟它是對稱的。」錯了。待在正側的時間比例，最有可能落在接近 0 或接近 1 的地方，而最不可能接近 1/2。典型的布朗路徑並不會把時間平均分配在兩側；它傾向於認定其中一側，並在那一側逗留整段區間的大部分時間。正側比例小於 x 的機率服從反正弦分配，其密度在 0 與 1 這兩端堆積起來。
它能漲到多大？重對數律
最後一塊幾何釘住了路徑的包絡線——隨著時間增長，它的上下擺幅有多大。我們知道時刻 t 的典型大小是 sqrt(t)，因為 Var(W(t)) = t。但路徑是隨機的，所以它有時會超出。它能在 sqrt(t) 之上飄多遠，而且一次又一次、永遠如此？答案精確得驚人。重對數律說，隨著 t 增長，W(t) 會持續輕觸包絡線 sqrt(2 * t * ln(ln(t)))——它無窮多次碰到那條邊界，卻幾乎從不真正越過它。相對於典型的 sqrt(t)，那個多出來的因子 sqrt(2 * ln(ln(t))) 很小、而且漲得慢得令人發指，但它精確刻畫了路徑最大的反覆遠遊所能達到的天花板。
值得停下來體會這有多銳利。重對數律不只是給路徑一個界限；它給出了精確的常數。平方根裡的數字 2 不是個鬆散的估計——路徑會一次又一次任意逼近 sqrt(2 * t * ln(ln(t)))（所以任何更小的包絡線都會被無窮多次突破），然而對於任何常數大於 2 的包絡線，路徑最終會永遠待在它之下。這跟前幾個階段的強大數法則是同一種風味的結果：一個關於那條個別的隨機路徑本身、以機率 1 成立的陳述，而不只是在平均意義上成立。
退一步，把這頭生物整個看清。一條布朗路徑連續卻處處不可微；在每一個尺度上自相似、是碎形；普通長度無窮，但二次變差有限且等於 t；它的零點是一團長度為零的碎形塵埃；它的時間被反正弦律不平均地分配；它的增長被重對數律精確地圍起。這一切都不合於普通微積分裡的光滑曲線——在那裡，相對於 dt 而言平方項可以丟掉、被視為可忽略。這個格格不入並不是缺陷——它是入口。在下一篇指南裡，我們會透過二次變差把這個格格不入講精確，接著建起一套量身打造、正是為了這種幾何的伊藤微積分。