Diese Seite kann als Wiki2Reveal Folien angezeigt werden. Einzelne Abschnitte werden als Folien betrachtet und Änderungen an den Folien wirken sich sofort auf den Inhalt der Folien aus.

Alle Berechnungen auf digitalen Rechenanlagen können grundsätzlich nur mit endlicher Genauigkeit durchgeführt werden. Deshalb spielt die verwendete Zahlendarstellung eine wichtige Rolle.

Die Zahlen ${\displaystyle \pi }$ oder ${\displaystyle {\sqrt {2}}}$ besitzen z.B. als irrationale Zahlen eine unendliche nicht-periodische Dezimalbruchentwicklung.

Wenn die arithmetischen Operationen nicht symbolisch (wie in einem Computeralgebrasystem CAS), sondern numerisch durchgeführt werden, dann liefert z.B. die Verkettung von Wurzelziehen mit Quadrieren einen numerischen Fehler ${\displaystyle ({\sqrt {2}})^{2}\not =2}$, während die umgekehrte Verkettung ${\displaystyle {\sqrt {2^{2}}}=2}$ keine Zwischenergebnisse mit unendlicher Dezimalbruchentwicklung besitzt und damit das korrekte Ergebnis liefert.

Der Umgang mit Fehler und die Abschätzung von Fehlern in einem Algorithmus ist ein wesentlicher Aspekt in der Numerik, da man für die Nutzung von näherungsweisen Berechnungen in der Praxis z.B. abschätzen muss, ob gewisse Toleranzen bei möglichen Abweichung mit berechneten Fehlerschranken noch innerhalb der Toleranzgrenzen für das Problem liegen, für das das numerische Verfahren verwendet wird.

Bekanntlich ist die Zahl ${\displaystyle x:=311.57\ldots }$ im Dezimalsystem gleichbedeutend mit

${\displaystyle 3\cdot 10^{2}+1\cdot 10^{1}+1\cdot 10^{0}+5\cdot 10^{-1}+7\cdot 10^{-2}+\ldots }$

Man spricht in diesem Fall auch von einem ${\displaystyle b}$-adischen Bruch zur Basis ${\displaystyle b=10}$. Statt der bekannten Basis ${\displaystyle b:=10}$ in unserem Dezimalsystem kann man auch eine andere Basis ${\displaystyle b\in \mathbb {N} }$ mit ${\displaystyle b\geq 2}$ wählen. Wäre ${\displaystyle b:=8}$, so hätte beispielsweise die Zahl mit der Ziffernfolge ${\displaystyle 311.57\ldots }$ im 8er-System den Wert

${\displaystyle 3\cdot 8^{2}+1\cdot 8^{1}+1\cdot 8^{0}+5\cdot 8^{-1}+7\cdot 8^{-2}}$

Der Stellenwert ${\displaystyle 3\cdot 10^{2}}$ setzt sich also multiplikativ aus dem Ziffernwert ${\displaystyle 3}$ und dem Wert der Bündelungseinheit ${\displaystyle 10^{2}=100}$.

Stellenwert ${\displaystyle =}$ Ziffernwert ${\displaystyle \cdot }$ Bündelungseinheit

Die Bündelungseinheiten sind Potenzen ${\displaystyle b^{n}=10^{n}}$ einer Basis ${\displaystyle b=10}$ und die Ziffernwerte sind nicht-negative natürliche Zahlen, die 0 sein können und kleiner als die Basis der ${\displaystyle b=10}$ der Bündelungseinheit. Diese obere Grenze für die Ziffern ergibt sich aus dem Bündelungssystem, bei 10 Bündelungseinheiten mit einer Potenz ${\displaystyle n}$ zu einer Bündelungseinheit der Potenz ${\displaystyle n+1}$ zusammengefasst wird.

Die Ziffern ${\displaystyle z_{i}\in \{0,1,\ldots ,b-1\}}$ an der i-ten Stelle im Zahlwort erhält den Stellenwert werden nun bezüglich der Basis ${\displaystyle b}$ und deren Potenz an der i-ten Stelle ermittelt. So entspricht eines Zahlwortes der Zahl ${\displaystyle x}$ aus dem Dezimalsystem der reellen Zahl:

${\displaystyle {\begin{array}{rcl}x&=&\pm {\Bigl (}\underbrace {z_{n}b^{n}+\ldots +z_{0}b^{0}} _{\mbox{ganzzahliger Anteil}}+\underbrace {z_{-1}b^{-1}+z_{-2}b^{-2}+\ldots } _{\mbox{Nachkommanstellen}}{\Bigr )}\\&=&\pm \displaystyle \sum _{i=-\infty }^{n}m_{i}b^{i}\\\end{array}}}$

Praktisch wichtig sind dabei die Basen

