מתוך ויקיפדיה, האנציקלופדיה החופשית
בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.
|
באנליזה מתמטית, הלמה של קרונקר היא משפט מתמטי הקושר בין התכנסות של סדרה לבין התכנסות של טור המתאים לה במובן שיתואר להלן.
משפט זה משמש פעמים רבות לטפל בהתכנסות של סכומים ממוצעים של משתנים מקריים בלתי-תלויים. דוגמה בולטת לכך היא אחת ההוכחות של החוק החזק של המספרים הגדולים, העושה שימוש במשפט זה יחד עם משפט שלושת הטורים של קולמוגורוב.[1]
המשפט קרוי על שמו של המתמטיקאי הגרמני לאופולד קרונקר.
תהי
סדרה של מספרים ממשיים. נניח כי הטור האינסופי
מתכנס למספר ממשי.
אזי לכל סדרה מונוטונית עולה של מספרים ממשיים
המתבדרת לאינסוף, מתקיים כי,
נסמן
. ניתן לראות שמתקיים כי,
יהי
. הנחנו כי
, ולכן קיים
כך שמתקיים
לכל
.
עבור כל
מספיק גדול, נפרק את הסכום שקיבלנו לשני סכומים:
![{\displaystyle =S_{N}-{\frac {1}{a_{N}}}\sum _{n=1}^{N_{0}-1}\left(a_{n+1}-a_{n}\right)S_{n}-{\frac {1}{a_{N}}}\sum _{n=N_{0}}^{N-1}\left(a_{n+1}-a_{n}\right)s-{\frac {1}{a_{N}}}\sum _{n=N_{0}}^{N-1}\left(a_{n+1}-a_{n}\right)\left(S_{n}-s\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/109afb029fe31ed31120451ddfd6d6d1f64d345b)
![{\displaystyle =S_{N}-{\frac {1}{a_{N}}}\sum _{n=1}^{N_{0}-1}\left(a_{n+1}-a_{n}\right)S_{n}-{\frac {a_{N}-a_{N_{0}}}{a_{N}}}\cdot s-{\frac {1}{a_{N}}}\sum _{n=N_{0}}^{N-1}\left(a_{n+1}-a_{n}\right)\left(S_{n}-s\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf4d1c74e0601096ce5f88322426cc1a8b894f65)
כאשר
, האיבר הראשון מתכנס ל-
והאיבר השלישי מתכנס ל-
, והם מבטלים זה את זה; האיבר השני מתכנס לאפס כי
; והאיבר האחרון חסום על ידי
.
- ^ Durrett, Rick. "Probability: Theory and Examples." Duxbury advanced series, Third Edition, Thomson Brooks/Cole, 2005, Section 1.8, pp. 60–69.