下确界 meaning in English
infimum
Examples
- The greatest lower bound of a is also called the infimum of a .
A的最大下界边称为A的下确界。 - The greatest lower bound of a is also called the infimum of a
A的最大下界边称为a的下确界。 - On the least bound of the number of non - exponent subgroups of ono - cyclic groups
关于非循环群的非幂子群数的下确界 - As a result , ( i ) let k ( x ) be the function assign to each point x of m the infinimum of the sectional curvatures of m at that ponit , if k ( x ) satisfies , then m is totally umbilical . ( ii ) let q ( x ) be the function assign to each point x of m the infinimum of the ricci curvatures of m at that ponit , if q ( x ) satisfies q > 1 / 4 ( n - 2 ) ( c + 4h2 ) - 1 / 4nc , then m is totally umbilical , ( iii ) let a be the square length of the second fundermental form , if satisfies , then m is totally umbilical
) )中具有非零平行法平均曲率向量的紧致全实伪脐子流形m ~ n ，得到了( ? )如果m ~ n在其点x的截面曲率的下确界函数k ( x )满足条件：则m ~ n是全脐的( ? )如果m ~ n在其点x的ricci曲率的下确界函数q ( x )满足条件：则m ~ n是全脐的。 ( ? )如果m在m中的第二基本形式h长度的平方满足条件：则m ~ n是全脐的。 - Secondly , because the operator is associativity , so it is possible to avoid the boring complicated letters thirdly , because the association of resolution and paramodulation is generalized complete , we can use the infimum of the operator to gradually close the false level of cause set . so it is not necessary to choose threshold before resolution and paramodulation . the operator is got from every resolution and paramodulation
其次，由于算于的运算适合结合律，因而可以避兔令人讨厌的复杂文宇1v … kp ） … ）口第三， bofl中的归结和调解的结合是广义完备的，可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平，从而不必费心在调解前选择合适的i ’刊b 。