ریاضیات

مفاهیم و احکامِ تصویرِ دوم: فضاهای کاملاً منظم و مشخصهٔ ایده‌آل‌های ماکسیمال

در این صفحه، بحث از سطحِ مثال‌های آغازین فراتر می‌رود و به تعریفِ یکی از ارکانِ اصلیِ فضاهای هاسدورف

می‌رسیم: فضای کاملاً منظم. در این فضاها، جداسازیِ نقطه از مجموعه‌های بسته

نه تنها با مجموعه‌های باز، که با توابع پیوسته انجام می‌شود؛

و این دقیقاً همان پلی است که توپولوژی را به جبرِ حلقهٔ توابع پیوسته می‌پیوندد.

۱) تعریفِ فضای کاملاً منظم (تیخونوف)

فضای توپولوژیک X را کاملاً منظم (یا تیخونوف) گوییم هرگاه

برای هر نقطهٔ x ∈ X و هر مجموعهٔ بستهٔ F ⊆ X

که شاملِ x نباشد، تابعِ پیوسته‌ای مانند

f : X → [0, 1] وجود داشته باشد چنان‌که:

• در همسایگیِ نقطهٔ x مقدارِ 0 بگیرد؛
• روی مجموعهٔ بستهٔ F مقدارِ 1 بگیرد.

به بیان دیگر، هر نقطه و هر مجموعهٔ بستهٔ جدا از آن را می‌توان با یک تابع پیوسته از هم بازشناخت؛

این خود، نیرومندترین ابزار برای «دیدنِ» جداییِ توپولوژیک از راهِ ابزارهای جبری است.

۲) احکام کمکی

• فشردهٔ هاسدورف:

  هر فضای فشردهٔ هاسدورف، کاملاً منظم است.

• وراثت:

  هر زیرفضایِ یک فضای کاملاً منظم، خودش نیز کاملاً منظم است.

• متری:

  هر فضای متری، کاملاً منظم است؛

  زیرا فاصله تا مجموعه، تابعی پیوسته است که جداسازی را ممکن می‌سازد.

۳) قضیهٔ مرکزی: مشخصهٔ ایده‌آل‌های ماکسیمال

مهم‌ترین حکمِ این صفحه، پلی است میانِ نقطهٔ فضا و ایده‌آلِ ماکسیمال در حلقهٔ توابع پیوسته.

برای ایده‌آلِ ماکسیمال m در حلقهٔ C(X)

و نقطهٔ x ∈ X:

در این رابطه، m_x ایده‌آلِ توابعی است که در نقطهٔ

x صفر می‌شوند، و J_x

ایده‌آلِ توابعی است که در یک همسایگیِ x صفرند.

تفسیر قضیه:

برای آنکه بدانیم آیا یک ایده‌آلِ ماکسیمالِ ناشناخته، دقیقاً همان ایده‌آلِ صفر شدن در نقطهٔ

x است، لازم نیست کلِ ایده‌آل را بررسی کنیم؛

کافی است ببینیم آیا آن ایده‌آل، هستهٔ توابعِ صفر در همسایگی یعنی

J_x را در بر می‌گیرد یا نه.

این، راهی برای بازشناسیِ نقاطِ فضا از طریق ساختارِ جبریِ ایده‌آل‌های ماکسیمال است.

خلاصهٔ کوتاه:

در فضای کاملاً منظم، نقطه را از مجموعهٔ بسته می‌توان با یک تابعِ پیوسته جدا کرد؛

فضاهای فشردهٔ هاسدورف، زیرفضاهای فضاهای کاملاً منظم و فضاهای متری همگی کاملاً منظم‌اند؛

و قضیهٔ مرکزی می‌گوید

m = m_x ⇔ m ⊇ J_x.