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.
给出半代数集基数的计数原理和不可约紧代数流形上Ｅｕｌｅｒ示性数及亏格的算法。
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)，它的层是半代数(相应地，半解析或次解析)的(并且光滑).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条