نقطه چون آینه شد، ایده‌آل را جلوه‌گر آمده

هر چه اندر فضا نهان، در حلقه‌ی توابع، خبر آمده

برهانِ خلف، تیغِ برّانِ یقین، در کفِ عقل

تا ز باطل، صبحِ صادقِ حقیقت به در آمده

❖ جامعِ احکام و فرمول‌ها ❖

۱) تعریف‌ها و مقدمات

• • فضای کاملاً منظم: هاسدورف + جداسازیِ هر نقطه x از مجموعه‌ی بسته‌ی F با تابع f به‌طوری که f(x) = 1 و f(F) = 0.
• • حلقه‌ی توابع پیوسته: C(X) با اعمالِ نقطه‌به‌نقطه.
• • ایده‌آلِ توابعِ صفرشونده در x: m_x = { f : f(x) = 0 }.
• • ایده‌آلِ توابعِ محوشونده در همسایگیِ x: J_x = { f : f ≡ 0 در همسایگیِ x }.

۲) قضیه‌ی تناظر (نقطه ← ایده‌آل ماکزیمم)

• • نگاشتِ تناظر: x ← m_x.
• • شرطِ هم‌ارزی: m = m_x اگر و تنها اگر m ⊇ J_x.
• • پوشایی: هر ایده‌آلِ ماکزیممِ C(X) به شکلِ m_x است.
• • یک‌به‌یکی: اگر m_x = m_y آنگاه x = y.

۳) ابزارهایِ برهان

• • مجموعه‌ی صفر: Z(f) = { x : f(x) = 0 }.
• • فرضِ خلف: وجودِ f در m با f(x) ≠ 0.
• • تابعِ کمکیِ جداساز: g(x) = 1 و g = 0 بر Z(f).
• • ترکیبِ وارون‌پذیرساز: h = f + (1 − f)g (هرگز صفر نمی‌شود).

۴) زنجیره‌ی تناقض

• • چون h وارون‌پذیر است و h در m: نتیجه 1 ∈ m.
• • قاعده: اگر 1 ∈ m آنگاه m = C(X).
• • تناقض: ایده‌آلِ ماکزیمم هرگز کلِ حلقه نیست، پس m ≠ C(X).
• • ثبوت: پس f(x) = 0 برای هر f در m، و m = m_x.

۵) اصولِ کلیِ فضاهایِ کاملاً منظم

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

پایانِ راه، آغازِ دیدار است؛

هر ایده‌آل را در نهان، نقطه‌ای است آشکار.

استخراج‌شده از یادداشت‌های دست‌نویسِ توپولوژی و جبرِ جابجایی — حلقه‌ی C(X) و فضاهایِ کاملاً منظم.