• ${\displaystyle b=2:\quad {\text{Dualbasis}},\,m_{i}\in \{0,1\},}$,
• ${\displaystyle b=10:\quad {\text{Dezimalbasis}},\,m_{i}\in \{0,1,\ldots ,9\},}$,
• ${\displaystyle b=16:\quad {\text{Hexadezimalbasis}},\,m_{i}\in \{0,1,\ldots ,9,A,B,C,D,E,F\},}$
• ${\displaystyle b=60:\quad {\text{Sexagesimalbasis}},\,m_{i}\in \{0,1,\ldots ,58,59\}{\text{(auch }}6\times 10{\text{-er Basis genannt, da die Zahlen bis zur 60 im Dezimalsystem dargestellt werden)}}.}$

• Die Babylonier beispielsweise verwendeten die Basis ${\displaystyle b=60}$ (Sexagesimalsystem).
• Die Römer verwendeten kein reines Bündelungs bzgl. einer Basis ${\displaystyle b}$, sondern eine alternierende Zwei-Fünfer-Bündelung angelehnt ist, bei der fünf Einer "I" zu einem Fünfer "V", 2 Fünfer "V" zu einem Zehner "X", 5 Zehner "X" zu einem Fünfziger "L", 2 Fünfziger "L" zu einem Hunderter "C", ...

Die Notationsform der Römer besitzt ferner subtrahierende Notationen wie z.B. "IX"=4 und einen Zeichenverwendung für Bündelungseinheiten negative Eigenschaften, die diese Zahlennotation für arithmetische Operationen und damit auch für die Numerik ungeeignet machen.

Die folgenden Bespiele zeigen:

• Umrechungen von dem b-adischen Stellenwertsystem in das dezimale Stellenwertsystem
• Umrechungen von dem das dezimale Stellenwertsystem in b-adischen Stellenwertsystem
• Addition in b-adischen Stellenwertsystemen
• Multiplikation in b-adischen Stellenwertensystem

Mit ${\displaystyle b=2}$, dem sog. dyadischen Bruch ${\displaystyle 11100.10_{(b)}}$ entspricht im Dezimalsystem die Zahl

${\displaystyle 1\cdot 2^{4}+1\cdot 2^{3}+1\cdot 2^{2}+0\cdot 2^{1}+0\cdot 2^{0}+1\cdot 2^{-1}=16+8+4+{\frac {1}{2}}=28.5}$

${\displaystyle b=16.}$ Im 16-er-System fehlen uns im Vergleich zu dem Dezimalsystem 6 zusätzliche Ziffern für die Zahlen A=10, B=11, C=12, D=13, E=14, F=15. Der ${\displaystyle b}$-adische Bruch ${\displaystyle C17.E_{(b)}}$ zur Basis ${\displaystyle b=16}$ bedeutet im Dezimalsystem die Zahl

${\displaystyle 12\cdot 16^{2}+1\cdot 16^{1}+7\cdot 160+14\cdot 16^{-1}=3095.875.}$

Will man umgekehrt eine Dezimalzahl bezüglich einer anderen Basis ${\displaystyle b\not =10}$ dargestellt werden soll, so verwendet man eine fortgesetzte Division mit Rest (siehe Euklidischer Algorithmus), die dann aber nicht notwendigerweise terminiert, sondern auch Vielfache von Bündelungseinheiten mit negativen Potenzen betrachtet werden (also z.B. ${\displaystyle 2^{-1}={\frac {1}{2}}}$) weiter forgesetzt wird, um damit auch die Ziffernwerte der Nachkommastellen zu ermitteln.

Gegeben sei die Zahl ${\displaystyle x:=60.125}$ im Dezimalsystem. Diese sei nun mittels einer anderen Basis dargestellt (hier ${\displaystyle b=2}$).

• ${\displaystyle b=2}$: (Als Vielfache der Potenzen von 2 stehen nur die Ziffern 0 und 1 zur Verfügung, und für die erste Stelle nur die 1.)
• Man ermittelt zuerst die höchste Potenz ${\displaystyle 2^{n}}$ von 2, mit der Eigenschaft ${\displaystyle 2^{n}\leq 60.125}$. Wegen ${\displaystyle 2^{5}=32}$ und ${\displaystyle 2^{6}=64}$ findet man die Potenz ${\displaystyle n=5}$.
• Damit erhält man die erste Ziffer im Dualsystem mit ${\displaystyle 2^{5}=32=100000_{(2)}}$
• Die Division mit Rest wird nun mit ${\displaystyle 2^{4}=16=10000_{(2)}}$ auf den Rest ${\displaystyle 60.125-2^{5}=28.125}$ fortgesetzt.

