MATEMATIIKAN JA TILASTOTIETEEN LAITOS JYVÄSKYLÄN YLIOPISTO

Samankaltaiset tiedostot
Lineaariset Lien ryhmät / Ratkaisu 1 D 355 klo ja D 381 klo b 0 1

jonka laskutoimitus on matriisien kertolasku. Vastaavasti saadaan K-kertoiminen erityinen lineaarinen ryhmä

Esko Turunen Luku 3. Ryhmät

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja

Lineaariset Lien ryhmät / Ratkaisut 6 D 381 klo

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

802320A LINEAARIALGEBRA OSA III

1 Kompleksiluvut 1. y z = (x, y) Kuva 1: Euklidinen taso R 2

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n

(1.1) Ae j = a k,j e k.

Insinöörimatematiikka D

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

6 MATRIISIN DIAGONALISOINTI

HN = {hn h H, n N} on G:n aliryhmä.

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja

Kantavektorien kuvavektorit määräävät lineaarikuvauksen

Lineaarikuvauksen R n R m matriisi

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 4 / vko 47

8. Avoimen kuvauksen lause

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

1 Lineaariavaruus eli Vektoriavaruus

Esko Turunen MAT Algebra1(s)

1. Normi ja sisätulo

5 Ominaisarvot ja ominaisvektorit

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

Matriisit ja vektorit Matriisin käsite Matriisialgebra. Olkoon A = , B = Laske A + B, , 1 3 3

a) z 1 + z 2, b) z 1 z 2, c) z 1 z 2, d) z 1 z 2 = 4+10i 4 = 10i 5 = 2i. 4 ( 1)

1 Sisätulo- ja normiavaruudet

Oletetaan ensin, että tangenttitaso on olemassa. Nyt pinnalla S on koordinaattiesitys ψ, jolle pätee että kaikilla x V U

y z = (x, y) Kuva 1: Euklidinen taso R 2

6. OMINAISARVOT JA DIAGONALISOINTI

1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää

802320A LINEAARIALGEBRA OSA II

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d.

MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Algebra I, Harjoitus 6, , Ratkaisut

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Osoita, että kaikki paraabelit ovat yhdenmuotoisia etsimällä skaalauskuvaus, joka vie paraabelin y = ax 2 paraabelille y = bx 2. VASTAUS: , b = 2 2

Ominaisarvoon 4 liittyvät ominaisvektorit ovat yhtälön Ax = 4x eli yhtälöryhmän x 1 + 2x 2 + x 3 = 4x 1 3x 2 + x 3 = 4x 2 5x 2 x 3 = 4x 3.

Ville Turunen: Mat Matematiikan peruskurssi P1 1. välikokeen alueen teoriatiivistelmä 2007

a b 1 c b n c n

Liittomatriisi. Liittomatriisi. Määritelmä 16 Olkoon A 2 M(n, n). Matriisin A liittomatriisi on cof A 2 M(n, n), missä. 1) i+j det A ij.

802320A LINEAARIALGEBRA OSA I

1 Ominaisarvot ja ominaisvektorit

VII. KOMPLEKSILUVUT. VII.1. Laskutoimitukset

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Kuvaus. Määritelmä. LM2, Kesä /160

Matriisialgebra harjoitukset, syksy 2016

1.1 Vektorit. MS-A0004/A0006 Matriisilaskenta. 1.1 Vektorit. 1.1 Vektorit. Reaalinen n-ulotteinen avaruus on joukko. x 1. R n.

Avaruuden R n aliavaruus

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

MS-A0004/A0006 Matriisilaskenta

Johdatus matemaattiseen päättelyyn

Insinöörimatematiikka D

Alkeismuunnokset matriisille, sivu 57

i=1 Näistä on helppo näyttää ominaisuudet (1)-(4). Ellei toisin mainita, käytetään R n :ssä

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 3 /

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat:

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Derivaatta: funktion approksimaatio lineaarikuvauksella.

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

Kompleksiluvut., 15. kesäkuuta /57

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio

Lineaarialgebra II P

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45

Täydellisyysaksiooman kertaus

Lisää ryhmästä A 5 1 / 28. Lisää ryhmästä

Matriisien tulo. Matriisit ja lineaarinen yhtälöryhmä

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /310

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia

r > y x z x = z y + y x z y + y x = r y x + y x = r

Lineaariset yhtälöryhmät ja matriisit

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

renkaissa. 0 R x + x =(0 R +1 R )x =1 R x = x

ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

4. LINEAARIKUVAUKSET

Ratkaisut vuosien tehtäviin

