Ł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.

证明对公式归纳：原子步骤来自超积的逐坐标定义，布尔步骤使用超滤子的补集二选一和有限交性质。存在量词的两个方向可明确写出。令

A=\{i:\mathcal M_i\models\exists y\,\psi(y,f_1(i),\ldots,f_n(i))\}.

若 $A\in\mathcal U$ ，对每个 $i\in A$ 选见证 $a_i\in M_i$ ；再固定一个基准积元素 $h\in\prod_iM_i$ ，定义 $g(i)=a_i$ （ $i\in A$ ）、 $g(i)=h(i)$ （ $i\notin A$ ）。两项选择都由当前 ZFC 背景中的选择公理保证，补上后者才使 $g$ 在所有坐标上有定义。使 $\psi(g(i),f_1(i),\ldots,f_n(i))$ 成立的指标集包含 $A$ ，故属于 $\mathcal U$ ；归纳假设于是给出超积中的见证 $[g]$ 。

反过来，若超积中的存在式有见证 $[g]$ ，对 $\psi$ 用归纳假设，得到它在各坐标成立的指标集 $B\in\mathcal U$ 。每个这样的坐标都有存在见证，所以 $B\subseteq A$ ；向上封闭性给出 $A\in\mathcal U$ 。这完成存在量词步骤。定理只传递一阶公式。

直觉

Ł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。

形式陈述 ​

反向链接

形式陈述