מטריצה סימטרית

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף אופרטור סימטרי)
קפיצה לניווט קפיצה לחיפוש
מטריצה סימטרית

באלגברה ליניארית, מטריצה סימטרית היא מטריצה ריבועית A, הנשמרת תחת פעולת השחלוף, כלומר, מתקיים  A=A. אם A=[aij]i,j=1n אזי A=[aji]i,j=1n ותנאי הסימטריות למעשה אומר 1i,jn:aij=aji.

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

הצורה הכללית של מטריצה סימטרית בגודל 3 על 3 היא [abcbdecef]

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

אם מטריצה A היא סימטרית, אז גם An היא סימטרית לכל n טבעי.

התכונה המרכזית של מטריצות סימטריות

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

הוכחת התכונה

  • נוכיח תחילה שכל הערכים העצמיים של מטריצה סימטרית ממשית A הם ממשיים. יהי v וקטור עצמי של A, ו-λ הערך העצמי המתאים לו. אז λ2v2=λ2v,v=λv,λv=Av,Av=Av2, ולכן λ2=Av2v2 הוא מספר ממשי חיובי.
  • כעת, נוכיח את חלקו השני של המשפט - נראה שווקטורים עצמיים השייכים לערכים עצמיים שונים של מטריצה סימטרית ממשית A הם בהכרח אורתוגונליים. מטענה זאת נובע בהכרח כי A לכסינה אורתוגונלית, שכן ניתן להפעיל את תהליך גרם-שמידט על כל אחד מהמרחבים העצמיים שלה ולקבל בסיס אורתוגונלי ל-n בו היא אלכסונית.

יהיו x,y שני וקטורים עצמיים השייכים לערכים עצמיים שונים λ,μ בהתאמה. נחשב את xTAy בשתי דרכים שונות. ראשית, מכיוון ש-Ay=μy, מכפלה זאת שווה ל-:

xAy=x(μy)=μ(xy)

מצד שני, מכיוון ש-A=A, נקבל:

xAy=xAy=(Ax)y=(λx)y=λ(xy)

מכך נובע: μ(xy)=λ(xy)(λμ)(xy)=0. מכיוון שהנחנו λμ, השוויון הקודם גורר שבהכרח xy=0, כלומר הווקטורים העצמיים x ו-y בהכרח ניצבים.

מטריצה אנטי-סימטרית

ערך מורחב – מטריצה אנטי-סימטרית

מטריצה A המקיימת  A=A היא מטריצה אנטי-סימטרית. כאשר שדה הבסיס בעל מאפיין שונה מ-2, כל האיברים באלכסון הראשי של מטריצה אנטי-סימטרית שווים לאפס. בנוסף לזה, מרחב המטריצות מתפרק לסכום ישר של מרחב המטריצות הסימטריות ומרחב המטריצות האנטי-סימטריות. כל מטריצה A היא סכום של מטריצה סימטרית: A+A2 ומטריצה אנטי סימטרית: AA2 ונוסחת הממדים היא  n2=n2+n2+n2n2.

הצורה הכללית של מטריצה אנטי-סימטרית בגודל 3 על 3 היא [0xyx0zyz0].

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

