Ludium
Sign In
Linear Algebra Done Right
Vector Spaces
01Complex Numbers as Pairs of Real Numbers02Lists and Fⁿ: Coordinate Addition and a First Proof03Vectors in R², Scalar Multiplication, and FieldsProblem set0/10Problem set 20/10
01Definition of a Vector Space: Fⁿ, F^∞ and Function Spaces02Unique Zero and Inverses, 0v = 0, and the Subspace Test03Sums of Subspaces: The Smallest Subspace Containing Them04Direct Sums: Only One Way to Write ZeroProblem set0/10Problem set 20/10
Finite-Dimensional Spaces
01Linear Combinations, Span, and Finite-Dimensional Spaces02Linear Independence and the Linear Dependence Lemma03Independent Lists Are No Longer Than Spanning ListsProblem set0/10Problem set 20/10
01Bases: Reduce a Spanning List, Extend an Independent List02Dimension: Why Every Basis Has the Same Length03The Dimension of a Sum of Two SubspacesProblem set0/10Problem set 20/10
Linear Maps
01Linear Maps and the Linear Map Lemma: Values on a Basis02Sums, Scalar Multiples and Products of Linear Maps03Null Space, Range, Injectivity and Surjectivity04The Fundamental Theorem of Linear Maps and Linear SystemsProblem set0/10Problem set 20/10
01The Matrix of a Linear Map: Each Column Is Tvₖ02Matrix Operations and Why Multiplication Is Row Times Column03Rows, Columns and Linear Combinations in Matrix Products04Column Rank Equals Row Rank: Column-Row FactorizationProblem set0/10Problem set 20/10
01Invertible Linear Maps: Injective and Surjective02Equal Dimensions: Injective or Surjective Means Invertible03Isomorphic Spaces and the Dimension of L(V, W)04The Matrix of a Vector: M(Tv) = M(T)M(v)05Change of Basis for an Operator: A = C⁻¹BCProblem set0/10Problem set 20/10
01Products of Vector Spaces: When Dimensions Add02Quotient Spaces V/U: Parallel Lines as Vectors03The Quotient Map and V/null T ≅ range TProblem set0/10Problem set 20/10
01The Dual Basis Reads Coefficients and T′ Reverses Arrows02The Annihilator U⁰ and dim U⁰ = dim V − dim U03Null T′ and Range T′ as Annihilators; M(T′) Is the TransposeProblem set0/10Problem set 20/10
Polynomials and Eigenvalues
01Conjugates, |z| and the Complex Triangle Inequality02Zeros, Factors and the Division Algorithm via a Basis03Fundamental Theorem of Algebra and Complete Factorization04Real Polynomials: Linear and Irreducible Quadratic FactorsProblem set0/10Problem set 20/10
01Invariant Subspaces and Eigenvalues: Tv = λv02Eigenvectors, T − λI and At Most dim V Eigenvalues03p(T) and Why Every Complex Operator Has an Eigenvalue04The Minimal Polynomial: Existence, Uniqueness and Computation05Eigenvalues Are the Zeros of the Minimal Polynomial06Why Odd Dimension Forces a Real EigenvalueProblem set0/10Problem set 20/10
01Upper-Triangular Matrices and Invariant Spans02Eigenvalues Sit on the Upper-Triangular Diagonal03The Minimal Polynomial Decides Upper-TriangularityProblem set0/10Problem set 20/10
01Diagonalizable Operators and Direct Sums of Eigenspaces02Four Equivalent Tests for Diagonalizability03Distinct Linear Factors Decide Diagonalizability04The Gershgorin Disk Theorem: Where Eigenvalues Live05Commuting Operators Share a Diagonalizing Basis06Commuting Operators Over C: One Upper-Triangular BasisProblem set0/10Problem set 20/10
Inner Product Spaces
01Inner Products: Why Complex Spaces Need a Conjugate02Norms, Orthogonality and the Pythagorean Theorem03Cauchy-Schwarz and the Triangle InequalityProblem set0/10Problem set 20/10
01Orthonormal Bases: Bessel's Inequality and Parseval02Gram-Schmidt, Orthonormal Bases and Schur's Theorem03Linear Functionals and the Riesz Representation TheoremProblem set0/10Problem set 20/10
01Orthogonal Complements and the Direct Sum V = U ⊕ U⊥02Orthogonal Projection onto U and Why U⊥⊥ = U03Riesz Representation Without a Basis: v ⊥ null φProblem set0/10Problem set 20/10
01The Closest Point Is the Projection: Fitting Sine on [−π, π]02The Pseudoinverse T† and Its Three Inverse-Like Properties03T†w: The Best Approximate Solution of Smallest NormProblem set0/10Problem set 20/10
Self-Adjoint, Normal and Unitary Operators
01The Adjoint T*: Moving T into the Second Slot of ⟨Tv, w⟩02Null T* = (range T)⊥ and M(T*) as the Conjugate Transpose03Self-Adjoint Operators: Real Eigenvalues and Real ⟨Tv, v⟩04Normal Operators: ‖Tv‖ = ‖T*v‖ and Orthogonal EigenvectorsProblem set0/10Problem set 20/10
01Real Spectral Theorem: Self-Adjoint ⇔ Orthonormal Eigenbasis02The Complex Spectral Theorem: Normal Is Enough03Positive Operators: Six Equivalent Characterizations04The Unique Positive Square Root √TProblem set0/10Problem set 20/10
01Isometries: Five Equivalent Ways to Preserve Length02Unitary Operators: S⁻¹ = S*, Eigenvalues on |λ| = 103QR Factorization: Gram–Schmidt Recorded as A = QR04Cholesky Factorization: Positive Definite B = R*RProblem set0/10Problem set 20/10
The Singular Value Decomposition
01Singular Values: Square Roots of the Eigenvalues of T*T02Singular Value Decomposition: Rank, Isometries, Proof03Diagonal Matrices, Adjoints and Pseudoinverses via SVD04Matrix SVD: Computing It and Factoring A = BDC*Problem set0/10Problem set 20/10
01The Norm of a Linear Map Is Its Largest Singular Value02Computing the Norm of T: Three Formulas and Examples03Best Low-Rank Approximation: Truncate the SVD at k04Polar Decomposition: T = S√(T*T)Problem set0/10Problem set 20/10
01Invertible Operators Turn Balls into Ellipsoids02Boxes to Boxes: Parallelepipeds and the SVD03Volume Scales by the Product of the Singular ValuesProblem set0/10Problem set 20/10
Operators on Complex Vector Spaces
01Null Spaces of Powers Stabilize and Split the Space02Generalized Eigenvectors Span Every Complex Space03Linear Independence of Generalized Eigenvectors04Nilpotent Operators: Zero Is the Only EigenvalueProblem set0/10Problem set 20/10
01Generalized Eigenspaces Split Every Complex Space02Multiplicity Without Determinants: Algebraic vs Geometric03Cayley–Hamilton Without Determinants04Upper-Triangular Diagonals Count Multiplicities05Block Diagonal Form: One Block per EigenvalueProblem set0/10Problem set 20/10
01Every Invertible Complex Operator Has a Square Root02Jordan Bases: Strings and Ones Above the Diagonal03Proving Jordan Form via an Invariant Complement04The Trace Equals the Sum of the Eigenvalues05Why ST − TS Can Never Be the IdentityProblem set0/10Problem set 20/10
Multilinear Algebra and Determinants
01Bilinear Forms: Linear in Each Slot, a Matrix per Basis02Change of Basis for Bilinear Forms: A = CᵀBC03Symmetric Bilinear Forms Are Diagonal in Some Basis04Every Bilinear Form Splits: Symmetric + Alternating05Quadratic Forms: Polarization and Sums of SquaresProblem set0/10Problem set 20/10
01Alternating Multilinear Forms: Dependent Lists Give Zero02Swaps, Inversions and the Sign of a Permutation03Top-Degree Alternating Forms: A One-Dimensional Space04The Determinant of an Operator: αT = (det T)α05The Determinant Formula: A Signed Sum over PermutationsProblem set0/10Problem set 20/10

