Unitaire en Hermitese transformaties

Vergelijkbare documenten
Geadjungeerde en normaliteit

Jordan normaalvorm. Hoofdstuk 7

Lineaire Algebra voor W 2Y650

Tentamen Lineaire Algebra B

Aanvullingen bij Hoofdstuk 8

Uitwerkingen tentamen Lineaire Algebra 2 16 januari, en B =

Kies voor i een willekeurige index tussen 1 en r. Neem het inproduct van v i met de relatie. We krijgen

Lineaire Algebra voor ST

Lineaire Algebra voor W 2Y650

Eigenwaarden en Diagonaliseerbaarheid

Uitwerkingen tentamen Lineaire Algebra 2 16 januari, en B =

Lineaire Algebra voor ST

Geef niet alleen antwoorden, maar bewijs al je beweringen.

Vectorruimten met inproduct

Tentamen lineaire algebra 2 18 januari 2019, 10:00 13:00 Uitwerkingen (schets)

Bilineaire Vormen. Hoofdstuk 9

Symmetrische matrices

UITWERKINGEN 1 2 C : 2 =

Samenvatting Lineaire Algebra, periode 4

Matrices en Stelsel Lineaire Vergelijkingen

Uitwerkingen tentamen lineaire algebra 2 13 januari 2017, 10:00 13:00

EXAMEN LINEAIRE ALGEBRA EN ANALYTISCHE MEETKUNDE I. 1. Theorie

Eindtermen Lineaire Algebra voor E vor VKO (2DE01)

Lineaire afbeeldingen

Lineaire Algebra Een Samenvatting

Lineaire Algebra voor ST

1.1 Oefen opgaven. Opgave Van de lineaire afbeelding A : R 3 R 3 is gegeven dat 6 2, 5 4, A 1 1 = A = Bepaal de matrix van A.

Oefensommen tentamen Lineaire algebra 2 - december A =

Antwoorden op de theoretische vragen in de examen voorbereiding

Stelsels Vergelijkingen

Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft:

Tentamen lineaire algebra 2 17 januari 2014, 10:00 13:00 zalen 174, 312, 412, 401, 402

Lineaire Algebra voor ST

Tentamen Lineaire Algebra UITWERKINGEN

Tentamen Lineaire Algebra

Examen Lineaire Algebra en Meetkunde Tweede zit (13:30-17:30)

Lineaire Algebra voor W 2Y650

Tentamen Lineaire Algebra 1 (Wiskundigen)

Tentamen lineaire algebra voor BWI maandag 15 december 2008, uur.

Lineaire Algebra. Bovendriehoeks- en onderdriehoeks vorm: onder (boven) elke leidende term staan enkel nullen

Definities, stellingen en methoden uit David Poole s Linear Algebra A Modern Introduction - Second Edtion benodigd voor het tentamen Matrix Algebra 2

Examenvragen Meetkunde en lineaire algebra Tweede examenperiode

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Tentamen Lineaire Algebra voor ST (2DS06) op , uur.

Tentamen lineaire algebra voor BWI dinsdag 17 februari 2009, uur.

1 Eigenwaarden en eigenvectoren

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.

TENTAMEN LINEAIRE ALGEBRA 2 dinsdag 3 april 2007,

Geef niet alleen antwoorden, maar bewijs al je beweringen.

Eigenwaarden en eigenvectoren in R n

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

Coördinatiseringen. Definitie 1. Stel dat B = {b 1,..., b n } een basis is van een vectorruimte V en dat v V. iedere vector v V :

wordt de stelling van Pythagoras toegepast, in dit geval twee keer: eerst in de x y-vlakte en vervolgens in de vlakte loodrecht op de vector y.

Aanvullingen bij Hoofdstuk 6

Tweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen

Complexe eigenwaarden

Lineaire Algebra voor ST

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

Lineaire Algebra C 2WF09

Lineaire Algebra en Vectorcalculus 2DN60 College 5.a Basis en dimensie

TENTAMEN LINEAIRE ALGEBRA 1 donderdag 23 december 2004,

