The VikiD Truth

Knowledge base / Mathematics

Abstract Algebra | ZF Axioms | Math Set Theory | Number Theory | Groups | Quotient Groups | Rings | Commutative Rings | Fields | Group Actions | Modules | Vector Spaces | Linear Operators and Matrices | Inner Product Spaces | Tensors | Exterior Algebras | Theory | Polynomial Rings | Category Theory |

algebra

Linear Operators and Matrices

Here is the truth that finally made matrices make sense to me: a matrix is not a box of numbers. It is a photograph of a machine, taken from one particular angle.

The machine is the linear operator. The angle is your choice of basis. Change the angle and the photo changes, but the machine doesn’t.

The core idea, in plain words

A linear map T:V→WT : V \to W between Vector Spaces is a function that respects adding and scaling:

T(u+v)=T(u)+T(v),T(c v)=c T(v). T(u + v) = T(u) + T(v), \qquad T(c\,v) = c\,T(v).

When V=WV = W, so the machine feeds its output back into the same space, it’s called a linear operator.

Here’s the key fact. Because every vector is a combination of basis vectors, a linear map is completely determined by what it does to a basis. Choose a basis e1,…,ene_1, \dots, e_n. Write T(e1)T(e_1) in coordinates and make it the first column; write T(e2)T(e_2) and make it the second column; and so on. That table is the matrix of TT.

Matrix multiplication isn’t an arbitrary rule handed down from on high. It is exactly what you get when you run one machine after another: the matrix of “SS after TT” is STST. And since “rotate then flip” differs from “flip then rotate”, matrix multiplication is not commutative. Square matrices form a Ring, and the invertible ones form a Group.

An everyday analogy: currency exchange

Think of a money changer converting a basket of currencies. Double the basket, double what you get back; combine two baskets, get the sum of what each would give. That’s linear. The exchange-rate board is the matrix: each column says what one unit of a currency turns into. Now describe the same exchange using different currencies as your units and the board’s numbers all change, yet the actual trade is the same. That’s a change of basis.

A worked example: a reflection, seen two ways

Let TT reflect the plane across the line y=xy = x. It sends (1,0)(1, 0) to (0,1)(0, 1) and (0,1)(0, 1) to (1,0)(1, 0). Those images become the columns:

A=(0110). A = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}.

Check: A(35)=(53)A \begin{pmatrix} 3 \\ 5 \end{pmatrix} = \begin{pmatrix} 5 \\ 3 \end{pmatrix}. The point swapped sides of the mirror. ✔

Now look at the same reflection from a cleverer angle. Use the basis f1=(1,1)f_1 = (1, 1), which lies on the mirror, and f2=(1,−1)f_2 = (1, -1), which is perpendicular to it. The reflection leaves f1f_1 alone and flips f2f_2: T(f1)=f1T(f_1) = f_1, T(f2)=−f2T(f_2) = -f_2. In this basis the matrix is

D=(100−1). D = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}.

Same machine, much simpler photograph. The directions f1f_1 and f2f_2 are eigenvectors: TT only stretches them, by the eigenvalues 11 and −1-1. Finding such a basis is called diagonalising, and it’s the single most useful trick in linear algebra. The two photos are related by D=P−1APD = P^{-1} A P, where PP has f1,f2f_1, f_2 as its columns.

Notice the things that didn’t change: the determinant (−1-1 both times, meaning area is kept but orientation flipped) and the trace (00 both times). Quantities that survive a change of basis belong to the machine, not to the photograph.

A picture in words: kernel and image

Picture a machine that projects 3D space flat onto the floor, like the sun casting shadows at noon. Every point lands on the floor: that floor is the image of the machine. Every point straight above the origin, the whole vertical line, lands on the origin: that line is the kernel, everything the machine crushes to zero.

The rank–nullity theorem says the dimensions always balance:

dim⁡(ker⁡T)+dim⁡(im⁡T)=dim⁡V. \dim(\ker T) + \dim(\operatorname{im} T) = \dim V.

Here, 1+2=31 + 2 = 3. What’s crushed plus what survives is everything you started with.

graph LR
  T["Linear map T"] -->|choose a basis| A["Matrix A"]
  T -->|choose a better basis| D["Simpler matrix P⁻¹AP"]
  A -->|same determinant, trace, eigenvalues| D

Common misconceptions

How it connects

The truth revealed: don’t stare at the numbers. Find the angle from which the machine looks simple.

Last edited · 1 revisions

Tags: #Math