פתיחת התפריט הראשי

שינויים

מ
אין תקציר עריכה
בצורה פורמלית, נוכל להגדיר מכפלה קרטזית של כל משפחה (גם אינסופית) של קבוצות באמצעות קבוצת [[פונקציה|פונקציות]] שמוגדרת כך:
 
<math>\prod_{n \in \Lambda} X_n = \{ f : \Lambda \to \bigcup_{n \in \Lambda} X_n\ \ | \ \forall n:f(n) \in X_n\}</math>. כאן <math>\!\, \Lambda</math> היא קבוצה של אינדקסים (דהיינו - לכל איבר בקבוצת האינדקסים מתאימה קבוצה אחת מתוך הקבוצות המוכפלות). האיברים של המכפלה הן פונקציות, כך שכל פונקציה מייצגת "נקודה" במכפלה. ה[[קואורדינטות]] של הנקודה הן בדיוק הערכים שמחזירה הפונקציה. הדרישה על הפונקציות הללו היא שלכל קוארדינטהקואורדינטה, הפונקציה תחזיר ערכים השייכים רק לקבוצה שאותה מייצגת הקוארדינטההקואורדינטה.
 
[[אקסיומת הבחירה]] היא הקביעה שאם <math>\!\, \Lambda</math> היא קבוצה של אינדקסים ולכל
286,010

עריכות