Ludium
Sign In
Linear Algebra
Solving Linear Systems
01Row Picture, Column Picture & Matrix Form02Row Picture vs Column Picture in 3D03Singular vs Non-Singular Matrices04Two Ways to Compute AxProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
01Gaussian Elimination & Back Substitution02Elimination Matrices03Permutation Matrices and InversesProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
015 Views of Matrix Multiplication02Matrix Inverses and Singularity03Gauss-Jordan Elimination for InversesProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01Product Inverse & Transpose Rules02A = LU Factorization03Gaussian Elimination: ⅓n³ Operation Count04Permutation Matrices: P⁻¹ = PᵀProblem set0/10Problem set 20/10MIT problem set0/6Practice∞
01Permutation Matrices and PA = LU02Why RᵀR Is Always Symmetric03Vector Spaces and Subspaces04The Column Space of a MatrixProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
Vector Spaces & Subspaces
01Vector Spaces and Subspaces02Column Space of a Matrix03Null Space of a MatrixProblem set0/10Problem set 20/10Practice∞
01Rank, Pivots, and Free Variables02Special Solutions of the Null Space03Reading the Null Space from RREFProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
01Solvability of Ax = b02Particular Solutions and the Null Space03Rank and the Four Cases of Ax = bProblem set0/10Problem set 20/10MIT problem set0/8Practice∞
01Linear Independence & the Null Space02Basis and Dimension03The Rank-Nullity TheoremProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01Rank and the Four Fundamental Subspaces02Four Bases from One Row Reduction03Matrices as Vector SpacesProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
01The Dimension Formula for Subspaces02Differential Equations as Linear Algebra03Rank-One Matrices and Outer Products04The Four Fundamental SubspacesProblem set0/10Problem set 20/10MIT problem set0/1Practice∞
01The Incidence Matrix as Difference Operator02The Incidence Matrix of a Graph03The Equilibrium Equation AᵀCAx = fProblem set0/10Problem set 20/10MIT problem set0/1Practice∞
Orthogonality & Least Squares
01Orthogonal Subspaces02Null Space as Orthogonal Complement03The Normal EquationsProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
01The Projection Matrix P = aaᵀ/aᵀa02Projection onto Subspaces03Projection and Least SquaresProblem set0/10Problem set 20/10MIT problem set0/6Practice∞
01Complementary Projections: P and I−P02Least Squares and the Normal Equations03Least Squares as Projection04Invertibility of AᵀAProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01Orthogonal Matrices02Projections onto Orthonormal Bases03The Gram-Schmidt Process04QR Factorization from Gram-SchmidtProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
Determinants
01The Three Axioms of the Determinant02Determinant Properties from Three Axioms03Determinants via Elimination04Multiplicative and Transpose PropertiesProblem set0/10Problem set 20/10MIT problem set0/2Practice∞
01The Permutation Formula for Determinants02Cofactor Expansion03Periodic Determinants of Tridiagonal MatricesProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
01The Cofactor Formula for Matrix Inverses02Cramer's Rule03Determinants as VolumeProblem set0/10Problem set 20/10MIT problem set0/4Practice∞
Eigenvalues & Dynamics
01Eigenvalues and Eigenvectors02Finding Eigenvalues and Eigenvectors03Complex Eigenvalues and Defective MatricesProblem set0/10Problem set 20/10MIT problem set0/2Practice∞
01Diagonalization: A = SΛS⁻¹02Matrix Powers and the Stability Theorem03Defective Matrices and Multiplicity04Eigenvalues and the Fibonacci SequenceProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
01Solving du/dt = Au with Eigenvalues02Eigenvalue Stability in the Complex Plane03The Matrix Exponential e^(At)04The Companion MatrixProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01Why 1 Is Always an Eigenvalue of Markov Matrices02Markov Chain Steady States via Eigenvalues03Markov Matrices and Steady States04Orthonormal Bases and Fourier CoefficientsProblem set0/10Problem set 20/10MIT problem set0/7Practice∞
Symmetric Matrices & the SVD
01The Spectral Theorem02Why Symmetric Matrices Have Real Eigenvalues03Sylvester's Law of Inertia04Testing Positive DefinitenessProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01The Conjugate Transpose02Inverse of the Fourier Matrix03The FFT FactorizationProblem set0/10Problem set 20/10Practice∞
01Positive Definite Matrices02Positive Definiteness via Pivots03The Hessian and Positive Definiteness04Principal Axis Theorem and the EllipsoidProblem set0/10Problem set 20/10MIT problem set0/6Practice∞
01Closure Properties of Positive Definite Matrices02Matrix Similarity and Invariant Eigenvalues03Why Eigenvalues Don't Classify Similarity04Jordan Canonical FormProblem set0/10Problem set 20/10MIT problem set0/5Practice∞
01The Singular Value Decomposition02Reducing SVD to A^T A03Computing the SVD: Two Worked Examples04SVD and the Four Fundamental SubspacesProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
Linear Transformations & Applications
01Defining Linear Transformations02Basis, Coordinates, and Linear Maps03How a Linear Map Becomes a MatrixProblem set0/10Problem set 20/10Practice∞
01Image Compression as a Change of Basis02Choosing a Basis: JPEG, Fourier, and Wavelets03Change of Basis and Image Compression04Change of Basis and DiagonalizationProblem set0/10Problem set 20/10Practice∞
01Matrix Inverses and the Four Subspaces02One-Sided Inverses and Projections03The Pseudo-Inverse04The Pseudo-Inverse via the SVDProblem set0/10Problem set 20/10Practice∞

