Tips och lösning till U 11.4a
SamverkanLinalgLIU
(En mellanliggande version visas inte.) | |||
Rad 2: | Rad 2: | ||
'''Tips 1''' | '''Tips 1''' | ||
- | + | Beskriv U som en linjärkombination av de tre givna vektorerna. | |
{{NAVCONTENT_STEP}} | {{NAVCONTENT_STEP}} | ||
'''Tips 2''' | '''Tips 2''' | ||
- | + | Uttrycket för en vektor <math> | |
+ | \boldsymbol{u}=(x_1,x_2,x_3,x_4)^t</math> i mängden U blir <math> | ||
+ | \boldsymbol{u}=\lambda_1\boldsymbol{v}_1+\lambda_2\boldsymbol{v}_2+\lambda_3\boldsymbol{v}_3 | ||
+ | </math>. Detta leder till ett ekvationssystem. | ||
{{NAVCONTENT_STEP}} | {{NAVCONTENT_STEP}} | ||
'''Tips 3''' | '''Tips 3''' | ||
- | + | Ekvationssystemet blir <math> | |
+ | \left(\begin{array}{ccc} 1&1&1\\1&-1&1\\1&1&-1\\1&-1&-1 \end{array}\right|\left. | ||
+ | \begin{array}{c} x_1\\ x_2\\ x_3 \\ x_4 \end{array}\right)</math>. Lösningen till detta ekvationssystem är en oändlig lösningsmängd som ger ett samband mellan <math>x_1</math>, <math>x_2</math> och <math>x_3</math>. Detta samband sökes. | ||
+ | |||
+ | |||
{{NAVCONTENT_STEP}} | {{NAVCONTENT_STEP}} | ||
'''Lösning''' | '''Lösning''' | ||
Rad 26: | Rad 33: | ||
\Leftrightarrow\cdots\Leftrightarrow | \Leftrightarrow\cdots\Leftrightarrow | ||
\left(\begin{array}{ccc} 1&1&1\\0&-2&0\\0&0&-2\\0&0&0 \end{array}\right|\left. | \left(\begin{array}{ccc} 1&1&1\\0&-2&0\\0&0&-2\\0&0&0 \end{array}\right|\left. | ||
- | \begin{array}{c} x_1\\ x_2-x_1\\ x_3 -x_1\\ x_4 | + | \begin{array}{c} x_1\\ x_2-x_1\\ x_3 -x_1\\ x_4 -x_3-x_2+x_1\end{array}\right) |
</math></center> | </math></center> | ||
Rad 32: | Rad 39: | ||
koordinater uppfylla ekvationen | koordinater uppfylla ekvationen | ||
<center><math> | <center><math> | ||
- | x_1 | + | x_1-x_2-x_3+x_4=0. |
</math></center> | </math></center> | ||
Eftersom <math> \boldsymbol{u} </math> är godtycklig visar det vad som krävs av en vektor | Eftersom <math> \boldsymbol{u} </math> är godtycklig visar det vad som krävs av en vektor | ||
för att få tillhöra <math> U </math>. Därmed får vi att | för att få tillhöra <math> U </math>. Därmed får vi att | ||
<center><math> | <center><math> | ||
- | U=\{\boldsymbol{u}=(x_1,x_2,x_3,x_4)^t\in{\bf R}^4:\ x_1 | + | U=\{\boldsymbol{u}=(x_1,x_2,x_3,x_4)^t\in{\bf R}^4:\ x_1-x_2-x_3+x_4=0\}. |
</math></center> | </math></center> | ||
Den geometriska tolkningen av underrummet <math> U </math> är att <math> U </math> är | Den geometriska tolkningen av underrummet <math> U </math> är att <math> U </math> är | ||
ett hyperplan i <math> {\bf R}^4 </math>. | ett hyperplan i <math> {\bf R}^4 </math>. |
Nuvarande version
Tips 1
Beskriv U som en linjärkombination av de tre givna vektorerna.
Tips 2
Uttrycket för en vektor \displaystyle \boldsymbol{u}=(x_1,x_2,x_3,x_4)^t i mängden U blir \displaystyle \boldsymbol{u}=\lambda_1\boldsymbol{v}_1+\lambda_2\boldsymbol{v}_2+\lambda_3\boldsymbol{v}_3 . Detta leder till ett ekvationssystem.
Tips 3
Ekvationssystemet blir \displaystyle \left(\begin{array}{ccc} 1&1&1\\1&-1&1\\1&1&-1\\1&-1&-1 \end{array}\right|\left. \begin{array}{c} x_1\\ x_2\\ x_3 \\ x_4 \end{array}\right). Lösningen till detta ekvationssystem är en oändlig lösningsmängd som ger ett samband mellan \displaystyle x_1, \displaystyle x_2 och \displaystyle x_3. Detta samband sökes.
Lösning
Linjära höljet \displaystyle U=[M] är mängden av alla linjärkombinationer i
\displaystyle M , dvs \displaystyle U är mängden av alla \displaystyle \boldsymbol{u}=(x_1,x_2,x_3,x_4)^t\in{\bf R}^4 sådana att
\boldsymbol{u}=\lambda_1\boldsymbol{v}_1+\lambda_2\boldsymbol{v}_2+\lambda_3\boldsymbol{v}_3,
dvs
\left(\begin{array}{ccc} 1&1&1\\1&-1&1\\1&1&-1\\1&-1&-1 \end{array}\right|\left. \begin{array}{c} x_1\\ x_2\\ x_3 \\ x_4 \end{array}\right) \Leftrightarrow\cdots\Leftrightarrow \left(\begin{array}{ccc} 1&1&1\\0&-2&0\\0&0&-2\\0&0&0 \end{array}\right|\left. \begin{array}{c} x_1\\ x_2-x_1\\ x_3 -x_1\\ x_4 -x_3-x_2+x_1\end{array}\right)
För att \displaystyle \boldsymbol{u} skall få tillhöra \displaystyle U så måste \displaystyle \boldsymbol{u} :s koordinater uppfylla ekvationen
x_1-x_2-x_3+x_4=0.
Eftersom \displaystyle \boldsymbol{u} är godtycklig visar det vad som krävs av en vektor för att få tillhöra \displaystyle U . Därmed får vi att
U=\{\boldsymbol{u}=(x_1,x_2,x_3,x_4)^t\in{\bf R}^4:\ x_1-x_2-x_3+x_4=0\}.
Den geometriska tolkningen av underrummet \displaystyle U är att \displaystyle U är ett hyperplan i \displaystyle {\bf R}^4 .