مشخصه ایده‌آل‌های ماکسیمال در حلقه توابع پیوسته
هو الباقی
شکر و سپاس دفتری را سزاست که لوحِ وجودِ ممکنات را به تجلیِ صفات آراست و در محفلِ انسِ عارفان، نشانِ بی‌نشانِ خویش را در آینه‌سارِ حقیقت بنمایاند.
حلقه‌ای از توابعِ پیوسته، دایره‌ای است از جلوه‌های گوناگونِ هندسه و شهود. در این گلزار، هر نقطه از فضای عالم، ایده‌آلی ماکسیمال به نام m_x بنا می‌کند که همانندِ دریچه‌ای به سرچشمهٔ صفر شدن و فناست. اما سالکِ طریقِ توپولوژی می‌پرسد: آیا هر فناپذیری و هر ایده‌آلِ کمالی، به نقطه‌ای مشخص در این جهان بند است؟
در این گفتار، نشان می‌دهیم که در فضاهای "کاملاً منظم"، پیوندِ میانِ همسایگی و نقطه استوار می‌گردد. اثبات می‌کنیم که چگونه یک ایده‌آلِ ماکسیمال، زمانی با نقطهٔ خویش یکی می‌شود که از مجرای همسایگی‌های کوچک (ایده‌آلِ J_x) گذر کند. و در نهایت، فشرده بودنِ فضا را در آینهٔ این هم‌ریختی به تماشا می‌نشینیم تا بدانیم که چون فضا فشرده و کران‌دار شود، هیچ ایده‌آلِ ماکسیمالی بیرون از قلمروِ نقاطِ جهان سرگردان نخواهد ماند؛ که کلُّ شیءٍ هَالِکٌ إِلَّا وَجْهَهُ...
مقدمه: فضای کاملاً منظم
در یک فضای کاملاً منظم (یا Tychonoff)، برای هر نقطه x و هر مجموعه بسته F که شامل x نیست، تابع پیوسته‌ای مانند f وجود دارد که روی F برابر با یک و در یک همسایگی از x برابر با صفر باشد. این ویژگی، هسته اصلی رفتار حلقه توابع پیوسته C(X) است.
قضیه اصلی: مشخصه ایده‌آل‌های ماکسیمال
اگر X یک فضای کاملاً منظم باشد، یک ایده‌آل m در C(X) ماکسیمال است و به فرم m_x (مجموعه توابعی که در نقطه x صفر می‌شوند) است، اگر و تنها اگر شامل ایده‌آل J_x باشد.
رابطه ریاضی: m = m_x اگر و تنها اگر m شامل J_x باشد.
خلاصه اثبات
- جهت مستقیم: اگر m = m_x باشد، به سادگی دیده می‌شود که m شامل J_x است؛ زیرا توابع عضو J_x در یک همسایگی از x صفر هستند، پس در خود x نیز صفر بوده و عضو m_x می‌باشند.
- جهت عکس: اگر m شامل J_x باشد، فرض می‌کنیم m ماکسیمال است. با برهان خلف، اگر m برابر با m_x نباشد، عضوی مانند f در m وجود دارد که f(x) غیر صفر است. با استفاده از خاصیت کاملاً منظم بودن فضا، تابعی کمکی g می‌سازیم که حاصل‌ضرب f و g در یک همسایگی از x برابر با یک شود. این امر منجر به عضویت عدد 1 در m می‌شود که با ماکسیمال بودن آن در تناقض است. لذا ناچار m = m_x است.
نتیجه برای فضاهای فشرده
قضیه نهایی نشان می‌دهد که فضای کاملاً منظم X فشرده است، اگر و تنها اگر هر ایده‌آل ماکسیمال در C(X) به صورت m_x برای یک نقطه x در X باشد. به عبارت دیگر، فشرده بودن فضا تضمین می‌کند که هیچ ایده‌آل "نابهنجاری" (که نتوان آن را به یک نقطه نسبت داد) وجود ندارد.
پایان بخش جبر توابع پیوسته و فضاهای توپولوژیک
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.