Invariant Subspace¶
A linear subspace mapped into itself by a specified operator or operator family.
Core Idea¶
A subspace W is invariant for T when every vector that starts in W is sent back into W. This containment lets T be restricted to an endomorphism of W and permits the operator's behavior to be analyzed on a smaller linear domain.
In an adapted basis, invariance appears as block upper-triangular form. The zero and full space always qualify, and eigenvectors generate one-dimensional examples. An invariant complement is extra structure: preservation of W alone does not imply a reducing decomposition.
Structural Signature¶
Sig role-phrases:
- Ambient vector space V — Supplies vectors and linear combinations. It is host space. Counterfactual: A subset outside V cannot be its invariant subspace.
- Linear operator T — Acts on the ambient space and defines preservation. It is action. Counterfactual: Nonlinear maps require a different invariant-set concept.
- Subspace W — Provides the closed linear candidate being preserved. It is preserved object. Counterfactual: An invariant point set not closed under linear combinations is not this object.
- Containment T(W)⊆W — States the defining preservation condition. It is defining relation. Counterfactual: Requiring equality would wrongly exclude noninvertible restrictions.
- Restricted operator — Captures internal dynamics on W. It is induced structure. Counterfactual: If images leave W, no restriction W→W exists.
- Adapted basis — Reveals preservation as block triangular matrix structure. It is representation. Counterfactual: A general basis can hide, but not alter, invariance.
What It Is Not¶
- It is not any set preserved by a nonlinear map.
- It does not require T(W)=W unless invertibility or surjectivity is added.
- It is not automatically paired with an invariant complement.
- It is not basis-dependent.
- Closest near-miss. A cyclic subspace generated by a vector is a near neighbor and is invariant once it includes all operator iterates and linear combinations.
Scope of Application¶
- Spectral theory. Organizes eigenvectors and generalized eigenspaces.
- Matrix analysis. Produces triangular and block decompositions.
- Control theory. Defines reachable, observable, and controlled-invariant structures.
- Representation theory. Studies subspaces stable under operator families.
Clarity¶
Specify field, ambient space, operator or family, candidate subspace, and whether preservation is exact, approximate, common, reducing, or merely cyclic. Use T(W)⊆W as the test.
Manages Complexity¶
Invariance decomposes a large transformation into stable internal action plus coupling to a quotient or complement. It identifies structure without requiring diagonalizability.
Abstract Reasoning¶
- Verify W is a linear subspace.
- Apply each specified operator to generators of W.
- Check every image lies in W.
- Form the restricted operator.
- Choose an adapted basis if computation helps.
- Test separately whether a complement is invariant.
Knowledge Transfer¶
Preservation under action transfers to modules, representations, dynamical invariant sets, and control subspaces after replacing linear closure appropriately. Spectral conclusions do not transfer to arbitrary nonlinear invariant sets.
Examples¶
Canonical¶
The span of an eigenvector v is invariant because T(av)=aλv remains in that span for every scalar a.
Mapped back: subspace → span(v); action → T(v)=λv; closure → image stays inside.
Applied / In Practice¶
Choosing a basis for W and extending it to V gives a zero lower-left block, since vectors in W acquire no coordinates in the complementary basis directions.
Mapped back: basis → W first; matrix → block upper triangular; witness → zero lower-left block.
Structural Tensions¶
T1 — Intrinsic Preservation versus Basis Representation. Invariance is basis-free, while block form supplies a computational witness.
Diagnostic: Is a coordinate zero pattern being mistaken for the definition?
T2 — Containment versus Reducing Decomposition. An invariant subspace need not have an invariant complement.
Diagnostic: Does the analysis require only restriction or a direct-sum reduction?
Structural–Framed Character¶
Closure under an operator is structural; field, topology, operator family, and application supply the frame.
Structural Core vs. Domain Accent¶
Its core is action preserving a linear part. Linear algebra adds bases, block form, eigenvectors, restrictions, and complement questions.
Instantiates / Related Primes¶
This entry presupposes Linear map.
-
Approved root. This operator-preserved linear structure remains unparented.
-
Related — eigenspace, reducing subspace, cyclic subspace, and invariant set. They are special, stronger, generated, or broader variants.
Relationships to Other Abstractions¶
Current abstraction Invariant Subspace Domain-specific
Parents (1) — more general patterns this builds on
-
Invariant Subspace presupposes Linear map Domain-specific
Invariant Subspace presupposes Linear map because invariance is defined by a specified linear operator mapping the subspace into itself.Every reviewed Invariant Subspace instance depends on the parent role: invariance is defined by a specified linear operator mapping the subspace into itself. Removing that role makes the frozen child identity undefined or changes it into a different abstraction. Linear map can occur without Invariant Subspace, so the relation is dependency rather than subsumption.
Hierarchy path (1) — routes to 1 parentless root
- Invariant Subspace → Linear map → Linearity
Neighborhood in Abstraction Space¶
Invariant Subspace sits in a crowded region of the domain-specific corpus (34th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Physical & Geometric Dynamical Quantities (29 abstractions)
Nearest neighbors
- Complex Affine Space — 0.89
- Matrix equivalence — 0.88
- Algebraic Surface — 0.88
- Operator Algebra — 0.88
- Maximising measure — 0.88
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Invariant set. Tell: Need not be a linear subspace.
- Eigenspace. Tell: A special invariant subspace on which T acts by one scalar.
- Reducing subspace. Tell: Requires a compatible invariant complement or adjoint condition.
- Image subspace. Tell: T(W) may be another subspace without lying inside W.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Invariant_subspace (revision 1334972037).
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.