כשהמטריצה המבוקשת שלנו היא מטריצת מעבר מb ל-c.
לא כל כך הבנתי את ההגיון של זה.(מקווה שהבנת את הסימון לא ידעתי איך לכתוב את זה בlatex ) . תודה רבה.
::מתקיים <math>P_S^B[v]_B=[v]_S, \forall v\in V</math> אם נכפיל את המשוואה האחרונה ב <math>P_C^S</math> משמאל נקבל ש
<math>(P_C^SP_S^B)[v]_B=P_C^S[v]_S=[v]_C, \forall v\in V</math> זאת בשל התכונה של מטריצת המעבר <math>P_C^S</math>.
כעת, מטריצת המעבר <math>P_C^B</math> מקיימת את התכונה <math>P_C^B[v]_B=[v]_C, \forall v\in V</math> והיא המטריצה '''היחידה''' המקיימת תכונה זו (זה משפט). בגלל שהיא '''היחידה''' המקיימת תכונה זו ומצד שני על פי מה שהראינו לעיל גם <math>(P_C^SP_S^B)[v]_B=[v]_C, \forall v\in V</math> אז בהכרח
<math>P_C^SP_S^B=P_C^B</math>
--[[משתמש:מני ש.|מני]] 21:06, 1 בפברואר 2012 (IST)
== יהיה במבחן הוכחת משפטים? ==