שינויים
/* שאלה על הוכחה מההרצאה */
בקטע [c1,d1] נבחר an שרירותי, ויהי n1=m. נניח שבנינו n1<..<nk . צריך למצוא את nk+1. אבל בקטע [ck+1,dk+1] יש אינסוף an ים, לכן יש שם am כך ש m>nk. יהי nk+1=m. אז קיבלנו ת"ס }ank} כך ש <math>a_{n_k+1} \in [ck+1,dk+1]</math> לכל K. לפי הלמה של קנטור..
לא הבנתי את הקטע עם ה m וה-am. אפשר קצת הסבר על זה? תודה
:הרי יש בקטע אינסוף איברים מהסדרה, אבל לא כל איברי הסדרה. לכן m הוא האיבר הבא בסדרה שהוא אחד מהאינסוף איברים האלה. תמיד יגיע אחד כזה, אבל לא ברור בדיוק מתי (יכול להיות שיעברו 1000 איברים בין לבין, למשל). יותר מובן? --[[משתמש:ארז שיינר|ארז שיינר]] 01:15, 18 בינואר 2011 (IST)