Orthonormal Bases and Fourier Coefficients

Why does the same x_k = q_k^T v trick that gives coordinates in finite dimensions produce the famous Fourier coefficient formula a_k = (1/π)∫ f(x)cos(kx) dx in function space?


Loading…

←Previous Markov Matrices and Steady StatesNext The Spectral Theorem →

Your summary note

    1. 1

      Coefficients as inner products x1=q1Tvx_1 = q_1^T vx1​=q1T​v

      Expand v=x1q1+⋯+xnqnv = x_1q_1 + \cdots + x_nq_nv=x1​q1​+⋯+xn​qn​, take the inner product with q1q_1q1​, apply q1Tq1=1q_1^Tq_1 = 1q1T​q1​=1 and q1Tqj=0q_1^Tq_j = 0q1T​qj​=0, and read off x1x_1x1​.

    2. 2

      Matrix form x=QTvx = Q^T vx=QTv

      Write the same system as Qx=vQx = vQx=v with the orthonormal vectors as columns, state Q−1=QTQ^{-1} = Q^TQ−1=QT for square QQQ, and match the first component against q1Tvq_1^T vq1T​v.

    3. 3

      Orthogonality of the Fourier basis functions

      Define the function inner product ∫02πf(x)g(x) dx\int_0^{2\pi} f(x)g(x)\,dx∫02π​f(x)g(x)dx and carry out ∫02πsin⁡(x)cos⁡(x) dx=0\int_0^{2\pi} \sin(x)\cos(x)\,dx = 0∫02π​sin(x)cos(x)dx=0 as the check on the basis {1,cos⁡(x),sin⁡(x),…}\{1, \cos(x), \sin(x), \ldots\}{1,cos(x),sin(x),…}.

    4. 4

      The Fourier coefficient formula for a1a_1a1​

      Multiply the series by cos⁡(x)\cos(x)cos(x), integrate from 000 to 2π2\pi2π, use ∫02πcos⁡2(x) dx=π\int_0^{2\pi}\cos^2(x)\,dx = \pi∫02π​cos2(x)dx=π, and arrive at a1=1π∫02πf(x)cos⁡(x) dxa_1 = \frac{1}{\pi}\int_0^{2\pi} f(x)\cos(x)\,dxa1​=π1​∫02π​f(x)cos(x)dx.

    Attempt 1 of 2