零點集

定義

設

是定義在數域k上的一組函式，那么方程組

在數域 k 中的公共解稱作它們的公共零點。

所有公共零點構成的集合稱作公共零點集。

設f_1,...f_s是係數定義在域k上的一組多項式，那么方程組f_1=...=f_s=0在域 k 中公共解稱作它們的公共零點，

如果k是代數閉域，那么上述方程組的公共零點集也稱做（仿射）代數簇. 如果f_i都是齊次方程, 那么公共零點集也稱射影代數簇。代數幾何就是要研究代數簇的幾何結構與方程的代數結構（即理想）之間的深刻聯繫--這也是傳統解析幾何的推廣和發展。

1. 黎曼zeta函式(ζ-函式)：ζ(s)=1/1^s+1/2^s+1/3^s+...1/n^s+...解析延拓到整個複平面上有很多零點，其中一些容易求出，稱作平凡零點；其餘的零點稱作非平凡零點。黎曼猜測非平凡零點都落在實部為1/2的直線上--即著名的黎曼假設（也稱黎曼猜想）。

2. 單變數多項式f(x)=a_nx^n+...a_1x+a_0(這裡a_i是複數)對應的方程f(x)=0的零點就是我們常說的方程的根（在複數域上）。

高斯代數學基本定理： n次多項式方程的零點恰好有n個（允許重根）。

阿貝爾定理: 5次及5次以上的多項式方程的零點不存在一般的求根公式。

伽羅華理論: 多項式方程有求根公式若且唯若它的伽羅華群是可解的。

3. 初等數論的不定方程f(x,y)=0, 這裡f是定義在有理數域Q上的二元多項式。通常要求它的有理數解（這樣的零點稱作有理點）或整數解（稱作整點或格點）或者剩餘類解（即有限域上的零點）。比如

佩爾方程： x^2-dy^2=1, 求整數解(x,y)

勾股方程: X^2+Y^2=Z^2 求整數解(X,Y,Z) (這也等價於求單位圓x^2+y^2=1上的有理數解)

二次剩餘（也稱平方剩餘）: x^2-py=q求整數解(x,y) (等價於求剩餘類方程x^2≡q(mod p)的剩餘類解)。此方程有解的判定涉及著名的高斯二次互反律。

費馬方程: X^n+Y^n=Z^n (n>2)求整數解(X,Y,Z), 要求XYZ≠0 . 費馬曾猜測該不定方程無解--即著名的費馬大定理，由外爾斯與1994年獲證--其中用到了橢圓曲線的性質。

1. （全純函式零點定理）單變數復全純函式的零點集是離散的。換言之，如果全純函式的一組零點收斂於定義域中的某個點，那么該函式恆為0.

該定理的等價描述就是所謂的全純函式剛性定理：兩個全純函式如果在一組收斂點列上取值相同，那么它們必定處處相等。剛性定理是複變函數中的解析延拓定理的基礎。

2. 儒歇定理：假設兩個全純函式在邊界上恆有|f|<|g|, 那么在該邊界所圍的區域內g和g+f的零點個數相同（允許重根）

3. 輻角原理：全純函式f(z)當z繞邊界旋轉一周時像點f(z)所繞的圈數等於零點個數減去極點個數（允許重根）