הבדלים בין גרסאות בדף "קוד:מרחב ניצב של מרחב נפרש"
(יצירת דף עם התוכן "\begin{remark} $S^\perp=\left(\operatorname{Span}\left (S \right ) \right )^\perp $. \end{remark} \begin{proof} אם $v\in\left(\operatorname{Span}\left (S...") |
|||
שורה 8: | שורה 8: | ||
\begin{proof} | \begin{proof} | ||
− | אם $v\in\left(\operatorname{Span}\left (S \right ) \right ) \right )^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in\operatorname{Span}\left (S \right ) \right )$, כולל $u\in S$, ולכן $v\in S^\perp$. | + | אם $v\in\left(\operatorname{Span}\left (S \right ) \right ) \right )^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in\operatorname{Span}\left (S \right ) \right )$, כולל $u\in S$, ולכן $v\in S^\perp$. |
− | + | ||
אם $v\in S^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in S$. יהי $u\in\operatorname{Span}\left(S\right)$, ז"א $u=\alpha_1u_1+\cdots+\alpha_mu_m$, כאשר $u_i\in S$. לכן, | אם $v\in S^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in S$. יהי $u\in\operatorname{Span}\left(S\right)$, ז"א $u=\alpha_1u_1+\cdots+\alpha_mu_m$, כאשר $u_i\in S$. לכן, | ||
− | + | $$\left \langle v,u \right \rangle=\left \langle v,\alpha_1u_1+\cdots+\alpha_mu_m \right \rangle=\overline{\alpha}_1\left \langle v,u_1 \right \rangle+\cdots+\overline{\alpha}_m\left \langle v,u_m \right \rangle=\overline{\alpha}_1\cdot0+\cdots+\overline{\alpha}_m\cdot0=0$$ | |
− | $\left \langle v,u \right \rangle=\left \langle v,\alpha_1u_1+\cdots+\alpha_mu_m \right \rangle=\overline{\alpha}_1\left \langle v,u_1 \right \rangle+\cdots+\overline{\alpha}_m\left \langle v,u_m \right \rangle=\overline{\alpha}_1\cdot0+\cdots+\overline{\alpha}_m\cdot0=0$ | + | |
\end{proof} | \end{proof} |
גרסה מ־14:45, 3 בספטמבר 2014
\begin{remark}
$S^\perp=\left(\operatorname{Span}\left (S \right ) \right )^\perp $.
\end{remark}
\begin{proof}
אם $v\in\left(\operatorname{Span}\left (S \right ) \right ) \right )^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in\operatorname{Span}\left (S \right ) \right )$, כולל $u\in S$, ולכן $v\in S^\perp$. אם $v\in S^\perp$, אזי $\left \langle v,u \right \rangle=0$ לכל $u\in S$. יהי $u\in\operatorname{Span}\left(S\right)$, ז"א $u=\alpha_1u_1+\cdots+\alpha_mu_m$, כאשר $u_i\in S$. לכן, $$\left \langle v,u \right \rangle=\left \langle v,\alpha_1u_1+\cdots+\alpha_mu_m \right \rangle=\overline{\alpha}_1\left \langle v,u_1 \right \rangle+\cdots+\overline{\alpha}_m\left \langle v,u_m \right \rangle=\overline{\alpha}_1\cdot0+\cdots+\overline{\alpha}_m\cdot0=0$$
\end{proof}