تحلیلِ برهانِ حلقهی مختصات ★
این برهان از دلِ سه گام ساخته شده؛ چونان معمارِ خانهای که نخست بُن (نگاشت)، سپس دیوارها (هسته) و آنگه سقف (قضیه همریختی) را برافرازد. بنگر چگونه هر پاره به دیگری وسپر میدهد:
۱) نگاشتِ ψ — پلِ میان جبر و هندسه
یک همریختیِ حلقهای تعریف میکنیم، که هر چندجملهای را به تابعِ محدودشدهیِ روی مجموعه V برمیگرداند:
ψ : k[x1, ..., xn] ⟶ Γ(V) ↔ ψ(f) = f|₍ᵥ₎
۲) هستهی ψ — دیوارِ گزینش
هستهی این نگاشت یعنی آن چندجملهایهایی که بر تمامِ V صفر میشوند. و این، خودِ عینِ تعریفِ «ایدهآلِ ناپدیدشوندگی» I(V) است:
ker ψ = { f ∈ K[x₁,...,xₙ] | f|ₙᵥ = 0 } = I(V)
۳) قضیهی یکمِ همریختی — سقفِ برهان
اکنون بکار میبریم قضیهی بنیادینِ جبرِ حلقهها (First Isomorphism Theorem)، که میگوید: خارجقسمت بر هسته، با تصویر همشکل است. و چه تصویری زیباتر از خودِ Γ(V)؟ پس:
K[x₁, x₂, ..., xₙ] ⁄ I(V) ≅ Γ(V)
★ تأملی در آینهی برهان
در این نگاره، رازی از صفتِ وحدتِ وجود دیده میشود. چندجملهایها — این کثرتِ بیکران — در خانهی بزرگِ (k[x₁,...,xₙ]) پراکندهاند؛ اما تنها آنانی به جایگاهِ توابعِ Γ(V) دست مییابند که در حلقهی V فانی (نخست) شدهاند. هسته، دیوارِ ردّ است؛ تصویر، تجلّیِ باقی.
این است سیرِ میانِ فرم و معنا؛ هندسهای که در جبر حلول میکند. ✦
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.