C = {(x,y) x,y R} joiden joukossa on määritelty yhteen- ja kertolasku seuraavasti

Insinöörimatematiikka D

3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. Olkoot A 2 := AA =

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

Lien ryhmät D 380 klo Ratkaisut 6+6=12

Insinöörimatematiikka D

Transkriptio:

JYVÄSKYLÄN YLIOPISTO Lineaariset Lien ryhmät MATEMATIIKAN JA TILASTOTIETEEN LAITOS 30.1.2012 / Harjoitus 2 Ratkaisut 1. Affiinit kuvaukset lineaarikuvauksina Kuvaus f A,b : R n R n : x Ax + b (Tässä A GL(n, R) ja b R n.) on n-ulotteinen affiini kuvaus, siis yhdistelmä kääntyvästä lineaarikuvauksesta (alla) ja siirrosta (päällä). Jos seuraavat laskut tuntuvat raskailta, voit olettaa, että n = 1, jolloin A ja b ovat lukuja. 1. Totea suoraan, että n-ulotteiset affiinit kuvaukset muodostavat (myös tapauksessa n = 1 epäkommutatiivisen ryhmän Aff(n, R), laskutoimituksena kuvausten yhdistäminen. Jos haluat vielä/jo vähän miettiä, niin huomaa, että ryhmällä Aff(n, R) on aliryhmä Isomet(n, R) = {f A,b A O(n, R)}, joka muodostuu isometrisista eli etäisyyden säilyttävistä kuvauksista R n R n itse asiassa jopa kaikista, minkä huomaaminen vaatinee hetken harkintaa. Ratkaisu Kaikki bijektiot R n R n muodostavat ryhmän. Osoitetaan, että affiinit kuvaukset muodostavat sen aliryhmän. identtinen kuvaus on affiini affiinin kuvauksen x Ax + b käänteinen on y A 1 (y b) = A 1 (y) A 1 (b), joka on affiini.(erityisesti jokainen affiini kuvaus on bijektio) affiinien kuvausten x Ax + b ja x Bx + c yhdistetty kuvaus on x B(Ax + b) + c = BAx + Bb + c, joka on affiini. Epäkommutatiivisuuden toteamiseksi riittää havaita, että esimerkiksi f 1,e1 f 21,2e1 = f 21,3e1, mutta f 21,2e1 f 1,e1 = f 21,5e1 Hetken harkinta : Ortogonaalinen lineaarikuvaus A O(n, R) on isometrinen. (Muita isometrisia lineaarikuvauksia R n R n ei ole olemassa). Siirto R n R n on tietenkin myös isometrinen (ei lineaarinen, koska origo siirtyy.), joten tutkittavat kuvaukset ovat isometrioita. Samaan tapaan kuin yllä todetaan, että ne muodostavat Aff(n, R):n aliryhmän. Jos x f(x) on isometrinen, niin x f(x) f(0) on isometrinen ja säilyttää origon paikallaan. Jos onnistumme osoittamaan, että tällainen kuvasus on lineaarinen bijektio, niin se on ortogonaalinen ja f siis affiini isometria. Todella, jokainen origon kiinnittävä isometria R n R n on lineaarinen (ja siis ortogonaalinen), olennaisesti siksi, että isometria kuvaa suorat suoriksi ja suunnikkaat suunnikkaiksi. Lisäksi isometria on injektio ja lineaarinen injektio R n R n on bijektio. (Luennolla todistettiin samoja asioita vetoamalla siihen, että isomertriset isomorfismit ovat peilausten yhdistelmiä.)

x x 1 1 ( ) 2. (jatkoa) Kuvaus x =.. x x = on bijektio R x n 1 n R n {1}. n 1 Olkoon A GL(n, R) ja b =. R n. Osoita, että b 1 b n ( ) ( ( ) ( ) A b A b x Ax + b a) (n+1) (n+1) -matriisilla on ominaisuus =, 0 1 0 1) 1 1 joten se voidaan luonnollisella tavalla samaistaa affiiniin kuvaukseen f A,b Aff(n, R) (ja näin esim. tietokoneanimaatioissa tehdäänkin). b) Osoita, että yhdistettyä affiinia kuvausta f A,b f A,b ( ) ( ) ( ) vastaa (n + 1) (n + 1) A b A b -tulomatriisi A b, eli kuvaus f 0 1 0 1 A,b on ryhmähomomorfismi 0 1 Aff(N, R) GL(n + 1, R) eli ryhmän Aff(n, R) lineaarinen esitys. c) Osoita, että em. homomorfismi on injektio ja affiini ryhmä siis on tulkittu matriisiryhmän GL(n + 1, R):n aliryhmäksi. (Uskollinen esitys - faithful representation) Kommentti: Sivutuotteena on todettu, että yllättäen myös (R, +) on matriisiryhmä samoin jokainen (R n, +). Itse asiassa reaaliluvut voidaan em tarkasteluissa korvata kompleksiluvuilla tai kvaternioilla, joten niidenkin additiiviset ryhmät ovat matriisiryhmiä - viime demojen perusteella jopa reaalisiakin! Ratkaisu ( ( ) ( ) A b x Ax + b a) Matriisit kertomalla näkee heti, että = 0 1) 1 1 ( ) ( ) ( ) ( ) A b A b b) AA = + b 00 Ab + b 1 AA Ab 0 1 0 1 0A + 1 0 0b = + b, joka on sama + 1 1 0 1 kuin yhdistettyä affiinia kuvausta f A,b f A,b = f AA,Ab +b vastaava matriisi (Vrt. ed. tehtävä). ( ) A b c) Jos on neutraalialkio eli ykkösmatriisi, niin A = 1 ja b = 0 R 0 1 n. Tällöin vastaava affiini kuvaus f A,b on identtinen kuvaus, affiiniryhmän neutraalialkio. Ryhmähomomorfismi on siis injektio. 2. SO(2) Yksikkökompleksiluvut cos ϕ + i sin ϕ (ja kertolasku) muodostavat tason kiertojen ryhmän SO(2), joka a) voidaan samaistaa matriisiryhmään {M GL(2, R) M 1 = M T ja det M = 1} b) on kommutatiivinen c) voidaan joukkona samaistaa (tavalliseen yksiulotteiseen) ympyrään S 1. Ennenkuin jatkat lukemista, koeta arvata mitä ovat sen aliryhmät. Vihje: On äärellisiä ja äärettömiä. 3. Tietenkin aliryhmiä ovat itse SO(2) ja triviaali aliryhmä {1}. a) Mikä on pienin SO(2):n epätriviaali aliryhmä? Ratkaisu: Eiköhän liene {1, 1} 2

