שינויים
/* הוכחה */
האם חובה להוכיח ש-<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)
:חברים שלי הלכו לשעות הקבלה של המרצה שי סרוסי והוא הסביר שצריך להוכיח את זה באינדוקציה(גם אני עשיתי כמוך וחברים שלי הראו לו את ההוכחה הזאת)