منزلِ هشتم — قلهیِ پیوندِ جبر و هندسه
قضیهیِ صفرهایِ هیلبرت (Nullstellensatz)
پاسخ به معمایِ بازگشت: از هندسهیِ ریشهها تا رادیکالِ ایدهآل
۱. صورتِ ضعیف (Weak Nullstellensatz) — وجودِ ریشه
فرض کنید $k$ یک میدانِ بسته از نظرِ جبری (مانند اعداد مختلط $\mathbb{C}$) باشد. اگر $I$ ایدهآلی سره در $k[x_1, \dots, x_n]$ باشد ($I \neq k[x_1, \dots, x_n]$)، آنگاه صفرگاهِ آن هرگز تهی نیست:
V(I) ≠ ∅
پیامِ شهودی: در دنیایِ بستهٔ جبری، هر دستگاهِ معادلهای که به تناقضِ صریح ($1=0$) نرسد، حتماً دستکم یک جواب در فضا دارد!
۲. صورتِ قوی (Strong Nullstellensatz) — تطابقِ رادیکال
اگر $k$ جبراً بسته باشد، برای هر ایدهآلِ $I \subseteq k[x_1, \dots, x_n]$ داریم:
I(V(I)) = √I
به بیانی روشنتر: اگر چندجملهایِ $f$ بر تمامیِ صفرهایِ ایدهآلِ $I$ صفر شود، حتماً توانی از آن چون $f^m$ در درونِ ایدهآلِ $I$ جای دارد:
f ∈ I(V(I)) ⟹ ∃m ≥ 1 : fᵐ ∈ I
۳. شاهکارِ تناظر: آیینهیِ تمامنمایِ دو جهان
قضیهیِ صفرهایِ هیلبرت یک تناظرِ دوسویه و معکوسکنندهیِ شمول میان دو قلمرو برقرار میسازد:
{مجموعههای جبری آفین در 𝔸ⁿ} ⟷ {ایدهآلهایِ رادیکال در k[x₁, …, xₙ]}
{چندگونههای تحویلناپذیر} ⟷ {ایدهآلهایِ اول}
{نقاطِ منفرد در فضا (a₁, …, aₙ)} ⟷ {ایدهآلهایِ ماکسیمال 〈x₁-a₁, …, xₙ-aₙ〉}
پایانِ منزلِ هشتم (قضیهیِ صفرهایِ هیلبرت) | آماده برای انتشار در وبلاگ
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.