שינויים
/* שאלה שקשורה להרצאה מספר 2 */
==שאלה שקשורה להרצאה מספר 2==
בהרצאה מספר 2 טענו שהקבוצה M={(x,y) : (x,y) is in [0,1] intersection Q} היא חסרת תכולה. כדי להוכיח זאת, אמרנו שכל קב' מלבנים שאיחודים מכיל את M סכום תכולם הוא לפחות 1. למה זה נכון? (למשל המלבנים המנוונים. הם מכילים את הנק', לא? וסכום תכולתם הוא 0.)
: בסיכום שנמצא באתר יש טעות בהגדרה/משפט (חלק 2) ואי-דיוק קטן.
: קודם כל, מספר תיבות הוא סופי, אנחנו לא מדברים על אוסף אינסופי של תיבות לא חשוב באיזה חלק של משפט.
: ועכשיו תיקון ל-2: אוסף סופי של תיבות שאיחודם מכיל את <math>A</math> (הם בעצמם לא מוכלים ב-<math>A</math>) (השאר נכון)
: בקשר למספרים רציונליים - קבוצה M מכילה אף תיבה (רק מנוונות), לכן ברור כי <math>\sum{V(T_i)}=0</math>. מצד שני, <math>\sum{V(S_i)}\ge 1</math> (אני מזכיר שמדובר במספר סופי [[של]] תיבות ושבין כל שני מספרים רציונאליים שוניים קיים מספר רציונאלי נוסף).