b) Osoita, että jokainen äärellinen syklinen ryhmä Z n on (isomorfiaa vaille) SO(2):n aliryhmä. Ratkaisu: Olkoon n N. Määritellään, että f n on kierto kulman 2π verran. Tällöin n fn m on kierto kulman 2mπ verran ja f n n virittää aliryhmän {fn m m Z}, joka on isomorfinen Z n kanssa, koska n on ensimmäinen luku m, jolla fn m = 1 eli syklisen ryhmän kertaluku. c) Osoita, että edellä mainittujen aliryhmien yhdiste on SO(2):n aliryhmä, ns. rationaalisten kiertojen ryhmä R. Ratkaisu: E.m. ryhmien yhdiste on tietenkin R = {fn m m Q}, joka on helppo n todeta aliryhmäksi. 3 4. jatkoa. d) Osoita, että myös ääretön syklinen ryhmä Z on (isomorfiaa vaille) SO(2):n aliryhmä. Ratkaisu: Olkoon s R irratonaaliluku ja f kierto kulman 2sπ verran. Tällöin f m on kierto kulman 2smπ verran ja f n virittää aliryhmän {f m m Z}, joka on isomorfinen Z kanssa, sillä mikään f m ei ole identtinen kuvaus 1, koska muuten olisi 2smπ = 2kπ jollakin k Z ja siis s = k/m Q. e) Mitkä edellämainituista aliryhmistä ovat suljettuja joukkoja avaruudessa R 4? Mitkä avoimia? Entä muut? Ratkaisu: Äärelliset ovat tietenkin suljettuja. Kohtien e) ja d) äärettömät ryhmät eivät ole avoimia, koska epätyhjä avoin joukko R n :ssä on aina ylinumeroituva., Kumpikaan ei myöskään ole suljettu joukko, koska koska kaikki kierrot ovat kummankin sulkeumassa, sillä erityisesti voi tietenkin irrationaalista kiertoa approksimoida jonolla rationaalisia kiertoja, mutta myös totta, että irrtionaalisen kieron monikerrat ovat tiheässä ympyrän kehällä. (Tod. hahmoteltiin demoissa). Pikku bonuskysymys ) Onko olemassa muita äärellisiä SO(2):n aliryhmiä kuin sykliset? Ratkaisu: Ei. äärellinen aliryhmä ei voi sisältää irrationaalista kiertoa, koska d):n mukaan sellainen virittää äärettömän Lemma: Jos aliryhmä H SO(2) sisältää kierron fn m, missä syt(m, n) = 1, niin f n H. Perustelu: Koska syt(m, n) = 1, niin Eukleideen algoritmin avulla löytyy luvut s, b Z, joilla an + bm = 1, jolloin f n = fn 1 = fn an+bm = (fn n ) a (fn m ) b = 1 (fn m ) b H. Lemman seuraus: Jos aliryhmä H SO(2) sisältää kierron fn m, missä syt(m, n) = 1, niin jokainen fn m H. Ongelman ratkaisu: Jokainen SO(2):n aliryhmä H on lemman nojalla yhdiste joistakin äärellisistä syklisistä ryhmistä f n. Äärellisen monen yhdiste on itsekin syklinen, mikä riittää tarkastaa kahden yhdisteelle (induktio!). Ja nythän f n, f k = f pyj(n,k), sillä tietenkin f n ja f k f pyj(n,k), mutta myös f pyj(n,k) f n, f k, koska pyj(n, k) = = an+bk = a + b, mistä väite nk k n seuraa. (On olemassa lyhempi ratkaisu, joka perustuu siiihen, että syklisen ryhmän aliryhmä on aina syklinen.... mikä puolestaan perustuu edelliseen päättelyyn) nk ja siis Eukleideen algoritmilla 1 = syt(n,k) syt(n,k) pyj(n,k) nk

