Linear Algebra: Span, Null Space, Column Space & Linear Transformations
Introduction & Course Logistics
- Lecture opens with administrative notice on copyright (Section 113P, Copyright Act 1968); redistribution prohibited.
- Appreciation for high attendance; counters common trend of declining lecture participation.
- Current focus: Chapter 4.2 (Lei & others) – builds on MATH1013 material in a more abstract framework.
- Announcements
- New MATLAB quiz released; multiple-choice style allows trial-and-error learning.
- Optional textbook exercises (calculus posted by Alex, linear-algebra problems forthcoming). Some include solutions.
- Seeking assistance encouraged whenever wording in different resources feels unfamiliar.
Recap: Vector Spaces & Subspaces
- Vector space examples: Rn, polynomials of bounded degree, matrices of fixed size, functions, etc.
- Defining operations: vector addition + scalar multiplication must satisfy the 10 vector-space axioms.
- Subspace: non-empty subset that is closed under the above two operations; inherits the same axioms.
Linear Combinations & Span
- Scalar field fixed to R for this course.
- Linear combination of v<em>1,…,v</em>n∈V: c<em>1v</em>1+⋯+c<em>nv</em>n with finitely many coefficients ci∈R.
- Finite restriction avoids convergence issues of infinite sums.
- In Rn the combination equals matrix–vector product [v<em>1…v</em>n]c.
- Span
- spanv<em>1,…,v</em>n=c<em>1v</em>1+⋯+c<em>nv</em>n∣ci∈R.
- Convention: span(∅)=0 (analogue of 0!=1).
- The span of finitely many vectors is itself a subspace and is, in fact, the smallest subspace containing those vectors.
- Example (2×2 matrices)
- Given three matrices, their span consists of all matrices of the form [c<em>1+c</em>2+c<em>3c</em>1 c<em>2c</em>3], hence a subspace of M2×2(R).
Null Space of a Matrix
- Homogeneous linear system Ax=0; right-hand side is entirely zeros.
- Always consistent because x=0 solves it.
- Definition: N(A)=x∈Rn∣Ax=0.
- Dimensions: for A of size m×n, null space lives in Rn (domain dimension).
- Proof that N(A) is a subspace (classic three-step method)
- Contains 0 since A0=0.
- Closed under addition: if v,w∈N(A) then A(v+w)=Av+Aw=0+0=0.
- Closed under scalar multiplication: A(cv)=cAv=c0=0.
- Alternative proof: solution set of a homogeneous system → expressible as span of finitely many vectors (after row-reduction) → subspace.
- Worked example
- Row-reduce augmented matrix, identify free variables x<em>2,x</em>4,x<em>5, express x</em>1,x3 in terms of them.
- General solution =pu+qv+rw; hence N(A)=spanu,v,w.
Column Space of a Matrix
- Definition: col(A)=spancolumns of A — the set of all linear combinations of columns.
- Subspace of Rm because each column has m entries (codomain dimension).
- Set notation: col(A)=b∈Rm∣∃x∈Rn such that Ax=b.
- Example
- A=[v<em>1v</em>2], \mathbf{b}=\begin{bmatrix}1\2\3\end{bmatrix}.
- Solve Ax=b via augmented matrix. If consistent ⇒ b∈col(A).
- If columns are multiples, col(A)=spanv<em>1=spanv</em>2.
- Reflective questions posed to students:
- When does N(A)=0?
- When does col(A)=Rm or reduce to 0?
- Notation: T:V→W.
- Requirements for linearity
- T(v+w)=T(v)+T(w).
- T(cv)=cT(v) for all c∈R.
- Interpretative slogan: “Applying operations in V then mapping equals mapping then applying operations in W.”
- Remember: The "$+$" or "$c\,\cdot$" on the two sides may denote different implementations (e.g.
polynomial addition vs. matrix addition).
Canonical Examples
- Zero map 0:V→W, 0(v)=0W.
- Identity map I:V→V, I(v)=v.
- Matrix multiplication: T(x)=Ax for A∈Rm×n.
- Fundamental theorem: every linear map Rn→Rm can be represented by a unique matrix A.
- Derivative operator D:P<em>n→P</em>n, D(a<em>0+a</em>1x+⋯+a<em>nxn)=a</em>1+2a<em>2x+⋯+na</em>nxn−1.
- Transpose map T:A↦AT on matrices M<em>2×3(R)→M</em>3×2(R).
Non-Examples & Pitfalls
- Mapping with products or powers of entries (e.g. T\big(\begin{bmatrix}a & b\c & d\end{bmatrix}\big)=\begin{bmatrix}ad & bc\ac & bd\end{bmatrix}) breaks linearity.
- Adding constant terms: T(p)=xp(x)+1 maps P<em>2→P</em>3 but T(0)=0 ⇒ not linear.
Quick Test: T(0)
- Proven property: For any linear transformation, T(0<em>V)=0</em>W.
- Proof sketch: T(0)=T(0+0)=T(0)+T(0) ⇒ subtract ⇒ T(0)=0.
- Contrapositive logic: If a map sends 0 to a non-zero vector, it cannot be linear.
Kernel & Range – Abstract Analogues
- Kernel (a.k.a. null space of a transformation)
- ker(T)=v∈V∣T(v)=0W — subspace of V.
- Range (a.k.a. image)
- ran(T)=w∈W∣∃v∈V:T(v)=w — subspace of W.
- Connection to matrices
- For T(x)=Ax: ker(T)=N(A) and ran(T)=col(A).
Proof & Reasoning Skills Emphasized
- Subspace verification via three axioms vs. span argument.
- Row-reduction to convert implicit descriptions into explicit (parametric) ones.
- Logical equivalence A⇒B⟺¬B⇒¬A used for disproving linearity.
- Importance of tracking ambient spaces (domain vs. codomain) for null vs. column spaces, or kernel vs. range.
Practical & Ethical Implications
- Ethical: respect licensing; do not redistribute lecture content without permission.
- Practical: Understanding abstract definitions allows extension beyond Rn – crucial in functional analysis, differential equations, computer graphics, etc.
- MATLAB quizzes & optional exercises foster incremental learning; leverage trial-and-error in multiple-choice context.
Suggested Exercises & Reflections
- Determine conditions on A∈Rm×n for:
- N(A)=0 (hint: pivot in every column).
- col(A)=Rm (hint: pivot in every row).
- Show that the transpose map T:M<em>m×n→M</em>n×m is linear using the two axioms explicitly.
- Provide an explicit spanning set for the kernel of D:P<em>3→P</em>3.
- Explore real-world link: interpret kernel of a differential operator as the set of solutions to a homogeneous ODE.
Study Tips
- Re-derive proofs on your own; writing each line cements logic chains.
- When given an “implicit” description (e.g.
equations), row-reduce to obtain the “explicit” span form. - For any proposed map, test linearity rapidly by checking T(0) and by trying to violate one axiom with simple counter-examples.
- Keep track of dimensions: domain size n vs. codomain size m influences which space ((\mathbb{R}^n) or (\mathbb{R}^m)) a subspace lives in.