Peatüki algus: QR-lahutus
Eelmine: QR-lahutus
Järgmine: Givensi pöörete meetod.


Householderi teisendus

Definitsioon 2.1.1. Kui tex2html_wrap_inline853 ja tex2html_wrap_inline855 siis maatriksit
 equation15
nimetatakse Householderi maatriksiks ehk Householderi teisenduse maatriksiks ning vektorit tex2html_wrap_inline857 Householderi vektoriks.

Lause 2.1.1. Householderi maatriks H on sümmeetriline ja ortogonaalne maatriks. Householderi teisendus peegeldab iga tex2html_wrap_inline861 hüpertasandi tex2html_wrap_inline863 suhtes.

Tõestus. Tõesti,
displaymath799
ja
displaymath800
Lause väite kolmanda osa tõestamiseks valime hüpertasandil tex2html_wrap_inline863 ristbaasi tex2html_wrap_inline867Järelikult, tex2html_wrap_inline869(i = 1 : tex2html_wrap_inline873) ja tex2html_wrap_inline875 tex2html_wrap_inline877= 1 :tex2html_wrap_inline879. Kui
displaymath801
siis
displaymath802

displaymath803

displaymath804

displaymath805
st vektoritel tex2html_wrap_inline881 ja tex2html_wrap_inline883 on hüpertasandil tex2html_wrap_inline863 sama ristprojektsioon
displaymath806
kuid projektsioonid vektorile tex2html_wrap_inline857 on vastassuunalised. Seega tex2html_wrap_inline883 on vektori tex2html_wrap_inline881 peegeldus hüpertasandi tex2html_wrap_inline863 suhtes. Oluline on märkida, et Householderi maatriks H sõltub vaid Householderi vektori tex2html_wrap_inline857 sihist ja ei sõltu vektori tex2html_wrap_inline857 suunast ega pikkusest.

Lause 2.1.2. Kui tex2html_wrap_inline901 ja tex2html_wrap_inline903 siis vektor tex2html_wrap_inline883, kus H on seosega (1) määratud Householderi maatriks, on vektori tex2html_wrap_inline909 sihiline vektor, st et Householderi teisendus H rakendatuna vektorile tex2html_wrap_inline881 nullistab vektori tex2html_wrap_inline881 koordinaadid alates teisest koordinaadist.

Tõestus. Üritame fikseeritud nullist erineva vektori tex2html_wrap_inline881 korral määrata Householderi vektorit tex2html_wrap_inline857 nii, et tex2html_wrap_inline921 Kuna
displaymath807
ja tex2html_wrap_inline923 siis tex2html_wrap_inline925 Valides tex2html_wrap_inline927saame, et
displaymath808

displaymath809
ja
displaymath810

displaymath811
Valime tex2html_wrap_inline929 selliselt, et viimases tex2html_wrap_inline883 esituses vektori tex2html_wrap_inline881 kordaja on null, st
displaymath812

displaymath813

displaymath814
Sellise valiku tex2html_wrap_inline935 korral tex2html_wrap_inline937 ja

displaymath815

Näide 2.1.1 Olgu tex2html_wrap_inline939 Leiame sellise Householderi vektori tex2html_wrap_inline857 ja sellele vastav Householderi teisenduse, mis nullistab vektori tex2html_wrap_inline881 kaks viimast koordinaati. Lause 2.1.1 põhjal arvutame tex2html_wrap_inline945 Valime vektori tex2html_wrap_inline909 plusskordse ja saame tex2html_wrap_inline949 Leiame Housholderi maatriksi H, arvestades, et H sõltub vaid vektori tex2html_wrap_inline857 sihist,
displaymath816

displaymath817
Kontrollime,

displaymath818

Ülesanne 2.1.1* Leidke selline Householderi maatriks H, et tex2html_wrap_inline541, kus tex2html_wrap_inline543

Olgu tex2html_wrap_inline957 (tex2html_wrap_inline959= 1:tex2html_wrap_inline961) Householderi maatriksid. Vaatleme nende maatriksite korrutist
displaymath819
kusjuures
displaymath820
ja iga tex2html_wrap_inline963 on kujul
displaymath821
Maatriksit Q võib esitada kujul
 equation306
kus W ja Y on tex2html_wrap_inline971maatriksid. Vastuse küsimusele, kuidas leida esitust (2), annab järgmine lause.

Lause 2.1.3. Olgu maatriks tex2html_wrap_inline973 ortogonaalne, kusjuures tex2html_wrap_inline975 Kui tex2html_wrap_inline977 kus tex2html_wrap_inline853 ja tex2html_wrap_inline981 siis
displaymath822
kus tex2html_wrap_inline983 ja tex2html_wrap_inline985 ning seega, W+, tex2html_wrap_inline989

Tõestus. Kuna
displaymath823

displaymath824
ja
displaymath825
siis tex2html_wrap_inline991 ja lause väide on tõene.

Peatüki algus: QR-lahutus
Eelmine: QR-lahutus
Järgmine: Givensi pöö rete meetod.