۱. شناسنامه‌یِ جبریِ هر نقطه (برگِ ۲۰)

مفهومِ مرکزیِ این برگ، ایده‌آلِ m_x است: مجموعه‌یِ تمامِ توابعی که در نقطه‌ی x مقدارشان صفر است.

m_x = { f عضوِ C(X) : f(x) = 0 }

این ایده‌آل، «شناسنامه‌یِ جبری» نقطه‌ی x است. اکنون پرسشِ اصلی چنین است: آیا این نگاشت، که هر نقطه را به ایده‌آلِ متناظرش می‌برد، یک‌به‌یک است؟

پاسخ، مثبت است و اثباتِ آن زیباست. فرض کن دو نقطه‌ی مجزا داریم: x مخالفِ y. چون فضا هاسدورف است، تابعِ پیوسته‌ای وجود دارد که در x مقدار 1 و در y مقدار 0 است (تابعِ جداکننده). این تابع در m_y هست اما در m_x نیست؛ پس:

m_x ≠ m_y

به زبانِ ساده: نقاطِ متفاوت، شناسنامه‌هایِ جبریِ متفاوت دارند.

۲. برهانِ خلف برایِ یگانگی (برگِ ۲۱)

در این برگ، نویسنده به سراغِ برهانِ خلف می‌رود. ابتدا ایده‌آلِ J_x را تعریف می‌کند: مجموعه‌یِ توابعی که در همسایگیِ نقطه‌ی x محو می‌شوند (یعنی در اطرافِ x صفرند، نه فقط در خودِ x).

J_x = { f : f در همسایگیِ x صفر است }

سپس فرض می‌کند ایده‌آلی چون P داریم که شاملِ J_x است، و می‌پرسد: آیا P همان m_x است؟

برایِ پاسخ، فرض می‌کند نقطه‌ای دیگر چون y (مخالفِ x) در P باشد. آنگاه به کمکِ خاصیتِ هاسدورف، تابعی می‌سازد که در همسایگیِ x صفر است (پس در J_x و در نتیجه در P است) اما در نقطه‌ی y مقدارش ناصفر است. این یعنی آن تابع در m_y نیست، در حالی که از عضویت در P باید در هر ایده‌آلی که نقطه‌اش (یعنی y) در P است، باشد. این تناقض است؛ پس y نمی‌تواند در P باشد. نتیجه:

P = m_x

یعنی ایده‌آلی که شاملِ J_x است، به‌ناچار همان ایده‌آلِ نقطه‌ی x است. این است معنایِ دقیقِ یگانگی.

نکاتِ کلیدی برایِ یادداشت‌برداری

• خاصیتِ هاسدورف: ابزارِ جداسازیِ نقاط؛ هر دو نقطه‌ی مجزا را با دو همسایگیِ جدا از هم می‌توان از یکدیگر تفکیک کرد.
• تابعِ جداکننده: تابعی پیوسته که در یک نقطه 1 و در نقطه‌ی دیگر 0 است.
• ایده‌آلِ m_x: توابعِ صفرشونده در خودِ نقطه‌ی x.
• ایده‌آلِ J_x: توابعِ محوشونده در همسایگیِ x؛ این ایده‌آلِ محلی، نقشِ محوری در شناسایی دارد.
• نتیجه‌ی نهایی: نگاشتِ x ↦ m_x یک‌به‌یک است؛ فضا را می‌توان کاملاً در جبر بازیافت.

پیوند با اوراقِ بعدی

این برهان، بذرِ نظریه‌ای بزرگ است. همین نگاشتِ «نقطه به ایده‌آلِ ماکزیمم» را گلفاند به قلمرویِ C*-جبرها برد و هندسه‌ی ناجابجایی (به کوششِ کان) از دلِ آن زاده شد. در اوراقِ ۲۲ تا ۲۴ دیدیم که همین منطق، با جایگزینیِ C(X) به K[x₁, ..., x_n]، هندسه‌ی جبری را می‌سازد: نقطه‌ها به ایده‌آل‌هایِ ماکزیممِ حلقه‌ی چندجمله‌ای‌ها بدل می‌شوند.