הלמה של קרונקר

באנליזה מתמטית, הלמה של קרונקר היא משפט מתמטי הקושר בין התכנסות של סדרה לבין התכנסות של טור המתאים לה במובן שיתואר להלן.

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

המשפט קרוי על שמו של המתמטיקאי הגרמני לאופולד קרונקר.

נוסח פורמלי

תהי  סדרה של מספרים ממשיים. נניח כי הטור האינסופי  מתכנס למספר ממשי.

אזי לכל סדרה מונוטונית עולה של מספרים ממשיים  המתבדרת לאינסוף, מתקיים כי,

הוכחה

נסמן . ניתן לראות שמתקיים כי,

יהי . הנחנו כי , ולכן קיים  כך שמתקיים  לכל .

עבור כל  מספיק גדול, נפרק את הסכום שקיבלנו לשני סכומים:
 

כאשר , האיבר הראשון מתכנס ל- והאיבר השלישי מתכנס ל-, והם מבטלים זה את זה; האיבר השני מתכנס לאפס כי ; והאיבר האחרון חסום על ידי .

לקריאה נוספת

הערות שוליים

טורים מתמטיים