Eigenspace
Dependencies:
Let $T: V \mapsto V$ be a linear operator. Let $\lambda$ be an eigenvalue of $T$.
Let $E_{\lambda} = \{x \in V: T(x) = \lambda x\}$. $E_{\lambda}$ is called the eigenspace for $(T, \lambda)$.
$E_{\lambda}$ is a subspace of $V$.
Proof
\[ T(0) = T(0+0) = T(0) + T(0) \implies T(0) = 0 = \lambda 0 \implies 0 \in E_{\lambda} \]
\[ x, y \in E_{\lambda} \implies T(x+y) = T(x) + T(y) = \lambda x + \lambda y = \lambda (x + y) \implies x + y \in E_{\lambda} \]
\[ x \in E_{\lambda} \implies T(cx) = cT(x) = c(\lambda x) = \lambda (cx) \implies cx \in E_{\lambda} \]
Since $E_{\lambda}$ is a non-empty subset of $V$ which is closed under addition and scalar multiplication, it is a subspace of $V$.
Dependency for: None
Info:
- Depth: 12
- Number of transitive dependencies: 57
Transitive dependencies:
- /linear-algebra/vector-spaces/condition-for-subspace
- /linear-algebra/matrices/gauss-jordan-algo
- /sets-and-relations/composition-of-bijections-is-a-bijection
- /sets-and-relations/equivalence-relation
- Group
- Ring
- Polynomial
- Integral Domain
- Comparing coefficients of a polynomial with disjoint variables
- Field
- Vector Space
- Linear independence
- Zeros in vector space
- Negation in vector space
- Span
- Linear transformation
- Composition of linear transformations
- Vector space isomorphism is an equivalence relation
- Identity of a group is unique
- Subgroup
- Inverse of a group element is unique
- Conditions for a subset to be a subgroup
- Condition for a subset to be a subgroup
- Condition for being a subspace
- Semiring
- Matrix
- Stacking
- System of linear equations
- Product of stacked matrices
- Matrix multiplication is associative
- Reduced Row Echelon Form (RREF)
- Matrices over a field form a vector space
- Row space
- Elementary row operation
- Every elementary row operation has a unique inverse
- Row equivalence of matrices
- Row equivalent matrices have the same row space
- RREF is unique
- Identity matrix
- Inverse of a matrix
- Inverse of product
- Elementary row operation is matrix pre-multiplication
- Row equivalence matrix
- Equations with row equivalent matrices have the same solution set
- Basis of a vector space
- Linearly independent set is not bigger than a span
- Homogeneous linear equations with more variables than equations
- Rank of a homogenous system of linear equations
- Rank of a matrix
- Basis of F^n
- Matrix of linear transformation
- Coordinatization over a basis
- Basis changer
- Basis change is an isomorphic linear transformation
- Vector spaces are isomorphic iff their dimensions are same
- Canonical decomposition of a linear transformation
- Eigenvalues and Eigenvectors