رقصِ سهمی و خط: سنتزِ هندسه و جبر
ای طالبِ معرفت، دو مجموعهی جبری در صفحهی آفین
A2
تعریف میکنیم:
سهمی: S = V(Y − X2)
خط: L = V(Y − 1)
۱. تلاقی (اشتراک): یافتنِ نقاطِ دیدار
طبقِ قوانینِ صفحاتِ پیشین، اشتراکِ این دو مجموعه، مجموعهی صفرهایِ ایدهآلِ حاصل از اتحادِ مولدهاست:
S ∩ L = V(Y − X2 , Y − 1)
برای یافتنِ نقاط، باید دستگاهِ معادلاتِ
Y = X2
و
Y = 1
را حل کنیم. با جایگذاری داریم:
1 = X2
که یعنی
X = 1
یا
X = −1 .
💎 نتیجه: اشتراکِ ما، مجموعهی دو نقطه است:
{ (1, 1), (−1, 1) } .
۲. اجتماع: هندسهی ترکیبی
طبقِ قانونِ اجتماع (صفحه ۲۹)، اجتماعِ این دو مجموعه برابر است با مجموعهی صفرهایِ حاصلضربِ دو چندجملهای:
S ∪ L = V((Y − X2) · (Y − 1))
این مجموعهی جبری، دیگر تجزیهناپذیر نیست! چرا؟ چون از دو مؤلفهی جبری (سهمی و خط) ساخته شده است. این دقیقاً همان جایی است که جبرِ چندجملهایها (تجزیهپذیریِ حاصلضرب) مستقیماً هندسه (تجزیهپذیریِ مجموعه) را تعیین میکند.
۳. تأمل در ایدهآلِ محوکننده
اگر بپرسیم «کدام چندجملهای بر هر دو نقطهی (1, 1) و (-1, 1) صفر میشود؟»، باید به سراغِ ایدهآلِ محوکنندهی این دو نقطه برویم:
I({ (1, 1), (−1, 1) }) .
یک عضوِ ساده از این ایدهآل، حاصلضربِ مؤلفههایی است که در نقاط صفر میشوند:
(X − 1)(X + 1) = X2 − 1
و البته چندجملهایِ
Y − 1
نیز در هر دو نقطه صفر است.
این نشان میدهد که ایدهآلِ محوکنندهی تلاقیِ ما، توسطِ این چندجملهایها تولید میشود. پیوندِ جبر و هندسه، اینجا در عیانترین شکلِ خود است.
خلاصهی سازوکارِ ترکیبی
| عمل | هندسه (V) | جبر (I) |
| اشتراک | دو نقطه | (Y−X2, Y−1) |
| اجتماع | سهمی ∪ خط | (Y−X2)(Y−1) |
«در تلاقیِ این سهمی و خط، نه تنها دو نقطه پدید آمد، که حقیقتی بزرگ هویدا گشت: هر تلاقی در هندسه، یک پیوند در جبر است؛ و هر اجتماع، یک ضربِ ساده در قاموسِ چندجملهایها.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.