说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 集对代数
1)  Set Pair Algebra
集对代数
2)  algebraic logarithm
代数对数
3)  integration algebra
集成代数
4)  Bulk algebra
集合代数
5)  semi-algebraic set
半代数集
1.
In this paper, a computing principle about the cardinality of semi-algebraic set is given by using Tarski s Principle.
给出半代数集基数的计数原理和不可约紧代数流形上Euler示性数及亏格的算法。
6)  algebraic set germ
代数集芽
1.
Finite determinacy for C ∞ function germs relative to the subgroup Rs ={Ф∈R|Ф|s=ids}of the right equivalence group R is studied,where S is an algebraic set germ in(Rn,0).
对于(Rn,0)中一般的代数集芽S研究了在右等价群R的子群Rs={Ф∈R|Ф|s=ids}的作用下函数芽的有限决定性。
补充资料:半代数集


半代数集
semi-algebraic set

  半代数集[胭111一吻由面cset;no二y幼re6p皿叨e幼eM”。-袱ecT即!,半解析集(~~a侧ytjcset)篡篡黔篡髻麟鬃默黯袅纂的集合更精确地说,对g任R[X:,…,X,],设U(g)={x‘R”二g(x)>0},则E是半代数的,如果它属于包含所有的U(g)的R”的子集的最小B以〕k’ 环. 作为定义,半解析集(s翻.an川ytlc set)是实解析流形的一个集合,它局部地能用有限多个解析等式和不等式来描述. Tarski一Seidenberg定理(Tarski一seidenbulg theo-reln)断言一个判定过程(decision procedure)(亦见可判定集(deC油ble set))的存在性以判定由有限多个多项式不等式g:(x、,二,尤。)>o、联结词“与”、“或’和“非”以及量词日Xj,丫X*所构成的初等语句的真伪.两个精确的表述是:l)设E CR”是半代数集,二R”一‘R”一’是到最后n一1个坐标上的投影,则兀(E)是半代数的.2)设S(x,,…,x。;t!,…,t,)是由不等式尸:(x、,…,义。;tl,二,t。)>O以及联结词“与”、“或”和“非”构成的有限语句(这样的语句称为一个多项式关系(po加lomialr山·山。).设Q,,·“,Q.是一系列形如日x,或丫x*的量词,则存在一个算法以发现多项式关系T(t;,…,t。,),使得 T(tl,二,t。)夺=)Ql…Q。S(x.,‘’‘,x。; t,,“·,t,,).从Tarski一seidenberg定理可以得出,半代数集在多项式映射R”一R门下的象是半代数的.事实上这是一个等价, 半解析集在解析映射下的象不必是半解析的.实解析流形上的次解析集(subanalytieset)定义为一个集合,它局部是半解析集在解析映射下的象.次解析集的不是半解析的点构成一个次解析集,见〔A2]. 半代数(相应地,半解析或次解析)集的闭包仍是半代数(相应地,半解析或次解析)的. 半代数(相应地,次解析)集在代数(相应地,解析)映射下的象是半代数(相应地,次解析)集. 最后,一个光滑代数(相应地,解析或解析)簇的半代数(相应地,半解析或次解析)子集容许有一个光滑的分层(stratificatlon),它的层是半代数(相应地,半解析或次解析)的(并且光滑).
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条