从效能的观点谈存在性及唯一性-LCWangPress.PDFVIP

從效能的觀點談存在性及唯一性 王立中 二○一一年五月三十 日 摘摘摘要要要 在 第1節中 ，我們從邏輯 、常識及數學的觀 點來討論 空集的下確界 。在 第2 節中 ， 建 存在 、歸謬存在 、假設存在 。若可能 ，存在應 以最有 我們將存在性劃分為三類 ： 效的算法建 。超幾何方程之解可表為級數或積分 。兩種表法皆屬建 存在 ，但計算 超幾何函數之值 ，以級數表法為佳。此乃 因前一算法較有效。 方法解 ：首先考慮一特殊類型的微分方程 。若其積分解乃基於猜測 、運 氣、嘗試與錯 誤 ，無法得知被積 函數從何而來 ，僅能用代入法證其為解 ，則此未開發解算不得 方法 解 。假設 同一方程 亦屬範圍較廣 的Laplace 型微分方程 。兩相對照，其積分解可用 系 統方法建 。事實上 ，被積 函數及積分路線可用 Laplace 變換 式來確 定。因此 ，後一 解較前一解有方法。 若存在之 導得 只 需簡單手續 ，則稱 此存在 為近存在 ；若存在之 導得 需複雜手續 ，則 稱 此存在 為遠存在 ，無論 它是建 存在 、歸謬存在 、假設存在 。我們將 用割 圓整數 (cyclotomic integers) 之質因數分解的存在性作為建 存在 的例子。在此例中 ，我們將 揭示當除數 (divisors) 一般化為理想(ideals) 時 ，如何保存對除數可除測試的有效性。 在 回顧在各種條件下建 真實或理想的質因子的整個過程後 ，我們發現 當建立最一般 化 的定理作為最後結果時 ，我們僅保存了效能最差的方法，而遺漏 了其他在途 中對特 殊例子所設計 的較為有效的方法。因而理論 的高潮往往只是對論題的ㄧ偏之 見或過度 簡化 。所 以數學應 強調方法而非理論 。建 存在 的強度 (strength) 乃取 決於所用的建 工具 。如何改進建 的效能 ：降低嘗試與錯誤 的層次 、弄清何事能做何事不能做 、 儘可能減少答案中的未知成分 。歸謬存在 源 自將不可能的情況從考慮 中移 除。建 存 在 可估計 ，而歸謬存在 不可估計 。令 {αi ∈ R|i ∈ I } ∅。則 supi∈I αi 之存在為歸謬 存在 [Rudin [36, p.11, l.−17–l.−16]] 。我們無法知其在數線上的位置。而且當我們 蒐集 更 多的元 α (i ∈ J ⊂ I ) 並找 出 sup α ，這手續對縮小 sup α 的搜 索範圍卻 毫 i i∈J i i∈I i 無助益。依據 Fomin–Gelfand [12, p.198, Theorem] 中的證明 [Ritz 方法] ，易作其電腦 模擬 ，然而依據 Coddington–Levinson [3, p.197, l.7–l.8] 中之命題的證明則不然。此乃 因在後一證明中 ，每一特徵值之存在均得 自歸謬論證 。假設存在 的來源 ：欲描述數學 物件 的一般性質需先假設其存在 、由公設提供 、集中注意於數學結構 、為顧及邏輯 完 備 的權 宜之計 、關係式在特殊情況可用有效方法得 出證明 ，但在一般情況不易證明 ， 為便於討論一般情況，我們假設 關係式成立 ；在低層次雖無通則 ，但在 高層次確 具有 趣理論 。由選擇公理 (the axiom of choice) 所產生 的存在為假設存在 。我們應儘可能 避免使用選擇公理 。在 第3 節中 ，我們討論一般化對存在性及唯一性的影響 。在 第4 節 中 ，我們 討論如何有效地證明唯一性 、如何將唯一性的證明精緻化 、為何唯一性會 1 不成立 ；然後探討一些與唯一性有 關的問題 。用能量積分證明 「有 關波動方程的混合 題」的唯一性強而有力地 支持我們 用哈 密爾敦量建