הופעות של מטריצות סימטריות בתחומים אחרים

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

  • העובדה שהתנועה של מערכת של אוסצילטורים הרמוניים מצומדים ניתנת לתיאור כסכום של אופני תנודה עצמיים נובעת מכך שהמטריצה המייצגת את ההתפתחות בזמן של מערכת האוסצילטורים (כלומר, המקשרת בין וקטור המצב X(t) - אשר רכיביו הם מעתקי המסות המתנודדות - לנגזרת הזמנית השנייה שלו) היא תמיד סימטרית: עבור המקרה של מסה M וקבוע קפיץ K קבועים, התרומה של שינוי Δxi של מעתק של המסה ה-i (בעוד שאר המעתקים נשארים קבועים) לתאוצה xi¨ היא 2KMΔxi, בעוד התרומה שלו לתאוצות של שתי המסות השכנות היא בעלת סימן הפוך ושווה למחצית מתרומתו לתאוצתו העצמית - כלומר KMΔxi לכל אחת (אודות לחוק השלישי של ניוטון). מטריצת ההתפתחות היא לפיכך סימטרית, ולכן כל הערכים העצמיים שלה ממשיים (במקרה זה, הערכים העצמיים הם התדירויות העצמיות).
  • במכניקה אנליטית, מן העובדה שטנזור ההתמד של גוף הוא מטריצה סימטרית נובע שתמיד קיימת מערכת אורתוגונלית של צירים ראשיים, כך שתיאור הסיבוב העצמי של הגוף במערכת הצירים הראשית נעשה פשוט יותר.
  • במכניקת הרצף, ניתן לתאר את המאמצים הפועלים על קובייה המצויה בשיווי משקל מכני באמצעות מטריצה סימטרית מסדר 3 על 3 המכונה טנזור מאמצים, אשר איברי האלכסון הראשי שלה הם מאמצי הלחיצה/מתיחה (הפועלים בניצב לפאות הקובייה) הפועלים עליה ואילו כל האיברים שמחוץ לאלכסון מתארים מאמצי גזירה הפועלים על כל פאה במקביל אליה. מכיוון שהקובייה מצויה בשיווי משקל, כל צמד מאמצי גזירה τij ו-τji שווים. המשפט המרכזי על מטריצות סימטריות קובע אז שקיימים מישורים ראשיים (Principal planes) אשר המאמצים הנתונים המופעלים על הקובייה פועלים בדיוק בניצב אליהם (כיווני מאמץ ראשיים); ערכי המאמצים הנורמליים הראשיים הם הערכים העצמיים של טנזור המאמצים וכיווני המאמץ הראשיים הם הווקטורים העצמיים. בנייה זאת מראה כי ניתן להמיר בין מאמצי גזירה הפועלים במערכת צירים אחת למאמצי לחיצה במערכת צירים אחרת.
  • במכניקת הזורמים יש לטנזור המאמצים חשיבות מפתח בפיתוח משוואות נאוויה-סטוקס, כשתכונת השקילות בין מאמצי גזירה במערכת צירים אחת למאמצי לחיצה במערכת צירים אחרת באה לידי ביטוי באיבר (μ/3)(𝐯). הופעת איבר זה נוגדת במידה מסוימת את האינטואיציה הפיזיקלית הראשונית, שכן היא מראה שאפקטים של חיכוך צמיגי בין שכבות הזורם (צמיגות הזורם מסומנת μ) מופיעים גם עקב שינויי נפח של אלמנט זורם ולא רק עקב מעוות גזירה.

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

עצי מיון של אופרטורים ליניאריים
טוען את הלשוניות...
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
אופרטור ניתן לשילוש
אופרטור ניתן לשילוש


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
אופרטור מסדר סופי
אופרטור מסדר סופי


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


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


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


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
אופרטור מסדר סופי
אופרטור מסדר סופי


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
מקרא
מחלקה של אופרטורים ליניאריים.[5]
מחלקה שמוגדרת עבור מרחב מכפלה פנימית
הכלה[6]
מחלקה שמכוסה על ידי תתי-המחלקות שלה המופיעות בתרשים.
מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
 
 
 
 
 
 
 
 
 
 
 
 
 
3
#000000
#F0F0FF
  1. ממרחב מרוכב מממד סופי לעצמו
  2. מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה מוכלת במחלקה העליונה
  3. ממרחב מרוכב מממד סופי לעצמו
  4. מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה מוכלת במחלקה העליונה
  5. ממרחב ממשי מממד סופי לעצמו
  6. מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה מוכלת במחלקה העליונה
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

מטריצה סימטרית41562451Q339011