從探測到重新定義
上一篇指南留給我們一個抱怨和一條線索。抱怨是：普通函數無法描述一個點源，當它有尖角時無法安全地求導，並且在偏微分方程不斷取的那種極限中分崩離析。線索則是一個習慣的改變——我們不再問「u 在點 x 的值是多少？」，而是約定只問「u 對一個平滑、性質良好的權重所取的加權平均是多少？」。這篇指南把那個習慣化為一台精確的機器。那些平滑的權重有了名字，叫試驗函數；我們用它們去探測的對象也有了名字，叫分布。
貫穿底下一切的心像，是一支測量探針。試驗函數是你壓向某個未知對象的理想化探針；對象以一個數作答，也就是它對那支探針的平均。如果你有夠多的探針——夠多的形狀、夠多的位置、夠高的銳利度——那整張答案清單就能把對象完全釘死。我們從不直接看那個對象；我們永遠只透過探針去讀它。正是這份自我克制，替我們換來了「能對尖角求導、能讓一個尖峰說得通」的自由。
什麼樣的函數才是好探針
試驗函數是一個實值函數 phi，它服從兩條嚴格的要求。第一，它是無窮平滑的：你想求幾次導數就求幾次，永遠碰不到尖角或跳躍——也就是分析學家所說的 C-無窮。第二，它有緊支撐：phi 在某個有界區間之外精確為零，所以在遠處的每一處它都真正是零（而不只是很小）。這兩條要求互相拉扯，這就是為什麼當你第一次遇見時，連一個這樣的函數都存在這件事都會讓人吃驚。
為什麼兩條都要？平滑是賄賂：因為 phi 擁有它所有的導數，我們稍後就被允許把每一個需要的導數，從那個粗糙對象身上，丟到 phi 安全的肩膀上——這正是讓尖角擁有導數的把戲。緊支撐是安全網：當我們做分部積分把一個導數搬過去時，剩下的邊界項落在定義域的邊緣，而一個在那裡平坦為零的探針，會讓那些項毫不費力地消失。一個只是平滑、卻只緩慢衰減的探針，會留下邊界的殘渣；緊支撐把它一掃而空。
分布是一條規則，不是一張圖
現在來那個大膽的一步。分布被定義為試驗函數上的一個連續線性泛函：一條規則 T，它接受任意探針 phi，回傳一個數，記作 T(phi)，或依長久的傳統用角括號寫成 < T, phi >。「線性」是說它尊重和與純量，< T, a phi + b psi > = a < T, phi > + b < T, psi >，所以探測一個組合，等同於把探測的答案組合起來。「連續」是說：若一列探針乖乖地安頓下來，它們的答案也跟著安頓下來——沒有狂野的跳躍。這就是整個定義。分布不是一張數值的圖；它是「對每一支探針進行測量」這個動作本身。
令人安心的是，這個重新定義什麼都沒丟掉——每一個普通函數本來就是喬裝的分布。取任意合理的函數 f（任何你能在局部積分的東西）。它誘導出一條規則：餵給它一支探針 phi，讓它以積分 < f, phi > = integral of f(x) phi(x) dx 作答。這正是開頭那一節的加權平均。這條規則是線性且連續的，所以 f 是一個完全合格的分布。不同的 f 給出不同的規則，所以沒有任何資訊被丟棄。這個新世界嚴格大於舊世界，絕不會更小——這正是廣義函數所需要的性質。
而這個新世界容得下沒有任何普通函數能扮演的對象。頭號範例是狄拉克 δ：用所能想像最簡單的規則定義 delta，< delta, phi > = phi(0)。它讀出探針在原點的值，其餘什麼都不報告。沒有任何函數，其對每一個 phi 的積分都等於 phi(0)——然而作為一條規則，它無瑕地線性且連續，所以它是一個合法的分布。古典函數盛不下的那個點源，在這套語言裡，不過是現存最簡單的求值規則而已。下一篇指南會把 delta 徹底拆開；在這裡，它充當「新世界確實更大」的證明。
從一條規則上能讀出什麼
甚至在對任何東西求導之前，泛函的視角就已悄悄把你會用到的運算交到手上。要把一個分布往右平移 a，你改而把探針往左平移：< T(. - a), phi > = < T, phi(. + a) >。要縮放它，你就縮放探針。模式永遠相同——你無法伸手進入 T 內部，因為根本沒有內部，所以你作用在探針上，讓定義把運算搬過去。這個「把它搬到試驗函數身上」的反射動作，是整套理論裡最重要的一個習慣，也正是下一篇指南能讓我們定義導數的關鍵。
你也仍然能問一個分布「住在哪裡」，即使它沒有圖。它的支撐大致是：在其外、對每一個在它附近為零的探針 T 都回傳零的那個最小閉集——也就是這條規則真正感受得到的區域。對 delta，支撐是單一點 {0}：用任何在原點附近為零的 phi 去探測它，你得到 phi(0) = 0。對一個老實的函數，支撐就是它非零之處的閉包。於是「集中在一點」成了一個乾淨、可證明的陳述，而不是一句空話。
test function phi : smooth (C-infinity) AND zero outside a bounded set bump example : phi(x) = e^(-1/(1 - x^2)) on (-1,1), else 0 distribution T : a continuous LINEAR rule phi |-> < T, phi > (a number) ordinary f as T : < f, phi > = integral of f(x) phi(x) dx Dirac delta : < delta, phi > = phi(0) (no such function f) shift by a : < T(.-a), phi > = < T, phi(.+a) > (act on the probe)
理論誠實的邊界
三個但書讓你不至於說過頭。第一，一般而言你無法把兩個分布相乘。把 delta 平方、寫成「delta^2」，沒有意義，而試圖誠實地定義分布的乘積，正是許多天真的計算出錯之處——這是一個真正的限制，不是暫時的缺口，也是非線性偏微分方程之所以遠比線性難的深層原因。你可以安全地把一個分布乘上一個平滑函數，但不能乘上另一個分布。
第二，並非每一個分布都生來就能駕馭傅立葉轉換。D 裡的隆起探針容許在無窮遠處狂野地成長，代價是傅立葉轉換可能無法停留在同一個世界裡。為了得到一套傅立葉理論，我們拿緊支撐去換快速衰減，改用 Schwartz 函數作探針，與緩增分布打交道——這正是本階第四篇指南的全部主題。所以你挑選的分布空間並非萬用尺寸；你依任務挑選探針空間。
退一步看，回報已經清晰可見。我們連一條偏微分方程都還沒解，卻已經把「函數」重建在一個基礎上：它毫不費力地容納一個點源，免費附帶平移、縮放與支撐，而且——關鍵在於——全程由平滑的探針來值勤，我們可以把任何想要的導數都倒到它們身上。最後這個事實是替下一篇指南上緊的彈簧——在那裡，把一個導數搬到探針上，會把即使是非古典的、有尖角的、或奇異的對象，變成你想求幾次導就求幾次的東西。