לדלג לתוכן

טופולוגיית זריצקי

מתוך ויקיפדיה, האנציקלופדיה החופשית

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה, טופולוגיית זריצקי היא טופולוגיה המוגדרת על המרחב האפיני, כך שהיריעות האלגבריות הן קבוצות סגורות. הכלים הטופולוגיים שטופולוגיית זריצקי מזריקה לחקר הפולינומים, הופכת אותה לטופולוגיה הסטנדרטית בגאומטריה אלגברית ובתחומים הנושקים לה, כמו חבורות אלגבריות. היא הוצגה לראשונה על ידי המתמטיקאי אוסקר זריצקי.

הגדרה ותכונות יסודיות

[עריכת קוד מקור | עריכה]

טופולוגיית זריצקי מוגדרת על מרחב אפיני מממד סופי , כאשר שדה כלשהו. יריעות האפסים עבור הפולינומים מהוות בסיס של קבוצות סגורות לטופולוגיה; לחלופין, הקבוצות מהוות בסיס לטופולוגיה (וזהו אכן בסיס, משום ש-). מכיוון שחוג הפולינומים נותרי, הקבוצות הסגורות הן קבוצות מהצורה עבור מספר סופי של פולינומים . מסיבה זו, כל קבוצה סגורה בטופולוגיית זריצקי היא קומפקטית.

טופולוגיית זריצקי היא הטופולוגיה הקטנה ביותר שעבורה כל הפונקציות הפולינומיות הן רציפות, ביחס לטופולוגיה הקו-סופית על . אכן, הטופולוגיה הקו-סופית היא טופולוגיית זריצקי של עצמו.

באופן כללי יותר כל העתקה פולינומית בין מרחבים וקטוריים היא רציפה בטופולוגיית זריצקי.

קבוצות האפסים

[עריכת קוד מקור | עריכה]

תהי אלגברת הפולינומים מעל שדה סגור אלגברית , ויהי אידיאל כלשהו. נגדיר

אזי:

  1. .
  2. כל הקבוצות מהצורה הן קבוצות סגורות בטופולוגיית זריצקי.
  3. "הופך סדר הכלה": .
  4. .
  5. .
  6. כל נקודה היא קבוצה סגורה (היא מאפסת את האידיאל המקסימלי שנוצר על ידי , ראו משפט האפסים של הילברט).

אידיאלים מאפסים

[עריכת קוד מקור | עריכה]

נגדיר לכל את

זהו אידיאל ב-. אזי:

  1. זהו אידיאל רדיקלי: .
  2. משפט האפסים של הילברט:
    1. (הסגור של H).
    2. לכל אידיאל מתקיים .
  3. "הופך סדר הכלה":
  4. .
  5. .

מתכונות אלה מסיקים שיש התאמה חד-חד-ערכית ועל בין הקבוצות הסגורות של לבין האידיאלים הרדיקליים של . ניתן להכליל זאת ל--אלגברה כללית כאשר את מחליפה שהיא קבוצת האידיאלים המקסימליים של . במקרה ש- היא אלגברת הפולינומים ניתן להראות באמצעות משפט האפסים של הילברט (בגרסתו החלשה) ש-.

מהאמור לעיל, . במקרה הזה, ניתן לראות שההתאמה בין אידיאל מקסימלי ל"נקודה" במרחב האפיני ניתנת על ידי

כאשר הסוגריים באגף ימין מסמלים את האידיאל הנוצר על ידי הפונקציות הללו. למעשה,

.

כעת, יהי אידיאל בחוג , אזי אם ורק אם לכל מתקיים ש-, כלומר: לכל מתקיים , כלומר: האידיאל הנוצר על ידי מוכל באידיאל המקסימלי הנוצר על ידי . נכליל זאת: כאשר הוא האידיאל המקסימלי המתאים ל-.

באמצעות הכללה זו אפשר להגדיר עבור -אלגברה טופולוגיית זריצקי לא רק על אלא גם על - אוסף האידיאליים הראשוניים של . ההכללה נעשית באמצעות ההגדרה הבאה:

יהי אידיאל ב-, אזי אידיאל ראשוני שייך ל- אם ורק אם ,

ואז מגדירים את הקבוצות מהצורה להיות הקבוצות הסגורות ב-. הכללה זו מובילה למושג הסכמה (ראו סכמה אפינית).

המרחבים הטופולוגיים המתקבלים כספקטרום של חוג קומוטטיבי נקראים מרחבים ספקטרליים (אנ').

לקריאה נוספת

[עריכת קוד מקור | עריכה]
  • T.A. Springer, Linear Algebraic Groups, chapter 1

קישורים חיצוניים

[עריכת קוד מקור | עריכה]