你
请解释一下「力迫条件」这个词的含义。
助手
力迫条件
lì pò tiáo jiàn · ㄌㄧˋ ㄆㄛˋ ㄊㄧㄠˊ ㄐㄧㄢˋ
li po tiao jian
lptj
ㄌㄧ ㄆㄛ ㄊㄧㄠ ㄐㄧㄢ
2026-07-16 05:34:03
扩展释义
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的偏序集的元素。美国数学家科恩(P.J.Cohen)对力迫条件的原始定义形为n∈a或n∉a的有限协调公式集，这里a代表用于兼纳扩充的兼纳集(或代表兼纳集的名)，n为自然数。因此，每个力迫条件就给出了兼纳集元素构成的一个局部情况，由于兼纳扩充模型M[G]由兼纳集G所决定，因此，一定的力迫条件可以确定出兼纳模型中具有或者不具有某种性质，一列适当的力迫条件无穷序列可以确定出兼纳扩充M[G]中的所有性质，这种力迫条件序列称为完备力迫条件序列。现代力迫法对力迫条件的定义由科恩的原始定义抽象与简化而得。设〈P，<〉为用于力...