College WisCKI. Albert Visser. 16 januari, Department of Philosophy, Faculty Humanities, Utrecht University. Loodrechte Projectie

Voorbeeld theorie examen

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Tentamen Lineaire Algebra voor ST (2DS06) op , uur.

Examenvragen Meetkunde en lineaire algebra Eerste examenperiode

Lineaire Algebra voor W 2Y650

Hints en antwoorden bij de vragen van de cursus Lineaire Algebra en Meetkunde

Vragen, samenvattingen en uitwerkingen Lineaire algebra 1 - UvA

Examenvragen eerste zittijd academiejaar Vraag 1 (op 6 punten) Gegeven:

Lineaire Algebra C 2WF09

EXAMEN LINEAIRE ALGEBRA EN MEETKUNDE I

3.2 Vectoren and matrices

1 Triangulatiestellingen voor lineaire transformaties

3 De duale vectorruimte

FLIPIT 5. (a i,j + a j,i )d i d j = d j + 0 = e d. i<j

a) Bepaal punten a l en b m zó dat de lijn door a en b parallel is met n.

Meetkunde en lineaire algebra

Het karakteristieke polynoom

x cos α y sin α . (1) x sin α + y cos α We kunnen dit iets anders opschrijven, namelijk als x x y sin α

Uitwerkingen tentamen Lineaire Algebra 2

Lineaire Algebra voor ST

FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie

Uitwerkingen Lineaire Algebra I (wiskundigen) 22 januari, 2015

Matrixoperaties. Definitie. Voorbeelden. Een matrix is een rechthoekig array van getallen, die kentallen of elementen heten.

(2) Stel een parametervoorstelling op van de doorsnijdingskromme van sfeer en cilinder in de voorkeurpositie.

Inwendig product, lengte en orthogonaliteit in R n

Lineaire afbeeldingen

Lineaire Algebra voor ST

Overzicht Fourier-theorie

PROEFEXAMEN LINEAIRE ALGEBRA donderdag 17 november 2011

b + b c + c d + d a + a

Kristallografische groepen

UITWERKINGEN d. Eliminatie van a geeft d. Eliminatie van b,

x 1 (t) = ve rt = (a + ib) e (λ+iµ)t = (a + ib) e λt (cos µt + i sin µt) x 2 (t) = ve rt = e λt (a cos µt b sin µt) ie λt (a sin µt + b cos µt).

Kwadratische vormen in karakteristiek 2 en hun toepassingen in foutverbeterende codes

extra sommen bij Numerieke lineaire algebra

PROEFEXAMEN LINEAIRE ALGEBRA dinsdag 22 november 2016

TENTAMEN LINEAIRE ALGEBRA 1A. maandag 16 december 2002, b. Bepaal een basis voor de rijruimte en voor de kolomruimte van A.

Uitwerking Proeftentamen Lineaire Algebra 1, najaar y y = 2x. P x. L(P ) y = x. 2/3 1/3 en L wordt t.o.v de standaardbasis gegeven door

Inwendig product, lengte en orthogonaliteit

Hoofdstuk 9. Vectorruimten. 9.1 Scalairen

Transcriptie:

