הצגת המקור של הדף "הלמה של קנטור"

===הוכחה===
נסמן <math>I_n=[a_n,b_n]</math> . לפי הנתון שהקטעים מוכלים זה בזה, ניתן להסיק כי <math>a_n</math> מונוטונית עולה וחסומה על-ידי <math>b_1</math> , ואילו <math>b_n</math> מונוטונית יורדת וחסומה על-ידי <math>a_1</math> .

לכן שתי הסדרות מונוטוניות וחסומות ולכן מתכנסות. כיון שאורך הקטעים שואף לאפס, <math>\lim |b_n-a_n|=0</math> ולכן גבול הסדרות זהה. נוכיח כי הנקודה 
:<math>c=\lim a_n=\lim b_n</math>
מקיימת את הדרוש.


נניח בשלילה, כי קיים קטע כך ש- <math>c\notin[a_k,b_k]</math> . לכן <math>c<a_k</math> או <math>c>b_k</math> וכיון שאילו סדרות מונוטוניות, הגבול שלהן שונה מ- <math>c</math> בסתירה. (<math>\lim a_n\ge a_k>c</math> או <math>\lim b_n\le b_k<c</math>)

לכן הנקודה <math>c</math> שייכת לכל הקטעים. נניח והייתה נקודה נוספת <math>c\ne d</math> השייכת לכל הקטעים. לכן אורך כל הקטעים הוא לפחות <math>|d-c|>0</math> בסתירה לכך שהאורך שואף לאפס.

[[קטגוריה:אינפי]]