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