'''הערה1הערה''' : המטריצה <math>[T]^E_F</math> היא המטריצה היחידה המקיימת את הטענה הבאה
לכל וקטור <math>v\in V</math> מתקיים ש <math>[T]^E_F[v]_E=[Tv]_F</math>
'''הערה 2''' יהיו <math>V_1, V_2, V_3</math> מרחבים וקטורים עם בסיסים <math>B_1, B_2, B_3</math>בהתאמה.יהיו <math>T:V_1\to V_2 S:V_2\to V_3</math> שתי ה"ל אזי מתקיים <math>[S\circ T]^{B_1}_{B_3}=[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}</math>
=== דוגמא ===
\end{array}\right)</math>
'''הערה3הערה:''' שימו לב, כפי שראינו בתרגיל זה, שאם ניקח את הוקטורים <math>Tv_1,...,Tv_n</math> ונשים אותם באופן נאיבי בעמודות מטריצה נקבל <math>[T]^E_S</math> (כאשר S הוא הבסיס הסטנדרטי)
=== תרגיל (6.12)===
ניקח <math>(0,1),(1,-1)</math> ואכן תנאי השאלה מתקיימים.
=== תרגיל ===
יהיו <math>V_1, V_2, V_3</math> מרחבים וקטורים עם בסיסים <math>B_1, B_2, B_3</math>בהתאמה.
יהיו <math>T:V_1\to V_2 S:V_2\to V_3</math> שתי ה"ל אזי מתקיים
<math>[S\circ T]^{B_1}_{B_3}=[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}</math>
==== מסקנה ====
=== דוגמא ===