• In dem Rest ${\displaystyle 60.125-2^{5}=28.125}$ steckt das 1-fache von ${\displaystyle 2^{4}=16=10000_{(2)}}$,
• in dem verbleibenden Rest ${\displaystyle 28.125-2^{4}=12.125}$ steckt nun einmal die Bündelungseinheit ${\displaystyle 2^{3}=8=1000_{(2)}}$,
• der nächste Rest ${\displaystyle 4.125}$ enthält wieder das einmal die Bündelungseinheit ${\displaystyle 2^{2}=4=100_{(2)}}$,
• die Zahl ${\displaystyle 0.125}$ das 0-fache von ${\displaystyle 2^{1}=2=10_{(2)}}$ sowie das 0-fache von ${\displaystyle 2^{0}=1=1_{(2)}}$,

Der ganzzahlige Anteil ${\displaystyle 60}$ von ${\displaystyle 60.125}$ lässt sich damit durch die Dualzahl ${\displaystyle 111100_{(2)}=60}$ darstellen.

Es fehlt also noch die Darstellung der Nachkommanstellen ${\displaystyle 0.125}$ im Dualsystem. Daher werden nun Bündelungseinheit ${\displaystyle b^{n}}$ mit negativem Exponenten betrachtet.

• die Zahl ${\displaystyle 0.125}$ das 0-fache von ${\displaystyle 2^{-1}=0.5}$
• sowie das 0-fache von ${\displaystyle 2^{-2}=0.25}$ und schließlich
• das 1-fache von ${\displaystyle 2^{-3}=0.125}$

Damit ergibt sich aus der ${\displaystyle b}$-adischen Darstellung ${\displaystyle 60=111100_{(2)}}$ und der Berechnung der Nachkommastellen im Dualsystem ${\displaystyle 0.125=0.001_{(2)}}$ die gesamte ${\displaystyle b}$-adische Darstellung von ${\displaystyle 60.125}$ durch:

${\displaystyle 60.125=111100_{(2)}+0.001_{(2)}=111100.001_{(2)}}$

${\displaystyle b=8}$: (Als Vielfache der Potenzen von 8 stehen jetzt die Ziffern ${\displaystyle 0,1,\ldots ,7}$ zur Verfügung bzw. für die erste Stelle die Ziffern ${\displaystyle 1,2,\ldots ,7}$.) Es ergibt sich mit einer analogen Rechnung die 8-adische Zahldarstellung von ${\displaystyle 60.125}$ über:

${\displaystyle 60.125=7\cdot 8^{1}+4\cdot 8^{0}+1\cdot 8^{-1}=74.1_{(b)}}$

Also entspricht ${\displaystyle 60.125}$ im Dezimalsystem der Zahl ${\displaystyle 74.1_{(b)}}$ zur Basis ${\displaystyle b=8}$.

Um Zahlen in einem b-adischen Stellenwertsystem von der Darstellung im Dezimalsystem zu unterscheiden, wird die Basis ${\displaystyle b}$ als Index an die Zifferndarstellung in dem jeweiligen System hinzugefügt.

${\displaystyle b=16}$: Man erhält

${\displaystyle 60.125=3\cdot 16^{1}+12\cdot 16^{0}+2\cdot 16^{-1}.}$

Es ergibt sich zur Basis ${\displaystyle b=16}$ die Zahl ${\displaystyle 3C.2_{(b)}}$.

Sei ${\displaystyle b\in \mathbb {N} }$ und ${\displaystyle b\geq 2}$. Dann lässt sich jede reelle Zahl in einen ${\displaystyle b}$-adischen Stellenwertsystem zur Basis ${\displaystyle b}$ darstellen.

Die Beweisidee nutzt das oben beschriebene Kontruktionsverfahren für die Ziffern in induktiver Form. Dabei ist zu bemerken, dass endliche Dezimalbruchentwicklung periodische unendliche Nachkommastellen in der Matisse der ${\displaystyle b}$-adischen Zahldarstellung besitzen kann und umgekehrt.

Die folgenden Aufgaben gliedern sich in zwei Bereiche:

• Umrechnung von einem b-adischen Stellenwertsystem in ein anderes b-adisches Stellenwertsystem,
• arithmetische Operationen in Stellenwertsystemen und die Betrachtung von Rechenregeln im Dezimalsystem und deren Analogie in Analogie b-adischen Stellenwertsystem

Erstellen Sie in Tabellenkalkulation mit LibreOffice-Calc und dem Befehl =REST(...;...) (z.B. =REST(566;7) liefert den Rest bei Division durch 7 von 566 zurück). Versuchen Sie bei der Umrechnung die mathematischen Operationen stellenweise berücksichtigen. Beim Wechsel des Stellenwertsystems und das Basis der Bündelungseinheit soll dabei die Zahl im ${\displaystyle b}$-adischen Zahlensystem automatisch umgerechnet werden.

