نگارههای صفر و ایدهآلِ مولد: تفسیرِ صفحات ۲۵ و ۲۶
ای طالبِ معرفت، اگر در صفحاتِ پیشین با تعریف فضای آفین و اَبَررویههای جبری آشنا شدی، اینک در این دو ورقهی نویافته (صفحات ۲۵ و ۲۶) از دو گامِ اساسی سخن میگوییم: نخست، ترسیمِ هندسیِ صفرهای چندجملهایها و نمایاندنِ صورتِ ملموسِ مجموعههای جبری؛ و دوم، قضیهای بنیادین که پیوندِ میانِ مجموعهی چندجملهایها و ایدهآلِ تولیدشدهی آن را استوار میسازد.
۱. نگارههای هندسیِ مجموعههای جبری (صفحه ۲۵)
در این صفحه، ترسیمهایی شهودی به چشم میخورَد که هر یک بازنمای یک مجموعهی جبری ویژه در فضای آفین است. این نگارهها پلِ عبور از «جبرِ نمادین» به «هندسهی دیدنی» هستند:
منحنیِ گرهخورده (کراس): مجموعهی صفرهای چندجملهایِ
Y2 − X2(X + 1) = 0
که در مبدأ مختصات خود را قطع میکند و نگارهای گرهسان پدید میآورَد.
خطِ راستِ تکمعادلهای: مجموعهی صفرهای
V(X − 1)
که هندسهاش خطی موازیِ محور Y است.
نقطهی یگانهی دو معادلهای: مجموعهی صفرهای
V({X − 1, Y − 1})
که تلاقیِ دو خط است و به یک نقطهی تنها میانجامد.
مخروطِ دوطرفه: نگارهی
V(Z2 − (X2 + Y2))
در فضای آفینِ سهبعدی، که مخروطی دوطرفه و متقارن میسازد.
💡 نکتهی بصری: هر نگاره، در حقیقت همان «مجموعهی صفرِ» چندجملهایِ متناظر است؛ یعنی مکانِ هندسیِ همهی نقاطی که چندجملهای در آنجا نابود (صفر) میشود.
۲. قضیهی برابریِ صفرهای مجموعه و ایدهآلِ مولد (صفحه ۲۶)
پرسشِ بنیادین این است: اگر مجموعهای از چندجملهایها به نام S داشته باشیم، آیا مجموعهی صفرهای آن با مجموعهی صفرهای ایدهآلِ تولیدشده توسط S یکسان است؟
قضیه:
اگر I ایدهآلِ تولیدشده توسط مجموعهی S باشد، آنگاه:
V(S) = V(I)
برهانِ دو شمول:
شمولِ نخست: چون S زیرمجموعهی ایدهآلِ I است، هر نقطهای که همهی اعضای I را صفر کند، قطعاً اعضای S را نیز صفر میکند. پس:
V(I) ⊆ V(S)
شمولِ دوم: فرض کن نقطهی x عضو V(S) باشد. هر عضوِ ایدهآلِ I به شکلِ ترکیبِ خطی
∑ pi fi
نوشته میشود که در آن fiها عضو S هستند. چون
fi(x) = 0
، کلِ ترکیب خطی نیز در x صفر میشود. پس x عضو V(I) است:
V(S) ⊆ V(I)
🔑 نتیجهی طلایی: از دو شمولِ فوق، برابریِ کامل
V(S) = V(I)
حاصل میشود. به سخنِ دیگر، صفرهای یک مجموعهی چندجملهای، دقیقاً همان صفرهای ایدهآلِ تولیدشده توسط آن مجموعه است.
جمعبندیِ دو صفحه
| صفحه | سخنِ اصلی | رابطهی کلیدی |
| ۲۵ | ترسیمِ هندسیِ مجموعههای جبری | V(P) بهمثابهی مکانِ صفرها |
| ۲۶ | برابریِ صفرهای مجموعه و ایدهآلِ مولد | V(S) = V(I) |
«هر نگارهای که در صفحهی آفین میبینی، نجوایی است از یک چندجملهای؛ و هر ایدهآل، در نهان، جماعتِ صفرها را گردِ هم میآورد.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.