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

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

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

הוכחת המשפט

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

 הוכחה עבור מטריצות לכסינות 

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

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

 הוכחה באמצעות צורת ז'ורדן 
נציג הוכחה נוספת המשתמשת בצורת ז'ורדן מעל הסגור האלגברי של שדה הבסיס.

ראשית, נשים לב שאם A,B מטריצות דומות ו-A מאפסת את הפולינום האופייני שלה, כך גם B. הוכחה: למטריצות דומות אותו פולינום אופייני. כיוון ש-A,B דומות, קיימת מטריצה D כך ש-. הנחנו ש-A מאפסת את הפולינום האופייני שלה, כלומר אם הפולינום האופייני הוא  אז . נכפיל ביטוי זה משמאל ב-D-1 ומימין ב-D ונקבל . לאחר פתיחת סוגריים ושימוש בכך ש- לכל k (קל להוכיח זאת באינדוקציה), מקבלים  כרצוי. לכן, מספיק להוכיח שלכל מטריצה יש מטריצה שדומה לה עבורה משפט קיילי-המילטון מתקיים.

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

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

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

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

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

 מקורות 
 אלגברה א', חלק שלישי, 259-262, ש. עמיצור
 אלגברה א', חלק ראשון, 167, ש. עמיצור
 היסטוריה של מטריצות ודטרמיננטות

קישורים חיצוניים


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