Hoofdstuk 11 Unitaire en Hermitese transformaties We beschouwen vervolgens lineaire transformaties van reële en complexe inproductruimten die aan extra eigenschappen voldoen die betrekking hebben op het verband tussen transformatie en inproduct. Het zal blijken dat we daarmee ook eigenschappen kunnen afleiden voor zulke transformaties die met diagonaliseerbaarheid samenhangen. Steeds zullen we een begrip voor reële inproductruimten en een corresponderend begrip voor complexe inproductruimten invoeren, en bovendien begrippen die op de bijbehorende matrices slaan. We moeten ook sterker dan voorheen onderscheid maken tussen eindig- en oneindig-dimensionale vectorruimten. Orthogonale Transformaties Het eerste paar begrippen zal blijken die transformaties te karakteriseren die zowel lengten als hoeken behouden. Definitie 11.1 Een lineaire afbeelding T : V W tussen reële inproductruimten heet een isometrie als geldt dat < Tv 1,Tv 2 >=< v 1,v 2 > voor alle v 1,v 2 V. Als T bovendien inverteerbaar is, dan heet T orthogonaal. Stelling 11.2 Zij T : V W een lineaire afbeelding tussen reële inproductruimten met dim V = dim W eindig; dan geldt: T is een isometrie T is orthogonaal. Bewijs. De ene implicatie ( ) is duidelijk; voor de andere moeten we bewijzen dat een isometrie T tussen eindig-dimensionale vectorruimten inverteerbaar is. Omdat dim V = dim W = n < volstaat het injectiviteit van T te bewijzen, dat wil zeggen, te laten zien dat Ker T = {0}. Veronderstel maar dat Tv = 0; omdat < v,v >=< Tv,Tv >= 0 moet v = 0. Definities 11.3 We zeggen dat een lineaire afbeelding T : V W tussen reële inproductruimten lengten behoudt als geldt Tv = v voor alle v V ; we zeggen dat T hoeken behoudt als voor elk tweetal v 1,v 2 geldt dat de hoek tussen Tv 1 en Tv 2 gelijk is aan de hoek tussen v 1 en v 2. 73

74 HOOFDSTUK 11. UNITAIRE EN HERMITESE TRANSFORMATIES Stelling 11.4 Een lineaire afbeelding T : V W tussen reële inproductruimten behoudt lengten en hoeken dan en slechts dan als T een isometrie is. Bewijs. Dit volgt direkt uit de definities van lengte, hoek, en isometrie. Definitie 11.5 Een matrix M M n n (R) heet orthogonaal wanneer M T M = I n. Omdat op positie i,j van M T M precies < v j,v i > staat, waar v i de i-de kolom van M is, zegt deze definitie dus dat van een orthogonale M de kolommen een orthonormaal stelsel vormen. De volgende stelling laat zien dat het dubbele gebruik van de term orthogonaal geen misverstand is. Stelling 11.6 Zij T een lineaire transformatie van de n-dimensionale reële inproductruimte V. Dan zijn equivalent: (i) voor alle v 1,v 2 V geldt: < Tv 1,Tv 2 >=< v 1,v 2 >; (ii) de transformatie T is orthogonaal; (iii) er is een orthonormale basis E voor V zodat MT E een orthogonale matrix is; (iv) de matrix M = MT B is orthogonaal, dus (M T B)T MT B = I n, voor elke orthonormale basis B van V; (v) T voert orthonormale bases voor V over in orthonormale bases. Bewijs. De equivalentie van (i) en (ii) in het eindig-dimensionale geval zagen we al in Stelling 11.2. Voor een basis B = (b 1,...,b n ) van V is < Tb i,tb j > het inproduct van twee kolommen van MT B. Als T orthogonaal is en B is orthonormaal, dan is het stelsel (Tb 1,...,Tb n ) ook weer orthonormaal, dat wil zeggen, MT B is een orthogonale matrix. Dus (ii) impliceert (iv). De kolommen van MT B vormen de beelden van b 1,...,b n onder T; als deze kolommen een orthonormaal stelsel vormen wanneer dat voor B geldt, voert T kennelijk elke orthonormale basis B over in een orthonormale basis T B. Dus uit (iv) volgt (v). Als B een orthonormale basis voor V is, dan is < v,w >=< v i b i, w j b j >= v i w j < b i,b j >= v i w i. i, Als (v) geldt, dan is ook T B = {Tb 1,...,Tb n } een orthonormaal stelsel, en < Tv,Tw >=< v i Tb i, w j Tb j >= v i w j < Tb i,tb j >= v i w i, i, dat wil zeggen: (i) geldt. Omdat het duidelijk is dat (iv) ook (iii) impliceert, hoeven we tenslotte nog slechts te laten zien dat uit (iii) ook weer (ii) volgt. Zij E daartoe een orthonormale basis waarvoor MT E orthogonaal is; dan is T E dus een orthonormaal stelsel, en volgt voor elk tweetal v,w V door ze op basis E te schrijven dat: < Tv,Tw >=< T v i e i,t w j e j >= v i w j < Te i,te j >= v i w i, net als < v,w >=< v i e i, i, w j e j >= v i w i.

