请问「力迫条件」是什么意思?
2026-07-11 06:33:41
「力迫条件」读音
拼音 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,<〉为用于力...
推荐