מטריצת היחידה

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

באלגברה ליניארית, מטריצת היחידה מסדר  n היא מטריצה ריבועית מסדר n, כלומר בגודל n2, שהאלכסון הראשי שלה מורכב מאחדות וכל שאר המטריצה מאפסים. היא מסומנת על ידי  In או על ידי  I כאשר גודלה אינו חשוב או טריוויאלי. מטריצת היחידה משמשת כאיבר נייטרלי ביחס לכפל מטריצות, וכטרנספורמציה ליניארית היא מייצגת את העתקת הזהות (כלומר:  v=Iv לכל  v), כלומר כמו שבאלגברה רגילה ניתן להכפיל כל אבר שרוצים בספרה 1 כך ניתן להכפיל כל מטריצה שרוצים במטריצת היחידה מבלי לשנות את השוויון.

דוגמאות למטריצת היחידה בסדרים שונים:

I1=[1], I2=[1001], I3=[100010001], , In=[100010001]

מאחר שמטריצת היחידה היא מקרה פרטי של מטריצה אלכסונית, אפשר לכתוב אותה גם כ-: In=diag(1,1,,1)

בחישובים לפי קואורדינטות וחשבון טנזורים שימושי להציג את מטריצת היחידה באמצעות הדלתא של קרונקר: (In)ij=δij={1if i=j0if ij

תהי AMm×n(F) מטריצה מעל שדה F, אזי: ImA=AIn=A כלומר: מטריצת היחידה היא איבר נייטרלי ביחס לכפל מטריצות.

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

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

ראו גם

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

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


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


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


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


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


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


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


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

מטריצת היחידה41467489Q193794