DLA Examples

Section 17.4 Examples

In this section.

Subsection 17.4.1 Testing dependence/independence

Here we will carry out examples of applying the Test for Linear Dependence/Independence.

Example 17.4.1. Testing dependence/independence in $R^{n}$ .

Are the vectors

(1, 0, 0, 1), (1, 1, 0, - 1), (2, 1, 0, 0), (5, 1, 0, 5)

R^{4}

linearly dependent or independent? Set up the test:

🔗

k_{1} (1, 0, 0, 1) + k_{2} (1, 1, 0, - 1) + k_{3} (2, 1, 0, 0) + k_{4} (5, 1, 0, 5) = (0, 0, 0, 0) .

Notice how we have used the proper zero vector in this space on the right-hand side. On the left-hand side, we want to combine the expression into one vector so that we can compare with the zero vector.

🔗

\begin{aligned} (k_{1}, 0, 0, k_{1}) + (k_{2}, k_{2}, 0, - k_{2}) + (2 k_{3}, k_{3}, 0, 0) + (5 k_{4}, k_{4}, 0, 5 k_{4}) & = (0, 0, 0, 0) \\ (k_{1} + k_{2} + 2 k_{3} + 5 k_{4}, k_{2} + k_{3} + k_{4}, 0, k_{1} - k_{2} + 5 k_{4}) & = (0, 0, 0, 0) \end{aligned}

Comparing components on either side, we obtain a system of four equations in the unknown scalars from the linear combination:

🔗

{\begin{array}{rcrcrcrcr} k_{1} & + & k_{2} & + & 2 k_{3} & + & 5 k_{4} & = & 0, \\ k_{2} & + & k_{3} & + & k_{4} & = & 0, \\ 0 & = & 0, \\ k_{1} & - & k_{2} & + & 5 k_{4} & = & 0. \end{array}

Now we’ll solve this homogeneous system by row reducing its coefficient matrix.

🔗

\begin{array}{r} (✶) & [\begin{array}{rrrr} 1 & 1 & 2 & 5 \\ 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & 0 \\ 1 & - 1 & 0 & 5 \end{array}] \to_{reduce}^{row} [\begin{array}{c} 1 & 0 & 1 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{array}] \end{array}

Note that here it was not necessary to reduce all the way to RREF, as we are not actually interested in the solutions to this system — we only need to know whether there exist nontrivial solutions. From the reduced matrix, we can see that

k_{3}

is a free variable and would be assigned a parameter in the general solution. The necessity of a parameter means there are an infinite number of solutions, which in particular means there are nontrivial solutions. Therefore, this collection of vectors is linearly dependent.

🔗

Remark 17.4.2.

Notice how the vectors from

R^{4}

that we were testing in the previous example ended up as columns in the coefficient matrix in (✶) — we saw a similar pattern in Example 16.4.10 (and in the other examples in Subsection 16.4.3), where we tested whether a particular vector was in the span of some collection of vectors.

🔗

Example 17.4.3. Testing dependence/independence in $M_{m \times n} (R)$ .

Consider the matrices in Discovery 17.4.a. First we set up the Test for Linear Dependence/Independence. Again, we use the proper zero vector on the right-hand side, and then we combine the expression on the left-hand side into one vector so that we may compare against the zero vector.
$\begin{aligned} k_{1} [\begin{array}{c} 1 & 0 \\ 0 & 1 \end{array}] + k_{2} [\begin{array}{c} 0 & 1 \\ 1 & 0 \end{array}] + k_{3} [\begin{array}{c} 0 & 0 \\ 0 & 1 \end{array}] & = [\begin{array}{c} 0 & 0 \\ 0 & 0 \end{array}] \\ [\begin{array}{c} k_{1} & 0 \\ 0 & k_{1} \end{array}] + [\begin{array}{c} 0 & k_{2} \\ k_{2} & 0 \end{array}] + [\begin{array}{c} 0 & 0 \\ 0 & k_{3} \end{array}] & = [\begin{array}{c} 0 & 0 \\ 0 & 0 \end{array}] \\ [\begin{array}{c} k_{1} & k_{2} \\ k_{2} & k_{1} + k_{3} \end{array}] & = [\begin{array}{c} 0 & 0 \\ 0 & 0 \end{array}] \end{aligned}$
There is no need to set up a system of equations here — we can see from comparing the top rows on either side that $k_{1} = 0$ and $k_{2} = 0 .$ Then, from the $(2, 2)$ entries, we see that $k_{1} + k_{3} = 0 .$ But since we already have $k_{1} = 0,$ we get $k_{3} = 0$ as well. So there is only the trivial solution, and these vectors are linearly independent.
Consider the matrices in Discovery 17.4.b. Again, we start by setting up the Test for Linear Dependence/Independence using the appropriate zero vector.

$k_{1} [\begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix}] + k_{2} [\begin{array}{rr} 1 & 0 \\ 0 & - 1 \end{array}] + k_{3} [\begin{array}{rr} 3 & 0 \\ 0 & - 2 \end{array}] = [\begin{matrix} 0 & 0 \\ 0 & 0 \end{matrix}]$

