במתמטיקה, ובמיוחד באלגברה ובגאומטריה אלגברית, **משפט האפסים של הילברט** (בגרמנית: Nullstellensatz – "משפט מקומות האפסים") הוא משפט המקשר בין יריעות אלגבריות לבין אידיאלים בשדות סגורים אלגברית. הוא הוכח לראשונה על ידי דויד הילברט.

נניח כי *K* הוא שדה סגור אלגברית (למשל, שדה המספרים המרוכבים), ונניח כי *I* הוא אידיאל בחוג הפולינומים ב-*n* משתנים מעל *K* – {\displaystyle \,K[x\_{1},\dots ,x\_{n}]}.
היריעה האפינית *(V(I* מוגדרת להיות אוסף כל הנקודות {\displaystyle \,\mathbf {x} =(x\_{1},\dots ,x\_{n})\in K^{n}} כך שלכל *f* ב-*I* מתקיים {\displaystyle \,f(\mathbf {x} )=0}.

משפט האפסים של הילברט קובע כי אם *p* הוא פולינום כלשהו המקיים שלכל {\displaystyle x\in V(I)} מתקיים {\displaystyle \,p(x)=0} (כלומר *p* מתאפס על היריעה *V(I*)), אז קיים מספר טבעי *r* כך ש {\displaystyle p^{r}\in I}.

מסקנה מיידית ממשפט זה היא משפט האפסים החלש הקובע כי אם *I* הוא אידיאל ממש (כלומר אינו שווה לחוג כולו), אז הקבוצה {\displaystyle \,V(I)} אינה ריקה, כלומר קיימת נקודה *x* שהיא אפס משותף לכל הפולינומים ב*I*. מסקנה זו היא במובן מסוים הכללה של המשפט היסודי של האלגברה: שכן במקרה של פולינום אחד, הדרישה שהוא אינו יוצר (כאידיאל) את החוג כולו בדיוק שקולה לכך שהוא אינו קבוע, ובמקרה כזה, לפי המשפט היסודי של האלגברה יש לפולינום שורש.

בסימונים המקובלים בגאומטריה האלגברית, נהוג לכתוב את משפט האפסים של הילברט כך:
{\displaystyle \,I(V(J))={\sqrt {J}}}
לכל אידיאל *J*. הסימון {\displaystyle \,{\sqrt {J}}} הוא הרדיקל של *J* המוגדר להיות אוסף האיברים בחוג שחזקה חיובית כלשהי שלהם שייכת ל-*J*, ו-*(I(Z* הוא אידיאל כל הפולינומים שמתאפסים על הקבוצה {\displaystyle Z\subset K^{n}} .

גרסאות שונות של המשפט
---------------------

הניסוח הנפוץ למשפט האפסים של הילברט הוא זה המופיע בהקדמה. יחד עם זאת, יש למשפט גרסאות נוספות אשר שימושיות בהקשרים שונים. ניתן לחלק את הגרסאות השונות לגרסאות "שקולות" ולגרסאות "חלשות". את הסוג הראשון ניתן להסיק יחסית בקלות מהנוסח המקורי של המשפט, וניתן גם להסיק את המשפט המקורי מהניסוח - ולכן מכונות שקולות. את הגרסאות החלשות, לעומת זאת, ניתן להסיק מהנוסח המקורי, אך יחסית קשה יותר להסיק את המשפט מהן. אחת מהדרכים להסיק את הגרסה המקורית של המשפט מתוך הגרסאות החלשות היא הטריק של רבינוביץ', אשר מנוסח בהמשך.

### גרסה שקולה

#### מערכת שוויונות ואי-שוויון

גרסה שקולה למשפט האפסים של הילברט היא כלהלן. נניח כי *K* הוא שדה סגור אלגברית ויהיו {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} פולינומים כך שמערכת המשוואות {\displaystyle f\_{1}(\mathbf {x} )=\ldots =f\_{m}(\mathbf {x} )=0} פתירה מעל *K*. יהיה *g* פולינום כך שלמערכת הבאה אין פתרון *ב-K*:


.
 

{

f

1

(

x

)
=
…
=

f

m

(

x

)
=
0

g
(

x

)
≠
0



{\displaystyle .~{\begin{cases}f\_{1}(\mathbf {x} )=\ldots =f\_{m}(\mathbf {x} )=0\\g(\mathbf {x} )\neq 0\end{cases}}}

{\displaystyle .~{\begin{cases}f_{1}(\mathbf {x} )=\ldots =f_{m}(\mathbf {x} )=0\\g(\mathbf {x} )\neq 0\end{cases}}} אזי, קיימים פולינומים *{\displaystyle h\_{1},\ldots ,h\_{m}\in \,K[x\_{1},\ldots ,x\_{n}]}* ומספר טבעי *r,* כך ש-*{\displaystyle h\_{1}f\_{1}+\ldots +h\_{m}f\_{m}=g^{r}}*. זאת אומרת, קיים עד לכך שהמערכת הנתונה אינה פתירה.

ניתן להראות כי גרסה זו שקולה לניסוח המקורי של המשפט בצורה הבאה: נשים לב שהתנאי על הפולינום *g* שקול לכך שלכל {\displaystyle x\in V(\langle f\_{1},\ldots ,f\_{m}\rangle )} מתקיים {\displaystyle \,g(x)=0}. בנוסף, קיים מספר טבעי *r* כך ש {\displaystyle g^{r}\in I} אם ורק אם קיימים פולינומים *{\displaystyle h\_{1},\ldots ,h\_{m}\in \,K[x\_{1},\ldots ,x\_{n}]},* כך ש-*{\displaystyle h\_{1}f\_{1}+\ldots +h\_{m}f\_{m}=g^{r}}*. לכן, גרסה זו שקולה למשפט האפסים עבור אידיאלים מהצורה {\displaystyle I=\langle f\_{1},\ldots ,f\_{m}\rangle }. ממשפט הבסיס של הילברט, *לכל* אידיאל {\displaystyle I\triangleleft K[x\_{1},\ldots ,x\_{n}]} קיימים פולינומים {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} כך ש-{\displaystyle I=\langle f\_{1},\ldots ,f\_{m}\rangle } ולכן הגרסאות שקולות.

### גרסאות חלשות

הגרסאות הבאות מכונות "חלשות" כיוון שניתן להסיק אותן בקלות מהנוסח המקורי של המשפט, אך לא להפך. אף על פי כן, גרסאות אלו מספיקות לשימושים רבים.

#### שורת סתירה

גרסה חלשה למשפט האפסים של הילברט, המוכרת גם כ*משפט האפסים החלש* היא כלהלן:

*משפט*- יהיה *K* שדה סגור אלגברית, ויהי {\displaystyle J\triangleleft K[x\_{1},\ldots ,x\_{n}]} כך ש-{\displaystyle V(J)=\phi }. אזי, {\displaystyle J=K[x\_{1},...x\_{n}]}.

כלומר, בשדה סגור אלגברית, לכל מערכת משוואות פולינומית בכל כמות סופית של משתנים יש פתרון כאשר אין שורת סתירה (כאשר 1 איננו צירוף של איברי {\displaystyle J}). כאמור לעיל, זוהי הכללה של המשפט היסודי של האלגברה.

ניתן להסיק גרסה זו מהנוסח המקורי באופן הבא: יהי אידיאל *J* כך שמתקיים {\displaystyle V(J)=\phi }, אזי מתקיים גם כי {\displaystyle I(V(J))=K[x\_{1},\ldots ,x\_{n}]}. ממשפט האפסים, {\displaystyle {\sqrt {J}}=K[x\_{1},\ldots ,x\_{n}]}, ובפרט קיים *r* טבעי כך ש-{\displaystyle 1=1^{r}\in J}, ולכן {\displaystyle J=K[x\_{1},...x\_{n}]}.

#### אידיאלים מקסימליים

גרסה חלשה נוספת מאפיינת את האידיאלים המקסימליים בשדות סגורים אלגברית.

*משפט* - נניח כי *K* הוא שדה סגור אלגברית, אזי האידיאלים המקסימלים של החוג {\displaystyle \,K[x\_{1},\dots ,x\_{n}]} הם בדיוק האידיאלים: {\displaystyle \,\langle x\_{1}-a\_{1},x\_{2}-a\_{2},\dots ,x\_{n}-a\_{n}\rangle }. 

במילים אחרות, ישנה התאמה חד-חד-ערכית ועל בין קבוצת האידיאלים המקסימליים של חוג זה לבין קבוצות הנקודות של המרחב האפיני ה-*n*-ממדי.

ניסוח זה נובע מהניסוח הקודם. אכן, יהיה *J* אידיאל מקסימלי ובפרט {\displaystyle J\neq K[x\_{1},\ldots ,x\_{n}]}. מהניסוח הקודם קיים {\displaystyle \mathbf {a} =(a\_{1},\ldots ,a\_{n})\in V(J)}. נגדיר הומומורפיזם {\displaystyle \varphi \_{a}:K[x\_{1},\ldots ,x\_{n}]\rightarrow K} על ידי הצבה בנקודה *a,* זאת אומרת {\displaystyle \varphi \_{a}(f)=f({\mathbf {a} })}. מתקיים כי {\displaystyle {\text{Im}}(\varphi \_{a})=K}, ולכן, ממשפט האיזומורפיזם, {\displaystyle K[x\_{1},\ldots ,x\_{n}]/\ker(\varphi \_{a})\cong K}. כיוון ש-*K* הוא שדה, אזי {\displaystyle \ker(\varphi \_{a})} הוא אידיאל מקסימלי, וממקסימליות *J* נסיק כי {\displaystyle J=\ker(\varphi \_{a})=\langle x-a\_{1},\ldots ,x-a\_{n}\rangle }.

הניסוח שורת סתירה נובע מניסוח זה באופן הבא: יהי {\displaystyle J\neq K[x\_{1},\ldots ,x\_{n}]} אידיאל ויהי {\displaystyle I\supset J} אידיאל מקסימלי המכיל אותו. מהניסוח עבור אידיאלים מקסימליים נסיק כי {\displaystyle I=\langle x-a\_{1},\ldots ,x-a\_{n}\rangle } ולכן {\displaystyle (a\_{1},\ldots ,a\_{n})\in V(I)\subset V(J)}, ובפרט {\displaystyle V(J)\neq \phi }.

#### פתרון למערכות פולינומים בהרחבת שדות

ניסוח חלש נוסף הוא הניסוח הבא, אשר מאפיין פתרונות למערכות פולינומים: 

*משפט* - יהיה *K* שדה ויהיו {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} פולינומים. נניח כי קיימת הרחבת שדות *L/K*, כך שקיימים איברים {\displaystyle y\_{1},\ldots ,y\_{n}\in L}, עבורם {\displaystyle f\_{i}(y\_{1},\ldots ,y\_{n})=0} לכל {\displaystyle 1\leq i\leq m}. אזי קיימת הרחבת שדות סופית *K'/K* ואיברים {\displaystyle x\_{1},\ldots ,x\_{n}\in K'} כך ש-{\displaystyle f\_{i}(x\_{1},\ldots ,x\_{n})=0} לכל {\displaystyle 1\leq i\leq m}. 

במילים אחרות, אם קיים פתרון למערכת בהרחבת שדות כלשהי, אז קיים פתרון בהרחבה סופית. בפרט, אם השדה *K* סגור אלגברית, נקבל כי קיום פתרון בהרחבה כלשהי גורר קיום פתרון בשדה *K*. 

ניסוח זה נובע משורת סתירה, נראה זאת עבור המקרה בו השדה *K* סגור אלגברית: נניח כי לא קיים שורש משותף למערכת הפולינומים {\displaystyle f\_{1},\ldots ,f\_{m}}. משורת סתירה, נקבל כי 1 הוא צירוף של הפולינומים {\displaystyle f\_{1},\ldots ,f\_{m}}, ולכן לא קיים פתרון באף הרחבת שדות. 

ניתן גם להסיק את שורת סתירה ממשפט זה: יהי *J* אידיאל ויהיו {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} פולינומים כך ש-{\displaystyle J=\langle f\_{1},\ldots ,f\_{m}\rangle }. באופן מידי נקבל שקיים פתרון למערכת הפולינומים באלגברה {\displaystyle \,K[x\_{1},\dots ,x\_{n}]}. יהיה {\displaystyle m\triangleleft K[x\_{1},\ldots ,x\_{n}]} אידיאל מקסימלי, אז קיים גם פתרון במנה {\displaystyle F=R[x\_{1},\ldots ,x\_{n}]/m}. ממקסימליות *m* נקבל כי *F* שדה, ובנוסף הוא נוצר סופית כאלגברה, כיוון שממשפט הבסיס של הילברט {\displaystyle \,K[x\_{1},\dots ,x\_{n}]} מקיים תכונה זו. מהמשפט, כיוון ש-*K* סגור אלגברית, נקבל כי קיים פתרון למערכת הפולינומים בשדה *K*. 

#### הלמה של זריצקי

הלמה הבאה, הידועה כלמה של זריצקי, שקולה לגרסאות החלשות למשפט האפסים.

*למה* - יהיה K שדה, לא בהכרח סגור אלגברית, ותהי {\displaystyle F/K} הרחבת שדות של *K*. נניח כי F נוצר סופית כאלגברה מעל *K*, אזי *F* נוצר סופית כשדה הרחבה של *K*.

### הטריק של רבינוביץ'

הטריק של רבינוביץ' הוא הוכחה עבור הגרסה המקורית של משפט האפסים של הילברט מתוך הגרסה החלשה - שורת סתירה.

יהי *K* שדה סגור אלגברית, יהי {\displaystyle I\triangleleft K[x\_{1},\ldots ,x\_{n}]} אידיאל ויהי *g* פולינום המתאפס בכל {\displaystyle x\in V(I)}. ממשפט הבסיס של הילברט, קיימים {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} כך ש-{\displaystyle I=\langle f\_{1},\ldots ,f\_{m}\rangle }. נרצה להראות כי {\displaystyle g\in {\sqrt {I}}}. אם *g = 0*, אזי התנאי מתקיים. אחרת, נוסיף משתנה חדש *y*, ונשים לב שלפולינומים {\displaystyle f\_{1},\ldots ,f\_{m},1-y\cdot g}, אין שורש משותף. זאת אומרת, {\displaystyle V(\langle f\_{1},\ldots ,f\_{m},1-y\cdot g\rangle )=\phi }. ממשפט האפסים החלש, נקבל כי {\displaystyle \langle f\_{1},\ldots ,f\_{m},1-y\cdot g\rangle =K[x\_{1},\ldots ,x\_{n},y]}, ובפרט,


,
 
1
=

h

0

(

x

1

,
…
,

x

n

,
y
)
⋅
(
y
⋅
g
(

x

1

,
…
,

x

n

)
−
1
)
+

∑

i
=
1

n

h

i

(

x

1

,
…
,

x

n

,
y
)
⋅

f

i

(

x

1

,
…
,

x

n

)

{\displaystyle ,~1=h\_{0}(x\_{1},\ldots ,x\_{n},y)\cdot (y\cdot g(x\_{1},\ldots ,x\_{n})-1)+\sum \_{i=1}^{n}h\_{i}(x\_{1},\ldots ,x\_{n},y)\cdot f\_{i}(x\_{1},\ldots ,x\_{n})}

{\displaystyle ,~1=h_{0}(x_{1},\ldots ,x_{n},y)\cdot (y\cdot g(x_{1},\ldots ,x_{n})-1)+\sum _{i=1}^{n}h_{i}(x_{1},\ldots ,x_{n},y)\cdot f_{i}(x_{1},\ldots ,x_{n})}עבור פולינומים {\displaystyle h\_{0},\ldots ,h\_{m}\in K[x\_{1},\ldots ,x\_{n},y]} כלשהם. נתבונן בשוויון המתקבל בחוג המנה {\displaystyle R=K[x\_{1},\ldots ,x\_{n},y]/\langle 1-y\cdot g\rangle }. כיוון שבחוג זה *y = 1/g*, נקבל כי 


.
 
1
=

∑

i
=
1

n

h

i

(

x

1

,
…
,

x

n

,
1

/

g
)
⋅

f

i

(

x

1

,
…
,

x

n

)

{\displaystyle .~1=\sum \_{i=1}^{n}h\_{i}(x\_{1},\ldots ,x\_{n},1/g)\cdot f\_{i}(x\_{1},\ldots ,x\_{n})}

{\displaystyle .~1=\sum _{i=1}^{n}h_{i}(x_{1},\ldots ,x_{n},1/g)\cdot f_{i}(x_{1},\ldots ,x_{n})}כיוון שבביטוי שבאגף ימין רק *g* מופיע במכנה, אזי עבור *r* טבעי ופולינומים {\displaystyle p\_{1},\ldots ,p\_{m}\in K[x\_{1},\ldots ,x\_{n}]} כלשהם מתקיים



,
 
1
=

∑

i
=
1

m

p

i

(

x

1

,
…
,

x

n

)
⋅

f

i

(

x

1

,
…
,

x

n

)

g
(

x

1

,
…
,

x

n

)

r


{\displaystyle ,~1={\frac {\sum \_{i=1}^{m}p\_{i}(x\_{1},\ldots ,x\_{n})\cdot f\_{i}(x\_{1},\ldots ,x\_{n})}{g(x\_{1},\ldots ,x\_{n})^{r}}}}

{\displaystyle ,~1={\frac {\sum _{i=1}^{m}p_{i}(x_{1},\ldots ,x_{n})\cdot f_{i}(x_{1},\ldots ,x_{n})}{g(x_{1},\ldots ,x_{n})^{r}}}}ולכן בחוג *R,* {\displaystyle g(x\_{1},\ldots ,x\_{n})^{r}=\sum \_{i=1}^{m}p\_{i}(x\_{1},\ldots ,x\_{n})\cdot f\_{i}(x\_{1},\ldots ,x\_{n})}. זאת אומרת, קיים פולינום {\displaystyle q\in K[x\_{1},\ldots ,x\_{n},y]}, כך שמתקיים השוויון


.
 
g
(

x

1

,
…
,

x

n

)

r

=

∑

i
=
1

m

p

i

(

x

1

,
…
,

x

n

)
⋅

f

i

(

x

1

,
…
,

x

n

)
+
q
(

x

1

,
…
,

x

n

,
y
)
⋅
(
1
−
y
⋅
g
(

x

1

,
…
,

x

n

)
)

{\displaystyle .~g(x\_{1},\ldots ,x\_{n})^{r}=\sum \_{i=1}^{m}p\_{i}(x\_{1},\ldots ,x\_{n})\cdot f\_{i}(x\_{1},\ldots ,x\_{n})+q(x\_{1},\ldots ,x\_{n},y)\cdot (1-y\cdot g(x\_{1},\ldots ,x\_{n}))}

{\displaystyle .~g(x_{1},\ldots ,x_{n})^{r}=\sum _{i=1}^{m}p_{i}(x_{1},\ldots ,x_{n})\cdot f_{i}(x_{1},\ldots ,x_{n})+q(x_{1},\ldots ,x_{n},y)\cdot (1-y\cdot g(x_{1},\ldots ,x_{n}))}כיוון שבאגף שמאל, המקדם של המשתנה *y* הוא אפס, אזי *q = 0*, ולכן {\textstyle g^{r}=\sum \_{i=1}^{m}p\_{i}\cdot f\_{i}}. זאת אומרת, {\displaystyle g\in {\sqrt {I}}}, כרצוי.

מסקנות
------

### שוויון רדיקלים

אחת מהמסקנות הנובעות ממשפט האפסים של הילברט היא כי רדיקל ג'ייקובסון של אלגברה נוצרת סופית שווה לרדיקל הנילפוטנטי. רדיקל ג'ייקובסון של אלגברה *A*, אשר מסומן על ידי {\displaystyle J(A)}, או לעיתים {\displaystyle radJ(A)}, מוגדר להיות החיתוך של כל האידיאליים המקסימליים ב-*A*. לעומת זאת, הרדיקל הנילפוטנטי, אשר מסומן על ידי {\displaystyle nil(A)}, או {\displaystyle radN(A)}, מוגדר כחיתוך של כל האידיאליים הראשוניים ב-*A*. כיוון שכל אידיאל מקסימלי הוא גם אידיאל ראשוני, אזי רדיקל ג'ייקובסון תמיד מוכל ברדיקל הנילפוטנטי. המסקנה מראה כי אם האלגברה *A* נוצרת סופית, אזי למעשה יש שוויון. 

### שדות סופיים

על אף שמשפט האפסים של הילברט מנוסח עבור שדות סגורים אלגברית, ובפרט אינסופיים, ניתן להסיק ממנו את הגרסה הבאה עבור שדות סופיים:

*משפט* - יהיו {\displaystyle f\_{1},\ldots ,f\_{m}\in \mathbb {Z} [x\_{1},\ldots ,x\_{n}]} פולינומים, אזי קיים להם שורש משותף בשדה \mathbb{C}, אם ורק אם קיים פתרון בשדה סופי {\mathbb {F}} ממאפיין *p,* עבור כמעט כל ראשוני *p*. 

המשפט מקשר, בצורה אשר אינה משתמעת באופן מידי, בין שדות ממאפיין אפס לכאלו עם מאפיין חיובי.

### קישור בין משפחות של אידיאלים לעצמים גאומטריים

ממשפט זה אפשר להסיק את ההתאמות הבאות, בין משפחות אידיאלים של חוגי פולינומים לבין עצמים גאומטריים:

* אידיאל רדיקלי \leftrightarrow  יריעה אלגברית אפינית (קבוצה סגורה בטופולוגית זריצקי)
* אידיאל ראשוני \leftrightarrow  יריעה אלגברית אפינית אי-פריקה
* אידיאל מקסימלי \leftrightarrow  נקודה במרחב האפיני

התאמות אלו הן הבסיס לגאומטריה האלגברית הקלאסית. בגאומטריה האלגברית המודרנית, התאמות אלו מוכללות להתאמה החשובה הבאה:

אידיאל \leftrightarrow  סכמה אפינית

כלומר, יש התאמה מלאה בין אידיאלים של חוג הפולינומים לבין סכמות אפיניות.

הוכחה
-----

למשפט האפסים יש הוכחות רבות, מתוכן נציין שתי הוכחות. הראשונה היא עבור שדות גדולים, והיא קצרה יחסית; השנייה מוכיחה את המקרה הכללי ומופיעה בהמשך. בשתי ההוכחות, נוכיח את משפט האפסים של הילברט על ידי כך שנוכיח את הגרסה החלשה - פתרון למערכות פולינומים בהרחבת שדות. ניתן להסיק את הגרסה המלאה בהינתן החלשה על ידי הטריק של רבינוביץ' אשר מנוסח למעלה. שתי ההוכחות מתבססות הטיעון הבא:

יהיה *K* שדה ויהיו {\displaystyle f\_{1},\ldots ,f\_{m}\in K[x\_{1},\ldots ,x\_{n}]} פולינומים. נניח כי קיימת הרחבת שדות *L/K*, כך שקיימים איברים {\displaystyle y\_{1},\ldots ,y\_{n}\in L}, עבורם {\displaystyle f\_{i}(y\_{1},\ldots ,y\_{n})=0} לכל {\displaystyle 1\leq i\leq m}. נסמן ב-{\displaystyle {\overline {K}}} את הסגור האלגברי של *K*. מספיק להראות שקיים פתרון {\displaystyle x\_{1},\ldots ,x\_{n}\in {\overline {K}}}, כך ש-{\displaystyle f\_{i}(x\_{1},\ldots ,x\_{n})=0} לכל {\displaystyle 1\leq i\leq m}. אכן, אם ישנו כזה פתרון, אזי קיים פתרון בשדה {\displaystyle K'=K\langle x\_{1},\ldots ,x\_{n}\rangle }, ובנוסף ההרחבה *K'/K* סופית, כיוון שהאיברים {\displaystyle x\_{1},\ldots ,x\_{n}} אלגבריים מעל *K*. לכן, נניח מעתה שהשדה *K* סגור אלגברית.

### הוכחה עבור שדות גדולים

נוכיח תחילה עבור המקרה {\displaystyle \left|K\right|>\aleph \_{0}}, שלו יש הוכחות קצרות רבות. נציג כאן את אחת מהן: נסמן ב-{\displaystyle a\_{i,1},\ldots ,a\_{i,\ell \_{i}}\in K} את מקדמי הפולינום f\_{i} לכל {\displaystyle 1\leq i\leq m}. מתקיים שישנו פתרון למערכת המשוואות בשדה {\displaystyle L':=\mathbb {Q} \langle a\_{1,1},\ldots ,a\_{n,\ell \_{n}},y\_{1},\ldots ,y\_{n}\rangle \subset L}. כיוון ש-{\displaystyle |K|>|L'|}, וכיוון שהשדה *K* סגור אלגברית, ניתן לשכן את '*L* ב-*K* ולכן קיים פתרון ב-K*.*

### הוכחה עבור המקרה הכללי

נוכיח עתה את המקרה הכללי. נניח, בלי הגבלת הכלליות, כי ההרחבה *L/K* היא נוצרת סופית, אחרת נבחר את ההרחבה הנוצרת סופית {\displaystyle {\widetilde {L}}:=K\langle y\_{1},\ldots ,y\_{n}\rangle /K}, אשר מכילה גם היא פתרון. נסדר את איברי הפתרון {\displaystyle y\_{1},\ldots ,y\_{n}} כך שיתקיים התנאי הבא: האיבר {\displaystyle y\_{1}} טרנסצנדנטי מעל K, האיבר {\displaystyle y\_{2}} טרנסצנדנטי מעל {\displaystyle K\langle y\_{1}\rangle }, ובאופן כללי האיבר y\_i טרנסצנדנטי מעל {\displaystyle K\langle y\_{1},\ldots ,y\_{i-1}\rangle } לכל {\displaystyle 1\leq i\leq k}, עבור {\displaystyle 1\leq k\leq n}. יתר האיברים, {\displaystyle y\_{k+1},\ldots ,y\_{n}}, הם אלגבריים מעל {\displaystyle K\langle y\_{1},\ldots ,y\_{k}\rangle }. נסמן {\displaystyle L':=K\langle y\_{1},\ldots ,y\_{k}\rangle } ונשים לב כי ההרחבה {\displaystyle L/L'} היא סופית, מאופן בחירת *k*. כיוון ש-y\_i טרנסצנדנטי מעל {\displaystyle K\langle y\_{1},\ldots ,y\_{i-1}\rangle } לכל {\displaystyle 1\leq i\leq k}, אזי מתקיים כי {\displaystyle L'=K\left(y\_{1},\ldots ,y\_{k}\right)}, זאת אומרת, *L'* הוא שדה הפונקציות הרציונליות עם *k* איברים ומקדמים ב-*K.*

יהי {\displaystyle e\_{1},\ldots ,e\_{\ell }\in L} בסיס ל-{\displaystyle L/L'} ונניח נניח כי {\displaystyle e\_{1}=1}, אחרת נוסיף אותו לבסיס. יהיו {\displaystyle \{a\_{i,j,h}\}\_{i,j,h=1}^{\ell ,\ell ,\ell },\{b\_{i,h}\}\_{i,h=1}^{n,\ell }\subset L'} איברים כך ש-{\displaystyle e\_{i}\cdot e\_{j}=\sum \_{h=1}^{\ell }a\_{i,j,h}\cdot e\_{h}} לכל {\displaystyle 1\leq i,j\leq \ell }, ו-{\displaystyle y\_{i}=\sum \_{h=1}^{\ell }b\_{i,h}\cdot e\_{h}} לכל {\displaystyle 1\leq i\leq n}.בחירה זאת מאפשרת לנו להציג את המשוואות {\displaystyle f\_{i}(y\_{1},\ldots ,y\_{n})=0} כמנה של פונקציות ליניאריות באיברי הבסיס עם מקדמים ב-{\displaystyle K\langle \{a\_{i,j,h}\}\_{i,j,h=1}^{\ell ,\ell ,\ell },\{b\_{i,h}\}\_{i,h=1}^{n,\ell }\rangle }. נרצה למצוא איברים {\displaystyle \alpha \_{1},\ldots ,\alpha \_{k}\in K} אשר לא יאפסו את המכנה. כדי לעשות זאת, נבחר {\displaystyle 0\neq p\in K[x\_{1},\ldots ,x\_{k}]} ככה שכל האפסים של המכנה יהיו אפסים של הפולינום p ונבחר {\displaystyle \alpha \_{1},\ldots ,\alpha \_{k}\in K} כך ש-{\displaystyle p(\alpha \_{1},\ldots ,\alpha \_{k})\neq 0}. בצורה פורמלית, נבחר {\displaystyle 0\neq p\in K[x\_{1},\ldots ,x\_{k}]} כך ש-{\displaystyle p\cdot a\_{i,j,h}\in K[x\_{1},\ldots ,x\_{k}]} לכל {\displaystyle 1\leq i,j,h\leq \ell } ו-{\displaystyle p\cdot b\_{i,h}\in K[x\_{1},\ldots ,x\_{k}]} לכל {\displaystyle 1\leq i\leq n} ולכל {\displaystyle 1\leq h\leq \ell }. כיוון ש-{\displaystyle p\neq 0}, אזי קיים {\displaystyle \alpha =(\alpha \_{1},\ldots ,\alpha \_{k})\in K^{k}} כך ש-{\displaystyle p(\alpha )\neq 0}. מתקבל כי {\displaystyle y\_{i}(\alpha )\in K}, ובפרט {\displaystyle f\_{i}(y\_{1}(\alpha ),\ldots ,y\_{n}(\alpha ))=0}, לכל {\displaystyle 1\leq i\leq m}.

נגדיר *K-*אלגברה *A* באופן הבא: {\displaystyle A=K^{\ell }}מוגדרת על ידי הבסיס {\displaystyle g\_{1},\ldots ,g\_{\ell }\in A} כך שמתקיים {\displaystyle g\_{i}\cdot g\_{j}=\sum \_{h=1}^{\ell }a\_{i,j,k}(\alpha )\cdot g\_{k}} לכל {\displaystyle 1\leq i,j\leq \ell }. במילים אחרות, *A* היא האלגברה הנוצרת על ידי הצבת \alpha  בבסיס *e*. נגדיר {\displaystyle z\_{1},\ldots ,z\_{n}\in A} על ידי {\displaystyle z\_{i}=\sum \_{h=1}^{\ell }b\_{i,h}(\alpha )\cdot g\_{h}}. באופן זה מתקיים כי {\displaystyle f\_{i}(z\_{1},\ldots ,z\_{n})=0\in A} לכל {\displaystyle 1\leq i\leq m}. לבסוף, יהיה {\displaystyle {\mathfrak {m}}\triangleleft A} אידיאל מקסימלי ולכן {\displaystyle A/{\mathfrak {m}}} הוא שדה. בנוסף הוא הרחבה סופית של *K.* כיוון ש-*K* סגור אלגברית, אזי {\displaystyle A/{\mathfrak {m}}=K}. נסמן {\displaystyle x\_{i}={\bar {z}}\_{i}\in K} ההטלה לשדה המנה, לכל {\displaystyle 1\leq i\leq n}, ונקבל כי {\displaystyle f\_{i}(x\_{1},\ldots ,x\_{n})=0} לכל {\displaystyle 1\leq i\leq m}. זאת אומרת, {\displaystyle x\_{1},\ldots ,x\_{n}\in K} הוא פתרון למערכת הפולינומים {\displaystyle f\_{1},\ldots ,f\_{m}}, כרצוי.

גרסה פרויקטיבית
---------------

בגאומטריה פרויקטיבית ניתן לנסח משפט מקביל אך מעט שונה.

ראשית, במקרה הפרויקטיבי יריעה פרויקטיבית היא אוסף פתרונות של פולינומים מאידיאל הומוגני {\displaystyle J} (אידיאל שלכל איבר בו, גם החלקים המונומיים שלו שייכים אליו), אותה נסמן גם כן {\displaystyle V(J)}.

בכיוון ההפוך, כל תת-קבוצה X במרחב פרויקטיבי שולחים לאידיאל שנוצר על ידי הפולינום ההומוגניים שמאפסים את כל הנקודות בה, אותו נסמן {\displaystyle I(X)}.

נקבל טענה דומה לגרסה החלשה על שורת סתירה כלעיל:

*משפט* - עבור אידיאל הומוגני {\displaystyle J}, מתקיים {\displaystyle V(J)=\phi } אם ורק אם {\displaystyle J} מכיל אידיאל הומוגני {\displaystyle J\_{s}}, בו כל מונום של כל פולינום הוא ממעלה s לפחות.

וכעת נקבל את ההתאמה:

*משפט האפסים בגרסה הפרויקטיבית*- לכל אידיאל {\displaystyle J} עבורו מתקיים {\displaystyle V(J)\neq \phi } (כלומר הוא לא מכיל אידיאל {\displaystyle J\_{s}} כנ"ל), מתקיים {\displaystyle I(V(J))=Rad(J)}.

תוצאות קשורות
-------------

למשפט האפסים של הילברט יש מספר תוצאות דומות מתחומים שונים במתמטיקה. נציין כאן כמה מהן.

### משפט האפסים הקומבינטורי

משפט בקומבינטוריקה, המוכר בשם "משפט האפסים הקומבינטורי", משמש להוכחת תוצאות שונות מתורת המספרים האדיטיבית, תורת הגרפים וקומבינטוריקה, ומנוסח כלהלן: יהיה *K* שדה ויהי {\displaystyle f\in K[x\_{1},\ldots ,x\_{n}]} פולינום ממעלה *d*. יהיו {\displaystyle t\_{1},\ldots ,t\_{n}>0} שלמים כך שהמקדם של המונום {\displaystyle \prod \_{i=1}^{n}x\_{i}^{t\_{i}}} ב-*f* אינו אפס, וכן כי {\displaystyle \sum \_{i=1}^{d}t\_{i}=d}. אזי, לכל תתי קבוצות {\displaystyle S\_{1},\ldots ,S\_{n}\subset K} המקיימות {\displaystyle \left|S\_{i}\right|>t\_{i}}, לכל {\displaystyle 1\leq i\leq n}, קיימים {\displaystyle s\_{1}\in S\_{1},s\_{2}\in S\_{2},\ldots ,s\_{n}\in S\_{n}}, כך ש-{\displaystyle f(s\_{1},\ldots ,s\_{n})\neq 0}.

השימוש במשפט מוכר לעיתים גם כ*שיטה הפולינומית* שמקורה במאמר של נוגה אלון ומיכאל טרסי. השיטה פותחה לאחר מכן על ידי אלון, נתנסון ורוזה בשנים 1996-1995 ונוסחה מחדש על ידי אלון בשנת 1999. המשפט קיבל את שמו כיוון שניתן לראות בו כמקרה פרטי של משפט האפסים של הילברט. דוגמאות לשימושים של המשפט הן הוכחות פשוטות למשפט שבלי-וורנינג על אפסים של מערכות של פולינומים, ומשפט קושי-דוונפורט בקומבינטוריקה אדיטיבית.

### משפט גלפנד מזור

באנליזה פונקציונלית, משפט גלפנד מזור, הקרוי על שם המתמטיקאים ישראל גלפנד וסטניסלב מזור, הוא המשפט הבא: תהי *A* אלגברת בנך מרוכבת עם יחידה וחלוקה. אזי *A* איזומטרית לשדה המספרים המרוכבים. במילים אחרות, שדה המספרים המרוכבים הוא האלגברת בנך המרוכבת היחידה בה כל איבר לא אפס הוא הפיך, כאשר היחידות היא עד כדי איזומטריה.

לקריאה נוספת
------------

* David Eisenbud, **Commutative Algebra With a View Toward Algebraic Geometry**, New York: Springer-Verlag, 1999.

קישורים חיצוניים
----------------

* משפט האפסים של הילברט, באתר MathWorld (באנגלית)

הערות שוליים
------------

1. ↑  J. L. Rabinowitsch, Zum Hilbertschen Nullstellensatz, **Mathematische Annalen** 102, עמ' 520–520 doi: 10.1007/BF01782361
2. ↑  Jean-Pierre Serre, How to use finite fields for problems concerning infinite fields, **arXiv:0903.0517 [math]**, 2009-03-03
3. ↑  N. Alon, M. Tarsi, A nowhere-zero point in linear mappings, **Combinatorica** 9, עמ' 393–395 doi: 10.1007/BF02125351
4. ↑  Noga Alon, Melvyn B. Nathanson, Imre Ruzsa, The Polynomial Method and Restricted Sums of Congruence Classes, **Journal of Number Theory** 56, 1996-02-01, עמ' 404–417 doi: 10.1006/jnth.1996.0029
5. ↑  Noga Alon, Combinatorial Nullstellensatz, **Combinatorics, Probability and Computing** 8, 1999-01-01, עמ' 7–29