75 Unitaire Transformaties Het complexe analogon van de orthogonale afbeelding is de unitaire afbeelding; de naam wordt duidelijk uit de eerstvolgende stelling. Definitie 11.7 Een lineaire afbeelding T : V W tussen complexe inproductruimten heet een unitaire afbeelding als T inverteerbaar is en < Tv 1,Tv 2 >=< v 1,v 2 > voor alle v 1,v 2 V. Stelling 11.8 Als λ eigenwaarde van een unitaire transformatie is, geldt: λ = 1. Bewijs. Laat λ eigenwaarde zijn van de unitaire T, bij eigenvector v. Dan is < v,v >=< Tv,Tv >=< λv,λv >= λλ < v,v >, dus (1 λλ) < v,v >= 0. Omdat v 0 is < v,v > 0 en dus λ = 1. Definitie 11.9 Een matrix M M n n (C) heet unitair wanneer M T M = I n ; met de notatie uit het vorige hoofdstuk: M M = I n. Stelling 11.10 Zij T een lineaire transformatie van de n-dimensionale complexe inproductruimte V. Dan zijn equivalent: (i) voor alle v 1,v 2 V geldt: < Tv 1,Tv 2 >=< v 1,v 2 >; (ii) de transformatie T is unitair; (iii) er is een orthonormale basis E voor V zodat MT E een unitaire matrix is; (iv) de matrix MT B is unitair, dus (M T B) MT B = I n, voor elke orthonormale basis B van V; (v) T voert orthonormale bases voor V over in orthonormale bases. Bewijs. Geheel analoog aan 11.6. De volgende stelling laat zien dat unitaire afbeeldingen altijd diagonaliseerbaar zijn. Stelling 11.11 Zij T een unitaire lineaire transformatie van een eindig-dimensionale complexe inproductruimte V. Dan heeft V een orthonormale basis bestaande Bewijs. Met inductie naar de dimensie n van V. Als n = 1 is er niets te bewijzen. Veronderstel dat n 2; kies een eigenvector w voor T (dat kan altijd omdat we over de complexe getallen werken!). Die kunnen we normaliseren (tot lengte 1) door eventueel door de lengte te delen. Laat W nu de 1-dimensionale deelruimte van V opgespannen door w zijn. Omdat w eigenvector is en T inverteerbaar, is T[W] = W. Beschouw ook W ; dan is T[W ] T[W], want als u W dan < Tu,Tw >=< u,w >= 0, en dus Tu T[W]. Maar V = W W (dit volgt bijvoorbeeld uit Gram-Schmidt orthogonalisatie), zodat V = T[V ] = T[W] T[W] = W T[W] zodat T beperkt tot W een transformatie van een n 1-dimensionale deelruimte is, waarvoor de unitaire eigenschap natuurlijk nog steeds geldt. De orthonormale basis van W bestaande uit eigenvectoren voor (de beperking van) T, die op grond van de inductiehypothese dan bestaat, kan met de genormaliseerde van w aangevuld worden tot zo n basis voor heel V.

