Linear and multilinear algebra; matrix theory Definition
Linear independence
Builds on Linear combination
Definition
Let be a field and let be a vector space over . A family of vectors of is linearly independent when the only linear combination of them that equals is the trivial one. This means that for all . An arbitrary family is linearly independent when each finite subfamily is linearly independent. A family that is not linearly independent is linearly dependent.
Remarks
The vectors and in are linearly independent; the vectors and are linearly dependent. A family that contains the zero vector, or the same vector twice, is linearly dependent. A family of at least two vectors is linearly dependent if and only if one of its vectors is a linear combination of the others. In , a family of more than vectors is linearly dependent.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Vector space definition
- Linear combination definition
- Linear independence definition
Where this leads
119 pages build on this one.
- Dimension of the dual space
- Linear map of a matrix
- Nullity
- Every vector space has a basis
- Rank of a product of matrices
- Determinant of a linear map
- Parseval's identity
- Eigenvalues are the roots of the characteristic polynomial
- A matrix is diagonalisable iff it has a basis of eigenvectors
- Isomorphism with the coordinate space
- Dimension
- Matrix of a composition is the product of matrices
- Dimension of a direct product
- Grassmann's formula
- Spectral theorem
- Every spanning set contains a basis
- Dimension of the annihilator
- Geometric multiplicity
- Existence of an eigenvalue over an algebraically closed field
- Steinitz exchange lemma
- An injective endomorphism of a finite-dimensional space is surjective
- Linearly independent set of the right size is a basis
- Coordinates in an orthonormal basis
- Coordinate vector
- Characteristic polynomial of a linear map
- Determinant is the product of the eigenvalues
- Classification of complex quadratic forms
- Matrix of the adjoint is the conjugate transpose
- Spectral theorem for Hermitian matrices
- Dimension of the orthogonal complement
- QR decomposition
- Rank of a matrix
- Orthonormal basis
- Eigenvectors with distinct eigenvalues are linearly independent
- Rouché–Capelli theorem
- Rank of a linear map
- An orthonormal family is linearly independent
- Determinant of a linear map is the determinant of its matrix
- Signature of a quadratic form
- Change of basis matrix
- Every linearly independent set extends to a basis
- Change of basis formula
- Trace is the sum of the eigenvalues
- Matrix of a bilinear form
- Principal axis theorem
- Orthogonal complement of the orthogonal complement
- Orientation of a real vector space
- Cayley–Hamilton theorem for linear maps
- Dimension of the coordinate space
- Dimension of a subspace
- Dimension of a tensor product
- A linear map is determined by its values on a basis
- Algebraic multiplicity
- Basis of a tensor product
- Change of basis for a bilinear form
- Dimension of a quotient space
- Row rank equals column rank
- Determinant of a family of vectors in a basis
- Finite-dimensional spaces are isomorphic iff they have equal dimension
- Gram–Schmidt process
- Basis
- Rank–nullity theorem
- Dual basis
- Trace of a linear map is the trace of its matrix
- Sylvester's law of inertia
- A subspace of full dimension is the whole space
- Dimension theorem for vector spaces
- Gram–Schmidt vectors are orthogonal
- Existence of an orthonormal basis
- Distinct eigenvalues imply diagonalisable
- Matrix of a linear map
- Dimension of the space of linear maps
- Canonical isomorphism with the double dual
- Matrix of the dual map is the transpose
- Derivation of the conjugate gradient method
- Conjugate residual method
- Hilbert–Schmidt expansion theorem
- Minimal residual method
- Algebraic independence
- Bilinear series of a symmetric kernel
- QR algorithm
- Field norm
- Hadamard's inequality in Fredholm theory
- Spectral theorem for compact self-adjoint operators
- Courant–Fischer characterization of characteristic values
- Generalized minimal residual method
- Natural transformation
- Hadamard's inequality
- Arnoldi iteration
- Lidskii's trace formula for integral operators
- Lagrange resolvent
- Normal coordinates
- Hadamard's maximal determinant problem
- Spectrum of the Laplace–Beltrami operator
- Cochran's theorem
- Kronecker's approximation theorem
- Dimension of the solution space of a linear recurrence
- Independence of sample mean and sample variance for normal samples
- Biconjugate gradient stabilized method
- Dedekind's lemma on independence of characters
- Bernstein's theorem on absolutely convergent Fourier series
- Transcendence degree
- Operator monotone function
- Mercer's theorem
- Normal basis theorem
- Principal component analysis
- Schauder basis
- Linearly disjoint extensions
- Discriminant of a field extension
- Schur product theorem
- Fundamental theorem of space curves
- Singular values of a compact operator
- Numerical methods for linear least squares
- Schmidt's singular value decomposition of a kernel
- Existence of transcendence bases
- Hilbert's Theorem 90
- Three-term recurrence for orthogonal polynomials
- Bareiss algorithm
- Frenet–Serret formulas
Further reading
About this page
| Tag | 0EVHJFTG9Z |
|---|---|
| URI | m2://0EVHJFTG9Z |
| Kind | definition |
| Writing | W1 stated |
| MSC | 15A03 |
| Defines | Linear independence |
| Uses | Linear combination |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Steinitz exchange lemma
- Linearly independent set of the right size is a basis
- Eigenvectors with distinct eigenvalues are linearly independent
- An orthonormal family is linearly independent
- Every linearly independent set extends to a basis
- Gram–Schmidt process
- Basis
- Algebraic independence
- Kronecker's approximation theorem
- Dedekind's lemma on independence of characters
- Linearly disjoint extensions