存在非常数的例子，称作模函数。这个状况可以与formula_18作类比：对于射影空间，我们欲寻找向量空间formula_19上对座标的多项式函数formula_4，并满足formula_21；不幸的是，这种函数必为常数。一种办法是容许有分母（即考虑有理函数），则满足条件的是分子、分母为同次数齐次多项式的有理函数。另一种办法则是修改条件formula_21为formula_23，则满足此条件的函数为formula_10次齐次多项式，对每个固定的formula_10，这些函数构成有限维向量空间。借着考虑所有