Linear-Algebra-Done-Right Β· Unit 3 Β· Video 1 Β· Interactive Practice

Linear Combinations, Span, and Finite-Dimensional Spaces

IKey Formulas

FormulaNameWhat it says
a1v1+β‹―+amvma_1 v_1 + \cdots + a_m v_m, Β a1,…,am∈F\ a_1, \dots, a_m \in \mathbf{F}Linear combinationA sum of scalar multiples of the vectors in the list v1,…,vmv_1, \dots, v_m
span⁑(v1,…,vm)={a1v1+β‹―+amvm:ak∈F}\operatorname{span}(v_1, \dots, v_m) = \{a_1 v_1 + \cdots + a_m v_m : a_k \in \mathbf{F}\}, Β span⁑( )={0}\ \operatorname{span}(\,) = \{0\}SpanThe set of all linear combinations; the empty list spans {0}\{0\}
span⁑(v1,…,vm)=V\operatorname{span}(v_1, \dots, v_m) = V for some listFinite-dimensionalFinitely many vectors produce every vector of VV; Fn\mathbf{F}^n is spanned by the nn standard vectors
Pm(F)=span⁑(1,z,…,zm)\mathcal{P}_m(\mathbf{F}) = \operatorname{span}(1, z, \dots, z^m)Polynomials of degree at most mmA list of length m+1m + 1 spans it, but no list spans P(F)\mathcal{P}(\mathbf{F})

Key Insight: span⁑(v1,…,vm)\operatorname{span}(v_1, \dots, v_m) is the smallest subspace of VV containing v1,…,vmv_1, \dots, v_m: it is a subspace, and every subspace UU with each vk∈Uv_k \in U satisfies span⁑(v1,…,vm)βŠ†U\operatorname{span}(v_1, \dots, v_m) \subseteq U.

IIVisualization 1 β€” Linear Combinations in R2\mathbf{R}^2

Combinations of v1=(1,1)v_1 = (1, 1) and v2=(1,βˆ’1)v_2 = (1, -1) reach every point of R2\mathbf{R}^2; a pair on one line reaches only that line.

IIIVisualization 2 β€” Is a Vector in the Span?

A vector of R3\mathbf{R}^3 lies in span⁑((2,1,βˆ’3),(1,βˆ’2,4))\operatorname{span}((2, 1, -3), (1, -2, 4)) only if one pair a1,a2a_1, a_2 solves all three coordinate equations.

πŸ’‘ The first two coordinates already determine a1a_1 and a2a_2, so the third is forced: this span is the plane 2x1+11x2+5x3=02x_1 + 11x_2 + 5x_3 = 0, not all of R3\mathbf{R}^3.

IVVisualization 3 β€” Why P(F)\mathcal{P}(\mathbf{F}) Is Infinite-Dimensional

Every list in P(F)\mathcal{P}(\mathbf{F}) has a highest degree mm, so its span sits inside Pm(F)\mathcal{P}_m(\mathbf{F}) and misses zm+1z^{m+1}.

πŸ’‘ Since every list misses some zm+1z^{m+1}, no list spans P(F)\mathcal{P}(\mathbf{F}), while each Pm(F)\mathcal{P}_m(\mathbf{F}) is spanned by 1,z,…,zm1, z, \dots, z^m.

VQuiz Questions

Problem 1 Β· Finding the Scalars

Given: (5,5,βˆ’13)=a1(2,1,βˆ’3)+a2(1,βˆ’2,4)(5, 5, -13) = a_1 (2, 1, -3) + a_2 (1, -2, 4) in R3\mathbf{R}^3 β€” find a1a_1 and a2a_2.

βœ… Correct! 3(2,1,βˆ’3)βˆ’(1,βˆ’2,4)=(6βˆ’1,3+2,βˆ’9βˆ’4)=(5,5,βˆ’13)3(2, 1, -3) - (1, -2, 4) = (6 - 1, 3 + 2, -9 - 4) = (5, 5, -13).
❌ The scalars are swapped. βˆ’(2,1,βˆ’3)+3(1,βˆ’2,4)=(1,βˆ’7,15)-(2, 1, -3) + 3(1, -2, 4) = (1, -7, 15); a1a_1 multiplies the first vector (2,1,βˆ’3)(2, 1, -3).
❌ Check the sign of a2a_2. 3(2,1,βˆ’3)+(1,βˆ’2,4)=(7,1,βˆ’5)3(2, 1, -3) + (1, -2, 4) = (7, 1, -5), which misses already in the first coordinate.
❌ Not quite. Compare coordinates: 5=2a1+a25 = 2a_1 + a_2 and 5=a1βˆ’2a25 = a_1 - 2a_2; solve these two, then check the third.
Show solution

