WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Spectral theorem

Revision #660 → #1577 · back to history

addedCauchy: real symmetric matrices are diagonalizable2fe9b30d4b08
addedHermitian condition4321fa255016
addedEquivalent condition A* = Ad9430f2aaaaf
addedEigenvalues of a Hermitian map are real28804ca36c33
addedEigenvector and eigenvalue35990c451d98
addedSpectral decomposition394617882454
addedEigenspaced229f4d67e4d
addedSpectral decomposition as special case of Schur decompositiond58f77e29ac2
addedSpectral theorem for Hermitian maps6c54b9479cbc
addedSingular value decompositionee06bb54fd02
addedNormal operator5fb0461ca161
addedNormal iff unitarily diagonalizabledb463740a534
addedSpectral theorem for compact self-adjoint operatorsf6e5f4c99a99
addedMultiplication by t with no eigenvectorsdb166985c77c
addedDirac delta as generalized eigenvector8862fc013b71
addedSpectral subspaceb9fb6045dfed
addedProjection-valued measure73acac2c5f28
addedProjection-valued measure formulation1d50c204f37f
addedUnitary equivalence to a multiplication operator845355ba4bb2
addedMultiplication operators generalize diagonal matrices8ff780e2017b
addedSpectral theorem for bounded normal operators2372af74877e
addedMultiplication operator version of spectral theoremf47410f088c4
addedDirect integral Hilbert space02cc1e500a97
addedDirect integral version of spectral theorem095787d421ea
addedCyclic vectora4394e063be0
addedCyclic vector unifies the two formulations69e1c922ee79
addedSimple spectrum1265b1d9018b
addedDecomposition into cyclic invariant subspaces3b008bbf37b8
addedFunctional calculus88bcb6018336
addedSpectral theorem for unbounded self-adjoint operators78dffdd06168
addedConstant-coefficient differential operators0814ca50e4e7
addedGeneralized eigenvectors for unbounded operatorsedaa632c300f
addedCompleteness of generalized eigenvectorsc7b7b5539718