1) force-compactness
力迫紧致
2) pressure
[英]['preʃə(r)] [美]['prɛʃɚ]
n.压,压力,压迫,强制,紧迫,困苦,困难
3) compact
[英][kəm'pækt] [美][kəm'pækt]
紧致
1.
Compact hypersurfaces in E￣(n+1) with Constant Scalar Curvature;
E~（n＋1）中具常数量曲率的紧致超曲面
2.
This paper obtains the classification of the compact hypersurface M~nwith constant mean curvature H in sphere S~(n+1).
讨论了球面Sn+1中具有常平均曲率H的紧致超曲面Mn的分类。
3.
Intrinsic integral inequality of compact minimal submanifolds by scalar curvature are set up.
利用数量曲率 ,建立了紧致极小子流形的内蕴积分不等式 ,并依此对第二基本形式长度的平方满足某些条件的紧致极小子流形 ,刻划了它们的性
4) urgency
[英]['ə:dʒənsi] [美]['ɝdʒənsɪ]
紧迫感
1.
As the leading core of the second generation of leadership of CPC, Com rade Deng Xiaoping strongly felt urgency in the process of the development of sc ience and technology in our country.
邓小平同志作为中国共产党第二代领导集体的核心 ,在领导与推动我国科学技术发展过程中表现出了高度的紧迫感。
5) urgency
[英]['ə:dʒənsi] [美]['ɝdʒənsɪ]
紧迫性
1.
Simple Analysis on the Urgency of Professional Training for Migrant Rural Workers;
浅析农民工职业培训的紧迫性
2.
On the importance and urgency of protection and saving of heritage buildings;
试谈文物建筑保护抢救的重要性和紧迫性
3.
On necessity and urgency of speeding development of higher education in Yunnan;
加快云南高等教育发展的必要性和紧迫性
6) Immediate Danger
紧迫危险
1.
The 《Regulations for Preventing Collision》 doesn t give any definitions to “the risk of collision”, “close quarters situation” and “immediate danger”.
《１９７２年国际海上避碰规则》对“碰撞危险”、“紧迫局面”和“紧迫危险”未作明确定义。
补充资料：紧致性定理
模型论中的一条基础性的定理。在一阶模型论中，该定理的含义是：如果一阶语言中一个命题集（形式理论）T的任何有限子集都有模型，则T自身有模型。在非一阶模型论中，紧致性定理不一定成立，但有时有较弱的结论或能起类似作用的定理。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条