跳至內容

希爾伯特零點定理

維基百科,自由的百科全書

希爾伯特零點定理(Hilbert's Nullstellensatz)確立了幾何代數之間的基本關係。數學中一大重要分支——代數幾何——正是建立在這一關聯的基礎之上的。零點定理聯繫了代數集與(代數閉域上的)多項式環中的理想大衛·希爾伯特最早發現了這一關聯,並證明了零點定理及其它相關的重要定理(如希爾伯特基定理)。

定理陳述

k(如有理數域),Kk 的代數封閉擴張(如複數域)。考慮多項式環k[X1,X2,..., Xn],設I 為此環的一個理想。該理想定義了代數集V(I ):其元素為Kn 中的n-元組 x = (x1,...,xn),使得對於I 中所有的f 滿足f (x) = 0。希爾伯特零點定理聲明:如果pk[X1,X2,..., Xn] 中的多項式,並且在V(I )恆為零,即對於所有V(I )中的 xp(x) = 0,那麼存在一個自然數r 使得pr 屬於I

零點定理的一個直接推論是「弱零點定理」:k[X1,X2,..., Xn]的理想I 包含單位元 1 當且僅當I 中的多項式在Kn 中沒有公共零點。弱零點定理也可如下表述:如果Ik[X1,X2,..., Xn]的真理想,那麼V(I )不是空集,即在k 的任意代數封閉擴張中都存在一個滿足理想中所有多項式的公共零點。這就是零點定理名稱的由來,同時零點定理也可以通過拉比諾維奇技法從「弱」版輕鬆證得。在這裡,考慮公共零點時代數閉域的假設是必要的:例如,R[X ] 中的真理想(X 2 + 1) 在 R 中就沒有公共零點。用代數幾何中常用的記法,零點定理可以寫作

對於所有理想J 成立。這裡, 代表J,而I(U ) 代表由在集合U 上恆為零的所有多項式組成的理想。

這樣,我們得到了一個在Kn 中的代數集與K[X1,X2,..., Xn]中根理想之間的反序一一映射。實際上,更一般地,我們有在空間的子集的集合與代數的子集的集合之間的伽羅瓦連接,其中「扎里斯基閉包」與「理想的根」充當閉包算子的角色。

作為例子,考慮一點。那麼。更一般地,

相反地,多項式環 中每個極大理想(注意是代數封閉的)都具有如下形式:,對於某些

再如,Kn 中的代數集W 是不可約集(關於扎里斯基拓撲)當且僅當為素理想。

證明與推廣

有效零點定理

射影零點定理

參考