ומה שעוד לא הבנתי, זה למה המקדמים במשתנים של המשתנה השני הופכים לצמוד שלהם?
'''לינאריות במשתנה הראשון אומרת
'''<math><av+bu,w>=a<v,w>+b<u,w></math>
'''ובאופן כללי
'''<math><\Sigma a_iv_i,w>=\Sigma a_i<v_i,w></math>.
'''כזכור <math><u,v>=\bar{<v,u>}</math>, לכן אם הצירוף הלינארי מופיע ברכיב השני נקבל:
'''<math><w,av+bu>=\bar{<av+bu,w>}=\bar{a<v,w>+b<u,w>}=\bar{a}\bar{<v,w>}+\bar{b}\bar{<u,w>}=\bar{a}<w,v>+\bar{b}<w,u></math>
'''ובאופן כללי
'''<math><w,\Sigma a_iv_i>=\Sigma \bar{a_i}<w,v_i></math>. עדי