➗Abstract Linear Algebra II Unit 1 Review
1.5 Basis and dimension of a vector space
1.5 Basis and dimension of a vector space
Written by the Fiveable Content Team • Last updated August 2024
Written by the Fiveable Content Team • Last updated August 2024
➗Abstract Linear Algebra II
Unit & Topic Study Guides
Vector Spaces and Subspaces
Linear Transformations
Eigenvalues and Eigenvectors
Inner Product Spaces
Spectral Theory
Canonical Forms
Tensor Products in Multilinear Algebra
Advanced Linear Algebra Topics
Vector spaces are the foundation of linear algebra. Bases and dimension help us understand their structure. A basis is a set of vectors that spans the space and is linearly independent. It's like a skeleton that defines the space's shape.
Dimension tells us how many vectors are in a basis. It's a key property of vector spaces, helping us compare and classify them. Understanding bases and dimension is crucial for solving linear systems and analyzing transformations between spaces.
Basis of a Vector Space
Definition and Key Properties
- A basis comprises a linearly independent subset of vectors that spans the entire vector space
- Multiple sets of vectors can form a basis for a given vector space
- Express every vector in the space as a unique linear combination of basis vectors
- Finite-dimensional vector spaces always have a finite number of basis vectors
- Removing any vector from a basis results in a set no longer spanning the space
- Basis provides a coordinate system allowing unique representation of vectors
Examples and Applications
- Standard basis for :
- Polynomial basis for :
- Fourier basis for periodic functions:
- Basis for matrix space :
Basis Cardinality

Proof Concepts and Techniques
- Utilize linear independence and spanning properties of bases in the proof
- Apply the Replacement Theorem (Exchange Lemma) to transform one basis into another
- Maintain linear independence and spanning property during vector replacements
- Use contradiction to show different cardinalities violate basis definition
- Demonstrate invariance of basis vector count for a given vector space
- Establish foundation for vector space dimension concept
Proof Outline and Examples
- Start with two bases B₁ and B₂ of vector space V
- Assume |B₁| > |B₂| and derive a contradiction
- Show a linear dependence in B₁ using vectors from B₂
- Contradiction violates basis definition
- Repeat assuming |B₂| > |B₁| to show equality
- Example: Prove standard basis and diagonal matrix basis for have same cardinality
- Application: Prove dimension of (polynomials of degree ≤ n) is n+1
Finding a Basis

Methods and Techniques
- Apply Gram-Schmidt process to create orthogonal or orthonormal basis from linearly independent vectors
- Use Gaussian elimination for null space basis of linear equation systems
- Identify linearly independent columns for matrix column space basis
- Construct standard bases using monomials for polynomial vector spaces
- Eliminate linear dependencies among spanning vectors
- Employ Steinitz exchange lemma to extend linearly independent set or reduce spanning set
Examples and Applications
- Orthonormalize vectors in using Gram-Schmidt
- Find basis for null space of matrix
- Determine column space basis for matrix
- Construct basis for (polynomials of degree ≤ 3)
- Use Steinitz exchange to find basis of subspace spanned by in
Dimension of a Vector Space
Definition and Properties
- Dimension equals number of vectors in any basis of the space
- Finite-dimensional spaces have non-negative integer dimensions
- Zero vector space has dimension 0 (empty set basis)
- Subspace dimension ≤ parent vector space dimension
- Calculate dimension by finding a basis and counting its vectors
- Rank-nullity theorem relates vector space dimension to range and null space dimensions
Calculation Methods and Examples
- Determine dimension of (n)
- Calculate dimension of (n+1)
- Find dimension of (m×n)
- Compute dimension of solution space for homogeneous system Ax = 0
- Use rank-nullity theorem to find nullity of linear transformation T: → with rank 2
- Calculate dimension of span{(1,1,0), (0,1,1), (1,0,1)} in