布林值模型
![本頁使用了標題或全文手工轉換](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
在數理邏輯中,布林值模型是普通的塔斯基主義者的結構或模型概念的推廣,在其中命題的真值不被限定為"真"和"假",而是從某個固定的完全布林代數中取值,布林值模型是 Dana Scott、Robert M. Solovay 和 Petr Vopěnka 在1960年代為了幫助理解 Paul Cohen 的力迫方法而介入的。
定義
固定一個完全布林代數 B 和一階語言 L,後者由一組常量符號、函數符號和關係符號構成。L 的布林值模型因此就由全集 M,它是元素(或名字)的集合,和對這些符號的釋義組成。特別是,這個模型必須為 L 的每個常量符號指派一個 M 的元素,並為 L 的每個 n-元函數符號 f 和 n-元組 <a0,...,an-1> 中的每一個指派 M 的元素,這個模型必須為項 f(a0,...,an-1) 指派 M 的元素。
關係符號和等式的釋義是更加複雜的: 對 M 每對元素 a, b,模型必須為表達式 a=b 指派一個真值 ||a=b|| ;這個真值取自 B。類似的,對於 L 的每個 n-元關係符號 R 和 n-元組 <a0,...,an-1> 中的每一個指派 M 的元素,這個模型必須指派 B 的一個元素為 ||R(a0,...,an-1)|| 的真值。
- 需要寫些文字來解釋在釋義等式上的額外限制,保證它是等價關係並且這個關係顧及了等價事物的代換。
其他公式和句子的釋義
其他公式可以使用布林代數來釋義;對於命題連結詞這是很容易的;你可以簡單的在子公式的真值上應用對應的布林運算符。例如,如果 φ(x) 和 ψ(y,z) 分別是帶有一個和兩個自由變量的公式,並且是要代換 x、y 和 z 為模型的全集的元素 a、b 和 c,則
的真值簡單的是
對於量化的公式,我們需要利用布林代數 B 的完全性。如果 φ(x) 是帶有自由變量 x(可能還有其他我們忽略的自由變量),則
這裏右手端要被理解為在 B 中所有真值 ||φ(a)|| 的上確界,這裏 a 的範圍在 M 之上。
一個公式的真值有時被稱為它的可能性。它不能理解為一般意義上概率,它們不是實數而是完全布林代數的 B 的元素。
集合論的布林值模型
給定一個完全布林代數 B,有一個指示為 VB 的布林值模型,它是馮·諾伊曼全集 V 的布林取值的類似者。(嚴格的說,VB 是真類,所以我們需要適當的重新解釋對於模型意味着什麼)。非形式的說,我們認為 VB 是像「布林值集合」的某種東西;換句話說,布林值集合,不再有定義分明的元素和非元素,而有帶有是這個集合的元素的特定「可能性」的對象。這個「可能性」是 B 的一個元素,不是實數。這不同於模糊集合的概念。
布林值集合的(「可能的」)元素,依次也是布林值集合,它的元素也是布林值集合,以此類推。要得到布林值集合的非循環定義,我們需要有層次的建造它們。所以對於 V 的每個序數 α 我們定義集合 VαB 為:
- VαB 是 β<α 的 VβB 的併集,如果 α 是極限序數(包括 0)。
- Vα+1B 是從 VαB 到 B 的所有函數的集合。(這種函數表示 VαB 的「可能的」子集;如果 f 是這種函數,則對於任何 x∈VαB,f(x) 是 x 在這個集合中的可能性)。
我們定義類 VB 是所有集合 VαB 的併集。
有可能相對化這個完整構造於 ZF (或者有時它的片段)的某個傳遞模型 M。在這種情況下我們通過應用上述構造於 M 內部而構造布林值模型 MB。對傳遞模型的限制是不嚴重的,因為Mostowski塌陷引理蘊涵了所有合理的(良基的外延)模型同構於傳遞模型。(如果模型 M 不是傳遞事物而使其變得更加雜亂,因為 M 對什麼意味着是「函數」或「集合」的釋義可能不同於「外延」釋義)。
接着我們需要在集合 VB 上定義兩個 B-值的等於關係和成員關係。(在 VB 上的 B-值關係是從 VB×VB 到 B 的函數)。為了避免混淆於通常的等式和成員關係,對於在 VB 中的 x 和 y,它們指示為 ||x=y|| 和 ||x∈y||。它們定義如下:
- ||x∈y|| 被定義為 ∑t∈Dom(y) ||x=t|| ∧ y(t) ("x 在 y 中如果它等於在 y 中的某個東西")
- ||x=y|| 被定義為 ||x⊆y||∧||y⊆x|| ("x 等於 y 如果 x 和 y 相互都是對方的子集"),這裏的
- ||x⊆y|| 被定義為 ∏t∈Dom(x) x(t)⇒||t∈y|| ("x 是 y 的子集如果所有 x 的元素都在 y 中")
符號 ∑ 和 ∏ 意味着我們在完全布林代數 B 中採用最小上界和最大下界。第一眼看來上述定義好像是循環的: || ∈ || 倚賴於 || = ||,它依賴於 || ⊆ ||,它依賴於 || ∈ ||。但是閉合檢查證實了 || ∈ || 的定義只對於更小階的元素依賴於 || ∈ ||,所以 || ∈ || 和 || = || 是從 VB×VB 到 B 的良好定義的函數。
最後我們需要檢查在 VB 上的這兩個 B-值的關係 || ∈ || 和 || = || 使 VB 成為集合論的布林值模型。沒有自由變量的每個一階集合論的句子都在 B 中有一個值,我們需要檢查等式的所有公理和 ZF 集合論的所有公理(沒有自由變量的)有 B 的元素「真」的值。這是直接了當的,但是要花很長時間因為有很多不同的公理需要檢查。
引用
- Bell, J. L. (1985) Boolean-Valued Models and Independence Proofs in Set Theory, Oxford. ISBN 978-0-19-853241-5
- Jech, Thomas. Set theory, third millennium edition (revised and expanded). Springer. 2002. ISBN 978-3-540-44085-7.
- Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs. North-Holland. 1980. ISBN 978-0-444-85401-8.
- Kusraev, A. G. and S. S. Kutateladze. Boolean Valued Analysis. Kluwer Academic Publishers. 1999. ISBN 978-0-7923-5921-0. Contains an account of Boolean-valued models and applications to Riesz spaces, Banach spaces and algebras.
- Manin, Yu. I. A Course in Mathematical Logic. Springer. 1977. ISBN 978-0-387-90243-2. Contains an account of forcing and Boolean-valued models written for mathematicians who are not set theorists.