Comparing coordinates gives three equations:

5=2a1+a2,5=a1βˆ’2a2,βˆ’13=βˆ’3a1+4a2.5 = 2a_1 + a_2, \qquad 5 = a_1 - 2a_2, \qquad -13 = -3a_1 + 4a_2.

The first gives a2=5βˆ’2a1a_2 = 5 - 2a_1. Substituting into the second:

5=a1βˆ’2(5βˆ’2a1)=5a1βˆ’10β€…β€ŠβŸΉβ€…β€Ša1=3,a2=5βˆ’6=βˆ’1.5 = a_1 - 2(5 - 2a_1) = 5a_1 - 10 \implies a_1 = 3, \quad a_2 = 5 - 6 = -1.

Check the third equation: βˆ’3(3)+4(βˆ’1)=βˆ’9βˆ’4=βˆ’13-3(3) + 4(-1) = -9 - 4 = -13 βœ“. So a1=3a_1 = 3 and a2=βˆ’1a_2 = -1, and (5,5,βˆ’13)∈span⁑((2,1,βˆ’3),(1,βˆ’2,4))(5, 5, -13) \in \operatorname{span}((2, 1, -3), (1, -2, 4)).

Problem 2 Β· Don't Stop at Two Equations

Given: the list (2,1,βˆ’3),(1,βˆ’2,4)(2, 1, -3), (1, -2, 4) in R3\mathbf{R}^3 β€” is (1,3,βˆ’5)(1, 3, -5) in its span?

βœ… Correct! The only scalars that fit the first two equations give βˆ’3(1)+4(βˆ’1)=βˆ’7-3(1) + 4(-1) = -7, so the third equation fails and no linear combination equals (1,3,βˆ’5)(1, 3, -5).
❌ Those scalars only fit two coordinates. (2,1,βˆ’3)βˆ’(1,βˆ’2,4)=(1,3,βˆ’7)(2, 1, -3) - (1, -2, 4) = (1, 3, -7), not (1,3,βˆ’5)(1, 3, -5): the third equation was never checked.
❌ That combination is (βˆ’1,βˆ’3,7)(-1, -3, 7). It already misses the first coordinate.
❌ These two vectors do not span R3\mathbf{R}^3. Their span here is the plane 2x1+11x2+5x3=02x_1 + 11x_2 + 5x_3 = 0, and 2+33βˆ’25=10β‰ 02 + 33 - 25 = 10 \neq 0.
❌ Not quite. Solve the first two coordinate equations, then test the third.
Show solution

Suppose (1,3,βˆ’5)=a1(2,1,βˆ’3)+a2(1,βˆ’2,4)(1, 3, -5) = a_1 (2, 1, -3) + a_2 (1, -2, 4). Comparing coordinates:

1=2a1+a2,3=a1βˆ’2a2,βˆ’5=βˆ’3a1+4a2.1 = 2a_1 + a_2, \qquad 3 = a_1 - 2a_2, \qquad -5 = -3a_1 + 4a_2.

The first gives a2=1βˆ’2a1a_2 = 1 - 2a_1; then 3=a1βˆ’2+4a13 = a_1 - 2 + 4a_1, so 5a1=55a_1 = 5, a1=1a_1 = 1 and a2=βˆ’1a_2 = -1. These are the only values satisfying the first two equations.

βˆ’3a1+4a2=βˆ’3βˆ’4=βˆ’7β‰ βˆ’5.-3a_1 + 4a_2 = -3 - 4 = -7 \neq -5.

The system has no solution, so (1,3,βˆ’5)βˆ‰span⁑((2,1,βˆ’3),(1,βˆ’2,4))(1, 3, -5) \notin \operatorname{span}((2, 1, -3), (1, -2, 4)).

Problem 3 Β· Degree After Simplifying

Given: p(z)=(z+1)2βˆ’z(z+2)p(z) = (z + 1)^2 - z(z + 2) and q(z)=(z+1)2βˆ’z(z+2)βˆ’1q(z) = (z + 1)^2 - z(z + 2) - 1 for all z∈Fz \in \mathbf{F} β€” find deg⁑p\deg p and deg⁑q\deg q.

What is deg⁑p\deg p?

What is deg⁑q\deg q?

