משפט קיילי-המילטון

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

משפט קיילי-המילטון הוא משפט באלגברה לינארית, הקובע שכל מטריצה ריבועית A (מעל שדה) מאפסת את הפולינום האופייני שלה , כלומר, מתקיים . בפרט, הפולינום המינימלי של מטריצה מחלק את הפולינום האופייני שלה. המשפט קרוי על שמם של המתמטיקאים ארתור קיילי וויליאם המילטון. במאמר מ-1858 הראה קיילי שהמשפט נכון עבור מטריצות בגודל , והוא מדווח כי בדק את הטענה גם עבור מטריצות בגודל ; עם זאת, הוא כותב, "לא מצאתי לנכון לטרוח על הוכחה פורמלית של המשפט עבור מטריצה מכל גודל". מעט אחר-כך גילה המילטון את המשפט עבור מטריצות בגודל 4, במהלך מחקריו על אלגברת הקווטרניונים. את המקרה הכללי הוכיח פרדיננד גאורג פרובניוס, ב- 1878.

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

הוכחת המשפט[עריכת קוד מקור | עריכה]

ישנן הרבה הוכחות למשפט קיילי המילטון, כאן מוצגת אחת מהן.

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

מקורות[עריכת קוד מקור | עריכה]