等同，这样得到的等价类的集合称为 "n" 维射影空间 formula_12 多项式环 formula_13 中的元素不都是 formula_14 上的函数，因为即使是同一点，也能以不同的坐标表示，而代入一个多项式时便会得到不同的值；但是却可以确定一个齐次多项式在某点是否为零，因为如果一点能以两组坐标表示，则一组为另一组的标量倍，而该标量可以在齐次多项式各项中提取出来。所以若 "S" 为若干个齐次多项式的集合，则可定义上一节的几个结论，把「理想」一词换成本节的「齐次理想」之后，将继续适用。于是，对任意的齐次