מטריצה מלווה לפולינום ממעלה n שהינו מוניקי (a_0 + a_1x + ... + x^n) מוגדרת כשורה עיקרית של אפסים, עם יחידות על האלכסון התחתון וטור אחרון שמכיל -a_0,...,-a_{n-1}.
הפולינום האופייני (הפולינום שמתקבל ממטריצה וקשור לערכים המיוחדים שלה) ושל המינימלי (הפולינום הקטן ביותר שמאפיין אותה) של המטריצה המלווה הם שניהם f. מכך נובע שכל פולינום מוניקי יכול להופיע כפולינום אופייני של מטריצה מתאימה.
אם למטריצה n×n יש פולינום מינימלי במעלה n, אז היא דומה למטריצה המלווה של אותו פולינום מינימלי. משמעות המילה "דומה" כאן היא שקיימת חלופה מתאימה של בסיס שבה המטריצה נראית בדיוק כמטריצה מלווה. כשמדרגת הפולינום המינימלי קטנה מ-n, המטריצה דומה לצורה רציונלית קנונית, מטריצת בלוקים אלכסונית, שכל בלוק בה הוא מטריצה מלווה של פולינום קטן יותר.
מטריצה מלווה בונים מפולינום כמו a_0 + a_1 x + ... + x^n. פולינום זה הוא ביטוי עם x וחזקות.
המטריצה היא טבלה מרובעת. יש בה 1-ים מתחת לאלכסון הראשי. בעמודה האחרונה יש מספרים -a_0, -a_1 ועוד.
למטריצה הזאת שני פולינומים חשובים, והם שניהם f. לכן לכל פולינום מוניקי יש מטריצה שמייצגת אותו.
אם הפולינום המינימלי של מטריצה בגודל n הוא במעלה n, אפשר לשנות את המספרים כך שהמטריצה תראה בדיוק כמו המטריצה המלווה. אם המינימלי קטן יותר, המטריצה מתחלקת לבלוקים. כל בלוק הוא מטריצה מלווה קטנה יותר.
תגובות גולשים