Bell, John Lane; Slomson, Alan B. Models and Ultraproducts: An Introduction [模型與超積:導論] reprint of 1974. Dover Publications. 2006 [1969]. ISBN 0-486-44979-3(英语).
Burris, Stanley N.; Sankappanavar, H.P. A Course in Universal Algebra [泛代數教程] Millennium. 2000 [1981] [2021-10-23]. (原始内容于2005-01-23) (英语).
四月 06, 2024
超積, 數學上, 英語, ultraproduct, 是常見於抽象代數和數理邏輯, 尤其模型論和集合論, 的構造, 是一族無窮多個结构之直積的商結構, 不過要求該族結構具有相同的表徵, 英语, signature, logic, 超冪, 英語, ultrapower, 則是中各因子為同一個結構的特殊情況, 舉例, 給定一個域, 可以用超冪構造出新的域, 超實數域便是實數域的超冪之一, 有一些出奇的應用, 可以寫出紧致性定理與完備性定理的優雅證明, 開斯勒, 英语, jerome, keisler, 的超冪定理, 從. 數學上 超積 英語 ultraproduct 是常見於抽象代數和數理邏輯 尤其模型論和集合論 的構造 超積是一族無窮多個结构之直積的商結構 不過要求該族結構具有相同的表徵 英语 signature logic 超冪 英語 ultrapower 則是超積中各因子為同一個結構的特殊情況 舉例 給定一個域 可以用超冪構造出新的域 超實數域便是實數域的超冪之一 超積有一些出奇的應用 用超積 可以寫出紧致性定理與完備性定理的優雅證明 開斯勒 英语 H Jerome Keisler 的超冪定理 從代數角度刻劃了 初等等價 此種語義概念 亞伯拉罕 魯濱遜和埃利亞斯 扎孔 Elias Zakon 用超結構及其單同態的表示來構造分析的非標準模型 使非标准分析理論得以發展 魯濱遜正是用緊致性定理開拓此分支 目录 1 定義 2 例子 3 沃希定理 3 1 實例 4 超冪的正極限 超極限 5 參見 6 參考資料定義 编辑超積的一般定義中 先選定指標集I displaystyle I nbsp 對應每個下標i I displaystyle i in I nbsp 的结构Mi displaystyle mathcal M i nbsp 具相同的表徵 英语 Signature logic 以及I displaystyle I nbsp 上的超濾子U displaystyle mathcal U nbsp 通常僅考慮I displaystyle I nbsp 為無窮集 且U displaystyle mathcal U nbsp 不為主超濾子的情況 即U displaystyle mathcal U nbsp 的元素有齊I displaystyle I nbsp 的全部餘有限子集 但無任何有限子集 原因是 在主超濾子的情況下 所得的超積只會與其中一個因子同構 並無新的性質 笛卡儿积 i IMi displaystyle prod i in I mathcal M i nbsp 上的代數運算 是逐點計 例如 對於二元運算 displaystyle nbsp a b i ai bi displaystyle boldsymbol a boldsymbol b i a i b i nbsp 然後 在笛氏積上 定義等价关系 displaystyle sim nbsp 使a b displaystyle boldsymbol a sim boldsymbol b nbsp 當且僅當 i I ai bi U displaystyle left i in I a i b i right in mathcal U nbsp 應當理解為 a displaystyle boldsymbol a nbsp 與b displaystyle boldsymbol b nbsp 在大多數位置相等 最後 所得的超積 是模 displaystyle sim nbsp 的商集 所以 該超積有時記為 i IMi U displaystyle prod i in I mathcal M i mathcal U nbsp 另一種看法是 在指標集I displaystyle I nbsp 上 定義一個有限可加的测度m displaystyle m nbsp 弱於一般可數可加的條件 僅取0 1 displaystyle 0 1 nbsp 二值 若A U displaystyle A in mathcal U nbsp 則稱m A 1 displaystyle m A 1 nbsp 否則稱m A 0 displaystyle m A 0 nbsp 然後在笛氏積中 兩個元素若在幾乎每個下標處皆相等 則視為等同 超積是如此生成的等價類的集合 其他關係 英语 relation mathematics 同理可作引申 R a1 an i I RMi ai1 ain U displaystyle R boldsymbol a 1 ldots boldsymbol a n iff left i in I R mathcal M i a i 1 ldots a i n right in mathcal U nbsp 其中 a displaystyle boldsymbol a nbsp 表示a displaystyle boldsymbol a nbsp 模 displaystyle sim nbsp 所屬的等價類 特別地 若每個Mi displaystyle mathcal M i nbsp 皆為有序域 則所得的超積亦然 所謂超冪 意思是所有因子Mi displaystyle mathcal M i nbsp 皆相等的超積 MI U i IM U displaystyle mathcal M I mathcal U prod i in I mathcal M mathcal U nbsp 也可以推廣到U displaystyle mathcal U nbsp 不為超濾子 而僅為I displaystyle I nbsp 上普通一個滤子的情況 此時所得的模型 i IMi U displaystyle prod i in I mathcal M i mathcal U nbsp 稱為約化積 英語 reduced product 例子 编辑超實數系是可數無窮多個 以自然數集編號 實數系的超積 其中所選的超濾子含有全部餘有限集 超實數系的大小次序擴展了實數之間的大小次序 例如 wn n displaystyle omega n n nbsp 的序列 wn displaystyle omega n nbsp 所在的等價類 記為超實數w displaystyle omega nbsp 比任意實數都要大 因為對於任意實數r displaystyle r nbsp wn displaystyle omega n nbsp 除有限項外皆比r displaystyle r nbsp 大 於是 w displaystyle omega nbsp 可以理解成無窮大數 類似地 可以定義非標準整數系 英语 nonstandard integer 非標準複數系 英语 nonstandard complex numbers 等 為相應標準結構的超積 又考慮以下例子 以便理解超積中關係的定義 設超實數ps displaystyle psi nbsp 為序列psn 2n displaystyle psi n 2n nbsp 所在的等價類 由於對每個n displaystyle n nbsp 都有psn gt n wn displaystyle psi n gt n omega n nbsp 在超積中 有ps gt w displaystyle psi gt omega nbsp 所以ps displaystyle psi nbsp 是較原先構造出的w displaystyle omega nbsp 更大的無窮大數 又考慮與wn n displaystyle omega n n nbsp 類似的序列 xn displaystyle chi n nbsp 令n 7 displaystyle n neq 7 nbsp 時 xn n displaystyle chi n n nbsp 但x7 8 displaystyle chi 7 8 nbsp 則雖然兩個序列 xn wn displaystyle chi n neq omega n nbsp 但兩者僅在有限個下標處不相等 故兩者相等的下標集合是超濾子的元素 因為是餘有限集 從而作為等價類 有w x displaystyle omega chi nbsp 大基数論中 有個標準構造是小心選取超濾子U displaystyle mathcal U nbsp 然後取整個集合論全類關於U displaystyle mathcal U nbsp 的超積 此時 U displaystyle mathcal U nbsp 的性質 對於所得超積的 高階 性質影響很大 例如 若U displaystyle mathcal U nbsp 可數完備 則相應的超積仍是良基的 該範例在可測基數 定義有提及 沃希定理 编辑沃希定理 英語 Los s theorem 又稱超積基本定理 英语 fundamental theorem 由耶日 沃希 英语 Jerzy Los 所證 波蘭語發音 ˈjɛʐɨ ˈwɔɕ 定理斷言 任何一條一階邏輯式在超積 Mi U displaystyle prod mathcal M i mathcal U nbsp 中為真 當且僅當使該公式在Mi displaystyle mathcal M i nbsp 中成立的指標i displaystyle i nbsp 的集合 是U displaystyle mathcal U nbsp 的元素 後一個條件 可以直觀理解為 大多數 Mi displaystyle mathcal M i nbsp 皆認為該公式為真 嚴謹敍述如下 設有表徵s displaystyle sigma nbsp 指標集I displaystyle I nbsp 其上的超濾子U displaystyle mathcal U nbsp 且對每個i I displaystyle i in I nbsp 有s displaystyle sigma nbsp 結構Mi displaystyle mathcal M i nbsp 又設M displaystyle mathcal M nbsp 為Mi displaystyle mathcal M i nbsp 關於U displaystyle mathcal U nbsp 之超積 即M i IMi U displaystyle mathcal M prod i in I mathcal M i mathcal U nbsp 則對任意n displaystyle n nbsp 個多元組a1 an Mi displaystyle a 1 ldots a n in prod mathcal M i nbsp 其中ak aik i I displaystyle a k a i k i in I nbsp 以及對任意s displaystyle sigma nbsp 公式f displaystyle varphi nbsp M f a1 an i I Mi f ai1 ain U displaystyle mathcal M models varphi a 1 ldots a n iff left i in I mathcal M i models varphi a i 1 ldots a i n right in mathcal U nbsp 定理對公式f displaystyle varphi nbsp 的複雜度歸納得證 U displaystyle mathcal U nbsp 為超濾子 而不僅是濾子 的性質 在加入否定的一步用到 而在加存在量詞的一步 要用到选择公理 應用定理可得超實域的轉移原理 英语 transfer principle 實例 编辑 設R displaystyle R nbsp 為結構M displaystyle mathcal M nbsp 上的一元關係 並構造M displaystyle mathcal M nbsp 的超冪 則集合S x M M Rx displaystyle S x in mathcal M mathcal M models Rx nbsp 在超冪中有對應的子集 S displaystyle S nbsp 而在M displaystyle mathcal M nbsp 中 對S displaystyle S nbsp 量化且為真的一階公式 將S displaystyle S nbsp 換成 S displaystyle S nbsp 後 仍在超冪中成立 例如 設M R displaystyle mathcal M mathbb R nbsp 為實數集 設Rx displaystyle Rx nbsp 表示 x displaystyle x nbsp 為有理數 則在M displaystyle mathcal M nbsp 中 對每對有理數x lt y displaystyle x lt y nbsp 總有無理數z displaystyle z nbsp 介於兩者之間 即 M x y Rx Ry x lt y z Rz x lt z lt y displaystyle mathcal M models forall x forall y Rx wedge Ry wedge x lt y implies exists z neg Rz wedge x lt z lt y nbsp 既然有理數集S displaystyle S nbsp 此一性質可以寫成一階命題 沃希定理推出 超有理數集 S displaystyle S nbsp 仍有同一性質 即任意兩個超有理數之間 有一個不為超有理數的超實數 超無理數 更一般地 超有理數集與有理數集具有完全一樣的一階性質 然而 考慮實數的阿基米德性質 即不存在實數x displaystyle x nbsp 同時滿足x gt 1 x gt 1 1 x gt 1 1 1 displaystyle x gt 1 x gt 1 1 x gt 1 1 1 ldots nbsp 此列無窮多條不等式 阿基米德性質無法用一階邏輯表示 所以 沃希定理不適用於此性質 不能推導出超實數滿足阿基米德性質 正好相反 超實數不滿足阿基米德性質 例如前一節構造的超實數w displaystyle omega nbsp 就比1 1 1 1 1 1 displaystyle 1 1 1 1 1 1 ldots nbsp 都要大 超冪的正極限 超極限 编辑 nbsp 关于一列度量空間的超積 请见 超極限 模型論和集合論中 常考慮一列超冪的正極限 英语 direct limit 範疇論的餘極限 模型论中 此構造稱為超極限 英語 ultralimit 或極限超冪 英語 limiting ultrapower 從某結構A0 displaystyle mathcal A 0 nbsp 和超濾子U0 displaystyle mathcal U 0 nbsp 開始 構造出超冪A1 displaystyle mathcal A 1 nbsp 並重複 得到A2 displaystyle mathcal A 2 nbsp 等 對每個n displaystyle n nbsp 有典範對角嵌入An An 1 displaystyle mathcal A n hookrightarrow mathcal A n 1 nbsp 在極限階段 如Aw displaystyle mathcal A omega nbsp 取此前所有結構的正極限 如此便可取超限多次超冪 參見 编辑紧致性定理 若可滿足一族一階句子的任意有限條 則可全部滿足 勒文海姆 斯科伦定理 一階理論無法控制無窮模型的大小 轉移原理 英语 Transfer principle 參考資料 编辑Bell John Lane Slomson Alan B Models and Ultraproducts An Introduction 模型與超積 導論 reprint of 1974 Dover Publications 2006 1969 ISBN 0 486 44979 3 英语 Burris Stanley N Sankappanavar H P A Course in Universal Algebra 泛代數教程 Millennium 2000 1981 2021 10 23 原始内容存档于2005 01 23 英语 取自 https zh wikipedia org w index php title 超積 amp oldid 75161382 沃希定理, 维基百科,wiki,书籍,书籍,图书馆,