Linear Transformations, Subspaces, Independence & Bases

Linear Transformations: Kernel & Range

  • We study an abstract linear transformation T:VWT:V\to W.
    • KerT\operatorname{Ker}T (kernel/null–space) := vVT(v)=0W{v\in V\mid T(v)=0_W}.
    • RangeT\operatorname{Range}T (image/column–space) := T(v)vVW{T(v)\mid v\in V}\subseteq W.
  • Both kernel and range are subspaces of their parent spaces, exactly as kerA\ker A and colA\operatorname{col}A are for a matrix AA.

Why RangeT\operatorname{Range}T is a Subspace of WW

  • Containment: By definition every element of RangeT\operatorname{Range}T lives in WW.

  • Non-emptiness/zero:

    • T(0<em>V)=0</em>WT(0<em>V)=0</em>W (linearity).
    • So 0WRangeT0_W\in\operatorname{Range}T.
  • Closed under addition:

    • If w<em>1,w</em>2RangeTw<em>1,w</em>2\in\operatorname{Range}T, v<em>1,v</em>2V\exists v<em>1,v</em>2\in V such that T(v<em>1)=w</em>1T(v<em>1)=w</em>1 and T(v<em>2)=w</em>2T(v<em>2)=w</em>2.
    • T(v<em>1+v</em>2)=T(v<em>1)+T(v</em>2)=w<em>1+w</em>2RangeTT(v<em>1+v</em>2)=T(v<em>1)+T(v</em>2)=w<em>1+w</em>2\in\operatorname{Range}T.
  • Closed under scalar multiplication (left as analogous exercise).

  • Extra result to try: TT is injective     \iff kerT=0\ker T={0}.

Visual Intuition: Kernel vs Range

  • Draw two blobs (sets) labelled VV and WW.
    • Arrows represent TT.
  • Kernel: subspace inside VV whose every element arrows to 0W0_W.
  • Range: subspace inside WW that receives arrows from all of VV.

Worked Examples of Kernel & Range

  • Zero transformation T0(v)=0T_0(v)=0 for all vVv\in V
    • kerT0=V\ker T_0=V (everything maps to 00).
    • RangeT<em>0=0</em>W\operatorname{Range}T<em>0={0</em>W}.
  • Differentiation D:P<em>nP</em>n,  D(p)=pD: P<em>n\to P</em>n,\; D(p)=p'
    • kerD\ker D = constant polynomials.
    • RangeD=Pn1\operatorname{Range}D=P_{n-1} (all polynomials of degree n1\le n-1; every such polynomial has an antiderivative of degree n\le n).
  • Transpose T:M<em>2×3M</em>3×2,  T(A)=ATT: M<em>{2\times3}\to M</em>{3\times2},\; T(A)=A^T
    • kerT=0\ker T={0} because AT=0A=0A^T=0\Rightarrow A=0.
    • RangeT=M3×2\operatorname{Range}T=M_{3\times2} (every 3×23\times2 matrix is a transpose of a 2×32\times3 one).

Linear Independence

  • For vectors v<em>1,,v</em>nVv<em>1,\dots,v</em>n\in V we study the equation c<em>1v</em>1++c<em>nv</em>n=0.c<em>1v</em>1+\dots+c<em>nv</em>n=0.
    • Only–trivial–solution (all ci=0c_i=0) \Rightarrow set is linearly independent (LI).
    • Any non–trivial solution \Rightarrow set is linearly dependent (LD).
  • Conventions
    • Empty set is LI (technical convenience).
    • Independence/dependence is a property of a set, not an individual vector.

Special Cases & Quick Tests

  • Single–vector set v{v}:
    • LI     v0\iff v\ne0, LD otherwise.
  • Any set containing 00 is automatically LD (take coefficient of 00 to be non-zero while others are zero).

