שינויים
/* אינדוקציה */
=שאלות=
==אינדוקציה==
לאחרונה הסתובבה שמועה על אינדוקציה
:::::אבל תומר, מי אמר שהיחס חייב להיות בהכרח טרנזיטיבי?!?
::::::זה לא סתם יחס - זו המכפלה עצמה, והיא טרנזיטיבית. -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 23:25, 25 ביולי 2010 (IDT)
זה לא משנה אם היא טרנזיטיבית או לא, ברגע ש-<math> (0,1)\in A\times B \wedge (1,0)\in A\times B ==> 0\in A \wedge 1\in B \wedge 1\in A \wedge 0\in B ==> (1,1)\in A\times B</math>[[משתמש:תומר זוארץ|תומר זוארץ]] 00:08, 26 ביולי 2010 (IDT)
:זה כן משנה אם היא טרנזיטיבית, אם היא לא היתה לא היית יכול להוכיח <math>(1,0),(0,1)\in A\times B \Rightarrow (1,1) \in A\times B</math> -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 18:03, 26 ביולי 2010 (IDT)
תודה!!!
האם חובה להוכיח ש-<math>\overline{\bigcup_{i \in I} A_i } = \bigcap_{i \in I} \overline{A_i}</math> ולהיפך (עם חיתוך במקום איחוד) במבחנים ובש"ב? תודה, אור שחף - [[שיחת משתמש:אור שחף|שיחה]] 19:33, 20 ביולי 2010 (UTC)
:אור, זה בעצם חוקי דה-מורגן שלכל <math>(A_i\cup A_{i+1})^c = A_i^c\cap A_{i+1}^c</math> רק באופן כללי וגורף <math>\forall i\in I </math>, באיחוד מלא. בחוקי דה-מורגן אפשר להשתמש ללא הוכחה.. אך עדיין אני לא בטוח ב-100%.. חוקי דה-מורגן באיחוד מלא..
::הבעיה היא לא '''איך''', אלא '''האם'''. הוכחה שלמה יכולה להיות די ארוכה (עם אינדוקציה, למשל, ומה שרשמת), ואני לא אכתוב את כל זה סתם. בינתיים אני משאיר את זה בלי הוכחה, אם מישהו יודע שצריך להוכיח - שיגיב. תודה, [[משתמש:אור שחף]] - [[שיחת משתמש:אור שחף|שיחה]] 12:02, 21 ביולי 2010 (UTC)
:חברים שלי הלכו לשעות הקבלה של המרצה שי סרוסי והוא הסביר שצריך להוכיח את זה באינדוקציה(גם אני עשיתי כמוך וחברים שלי הראו לו את ההוכחה הזאת)