Hilfen zur Umsetzung:

• Rechnen Sie die Zahl ${\displaystyle 123}$ in das 7-adische System um.
• Rechnen Sie die Zahl ${\displaystyle 123_{(7)}}$ aus dem 7-adischen Stellenwertsystem in das Dezimalsystem um.
• Stellen Sie die Bruch ${\displaystyle {\frac {1}{7}}}$ einmal im Dezimalenstellenwertsystem und einmal im 7-adischen Stellenwertsystem dar. Was fällt Ihnen bei der Umwandlung des Bruches auf und welche Begründung können Sie dafür angeben (bzgl. periodischer ${\displaystyle b}$-adischer Zahldarstellung).

• Addieren Sie die Zahlen ${\displaystyle 345_{(7)}+654_{(7)}}$ im 7-adischen Stellenwertsystem ohne Umrechnung in das Dezimalsystem. Übertragen Sie dabei die Rechenregeln im Dezimalsystem auf das 7-adischen Stellenwertsystem,
• Multiplizieren Sie die Zahlen ${\displaystyle 12_{(7)}\cdot 4_{(7)}}$ im 7-adischen Stellenwertsystem ohne Umrechnung in das Dezimalsystem. Übertragen Sie dabei die Rechenregeln im Dezimalsystem auf das 7-adischen Stellenwertsystem,
• Multiplizieren Sie die Zahlen ${\displaystyle 0.012_{(7)}\cdot 4_{(7)}}$ im 7-adischen Stellenwertsystem ohne Umrechnung in das Dezimalsystem. Welche Analogien können Sie dabei zu Rechenregeln im Dezimalsystem identifizieren,
• Berechnen Sie die Division ${\displaystyle 11_{(7)}:4_{(7)}}$, ${\displaystyle 12_{(7)}:4_{(7)}}$ und ${\displaystyle 345_{(7)}:4_{(7)}}$ (Notieren Sie dazu die Vielfachen von ${\displaystyle 4_{(7)}}$ im 4-adischen System).

Wir gehen nun von einer Zahlendarstellung von ${\displaystyle x\in \mathbb {R} }$ mittels der Basis ${\displaystyle b\in \mathbb {N} }$ mit ${\displaystyle b\geq 2}$ und den Ziffern ${\displaystyle z_{i}\in \{0,1,\ldots ,b-1\}}$ aus, d. h. von einer Darstellung

${\displaystyle x=\pm \sum _{i=-\infty }^{n}z_{i}b^{i}}$

mit ${\displaystyle z_{n}\neq 0}$.

Für eine Bündelungseinheit/Basis ${\displaystyle b>10}$ kann die Ziffer ${\displaystyle z_{i}}$ in der dezimalen Darstellung also auch eine Ziffer mit mehr als einer Stelle sein. Im Hexadezimalsystem (16er-System) verwendet man in der Regel Buchstaben für die Ziffern 10,...,15. Also

${\displaystyle A=10,\,B=11,\,C=12,\,D=13,\,E=14,F=15}$

Durch Abschneiden dieses unendlichen Ausdrucks ergibt sich eine endliche Zahlendarstellung

${\displaystyle {\begin{array}{rcl}x&=&\pm {\Bigl (}z_{n}b^{n}+m_{n-1}b^{n-1}+\ldots +z_{0}b^{0}+z_{-1}b^{-1}+z_{-2}b^{-2}+\ldots {\Bigr )}\\&=&\pm \displaystyle \sum _{i=-\infty }^{n}z_{i}\cdot b^{i}\\\end{array}}}$

Digitale Rechenanlagen, kurz Computer oder Rechner, arbeiten meist mit einer normalisierten (endlichen) Gleitkomma-Darstellung reeller Zahlen

${\displaystyle x:=\pm \sum _{i=-\infty }^{n}z_{i}b^{i},}$

wobei

• der ganzzahlige Anteil durch ${\displaystyle G(x):=\pm \sum _{i=0}^{n}z_{i}b^{i}}$ und
• die Nachkommastellen, die sog. Mantisse ${\displaystyle M(x):=\pm \sum _{i=-\infty }^{-1}z_{i}b^{i},}$ entspricht.

Die folgende Zahldarstellung ${\displaystyle z_{n}\ldots z_{0}.z_{-1}\ldots z_{-m_{(b)}}}$ mit ${\displaystyle m+n+1}$ Ziffern und ${\displaystyle z_{n}\not =0}$ kann man als Zahlwort in einen ganzzahligen Teil und eine Nachkommateil (Mantisse) zerlegen.

In Analogie zum Dezimalsystem kann man im ${\displaystyle b}$-adischen Stellen den ganzahligen Teil des Zahlwortes an den Ziffern vor dem Dezimalpunkt ablesen. Formal liefert das:

