引理及其应用.PDF

Sperner 引理及其應用 潘建強 邵慰慈 一. 背景 1911年, L. Brouwer [3] 發表了一個著名的不動點定理 , 它對分析、 拓樸等多方面都有深 刻的影響。 此定理表述為: 對任意一連續函數 f : Bn → Bn , 其中 Bn 是 n 維球體, 則 f 必定在 Bn 中存在著不動 點 (即存在 x ∈ Bn 使得 f (x) = x) 。 在一維的情況下, B1 即是實數線上的一個閉區間 [a, b] , 其中 a b。 我們很容易由中間 值定理 (Intermediate value theorem) 得出上述結果。 可是在高維度的情況下, 就必須應用 較為成熟的數學方法來證明。 1928年, 一位年輕的德國數學家 E. Sperner (當時他只得 25 歲) 發現了一個相當簡單 的證明, 他利用 合學的方法證明了 Brouwer 不動點定理 (見 [1, 7]) 。 他的證明可說是相 當優美, 其應用也不單於此。 本文將簡單介紹 Sperner 引理及應用它去證明對 Brouwer 不動 點定理在二維空間中的情況 (讀者可利用數學歸納法由二維情況推廣到高維的情), 同時亦應用 Sperner 引理證明一則數學遊戲必存在唯一的勝方和在帶寬問題上的一則應用。 在證明這些結論的過程中, 我們必須要利用一些圖論的知識, 有興趣的讀者可參考 [2] 或 其他圖論的書。 二. Sperner 引理及其證明 Sperner 引理 [7]: 給定一個 ‘大’ 三角形 V V V , 並將它三角化 (把它畫分成有限 多個 1 2 3 較 ‘細’ 的三角形且每個 ‘細’ 三角形的邊都是 另一個 ‘細’ 三角形的邊或落在 ‘大’ 三角形的邊 上)。 若將各頂點以下述的規定標記 : • 頂點 Vi 的標號為 i, i = 1, 2, 3; 42 Sperner 引理及其應用 43 • 在 V V 邊上的頂點只可以用 i 或 j 作為標號 ; i j 3 V3 • 不在 ‘大’ 三角形邊上的頂點可隨意以 1, 2 或 1 3 作為標號 ; 則至少存在一個 ‘細’ 三角形其三個頂點的標號分別 3 3 2 為 1, 2 及 3。 1 3 2 右圖是一個已標號的三角化三角形的例子。 劃 1 3 1 上陰影的 ‘細’ 三角形就是 Sperner 引理結論中所 V1 V2 說的三角形。 1 2 2 1 2 要證明這個引理是不太因難的, 我們只須以下一個引理 , 這個引理在一般的圖論書上是第 一個出現的定理 , 我們不妨稱它為握手引理。 握手引理: 設 G 為一圖