הבדלים בין גרסאות בדף "קוד:הגדרת מכפלה פנימית"
מ (5 גרסאות יובאו) |
|||
| (3 גרסאות ביניים של משתמש אחר אחד אינן מוצגות) | |||
| שורה 10: | שורה 10: | ||
\item \underline{לינאריות ברכיב הראשון} - לכל $v_1,v_2,w\in V$ ולכל $\alpha,\beta\in\mathbb{F}$, | \item \underline{לינאריות ברכיב הראשון} - לכל $v_1,v_2,w\in V$ ולכל $\alpha,\beta\in\mathbb{F}$, | ||
| − | |||
$$\left\langle \alpha v_1+\beta v_2,w \right\rangle=\alpha\left\langle v_1,w\right\rangle+\beta\left \langle v_2,w \right \rangle$$ | $$\left\langle \alpha v_1+\beta v_2,w \right\rangle=\alpha\left\langle v_1,w\right\rangle+\beta\left \langle v_2,w \right \rangle$$ | ||
\item \underline{הרמיטיות} - לכל $v,w\in V$, | \item \underline{הרמיטיות} - לכל $v,w\in V$, | ||
| − | + | $\left \langle v,w \right \rangle=\overline{\left \langle w,v \right \rangle}$. | |
| − | + | ||
\item \underline{אי-שליליות} - בחלק זה יש שתי דרישות: | \item \underline{אי-שליליות} - בחלק זה יש שתי דרישות: | ||
| שורה 21: | שורה 19: | ||
\begin{enumerate} | \begin{enumerate} | ||
| − | \item לכל $v\in V$, | + | \item לכל $v\in V$, |
| − | + | $\left \langle v,v \right \rangle\in\mathbb{R}_{\ge0}$. | |
| − | + | ||
\item | \item | ||
| − | + | $v=0\Leftrightarrow\left \langle v,v \right \rangle=0$ | |
| − | + | . | |
| − | + | ||
\end{enumerate} | \end{enumerate} | ||
\end{enumerate} | \end{enumerate} | ||
\end{definition} | \end{definition} | ||
גרסה אחרונה מ־20:15, 4 באוקטובר 2014
אנחנו מתחילים פרק חדש בחומר שלנו, שבו ננסה להגדיר גיאומטריה במרחבים וקטוריים. הכוונה ב"גיאומטריה" היא שנגדיר אורך וזווית של וקטורים. לצורך כך, נגביל את השדה שאנו עובדים מעליו, $\mathbb{F}$, ל-$\mathbb{R}$ או ל-$\mathbb{C}$. לא נציין זאת בכל פעם, אך נניח הנחה זו מעתה ועד סוף הקורס.
\begin{definition}
יהי $V$ מרחב וקטורי מעל $\mathbb{F}$. \textbf{מכפלה פנימית} היא העתקה $\left \langle \; ,\; \right \rangle:V\times V\rightarrow \mathbb{F}$, המוגדרת על ידי $\left(v,w \right ) \mapsto \left\langle v,w\right\rangle$, והמקיימת את האקסיומות הבאות:
\begin{enumerate}
\item \underline{לינאריות ברכיב הראשון} - לכל $v_1,v_2,w\in V$ ולכל $\alpha,\beta\in\mathbb{F}$, $$\left\langle \alpha v_1+\beta v_2,w \right\rangle=\alpha\left\langle v_1,w\right\rangle+\beta\left \langle v_2,w \right \rangle$$
\item \underline{הרמיטיות} - לכל $v,w\in V$, $\left \langle v,w \right \rangle=\overline{\left \langle w,v \right \rangle}$.
\item \underline{אי-שליליות} - בחלק זה יש שתי דרישות:
\begin{enumerate}
\item לכל $v\in V$, $\left \langle v,v \right \rangle\in\mathbb{R}_{\ge0}$.
\item $v=0\Leftrightarrow\left \langle v,v \right \rangle=0$ . \end{enumerate} \end{enumerate}
\end{definition}
