شهودِ هندسیِ مدولهای آزاد: از فضای سهبعدی تا تجریدِ جبری
گاه برای فهمِ حقایقِ بلندمرتبه و مجردِ جبر، باید به آستانهٔ شهودِ هندسی فرود آمد و قامتِ مفاهیم را در آینهٔ فضاهای آشنا به تماشا نشست. استاد در این یادداشت، حقیقتِ «تجزیهٔ مدول آزاد به مجموعِ مستقیمِ کپیهای حلقه» را با مثالِ درخشانِ فضای اقلیدسیِ سهبعدی پیشِ چشم مجسم میفرمایند.
مثال شهودی (فضای برداری سهبعدی V/ℝ):
فضای برداری V روی میدان اعداد حقیقی ℝ با بعد ۳ (dim V = 3) را در نظر بگیرید. پایهای استاندارد برای این فضا عبارت است از:
X = { i , j , k }
هر بردار f ∈ V را میتوان به صورت ترکیب خطی یکتایی از پایهها نگاشت:
∀ f ∈ V : f = x · i + y · j + z · k (x, y, z ∈ ℝ)
این فضا دقیقاً به سه راستای مستقل (محورهای مختصات) تجزیه میشود:
V/ℝ ≅ A1 ⊕ A2 ⊕ A3
که در آن هر زیرفضا (محور)، بازتابی کامل و یکریخت از خودِ میدانِ اعدادِ حقیقی است:
A1 = ℝ × {0} × {0} ≅ ℝℝ (راستای محور x با مولد i)
A2 = {0} × ℝ × {0} ≅ ℝℝ (راستای محور y با مولد j)
A3 = {0} × {0} × ℝ ≅ ℝℝ (راستای محور z با مولد k)
تذکر در باب مفهوم رتبه و آزادیِ مدول:
مدولِ F را در ساختارِ فوق، یک R-مدولِ آزاد (Free R-Module) مینامیم. به تعبیرِ کلی:
مدولِ F آزاد است هرگاه مجموعهای از عناصرِ آن موجود باشد که هم فضا را تولید کنند و هم مستقلِ خطی باشند (یعنی دارای «پایه» باشد).
برهانِ تعقیب عناصر در اثباتِ استقلال خطی:
برای تکمیلِ برهانِ عکسِ قضیه، فرض میکنیم ترکیبی خطی از تصاویرِ عناصرِ یکم برابرِ بردارِ صفر گردد:
φ1(1) · r1 + φ2(1) · r2 + ... + φn(1) · rn = 0
با توجه به ویژگیِ همریختی (φi(1 · ri) = φi(ri))، تساویِ فوق بدین صورت بازنویسی میشود:
φ1(r1) + φ2(r2) + ... + φn(rn) = 0
توجه فرمایید که هر جزء متعلق به مؤلفهٔ مستقلِ خویش است:
φ1(r1) ∈ A1 , φ2(r2) ∈ A2 , ... , φn(rn) ∈ An
از آنجا که مجموعِ مؤلفهها مستقیم است، شرطِ اشتراک صفر میان هر دو زیرمدولِ متمایز برقرار است:
∀ i ≠ j : Ai ∩ Aj = { 0 }
⇒ φi(1)R ∩ φj(1)R = { 0 }
⇒ φi(R) ∩ φj(R) = { 0 }
بنابراین هیچ مؤلفهای نمیتواند بارِ مؤلفهٔ دیگر را به دوش کشد و برای برقراریِ تساوی با صفر، تکتکِ مؤلفهها باید مستقلاً صفر باشند:
φi(ri) = 0 ⇒ ri = 0 (∀ i =یسم و در نتیجه یکبهیک) است:
φi(ri) = 0 ⇒ ri = 0 (∀ i = 1, 2, ..., n)
نتیجهٔ نهایی: کلیهٔ ضرایبِ اسکالر صفرند؛ در نتیجه مجموعهٔ { φi(1) } نسبت به هم کاملاً مستقلِ خطی هستند و پایهای برای F میسازند.
حکمت جبری و تجلیِ وحدت در کثرت:
همانگونه که فضای سهبعدی عالمِ ماده از سه محورِ مستقلِ طول و عرض و ارتفاع شکل یافته و هر راستا حریمِ خویش را بیتداخل با دیگری حفظ میکند، در عالمِ جبر نیز مدولهای آزاد ساختاری بلورین از ابعادِ مستقلاند؛ کثرتی منسجم که در پناهِ استقلالِ خطی، عمارتی واحد و آزاد برپا میسازند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.