关于初等嵌入j在力迫扩张中可延拓性的技术问询

嘿，我来帮你拆解这两个集合论结论的联系，把没写完的证明补全——这可是大基数与力迫结合里的核心知识点！

一、两个结论的关联性 #

先明确：你提到的第一个结论其实是第二个更通用结论的特殊情形。

• 第一个结论里的$j''P$是$j(P)$的子偏序，当$G^{*$是$M$上的$j''P$-泛型滤子时，只要它包含$j''G$（这是自然满足的，因为$j''G$是$j''P$里的滤子，泛型滤子会和所有稠密子集相交，自然能包含它），那么$G}*$可以被“提升”为$j(P)$的泛型滤子（或者本身就满足$j(P)$泛性的条件），这就完全符合第二个结论的前提了。
• 第二个结论是最一般的泛型初等嵌入延拓定理，它直接覆盖了第一个结论的场景，甚至能处理更复杂的力迫偏序（比如$j(P)$比$j''P$大很多的情况，比如当$j$是超紧嵌入时）。

二、完整证明过程 #

我们从你给出的证明片段继续，一步步抠细节，确保每一步都有理有据：

前置设定回顾 #

• $j: V \to M$是一个初等嵌入（就是能保持所有一阶集合论公式真值的映射）
• $P \in V$是一个力迫偏序
• $G$是$V$上的$P$-泛型滤子
• $G^$是$M$上的$j(P)$-泛型滤子，且$j''G \subseteq G^$（$j''G$就是所有$j(p)$的集合，其中$p \in G$）

我们要定义的延拓映射是：对任意$x \in V[G]$，取$V$中的$P$-名字$\tau$满足$\tau_G = x$（也就是$\tau$在$G$下的解释是$x$），令$j(x) = j(\tau)_{G^{*}$（把$\tau$通过$j$映射到$M$里的$j(P)$名字，再用$G}*$解释它）。

要证明这个映射是合法的初等嵌入，需要做两件事：证明定义不依赖于名字的选择（良定性），以及证明它保持所有一阶公式的真值（初等性）。

1. 良定性验证

假设我们有两个不同的$P$-名字$\tau_1$和$\tau_2$，它们在$G$下的解释都是$x$，也就是$\tau_{1,G} = \tau_{2,G} = x$。根据力迫的真值引理，存在某个$p \in G$，使得$p$力迫$\tau_1 = \tau_2$，也就是$p \Vdash_P \tau_1 = \tau_2$。

因为$j$是初等嵌入，它会保持力迫关系的定义——也就是说，$V$里“$p$力迫$\tau_1 = \tau_2$”这个事实，在$M$里就变成“$j(p)$力迫$j(\tau_1) = j(\tau_2)$”，也就是$M \models j(p) \Vdash_{j(P)} j(\tau_1) = j(\tau_2)$。

又因为$j''G \subseteq G^$，所以$j(p) \in G^*$。而$G$是$M$上的$j(P)$-泛型滤子，根据泛型滤子的性质：如果一个条件$q \in G^{*$力迫两个名字相等，那么这两个名字在$G}$下的解释一定相等。所以$j(\tau_1)_{G^} = j(\tau_2)_{G^*}$，这就说明我们的定义和名字的选择无关，是良定的。

2. 初等性验证

我们分双向来证明：

正向推导（从$V[G]$到$M[G^*]$）

就像你给出的片段那样：

• 任取$x_1,...,x_n \in V[G]$，对应$P$-名字$\tau_1,..., \tau_n$（即$\tau_{i,G} = x_i$）。
• 如果$V[G] \models \phi(x_1,...,x_n)$，根据真值引理，存在某个$p \in G$使得$p \Vdash_P \phi(\tau_1,..., \tau_n)$。
• 由$j$的初等性，$M \models j(p) \Vdash_{j(P)} \phi(j(\tau_1),...,j(\tau_n))$。
• 因为$j(p) \in G^{*$，再用一次$M[G}]$里的真值引理，就得到$M[G^] \models \phi(j(\tau_1)_{G^{*},...,j(\tau_n)_{G}})$，也就是$M[G^] \models \phi(j(x_1),...,j(x_n))$。

反向推导（从$M[G^*]$到$V[G]$）

现在反过来，假设$M[G^*] \models \phi(j(x_1),...,j(x_n))$，我们要证明$V[G] \models \phi(x_1,...,x_n)$。

• 根据$M[G^]$里的真值引理，存在某个$q \in G^$，使得$M \models q \Vdash_{j(P)} \phi(j(\tau_1),...,j(\tau_n))$。
• 我们定义$V$里的一个子集$D = { r \in P \mid j(r) \text{ 和 } q \text{ 在 } j(P) \text{ 中相容} }$（相容就是存在一个共同的下界）。先证明$D$是$P$的稠密子集：
  假设$D$不稠密，那存在某个$s \in P$，使得$s$的所有下界都不在$D$里，也就是对所有$r \leq s$，$j(r)$和$q$不相容。这意味着$j(s)$力迫$\neg \phi(j(\tau_1),...,j(\tau_n))$（因为如果$j(s)$和$q$不相容，那$j(s)$的任何下界都不满足$\phi$）。
  由$j$的初等性，$s$就会力迫$\neg \phi(\tau_1,..., \tau_n)$。但$G$是$V$上的$P$-泛型滤子，$s$要么在$G$里，要么和$G$相交——如果$s$和$G$相交，那存在$r \in G$且$r \leq s$，这会导致$V[G] \models \neg \phi(x_1,...,x_n)$，但我们的前提是$M[G^*] \models \phi(...) $，这会和正向推导矛盾，所以$D$必须是稠密的。
• 因为$G$是泛型滤子，$D$稠密，所以存在$r \in G \cap D$。这意味着$j(r)$和$q$相容，而$j(r) \in G^$（因为$r \in G$），所以它们的共同下界$q' \in G^$。
• 因为$q' \leq q$，所以$q'$也力迫$\phi(j(\tau_1),...,j(\tau_n))$；同时$q' \leq j(r)$，所以$j(r)$不能力迫$\neg \phi(...) $，由$j$的初等性，$r$也不能力迫$\neg \phi(\tau_1,..., \tau_n)$。而$r \in G$，根据真值引理，$V[G] \models \phi(x_1,...,x_n)$。

这样就完成了初等性的双向验证，证明了$j$确实是从$V[G]$到$M[G^*]$的初等嵌入。

三、总结一下 #

• 第一个结论是第二个结论的特例：当$G^*$是$j''P$-泛型且包含$j''G$时，它自动满足第二个结论的前提，所以可以直接套用延拓逻辑。
• 整个证明的核心就是初等嵌入保持力迫关系和泛型滤子的真值引理，这两个工具是连接$V$和$V[G]$、$M$和$M[G^*]$的关键桥梁。

内容的提问来源于stack exchange，提问作者JKEG