${\displaystyle G(x)=z_{n}\ldots z_{0_{(b)}}}$

In der obigen Matisse einer Zahl ${\displaystyle x}$ sieht man eine endliche ${\displaystyle b}$-adische Zahldarstellung mit ${\displaystyle m}$ Nachkommastellen.

In Analogie zum Dezimalsystem kann man auch im ${\displaystyle b}$-adischen Stellen das Zahlwort für die Nachkommanstellen als Zeichenfolge zusammensetzen

${\displaystyle M(x)=0.z_{-1}\ldots z_{-m_{(b)}}}$

In der obigen Matisse einer Zahl ${\displaystyle x}$ sieht man eine endliche ${\displaystyle b}$-adische Zahldarstellung mit ${\displaystyle m}$ Nachkommastellen.

Da man mit der Ziffernfolge im Zahlwort zunächst einmal nur nicht negative Zahlen definieren kann, fehlt für die Zahldarstellung in ${\displaystyle \mathbb {R} }$ noch das Vorzeichen, das die Zeichen "${\displaystyle +}$" oder "${\displaystyle -}$" annehmen kann. Zahldarstellung im ${\displaystyle p}$-adischen System haben daher in Ziffernnotation eine nachstehende Zeichenfolge. ${\displaystyle \pm z_{n}\ldots z_{0}.z_{-1}\ldots z_{-m_{(b)}}}$

Bei einer normalisierten Gleitkommadarstellung verwendet man nur eine Matissen und eine Exponenten für die Bündelungseinheit des Stellenwertsystems, mit dem die Ziffernfolge in der Mantisse durch Multiplikation mit Potenzen von ${\displaystyle b}$ auch den ganzzahligen Anteil einer reellen Zahl darstellen kann.

${\displaystyle \pm z_{n}\ldots z_{0}.z_{-1}\ldots z_{-m_{(b)}}=0.z_{n}\ldots z_{0}z_{-1}\ldots z_{-m_{(b)}}\cdot b^{n+1}}$

Bei einer normalisierten Gleitkommadarstellung verwendet man nur eine Matissen und eine Exponenten, mit dem die Ziffernfolge in der Mantisse durch Multiplikation mit Potenzen von ${\displaystyle b}$ dann als erste Nachkommastelle ${\displaystyle z_{-k}}$ eine von 0 verschiedene Ziffer besitzt und die folgende reelle Zahl darstellen kann.

${\displaystyle \pm 0.0\ldots 0z_{-k}\ldots z_{-m_{(b)}}=0.z_{-k}\ldots z_{0}z_{-1}\ldots z_{-m_{(b)}}\cdot b^{n+1}}$

Für die Notation einer normalisierten Gleitkommadarstellung ${\displaystyle m\cdot b^{n}}$ benötigt man 3 Festlegungen ${\displaystyle (b,r,s)}$:

• ${\displaystyle b}$ als Basis/Bündelungseinheit der Zahlen im ${\displaystyle b}$-adischen Zahlsystem,
• ${\displaystyle r}$ die zur Verfügung stehende Ziffernzahl für die Mantisse der Zahl und
• ${\displaystyle s}$ die Anzahl der Ziffern für den Exponenten ${\displaystyle n}$ im ${\displaystyle b}$-adischen Zahlsystem der normalisierten Darstellung.

Wenn man z.B. eine periodische Zahldarstellung oder eine irrationale Zahl näherungsweise durch eine endliche ${\displaystyle b}$-adischen Zahldarstellung repräsentiert, entsteht ein Fehler. Einige Zahlen können aber ohne Fehler dargestellt werden. ${\displaystyle {\mathcal {A}}(b,r,s)}$ bezeichnet dann die Menge der exakt darstellbaren Zahlen im ${\displaystyle b}$-adischen Zahlsystem, das mit ${\displaystyle r}$ Nachkommastellen und ${\displaystyle s}$ sind die Stellen für den Exponenten der Bündelungseinheit. Eine Fehlerschranke kann in diesem Fall durch eine Potenz von ${\displaystyle b}$ angegeben werden.

Ob eine Zahl eine endliche oder unendliche Darstellung im ${\displaystyle b}$-adischen Zahlsystem hängt von der Bündelungseinheit ab.

• ${\displaystyle {\frac {1}{7}}}$ hat im Dezimalsystem eine periodische Dezimalbruchentwicklung,
• ${\displaystyle {\frac {1}{7}}}$ hat im 7er-System mit ${\displaystyle 0.1_{(7)}}$ eine endliche ${\displaystyle p}$-adische Zahldarstellung,

Bei der normalisierten Gleitkommadarstellung wird ein Zahl ${\displaystyle x=m\cdot b^{n}}$ dargestellt, wobei ${\displaystyle |m|<1}$ maximal ${\displaystyle s}$ Nachkommastellen besitzt.

