A mapping between vector spaces (or subspaces) that preserves vector addition and scalar multiplication: for all vectors u, v and scalars α, β, L(αu + βv) = αL(u) + βL(v); often realized on function spaces in analysis.

Principle

Linearity encodes superposition: the action of the operator on linear combinations decomposes into the corresponding linear combination of its actions, enabling decomposition, spectral analysis, and representation by matrices in bases.

Demonstration

The derivative operator D defined on sufficiently smooth functions satisfies D(αf + βg) = αf' + βg' and is therefore a linear operator on that function space; in finite dimensions, the same operator corresponds to a matrix relative to a chosen basis.

Misapplication

Assuming linear operators are always bounded, continuous, diagonalizable, or have a complete set of eigenvectors; in infinite-dimensional spaces many linear operators are unbounded or have continuous spectrum, invalidating naive finite-dimensional intuition.

Consequence

Correct identification as linear yields access to linear algebra and functional analysis tools: superposition, kernel and image structure, operator norms, spectra, semigroups for evolution, and decomposition techniques.

Reversal

Replace the linear operator by a nonlinear operator: superposition fails, spectral theory does not apply in the same way, and solutions may not combine linearly, fundamentally changing solvability and stability properties.

Boundary

Linear operators require a clear domain and codomain; domain restrictions, unboundedness, and the topology of the spaces matter—finite-dimensional matrix intuition does not automatically extend to general Banach or Hilbert spaces.

Semantic Tension

Tension with affine maps, bilinear maps, and matrices: affine maps differ by an added translation, bilinear maps are linear in each argument separately but not jointly, and matrices are representations of linear operators relative to a basis.

Synthesis

A linear operator is the algebraic and analytic object expressing superposition-preserving transformations between vector spaces; understanding its domain, continuity, spectrum, and representations ties algebraic structure to functional behavior.