布勞威爾不動點定理：函數 f(x)=x 存在性證明

問題重述

給定連續函數 f: [0,1] → [0,1]，滿足 f(0) > 0、f(1) < 1，證明存在 x₀ ∈ [0,1] 使 f(x₀) = x₀。

核心定理：布勞威爾不動點定理

設 Dⁿ 為 n 維閉單位球，f: Dⁿ → Dⁿ 為連續映射，則 f 至少有一個不動點，即存在 x₀ ∈ Dⁿ 使 f(x₀) = x₀。

一維情況直觀證明

1. 定義輔助函數 g(x) = f(x) - x
2. g(0) = f(0) - 0 > 0
3. g(1) = f(1) - 1 < 0
4. g 在 [0,1] 上連續（f 連續，x 連續）
5. 由介值定理，存在 x₀ ∈ (0,1) 使 g(x₀) = 0，即 f(x₀) = x₀

幾何直觀

繪圖 y = f(x) 與 y = x 在單位正方形內，連續曲線從左上方（f(0)>0）進入，右下方（f(1)<1）退出，必穿過對角線 y=x。

擴展應用

• 博弈論：納什均衡存在性證明
• 經濟學：市場均衡價格存在性
• 微分方程：周期解存在性
• 計算機科學：遞歸函數語義學、程序驗證

參考資源

百度百科：布勞威爾不動點定理