Contents

SubspaceEdit

Subspace is a foundational concept in linear algebra, describing a subset that itself has the structure of a vector space under the same operations as its ambient space. If V is a vector space over a field F, a subset W ⊆ V is a subspace when it contains the zero vector, is closed under vector addition, and is closed under scalar multiplication. This compact definition encodes the idea that a subspace inherits all the essential linear properties of V without leaving the ambient space.

Subspaces arise naturally in many mathematical contexts, from solving systems of linear equations to geometry and physics. They provide a rigorous language for talking about directions, spans, and the shapes that can be formed by linear combinations of vectors. In practical terms, subspaces describe the set of all possible outputs of a linear process that remains within a given framework, and they underlie algorithms for compression, transformation, and optimization. The study of subspaces connects to broader topics such as vector space theory, basis theory, and the geometry of dimension.

Definition and basic examples

  • A subset W of a vector space V is a subspace if and only if:
    • The zero vector of V is in W.
    • W is closed under addition: if u, v ∈ W, then u + v ∈ W.
    • W is closed under scalar multiplication: if a ∈ F and u ∈ W, then a·u ∈ W.
  • Basic examples:
    • The set {0} is a subspace of any vector space.
    • The entire space V is a subspace of itself.
    • In real space R^n, a line through the origin, W = {t·v : t ∈ R}, is a subspace, as is the plane through the origin spanned by two vectors.
    • Coordinate subspaces, such as the xy-plane in R^3, are subspaces.
  • Related concepts:
    • The span of a set of vectors, span, is the smallest subspace containing those vectors.
    • The dimension of a subspace is the cardinality of a basis for that subspace, linking to basis (linear algebra) and dimension.

Subspaces in various contexts

  • In finite-dimensional spaces (like R^n), subspaces are intimately connected to systems of linear equations: the solution set to a homogeneous system Ax = 0 is a subspace, often called the null space of A.
  • The image or column space of a linear map T: V → W is a subspace of W, capturing the directions in which T can move vectors from V.
  • In inner product spaces, one can form the orthogonal complement of a subspace, yielding another subspace consisting of all vectors orthogonal to every vector in the original subspace.
  • In infinite-dimensional contexts (such as function spaces), subspaces continue to play the central role they do in finite dimensions, providing a framework for approximation, projection, and decomposition.

Subspaces and linear maps

  • If T: V → W is a linear map, several subspaces naturally arise:
    • The kernel (linear algebra) (or null space) of T consists of all v ∈ V with T(v) = 0; it is a subspace of V.
    • The image (linear algebra) (or range) of T is the set T(V) ⊆ W; it is a subspace of W.
    • The preimage of a subspace U ⊆ W under T is itself a subspace of V.
  • The rank-nullity theorem ties these subspaces to the dimension of V, linking the dimensions of the kernel and image to the overall structure of the map.

Affine subspaces and geometry

  • A subspace must pass through the origin of its ambient space. When this condition is relaxed, one obtains affine subspaces, such as lines or planes not necessarily through the origin. These objects are translations of subspaces and are central to questions in geometry and computer graphics.
  • Subspaces provide a natural language for discussing directions and linear dependencies, which in turn informs optimization, data analysis, and the study of linear transformations.

Applications and interpretation

  • Subspaces underpin many algorithms in data analysis, including methods that seek directions of maximum variance via principal component analysis and other dimensionality-reduction techniques that identify prominent subspaces of the data.
  • In physics and engineering, subspaces describe state spaces, conserved quantities, and the behavior of systems under linear constraints.
  • In computer graphics and robotics, subspaces model feasible configurations and motion constraints, enabling efficient representation and computation.

See also