4.5.16 · D3Linear Algebra (Full)

Worked examples — Span — definition

2,768 words13 min readBack to topic

Before we start, three words we will keep using, each anchored to a picture in your head:

The span is the collection of all the landing spots you can produce this way.


The scenario matrix

Every span question falls into one of these cells. We will hit each one with a worked example.

Cell Situation What can go wrong / what to watch Example
A 1 vector, nonzero Always a line through origin Ex 1
B 1 vector, the zero vector (degenerate) Span collapses to a single point Ex 2
C 2 vectors, independent, in Fill the whole plane — test with Determinant Ex 3
D 2 vectors, dependent (one is a multiple) Collapses to a line, not a plane Ex 4
E 2 vectors in A tilted plane through origin, not all of space Ex 5
F 3 vectors in , independent Fill all of Ex 6
G 3 vectors in , one redundant Still only a plane — count real directions Ex 7
H Word problem (real-world reachability) Translate "amounts" into scalars Ex 8
I Exam twist: negative-scalar / "positive only" trap Scalars range over all of Ex 9

The signs of the scalars (, , ) are covered inside the examples because a span always allows all three — that is exactly what makes it symmetric through the origin.


Cell A — one nonzero vector: a line

Figure — Span — definition

What the figure shows: a single cyan straight line passing through the origin along the direction , extending to the upper-right and lower-left. The white arrow marks ; the amber dot at sits exactly on the line, while the red dot at sits clearly off it.

  1. Write the span. With one vector there is one scalar : Why this step? The definition says span = all linear combinations; with one generator a linear combination is just .
  2. See the shape. As runs through every real number, slides the tip along the straight direction . Positive goes one way, negative flips it to the other side, sits at the origin. Look at the cyan line in the figure (described above) — it passes through the origin in both directions. So the span is a line through the origin.
  3. Test . Need : from the first slot ; check second slot ✔. So is in the span (amber tip in figure).
  4. Test . Need , but then second slot gives . No consistent . So is not in the span.

Verify: ✔. For : the two slots demand and simultaneously — impossible, so correctly rejected.


Cell B — the zero vector: a single point

  1. Apply the definition. . Why this step? Same rule as always — all scalar multiples.
  2. Compute the multiples. For every scalar , . Stretching nothing gives nothing; flipping nothing gives nothing. Why this step? for any real , so the "set of all landing spots" has exactly one member.
  3. Conclusion. — a single point, the origin.

Verify: the span is still a valid Subspace (it contains , is closed under and scaling). It has Dimension . This is the smallest possible span.


Cell C — two independent vectors fill

Figure — Span — definition

What the figure shows: a lattice of cyan dots — the points for integer — spreading evenly across the whole plane (a tilted grid). The amber arrow is , the white arrow is , and a red dot marks the target that the grid reaches.

  1. Set up the reachability question. "Span " means every target is hit: Why this step? Membership in a span is always a system of linear equations in the scalars .
  2. Read it as a matrix. Put the vectors as columns: . The system is . Why this step? Stacking the vectors as columns is precisely how a linear combination becomes the single product — so "is reachable?" turns into the standard solvability question "does have a solution?", which the determinant can then answer in one number.
  3. Ask the decisive question with the Determinant. Why the determinant and not something else? Because for a square matrix, is exactly the condition that " can be undone" (invertible) — meaning every has a solution.
  4. Conclude. Nonzero determinant ⇒ invertible ⇒ every reachable ⇒ they span (full span). In the figure, the two cyan arrows form a genuine "grid" of tip-to-tail parallelograms that tile the whole plane.

Verify: solve for a specific hard target, say . , so . Check: ✔.


Cell D — two dependent vectors: collapse to a line

Figure — Span — definition

What the figure shows: one single cyan line through the origin. Both the amber arrow and the white arrow lie along that same line just points the opposite way and is twice as long. A red dot at sits off the line, showing it is unreachable.

  1. Check for a hidden multiple. Is ? needs from the first slot; check second: ✔. So — they are linearly dependent (see Linear independence).
  2. Simplify the linear combination. Every combination collapses: Why this step? Substituting turns two free scalars into a single effective scalar , which can still be any real number.
  3. Conclude. The span is — just the line through , not the plane. In the figure both arrows lie on the same cyan line (one just points the opposite way).
  4. Confirm with the determinant. . Zero determinant ⇒ the matrix is not invertible ⇒ they do not achieve full span (they cover only a line, not all of ), matching our finding.

