23.05.2014 Views

grondslagen van de quantummechanica - Universiteit Utrecht

grondslagen van de quantummechanica - Universiteit Utrecht

grondslagen van de quantummechanica - Universiteit Utrecht

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

20 HOOFDSTUK II. HET FORMALISME<br />

Immers, voor alle |ψ〉 ∈ H geldt :<br />

A|ψ〉 = A11|ψ〉 = A<br />

N∑<br />

|a i 〉〈a i | ψ〉 =<br />

i=1<br />

N∑<br />

a i |a i 〉〈a i | ψ〉<br />

i=1<br />

(II.47)<br />

zodat <strong>de</strong> operatoren in het linker- en rechterlid gelijk moeten zijn.<br />

(ii) Als <strong>de</strong> operator ontaard is, dan zijn er slechts m < N verschillen<strong>de</strong> eigenwaar<strong>de</strong>n a 1 , . . . , a m .<br />

Voor ie<strong>de</strong>re eigenwaar<strong>de</strong> a i , bestaat er dan een aantal, zeg n i , on<strong>de</strong>rling orthonomale eigenvectoren,<br />

met ∑ m<br />

i=1 n i = N. Deze eigenwaar<strong>de</strong> heet dan n i -voudig ontaard. De bijbehoren<strong>de</strong> eigenvectoren<br />

spannen dan een n i -dimensionale <strong>de</strong>elruimte op <strong>van</strong> eigenvectoren bij <strong>de</strong> waar<strong>de</strong> a i . Kies hierin een<br />

orthonormale basis |α i , j〉, j = 1, . . . , n i . Dan wordt <strong>de</strong> eigenwaar<strong>de</strong>vergelijking (II.45):<br />

A|a i , j〉 = a i |a i , j〉 j = 1, . . . , n i . (II.48)<br />

We vin<strong>de</strong>n dan analoog aan (II.46):<br />

m∑ ∑n i<br />

A = |a i , j〉〈a i , j| , (II.49)<br />

a i<br />

i=1 j=1<br />

wat ook geschreven kan wor<strong>de</strong>n als<br />

m∑<br />

A = a i P ai<br />

i=1<br />

(II.50)<br />

in termen <strong>van</strong> <strong>de</strong> n i -dimensionale eigenprojectoren:<br />

∑n i<br />

P ai = |a i , j〉〈a i , j|) (II.51)<br />

j=1<br />

OPGAVE 9. Laat zien dat P ai in (II.51) onafhankelijk is <strong>van</strong> <strong>de</strong> keus <strong>van</strong> <strong>de</strong> orthonormale basis<br />

|a i , 1〉, . . . , |a i , n i 〉.<br />

We vatten <strong>de</strong> bovenstaan<strong>de</strong> twee gevallen samen in <strong>de</strong> volgen<strong>de</strong> (equivalente) formulering <strong>van</strong> <strong>de</strong><br />

spectraalstelling:<br />

SPECTRAALSTELLING (PROJECTOR-FORMULERING): Voor ie<strong>de</strong>re normale operator<br />

bestaat er een uniek stelsel <strong>van</strong> on<strong>de</strong>rling verschillen<strong>de</strong> eigenwaar<strong>de</strong>n a 1 , . . . a m , (m ≤<br />

N), en een bijbehorend uniek volledig stelsel <strong>van</strong> on<strong>de</strong>rling orthogonale projectoren<br />

P a1 , . . . , P am , zodanig dat<br />

A =<br />

11 =<br />

m∑<br />

a i P ai ,<br />

i=1<br />

m∑<br />

i=1<br />

P i<br />

(II.52)<br />

(II.53)<br />

Als <strong>de</strong> operator niet-ontaard is, zijn al <strong>de</strong>ze projectoren eendimensionaal; als hij wel<br />

ontaard is, geeft dim P i <strong>de</strong> ontaardingsgraad <strong>van</strong> eigenwaar<strong>de</strong> a i .<br />

We noemen (II.52) <strong>de</strong> spectrale ontbinding <strong>van</strong> A, en (II.53) een ontbinding <strong>van</strong> <strong>de</strong> eenheid.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!