1) forcing
[英][fɔ:s] [美][fors]
力迫方法
1.
Applying forcing method, we show that both are consistent with ZFC, respectively.
用力迫方法证明了它们分别相对于ZFC协调。
2) Cohen's forcing method
科恩的力迫方法
3) shot-gun approach
强迫方法
4) zero-forcing method
迫零方法
5) dynamic displacement met
强迫力法
1.
In this paper the author presents two simplified methods of calculating natural frequency for multi-degree-of-freedom systems, one of which is equivalent stiffness a n d equivalent mass method, the other of which is dynamic displacement method.
作者提出多自由度体系自振频率数值计算的两种简便方法──相当刚度相当质量法和强迫力法，可供结构设计参考应用。
6) forcing method
力迫法
补充资料：力迫方法
给定一个 ZFC的可数可传模型M。想象一个外来物G，把 G加到 M上扩充成一个可数可传的M[G]，使得M[G]喺ZFC，M嶅M[G],G∈M[G],而且M[G]是具有这三条性质的最小的。在某种意义下,M[G]中的个体是可以由G经过在M中可定义的集论过程得到的。M[G]中的每一个体在M中就能讨论，知道G后,就知道M[G]的每一元。一般的情况下G唘M,但是G可以用M中的元素迫近。
为了在M中能讨论M[G]，给出一个有很多常量的新语言:令P为一偏序集,P∈M,M喺ZFC（ctm表示可数可传模型）；定义P-标号，然后令Mp｛τ∈M｜τ是P- 标号}。这些τ∈Mp可看作形式符号。把原来的语言L={∈}拓展成L=LU{τ:τ∈Mp}。这样的一个P 叫做一个力迫概念，L叫做T力迫语言,P中的元素叫做力迫条件。两个条件p,q,在偏序≤下,p≤q称作p比q强（此处由于历史因素造成了符号运用的倒置）。一个G吇P，若G是非空滤子，而且跟每一在M中的稠密子集D吇P有交，则称为在M上P-脱殊的。给定一个G，不论G∈M与否,可以定义一赋值,使每一τ∈Mp都有一解释τG。把所有新常量的G－解释收集起来成为语言L的一个结构M[G]{τG:τ∈Mp}。对L一句子ψ,ψ就是M[G]的一个断言，其真假视 G而定。对p∈P,ψ是L一句子，定义pψ（读作p力迫ψ）如下：若M喺ZFC，P是M中的一偏序集,P0∈P，则总有含有p0的、在M上P-脱殊的G吇P，而且当G是在M上P-脱殊的时候,上面所定义的M[G]喺ZFC，M[G]≥M，G∈M[G]。这样就从一个模型,扩张成另一个模型。应用不同的偏序集，可以得到一些附加公理（假设）在 M[G]中成立。相对协调性结果就可如此样得到。利用这种方法得到的相对协调性结果的数目已经相当可观了。
力迫方法的很多工作，包括上面那个主定理的证明都用到下面三条引理。
① 可定义性引理 上述的定义不是能行的。可用递归定义法得到 *,使给定p，ψ(τ),p*ψ(τ)对应于L中一T公式，而且pψ(τ)匔M喺(p*φ(τ))。
② 真理引理 对每一在 M上 P- 脱殊的 G 吇 P，M[G]=φ[τG]匔彐p∈G(pφ(τ))。
③ 稠密引理 对任一L一语句φ(τ),对每一p∈P，都有一比p强的条件q,q或力迫φ(τ)，或力迫塡φ(τ)。
以上是力迫的理论。如果想要一个满足 的模型,就想象一个从ω1到P（ω）的满射g。G中元素就是这个未知函数g的一些可数迫切。自然令这个P在M中可定义，P ∈M。用作偏序≤，因此任一在M上P-脱殊的G吇P是一相容函数集, 而且UG是ω1M 到PM(ω)的满射。 此处ω1M 是在M中看到的第一个不可数基数,PM(ω)是M中看到的全体ω的子集。可以由P的性质，证明在M[G]中没有多出ω的子集来，尽管M[G]确比M大。而且可以证明, 在M[G]中扮演着第一个不可数基数的角色的序数，就是刚才的 ω1M，所以M[G]中的函数UG（亦即原来的未知函数 g）, 就见证了有一函数，从M[G]认为是第一个不可数的基数，到M[G]认为是ω的全体子集上。即M[G]喺彐g（g是 ω1到P(ω)上的函数）从而M[G]喺，即M[G]喺CH。这不等于构造了一个CH的模型，而是由一个ZFC的可数可传模型M，得出一个2FC+CH的可数可传模型M[G]。
如果取P ={p ∈M|M喺|p|<ω∧p是函数∧dom p吇ω2×ω∧rangep 吇{0，1}}，用作≤，得到的扩张M[G]中至少有堗2个从ω到{0,1}的函数。从而M[G]喺ZFC+塡CH。
为了使在原来的M中作为基数的序数到了M[G]中保持不变，要对力迫概念,也就是偏序集,加上限制。在这个理论的发源期就提出来的有链条件和闭性质等，随着力迫理论方面的突破即迭代力迫的创立，以及J.鲍姆格特纳和S.谢拉赫等的正常力迫法的工作即除了又有许多命题的相对和谐性得到证明之外，提出来的相应的条件又促进了组合集论的发展。
为了在M中能讨论M[G]，给出一个有很多常量的新语言:令P为一偏序集,P∈M,M喺ZFC（ctm表示可数可传模型）；定义P-标号，然后令Mp｛τ∈M｜τ是P- 标号}。这些τ∈Mp可看作形式符号。把原来的语言L={∈}拓展成L=LU{τ:τ∈Mp}。这样的一个P 叫做一个力迫概念，L叫做T力迫语言,P中的元素叫做力迫条件。两个条件p,q,在偏序≤下,p≤q称作p比q强（此处由于历史因素造成了符号运用的倒置）。一个G吇P，若G是非空滤子，而且跟每一在M中的稠密子集D吇P有交，则称为在M上P-脱殊的。给定一个G，不论G∈M与否,可以定义一赋值,使每一τ∈Mp都有一解释τG。把所有新常量的G－解释收集起来成为语言L的一个结构M[G]{τG:τ∈Mp}。对L一句子ψ,ψ就是M[G]的一个断言，其真假视 G而定。对p∈P,ψ是L一句子，定义pψ（读作p力迫ψ）如下：若M喺ZFC，P是M中的一偏序集,P0∈P，则总有含有p0的、在M上P-脱殊的G吇P，而且当G是在M上P-脱殊的时候,上面所定义的M[G]喺ZFC，M[G]≥M，G∈M[G]。这样就从一个模型,扩张成另一个模型。应用不同的偏序集，可以得到一些附加公理（假设）在 M[G]中成立。相对协调性结果就可如此样得到。利用这种方法得到的相对协调性结果的数目已经相当可观了。
力迫方法的很多工作，包括上面那个主定理的证明都用到下面三条引理。
① 可定义性引理 上述的定义不是能行的。可用递归定义法得到 *,使给定p，ψ(τ),p*ψ(τ)对应于L中一T公式，而且pψ(τ)匔M喺(p*φ(τ))。
② 真理引理 对每一在 M上 P- 脱殊的 G 吇 P，M[G]=φ[τG]匔彐p∈G(pφ(τ))。
③ 稠密引理 对任一L一语句φ(τ),对每一p∈P，都有一比p强的条件q,q或力迫φ(τ)，或力迫塡φ(τ)。
以上是力迫的理论。如果想要一个满足 的模型,就想象一个从ω1到P（ω）的满射g。G中元素就是这个未知函数g的一些可数迫切。自然令这个P在M中可定义，P ∈M。用作偏序≤，因此任一在M上P-脱殊的G吇P是一相容函数集, 而且UG是ω1M 到PM(ω)的满射。 此处ω1M 是在M中看到的第一个不可数基数,PM(ω)是M中看到的全体ω的子集。可以由P的性质，证明在M[G]中没有多出ω的子集来，尽管M[G]确比M大。而且可以证明, 在M[G]中扮演着第一个不可数基数的角色的序数，就是刚才的 ω1M，所以M[G]中的函数UG（亦即原来的未知函数 g）, 就见证了有一函数，从M[G]认为是第一个不可数的基数，到M[G]认为是ω的全体子集上。即M[G]喺彐g（g是 ω1到P(ω)上的函数）从而M[G]喺，即M[G]喺CH。这不等于构造了一个CH的模型，而是由一个ZFC的可数可传模型M，得出一个2FC+CH的可数可传模型M[G]。
如果取P ={p ∈M|M喺|p|<ω∧p是函数∧dom p吇ω2×ω∧rangep 吇{0，1}}，用作≤，得到的扩张M[G]中至少有堗2个从ω到{0,1}的函数。从而M[G]喺ZFC+塡CH。
为了使在原来的M中作为基数的序数到了M[G]中保持不变，要对力迫概念,也就是偏序集,加上限制。在这个理论的发源期就提出来的有链条件和闭性质等，随着力迫理论方面的突破即迭代力迫的创立，以及J.鲍姆格特纳和S.谢拉赫等的正常力迫法的工作即除了又有许多命题的相对和谐性得到证明之外，提出来的相应的条件又促进了组合集论的发展。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条