Chapter 7
16 min read
Section 34 of 139

Space Is a Grid You Build

Building Your Own Grid

By the end of this section you will see space itself as something you build, one ruler at a time, and you will know exactly what a single vector can — and cannot — reach. This chapter takes the formal definitions of span, independence, and basis from earlier chapters and rebuilds them as a hands-on act of construction: you hand the grid one vector, watch what it can reach, hand it another, and watch the reach grow. Every idea in the chapters ahead — rank, dependence, change of basis — is really a question about how much grid a set of vectors manages to build.

What You Will Be Able to Do

You will be able to…Concretely
See a vector as a rulerExplain what it means for one vector to be the only unit of measurement you are allowed to use.
Compute what one vector reachesGiven a single vector and a scalar, compute the point it lands on and describe the whole set it can reach.
Name the span of one vectorState, precisely, that scaling a single nonzero vector reaches an entire line through the origin and nothing more.
Define 'basis vector' constructivelyExplain why a single vector that reaches every point of its line, uniquely, earns the name basis vector for that line.

The Big Picture: One Ruler, One Line

Before a machine — or you — can talk about “position,” it needs a ruler. Give it exactly one: the vector ı^=(1,0)\hat{\imath} = (1, 0). That single arrow is now the only unit of measurement available. Every position you can describe has to be built by scaling it:

V=xı^V = x \cdot \hat{\imath}

Plug in a few numbers and watch what happens. Each choice of xx slides the ruler out to a new point on the same line:

xV = x · îWhat it means
1(1, 0)One full length of the ruler, in the direction î already points.
2.5(2.5, 0)Two and a half rulers laid end to end — still on the same line.
−3(−3, 0)Three rulers, flipped backward — negative scaling, same line.

No matter which real number you pick for xx, the result VV lands somewhere on the same straight line through the origin — the line ı^\hat{\imath} itself lies on. That entire line, every point of it, is called the span of ı^\hat{\imath}: the complete set of places you can reach using only that one ruler and ordinary scaling.

This is the constructive definition of a basis vector: ı^\hat{\imath} is a basis for its line precisely because every point on that line is xı^x \cdot \hat{\imath} for exactly one xx — one ruler, one recipe, one reachable line. Nothing off that line is reachable yet. In the next section you will hand the grid a second ruler and watch that restriction break open into an entire plane.


The Refusal: A Second î Buys You Nothing

Before you get a second ruler, it is worth trying the tempting shortcut: what if you just used two copies of the ruler you already have? Ask the grid to add “another î, pointing vertically this time.” The grid accepts the request — and then refuses it.

The refusal is not a rule someone imposed from outside; it falls straight out of what ı^\hat{\imath} already is. The vector ı^\hat{\imath} has one fixed coordinate pair, (1,0)(1, 0), full stop. You cannot hand it a new direction by asking nicely — a “second î” is still the vector (1,0)(1, 0), because that is the only vector the name refers to. Scaling that duplicate by any xx sweeps out exactly the same line the original already swept.

The refusal, precisely. A dependent vector cannot help you build any new part of the grid. Two copies of ı^\hat{\imath} are one direction, not two — the line stays a line.
This is the first time “dependent” earns a construction meaning, not just an algebraic one: a vector is dependent when it is extra — when adding it to the grid does not unlock a single point you could not already reach. That is exactly the fate of the duplicate î.

See It: Build the Line, Then Try to Break It

The widget below is the same Grid Builder used throughout this chapter, pinned to just the first two stages so you can focus on one ruler and the refusal before the plane opens up. Stage 1 lets you scrub xx in V=xı^V = x \cdot \hat{\imath} and watch the point slide along the line; Stage 2 offers the “Add another î” button and shows you the refusal card.

What to look for: everything off the bright highlighted line sits under a dark veil — the grid is deliberately shading out every point one vector cannot reach yet, so the gap between “one line” and “the whole plane” is visible, not just implied. Watch the rank chip: it reads rank 1 through both stages — a second copy of î never moves it. When you press Add another î, notice the duplicate arrow drawn dashed, lying exactly on top of the original: same line, same reach, nothing new.

Loading grid builder

Common Misconceptions

“A longer î reaches more”

Why it is tempting: a longer arrow looks like it covers more ground, so it is natural to think stretching ı^\hat{\imath} out to length 10 would reach farther than the unit-length original. Correction: the span of a nonzero vector is already the entire line through it, in both directions, forever — stretching or shrinking the vector you started from changes nothing about which points are reachable, only which scalar xx gets you there. Example: the point (6,0)(6, 0) is reachable from ı^\hat{\imath} with x=6x = 6 just as surely as it is reachable from a length-2 ruler (2,0)(2, 0) with x=3x = 3 — same line, same span, different recipe.

“A second copy of î eventually adds a new direction”

Why it is tempting: adding a second vector to a set usually does grow what you can reach, so it is easy to assume any second vector will do the same. Correction: growth only happens when the new vector points somewhere genuinely different. A duplicate of ı^\hat{\imath} is still the vector (1,0)(1, 0) — it has no freedom to point anywhere else — so it sweeps the identical line no matter how many copies you add. Example: ten copies of ı^\hat{\imath} still only reach the 1-dimensional number line; the rank stays exactly 1.


Summary

IdeaThe takeaway
One vector, one lineV = x·î reaches every point of a 1D line as x ranges over the reals — nothing off that line yet.
Span (of one vector)The entire set of points reachable by scaling that single vector — the whole line, no more.
Basis vector (constructive)î is a basis for its line because every point on the line is x·î for exactly one x.
The refusalî is always (1, 0). A duplicate î sweeps the same line — a dependent vector cannot build any new part of the grid.
Rank so farOne genuinely independent ruler builds exactly 1 dimension. The chip reads rank 1 through both stages.

Practice Problems

Beginner

B1. Compute V=xı^V = x \cdot \hat{\imath} for x=4x = 4 and for x=1.5x = -1.5. Are both points on the same line?
Hint: plug each x into (x,0)(x, 0) and compare.

B2. Is the point (0,3)(0, 3) reachable using only ı^\hat{\imath}? Explain using the word “span.”
Hint: what is the second coordinate of xı^x \cdot \hat{\imath} for every choice of xx?

Intermediate

I1. A classmate suggests adding a second, vertical copy of ı^\hat{\imath} to reach (0,3)(0, 3). Explain, using the refusal, exactly why this does not work.
Hint: what is the actual coordinate pair of ı^\hat{\imath}, no matter how you draw it?

I2. If you scaled ı^\hat{\imath} by every real number xx, would you eventually cover the point (2,0.0001)(2, 0.0001)? Why or why not?
Hint: that point is off the x-axis by a tiny amount — does xı^x \cdot \hat{\imath} ever leave the axis?


Concept Map

This section built the smallest possible grid — one ruler, one line — and then tried, and failed, to cheat past its limit with a duplicate. That failure is the whole point: a grid only grows when a new vector points somewhere genuinely new.

FromThis sectionLeads to
Ch. 6 §4: span, independence, basis, dimension (the formal definitions)One vector, one line — span and basis vector defined constructively; the refusal shows a duplicate adds nothing§2: a second, genuinely new ruler unlocks the entire plane

Next up, §2 — Earning the Plane hands the grid a second ruler that actually points somewhere new, ȷ^=(0,1)\hat{\jmath} = (0, 1), and watches the reachable set jump from a line to the entire plane.


Loading comments...