76 HOOFDSTUK 11. UNITAIRE EN HERMITESE TRANSFORMATIES Symmetrische Transformaties De volgende begrippen hebben bepaalde symmetrie-eigenschappen ten aanzien van beide argumenten in een inproduct. Definitie 11.12 Een lineaire transformatie T : V V van een reële inproductruimte heet een symmetrische transformatie als geldt dat < Tv 1,v 2 >=< v 1,Tv 2 > voor alle v 1,v 2 V. Stelling 11.13 Zij T een lineaire transformatie van de n-dimensionale reële inproductruimte V. Dan zijn equivalent: (i) de afbeelding T is symmetrisch; (ii) er is een orthonormale basis E voor V zodat MT E symmetrisch is; (iii) de matrix MT B is symmetrisch, dus (M T B)T = MT B, voor elke orthonormale basis B van V. Bewijs. Laat B = (b 1,...,b n ) een orthonormale basis van V zijn, en laat M de matrix van de transformatie T zijn ten opzichte van B. Dan is de i-de kolom van M gelijk aan Tb i, en (zie 10.15) de j-de coëfficiënt van die vector is < Tb i,b j >, dus M ji =< Tb i,b j >. Net zo is M ij =< Tb j,b i >. Als T symmetrisch is, dan is M ij =< Tb j,b i >=< b j,tb i >=< Tb i,b j >= M ji, voor elke i,j. Dus de matrix M is symmetrisch. Daarom volgt (iii) uit (i). Het is duidelijk dat (ii) uit (iii) volgt. Als (ii) geldt voor de orthonormale basis E = {e 1,...,e n } van V, dan is < Tv,w >=< v i Te i, w j e j >= v i w j < Te i,e j >= v i w j M ji, voor elke v,w, als M de matrix M E T is; en net zo < v,tw >=< v i e i, w j Te j >= v i w j < e i,te j >= v i w j M ij. Beide inproducten zijn dus gelijk als M = MT E een symmetrische matrix is, en dan is T een symmetrische transformatie. Dus (i) volgt uit (ii). Hermitese Transformaties Het complexe analogon van de symmetrische afbeelding is de Hermitese afbeelding. Definitie 11.14 Een lineaire transformatie T : V V van een complexe inproductruimte heet een Hermitese transformatie als geldt dat < Tv 1,v 2 >=< v 1,Tv 2 > voor alle v 1,v 2 V. Stelling 11.15 Voor elke eigenwaarde λ van een Hermitese afbeelding op een complexe vectorruimte geldt: λ R.

77 Bewijs. Laat λ eigenwaarde zijn van de Hermitese T, bij eigenvector v. Dan is λ < v,v >=< λv,v >=< Tv,v >=< v,tv >=< v,λv >= λ < v,v >, dus (λ λ) < v,v >= 0. Omdat v 0 is is λ = λ. In het vorige hoofdstuk noemden we een matrix M M n n (C) al Hermites wanneer M = M T = M. Dat was geen toeval. Stelling 11.16 Zij T een lineaire transformatie van de n-dimensionale complexe inproductruimte V. Dan zijn equivalent: (i) de afbeelding T is Hermites; (ii) er is een orthonormale basis E zodat MT E Hermites is; (iii) de matrix MT B is Hermites, dus (M T B) = MT B, voor elke orthonormale basis B van V; Bewijs. Geheel analoog aan 11.13. Ook Hermitese afbeeldingen blijken weer diagonaliseerbaar te zijn. Stelling 11.17 Zij T een Hermitese lineaire transformatie van een eindig-dimensionale complexe inproductruimte V. Dan heeft V een orthonormale basis bestaande Bewijs. Het bewijs is vrijwel gelijk aan dat van 11.11, en gaat met inductie naar n = dimv. Als n = 1 is er niets te bewijzen. Voor n 2 kiest men weer een eigenvector w voor T, en laat W de 1- dimensionale deelruimte van V opgespannen door w zijn. Wederom is T[W] W en T[W ] W ; dat laatste omdat voor u W en voor alle y W nu geldt dat 0 =< u,ty >=< Tu,y >, dus Tu W. Vanwege V = W W en de inductiehypothese volgt de bewering. In dit geval geldt een zelfde conclusie voor het reële geval. Gevolg 11.18 Zij T een symmetrische lineaire transformatie van een eindigdimensionale reële inproductruimte V. Dan heeft V een orthonormale basis bestaande Bewijs. Kies een orthonormale basis B voor V, dan is MT B een reëel symmetrische matrix, die ook een transformatie ˆT op C n (met n = dimv ) definieert. Bovendien is ˆT Hermites, zodat ˆT een eigenvector w heeft met eigenwaarde λ R volgens 11.15. Het reële (of het imaginaire) deel van w is dan een reële eigenvector van ˆT, en dus van T. Maar dat betekent dat bij elke symmetrische T een reële eigenvector gevonden kan worden, en dus kan het bewijs met inductie net zo uitgevoerd worden als van stelling 11.17.