The Determinant of an Operator: αT = (det T)α

How can the determinant of an operator be defined with no basis at all, as the one scalar by which it scales every top-degree alternating form?


Loading…

←Previous Top-Degree Alternating Forms: A One-Dimensional SpaceNext The Determinant Formula: A Signed Sum over Permutations →

Your summary note

    1. 1

      The form αT(v1,…,vm)=α(Tv1,…,Tvm)\alpha_T(v_1, \dots, v_m) = \alpha(Tv_1, \dots, Tv_m)αT​(v1​,…,vm​)=α(Tv1​,…,Tvm​)

      Define αT\alpha_TαT​, check that it is again alternating and mmm-linear, and check that α↦αT\alpha \mapsto \alpha_Tα↦αT​ is linear.

    2. 2

      Definition: αT=(det⁡T) α\alpha_T = (\det T)\,\alphaαT​=(detT)α

      State the definition for m=dim⁡Vm = \dim Vm=dimV and record the fact that a linear map on a one-dimensional space is multiplication by a unique scalar, with its short proof.

    3. 3

      First values: III, λI\lambda IλI, λT\lambda TλT and an eigenvector basis

      Derive det⁡I=1\det I = 1detI=1, det⁡(λT)=λndet⁡T\det(\lambda T) = \lambda^n \det Tdet(λT)=λndetT and det⁡T=λ1⋯λn\det T = \lambda_1 \cdots \lambda_ndetT=λ1​⋯λn​ for an eigenvector basis, noting where α(e1,…,en)≠0\alpha(e_1, \dots, e_n) \neq 0α(e1​,…,en​)=0 is used.

    4. 4

      The determinant of a matrix

      Define det⁡A\det AdetA as the determinant of the operator on Fn\mathbf{F}^nFn with standard-basis matrix AAA, and compute it for the identity and for diag⁡(2,3,5)\operatorname{diag}(2, 3, 5)diag(2,3,5).

    Attempt 1 of 2