Inner products
⟨·,·⟩ must be linear (in one slot), conjugate-symmetric and positive definite. Testing candidates: is an inner product ⇔ all w_j > 0. Forms like are degenerate, and is symmetric but indefinite.
Cauchy–Schwarz |⟨x,y⟩| ≤ ‖x‖‖y‖; parallelogram law characterises norms coming from an inner product.
Gram–Schmidt
Produces an orthonormal basis; gives the QR decomposition A = QR. The Gram matrix G = (⟨⟩) is positive semi-definite, and positive definite ⇔ the are independent.
The matrix classes
| Class | Definition | Diagonalisable? |
|---|---|---|
| symmetric (real) | Aᵀ = A | ✓ orthogonally, real eigenvalues |
| Hermitian | A* = A | ✓ unitarily, real eigenvalues |
| skew-symmetric (real) | Aᵀ = −A | ✓ over ; eigenvalues purely imaginary |
| orthogonal | AᵀA = I | ✓ over ; || = 1 |
| unitary | A*A = I | ✓ unitarily; || = 1 |
| normal | AA = AA | ✓ unitarily (spectral theorem) |
All the above are normal — normality is exactly the condition for unitary diagonalisability over .
Spectral theorem consequences
- Real symmetric: eigenvectors for distinct eigenvalues are orthogonal; .
- A symmetric with real eigenvalues with .
- A symmetric with Aᵏ = 0 ⇒ A = 0.
- Positive definite ⇔ all eigenvalues > 0 ⇔ all leading principal minors > 0 ⇔ A = BᵀB with B invertible.
Orthogonal projections
P is an orthogonal projection and P = Pᵀ. Then im P ⊕ ker P orthogonally, and rank P = trace P.
Key takeaways
- Normal ⇔ unitarily diagonalisable; symmetric/Hermitian/unitary/skew are all special cases.
- Real symmetric gives a real orthonormal eigenbasis — the strongest statement.
- Positive weights are what make an inner product.