מרחב מכפלה – הבדלי גרסאות

: <math>X=\prod_{n \in \Lambda} X_n</math>.

 

 

ניתן לאפיין בקלות יחסית [[בסיס לטופולוגיה|תת-בסיס]] של טופולוגיה זו: התת-בסיס מורכב מ[[מכפלה קרטזית]] של [[קבוצה פתוחה]] <math>\ V_{N} \subset X_{N}</math> בשאר המרחבים. כלומר, <math>\ U_{N} = V_{N} \times \prod_{n \ne N} X_n</math>. קבוצה מהצורה הזאת נקראת "קבוצה גלילית". הבסיס מתקבל על ידי לקיחת כל החיתוכים ה'''סופיים''' של קבוצות גליליות. כלומר, אם קבוצה היא פתוחה במרחב המכפלה אז ההטלה שלה לכל קוארדינטה היא פתוחה, וההטלה שלה ל[[כמעט כל (מתמטיקה)|כמעט כל]] המרחבים היא המרחב כולו. יש לציין כי כאשר המכפלה היא סופית, הגדרה זו מתלכדת עם ההגדרה ה"נאיבית" של טופולוגיית המכפלה, שבה תת-הבסיס הוא קבוצות גליליות, ואם קבוצה היא פתוחה אז ההטלה שלה לכל מרחב היא פתוחה. כדאי לשים לב כי גרירה זו נכונה רק בכיוון אחד - גם אם כל ההטלות של קבוצה לכל המרחבים היא פתוחה, אין זה אומר שהקבוצה היא פתוחה.