משפט פרון-פרובניוס

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

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

את המשפט הוכיח אוסקר פרון (1907) עבור מטריצות עם ערכים חיוביים. ב-1912 מצא גאורג פרובניוס הכללה לא טריוויאלית למטריצות בעלות ערכים אי-שליליים.

המשפט

הגרסה הבסיסית של המשפט מטפלת במטריצה שרכיביה חיוביים.

משפט. תהי מטריצה ריבועית ממשית, שכל רכיביה חיוביים (ממש). אז:

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

טיעון פשוט יחסית מאפשר להכליל את התוצאה למטריצה פרמיטיבית: מטריצה אי שלילית שחזקה שלה היא חיובית ממש.

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

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

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

רקע ותוצאות

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

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

הוכחה

נביא הוכחה[1] עבור המקרה הבסיסי של מטריצות חיוביות. תהי מטריצה חיובית. נבחין שלכל וקטור אי שלילי שאינו 0, מכיוון ש- מטריצה שכל אבריה חיוביים נקבל ש- הוא וקטור שכל אבריו חיוביים.

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

טענה 1: יש ל- וקטור עצמי חיובי עם ערך עצמי חיובי .

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

טענה 2: הרדיוס הספקטרלי של הוא .

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

טענה 3: הריבוי הגאומטרי של הוא 1.

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

טענה 4: הריבוי האלגברי של הוא 1.

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

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

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

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

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

טענה 6: אם ערך עצמי של השונה מ- אז .

הוכחה: נניח בשלילה ש- ויהי וקטור עצמי מנורמל של .יהי הווקטור שערכיו הם הערכים המוחלטים של . מקבלים:

ממקסימליות נקבל ש- ערך עצמי המתאים לוקטור ולכן האי שוויון לעיל הוא בעצם שוויון. לכן נקבל שכל האיברים נמצאים על אותה הקרן היוצאת מ-0 במישור המרוכב. כיוון שאברי המטריצה ממשיים וחיוביים נקבל שכל האיברים על אותה הקרן היוצאת מ-0 במישור המרוכב. לכן יש כך שהווקטור הוא וקטור עצמי חיובי ומטענה 5 נקבל ש- בסתירה.

הערות שוליים

Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0