1) algebraic set
代数集
1.
The problem about the minimal number of elements needed to describe an algebraic set is an outstanding and difficult problem in algebraic geometry.
描述n维空间中的一个代数集Y所需元素的最少个数问题,是代数几何学中的一个热点与难点。
2) integration algebra
集成代数
3) Bulk algebra
集合代数
4) Set Pair 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)，它的层是半代数(相应地，半解析或次解析)的(并且光滑).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条