מרחב מכפלה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ {{טופולוגיה}} |
MathKnight (שיחה | תרומות) הרחבה קלה |
||
שורה 2:
==הגדרה פורמלית==
תהיה <math>\left\{X_n\right\}_{n\isin\
: <math>X=\prod_{n \in \Lambda} X_n</math>. עבור כל קוארדינטה <math>\!\, n</math> קיימת פונקצית ההטלה <math>\!\, p_n:X\rarr X_n</math> שלכל נקודה במרחב המכפלה מחזירה את ערך הקוארדינטה <math>\!\, n</math> שלה. טופולוגית המכפלה על המרחב הזה תוגדר בתור הטופולוגיה החלשה ביותר (כלומר, בעלת המספר הקטן ביותר של קבוצות פתוחות) שעבורה כל ההטלות הן [[רציפות (טופולוגיה)|פונקציות רציפות]]. ניתן לאפיין בקלות יחסית את [[בסיס לטופולוגיה|תת הבסיס]] של טופולוגיה זו: תת-הבסיס מורכב מ[[מכפלה קרטזית]] של [[קבוצה פתוחה]] <math>\ V_{\n_0}</math> בשאר המרחבים, כלומר: <math>\ U_{n_0} = V_{n_0} \times \prod_{n \ne \n_0} X_n</math>. קבוצה מהצורה הזאת נקראת "קבוצה גלילית". הבסיס מתקבל ע"י לקיחת כל החיתוכים ה'''סופיים''' של קבוצות גליליות.
[[קטגוריה:טופולוגיה]]
{{טופולוגיה}}
|