As before, this will lead to a homogeneous system of equations in the unknown scalars $k_{1}, k_{2}, k_{3},$ and the coefficient matrix of this system will have the entries of the three vectors as columns:

$[\begin{array}{rrr} 1 & 1 & 3 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & - 1 & - 2 \end{array}] \to_{reduce}^{row} [\begin{matrix} 1 & 0 & 1 / 2 \\ 0 & 1 & 5 / 2 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{matrix}] .$

From the reduced matrix, we see that $k_{3}$ is a free variable and will be assigned a parameter in the general solution. The necessity of a parameter implies nontrivial solutions, so these vectors are linearly dependent.

The reduced matrix can also be used to tell us exactly how these vectors are linearly dependent. Since $k_{3}$ is free, we obtain a solution to the system for every possible value we assign to it. To get a simple nontrivial solution, let’s set $k_{3} = 1 .$ Then solving the equations represented by the nonzero rows of the reduced matrix gives us $k_{1} = - 1 / 2$ and $k_{2} = - 5 / 2 .$ Putting these back into the vector equation from when we first set up the Test for Linear Dependence/Independence, we get

$\begin{array}{r} (- \frac{1}{2}) [\begin{array}{c} 1 & 0 \\ 0 & 1 \end{array}] + (- \frac{5}{2}) [\begin{array}{rr} 1 & 0 \\ 0 & - 1 \end{array}] + [\begin{array}{rr} 3 & 0 \\ 0 & - 2 \end{array}] = [\begin{array}{c} 0 & 0 \\ 0 & 0 \end{array}] \\ (- \frac{1}{2}) [\begin{array}{c} 1 & 0 \\ 0 & 1 \end{array}] + (- \frac{5}{2}) [\begin{array}{rr} 1 & 0 \\ 0 & - 1 \end{array}] + [\begin{array}{rr} 3 & 0 \\ 0 & - 2 \end{array}] = [\begin{array}{c} 0 & 0 \\ 0 & 0 \end{array}] \\ ⟹ [\begin{array}{rr} 3 & 0 \\ 0 & - 2 \end{array}] = \frac{1}{2} [\begin{array}{c} 1 & 0 \\ 0 & 1 \end{array}] + \frac{5}{2} [\begin{array}{rr} 1 & 0 \\ 0 & - 1 \end{array}] . \end{array}$

From this we see exactly how one of the vectors in our collection can be expressed as a linear combination of others in the collection.

🔗

Example 17.4.4. Testing dependence/independence in $P_{n} (R)$ .

Consider the polynomials from Discovery 17.4.c. Are they linearly dependent or independent? Set up the test, using the zero polynomial as the zero vector on the right-hand side:

🔗

k_{1} (1 + x) + k_{2} (1 + x^{2}) + k_{3} (2 - x + 3 x^{2}) = 0 .

As usual, we simplify the linear combination on the left-hand side into one vector. Here, this means collecting like terms.

🔗

(k_{1} + k_{2} + 2 k_{3}) + (k_{1} - k_{3}) x + (k_{2} + 3 k_{3}) x^{2} = 0 .

The polynomial on the left can only be equal to the zero polynomial if all its coefficients are zero, leading to the following system of equations:

🔗