Sei ${\displaystyle b:=10}$: Die Zahl ${\displaystyle -30.421}$ lautet (bei Nichtberücksichtigung der Größen ${\displaystyle r}$ und ${\displaystyle s}$) in normalisierter Gleitkomma-Darstellung ${\displaystyle -0.30421\cdot 10^{2}}$. Letztere Darstellung schreibt man z.B. für ${\displaystyle r:=6}$ und ${\displaystyle s:=2}$ auch in der Form ${\displaystyle -0.304210E+02}$ oder ${\displaystyle -0.304210_{10}+02}$.

Die Zahl ${\displaystyle -0.00030421}$ lautet in der normalisierten Gleitkomma-Darstellung für ${\displaystyle r:=6}$ und ${\displaystyle s:=-3}$ z. B. ${\displaystyle -0.304210E-03}$ oder ${\displaystyle -0.304210_{10}-03}$.

Eine normalisierte Gleitkomma-Darstellung mit der Basis ${\displaystyle b}$, beispielsweise ${\displaystyle b:=10}$ oder ${\displaystyle b:=2}$, bestimmt die Menge ${\displaystyle {\mathcal {A}}:={\mathcal {A}}(b;r;s)}$ reeller Zahlen, die auf dem Rechner mit ${\displaystyle s}$ Nachkommatellen exakt dargestellt werden können, die sog. Maschinenzahlen. ${\displaystyle r}$ gibt dabei dei Stellen für den Exponenten von ${\displaystyle b}$. Eine solche Zahlendarstellung ermöglicht also nur die Repräsentation einer endlichen Teilmenge der reellen Zahlen.

Die kleinste darstellbare positive Zahl ${\displaystyle a_{\min }}$ durch

${\displaystyle M:=0.1,\quad E:=-\underbrace {(b-1)(b-1)\ldots (b-1)} _{s-mal}}$

Die größte positive Zahl ${\displaystyle a_{\max }}$ ist durch

${\displaystyle M:=0.\underbrace {(b-1)(b-1)\ldots (b-1)} _{r-mal},\quad E:=+\underbrace {(b-1)(b-1)\ldots (b-1)} _{s-mal}}$

gegeben. Die Mantisse ${\displaystyle M}$ von ${\displaystyle a_{\min }}$ entspricht offenbar der Dezimalzahl ${\displaystyle b^{-1}}$ und die von ${\displaystyle a_{\max }}$ der Dezimalzahl

Der Exponent ${\displaystyle E}$ für beide Zahlen ist bis auf das Vorzeichen gegeben durch die Dezimalzahl

Somit haben ${\displaystyle a_{\min }}$ und ${\displaystyle a_{\max }}$ den Dezimalwert

Ist ${\displaystyle D}$ die reelle Zahlenmenge

so können also insbesondere Zahlen ${\displaystyle x\notin D}$ nicht auf dem Rechner wiedergegeben werden. Im Fall ${\displaystyle x>a_{\max }}$ und ${\displaystyle x<-a_{\max }}$ melden alle Rechner normalerweise einen Exponentenüberlauf („overflow“), während sie im Fall ${\displaystyle x\in (-a_{\min },a_{\min })}$ meist keine Meldung machen und ${\displaystyle x=0}$ setzen.

Ferner ist offenbar nicht jede Zahl ${\displaystyle x\in D}$ auf dem Rechner, d. h. als ${\displaystyle x\in A}$ darstellbar (z. B. trifft dies für die Zahlen ${\displaystyle \pi }$ und ${\displaystyle {\sqrt {2}}}$ zu). Somit stellt sich das Problem, eine Zahl ${\displaystyle x\in D}$ durch eine Zahl aus ${\displaystyle A}$ zu approximieren. Man verwendet hierzu einen Rundungsoperator ${\displaystyle \operatorname {rd} :D\to A}$, der jeder Zahl ${\displaystyle x\in D}$ eine Zahl ${\displaystyle \operatorname {rd} (x)\in A}$ zuordnet, welche sinnvollerweise der folgenden Beziehung genügt:

Im Fall, dass die Aufgabe in (1.2) zwei Lösungen besitzt, rundet man dabei normalerweise (wir legen dies hier auch so fest) z. B. für ${\displaystyle b:=10}$ und eine Endziffer 5 nach oben.

Sei ${\displaystyle b:=10,r:=4}$ und ${\displaystyle s:=2}$. Dann gilt

