A rectangular array of numbers, functions, or other elements that represents a linear transformation between finite-dimensional vector spaces relative to chosen bases, or a discrete operator in numerical contexts.

Principle

Matrix entries encode the action of a linear map on basis vectors; matrix addition corresponds to sum of maps, composition of linear maps corresponds to matrix multiplication, and change of basis conjugates the matrix representation.

Demonstration

A 2×2 rotation matrix R(θ) = [[cos θ, -sin θ], [sin θ, cos θ]] acts on R^2 to rotate vectors by angle θ; its determinant equals one and eigenvalues lie on the unit circle when θ is real.

Misapplication

Assuming matrix multiplication is commutative, inverting a singular matrix, or using finite-dimensional matrix intuition for operators on infinite-dimensional spaces without checking domain and topology.

Consequence

Matrices provide concrete computational tools: solutions of linear systems, numerical eigenvalue computation, discretization of differential operators, and implementation of linear transformations in algorithms.

Reversal

Treating a transformation abstractly as a coordinate-free linear operator rather than a matrix representation shifts focus to invariants independent of basis; conversely treating everything as fixed arrays obscures geometric invariance.

Boundary

A matrix presumes chosen bases and finite index sets; infinite-dimensional operators, tensors with higher valence, and coordinate-free formulations are outside the strict notion of a finite matrix unless extended by limits or additional structure.

Semantic Tension

Tension between matrix as a concrete data array and matrix as representation of an abstract operator: the same array may represent different operators in different bases, and some arrays in applied settings are simply datasets, not linear maps.

Synthesis

A matrix is the finite-dimensional, basis-dependent representation of a linear map or discrete operator; it translates abstract algebraic actions into concrete arrays amenable to arithmetic, numerical methods, and algorithmic manipulation.