themen: grundlagen gleitpunktzahlen und maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9},...
TRANSCRIPT
![Page 1: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/1.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1 Grundlagen
Themen:
◮ Gleitpunktzahlen und Maschinengenauigkeit
![Page 2: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/2.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1 Grundlagen
Themen:
◮ Gleitpunktzahlen und Maschinengenauigkeit
◮ Vektor- und Matrizennormen
![Page 3: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/3.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1 Grundlagen
Themen:
◮ Gleitpunktzahlen und Maschinengenauigkeit
◮ Vektor- und Matrizennormen
◮ Stabilität linearer Gleichungssysteme
![Page 4: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/4.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.1 Gleitpunktarithmetik und Rundungsfehler
Eine Gleitpunktzahl, auch Gleitkommazahl genannt, imDezimalsystem ist von der Form
x = 0.d1d2 . . . dt×10k , di ∈ {0, 1, . . . , 9}, (= t gültige Stellen)
![Page 5: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/5.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.1 Gleitpunktarithmetik und Rundungsfehler
Eine Gleitpunktzahl, auch Gleitkommazahl genannt, imDezimalsystem ist von der Form
x = 0.d1d2 . . . dt×10k , di ∈ {0, 1, . . . , 9}, (= t gültige Stellen)
mitd1 6= 0 für x 6= 0 und − m ≤ k ≤ m.
![Page 6: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/6.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.1 Gleitpunktarithmetik und Rundungsfehler
Eine Gleitpunktzahl, auch Gleitkommazahl genannt, imDezimalsystem ist von der Form
x = 0.d1d2 . . . dt×10k , di ∈ {0, 1, . . . , 9}, (= t gültige Stellen)
mitd1 6= 0 für x 6= 0 und − m ≤ k ≤ m.
Es gibt also nur endlich viele Gleitpunktzahlen!
![Page 7: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/7.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.1 Gleitpunktarithmetik und Rundungsfehler
Eine Gleitpunktzahl, auch Gleitkommazahl genannt, imDezimalsystem ist von der Form
x = 0.d1d2 . . . dt×10k , di ∈ {0, 1, . . . , 9}, (= t gültige Stellen)
mitd1 6= 0 für x 6= 0 und − m ≤ k ≤ m.
Es gibt also nur endlich viele Gleitpunktzahlen!
Setze m = ∞ voraus.
![Page 8: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/8.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
![Page 9: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/9.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
Die Maschinengenauigkeit eps ist die kleinste positive Zahl inM mit
1.+ eps > 1. == true.
![Page 10: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/10.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
Die Maschinengenauigkeit eps ist die kleinste positive Zahl inM mit
1.+ eps > 1. == true.
In die Maschinengenauigkeit geht ein:
◮ Zahl t der gültigen Stellen
![Page 11: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/11.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
Die Maschinengenauigkeit eps ist die kleinste positive Zahl inM mit
1.+ eps > 1. == true.
In die Maschinengenauigkeit geht ein:
◮ Zahl t der gültigen Stellen
◮ Art der Rundung (normales Auf- und Abrunden bzw.Abschneiden)
![Page 12: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/12.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
Die Maschinengenauigkeit eps ist die kleinste positive Zahl inM mit
1.+ eps > 1. == true.
In die Maschinengenauigkeit geht ein:
◮ Zahl t der gültigen Stellen
◮ Art der Rundung (normales Auf- und Abrunden bzw.Abschneiden)
Beides hängt von der Programmiersprache und/oder demRechner ab.
![Page 13: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/13.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Maschinengenauigkeit
Es seiM = Menge der Gleitpunktzahlen.
Die Maschinengenauigkeit eps ist die kleinste positive Zahl inM mit
1.+ eps > 1. == true.
In die Maschinengenauigkeit geht ein:
◮ Zahl t der gültigen Stellen
◮ Art der Rundung (normales Auf- und Abrunden bzw.Abschneiden)
Beides hängt von der Programmiersprache und/oder demRechner ab.
Vorsicht: Das Rechenwerk arbeitet i.a. genauer.
![Page 14: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/14.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Feststellung von eps
program
eps=1
1 eps=0.99*eps
if(masch(1.+eps)==1) goto 1
write eps
end
![Page 15: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/15.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Feststellung von eps
program
eps=1
1 eps=0.99*eps
if(masch(1.+eps)==1) goto 1
write eps
end
Das aufgerufene Funktionsunterprogramm ist
function masch(q)
masch=0
if(q>1.) masch=1
end
![Page 16: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/16.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Feststellung von eps
program
eps=1
1 eps=0.99*eps
if(masch(1.+eps)==1) goto 1
write eps
end
Das aufgerufene Funktionsunterprogramm ist
function masch(q)
masch=0
if(q>1.) masch=1
end
Durch den Aufruf von masch muss 1.+q das Rechenwerkverlassen.
![Page 17: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/17.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Resultate für den fortran90 ifort-Compiler
Bytelänge eps
4 0.6 · 10−7
8 1.0 · 10−16
16 1.0 · 10−34
![Page 18: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/18.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Resultate für den fortran90 ifort-Compiler
Bytelänge eps
4 0.6 · 10−7
8 1.0 · 10−16
16 1.0 · 10−34
Diese Werte stimmen genau mit der üblichen Belegung derSpeicherplätze überein, wonach ein Byte für den Exponentenund die übrigen Bytes für die Mantisse verwendet wird.
![Page 19: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/19.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Resultate für den fortran90 ifort-Compiler
Bytelänge eps
4 0.6 · 10−7
8 1.0 · 10−16
16 1.0 · 10−34
Diese Werte stimmen genau mit der üblichen Belegung derSpeicherplätze überein, wonach ein Byte für den Exponentenund die übrigen Bytes für die Mantisse verwendet wird.
Für die Numerik sollte man 8 Bytes verwenden, wasmanchmal als double precision bezeichnet wird.
![Page 20: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/20.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Rundungsfehler
Es gibt eine Abbildung rd : R→ M mit
rd (x) = x(1 + ε) mit |ε| ≤ eps.
![Page 21: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/21.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Rundungsfehler
Es gibt eine Abbildung rd : R→ M mit
rd (x) = x(1 + ε) mit |ε| ≤ eps.
Nach dem oben Gesagten sind Rundungsfehler relativeFehler, was in diesem Modell berücksichtigt wird.
![Page 22: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/22.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Gleitpunktoperationen
Die Gleitpunktoperationen ◦∗ : M × M → M sind danndefiniert durch
x ±∗ y = rd (x ± y), x ·∗ y = rd (x · y), x/∗y = rd (x
y).
![Page 23: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/23.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Gleitpunktoperationen
Die Gleitpunktoperationen ◦∗ : M × M → M sind danndefiniert durch
x ±∗ y = rd (x ± y), x ·∗ y = rd (x · y), x/∗y = rd (x
y).
Im Einklang mit dem oben Angeführten wird alsoangenommen, dass in M exakt gerechnet und anschließendgerundet wird.
![Page 24: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/24.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Eigenschaften der Gleitpunktoperationen
Die Gleitpunktoperationen sind weder assoziativ nochdistributiv.
![Page 25: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/25.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Eigenschaften der Gleitpunktoperationen
Die Gleitpunktoperationen sind weder assoziativ nochdistributiv.
Beispiel Wir betrachten die Addition +∗ bei t = 1 undnormaler Auf- und Abrundung:
(0.8 +∗ 0.6) +∗ 0.3 = 0.1 × 101
0.8 +∗ (0.6 +∗ 0.3) = 0.2 × 101
![Page 26: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/26.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Eigenschaften der Gleitpunktoperationen
Die Gleitpunktoperationen sind weder assoziativ nochdistributiv.
Beispiel Wir betrachten die Addition +∗ bei t = 1 undnormaler Auf- und Abrundung:
(0.8 +∗ 0.6) +∗ 0.3 = 0.1 × 101
0.8 +∗ (0.6 +∗ 0.3) = 0.2 × 101
Rechenzeiten: Was ist schneller für eine Gleitpunktzahl a
0.5 ∗ a, a ∗ 0.5, a/2, a/2. ?
![Page 27: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/27.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Numerische Stabilität
Die Funktion f : Rn → R sei stetig differenzierbar. DieAuswertung von f heißt numerisch stabil, wenn es eineKonstante K gibt mit
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣≤ K
|∆x ||x |
für alle ∆x ∈ Rn mit ∆x genügend klein.
![Page 28: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/28.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Numerische Stabilität
Die Funktion f : Rn → R sei stetig differenzierbar. DieAuswertung von f heißt numerisch stabil, wenn es eineKonstante K gibt mit
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣≤ K
|∆x ||x |
für alle ∆x ∈ Rn mit ∆x genügend klein.
|x | =√
x21+ . . .+ x2
n ist hier die euklidische Norm des
Vektors x (siehe später).
![Page 29: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/29.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Numerische Stabilität
Die Funktion f : Rn → R sei stetig differenzierbar. DieAuswertung von f heißt numerisch stabil, wenn es eineKonstante K gibt mit
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣≤ K
|∆x ||x |
für alle ∆x ∈ Rn mit ∆x genügend klein.
|x | =√
x21+ . . .+ x2
n ist hier die euklidische Norm des
Vektors x (siehe später).
In der Regel hängt die Konstante K auch von x selber ab.
![Page 30: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/30.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Numerische Stabilität
Anschaulich bedeutet die numerische Stabilität, dass dieRundungsfehler bei der Auswertung von f nur kontrolliertverstärkt werden: Die Konditionszahl K sollte möglichst kleinsein.
![Page 31: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/31.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Numerische Stabilität
Anschaulich bedeutet die numerische Stabilität, dass dieRundungsfehler bei der Auswertung von f nur kontrolliertverstärkt werden: Die Konditionszahl K sollte möglichst kleinsein.
Da Rundungsfehler relative Fehler sind, müssen auch in derDefiniton der numerischen Stabilität relative Fehler stehen.
![Page 32: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/32.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Für die Addition f (x1, x2) = x1 + x2 erhalten wir
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤ ?
![Page 33: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/33.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Für die Addition f (x1, x2) = x1 + x2 erhalten wir
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤ ?
Es gilt
|∆x1 +∆x2| ≤√
2(∆x2
1 +∆x2
2 )1/2 =
√2|∆x |
![Page 34: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/34.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Für die Addition f (x1, x2) = x1 + x2 erhalten wir
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤ ?
Es gilt
|∆x1 +∆x2| ≤√
2(∆x2
1 +∆x2
2 )1/2 =
√2|∆x |
und(x2
1 + x2
2 )1/2 ≤ |x1|+ |x2|,
![Page 35: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/35.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Falls x1, x2 > 0
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤
√2|∆x ||x | .
![Page 36: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/36.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Falls x1, x2 > 0
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤
√2|∆x ||x | .
Die Addition zweier positiver Zahlen ist also numerisch stabilund die Subtraktion zweier ungefähr gleich großer Zahlen istinstabil.
![Page 37: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/37.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel
Falls x1, x2 > 0
∣
∣
∣
f (x)− f (x +∆x)
f (x)
∣
∣
∣=
∣
∣
∣
∆x1 +∆x2
x1 + x2
∣
∣
∣≤
√2|∆x ||x | .
Die Addition zweier positiver Zahlen ist also numerisch stabilund die Subtraktion zweier ungefähr gleich großer Zahlen istinstabil.
Auf die gleiche Weise leitet man her, dass Multiplikation undDivision numerisch stabile Operationen sind.
![Page 38: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/38.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die Differenz als Bösewicht
Die Subtraktion zweier ungefähr gleich großer Zahlen istinstabil.
![Page 39: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/39.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die Differenz als Bösewicht
Die Subtraktion zweier ungefähr gleich großer Zahlen istinstabil.
Vorkommen:
◮ Auswertung eines Polynoms in der Nähe einer Nullstelle
![Page 40: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/40.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die Differenz als Bösewicht
Die Subtraktion zweier ungefähr gleich großer Zahlen istinstabil.
Vorkommen:
◮ Auswertung eines Polynoms in der Nähe einer Nullstelle
◮ Bestimmung des Skalarprodukts zweier fast orthogonalerVektoren
![Page 41: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/41.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Fazit
◮ Akkumulation von Rundungsfehlern bei der Additionnichtnegativer Zahlen verläuft linear in der Anzahl derSummanden
![Page 42: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/42.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Fazit
◮ Akkumulation von Rundungsfehlern bei der Additionnichtnegativer Zahlen verläuft linear in der Anzahl derSummanden
◮ Sie kann durch die Verwendung einer höherenGenauigkeit ausgeglichen werden
![Page 43: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/43.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Fazit
◮ Akkumulation von Rundungsfehlern bei der Additionnichtnegativer Zahlen verläuft linear in der Anzahl derSummanden
◮ Sie kann durch die Verwendung einer höherenGenauigkeit ausgeglichen werden
Dagegen: Numerische Instabilität aufgrund Auslöschung kannnur durch modifizierte Algorithmen behoben werden.
![Page 44: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/44.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.2 Ein Beispiel
Für die reellen Zahlen p, q > 0 mit p >> q > 0 soll derAusdruck
y = −p +√
p2 + q
in Gleitkommaarithmetik näherungsweise bestimmt werden.
![Page 45: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/45.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.2 Ein Beispiel
Für die reellen Zahlen p, q > 0 mit p >> q > 0 soll derAusdruck
y = −p +√
p2 + q
in Gleitkommaarithmetik näherungsweise bestimmt werden.
y ist die kleinere der beiden Nullstellen von
y2 + 2py − q = 0.
![Page 46: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/46.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 1
Das Standardverfahren zur Bestimmung von y ist sicherlichdie direkte Auswertung der obigen Formel
t = p2 + q
u =√
t
y = −p + u
![Page 47: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/47.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 1
Das Standardverfahren zur Bestimmung von y ist sicherlichdie direkte Auswertung der obigen Formel
t = p2 + q
u =√
t
y = −p + u
Unter der Voraussetzung p >> q > 0 ist p ∼ u, derAlgorithmus daher instabil.
![Page 48: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/48.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2
t = p2 + q
u =√
t
v = p + u
y = q/v
![Page 49: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/49.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2
t = p2 + q
u =√
t
v = p + u
y = q/v
Liefert das gleiche wegen
y =q
p +√
p2 + q
![Page 50: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/50.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2
t = p2 + q
u =√
t
v = p + u
y = q/v
Liefert das gleiche wegen
y =q
p +√
p2 + q=
q
p +√
p2 + q· p −
√
p2 + q
p −√
p2 + q
=q(p −
√
p2 + q)
p2 − (p2 + q)= −p +
√
p2 + q
![Page 51: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/51.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2 ist numerisch stabil
In v = p + u haben wir nun zwei positive Zahlen addiert.
![Page 52: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/52.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2 ist numerisch stabil
In v = p + u haben wir nun zwei positive Zahlen addiert.
Die Auswertung der Wurzel ist ebenfalls numerisch stabil.
![Page 53: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/53.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Algorithmus 2 ist numerisch stabil
In v = p + u haben wir nun zwei positive Zahlen addiert.
Die Auswertung der Wurzel ist ebenfalls numerisch stabil.
In der Tat erhalten wir bei zwölfstelliger Rechnung für
p = 1000, q = 0.018 000 000 081
die Ergebnisse
Alg. 1 : 0.900 030 . . .× 10−5
Alg. 2 : 0.899 999 999 999 999 × 10−5,
der exakte Wert ist 0.9 × 10−5.
![Page 54: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/54.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.3 Vektor- und Matrizennormen
Sei X ein nicht notwendig endlich dimensionaler linearerVektorraum über K = R oder K = C.
![Page 55: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/55.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.3 Vektor- und Matrizennormen
Sei X ein nicht notwendig endlich dimensionaler linearerVektorraum über K = R oder K = C.
Eine Abbildung ‖ · ‖ : X → R heißt Norm, wenn sie denfolgenden Bedingungen genügt:
(i) ‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
![Page 56: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/56.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.3 Vektor- und Matrizennormen
Sei X ein nicht notwendig endlich dimensionaler linearerVektorraum über K = R oder K = C.
Eine Abbildung ‖ · ‖ : X → R heißt Norm, wenn sie denfolgenden Bedingungen genügt:
(i) ‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
(ii) ‖αx‖ = |α| ‖x‖ für alle α ∈ K und x ∈ X .
![Page 57: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/57.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.3 Vektor- und Matrizennormen
Sei X ein nicht notwendig endlich dimensionaler linearerVektorraum über K = R oder K = C.
Eine Abbildung ‖ · ‖ : X → R heißt Norm, wenn sie denfolgenden Bedingungen genügt:
(i) ‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
(ii) ‖αx‖ = |α| ‖x‖ für alle α ∈ K und x ∈ X .
(iii) ‖x + y‖ ≤ ‖x‖+ ‖y‖.
![Page 58: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/58.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Diskussion der Norm
Anschaulich können wir uns vorstellen, dass die Norm von xdie Länge des Vektors x angibt oder, falls wir x als Punktansehen, die Entfernung dieses Punktes zum Nullpunkt. Indieser Interpretation sind alle Axiome sinnvoll:
![Page 59: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/59.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Diskussion der Norm
Anschaulich können wir uns vorstellen, dass die Norm von xdie Länge des Vektors x angibt oder, falls wir x als Punktansehen, die Entfernung dieses Punktes zum Nullpunkt. Indieser Interpretation sind alle Axiome sinnvoll:
‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
Abstände sind positiv, sofern es sich nicht um den Nullvektorhandelt.
![Page 60: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/60.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Diskussion der Norm
Anschaulich können wir uns vorstellen, dass die Norm von xdie Länge des Vektors x angibt oder, falls wir x als Punktansehen, die Entfernung dieses Punktes zum Nullpunkt. Indieser Interpretation sind alle Axiome sinnvoll:
‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
Abstände sind positiv, sofern es sich nicht um den Nullvektorhandelt.
‖αx‖ = |α| ‖x‖ für alle α ∈ K und x ∈ X .
Die Länge eines Vielfachen ist das Vielfache der Länge.
![Page 61: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/61.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Diskussion der Norm
Anschaulich können wir uns vorstellen, dass die Norm von xdie Länge des Vektors x angibt oder, falls wir x als Punktansehen, die Entfernung dieses Punktes zum Nullpunkt. Indieser Interpretation sind alle Axiome sinnvoll:
‖x‖ ≥ 0 und ‖x‖ = 0 ⇔ x = 0
Abstände sind positiv, sofern es sich nicht um den Nullvektorhandelt.
‖αx‖ = |α| ‖x‖ für alle α ∈ K und x ∈ X .
Die Länge eines Vielfachen ist das Vielfache der Länge.
‖x + y‖ ≤ ‖x‖+ ‖y‖.Die Strecke ist die kürzeste Verbindung zweier Punkte.
![Page 62: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/62.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Skalarprodukt und euklidische Norm
Für x , y ∈ Cn ist das Skalarprodukt definiert durch
(x , y) =n
∑
j=1
xjy j .
Die euklidische Norm ist für Vektoren x ∈ Cn (oder x ∈ Rn)definiert durch
|x | =(
n∑
j=1
|xj |2)1/2
= (x , x)1/2.
![Page 63: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/63.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Euklidische Norm
|x | =(
n∑
j=1
|xj |2)1/2
= (x , x)1/2.
Aufgrund des Satzes von Pythagoras handelt es sich hierbeiin der Tat um die Entfernung des Punktes x zum Nullpunkt.
![Page 64: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/64.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Euklidische Norm
|x | =(
n∑
j=1
|xj |2)1/2
= (x , x)1/2.
Aufgrund des Satzes von Pythagoras handelt es sich hierbeiin der Tat um die Entfernung des Punktes x zum Nullpunkt.
Die Normaxiome (i) und (ii) sind klar, für dieDreiecksungleichung benötigen wir ein Hilfsmittel:
![Page 65: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/65.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die Cauchy-Ungleichung
Lemma Für x , y ∈ Cn gilt
|(x , y)| ≤ |x | |y |.
![Page 66: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/66.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die Cauchy-Ungleichung
Lemma Für x , y ∈ Cn gilt
|(x , y)| ≤ |x | |y |.
Beweis Für a, b ≥ 0 gilt die Youngsche Ungleichung
ab ≤ 1
2a2 +
1
2b2,
die man aus der binomischen Formel beweist.
![Page 67: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/67.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Cauchy-Ungleichung
Mit der Youngschen Ungleichung erhalten wir
|(x , y)| =∣
∣
∣
n∑
j=1
xjy j
∣
∣
∣≤
n∑
j=1
(1
2|xj |2 +
1
2|yj |2
)
≤ 1
2|x |2 + 1
2|y |2.
![Page 68: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/68.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Cauchy-Ungleichung
Mit der Youngschen Ungleichung erhalten wir
|(x , y)| =∣
∣
∣
n∑
j=1
xjy j
∣
∣
∣≤
n∑
j=1
(1
2|xj |2 +
1
2|yj |2
)
≤ 1
2|x |2 + 1
2|y |2.
Für |x | = |y | = 1 ist die Ungleichung damit bewiesen.
![Page 69: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/69.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Cauchy-Ungleichung
Mit der Youngschen Ungleichung erhalten wir
|(x , y)| =∣
∣
∣
n∑
j=1
xjy j
∣
∣
∣≤
n∑
j=1
(1
2|xj |2 +
1
2|yj |2
)
≤ 1
2|x |2 + 1
2|y |2.
Für |x | = |y | = 1 ist die Ungleichung damit bewiesen.
Für x , y 6= 0 schreibe wieder
x = αx , y = βy mit |x | = |y | = 1
und erhalte die Cauchy-Ungleichung.
![Page 70: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/70.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Cauchy-Ungleichung
Mit der Youngschen Ungleichung erhalten wir
|(x , y)| =∣
∣
∣
n∑
j=1
xjy j
∣
∣
∣≤
n∑
j=1
(1
2|xj |2 +
1
2|yj |2
)
≤ 1
2|x |2 + 1
2|y |2.
Für |x | = |y | = 1 ist die Ungleichung damit bewiesen.
Für x , y 6= 0 schreibe wieder
x = αx , y = βy mit |x | = |y | = 1
und erhalte die Cauchy-Ungleichung.
Beachte das Homogenitätsargument!
![Page 71: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/71.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Nun zum Beweis der Dreicksungleichung für die EuklidischeNorm:
|x + y |2 = (x + y , x + y) = |x |2 + 2(x , y) + |y |2
![Page 72: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/72.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Nun zum Beweis der Dreicksungleichung für die EuklidischeNorm:
|x + y |2 = (x + y , x + y) = |x |2 + 2(x , y) + |y |2
≤ |x |2 + 2|x | |y |+ |y |2 = (|x |+ |y |)2.
![Page 73: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/73.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Frobenius-Norm
Für die euklidische Matrixnorm, auch Frobenius-Normgenannt, schreiben wir entsprechend
|A| =(
m∑
j=1
n∑
k=1
|ajk |2)1/2
, A ∈ Cm×n oder A ∈ Rm×n.
![Page 74: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/74.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Transponierte und adjungierte Matrix
Für Matrizen A ∈ Cm×n, A = (ajk)j=1,...,m, k=1,...,n setze
AT = (akj)k=1,...,n, j=1,...,m = transponierte Matrix
AH = (akj)k=1,...,n, j=1,...,m = adjungierte Matrix
![Page 75: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/75.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Transponierte und adjungierte Matrix
Für Matrizen A ∈ Cm×n, A = (ajk)j=1,...,m, k=1,...,n setze
AT = (akj)k=1,...,n, j=1,...,m = transponierte Matrix
AH = (akj)k=1,...,n, j=1,...,m = adjungierte Matrix
Beispiel
A =
(
1 1 + 2i1 + 3i 2
)
,
AT =
(
1 1 + 3i1 + 2i 2
)
, AH =
(
1 1 − 3i1 − 2i 2
)
![Page 76: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/76.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Notation
Ist A ∈ Cn×n regulär, so gilt
(AH)−1 = (A−1)H .
![Page 77: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/77.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Notation
Ist A ∈ Cn×n regulär, so gilt
(AH)−1 = (A−1)H .
Aus AA−1 = I folgt, dass
(A−1)HAH = IH = I .
![Page 78: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/78.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Notation
Ist A ∈ Cn×n regulär, so gilt
(AH)−1 = (A−1)H .
Aus AA−1 = I folgt, dass
(A−1)HAH = IH = I .
Damit ist die Inverse von AH gerade die Matrix (A−1)H .Diese Beziehung rechtfertigt die Schreibweise
A−H = (A−1)H sowie A−T = (A−1)T .
![Page 79: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/79.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Alternative Definition
Mit dem euklidischen Skalarprodukt (·, ·) gilt
(Ax , y) = (x ,AT y) ∀x , y ∈ Cn, A reell
(Ax , y) = (x ,AHy) ∀x , y ∈ Cn.
![Page 80: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/80.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Alternative Definition
Mit dem euklidischen Skalarprodukt (·, ·) gilt
(Ax , y) = (x ,AT y) ∀x , y ∈ Cn, A reell
(Ax , y) = (x ,AHy) ∀x , y ∈ Cn.
Rechenregeln:
(AB)H = BHAH , insbesondere (AHA)H = AHA.
![Page 81: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/81.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Skalarprodukt
Vektoren werden auch als Spaltenmatrizen aufgefasst, daher:
yHxZeile mal Spalte
=n
∑
j=1
y jxj = (x , y).
![Page 82: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/82.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Symmetrische und hermitesche Matrizen
A ∈ Rn×n heißt symmetrisch, wenn A = AT .
A ∈ Cn×n heißt hermitesch, wenn A = AH .
![Page 83: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/83.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Symmetrische und hermitesche Matrizen
A ∈ Rn×n heißt symmetrisch, wenn A = AT .
A ∈ Cn×n heißt hermitesch, wenn A = AH .
Bei hermiteschen Matrizen ist die zugehörige quadratischeForm reellwertig
q(x) := (Ax , x) = (x ,AHx) = (x ,Ax) = (Ax , x) ⇒ q(x) ∈ R.
![Page 84: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/84.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Äquivalenz der Normen im Endlichdimensionalen
Satz Auf endlich dimensionalen Räumen sind alle Normenäquivalent, d.h. zu zwei Normen ‖ · ‖1 und ‖ · ‖2 auf einemendlich dimensionalen Raum V gibt es Konstanten m,M > 0mit
m‖x‖2 ≤ ‖x‖1 ≤ M‖x‖2 für alle x ∈ V .
![Page 85: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/85.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Äquivalenz der Normen im Endlichdimensionalen
Satz Auf endlich dimensionalen Räumen sind alle Normenäquivalent, d.h. zu zwei Normen ‖ · ‖1 und ‖ · ‖2 auf einemendlich dimensionalen Raum V gibt es Konstanten m,M > 0mit
m‖x‖2 ≤ ‖x‖1 ≤ M‖x‖2 für alle x ∈ V .
Anwendung In der numerischen Mathematik werden eineVielzahl von Matrixnormen verwendet, die demnach alleäquivalent sind.
![Page 86: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/86.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Äquivalenz der Normen im Endlichdimensionalen
Satz Auf endlich dimensionalen Räumen sind alle Normenäquivalent, d.h. zu zwei Normen ‖ · ‖1 und ‖ · ‖2 auf einemendlich dimensionalen Raum V gibt es Konstanten m,M > 0mit
m‖x‖2 ≤ ‖x‖1 ≤ M‖x‖2 für alle x ∈ V .
Anwendung In der numerischen Mathematik werden eineVielzahl von Matrixnormen verwendet, die demnach alleäquivalent sind.
Aber die Konstanten c1, c2 hängen in der Regel von derRaumdimension ab.
![Page 87: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/87.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Inverse Dreiecksungleichung
Lemma Für jede Norm gilt die inverse Dreiecksungleichung
‖x − y‖ ≥∣
∣ ‖x‖ − ‖y‖∣
∣ für alle x , y ∈ V .
![Page 88: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/88.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Inverse Dreiecksungleichung
Lemma Für jede Norm gilt die inverse Dreiecksungleichung
‖x − y‖ ≥∣
∣ ‖x‖ − ‖y‖∣
∣ für alle x , y ∈ V .
Beweis Mit der normalen Dreiecksungleichung folgt
‖x‖ = ‖(x − y) + y‖ ≤ ‖x − y‖+ ‖y‖,
![Page 89: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/89.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Inverse Dreiecksungleichung
Lemma Für jede Norm gilt die inverse Dreiecksungleichung
‖x − y‖ ≥∣
∣ ‖x‖ − ‖y‖∣
∣ für alle x , y ∈ V .
Beweis Mit der normalen Dreiecksungleichung folgt
‖x‖ = ‖(x − y) + y‖ ≤ ‖x − y‖+ ‖y‖,
also‖x − y‖ ≥ ‖x‖ − ‖y‖.
Vertauschen wir hier die Rollen von x und y , so ist dasLemma bewiesen.
![Page 90: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/90.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis des letzten Satzes
Es genügt, den Fall V = Cn (oder V = Rn) zu betrachten.
![Page 91: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/91.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis des letzten Satzes
Es genügt, den Fall V = Cn (oder V = Rn) zu betrachten.
Jede Norm ‖ · ‖ : Cn → R, x 7→ ‖x‖ ist stetig, denn wennxk → x , so folgt aus dem letzten Lemma
∣
∣ ‖xk‖ − ‖x‖∣
∣ ≤ ‖xk − x‖ → 0.
![Page 92: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/92.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis des letzten Satzes
Es genügt, den Fall V = Cn (oder V = Rn) zu betrachten.
Jede Norm ‖ · ‖ : Cn → R, x 7→ ‖x‖ ist stetig, denn wennxk → x , so folgt aus dem letzten Lemma
∣
∣ ‖xk‖ − ‖x‖∣
∣ ≤ ‖xk − x‖ → 0.
Die Einheitssphäre
S = {x ∈ Cn : |x | = 1}
ist kompakt.
![Page 93: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/93.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis des letzten Satzes
Da die Normen ‖ · ‖j stetig sind, nehmen sie ihr Minimumund Maximum auf S an, also
mj ≤ ‖x‖j ≤ Mj für alle x mit |x | = 1.
![Page 94: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/94.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis des letzten Satzes
Da die Normen ‖ · ‖j stetig sind, nehmen sie ihr Minimumund Maximum auf S an, also
mj ≤ ‖x‖j ≤ Mj für alle x mit |x | = 1.
Wegen 0 /∈ S , sind die mj > 0. Mit x = αx , |x | = 1, folgthieraus
mj |x | ≤ ‖x‖j ≤ Mj |x | ∀x ∈ Cn.
![Page 95: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/95.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Nutzen der Homogenität
Die Ungleichungen
mj |x | ≤ ‖x‖j ≤ Mj |x | ∀x ∈ Cn.
sind homogen in x , d.h. sind sie für ein x erfüllt, so auch füralle αx mit α ∈ C.
![Page 96: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/96.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Nutzen der Homogenität
Die Ungleichungen
mj |x | ≤ ‖x‖j ≤ Mj |x | ∀x ∈ Cn.
sind homogen in x , d.h. sind sie für ein x erfüllt, so auch füralle αx mit α ∈ C.
Es genügt also, die Ungleichung für alle x mit |x | = 1 zubeweisen (=Homogenitätsargument).
![Page 97: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/97.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die p-Normen
Die p-Normen auf Cn (oder Rn) sind definiert durch
‖x‖p =(
n∑
j=1
|xj |p)1/p
, 1 ≤ p < ∞,
‖x‖∞ = max1≤j≤n
|xj |.
![Page 98: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/98.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die p-Normen
Die p-Normen auf Cn (oder Rn) sind definiert durch
‖x‖p =(
n∑
j=1
|xj |p)1/p
, 1 ≤ p < ∞,
‖x‖∞ = max1≤j≤n
|xj |.
Für die Numerik wichtig sind die Normen
‖x‖1 =∑
j
|xj |, ‖x‖2 = |x |, ‖x‖∞ = max(|x1|, . . . , |xn|).
![Page 99: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/99.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die induzierte Matrixnorm
Sei ‖ · ‖1 eine Norm auf dem Cn und ‖ · ‖2 eine Norm aufdem Cm.
![Page 100: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/100.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die induzierte Matrixnorm
Sei ‖ · ‖1 eine Norm auf dem Cn und ‖ · ‖2 eine Norm aufdem Cm.
Der Ausdruck
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
, A ∈ Cm×n,
ist eine Norm auf dem Matrizenraum Cm×n.
![Page 101: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/101.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die induzierte Matrixnorm
Sei ‖ · ‖1 eine Norm auf dem Cn und ‖ · ‖2 eine Norm aufdem Cm.
Der Ausdruck
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
, A ∈ Cm×n,
ist eine Norm auf dem Matrizenraum Cm×n.
‖A‖1→2 heißt (von ‖ · ‖1‖ und ‖ · ‖2) induzierte Matrixnorm.
![Page 102: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/102.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Die induzierte Matrixnorm
Sei ‖ · ‖1 eine Norm auf dem Cn und ‖ · ‖2 eine Norm aufdem Cm.
Der Ausdruck
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
, A ∈ Cm×n,
ist eine Norm auf dem Matrizenraum Cm×n.
‖A‖1→2 heißt (von ‖ · ‖1‖ und ‖ · ‖2) induzierte Matrixnorm.
Die induzierte Matrixnorm auf dem Rm×n ist analog definiert.
![Page 103: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/103.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Zwei wichtige Tatsachen
Offenbar gilt
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
= sup‖x‖1=1
‖Ax‖2.
Homogenitätsargument!
![Page 104: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/104.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Zwei wichtige Tatsachen
Offenbar gilt
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
= sup‖x‖1=1
‖Ax‖2.
Homogenitätsargument!
Die Menge {x : ‖x‖1 = 1} ist kompakt, so dass die stetigeFunktion x 7→ ‖Ax‖2 das Maximum annimmt.
![Page 105: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/105.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Zwei wichtige Tatsachen
Offenbar gilt
‖A‖1→2 = supx∈Cn\{0}
‖Ax‖2
‖x‖1
= sup‖x‖1=1
‖Ax‖2.
Homogenitätsargument!
Die Menge {x : ‖x‖1 = 1} ist kompakt, so dass die stetigeFunktion x 7→ ‖Ax‖2 das Maximum annimmt.
Wir können daher auch gleich
‖A‖1→2 = maxx∈Cn\{0}
‖Ax‖2
‖x‖1
schreiben.
![Page 106: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/106.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Normeigenschaft
Aufgrund der letzten Darstellung existiert ‖A‖1→2.
![Page 107: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/107.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Normeigenschaft
Aufgrund der letzten Darstellung existiert ‖A‖1→2.
‖A‖1→2 = 0 gilt genau dann, wenn Ax = 0 für alle x , alsoA = 0.
![Page 108: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/108.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Normeigenschaft
Aufgrund der letzten Darstellung existiert ‖A‖1→2.
‖A‖1→2 = 0 gilt genau dann, wenn Ax = 0 für alle x , alsoA = 0.
Die positive Homogenität folgt aus der positivenHomogenität von ‖ · ‖2
‖αA‖1→2 = sup‖x‖1=1
‖αAx‖2 = |α| sup‖x‖1=1
‖Ax‖2 = |α| ‖A‖1→2,
![Page 109: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/109.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Dreiecksungleichung
Die Dreiecksungleichung folgt analog aus derDreiecksungleichung für ‖‖2
‖A + B‖1→2 = sup‖x‖1=1
‖Ax + Bx‖2
![Page 110: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/110.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis der Dreiecksungleichung
Die Dreiecksungleichung folgt analog aus derDreiecksungleichung für ‖‖2
‖A + B‖1→2 = sup‖x‖1=1
‖Ax + Bx‖2
≤ sup‖x‖1=1
‖Ax‖2 + sup‖x‖1=1
‖Bx‖2
= ‖A‖1→2 + ‖B‖1→2.
![Page 111: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/111.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Verträglichkeit
Sei ‖ · ‖M eine Matrixnorm auf Cn×n und ‖ · ‖V eineVektornorm auf Cn.
![Page 112: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/112.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Verträglichkeit
Sei ‖ · ‖M eine Matrixnorm auf Cn×n und ‖ · ‖V eineVektornorm auf Cn.
‖ · ‖M heißt verträglich mit ‖ · ‖V , wenn
‖Ax‖V ≤ ‖A‖M‖x‖V ∀A ∈ Cn×n ∀x ∈ Cn.
![Page 113: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/113.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind verträglich,
|Ax | ≤ |A| |x |
![Page 114: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/114.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind verträglich,
|Ax | ≤ |A| |x |
was man mit Hilfe der Cauchy-Ungleichung beweist,
|Ax |2 =∑
j
∣
∣
∣
∑
k
ajkxk
∣
∣
∣
2
![Page 115: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/115.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind verträglich,
|Ax | ≤ |A| |x |
was man mit Hilfe der Cauchy-Ungleichung beweist,
|Ax |2 =∑
j
∣
∣
∣
∑
k
ajkxk
∣
∣
∣
2
≤∑
j
(
∑
k
|ajk |2 ×∑
k
|xk |2)
=∑
j ,k
|ajk |2∑
k
|xk |2 = |Ax |2|x |2.
![Page 116: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/116.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 2
Die von einer Vektornorm ‖ · ‖V induzierte Matrixnorm‖ · ‖V→V ist mit dieser Vektornorm verträglich
‖Ax‖V ≤ ‖A‖V→V ‖x‖V .
![Page 117: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/117.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 2
Die von einer Vektornorm ‖ · ‖V induzierte Matrixnorm‖ · ‖V→V ist mit dieser Vektornorm verträglich
‖Ax‖V ≤ ‖A‖V→V ‖x‖V .
Dies folgt aus der Definition der induzierten Norm: ‖A‖V→V
ist nämlich die kleinste Konstante c, so dass
‖Ax‖V ≤ c‖x‖V
für alle x richtig ist.
![Page 118: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/118.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Submultiplikativität
Sei ‖ · ‖M eine Matrixnorm auf Cn×n.
![Page 119: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/119.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Submultiplikativität
Sei ‖ · ‖M eine Matrixnorm auf Cn×n.
‖ · ‖M heißt submultiplikativ, wenn
‖AB‖M ≤ ‖A‖M‖B‖M ∀A,B ∈ Cn×n.
![Page 120: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/120.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind submultiplikativ
|AB| ≤ |A| |B |
![Page 121: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/121.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind submultiplikativ
|AB| ≤ |A| |B |
wegen
|AB|2 =∑
j ,l
∣
∣
∣
∑
k
ajkbkl
∣
∣
∣
2
≤∑
j ,l
(
∑
k
|ajk |2 ×∑
k
|bkl |2))
![Page 122: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/122.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 1
Euklidische Normen sind submultiplikativ
|AB| ≤ |A| |B |
wegen
|AB|2 =∑
j ,l
∣
∣
∣
∑
k
ajkbkl
∣
∣
∣
2
≤∑
j ,l
(
∑
k
|ajk |2 ×∑
k
|bkl |2))
= |A|2|B |2.
![Page 123: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/123.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 2
Die von einer Vektornorm ‖ · ‖V induzierte Matrixnorm‖ · ‖V→V ist auch submultiplikativ wegen der Verträglichkeit
‖AB‖V→V = sup‖x‖V=1
‖ABx‖V ≤ sup‖x‖V=1
‖A‖V→V ‖Bx‖V
![Page 124: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/124.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beispiel 2
Die von einer Vektornorm ‖ · ‖V induzierte Matrixnorm‖ · ‖V→V ist auch submultiplikativ wegen der Verträglichkeit
‖AB‖V→V = sup‖x‖V=1
‖ABx‖V ≤ sup‖x‖V=1
‖A‖V→V ‖Bx‖V
≤ sup‖x‖V=1
‖A‖V→V ‖B‖V→V ‖x‖V
= ‖A‖V→V ‖B‖V→V
![Page 125: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/125.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Notation
Sei A ∈ Cm×n. Wenn nichts anderes gesagt wird, ist
‖A‖ = supx 6=0
|Ax ||x | .
![Page 126: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/126.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Notation
Sei A ∈ Cm×n. Wenn nichts anderes gesagt wird, ist
‖A‖ = supx 6=0
|Ax ||x | .
d.h. ‖ · ‖ ohne irgendwelche Indizes ist immer die von deneuklidischen Normen induzierte Matrixnorm.
![Page 127: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/127.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Charakterisierung von ‖ · ‖
Lemma Für A ∈ Cn×n gilt
‖A‖ = ρ(AAH)1/2 = ρ(AHA)1/2,
wobei ρ(B) den betragsmäßig größten Eigenwert von Bbezeichnet.
![Page 128: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/128.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Charakterisierung von ‖ · ‖
Lemma Für A ∈ Cn×n gilt
‖A‖ = ρ(AAH)1/2 = ρ(AHA)1/2,
wobei ρ(B) den betragsmäßig größten Eigenwert von Bbezeichnet.
Ist A ∈ Cn×n hermitesch, so gilt
‖A‖ = ρ(A).
![Page 129: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/129.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Es gilt
‖A‖2 = supx 6=0
(Ax ,Ax)
(x , x)= sup
x 6=0
(AHAx , x)
(x , x).
![Page 130: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/130.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Es gilt
‖A‖2 = supx 6=0
(Ax ,Ax)
(x , x)= sup
x 6=0
(AHAx , x)
(x , x).
Wegen (AHA)H = AHA ist AHA hermitesch und wegen
(AHAx , x) = (Ax ,Ax) = |Ax |2 ≥ 0
ist AHA positiv semidefinit.
![Page 131: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/131.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Es gilt
‖A‖2 = supx 6=0
(Ax ,Ax)
(x , x)= sup
x 6=0
(AHAx , x)
(x , x).
Wegen (AHA)H = AHA ist AHA hermitesch und wegen
(AHAx , x) = (Ax ,Ax) = |Ax |2 ≥ 0
ist AHA positiv semidefinit.
Sie besitzt daher einen vollständigen Satz von Eigenvektorenv1, . . . , vn mit
AHAvj = λjvj und λj nichtnegativ.
![Page 132: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/132.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
In
‖A‖2 = supx 6=0
(AHAx , x)
(x , x).
setzen wir x =∑
j cjvj ein und erhalten wegen derOrthogonalität der vj
‖A‖2 = supc 6=0
(AHA∑
j cjvj ,∑
j cjvj)
(∑
j cjvj ,∑
j cjvj)= sup
c 6=0
∑
j λj |cj |2∑
j |cj |2.
![Page 133: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/133.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
In
‖A‖2 = supx 6=0
(AHAx , x)
(x , x).
setzen wir x =∑
j cjvj ein und erhalten wegen derOrthogonalität der vj
‖A‖2 = supc 6=0
(AHA∑
j cjvj ,∑
j cjvj)
(∑
j cjvj ,∑
j cjvj)= sup
c 6=0
∑
j λj |cj |2∑
j |cj |2.
Dieses Optimierungsproblem wird natürlich durch cn = 1,cj = 0 für 1 ≤ j ≤ n − 1 gelöst, wenn λn der größteEigenwert von AHA ist.
![Page 134: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/134.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Ist A hermitesch, so erhalten wir die Eigenwerte undEigenvektoren von AHA = A2 aus den Eigenwerten undEigenvektoren von A:
Av = λv ⇒ AHAv = A2v = λ2v .
![Page 135: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/135.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Weitere Beispiele von Matrizennormen
Auf dem Cm×n sind
(i) ‖A‖Z = maxj
∑nk=1
|ajk | (=Zeilensummennorm),
![Page 136: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/136.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Weitere Beispiele von Matrizennormen
Auf dem Cm×n sind
(i) ‖A‖Z = maxj
∑nk=1
|ajk | (=Zeilensummennorm),
(ii) ‖A‖S = maxk
∑mj=1
|ajk | (=Spaltensummennorm),
![Page 137: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/137.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Weitere Beispiele von Matrizennormen
Auf dem Cm×n sind
(i) ‖A‖Z = maxj
∑nk=1
|ajk | (=Zeilensummennorm),
(ii) ‖A‖S = maxk
∑mj=1
|ajk | (=Spaltensummennorm),
(iii) ‖A‖∞ = maxj ,k |ajk |.ebenfalls Matrizennormen.
![Page 138: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/138.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Weitere Beispiele von Matrizennormen
Auf dem Cm×n sind
(i) ‖A‖Z = maxj
∑nk=1
|ajk | (=Zeilensummennorm),
(ii) ‖A‖S = maxk
∑mj=1
|ajk | (=Spaltensummennorm),
(iii) ‖A‖∞ = maxj ,k |ajk |.ebenfalls Matrizennormen.
(i) und (ii) sind submultiplikativ.
![Page 139: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/139.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
‖A‖∞
ist nicht submultiplikativ wegen
(
1 11 1
)(
1 11 1
)
=
(
2 22 2
)
.
![Page 140: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/140.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.4 Stabilität linearer Gleichungssysteme
Sei A ∈ Cn×n (oder A ∈ Rn×n). Wir wollen das lineareGleichungssystem
Ax = b für b ∈ Cn
lösen.
![Page 141: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/141.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.4 Stabilität linearer Gleichungssysteme
Sei A ∈ Cn×n (oder A ∈ Rn×n). Wir wollen das lineareGleichungssystem
Ax = b für b ∈ Cn
lösen.
Satz Sei A regulär. Dann gilt für die Lösung x +∆x desgestörten Problems
A(x +∆x) = b +∆b
![Page 142: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/142.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
1.4 Stabilität linearer Gleichungssysteme
Sei A ∈ Cn×n (oder A ∈ Rn×n). Wir wollen das lineareGleichungssystem
Ax = b für b ∈ Cn
lösen.
Satz Sei A regulär. Dann gilt für die Lösung x +∆x desgestörten Problems
A(x +∆x) = b +∆b
die Abschätzung
|∆x ||x | ≤ ‖A‖ ‖A−1‖|∆b|
|b| .
![Page 143: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/143.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Konditionszahl
Die Zahlcond (A) = ‖A‖ ‖A−1‖
gibt die Verstärkung des relativen Fehlers bei ungenauerAuswertung der rechten Seite an und heißt deshalbKonditionszahl der Matrix A.
![Page 144: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/144.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Aus A∆x = ∆b folgt
∆x = A−1∆b ⇒ |∆x | ≤ ‖A−1‖ |∆b|.
![Page 145: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/145.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Beweis
Aus A∆x = ∆b folgt
∆x = A−1∆b ⇒ |∆x | ≤ ‖A−1‖ |∆b|.
Aus Ax = b erhalten wir entsprechend die Abschätzung|b| ≤ ‖A‖ |x | und damit die Behauptung.
![Page 146: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/146.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Anwendung
Bei iterativen Verfahren zur Lösung von Ax = b erhalten wirNäherungen x , aber kennen den Fehler |x − x | nicht. Wannsollen wir abbrechen?
![Page 147: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/147.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Anwendung
Bei iterativen Verfahren zur Lösung von Ax = b erhalten wirNäherungen x , aber kennen den Fehler |x − x | nicht. Wannsollen wir abbrechen?
Bestimme das Residuums r = b − Ax = A(x − x).
![Page 148: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/148.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Anwendung
Bei iterativen Verfahren zur Lösung von Ax = b erhalten wirNäherungen x , aber kennen den Fehler |x − x | nicht. Wannsollen wir abbrechen?
Bestimme das Residuums r = b − Ax = A(x − x).
x ist dann die exakte Lösung von Ax = b − r und für denrelativen Fehler gilt dann
|x − x ||x | ≤ cond (A)
|r ||b| .
![Page 149: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/149.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?
Anwendung
Bei iterativen Verfahren zur Lösung von Ax = b erhalten wirNäherungen x , aber kennen den Fehler |x − x | nicht. Wannsollen wir abbrechen?
Bestimme das Residuums r = b − Ax = A(x − x).
x ist dann die exakte Lösung von Ax = b − r und für denrelativen Fehler gilt dann
|x − x ||x | ≤ cond (A)
|r ||b| .
Mit x sind r und b bekannt, die Kondition von A mussallerdings geschätzt werden.
![Page 150: Themen: Grundlagen Gleitpunktzahlen und Maschinengenauigkeitdobro/num1/f1.pdf · i ∈ {0,1,...,9}, (= t gültige Stellen) Grundlagen Gleitpunktarithmetik](https://reader030.vdocuments.net/reader030/viewer/2022041209/5dd074d306d5421854453b31/html5/thumbnails/150.jpg)
Grundlagen
GleitpunktarithmetikundRundungsfehlerEin Beispiel
Vektor- undMatrizennormenStabilität linearerGleichungssysteme
Direkte Lösung
linearer Glei-
chungssysteme
Gauß Elimination
Die Cholesky-Zerlegung
Das Householder-Verfahren
WelchesVerfahren istvorzuziehen?