تعاریفِ پایه و مثالهایِ هندسی-جبری
فرهنگنامهیِ اصطلاحات به همراه شواهدِ ملموس
الف) تعاریفِ بنیادین
۱. ایدهآلِ متناظر با یک زیرمجموعه (Ideal of a Set - I(V)):
اگر V ⊆ Aⁿ(k) یک زیرمجموعه از فضای آفین باشد، ایدهآلِ I(V) برابر است با تمام چندجملهایهایی که روی تمام نقاط V محو (صفر) میشوند:
I(V) = { f ∈ k[x₁, ..., xₙ] | ∀(x₁, ..., xₙ) ∈ V : f(x₁, ..., xₙ) = 0 }
۲. حلقهٔ مختصاتِ آفین (Coordinate Ring - k[V]):
حلقهٔ توابع چندجملهایِ تعریفشده بر روی چندگونهٔ V است که از خارجقسمت حلقهٔ اصلی بر ایدهآل I(V) به دست میآید:
k[V] = k[x₁, ..., xₙ] / I(V)
۳. اَبَرویه (Hypersurface):
مجموعهٔ صفرهای یک تکچندجملهایِ غیرثابت F را یک اَبَرویه مینامند و با V(F) نشان میدهند. در صفحهٔ دو بعدی (A²)، اَبَرویهها همان منحنیهای جبری هستند.
۴. چندگونهٔ تحویلناپذیر و تحویلپذیر (Irreducible vs Reducible):
چندگونهٔ جبریِ V را تحویلناپذیر گویند هرگاه نتوان آن را به صورت اجتماع دو زیرچندگونهٔ جبری اکید نوشت (V ≠ V₁ ∪ V₂ با V₁ ⊊ V و V₂ ⊊ V).
اگر چنین تجزیهای ممکن باشد، آن را تحویلپذیر مینامند.
ب) مثالهایِ شهودی و تشریحی
مثال ۱ (مجموعهٔ تحویلپذیر - تقاطع دو محور):
در صفحهٔ A²(k) با متغیرهای (x, y)، مجموعهٔ صفرهای چندجملهای F(x, y) = x · y را در نظر بگیرید:
V(x · y) = V(x) ∪ V(y)
• V(x) محور yها است و V(y) محور xها.
• چون V(xy) به صورت اجتماع دو خطِ بستهٔ اکید تجزیه شده، این چندگونه تحویلپذیر است.
• در ساحتِ جبر نیز ایدهآل 〈x · y〉 اول نیست؛ زیرا x · y ∈ 〈xy〉 ولی نه x ∈ 〈xy〉 و نه y ∈ 〈xy〉.
مثال ۲ (چندگونهٔ تحویلناپذیر - سهمی):
سهمیِ V = V(y - x²) را در نظر بگیرید.
• چندجملهای y - x² در حلقهٔ k[x, y] تحویلناپذیر است، بنابراین ایدهآل I(V) = 〈y - x²〉 یک ایدهآل اول است.
• در نتیجه، سهمی یک چندگونهٔ تحویلناپذیر است و نمیتوان آن را به اجتماعِ بستههایِ کوچکتر شکست.
مثال ۳ (پیچش مکعبی به صورت اشتراک متناهی ابررویهها):
منحنیِ پیچش مکعبی (Twisted Cubic) در A³ با ایدهآلِ I = 〈y - x², z - x³〉 حاصل اشتراک دو اَبَرویه است:
V(I) = V(y - x²) ∩ V(z - x³)
این مثال عینی قضیهٔ هیلبرت است که چگونه یک خم فضایی از تلاقی متناهی رویهها ساخته میشود.
تعاریف، بنیادهایِ ادراکاند و مثالها، آینههایی که حقیقتِ مجرد را در عالمِ عین نمایان میسازند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.