نقطه چون آینه شد، ایدهآل را جلوهگر آمده
هر چه اندر فضا نهان، در حلقهی توابع، خبر آمده
برهانِ خلف، تیغِ برّانِ یقین، در کفِ عقل
تا ز باطل، صبحِ صادقِ حقیقت به در آمده
در ثبوتِ قضیهی تناظر: از ساختِ تابع تا فرجامِ برهان
در دو برگِ پیشین، نگارنده پایههایِ بحث را استوار کرد: تعریفِ فضایِ کاملاً منظم، و آن همارزیِ سترگ که میانِ «نقطهی x» و «ایدهآلِ ماکزیمم m» پیوندی است ناگسستنی. اینک در این سه برگِ پایانی، قدم در وادیِ «اثبات» مینهیم؛ سفری که از ساختِ تابعِ کمکی آغاز میشود، بر لبهی تیغِ تناقض میگذرد و به ثبوتِ نهاییِ قضیه میرسد.
گام نخست: ساختِ تابعِ کمکی و ظهورِ وارونپذیری
برهان از «امکان» به «وقوع» میگراید. نویسنده میداند اگر تابعی چون f در ایدهآلِ m باشد و در نقطهی x صفر نشود، یعنی f(x) مخالف صفر است، آنگاه به یمنِ پیوستگی، این تابع در یک همسایگیِ باز از x نیز صفر نمیشود. در نتیجه مجموعهی صفرِ f که آن را Z(f) مینامیم، از نقطهی x فاصله دارد.
- جداسازی به یاریِ کاملاً منظمی: چون فضا کاملاً منظم است، تابعی چون g وجود دارد که در x مقدارِ «یک» میگیرد و بر مجموعهی بستهی Z(f) مقدارِ «صفر».
- ترکیبِ توابع: نگارنده با ساختنِ تابعی چون h = f + (1 - f)g — یا صورتی همارز با آن — تابعی میسازد که عضوی از ایدهآلِ m است و هرگز صفر نمیشود.
- وارونپذیری: هر تابعِ پیوسته که هیچگاه صفر نشود، در حلقهی C(X) وارون دارد. پس در ایدهآلِ m عنصری وارونپذیر یافت میشود.
وجودِ عنصرِ وارونپذیر در یک ایدهآل، نشانهی آن است که ایدهآل، عددِ «یک» را در بر میگیرد و دیگر سره نیست.
گام دوم: تناقض و ثبوتِ نهایی
اینجاست که برهانِ خلف دامانِ خود را برمیچیند و حقیقت را عریان میسازد. زنجیرهی استدلال چنین است:
- چون عنصرِ وارونپذیر در m یافتیم، حاصلضربِ آن در وارونش — یعنی «یک» — نیز در m جای میگیرد.
- اما هر ایدهآلی که «یک» را ببلعد، با کلِ حلقه یکی میشود؛ یعنی m = C(X).
- این با «ماکزیمم» و «سره» بودنِ m در تناقض است؛ زیرا ایدهآلِ ماکزیمم، هرگز کلِ حلقه نیست.
نتیجهی قطعی: فرضِ وجودِ تابعی در m با مقدارِ ناصفر در x باطل است. پس هر عضوِ m در x صفر میشود و m دقیقاً همان m_x است.
گام سوم: جمعبندی و افقهایِ پیش رو
پس از این سیرِ طولانی در وادیِ برهان، نگارنده به دامنهی وسیعترِ بحث مینگرد و نکاتِ زیر را برجسته میسازد:
- تناظرِ یکبهیک: نگاشتِ x ← m_x میانِ نقاطِ فضا و ایدهآلهایِ ماکزیممِ C(X) یکبهیک و پوشا است.
- نقشِ فشردگی: در فضایِ فشرده، این تناظر صورتِ کامل و روشنِ خود را مییابد؛ فشردگی، پیوند را استوار میکند.
- پیوندِ هندسه و جبر: این قضیه پلِ استواری است میانِ توپولوژیِ فضا و ساختارِ جبریِ حلقهی توابعِ پیوسته.
بدینسان، نقطه در آینهی ایدهآلها تجلی مییابد و نظمِ هستی در دلِ جبرِ توابع بازتاب میشود.
پایانِ راه، آغازِ دیدار است؛
هر ایدهآل را در نهان، نقطهای است آشکار.
استخراجشده از یادداشتهای دستنویسِ توپولوژی و جبرِ جابجایی — حلقهی C(X) و فضاهایِ کاملاً منظم.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.