מכפלה קרטזית

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

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

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

$X_1\times X_2\times...\times X_N = \left\{(x_1,x_2,...,x_N) \ | \ \forall n : x_n \isin X_n \right\}$

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

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

אקסיומת הבחירה היא הקביעה שאם $\!\, \Lambda$ היא קבוצה של אינדקסים ולכל $n \in \Lambda$ הקבוצה $\ X_n$ לא ריקה, אז המכפלה הקרטזית $\prod_{n \in \Lambda} X_n$ לא ריקה.

דוגמאות

המרחב $\!\, \mathbb{R}^n$ הוא מכפלה קרטזית של $\!\, n$ פעמים הישר הממשי $\!\, \mathbb{R}$ . בכתיב פורמלי: $\!\, \mathbb{R}\times\mathbb{R}\times\dots\times\mathbb{R}=\mathbb{R}^n$ (זו גם הסיבה שבגללה כותבים את $\!\, \mathbb{R}$ בחזקת $\!\, n$ ).

כל וקטור במרחב זה הוא n-יה סדורה

\!\, (x_1,x_2,\dots,x_n)

. על פי ההגדרה הפורמלית שניתנה לעיל, כל וקטור הוא פונקציה

\!\, f:\Lambda\to\mathbb{R}

כאשר

\!\, \Lambda=\left\{1,2,\dots,n \right\}

. עבור נקודה כלשהי

\!\, (x_1,x_2,\dots,x_n)

במרחב, הפונקציה המתאימה לה היא זו המקיימת

\!\, f(k)=x_k

נביט בקבוצות $\!\, X_n=\left\{1,\dots,n\right\}$ כאשר $\!\, n\isin\mathbb{N}$ . המכפלה $\prod_{n \in \mathbb{N}} X_n$ היא קבוצת הפונקציות $\!\, f:\mathbb{N}\to\mathbb{N}$ המקיימות $\!\, \forall n\isin\mathbb{N}:f(n)\le n$ .

ראו עוד

תורת הקבוצות

Gourt Home::Gourt :: מכפלה קרטזית

דוגמאות

ראו עוד