Łoś 定理 | Codeboy's Blog

形式陈述

本页在 ZFC 中陈述 Łoś 定理，并始终按满足关系解释公式真假。对超积 $\mathcal M=\prod_{i\in I}\mathcal M_i/\mathcal U$ 、任意一阶公式 $\varphi(x_1,\ldots,x_n)$ 及函数代表 $f_1,\ldots,f_n$ ，

\mathcal M\models\varphi([f_1],\ldots,[f_n]) \iff \{i\in I:\mathcal M_i\models\varphi(f_1(i),\ldots,f_n(i))\}\in\mathcal U.

证明对公式归纳：布尔步骤使用超滤子的补集二选一和有限交性质；存在量词步骤在使存在式成立的超滤子大指标集上逐点选择见证，再组装成代表函数。这里的同步选择由当前 ZFC 背景保证。定理只传递一阶公式。

直觉

Łoś 定理把超积中的真值精确翻译成“在超滤判定的几乎所有坐标结构中为真”：一个一阶公式在超积里成立，当且仅当使它在各分量中成立的指标集合属于所选超滤。这里能够逐层传递，正因为一阶语法只用有限次联结词和量词构造公式，而超滤恰好对相应的有限布尔运算封闭。这个匹配只保证一阶公式通过商构造，不能擅自推广到任意二阶性质。

例子与边界

若每个 $\mathcal M_i$ 都是域，则超积也是域，因为域公理由一阶句子组成。对超幂，常值序列映射 $a\mapsto[(a)_{i\in I}]$ 保持所有一阶公式，因此是初等嵌入。有限性、“论域可数”等一般不是单个一阶句子可表达的性质，不能由 Łoś 定理直接按超滤多数传递。主超滤情形退化为在选定坐标求值。若在 ZF 中研究精确强度，存在量词步骤必须另给可用的见证选择函数，或相应弱化定理版本；不能把逐点选见证当作无公理成本的操作。

在自然数结构的非主超幂中，令

H=[(0,1,2,3,\ldots)].

对每个标准自然数 $k$ ，Łoś 定理给出 $H>k$ ，所以 $H$ 是非标准无限整数。进一步令

a_k=[(\max(n-k,0))_{n\in\mathbb N}],

则对每个标准 $k$ 都有 $a_k>a_{k+1}$ ，形成外部的无限下降链。这不违反 Łoś 定理，因为“良基”不是单个一阶句子可表达的性质；定理只传递一阶公式。

推论与应用

超积提供结构构造，超滤决定“几乎处处”的逻辑，而 Łoś 定理把两者接合起来，说明一阶可公理化的结构类为何能被超积良好保持。它是超积方法的核心，可导出超幂的初等嵌入、一阶紧致性的另一种证明，并用于构造非标准模型、发展非标准分析以及比较和分类模型。

参考资料

David Marker, Model Theory: An Introduction, Springer, 2002，§2.2, Łoś theorem and elementary diagonal embedding。
Wilfrid Hodges, Model Theory, Cambridge University Press, 1993，Ch. 4, fundamental theorem of ultraproducts。

形式陈述 ​

反向链接

形式陈述