{\begin{array}{rcrcrcr} k_{1} & + & k_{2} & + & 2 k_{3} & = & 0, \\ k_{1} & - & k_{3} & = & 0, \\ k_{2} & + & 3 k_{3} & = & 0. \end{array}

Once again, we reduce the coefficient matrix to determine if there are nontrivial solutions:

🔗

[\begin{array}{rrr} 1 & 1 & 2 \\ 1 & 0 & - 1 \\ 0 & 1 & 3 \end{array}] \to_{reduce}^{row} [\begin{matrix} 1 & 0 & - 1 \\ 0 & 1 & 3 \\ 0 & 0 & 0 \end{matrix}] .

🔗

Since variable

k_{3}

is free, there exist nontrivial solutions and the vectors are linearly dependent.

🔗

Example 17.4.5. Testing dependence/independence in $F (D)$ .

Let’s do an example in a function space. Consider vectors

f (x) = x,

g (x) = \sin (π x / 2)

and

h (x) = \cos (π x / 2)

F (R),

the space of functions defined on the whole real number line. Are these functions linearly dependent or independent? Let’s start the test by setting up the vector equation

🔗

k_{1} x + k_{2} \sin (π x / 2) + k_{3} \cos (π x / 2) = 0 .

Here, there is no algebraic way we can simplify the expression on the left-hand side. However, remember that the

0

on the right-hand side represents the zero function, and that functions are only equal when they always produce the same output given the same input (Definition 15.5.1). So let’s try substituting some input

x

-values into the functions on either side of our vector equation above:

🔗

\begin{aligned} x = 0 & : & k_{1} \cdot 0 + k_{2} \cdot 0 + k_{3} \cdot 1 & = 0, \\ x = 1 & : & k_{1} \cdot 1 + k_{2} \cdot 1 + k_{3} \cdot 0 & = 0, \\ x = 2 & : & k_{1} \cdot 2 + k_{2} \cdot 0 + k_{3} \cdot (- 1) & = 0. \end{aligned}

From the first equation we see

k_{3} = 0 .

Combining this with the third equation we also get

k_{1} = 0 .

Then combining that with the second equation we finally get

k_{2} = 0 .

Since only the trivial solution is possible, these vectors are linearly independent.

🔗

Subsection 17.4.2 Linear independence of “standard” spanning sets

Finally, let’s check the “standard” spanning sets of our favourite example vector spaces.

🔗

Example 17.4.6. Independence of the standard basis vectors in $R^{n}$ .

The standard basis vectors

e_{1}, e_{2}, \dots, e_{n}

form a spanning set for

R^{n},

and they are also linearly independent, as we see if we apply the test:

🔗

\begin{aligned} k_{1} e_{1} + k_{2} e_{1} + \dots + k_{n} e_{n} & = 0 & ⟹ & (k_{1}, k_{2}, \dots, k_{n}) & = (0, 0, \dots, 0) . \end{aligned}

So clearly each scalar

k_{j}

must be zero, which means there is only the trivial solution.

🔗

Example 17.4.7. Independence of the standard spanning vectors in $M_{m \times n} (R)$ .

In Remark 16.4.16, we noted that there is also a “standard” set of spanning vectors in

M_{m \times n} (R),

consisting of those matrices that have all zero entries except for a single

1

in one specific entry. We might call these “standard basis vectors” for

M_{m \times n} (R) .

Write

E_{i j}

for the matrix of this type with a

1

in the

{(i, j)}^{th}

entry. These spanning vectors are also linearly independent. Here, when we apply the Test for Linear Dependence/Independence, it is best if we enumerate our scalars with the same scheme as the vectors:

🔗

\begin{aligned} k_{11} E_{11} + k_{12} E_{12} + \dots + k_{m n} E_{m n} & = 0 & ⟹ & [k_{i j}] & = 0 . \end{aligned}

Again, we immediately see that only the trivial solution is possible.

🔗

Example 17.4.8. Independence of the standard spanning vectors in $P_{n} (R)$ .

Also in Remark 16.4.16, we noted that the powers of

x

(along with the constant polynomial

1

) form a spanning set for

P_{n} (R) .

We might call these “standard basis vectors” for

P_{n} (R) .

Are they linearly independent? Apply the Test:

🔗

k_{0} \cdot 1 + k_{1} x + k_{2} x^{2} + \dots + k_{n} x^{n} = 0 .

If any of these coefficients are nonzero, the polynomial on the left-hand side will be nonzero, so only the trivial solution is possible. Therefore, powers of

x

are always linearly independent in

P_{n} (R) .

🔗

Prev Top Next

Section 17.4 Examples

In this section.

Subsection 17.4.1 Testing dependence/independence

Example 17.4.1. Testing dependence/independence in Rn.

Remark 17.4.2.

Example 17.4.3. Testing dependence/independence in Mm×n(R).

Example 17.4.4. Testing dependence/independence in Pn(R).

Example 17.4.5. Testing dependence/independence in F(D).