Hilbert function(希尔伯特函数):在交换代数与代数几何中,用来描述分次(graded)对象(如分次环/模)在每个次数上的“大小”的函数,通常表示为
\(H(n)=\dim_k(M_n)\)(在域 \(k\) 上,第 \(n\) 次齐次部分的维数)。在很多情形下,当 \(n\) 足够大时,Hilbert function 会与一个 Hilbert polynomial(希尔伯特多项式)一致。
/ˈhɪlbərt ˈfʌŋkʃən/
The Hilbert function tells us how many degree‑n polynomials survive modulo the ideal.
希尔伯特函数告诉我们在模掉该理想之后,有多少个 \(n\) 次多项式仍然独立存在。
For a finitely generated graded module over a polynomial ring, the Hilbert function eventually agrees with a polynomial, revealing geometric invariants such as dimension and degree.
对多项式环上的有限生成分次模而言,希尔伯特函数在足够大时会与一个多项式一致,从而揭示如维数与次数等几何不变量。
“Hilbert”来自德国数学家 David Hilbert(大卫·希尔伯特)的姓氏;“function”意为“函数”。该术语源于希尔伯特对不变量理论与代数结构的研究脉络,后来在交换代数与射影代数几何中被系统化,用于刻画分次结构随次数变化的规模信息。