Jump to content

מכפלה קרטזית

From Wikiversity

שעור תשיעי - מכפלה קרטזית[edit]

המושג הבא שנפגוש מבוסס על רעיון גאומטרי פשוט: כדי לתאר מלבן מישורי, שצלעותיו ניצבות לצירים, יש לתאר כל קואורדינטה בנפרד. למשל, כדי לבדוק אם אנחנו נמצאים בקבוצת הבלוקים במנהטן הנמצאים בין הרחוב ה-18 לרחוב ה-23 ובין השדרה ה-7-ית לשדרה ה-9-ית, עלינו לבדוק - בנפרד! - האם אנחנו ברחוב שבין 18 ל-23, והאם אנחנו בשדרה שבין ה-7-ית ל-9-ית. כמובן, המפתח להגדרה הוא הזוג הסדור שבנינו בשעור הקודם.

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

דוגמא. , ו- .

תרגיל. הוכח שהמכפלה הקרטזית היא הקבוצה הריקה אם ורק אם אחד הגורמים A או B הוא הקבוצה הריקה.

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

תרגיל. הוכח שהזוג הסדור (שהוא, כזכור, הקבוצה ) מוכל בקבוצת החזקה , ושייך לקבוצת החזקה שלה, .

טענה. לכל שתי קבוצות A,B, המכפלה הקרטזית מוכלת בקבוצת החזקה , ושייכת לקבוצת החזקה שלה, .

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





<< השיעור הקודם - זוגות סדורים דף הקורס - תורת הקבוצות השיעור הבא - פונקציות >>