In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized (that is, represented as a diagonal matrix in some basis). This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.
The spectral theorem also provides a canonical decomposition, called the spectral decomposition, of the underlying vector space on which the operator acts.
This article mainly focuses on the simplest kind of spectral theorem, that for a self-adjoint operator on a Hilbert space. However, as noted above, the spectral theorem also holds for normal operators on a Hilbert space.
An equivalent condition is that A* = A, where A* is the Hermitian conjugate of A. In the case that A is identified with a Hermitian matrix, the matrix of A* is equal to its conjugate transpose. (If A is a real matrix, then this is equivalent to AT = A, that is, A is a symmetric matrix.)
This condition implies that all eigenvalues of a Hermitian map are real: To see this, it is enough to apply it to the case when x = y is an eigenvector. (Recall that an eigenvector of a linear map A is a non-zero vector v such that A v = λv for some scalar λ. The value λ is the corresponding eigenvalue. Moreover, the eigenvalues are roots of the characteristic polynomial.)
Theorem — If A is Hermitian on V, then there exists an orthonormal basis of V consisting of eigenvectors of A. Each eigenvalue of A is real.
We provide a sketch of a proof for the case where the underlying field of scalars is the complex numbers.
By the fundamental theorem of algebra, applied to the characteristic polynomial of A, there is at least one complex eigenvalue λ1 and corresponding eigenvector v1 , which must by definition be non-zero. Then since
we find that λ1 is real. Now consider the space the orthogonal complement of v1 . By Hermiticity, is an invariant subspace of A. To see that, consider any so that by definition of To satisfy invariance, we need to check if This is true because Applying the same argument to shows that A has at least one real eigenvalue and corresponding eigenvector This can be used to build another invariant subspace Finite induction then finishes the proof.
The matrix representation of A in a basis of eigenvectors is diagonal, and by the construction the proof gives a basis of mutually orthogonal eigenvectors; by choosing them to be unit vectors one obtains an orthonormal basis of eigenvectors. A can be written as a linear combination of pairwise orthogonal projections, called its spectral decomposition. Let
be the eigenspace corresponding to an eigenvalue Note that the definition does not depend on any choice of specific eigenvectors. In general, V is the orthogonal direct sum of the spaces where the ranges over the spectrum of
When the matrix being decomposed is Hermitian, the spectral decomposition is a special case of the Schur decomposition (see the proof in case of normal matrices below).
Spectral decomposition and the singular value decomposition
The spectral decomposition is a special case of the singular value decomposition, which states that any matrix can be expressed as
where and are unitary matrices and is a diagonal matrix. The diagonal entries of are uniquely determined by and are known as the singular values of If is Hermitian, then and which implies
The spectral theorem extends to a more general class of matrices. Let A be an operator on a finite-dimensional inner product space. A is said to be normal if A*A = A A* .
One can show that A is normal if and only if it is unitarily diagonalizable using the Schur decomposition. That is, any matrix can be written as A = U T U* , where U is unitary and T is upper triangular.
If A is normal, then one sees that T T* = T*T . Therefore, T must be diagonal since a normal upper triangular matrix is diagonal (see normal matrix). The converse is obvious.
In other words, A is normal if and only if there exists a unitary matrixU such that
where D is a diagonal matrix. Then, the entries of the diagonal of D are the eigenvalues of A. The column vectors of U are the eigenvectors of A and they are orthonormal. Unlike the Hermitian case, the entries of D need not be real.
In the more general setting of Hilbert spaces, which may have an infinite dimension, the statement of the spectral theorem for compactself-adjoint operators is virtually the same as in the finite-dimensional case.
Theorem — Suppose A is a compact self-adjoint operator on a (real or complex) Hilbert space V. Then there is an orthonormal basis of V consisting of eigenvectors of A. Each eigenvalue is real.
As for Hermitian matrices, the key point is to prove the existence of at least one nonzero eigenvector. One cannot rely on determinants to show existence of eigenvalues, but one can use a maximization argument analogous to the variational characterization of eigenvalues.
If the compactness assumption is removed, then it is not true that every self-adjoint operator has eigenvectors. For example, the multiplication operator on which takes each to is bounded and self-adjoint, but has no eigenvectors. However, its spectrum, suitably defined, is still equal to , see spectrum of bounded operator.
The next generalization we consider is that of bounded self-adjoint operators on a Hilbert space. Such operators may have no eigenvectors: for instance let A be the operator of multiplication by t on , that is,[3]
This operator does not have any eigenvectors in, though it does have eigenvectors in a larger space. Namely the distribution, where is the Dirac delta function, is an eigenvector when construed in an appropriate sense. The Dirac delta function is however not a function in the classical sense and does not lie in the Hilbert space L2[0, 1] or any other Banach space. Thus, the delta-functions are "generalized eigenvectors" of but not eigenvectors in the usual sense.
Spectral subspaces and projection-valued measures
In the absence of (true) eigenvectors, one can look for a "spectral subspace" consisting of an almost eigenvector, i.e, a closed subspace of associated with a Borel set in the spectrum of . This subspace can be thought of as the closed span of generalized eigenvectors for with eigenvalues in .[4] In the above example, where we might consider the subspace of functions supported on a small interval inside . This space is invariant under and for any in this subspace, is very close to . Each subspace, in turn, is encoded by the associated projection operator, and the collection of all the subspaces is then represented by a projection-valued measure.
One formulation of the spectral theorem expresses the operator A as an integral of the coordinate function over the operator's spectrum with respect to a projection-valued measure.[5]
When the self-adjoint operator in question is compact, this version of the spectral theorem reduces to something similar to the finite-dimensional spectral theorem above, except that the operator is expressed as a finite or countably infinite linear combination of projections, that is, the measure consists only of atoms.
Multiplication operator version
An alternative formulation of the spectral theorem says that every bounded self-adjoint operator is unitarily equivalent to a multiplication operator. The significance of this result is that multiplication operators are in many ways easy to understand.
The spectral theorem is the beginning of the vast research area of functional analysis called operator theory; see also the spectral measure.
There is also an analogous spectral theorem for bounded normal operators on Hilbert spaces. The only difference in the conclusion is that now f may be complex-valued.
Direct integrals
There is also a formulation of the spectral theorem in terms of direct integrals. It is similar to the multiplication-operator formulation, but more canonical.
Let be a bounded self-adjoint operator and let be the spectrum of . The direct-integral formulation of the spectral theorem associates two quantities to . First, a measure on , and second, a family of Hilbert spaces We then form the direct integral Hilbert space
The elements of this space are functions (or "sections") such that for all .
The direct-integral version of the spectral theorem may be expressed as follows:[7]
Theorem — If is a bounded self-adjoint operator, then is unitarily equivalent to the "multiplication by " operator on
for some measure and some family of Hilbert spaces. The measure is uniquely determined by up to measure-theoretic equivalence; that is, any two measure associated to the same have the same sets of measure zero. The dimensions of the Hilbert spaces are uniquely determined by up to a set of -measure zero.
The spaces can be thought of as something like "eigenspaces" for . Note, however, that unless the one-element set has positive measure, the space is not actually a subspace of the direct integral. Thus, the 's should be thought of as "generalized eigenspace"—that is, the elements of are "eigenvectors" that do not actually belong to the Hilbert space.
Although both the multiplication-operator and direct integral formulations of the spectral theorem express a self-adjoint operator as unitarily equivalent to a multiplication operator, the direct integral approach is more canonical. First, the set over which the direct integral takes place (the spectrum of the operator) is canonical. Second, the function we are multiplying by is canonical in the direct-integral approach: Simply the function .
Cyclic vectors and simple spectrum
A vector is called a cyclic vector for if the vectors span a dense subspace of the Hilbert space. Suppose is a bounded self-adjoint operator for which a cyclic vector exists. In that case, there is no distinction between the direct-integral and multiplication-operator formulations of the spectral theorem. Indeed, in that case, there is a measure on the spectrum of such that is unitarily equivalent to the "multiplication by " operator on .[8] This result represents simultaneously as a multiplication operator and as a direct integral, since is just a direct integral in which each Hilbert space is just .
Not every bounded self-adjoint operator admits a cyclic vector; indeed, by the uniqueness in the direct integral decomposition, this can occur only when all the 's have dimension one. When this happens, we say that has "simple spectrum" in the sense of spectral multiplicity theory. That is, a bounded self-adjoint operator that admits a cyclic vector should be thought of as the infinite-dimensional generalization of a self-adjoint matrix with distinct eigenvalues (i.e., each eigenvalue has multiplicity one).
Although not every admits a cyclic vector, it is easy to see that we can decompose the Hilbert space as a direct sum of invariant subspaces on which has a cyclic vector. This observation is the key to the proofs of the multiplication-operator and direct-integral forms of the spectral theorem.
Functional calculus
One important application of the spectral theorem (in whatever form) is the idea of defining a functional calculus. That is, given a function defined on the spectrum of , we wish to define an operator . If is simply a positive power, , then is just the -th power of , . The interesting cases are where is a nonpolynomial function such as a square root or an exponential. Either of the versions of the spectral theorem provides such a functional calculus.[9] In the direct-integral version, for example, acts as the "multiplication by " operator in the direct integral:
That is to say, each space in the direct integral is a (generalized) eigenspace for with eigenvalue .
Unbounded self-adjoint operators
Many important linear operators which occur in analysis, such as differential operators, are unbounded. There is also a spectral theorem for self-adjoint operators that applies in these cases. To give an example, every constant-coefficient differential operator is unitarily equivalent to a multiplication operator. Indeed, the unitary operator that implements this equivalence is the Fourier transform; the multiplication operator is a type of Fourier multiplier.
In general, spectral theorem for self-adjoint operators may take several equivalent forms.[10] Notably, all of the formulations given in the previous section for bounded self-adjoint operators—the projection-valued measure version, the multiplication-operator version, and the direct-integral version—continue to hold for unbounded self-adjoint operators, with small technical modifications to deal with domain issues. Specifically, the only reason the multiplication operator on is bounded, is due to the choice of domain . The same operator on, e.g., would be unbounded.
The notion of "generalized eigenvectors" naturally extends to unbounded self-adjoint operators, as they are characterized as non-normalizable eigenvectors. Contrary to the case of almost eigenvectors, however, the eigenvalues can be real or complex and, even if they are real, do not necessarily belong to the spectrum. Though, for self-adjoint operators there always exist a real subset of "generalized eigenvalues" such that the corresponding set of eigenvectors is complete.[11]
See also
Hahn-Hellinger theorem – Linear operator equal to its own adjointPages displaying short descriptions of redirect targets
Kepala Sekretaris Kepresidenan Republik KoreaLambang Korea SelatanPetahanaIm Jong-seoksejak 10 Mei 2017Pejabat perdanaLee Ki-poongDibentuk15 April 1948 Kepala Sekretaris KepresidenanHangul대통령비서실장 Hanja大統領秘書室長 Alih AksaraDaetongnyeongbiseosiljang Templat:Politik di Korea Selatan Kepala Sekretaris Kepresidenan (Hangul: 대통령비서실장; Hanja: 大統領秘書室長) adalah karyawan tertinggi yang ada di Rumah Biru dan menjabat sebagai kep…
Untuk permainan video yang rilis pada tahun 2007, lihat Call of Duty 4: Modern Warfare. Call of Duty: Modern Warfare BerdasarkanCall of Duty 4: Modern Warfare PublikasiOctober 25, 2019GenreFirst-person shooterLatar tempatCall of Duty universe (en) Bahasa Daftar Inggris 60 Karakteristik teknisPlatformPlayStation 4, Windows dan Xbox One UkuranPlayStation 4: 60.65 GB MesinIW 8.0[1]ModePermainan video pemain tunggal dan permainan video multipemain FormatCakram Blu-ray, distribusi digital dan…
Mentha arvensis Klasifikasi ilmiah Kerajaan: Plantae Divisi: Magnoliophyta Kelas: Magnoliopsida Ordo: Lamiales Famili: Lamiaceae Genus: Mentha Spesies: M. arvensis Nama binomial Mentha arvensisL. Bijanggut biasa atau poko-poko[1] (Mentha arvensis) adalah spesies Mentha asli dari daerah Eropa dan Asia barat dan sebelah timur Himalaya dan Siberia timur).[2][3][4] Ini adalah terna tahunan yang tingginya 10–60 cm. Daunnya berpasangan, sederhana, panjangnya…
Wakil Bupati PasangkayuPetahanaHerny Agussejak 26 Februari 2021Masa jabatan5 tahunDibentuk2005Pejabat pertamaAgus Ambo DjiwaSitus webpasangkayukab.go.id Berikut ini adalah daftar Wakil Bupati Pasangkayu dari masa ke masa. No. Potret Wakil Bupati Mulai menjabat Akhir menjabat Partai Bupati Periode Ref. 1 Agus Ambo Djiwa 2005 2010 PDI-P Abdullah Rasyid 1 2 Muhammad Saal 5 Oktober 2010 5 Oktober 2015 Hanura Agus Ambo Djiwa 2 Jabatan kosong 5 Oktober 2015 18 November 2015 M. Natsir(Pelaksana Ha…
House of WaxPoster Film Asli House of WaxSutradaraAndré De TothProduserBryan FoyDitulis olehCharles S. Belden (pemain)Crane Wilbur (penulis skenario)PemeranVincent PriceFrank LovejoyPhyllis KirkCarolyn JonesCharles BronsonPenata musikDavid ButtolphSinematograferBert GlennonJ. Peverell MarleyLathrop B. WorthPenyuntingRudi FehrDistributorWarner Bros.Tanggal rilis25 April 1953Durasi88 menit.BahasaInggrisAnggaran$658,000 (perkiraan)IMDbInformasi di IMDbAMGProfil All Movie Guide House of Wax a…
Wolfgang Ketterle Lahir21 Oktober 1957 (umur 66)Heidelberg, Jerman BaratTempat tinggalJermanAmerika SerikatKebangsaanJermanAlmamaterHeidelberg Lembaga Max Planck untuk Optika Kuantum di Garching Universitas Teknik MünchenSuami/istriGabriele SauerAnakJonas, Johanna, HolgerPenghargaan Penghargaan Nobel Fisika (2001)Karier ilmiahBidangFisika Bahan yang DipadatkanInstitusiHeidelberg MITPembimbing doktoralHerbert Walther dan Hartmut Figger Situs webhttp://web.mit.edu/physics/facultyandstaff/fac…
Theory named after the Aztec goddess of the moon The Coyolxāuhqui stone which lied at the base of Huēyi Teōcalli (Temple Mayor) in Tenochtitlan, which is a replica of the original mountain of Coatepec. The stone depicts her dismembered and fragmented body.[1]Part of a series onChicanos and Mexican Americans Terms Identity Chola/o La Raza Pachuca Pachuco Pinta/o Xicanx Concepts Anti-Mexican sentiment History Early-American Period Josefa Segovia Las Gorras Blancas Mexican–American War…
CipongkorKecamatanNegara IndonesiaProvinsiJawa BaratKabupatenBandung BaratPemerintahan • CamatDedi Rohendi, SPPopulasi • Total101,744 jiwa (BPS 2.022) jiwaKode Kemendagri32.17.12 Kode BPS3217060 Desa/kelurahan14 Pemandangan di desa Mekarsari di Cipongkor Cipongkor adalah sebuah kecamatan di Kabupaten Bandung Barat, Provinsi Jawa Barat, Indonesia. Kecamatan ini berjarak sekitar 40,1 Kilometer dari ibu kota kabupaten Bandung Barat ke arah barat daya melalui Cihampelas.…
45°27′22″N 9°11′42″E / 45.45611°N 9.19500°E / 45.45611; 9.19500 Entrance to the Teatro Carcano, 2014 The Teatro Carcano is a theatre in Milan, Italy, located at 63 Corso di Porta Romana. Although now exclusively devoted to plays and dance, it served as an opera house for much of the 19th century and saw the premieres of several important operas. Completed in 1803, the theatre was commissioned by the Milanese aristocrat and theatre-lover Giuseppe Carcano and or…
Artikel ini bukan mengenai Dekan, Dekanat, Dekena, atau Dekuna. Dekana Nama Nama IUPAC (preferensi) Dekana[1] Nama lain Desil hidrida Penanda Nomor CAS 124-18-5 Y Model 3D (JSmol) Gambar interaktif 3DMet {{{3DMet}}} Referensi Beilstein 1696981 ChEBI CHEBI:41808 Y ChEMBL ChEMBL134537 Y ChemSpider 14840 Y DrugBank DB02826 Y Nomor EC MeSH decane PubChem CID 15600 Nomor RTECS {{{value}}} UNII NK85062OIY Y Nomor UN 2247 CompTox Dashboard (EPA) DTXSID6024913 InChI…
Lovey DoveySampul digitalSingel promosi oleh Hori7onDirilis31 Mei 2023 (2023-05-31)StudioMLD StudioGenrePopDurasi3:09LabelMLDPenciptaBull$eyeHowYukaMeang CoKronologi singel Hori7on Salamat (2023) Lovey Dovey (2023) Video musikLovey Dovey di YouTube Lovey Dovey adalah lagu dari grup vokal pria Filipina Hori7on. Lagu ini dirilis pada tanggal 31 Mei 2023, oleh MLD Entertainment dan didistribusikan oleh YG Plus, sebagai salah satu singel digital pra-debut dari grup ini.[1] Referensi ^ L…
Radio station in Atlanta This article is about WAFS AM 1190. For use of the WAFS call sign on 920 AM from 1989-2004, see WGKA § WAFS. WAFSAtlanta, GeorgiaBroadcast areaAtlanta metropolitan areaFrequency1190 kHzBrandingRelevant RadioProgrammingFormatCatholic talkAffiliationsRelevant RadioOwnershipOwnerRelevant Radio, Inc.HistoryFirst air date1956Former call signsWGKA (1956–2004)Former frequencies1600 kHz (1956–67)Technical informationFacility ID72111ClassDPower25,000 watts day 3…
1811 battle in the Peninsular War Battle of AlbueraPart of the Peninsular WarMarshal Beresford disarming a Polish lancer at the Battle of Albuera, by Thomas SutherlandDate16 May 1811LocationAlbuera, Spain38°43′N 6°49′W / 38.717°N 6.817°W / 38.717; -6.817Result Indecisive[1][2][3][4]Belligerents French Empire Duchy of Warsaw United Kingdom Portugal Spain Commanders and leaders Jean-de-Dieu Soult Jean-Baptiste Girard William Beresford…
Kypello Kyprou 1987-1988 Competizione Coppa di Cipro Sport Calcio Edizione 46ª Organizzatore CFA Date dal 7 novembre 1987al 26 giugno 1988 Luogo Cipro Partecipanti 65 Risultati Vincitore Omonia(8º titolo) Secondo AEL Limassol Statistiche Incontri disputati 94 Gol segnati 335 (3,56 per incontro) Cronologia della competizione 1986-1987 1988-1989 Manuale La Kypello Kyprou 1987-1988 fu la 46ª edizione della coppa nazionale cipriota. Vide la vittoria finale dell'Omonia, che vins…
GéodésieExemple de « point géodésique » de référence marqué par un pilier et daté de 1855, à Ostende sur le littoral de Belgique.Partie de Sciences de la TerrePratiqué par Géodésiste (en)modifier - modifier le code - modifier Wikidata La géodésie (du grec ancien : γεωδαισία / geôdaisía, de γῆ / gễ, « Terre », et δαίω / daíô, « diviser ») est la science, destinée à l'origine au tracé des cartes, qui s'e…
Challenge Cup 2022-2023 Competizione Challenge Cup Sport Pallavolo Edizione 44ª Organizzatore CEV Date dal 22 novembre 2022al 22 marzo 2023 Partecipanti 49 Risultati Vincitore Chieri '76(1º titolo) Secondo Lugoj Statistiche Miglior marcatore Kyra Holt (189) Cronologia della competizione 2021-2022 2023-2024 Manuale La Challenge Cup 2022-2023, 44ª edizione della Challenge Cup di pallavolo femminile, si è svolta dal 22 novembre 2022 al 22 marzo 2023: al torneo hanno par…
Cet article est une ébauche concernant le Luxembourg et le Concours Eurovision de la chanson. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Luxembourgau Concours Eurovision 1984 Données clés Pays Luxembourg Chanson 100 % d'amour Interprète Sophie Carle Compositeur Jean-Michel Bériat Parolier Jean-Pierre Goussaud, Patrick Jaymes Langue Français Sélection nationale Radiodiffuseur RTL Type de sélec…
Japanese Buddhist monk This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2023) (Learn how and when to remove this message) Kūkai空海Painting of Kūkai from the Shingon Hassozō, a set of scrolls depicting the first eight patriarchs of the Shingon school. Japan, Kamakura period (13th-14th centuries).TitleFounder of Shingon BuddhismPersonalBorn27 July 774(15…
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Grafico della funzione y=cot(x) La cotangente di un angolo acuto corrisponde al rapporto fra il cateto ad esso adiacente e quello opposto In matematica, in particolare in trigonometria, la cotangente di un angolo …