- **Exterior Algebra**: The study of alternating multilinear forms, which is critical for differential geometry and the generalization of the cross product.
## 5. Numerical and Computational Linear Algebra
For applied tracks, the focus moves toward how computers solve linear systems.
- **Matrix Factorizations**: Techniques like **LU decomposition**, **QR factorization**, and **Cholesky decomposition** for efficient computation.
- **Iterative Methods**: Algorithms that converge to a solution, such as the **Conjugate Gradient** method, used for very large, sparse systems.# Graduate Linear Algebra Curriculum
To transition from introductory computational methods to graduate-level mastery of linear algebra, a student must move toward abstract algebraic structures and rigorous proofs. The curriculum is typically divided into algebraic foundations, operator theory, and multilinear structures.
## Core Algebraic Foundations
1. **Vector Spaces and Subspaces**: Beyond Euclidean space, this includes the study of abstract spaces over arbitrary fields. Key concepts include **linear independence**, **spanning sets**, and **basis dimension**.
2. **Linear Transformations**: The study of homomorphisms between vector spaces. This involves understanding the **Rank-Nullity Theorem** and the coordinate representation of maps.
3. **Dual Spaces**: A critical graduate topic involving **linear functionals** (maps from a vector space to its underlying field). This includes the study of dual bases, annihilators, and the double dual space.
## Spectral Theory and Canonical Forms
The primary goal of this area is to simplify the representation of linear operators through specific bases.
- **Eigenvalues and Eigenvectors**: Investigation of the characteristic and minimal polynomials.
- **Diagonalization**: Determining the conditions under which an operator can be represented as a diagonal matrix.
- **Jordan Canonical Form**: A fundamental decomposition for operators that cannot be fully diagonalized, providing a block-diagonal structure over an algebraically closed field.
- **Rational Canonical Form**: A more general decomposition that does not require the field to be algebraically closed, rooted in the theory of **Modules over a Principal Ideal Domain (PID)**.
## Inner Product Spaces and Geometry
This domain introduces geometric notions such as length, angle, and distance into abstract spaces.
- **Inner Products and Norms**: The definition of geometry via positive-definite sesquilinear forms.
- **Orthogonality**: The use of the **Gram-Schmidt process** to produce orthonormal bases and the study of orthogonal complements.
- **The Spectral Theorem**: This theorem provides the conditions (such as being a **normal** or **self-adjoint** operator) under which a matrix can be diagonalized by a unitary transformation.
- **Singular Value Decomposition (SVD)**: A generalization of eigendecomposition to any matrix, essential for numerical analysis and dimensionality reduction.
## Multilinear Algebra
Graduate studies extend linear concepts to higher-order tensors.
- **Tensor Products**: The construction of new spaces from existing ones, defined by a **universal property** that linearizes multilinear maps.
- **Exterior Algebra**: The study of alternating forms and the **wedge product**, which is foundational for differential geometry and the definition of the determinant.
- **Symmetric Algebra**: The study of symmetric polynomials and tensors.
## Advanced Extensions
- **Numerical Linear Algebra**: Focuses on the stability and complexity of algorithms for matrix factorization and solving large systems.
- **Infinite-Dimensional Spaces**: Introduction to **Hilbert and Banach spaces**, which forms the transition point between linear algebra and functional analysis.