1) quasi-projective algebraic variety
拟射影代数簇
2) projective variety
射影代数簇
1.
Let X be a n dimensional projective variety,x be a fixed point in X,and let C_t(X,_X(1)) be the set of rational curves C of degree t passing through x in X,p_t(X)=dimC_t(X,_X(1)) for any positive integer.
设X是n维射影代数簇,取定X中一点x,设Ct(X,X(1))表示X中的过x点的t次有理曲线的集合,pt(X)=d imCt(X,X(1))。
3) quasiprojective variety
拟射影簇
4) quasi-affine algebraic variety
拟仿射代数簇
5) quasi-algebraic variety
拟代数簇
1.
In this paper by applying some equivalent formulas in first-order logic,this problem is transformed into one which checks whether another quasi-algebraic variety is empty.
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 。
6) affine algebraic variety
仿射代数簇
补充资料:射影代数
射影代数
projective algebra
点尸,Q,R.S,其中任意三点不共线;这些点组成一个具有三对对边pQ,RS;PS,QR;与pR,QS的完全四角形(coml〕lele qt‘Ichangle).这些对边的交点x,Y,Z称为对边点(diagonal points),而连结对边点的直线称为对角线(di日g0llals).一个特殊情形对应于X,Y.Z共线的情形(见Fa动公设(Fano post山ate)),未在图形中标出.五 图2 运用对偶于一个完全四角形的图形—完全四线形,能够在通过一点的直线束里进行类似的作图,且导出一个反同构于K的除环厂. 作为一个代数系统.射影直线l的性质决定于I所在的射影平面的几何(射影不变)性质.例如,K的交换性等价于Pappus公理成立;Fallo公设等价于K的特征数不同于2;如果K除内自同构外无其他自同构,则每一个射影变换(projeCtl记nu斑儿肛以tion)是一个直射变换(colljneation),等等. 利用直线上的除环K,因而在包含直线的射影空间内能够引人射影坐标,给出射影空间的一个代数模型,使得射影几何学的内容实质上决定于建立在其上的同一除环K的性质. 在广义的意义下,射影几何学中所研究的射影空间的子空间的集合是一个补模格(咖记过肚b饭优).在这里并不要求空间是有限维的,但加了完全性、齐性基的存在性等条件.相应地,人们能够建立与素环和正则环理论,Abel算子群理论和其他代数分支的各种联系‘【补注】一个直射变换是一个齐次坐标的线性变换(Baer的术语,IAZ」), 运用其除环性质的射影几何学的构建已非常古老;这实质上归于D.H让bert(「All).一个现代的处理由E Artjn(【2])给出.射影代数[声‘水川、ealgeb口;“poe打“““‘“re6pa],在狭义意义下的 射影直线上的点的一种代数;为位于满足】k,r-91肠写假定(1)乏argU巴assumPtion)的平面二上的射影直线l上的点定义加法和乘法的射影不变作图.这些作图依赖于l上的三个不同点OE,U的选取. 作图1.对于不同于U的任何二点月,B决定不同于U的第三点A卜B,称为A与B的和(sum).在二内通过A,B与U分别画三条不同于,的直线“,b与u,组成一个三角形.令尸是“与“的交点,Q是“与b的交点,R是OQ与a的交点,S是b与UR的交点,则尸S与l交于点T二A+B(对于一般情形见图1).这样作出的点只依赖于A.刀.0十丁U.而与直线或点E的选取无关. 尸 /户认 0月B TU 图1 作图11.对于不同于U的任何二点A,B决定不同于U的第三点A·B,称为A与B的积(pro-dilct).在7T内通过A,B与U分别画三条
[1] [2] 下一页
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条