Vector spaces
Solution 3.10.1
(See Exercise 3.1.) To decide whether we get a vector space, we check axioms from Definition 3.10, especially
-
\((r+s)v=rv+sv\) (Definition 3.104.),
-
\((rs)v=r(sv)\) (Definition 3.106.),
-
and \(1v=v\) (item 7 in Definition 3.10).
-
\(r\cdot(x,y,z)=(rx,y,rz)\). Let \(v=(x,y,z)\). Then
while
In general these are different (e.g. if $y\neq 0$), so
Thus axiom <a href="../spaces/#def-vector-space" data-reference-type="ref+Label" data-reference="def:vector-space">Definition 3.10</a><a href="../spaces/#item-distributive-law" data-reference-type="ref" data-reference="item--distributive law">4.</a> fails. Hence this is *not* a vector space structure.
-
\(r\cdot(x,y,z)=(0,0,0)\).
For any nonzero \(v\in V\),
So the identity axiom $1v=v$ from <a href="../spaces/#def-vector-space" data-reference-type="ref+Label" data-reference="def:vector-space">Definition 3.10</a> fails. Hence this is *not* a vector space structure.
-
\(r\cdot(x,y,z)=(r^2x,r^2y,r^2z)\).
Here, for every \(v=(x,y,z)\in V\),
so the axiom $1v=v$ (item 7 in <a href="../spaces/#def-vector-space" data-reference-type="ref+Label" data-reference="def:vector-space">Definition 3.10</a>) is satisfied. Also,
while
In general these are different (e.g. $r=s=1$ and $v\neq 0$), so
Hence <a href="../spaces/#def-vector-space" data-reference-type="ref+Label" data-reference="def:vector-space">Definition 3.10</a><a href="../spaces/#item-distributive-law" data-reference-type="ref" data-reference="item--distributive law">4.</a> fails. (By contrast, <a href="../spaces/#def-vector-space" data-reference-type="ref+Label" data-reference="def:vector-space">Definition 3.10</a><a href="../spaces/#item-multiplication-law" data-reference-type="ref" data-reference="item--multiplication.law">6.</a> does hold here.) Hence this is *not* a vector space structure.
Therefore, in all three cases, \(V\) is not a vector space.
Solution 3.10.2
(See Exercise 3.13.) A linear combination of \(A\) and \(B\) is of the form
with \(\alpha, \beta \in {\bf R}\). Computing the left hand side, we need to find \(\alpha\) and \(\beta\) such that
Comparing the entries of the matrix, this gives the linear system
The second gives \(\alpha = -2\beta\), inserting into the first gives \(-2 \beta+3 \beta = -1\), which means \(\beta = -1\). However, inserting into the third equation gives \(-4\beta + 3 \beta = 2\), so that \(\beta = -2\), contradicting the previous equation. Thus, there is no solution, so \(C\) is not a linear combination of \(A\) and \(B\).
Solution 3.10.3
(See Exercise 3.15.) The system \(x + y + z+t=0\) corresponds to the matrix
This matrix is already in reduced row echelon form: the leading one is for the variable \(x\), the variables \(y, z, t\) are free variables. Thus,
We have
Solution 3.10.4
(See Exercise 3.16.) By definition, \(S\) consists of all the linear combinations of the three given vectors. These can be written as
for arbitrary \(a,b,c \in {\bf R}\). The intersection is given by vectors as above satisfying the linear system determining \(T\), i.e.,
such that
Simplifying these equations gives
Thus \(b=c\) and \(3a+4c=0\), i.e., \(a = -\frac 43c\), and \(c\) is a free variable. (Alternatively, the above system is associated to the matrix \(\left ( \begin{array}{ccc} 0 & 3 & -3 \\ 3 & 2 & 2 \end{array} \right )\), which can be brought into reduced row echelon form.) Thus,
Solution 3.10.5
(See Exercise 3.25.) We have to find a vector \(v \in W_1\) that is also contained in \(W_2\). This means that
(3.78)
for some \(a, b \in {\bf R}\) and at the same time
for some \(\alpha, \beta \in {\bf R}\). Comparing the two vectors gives the following linear system, where \(a, b, \alpha, \beta\) are the unknowns:
We solve this system: the last equation gives \(a = \alpha\) and, from the first equation, \(b = -\alpha\). The second equation implies \(\beta = 0\). There is no condition on \(\alpha\), this \(\alpha = r\) for an arbitrary real number \(r \in {\bf R}\).
Instead of solving the above system by hand, we may also use Gaussian elimination to solve this linear system. The matrix is the following (where the columns are for \(a, b, \alpha, \beta\), in that order):
The three leading ones are for the variables \(a, b, \beta\), and \(\alpha\) is a free variable, so let \(\alpha = r\), where \(r \in {\bf R}\) is an arbitrary real number. This gives again \(\beta = 0\), \(b + r - 3\beta = 0\), so that \(b = - r\) and \(a = r\).
Thus the intersection \(W_1 \cap W_2\) consists of the vectors
Thus,
so a basis of \(W_1 \cap W_2\) consists of (the single vector) \((1,-1,1)\), and in particular
We now consider \(W_1 + W_2\). According to Definition 3.34,
i.e., of arbitrary sums whose two summands are in \(W_1\), respectively \(W_2\).
As was noted in the proof of Corollary 3.73, if \(V_1 = L(v_1, \dots, v_n)\) and \(V_2 = L(w_1, \dots, w_m)\) are two subspaces of a vector space \(V\), then the sum
For the subspaces \(W_1, W_2\) above, this means that we determine the span
By Definition 3.581., we obtain a basis of \(W_1 + W_2\) by (possibly) removing several of these four vectors. To determine which ones these are, we apply Method 3.53 and Method 3.44. The matrix built out of the four vectors is
Note that in this process we only added multiples of some rows to another row, but did not interchange any rows. Since we have the zero vector (underlined) in the third row, the vector \(w_1\) is a linear combination of \(v_1\) and \(v_2\). The vectors \(v_1, v_2, w_2\) are however linearly independent. Thus, they form a basis of \(W_1 + W_2\). In particular, \(\dim (W_1 + W_2) = 3\).
An alternative way to determine at least the dimension of \(W_1 + W_2\) is to use Theorem 3.74:
Using again Method 3.53, one can check that \(v_1, v_2\) is a basis of \(W_1\), so that \(\dim W_1 = 2\) and similarly that \(w_1, w_2\) form a basis of \(W_2\), so that \(\dim W_2 = 2\). Thus, using the first part of the exercise, we confirm \(\dim (W_1 + W_2) = 3\).
Solution 3.10.6
(See Exercise 3.27.) We will show that \(v_1, v_2, v_3\) are linearly independent (in \({\bf R}^4\) and therefore also in the subspace \(W\)) and therefore form a basis of \(W\). We use Method 3.53:
This matrix has three leading ones, so the vectors are linearly independent as claimed.
We “guess” \(v = (1, 2, 3, 4)\) and check that these vectors \(v_1, v_2, v_3, v\) are linearly independent. By Lemma 3.51, this will then imply that \(v\) is not a linear combination of the other vectors, so that \(W \subsetneq L(v_1, v_2, v_3, v)\). We use Method 3.53:
After dividing the second row by 4, we can interchange rows and get a row echelon matrix with four leading ones (underlined). Thus, \(v_1, v_2, v_3, v\) are linearly independent. Therefore, they form in fact a basis of \({\bf R}^4\), and we know by Definition 3.583. that therefore
Remark 3.79
A more systematic way of solving the second part of the exercise, without guessing, is to use Definition 3.58: we can take the standard basis of \({\bf R}^4\), and for (at least) one of the four standard basis vectors \(e_1, e_2, e_3, e_4\) we will have that this standard basis vector together with \(v_1, v_2, v_3\) form a basis of \({\bf R}^4\). We can then use Method 3.53 to see that, for example, \(v_1, v_2, v_3, e_1\) are linearly independent and therefore form a basis of \({\bf R}^4\), so that in particular \(W \subsetneq L(v_1, v_2, v_3, e_1)\).
Solution 3.10.7
(See Exercise 3.28.) We bring the matrix formed by these vectors in row-echelon form:
If \(t \ne 0\), we can divide by \(t\), which gives a matrix with three leading ones. Thus, the space \(U_t\) which is spanned by these vectors has dimension 3 in this case. If \(t = 0\), we continue simplifying the matrix into row echelon form:
This has two leading ones, thus \(\dim U_t = 2\) in this case.
We now consider \(t = 1\). The subspace \(U := U_1\) then has a basis consisting of the non-zero rows if the matrix above, i.e., it has a basis consisting of the vectors
In order to determine a basis of \(W\), we form the matrix associated to these homogeneous equations, which is
This has two columns not having a leading one, namely the last two. These are the free variables, say \(x_3 = a\), \(x_4 = b\) for \(a , b \in {\bf R}\). To determine a basis of \(W\), we therefore have to consider the system
This gives \(x_2 = -a-3b\), and \(x_1 - 3b=0\) so that \(x_1 = 3b\). Thus, a basis of \(W\) is given by the two vectors
In order to determine \(U \cap W\), consider a generic vector of \(U\), i.e., one of the form
We require it to satisfy the equations describing \(W\):
Simplifying these expressions gives the system
Therefore \(c = -3b\), plugging this into the second equation gives, after simplifying, \(-5a-3b = 0\) or \(a = -\frac35b\). Thus, our vector \(v \in U\) belongs to \(W\) precisely if it can be written as
where \(b \in {\bf R}\) is arbitrary. Thus, a basis of \(U \cap W\) is this vector
In particular, \(\dim U \cap W = 1\).