הבדלים בין גרסאות בדף "קוד:חצי לינאריות ברכיב השני במכפלה פנימית"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
שורה 3: שורה 3:
 
הוכחנו שיש לינאריות ברכיב הראשון. עם זאת, לא דרשנו מאומה על הרכיב השני. ניתן לשים לב ששתי האקסיומות הראשונות גוררות שברכיב השני יש כמעט לינאריות, \textbf{חצי לינאריות} (Sesquilinear), כלומר:
 
הוכחנו שיש לינאריות ברכיב הראשון. עם זאת, לא דרשנו מאומה על הרכיב השני. ניתן לשים לב ששתי האקסיומות הראשונות גוררות שברכיב השני יש כמעט לינאריות, \textbf{חצי לינאריות} (Sesquilinear), כלומר:
  
$$\left \langle v,\alpha w_1+\beta w_2 \right \rangle\overset{\left(2 \right )}{=}\overline{\left \langle \alpha w_1+\beta w_2,v \right \rangle}\overset{\left(1 \right )}{=}\overline{\alpha\left \langle w_1,v \right \rangle+\beta\left \langle w_2,v \right \rangle}=\overline{\alpha}\;\overline{\left \langle w_1,v \right \rangle}+\overline{\beta}\;\overline{\left \langle w_2,v \right \rangle}\overset{\left(2 \right )}{=}\overline{\alpha}\left \langle v,w_1 \right \rangle+\overline{\beta}\left \langle v,w_2 \right \rangle$$
+
$$\left \langle v,\alpha w_1+\beta w_2 \right \rangle\overset{\left(2 \right )}{=}\overline{\left \langle \alpha w_1+\beta w_2,v \right \rangle}\overset{\left(1 \right )}{=}\overline{\alpha\left \langle w_1,v \right \rangle+\beta\left \langle w_2,v \right \rangle}
 +
=\\$$
 +
$$\overline{\alpha}\;\overline{\left \langle w_1,v \right \rangle}+\overline{\beta}\;\overline{\left \langle w_2,v \right \rangle}\overset{\left(2 \right )}{=}\overline{\alpha}\left \langle v,w_1 \right \rangle+\overline{\beta}\left \langle v,w_2 \right \rangle$$
  
 
\end{remark}
 
\end{remark}

גרסה מ־15:15, 25 באוגוסט 2014

\begin{remark}

הוכחנו שיש לינאריות ברכיב הראשון. עם זאת, לא דרשנו מאומה על הרכיב השני. ניתן לשים לב ששתי האקסיומות הראשונות גוררות שברכיב השני יש כמעט לינאריות, \textbf{חצי לינאריות} (Sesquilinear), כלומר:

$$\left \langle v,\alpha w_1+\beta w_2 \right \rangle\overset{\left(2 \right )}{=}\overline{\left \langle \alpha w_1+\beta w_2,v \right \rangle}\overset{\left(1 \right )}{=}\overline{\alpha\left \langle w_1,v \right \rangle+\beta\left \langle w_2,v \right \rangle} =\\$$ $$\overline{\alpha}\;\overline{\left \langle w_1,v \right \rangle}+\overline{\beta}\;\overline{\left \langle w_2,v \right \rangle}\overset{\left(2 \right )}{=}\overline{\alpha}\left \langle v,w_1 \right \rangle+\overline{\beta}\left \langle v,w_2 \right \rangle$$

\end{remark}