跳至內容

水平集

維基百科,自由的百科全書

數學領域中, 一個具有n變量的函數f水平集是具有以下形式的集合

{ (x1,...,xn) | f(x1,...,xn) = c }

其中 c 是常數. 即, 使得函數值具有給定常數的變量集合.

當具有兩個變量時, 稱為水平曲線(等高線), 如果有三個變量, 稱為水平曲面, 更多變量時, 水平集被叫做水平超曲面.

集合

{ (x1,...,xn) | f(x1,...,xn) ≤ c }

被稱為 f子水平集 .

其他名字

[編輯]
三葉扭結(trefoil knot)的水平曲線 . 紅色曲線距離觀察者最近, 黃色曲線距離觀察者最遠.
一個以不同方式表達的三頁扭結.

水平集具有很多重要的應用, 在不同的應用領域通常具有不同的名稱.

例如, 水平曲線也被叫做隱式曲線(implicit curve)用來強調曲線是由隱函數(implicit function)定義的. 有時也使用等高線(isocontour)的名稱, 表示一個具有相同高度(函數值)的輪廓. 在不同的應用領域, 等壓線(isobar), 等溫線(isotherm), 同風向線(isogon), 等時線(isochrone)都屬於等值高線.

相應的, 水平曲面有時被叫做隱式曲面(implicit surface)或等值曲面(isosurface).

最後, 更加一般的水平集被叫做纖維(fiber).


例子

[編輯]

例如, 指定一個半徑 r, 圓的方程可以定義為一個等高線.

r2=x2 + y2

如果取 r=5, 那麼等高值為 c=52=25.

所有使得 x2 + y2=25 的點 (x,y) 構成了它的等高線. 這就是說他們屬於等高線的水平集. 如果 x2 + y2 小於 25 這個點 (x,y) 就在等高線的內部. 如果大於 25 , 這個點就在等高線外部.

水平集與梯度

[編輯]
考慮一個山形函數. 藍色曲線是它的水平集. 紅色曲線沿着梯度的方向. 換句話說, 保守的旅行者走的是藍色路徑, 大膽的旅行者走的是紅色路徑.

定理. 函數f在一點處的梯度與在該點處 f 的水平集垂直.

這個定理是十分不尋常的. 為更好的理解定理的含義, 設想兩個旅行者在一座山峰的同一位置.其中一個人很大膽, 決定從坡度最大的地方走. 另一個人比較保守; 他不想向上爬, 也不想走下去, 選擇了一條在同一高度的路. 上面的定理就是說, 這兩個旅行者相互離開的方向是互相垂直的.

證明. 設所考慮的點為 x0 . 通過點 x0 的水平集是 {x | f(x) = f(x0)}. 考慮一條通過點x0並且屬於水平集的曲線 γ(t) , 不妨假設 γ(0) = x0. 從而得到

使用鏈式法則, 在 t = 0 處微分. 我們發現

同時, fx0 處的雅可比行列式 等於 f 在點 x0 的梯度.

因此, f 在點 x0 處的梯度與曲線在該點處的切線 γ′(0) 垂直. 由於曲線 γ(t) 是任意的, 因而斷定梯度與水平集垂直. Q.E.D.

這一定理的直接推論是, 如果水平集穿過其自身 (不是一個光滑子流形超曲面) 那麼梯度向量在所有交叉點處一定是零. 那麼, 每個交叉點都是f臨界點.

更多

[編輯]

參考資料

[編輯]