Allgemein kann man für ${\displaystyle b:=10}$ und eine Mantissenlänge ${\displaystyle r}$ die zu einer beliebigen Zahl ${\displaystyle x\in D}$ gehörende Maschinenzahl ${\displaystyle \operatorname {rd} (x)\in A}$ folgendermaßen finden. Es sei dazu ${\displaystyle x\in D}$ zunächst in der Form ${\displaystyle x=a\cdot 10^{q}}$ dargestellt, wobei ${\displaystyle q\in \mathbb {Z} }$ und

mit ${\displaystyle 0\leq \alpha _{i}\leq 9}$ und ${\displaystyle \alpha _{1}\neq 0}$ seien. Insbesondere ist also ${\displaystyle |a|\geq 0.1}$. Zu ${\displaystyle a}$ bildet man nun

und setzt dann

Offenbar ist die Zahl ${\displaystyle \operatorname {rd} (x)}$ für jedes ${\displaystyle x\in D}$ eine Maschinenzahl, d. h. ${\displaystyle \operatorname {rd} (x)\in A}$.

Für ${\displaystyle b:=10,r:=4}$ und ${\displaystyle s:=2}$ folgt

Für den mit der Rundung verbundenen absoluten Fehler hat man

und für den relativen Fehler, sofern ${\displaystyle x\neq 0}$ ist,

Bei einer analogen Definition der Rundungsoperation für die Basis ${\displaystyle b}$ erhält man

Diese Vorgehensweise führt auf die Definition der sogenannten relativen Maschinengenauigkeit

Mit dieser gilt also

wie man mit der Setzung ${\displaystyle \varepsilon :=-(x-\operatorname {rd} (x))/x}$ sieht.

Die arithmetischen Grundoperationen ${\displaystyle +,-,*,/}$ werden auf digitalen Rechnern durch sog. Gleitpunktoperationen ersetzt, welche Maschinenzahlen wieder auf Maschinenzahlen abbilden. Sind ${\displaystyle a,b\in A}$, ist „${\displaystyle \circ }$“ eine der vier Grundoperationen, ${\displaystyle c:=a\circ b}$ und ${\displaystyle c\in D}$, so definiert man die zugehörige Gleitpunktoperation ${\displaystyle gl(a\circ b)}$ durch

Für sie gilt nach (1.3)

Für das Ergebnis ${\displaystyle c:=a\circ b}$ kann natürlich auch ${\displaystyle c\notin D}$ gelten. In diesem Fall meldet der Rechner normalerweise einen Exponentenüberlauf oder setzt er ${\displaystyle c:=0}$.

Der Einfluss von Störungen in den Daten auf die Lösung eines Problems sowie die Fortpflanzung von Eingangs- und Rundungsfehlern bei numerischen Algorithmen kann durch die sogenannte differentielle Fehleranalyse untersucht werden. Zu deren Beschreibung nehmen wir an, dass ein Problem bzw. eine Berechnungsvorschrift mittels einer zweimal stetig differenzierbaren Funktion ${\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}}$ durch die Gleichung

bzw. gleichbedeutend durch die Gleichungen

beschrieben wird. Dabei ist also ${\displaystyle x\in \mathbb {R} ^{n}}$ der Daten- und ${\displaystyle y\in \mathbb {R} ^{m}}$ der Ergebnis-Vektor. Für

gilt dann nach dem Satz von Taylor zeilenweise

so dass für hinreichend kleine ${\displaystyle |\Delta x_{j}|}$ der Restterm ${\displaystyle {\mathcal {O}}\left(\max _{j=1,\ldots ,n}|\Delta x_{j}|^{2}\right)}$ vernachlässigt werden kann und folglich der dominierende relative Fehler gegeben ist durch

mit

Die Größen ${\displaystyle k_{ij}(x)}$ entscheiden demnach über den Einfluss der relativen Fehler ${\displaystyle |\Delta x_{j}|/|x_{j}|}$ in den Daten auf den relativen Fehler ${\displaystyle |\Delta y_{i}|/|y_{i}|}$ im Ergebnis. Sie werden deshalb häufig auch Verstärkungsfaktoren genannt. Im Fall, dass die Ausgangsgleichung einen Algorithmus beschreibt, sagt man, dass dieser stabil ist, wenn alle ${\displaystyle k_{ij}(x)}$ „klein“, idealerweise ungefähr gleich 1 sind. Anderenfalls sagt man, er ist instabil.

Im Fall, dass die Ausgangsgleichung ein mathematisches Problem beschreibt, spricht man bei den ${\displaystyle k_{ij}(x)}$ auch von Konditionszahlen (engl. to condition = bedingen, bestimmen). Sind die Konditionszahlen dem Betrag nach groß, hat man also ein schlecht konditioniertes, anderenfalls ein gut konditioniertes Problem. Für manche Zwecke ist aber diese Definition von Konditionszahlen unpraktisch, so dass auch andere Größen als Konditionszahlen bezeichnet werden (vgl. Definition 2.18).

