4.5.17 · D4Linear Algebra (Full)

Exercises — Basis — definition, uniqueness of representation

2,130 words10 min readBack to topic

Reminders in one place (everything below is earned here, never assumed):

  • A basis is a set that is both linearly independent (only the all-zero combination gives ) and spanning (builds every vector).
  • The coordinates are the unique scalars with .
  • is the size of any basis — a fixed number for the space (see Dimension).

Level 1 — Recognition

L1.1

Is a basis of ? State which two properties you check.

Recall Solution

We check independence and spanning.

  • Independence: forces and , i.e. . Only the trivial combination gives . ✔
  • Spanning: any is . ✔ Both hold, so yes, is a basis. (Two independent vectors in a 2-dimensional space always form a basis.)

L1.2

Which of these is a basis of ? (a) , (b) , (c) .

Recall Solution
  • (a) One vector cannot span (its span is a single line). Not a basis.
  • (b) Three vectors in are dependent (). Spans but not independent. Not a basis.
  • (c) Two vectors, and they're independent since . This is the basis.

L1.3

True or false: the coordinates of in the standard basis are .

Recall Solution

True. Each switches on exactly one slot: , so . This equality of coordinates and entries is special to the standard basis.


Level 2 — Application

L2.1

Find the coordinates of in the basis .

Recall Solution

Solve : WHY set up a system: spanning promises a solution exists; independence promises it's unique — so solving is legitimate. Add the two equations: . Then .

L2.2

In (polynomials of degree ) with basis , give the coordinates of .

Recall Solution

Read off the coefficients in order : WHY: independence of means " for all " forces , so the coefficient list is unique.

L2.3

Reconstruct the vector whose coordinates in are .

Recall Solution

Coordinates tell you the recipe; just execute it:

L2.4

In , find the coordinates of the zero vector .

Recall Solution

Solve : gives and , so . WHY it matters: the zero vector has all-zero coordinates in every basis — this is exactly the independence condition in disguise.


Level 3 — Analysis

L3.1

Show that is not a basis of , and name which property fails.

Recall Solution

Note , so — a nontrivial combination equals . That breaks independence. Consequently the span is only the line through , so spanning fails too. Not a basis.

L3.2

The set spans . Exhibit two different representations of , proving coordinates aren't unique here.

Recall Solution
  • Using only the first two: .
  • Using the third once: since , Check: . ✔ Two honest addresses and for the same point → not unique → dependence is the culprit, so it's not a basis.

L3.3

Is a basis of ? Justify with a determinant.

Recall Solution

Stack the vectors as columns and compute the determinant:

=1(1\cdot0-1\cdot1)-0+1(0\cdot1-1\cdot1)=1(-1)+1(-1)=-2.$$ **WHY the determinant:** a nonzero determinant means the columns are independent *and* span $\mathbb R^3$ (the matrix is invertible). Since $-2\ne 0$, **yes, it's a basis**.

L3.4

Find the coordinates of in the basis of L3.3.

Recall Solution

Solve : WHY add all three equations: each equation is a true statement (its left side literally equals its right side), and adding true equations gives another true equation — the same move as putting both feet on a scale to read your combined weight. On the left, every unknown appears in exactly two of the three equations, so summing gives ; on the right we get . Hence: Now subtracting each original equation from this total isolates one unknown at a time (also a legal move — subtracting equal things from equal things keeps equality):

  • Check: . ✔

Level 4 — Synthesis

L4.1

Prove: if is a basis of , then is also a basis.

Recall Solution

is 3-dimensional (it has a basis of size 3), so by the counting theorem it suffices to prove is independent — three independent vectors in a 3-dim space automatically span. Suppose Collect coefficients of each original basis vector: WHY collect: is independent, so each coefficient must vanish: Back-substitute: . Only the trivial combination works, so is independent, hence a basis. ∎

L4.2

Coordinate change. With from L4.1 and , find .

Recall Solution

We want with Group by and match (legal because is independent): From the bottom up: ; then ; then . Check:

L4.3

Structural claim. Suppose a set of vectors in has the property that every has at most one representation as (uniqueness), but you are not told it spans. Which basis property is guaranteed, and which might fail? Give an example of failure.

Recall Solution

"At most one representation for all " applied to says the only way to write is with all-zero coefficients — that is independence ✔ (guaranteed). Spanning may fail: in gives at-most-one representation everywhere (it's independent), yet has no representation — spanning fails. So uniqueness alone independence, not basis.


Level 5 — Mastery

L5.1

Full uniqueness proof, your version. Let be a basis. Prove that the coordinate map is well-defined (single-valued) by deriving it from independence — no hand-waving.

Recall Solution

Suppose had two coordinate lists: Subtract (same vector minus itself is ): WHY subtract: it converts "two equal sums" into "a combination equal to ", which is precisely the situation independence controls. By independence, forces every coefficient , i.e. for all . The two lists coincide, so is single-valued. ∎

L5.2

Degenerate space. What is the basis and dimension of the zero space ? Explain why the empty set works.

Recall Solution

The basis is the empty set , and .

  • Spanning: the span of is (by convention) — an empty sum equals . That's the whole space. ✔
  • Independence: there are no vectors to combine, so there is no nontrivial combination equal to — vacuously independent. ✔ So is a basis of size , giving . Every basis of a space shares this size (see Dimension).

L5.3

Linear maps meet bases. Let be a basis of and linear. Prove that is completely determined by the two values .

Recall Solution

Take any . Because is a basis, has a unique coordinate expression (uniqueness, from L5.1). Apply linearity of : WHY this proves the claim: the right side uses only the fixed data and the (unique) scalars . So once those two images are chosen, is forced for every . That is exactly why a linear map is stored as a matrix whose columns are the images of basis vectors — see Matrix of a Linear Map. ∎

L5.4

A subtle counterexample. In , is a basis? Then explain precisely what goes wrong with uniqueness for a vector in its span.

Recall Solution

, so is dependent — not a basis. Its span is only the line . For a vector on that line, say , uniqueness collapses: infinitely many representations, because the redundancy lets you trade one vector for a multiple of the other. This is the geometric face of the L3 trap: dependence non-unique addresses.

The figure below draws this: both dashed vectors (blue) and (pink) lie along the same dashed line , and the yellow point sits on that line. Because is just a stretched copy of , you can reach by pushing farther along and pulling back along (or vice versa) in endlessly many ways — the three recipes printed under the axes all land on the same yellow dot. Contrast this with a real basis, where the two arrows point in genuinely different directions and pin down a single recipe.

Figure — Basis — definition, uniqueness of representation

Connections