Verify: is in the span? It would need : , but then . No — correctly, the plane is not filled. Determinant ✔ agrees.


Cell E — two vectors in : a tilted plane

Figure — Span — definition

What the figure shows: a flat, tilted cyan sheet passing through the origin in 3D — this is the plane . The amber arrow and the white arrow both lie in the sheet, and the amber dot sits right on it, confirming reachability.

  1. Write a general point. . Why this step? Add coordinate-by-coordinate to see the pattern.
  2. Spot the constraint. The third coordinate is forced: . So every point in the span obeys . Two free numbers sweep out a 2-dimensional flat — a plane through the origin, tilted (not one of the coordinate planes). See the cyan sheet described above. Why can't it be all of ? Two arrows give at most two independent directions; filling 3D needs three. See Dimension.
  3. Membership becomes a plane test. A point is in the span iff .

Verify: is in it? Check ✔ — yes, with giving . Is in it? no. Both agree with the coordinate formula.


Cell F — three independent vectors fill

  1. Stack as columns and test with the determinant. Why the determinant? For a square matrix, ⇔ invertible ⇔ every target reachable, exactly as in Cell C but one dimension up.
  2. Compute the determinant. is upper-triangular, so product of the diagonal . Why this shortcut? For a triangular matrix the determinant is just the diagonal product — no row reduction needed.
  3. Conclude. ⇒ the three columns are independent ⇒ they span all of (full span). They also form a Basis (spanning and independent).

Verify: hit the target . Solve . Third slot: . Second: . First: . Check: ✔.


Cell G — three vectors, one redundant: still a plane

  1. Hunt for redundancy. Notice . The third vector is already a combination of the first two — it adds no new direction. Why this step? Span grows only when a new vector points somewhere unreachable; here it points into the plane we already had.
  2. Reduce to the essentials. So of all three , which is the set — the -plane, a 2D flat.
  3. Confirm with the determinant. (a whole row of the third-coordinate is zero). Zero ⇒ not full span (only a plane, not all of ), matching. The number of genuinely independent columns is , so Dimension .

Verify: is in the span? Any combination keeps the third coordinate , so third coordinate is always . No. Three vectors did not guarantee .


Cell H — a real-world word problem

  1. Translate to span. " of packet plus of packet " is exactly . The reachable blends are . Why this step? "Use some amount of each ingredient and combine" is scaling-and-adding — the definition of a linear combination.
  2. Test full span. These are the same vectors as Ex 3, , so every is reachable — the packets span .
  3. Concrete order. Want . Solve : from Ex 3's inverse, .

Verify: ✔. Units: packet + packets kg sand, kg cement. (Physically you'd restrict to ; mathematically the span allows all reals — see the next trap.)


Cell I — the exam twist (negative-scalar trap)

  1. Recall the exact definition. In , the scalars range over all of — positive, negative, and zero. This is not optional; it is built into the definition (see Linear combination). Why this matters: allowing is precisely what makes the span symmetric through the origin.
  2. Show a negative combination. Take : , which has . That point is in the span, but it is not in the proposed ray. Why this step? One concrete counterexample is enough to break a "for all" claim: to disprove "the span is only the ray ", we just exhibit a single legitimate span element that lies outside that ray. does exactly that.
  3. Name the correct object for the restricted version. If you did forbid negatives (), you'd get a ray (in general a cone), not a span. The statement confuses a cone with a span.
  4. Deliver the verdict. The statement is FALSE. The true span is — the entire horizontal axis, extending in both directions through the origin, not a one-sided ray.

Verify: — the whole horizontal axis. The point is reachable with ✔, yet places it outside the claimed ray — so the claim is correctly rejected.


Active recall


Connections

  • Linear combination — every worked example is a membership question phrased as a linear combination.
  • Linear independence — the hidden pivot deciding line vs plane (Cells D, G).
  • Determinant — the yes/no full-span test for square cases (Cells C, F).
  • Subspace — even (Cell B) is a valid one.
  • Basis — Cell F's three independent vectors form one.
  • Dimension — counts real directions across all cells.
  • Column space — the span of a matrix's columns, exactly what the determinant tests probe.