3. SU(2) Yksikkökvaterniot muodostavat kvaternioiden vinokunnassa multiplikatiivisen ryhmän aliryhmän { ( ) } a + id b ic SU(2) = A = det A = 1. b ic a id Geometrisesti SU(2) on 4-ulotteisen avaruuden H R 4 yksikköpallo S 3 R 4. 5. Ryhmän SU(2) nimi tulee sanoista unitaarinen ja spesiaali. Tarkasta, ( että ) z11 z SU(2) muodostuu tasan niistä kompleksisista 2 2-matriiseista A = 21, z 12 z 22 joilla on seuraavat ominaisuudet. (z 11, z 12 ) (z 21, z 22 ) ja (z 11, z 12 ) = (z 21, z 22 ) = 1 ja det A = 1. Tässä ortogonaalisuus ymmärretään avaruuden C 2 tavallisen kompleksisen sisätulon mielessä. Muista kompleksikonjugointi. Vihje: det A = a 2 + b 2 + c 2 + d 2 on C 2 -vektorin (a + id, b ic) pituuden neliö. ( z11 z Ratkaisu: Selvästi SU(2)-matriisi on muotoa q = 21 ), mistä näkyyy, että z 12 z 11 = 0 eli (z 11, z 12 ) (z 21, z 22 ). Lisäksi SU(2)-matriisilla on selvästi z 11 z 21 + z 12 z 21 (z 11, z 12 ) = (z 21, z 22 ) = 1 ja det A = 1. Varsinainen väite on( siis käänteinen ) a b puoli. Sen todistamiseksi tarkastellaan kompleksista matriisia A =, jolla on x y ominaisuudet a b + xȳ = 0 Ensimmäisestä yhtälöstä seuraa, että a 2 + x 2 = 1 b 2 + y 2 = 1 ja ay bx = 1. a x = y b, joten kahdedsta keskimmäisestä saadaan x = b ja a = y. Siis x = āe iψ ja y = be iφ joillain kulmilla ψ, φ. Ortogonaalisuusehto a b + xȳ = 0 saa muodon a b be iφ ae iψ = 0, josta sieventämällä a b(1 e i(φ ψ) = 0, siis 1 = e i(φ ψ), ja siis φ = ψ. Lopuksi determinanttiehto ay bx = 1 (, jota ei vielä olekaan käytetty) on ( a 2 + b 2 )e iφ = 1, mistä φ = 0. HUOM: Tämän tehtävän tulokset yleistyvä tn n-mtriiseille, mutta etenkin viimeinen todistus hankloituu. Todistamalla unitaarisen matriisin ominaisuudet fiksummassa järjestyksessä pääse vähemmällä. Näin on tehty kirjassa. 4 6. Totea, että yhtäpitävää on myös seuraava: Kompleksilineaarikuvaus L A : C 2 C 2 : w = L A w = w kaikille w ja lisäksi det A = 1. ( w1 w 2 ) Aw säilyttää normin eli

( ) a b Ratkaisu: Olkoon A = unitaarinen ja (x, y) C b ā 2. Nyt 5 A(x, y) 2 = (ax + by), ( bx + āy) 2 = (ax + by)(ax + by) + ( bx + āy)( bx + āy) = (ax + by)(ā x + bȳ) + ( bx + āy)( b x + aȳ) = a 2 x 2 + ax bȳ + byā x + b 2 y 2 + b 2 x 2 bxaȳ āyb x + a 2 y 2 = a 2 x 2 + b 2 y 2 + b 2 x 2 + a 2 y 2 = ( a 2 + b 2 )( x 2 + y 2 ) = ( x 2 + y 2 ) = (x, y) 2. Paluupuolessa käytetään tunnettua (!) tietoa, että lineaarinen isometria säilyttää myös sisätulon: (L A w L A v) = (w v) kaikille w, v C n. (Tehtävässä annettu perustelu tälle lemmallae alla.) Jos siis A säilyttää vektorien pituuden, niin A säilyttää ortogonaalisuudenkin, erityisesti kantavektorien kuvat eli A:n sarakkeet ovat 1:n pituiset ja ortogonaaliset, kuten väitettiin. Lemman perustelu: Reaalisisätulolle vastaava ominaisuus on varmaan tuttu LAG:sta. Kompleksinen (ja sivutuottena reaalinenkin) versio perustuu polarisaatioyhtälöön u + v 2 = (u + v u + v) = (u u) + (v v) + (u v) + (u v) = u 2 + v 2 + 2 Re(u v), josta sisätulon reaaliosa Re(u v) voidaan laskea, kun kaikkien vektorien pituudet tunnetaan. Imaginaariosa saadaan vastaavasti laskemalla auki u + iv 2. Kommentti: Normin säilymisestä seuraa, että L A on bijektio (LAG!) ja metriikan mielessä isometria, onhan nyt L A w L A v = w v kaikille w, v C 2. Isometrista kompleksilineaarikuvausta ja sen matriisia sanotaan unitaariseksi. Unitaarisella matriisilla on det A = 1, siis yksikkökompleksiluku. Ei välttämättä ole det A = 1, vaan unitaarisen matriisin determinantti voi olla mikä tahansa yksikkökompleksiluku. Spesiaalisuus viittaa siihen, että det A on nimenomaan 1. Unitaarista vastaava reaalinen käsite on ortogonaalimatriisi (harhaanjohtavasti kyllä). Ortogonaalimatriisin determinantti on siten 1 tai -1. 7. Totea, että yhtäpitävää unitaarisuuden kanssa on seuraava: A 1 = A eli AA = A A = 1, missä A on A:n transpoosin kompleksikonjugaatti eli A:n adjungaatti. Ratkaisu:Laske auki, niin huomaat, että A 1 = A merkitsee, että A:n sarakkeet ovat orotgonaaliset (nollanurkat!) ja ykkösen pituiset (diagonaalinurkat). Kommentti: Sana adjungointi on matematiikassa ylikuormitettu ja tarkoittaa milloin mitäkin liittämistä. Myös tähtisymboli * on kovin kuormitettu. Siksi kompleksisen matriisin adjungaattia merkitään etenkin fysiikan kirjoissa usein symbolilla A, joka luetaan A miekka, tai A tikari ei A risti. 8. Todista, että SU(2) on kvaternioiden vinokunnassa multiplikatiivisen ryhmän aliryhmä. (Nyt helppoa!) Ratkaisu: Seura edellisestä! 4. Heijastuksista ja kierroista 8. Vakuuttaudu parhaasi mukaan seuraavien tasogeometristen (tai LAG!) väitteiden todenperäisyydestä:

a) Kahden erisuuntaisen suoran suhteen otettujen peilausten yhdistetty kuvaus on kierto akselien leikkauispisteen ympäri. Jos akselien välinen kulma on α < π, niin kiertokulma on 2α. b) Olkoon kolmio ABC teräväkulmainen (ts. kulmat alle 90 = π ). Kuvaus, joka saadaan suorittamalla ensin kierto pisteen A ympäri kulman 2A verran ja sitten 2 pisteen B ympäri kulman 2B verran on kierto kulman C ympäri. Kuinka suuri? 6 Ratkaisu. Kierto A:n ympäri kulman 2A verran vie C:n peilikuvakseen sivun AB taakse ja kierto B:n ympäri kulman 2B verran tuo sen takaisin, joten kiertojen yhdistetty kuvaus pitää C:n paikallaan ja on siis, isometria kun on, kierto juuri pisteen C ympäri. Kierron suuruus on tietenkin 2A + 2B, koska kiertoja yhdistäessä kulmat lasketaan yhteen kiertopisteistä riippunatta. Lopuksi voi sieventää huomaamalla, että 2A + 2B = 2(A + B) = 2(180 C) = 360 2C = 2C.