Die Lösungen ${\displaystyle \lambda _{1}}$ und ${\displaystyle \lambda _{2}}$ einer quadratischen Gleichung

sind gegeben durch

wobei wir hier davon ausgehen, dass die Gleichung zwei unterschiedliche reelle Lösungen besitzt, also

ist. Zur Analyse der Fehlerempfindlichkeit der beiden Lösungen von (1.6) in Abhängigkeit von den Eingabedaten ${\displaystyle p}$ und ${\displaystyle q}$ betrachten wir diese nun als Funktionen von ${\displaystyle p}$ und ${\displaystyle q}$. Wir untersuchen dazu die beiden Gleichungen

(Im Vergleich mit (1.4) ist ${\displaystyle x:=(p,q),m=2,f_{i}:=\lambda _{i}}$ und entsprechen die rechten Seiten in (1.8) den ${\displaystyle y_{i}}$.) Man hat dafür

Damit errechnet man

Hieraus ergeben sich die Verstärkungsfaktoren

Die Bestimmung der Lösungen von (1.6) ist somit für ${\displaystyle \lambda _{1}\approx \lambda _{2}}$ ein schlecht konditioniertes Problem. Zur Veranschaulichung geben wir ein Zahlenbeispiel. Es seien ${\displaystyle p:=2}$ und ${\displaystyle q:=3.999}$. Dann sind ${\displaystyle \lambda _{1}=2.01}$ und ${\displaystyle \lambda _{2}=1.99}$ die beiden Nullstellen von (1.6). Für die Verstärkungsfaktoren ergibt sich in diesem Fall

Somit ist zu erwarten, dass Eingabefehler in den Daten ${\displaystyle p}$ und ${\displaystyle q}$ in Bezug auf die Lösungen ${\displaystyle \lambda _{1}}$ und ${\displaystyle \lambda _{2}}$ von (1.6) um den 100- bis 200-fachen Wert verstärkt werden.

Wir wollen nun zwei unterschiedliche Algorithmen zur Berechnung von

betrachten und zwar unter den Bedingungen

In diesem Fall ist offenbar

d. h. für nicht zu kleine ${\displaystyle |p|}$ auch ${\displaystyle \lambda _{1}\gg \lambda _{2}}$ und somit das Problem der Bestimmung der Lösungen der quadratischen Gleichung (1.6) gut konditioniert. Ein „Lösungsalgorithmus“ könnte nun zunächst darin bestehen, hintereinander die folgenden Größen zu berechnen

Wegen ${\displaystyle p<0}$ sollte man als nächstes den unkritischen Wert

berechnen. Zur Berechnung von ${\displaystyle \lambda _{1}}$ betrachten wir nun zwei Varianten (vgl. (1.9)):

Da unter den Voraussetzungen (1.10) ${\displaystyle w\approx -p}$ gilt, tritt bei Variante A zwangsläufig Auslöschung auf. Betrachtet man ${\displaystyle \lambda _{1}}$ als Funktion in den Variablen ${\displaystyle p}$ und ${\displaystyle w}$, so erhält man für die Verstärkungsfaktoren

Also ist die Variante A im Fall (1.10) nicht stabil. Bei Variante B erhält man dagegen

D. h., der Algorithmus B ist stabil. Für ${\displaystyle p:=-2}$ und ${\displaystyle q:=0.01}$ ergibt sich bei exakter (bzw. 4-stelliger) Rechnung

Die exakte Lösung für ${\displaystyle \lambda _{1}}$ ist ${\displaystyle \lambda _{1}=-0.0025}$. Bei Rechnung mit 4-stelliger Mantisse erhält man im Fall der Variante B ${\displaystyle \lambda _{1}=-0.0025}$, während man für die Variante A ${\displaystyle \lambda _{1}=-0.0030}$ erhält mit einem relativen Fehler bezüglich der exakten Lösung von

Im Fall

gilt offenbar ${\displaystyle w\approx p}$. Somit ist die Berechnung von ${\displaystyle \lambda _{1}:=p+w}$ stabil möglich und von ${\displaystyle \lambda _{2}:=p-w}$ kritisch. Ein stabiler Algorithmus ergibt sich hier durch die Vertauschung der Rollen von ${\displaystyle \lambda _{1}}$ und ${\displaystyle \lambda _{2}}$ oben.

Wir nennen einen Algorithmus zur Lösung eines bestimmten Problems numerisch stabiler als einen zweiten zur Lösung desselben Problems, wenn der Gesamteinfluss aller Rundungsfehler auf die Lösung bei dem ersten Algorithmus kleiner als bei dem zweiten ist.

• absoluter Fehler
• relativer Fehler

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Numerik I' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Numerik%20I/Besonderheiten%20des%20numerischen%20Rechnens
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.