Determining Independence in Non-Rn\mathbb{R}^n Spaces

  • Example in P2P_2 (polynomials deg2\deg\le2):
    • Test set 1+2t,  4t2+2t+3,  t2+t+1{1+2t,\;4t^2+2t+3,\;t^2+t+1}.
    • Form equation a(1+2t)+b(4t2+2t+3)+c(t2+t+1)=0.a(1+2t)+b(4t^2+2t+3)+c(t^2+t+1)=0.
    • Collect coefficients (t^2,t,1):
      {4b+c=0 2a+2b+c=0 a+3b+c=0\begin{cases}4b+c=0\ 2a+2b+c=0\ a+3b+c=0\end{cases}
    • Matrix representation reduces to identity \Rightarrow only trivial solution \Rightarrow LI.
  • Moral: translate abstract problem to homogeneous linear system in Rn\mathbb{R}^n.

Bases: Concept & Properties

  • Basis of vector space VV (finite case) = set v<em>1,,v</em>n{v<em>1,\dots,v</em>n} such that
    1. LI.
    2. Spans VV.
  • Interpretations
    • “Smallest” spanning set (no redundant vectors).
    • “Largest” LI set (cannot add any new vector without losing independence).
  • Properties
    • Every (non-zero) vector space has infinitely many bases; exception: ({0}) whose only basis is the empty set.
    • For spaces with finite bases, all bases contain the same number of vectors – the dimension (topic for next lecture).
    • Bases give compact computer-friendly descriptions of infinite sets.

Standard Bases Examples

  • Rn\mathbb{R}^n: e<em>1=(1,0,), e</em>2=(0,1,0,),,ene<em>1=(1,0,\dots),\ e</em>2=(0,1,0,\dots),\dots,e_n.
  • M2×3M_{2\times3}: six matrices each with a single 1 in one entry, 0 elsewhere.

Bases in P2P_2: Candidate Sets

  • Standard basis 1,  t,  t2{1,\;t,\;t^2} is a basis (LI and spans).
  • Set 1+t,  t+t2,  t2+1{1+t,\;t+t^2,\;t^2+1} is NOT a basis; fails LI or spanning (check by solving combination equation or comparing dimensions).
  • Challenge: build alternative bases (e.g. 1+t,  t,  t2{1+t,\;t,\;t^2} etc.).

Bases of Null Space & Column Space of a Matrix

  • Given matrix AA, row-reduce to RREF BB (same solutions for Ax=0Ax=0).

Null Space

  • Solving Ax=0Ax=0 yields general solution in terms of free variables → express as linear combination of special solution vectors.
  • Those special vectors are automatically LI and span kerA\ker A ⇒ they form a basis.

Column Space

  • Row operations change individual columns but preserve linear relations among them.
  • Pivot columns in RREF BB correspond to a subset of original columns in AA that are LI and that generate every other column.
  • Therefore: columns of AA whose counterparts become pivot columns in RREF form a basis of colA\operatorname{col}A.
    • Key step: AFTER locating pivot indices, go back to the original matrix to pick the basis vectors.

Constructing a Basis: Two Viewpoints

  1. Trim a spanning set (Spanning Set Theorem)
    • Start with a set known to span VV.
    • Place vectors as columns, row-reduce.
    • Remove any column that is a linear combination of preceding ones (non-pivot columns).
    • Remaining columns give a basis.
  2. Extend an independent set (Basis Extension Theorem, optional)
    • Begin with LI set.
    • Keep adding vectors outside its span, preserving independence, until the set spans VV.
    • Procedure always terminates in finite-dimensional spaces.
    • Not examinable but conceptually complementary.

Connections, Implications & Real-World Notes

  • Kernel–image picture underlies fundamental theorem of linear mappings (dimension theorem to come).
  • Differentiation, transposition etc. illustrate how linear algebra unifies diverse operations.
  • Bases enable storage of functions, signals, or geometric data in computers (e.g. Fourier basis, wavelets).
  • Ethical/practical note: handling copyrighted lecture materials must respect legal constraints (opening disclaimer).