参系数零维分片代数簇的实零点  

作　　者：赖义生[1] 王仁宏[2] 吴金明[1] 

机构地区：[1]浙江工商大学信息与计算科学系,杭州310018 [2]大连理工大学数学研究所,大连116024

出　　处：《中国科学（A辑）》2008年第10期1153-1167,共15页Science in China(Series A)

基　　金：国家自然科学基金(批准号：10271022，60373093，60533060);浙江省自然科学基金;浙江省教育厅基金(批准号：20070628);浙江工商大学青年人才基金资助项目

摘　　要：分片代数簇是一些多元样条函数的公共零点集.文中表明:解参系数分片代数簇问题可转化为解有限个包含严格不等式的参系数多项式系统.利用半代数系统的正则分解和柱形代数分解方法,提出了计算零维参系数分片代数簇无挠实零点数的上确界,以及达到上确界时实零点在各个胞腔内的数目分布情形的算法.该算法同时能产生达到上确界的充要条件,以及达到上确界时实零点数在各个n维胞腔内取得某种分布的充要条件.也给出了另一算法,用于产生零维分片代数簇在n维复形中的各个n维胞腔内恰有指定数目的相异无挠实零点的充分必要条件.

关 键 词：参系数分片代数簇 柱形代数分解 实零点数 

分 类 号：O187.2[理学—数学] O174.52[理学—基础数学]