These lecture notes were generated by Claude inside a Cowork environment with knowledge of the syllabus and course materials, and generated from the audio transcript of the lecture. The lecture notes are not a transcript, and skip some parts while adding small details with sources/clarifications. These notes have been checked by me to be correct. I have added and edited the file for correctness and alignment with necessary material. All right-margin aside notes are additional to the course, and are not part of the learning objectives.

Lecture 5 — May 22, 2026

Administrative

  • Reflection 1: After submitting your first attempt you should see your score (how many correct) but not which questions you answered correctly — the goal is for you to remain doubtful of all your answers and identify your own mistakes. Some students reported not seeing any score at all; this is unintentional and will be fixed for Reflection 2. Correct answers are revealed automatically once the deadline passes.
  • Solutions to reflections will be posted after each deadline.
  • Tutorials: the instructor will no longer be attending tutorials regularly. If your tutorial section has issues, reach out early — even one or two unsuccessful tutorials can quickly erode engagement for an entire section.

1. Review: parametric solutions are spans

Last lecture established that the solution set of any homogeneous linear system is a subspace of , where is the total number of variables. When we solve such a system using Gauss-Jordan, the answer appears in parametric form: one free parameter for each free variable, each controlling a direction vector.

For example, the single equation in has coefficient matrix , already in reduced echelon form. Taking and as free parameters gives , so the solution is

This is exactly — a plane through the origin in . The number of free variables (two) quantifies how “free” the solution set is: two degrees of freedom give a plane, one gives a line, zero gives a single point.

The shift for today. We move from the arithmetic world of specific linear systems to a more algebraic one: given a collection of vectors in an abstract vector space, what does their span look like, and which collections describe their span efficiently, without redundancy?


2. Span examples in

We work in and ask: which sets of vectors span all of , and which do not?

One vector. The span of any single nonzero vector is a line through the origin — the set of all scalar multiples. In , is the line .

Two vectors in independent directions. Consider . A general element is

To reach an arbitrary , we need and , giving . These values exist for any , so this span is all of .

Two vectors in the same direction. Now consider . Since , a general element is still just a scalar multiple of . The span is only the line — the second vector adds nothing.

Three vectors, one redundant. is again : since the first two already span , the third can always be given coefficient , so the span cannot shrink. The third vector is redundant.


3. Spanning as solvability

Whether a set spans is equivalent to a question about systems of equations. A set spans if and only if for every , the equation

has at least one solution . This is a system of linear equations in unknowns. Spanning is equivalent to this system being consistent for every right-hand side.

The only obstruction is a “false equation”: a row reducing to with . This can only arise if the coefficient matrix has a zero row in its RREF while the augmented matrix does not.

Example. Does ? Setting up the system and row-reducing:

The second row reads . This is consistent only when , so the span is only the line — confirming the geometric picture. For any off that line, the system has no solution.


4. Non-unique descriptions and why they are bad

When a set contains more vectors than necessary to span, the same vector in the span can be expressed in multiple ways as a linear combination. This is the core problem the next definition is designed to address.

Example. We know . Consider the target . Two valid decompositions are:

Subtracting one from the other:

This is a linear combination of the three vectors equalling , with coefficients — not all zero. Any two distinct representations of the same vector as a linear combination immediately yield such a relation.

Why is this bad? When we parametrize a solution set, we want the parameters to identify solutions uniquely — one set of parameter values, one solution. Redundant vectors give redundant parameters: a single point on the solution line can be reached by many different combinations. We want to use the fewest vectors that still span, so that the description is unique and efficient.


5. Linear dependence

Definition

A set of vectors in a vector space is called linearly dependent if there exist and scalars , not all zero, such that

Such a relation is called a linear dependence relation, or a non-trivial linear combination equal to . The word non-trivial refers to the “not all zero” condition: setting all always gives from any set of vectors, so that case carries no information.

Examples.

  • : linearly dependent, since with coefficients .

  • : linearly dependent, since .

In both cases, the dependence relation directly reflects the geometric redundancy — one vector can be written as a combination of the others, and removing it would not shrink the span.


6. Linear independence

Definition

A set of vectors in a vector space is called linearly independent if the only linear combination of vectors from that equals is the trivial one. That is: whenever and

it follows that .

Examples.

  • : independent. forces .

  • : independent. From we get and , forcing as well.

  • Any set containing is linearly dependent: is a non-trivial dependence relation.

  • A set with is always linearly independent: with forces .

Independence and unique representations

is linearly independent if and only if every vector in has a unique representation as a linear combination of elements of . This is precisely the property that makes a set of vectors a good coordinate system: each point in the span is identified by exactly one tuple of coefficients.


7. Basis

We now combine spanning and linear independence into one of the most important definitions in the course.

Definition

Let be a vector space. A basis of is a set of vectors that is:

  1. linearly independent, and
  2. spanning: .

A basis is the most efficient description of : it reaches every vector (spanning) with no redundancy (independence), guaranteeing that every vector in has a unique representation as a linear combination of basis vectors.

Examples in .

  • — the standard basis. Linearly independent and spans . ✓

  • — also a basis for : independent (verified above) and spanning (verified in §2). ✓

  • — spans but linearly dependent. Not a basis. ✗

  • — linearly independent but does not span . Not a basis. ✗

The number of vectors in any basis of will turn out to be the same, regardless of which basis you choose. This number is the dimension of , and its proof is the main theorem of the next lecture.


8. The zero vector space

One edge case deserves attention. The zero vector space is — a vector space whose only element is the zero vector. The operations are forced: and for all . All eight vector space axioms are satisfied, and all inverses exist (the additive inverse of is itself).

What is a basis for ? The only nonempty subset is , but that is linearly dependent ( is a non-trivial dependence). So no nonempty subset works. The empty set is the answer:

  • Is linearly independent? Vacuously yes — there are no vectors in it, so the implication “if some combination equals then all coefficients are zero” holds with no cases to check.
  • Does span ? Yes: by convention.

Therefore:

This space is zero-dimensional: there are no directions to go, so no vectors are needed to span it.


Looking ahead

The key theorem ahead: any two bases of the same vector space have the same number of elements. This number is the dimension. The proof rests on one lemma — sometimes called the Steinitz exchange lemma — which says that a linearly independent set can never have more vectors than a spanning set. Establishing this will be the main goal of the next lecture.


Textbook references

TopicAxler (2nd ed.)Hefferon (4th ed.)Treil
Parametric solutions as spansCh. 1, §I.3Ch. 1, §2
Span examples in Ch. 2, “Span and Linear Independence”Ch. 2, §I.2Ch. 2, §1
Spanning as solvability of a linear systemCh. 1, §I.1–2Ch. 1, §1
Linear dependence — definitionCh. 2, “Linear Independence”Ch. 2, §II.1, Def. 1.1Ch. 2, §2
Dependent ⟹ one vector in span of othersCh. 2, 2.17Ch. 2, §II.1Ch. 2, §2
Linear independence — definitionCh. 2, “Linear Independence”Ch. 2, §II.1, Def. 1.3Ch. 2, §2
Basis — definitionCh. 2, “Bases”Ch. 2, §I.1, Def. 1.4Ch. 2, §3
Zero vector space and empty basisCh. 1, “Definition of Vector Space”Ch. 2, §I.1