שינויים
/* דף 3-שאלה 4 */ פסקה חדשה
'''1, 2, 3ג ו-5 (בהרצאה כיסיתם הכל). תאריך ההגשה לא לרביעי הקרוב כמובן. עדי
== דף 3-שאלה 4 ==
שלום לכולם,
רבים ממכם ניגשו אלי עם שאלה זאת ע"מ שאבדוק אם פיתרונכם תקין.
לאור כך ובשל העובדה שמבנה התרגיל שונה מקודמיו אבקש מכם בכל לשון של בקשה להעמיק בקריאת הפיתרון המצורף ולהעלות שאלות אם משהו לא ברור. עדי
תרגיל: יהי <math>E</math> יח"ש על <math>A</math> ויהי <math>F</math> יח"ש על <math>B</math>. תהי <math>G=\{((a_1,b_1),(a_2,b_2)):(a_1,_1)\in E,\ (b_1,b_2)\in F\}</math>.
הוכח כי <math>G</math> יח"ש על <math>A\times B</math>.
פתרון: ראשית, בואו נבין היטב את הגדרת <math>G</math>. יחס זה בנוי מ'''זוגות סדורים של זוגות סדורים''' (לא <math>(a_1,b_1),(a_2,b_2)</math> שזו סתם רשימה של שני איברים, לא <math>(a_1,b_1)\times (a_2,b_2)</math> שאין לי מושג מה זה, ועוד כל מיני צורות כאלו ואחרות שהופיעו בפיתרונותיכם), כך ש'''הקואורדינטות הראשונות''' מתייחסות ב-E ו'''הקואורדינטות השניות''' מתייחסות ב-F (ולא הזוג הראשון ב-E והזוג השני ב-F).
כעת, יש להוכיח ש-G יחס על <math>A\times B</math>:
