הלמה של קנטור
מתוך ויקיפדיה, האנציקלופדיה החופשית
בחשבון אינפיניטסימלי, הלמה של קנטור היא מקרה פרטי של משפט החיתוך של קנטור עבור
.
הלמה אומרת כי אם שתי סדרות, עולה ויורדת, מתקרבות אחת אל השנייה מבלי להיפגש, אך בצורה כזו שהמרחק ביניהן הולך וקטן, שתיהן מתכנסות לנקודה משותפת. בניסוח שקול ניתן לראות בבירור שזהו מקרה פרטי של משפט החיתוך של קנטור: בהינתן סדרה אינסופית של קטעים סגורים, כך שכל קטע מכיל את הבאים אחריו, וקוטרי הקטעים שואפים לאפס, קיימת נקודה אחת המשותפת לכל הקטעים.
אחד משימושיה של הלמה של קנטור הוא הוכחת משפט בולצאנו ויירשטראס ומשפט היינה בורל, ששקולים לה.
[עריכה] ניסוח פורמלי
יהיו
שתי סדרות כך ש-
. אם מתקיים
אז שתי הסדרות מתכנסות ומתקיים
.
ניסוח שקול:
תהא
סדרה של קטעים סגורים, כך שמתקיים
. אם מתקיים
אז קיימת נקודה יחידה המשותפת לכל הקטעים.