βœ… Correct! pp is the constant polynomial 11, of degree 00, and qq is the zero polynomial, of degree βˆ’βˆž-\infty.
❌ Expand first. The z2z^2 terms cancel: (z2+2z+1)βˆ’(z2+2z)=1(z^2 + 2z + 1) - (z^2 + 2z) = 1. Degree is read from the polynomial, whose coefficients are unique, not from how it is written.
❌ pp is not the zero polynomial. p(z)=1p(z) = 1 for all zz, a nonzero constant: a0=1β‰ 0a_0 = 1 \neq 0, so deg⁑p=0\deg p = 0.
❌ Degree 00 needs a0β‰ 0a_0 \neq 0. Here q(z)=0q(z) = 0 for every zz, so no coefficient is nonzero.
❌ The zero polynomial does have a degree. By convention it is βˆ’βˆž-\infty, which is less than every integer, so 0∈Pm(F)0 \in \mathcal{P}_m(\mathbf{F}) for every mm.
❌ Check deg⁑p\deg p. Expand (z+1)2(z + 1)^2 and z(z+2)z(z + 2) and subtract.
❌ Check deg⁑q\deg q. q=pβˆ’1q = p - 1; what polynomial is that?
Show solution

Expand for every z∈Fz \in \mathbf{F}:

p(z)=(z2+2z+1)βˆ’(z2+2z)=1.p(z) = (z^2 + 2z + 1) - (z^2 + 2z) = 1.

So p(z)=a0p(z) = a_0 with a0=1β‰ 0a_0 = 1 \neq 0, and deg⁑p=0\deg p = 0. Since coefficients of a polynomial are uniquely determined, the z2z^2 in the way pp was written does not count.

q(z)=p(z)βˆ’1=0forΒ allΒ z∈F.q(z) = p(z) - 1 = 0 \quad \text{for all } z \in \mathbf{F}.

qq is the zero polynomial, so deg⁑q=βˆ’βˆž\deg q = -\infty.

Problem 4 Β· What a Subspace Must Contain

Given: UU is a subspace of P(F)\mathcal{P}(\mathbf{F}) with z2∈Uz^2 \in U and 1+z∈U1 + z \in U β€” which polynomial must lie in UU?

βœ… Correct! 3+3zβˆ’2z2=3(1+z)+(βˆ’2)z2∈span⁑(z2,1+z)3 + 3z - 2z^2 = 3(1 + z) + (-2)z^2 \in \operatorname{span}(z^2, 1 + z), and the span is contained in every subspace containing z2z^2 and 1+z1 + z.
❌ Not a linear combination. a(z2)+b(1+z)=b+bz+az2a(z^2) + b(1 + z) = b + bz + az^2 always has equal constant and zz coefficients, so it cannot equal this polynomial; UU might be exactly span⁑(z2,1+z)\operatorname{span}(z^2, 1 + z), which excludes it.
❌ Too much. span⁑(z2,1+z)\operatorname{span}(z^2, 1 + z) is itself a subspace containing both polynomials, and it misses z∈P2(F)z \in \mathcal{P}_2(\mathbf{F}), so UU need not contain all of P2(F)\mathcal{P}_2(\mathbf{F}).
❌ Not quite. UU must contain span⁑(z2,1+z)\operatorname{span}(z^2, 1 + z) and nothing more is guaranteed.
Show solution

Since span⁑(z2,1+z)\operatorname{span}(z^2, 1 + z) is the smallest subspace containing z2z^2 and 1+z1 + z, every such UU satisfies span⁑(z2,1+z)βŠ†U\operatorname{span}(z^2, 1 + z) \subseteq U. Conversely U=span⁑(z2,1+z)U = \operatorname{span}(z^2, 1 + z) is one such subspace, so the polynomials that must lie in UU are exactly the linear combinations

az2+b(1+z)=b+bz+az2,a,b∈F.a z^2 + b(1 + z) = b + bz + a z^2, \qquad a, b \in \mathbf{F}.

Their constant and zz coefficients are equal. For 3+3zβˆ’2z23 + 3z - 2z^2 take b=3b = 3, a=βˆ’2a = -2 βœ“. For 1+z21 + z^2 the zz coefficient would be b=1b = 1 but it is 00; for zz the constant would be b=1b = 1 but it is 00. Neither is in the span; in particular z∈P2(F)z \in \mathcal{P}_2(\mathbf{F}) is not, so not all of P2(F)\mathcal{P}_2(\mathbf{F}) is forced. The answer is 3+3zβˆ’2z23 + 3z - 2z^2.

Solved: 0 / 4