imported>Dk1909: gr

2026-04-01T11:08:39Z

Neue Seite

[[Datei:Exakt darstellbare Gleitkommazahlen.png|mini|Exakt darstellbare Gleitkommazahlen für verschiedene Mantissenlängen, Basis: 2, Exponent −3 bis 1]]
'''Gleitkommazahl''' ({{enS|floating-point number}}), auch '''Fließkommazahl''' genannt, bezeichnet eine [[Zahldarstellung]], die sich gleichermaßen für sehr große wie für sehr kleine [[Zahl]]en eignet. Sie besteht aus zwei Teilen, einem Exponenten ([[Hochzahl]]), der die [[Größenordnung]] angibt, gleichbedeutend mit der Position des Kommas, sowie einer [[Mantisse]], die den Wert genauer spezifiziert. Das unterscheidet sie von [[Festkommazahl]]en, zu denen auch die [[Ganze Zahl|Ganzzahlen]] gehören, die aus nur einer Ziffernfolge mit einer festgelegten Position des Kommas bestehen.

Üblicherweise werden Gleitkommazahlen im für Menschen gewohnten [[Zehnersystem]] verwendet, sowie im [[Zweiersystem]] auf Computern, beispielsweise

* für die praktischere Schreibweise sehr großer und sehr kleiner Zahlen in [[Wissenschaftliche Notation|wissenschaftlicher Notation]], Gleitkomma- bzw. Exponentialschreibweise, sowie
* für die Repräsentation von Zahlen in wissenschaftlichen Taschenrechnern und in Computern.

Beide Verwendungen sind miteinander verwandt, weisen aber signifikante Unterschiede auf.
Während erstere eine alternative Schreibweise für Zahlen ist (wie auch die Darstellung in anderen Basen) und keinen Einfluss auf die Zahl selbst hat,
stellt zweiteres ein Speicherformat für [[Rationale Zahl|rationale Zahlen]] in der Datenverarbeitung dar und ermöglicht Zahlenformate mit großem Wertebereich und gleichmäßiger relativer Genauigkeit über den Wertebereich.

Gleitkommazahlen bestehen aus einer festen Anzahl von Ziffern, die gemäß dem [[Stellenwertsystem]] den Wert der Zahl angeben, sowie der Angabe, um wie viele Stellen das [[Dezimaltrennzeichen|Komma]] nach links oder rechts verschoben werden muss, um die Zahl in der [[Dezimalsystem|Dezimalschreibweise]] zu erhalten. So beschreibt zum Beispiel die Angabe „12345 und das Komma 2 Stellen nach links“ die Zahl 123,45. Diese [[Zahldarstellung|Zahlendarstellung]] deckt durch das bewegliche Komma einen großen Zahlenraum ab und bietet durch die feste Anzahl von ausgeschriebenen Ziffern eine gute [[Genauigkeit#Genauigkeitsbegriff verschiedener Fachgebiete|Genauigkeit]].

Ob eine gegebene rationale Zahl eine Gleitkommazahl ist, hängt nicht von der Zahl selbst ab, sondern von dem gewählten Darstellungsformat. Die Computer der 1930er bis 1960er Jahre nutzten eine Vielzahl unterschiedlicher Darstellungsformate. Der 1985 erschienene Standard [[IEEE 754]] etablierte zwei Darstellungsformate, die sich seitdem durchgesetzt haben.

== Geschichtliche Entwicklung ==

Die erste dokumentierte Verwendung der Gleitkommaschreibweise fand im Jahr 1750 v. Chr. statt: Im Zweistromland ([[Mesopotamien]]) wurden wissenschaftliche Rechnungen mit der Basis <math>b = 60</math> durchgeführt und der Exponent (eine meistens kleine ganze Zahl) im Kopf mitgeführt.<ref>[[Otto Neugebauer]]: ''The exact sciences in antiquity.'' Princeton University Press, 1952.</ref><ref>[[Bartel Leendert van der Waerden]]: ''Science awakening.'' P. Noordhoff, Groningen, 1954.</ref><ref>[[Donald E. Knuth]]: ''Ancient Babylonian algorithms.'' In: ''Commun. ACM.'' 15, 1972, S. 671–677, Korr. in ''Commun. ACM.'' 19, 1976, S. 108.</ref><ref>[[Donald E. Knuth]]: ''[[The Art of Computer Programming]].'' Vol. 2: ''Seminumerical Algorithms.'' 3. Auflage. Addison-Wesley, 1997, S. 196.</ref> Dasselbe Vorgehen war später (seit etwa 1654) bei Berechnungen mit einem [[Rechenschieber]] üblich.

Im Jahr 1913 schrieb der spanische Ingenieur [[Leonardo Torres Quevedo]] seine ''Essays on Automatics'' und führte darin erstmals die Idee der Gleitkomma-Arithmetik in Computer ein.<ref name=RANDELL>{{ cite web|url=http://www.cs.ncl.ac.uk/publications/articles/papers/398.pdf |title=From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush |last1=Randell |first1=Brian |author-link1=Brian Randell |language=en |access-date=2013-09-09 |url-status=dead |archive-url=https://web.archive.org/web/20130921055055/http://www.cs.ncl.ac.uk/publications/articles/papers/398.pdf |archive-date=2013-09-21 }}</ref>

Erstmals in [[Computer]]n verwendet wurde eine Gleitkommadarstellung 1937 von [[Konrad Zuse]] in seinen Computern [[Z1 (Rechner)|Z1]] und [[Zuse Z3|Z3]].<ref name="Z1_2014">Rojas, R., Röder, J., Nguyen, H.: ''Die Prozessorarchitektur der Rechenmaschine Z1.'' In: ''Informatik Spektrum.'' Band 37, 2014, S. 341–347, {{DOI|10.1007/s00287-013-0749-1}}.</ref>

Das heute häufigste und bekannteste Gleitkommasystem wurde 1985 in der Norm [[IEEE 754]] definiert und ist in den meisten CPUs in Hardware implementiert. [[IEEE 854]] ist eine Norm für ''Gleitkomma-Dezimalzahlen'', also Basis 10 statt Basis 2. Beide Normen wurden in der überarbeiteten Fassung [[IEEE 754-2008]] zusammengeführt und erweitert.

== Schreibweisen ==
=== Festkommaschreibweise ===
[[Datei:NCR Registrierkasse Austria.jpg|mini|Registrierkasse mit 3 Stellen vor dem Komma und 2 Nachkommastellen]]

Das Rechenwerk von mechanischen und elektronischen Rechenmaschinen arbeitet mit Zahlen fester Länge. Beispiele dafür sind mechanische [[Registrierkasse]]n, bei denen im Anzeigebereich eine feste Anzahl von Ziffern verbaut ist. Registrierkassen werden eingesetzt, um Geldbeträge zu addieren. In den meisten Währungen werden Geldbeträge mit zwei Nachkommastellen angegeben, und die Beträge haben insbesondere im Einzelhandel eine praktische Obergrenze, daher reicht für diesen Anwendungsfall ein Zahlenraum aus, der 3 oder 4 Stellen vor dem Komma und 2 Nachkommastellen hat. Bei allen Zahlen, die die Registrierkasse anzeigen kann, hat das Komma dieselbe Position, daher heißt die Menge der so darstellbaren Zahlen '''Festkommazahlen''', im Beispiel der abgebildeten Registrierkasse „Festkommazahlen im Dezimalsystem ohne Vorzeichen mit 3 Stellen vor und 2 Stellen nach dem Komma“.

Mit dieser Schreibweise kann Exaktheit beabsichtigt und erreicht werden, und die [[Genauigkeit#Mathe|Genauigkeit]] ist eine absolute.

=== Exponentialschreibweise ===
Im naturwissenschaftlichen Bereich ist der [[Zahlenraum]] deutlich größer, bei Längenangaben reicht er vom Durchmesser des Protons (etwa 0,000 000 000 000 001 7 Meter bzw. 1,7 Femtometer) bis zum Durchmesser des Universums (etwa 880 000 000 000 000 000 000 000 000 Meter bzw. 880 Trilliarden Kilometer). Bei so großen oder kleinen Zahlen ist die Schreibweise durch die vielen Nullen unübersichtlich, daher hat sich dort eine andere Schreibweise etabliert, bei der die Zahl in ihre signifikanten Ziffern und eine Kommaverschiebung zerlegt wird. In dieser Schreibweise sind die Zahlen 1,7·10−15 und 8,8·1026 deutlich kürzer und dadurch einfacher zu erkennen. Die hinter der Basis 10 hochgestellte −15 bzw. 26 in dieser Exponentialschreibweise gibt an, um wie viele Stellen das Komma nach links bzw. nach rechts verschoben werden muss. Das Komma hat keine feste Position, sondern die Position ist beweglich, daher der Begriff Gleitkommazahl.

Mit dieser Schreibweise ist absolute Exaktheit normalerweise nicht beabsichtigt, und die relative Genauigkeit hängt eng mit der Anzahl der vorgesehenen signifikanten Stellen zusammen.

=== Schreibweisen für Gleitkommazahlen ===

* ''[[Wissenschaftliche Notation]]'' mit konsequenter Normalisierung auf <math>1 \le m < 10</math>
** Beispiel: 10000 = {{ZahlExp|1|4}}
* ''Technische Notation'' mit Normalisierung auf <math>1/f \le m < 1000</math>, mit ''f'' als Potenz der Anzahl der verbleibenden [[Signifikante Stellen|signifikanten Stellen]] der [[Messunsicherheit]] für die Rechengenauigkeit ''(denormalisierte Stellen)''. Im Exponent erscheinen nur Vielfache von 3 – diese Darstellung lässt sich beim Rechnen mit [[Maßeinheit]]en sowohl zwanglos in die Einheitenvorsätze, als auch die [[Zifferngruppierung]] mit Tausendertrennzeichnung überführen, bzw. sich daraus erzeugen
** Beispiel: {{formatnum:10000}} m = {{ZahlExp|10|3|post=m}} = {{Maß|10|km}}
** Signifikanz: {{ZahlExp|10,00|3|post=m}} = {{formatnum:10000}} ± 5 m (4 signifikante Stellen bezüglich Messung in Kilometern mit [[Rundung]]), aber {{ZahlExp|0,01|6|post=m}} = {{formatnum:10000}} ± 5000 m (2 signifikante Stellen bezüglich Messung in Mm) – wobei die präzisen Angaben über Standard- und erweiterte Messunsicherheit [[DIN 1319]]-3 bzw. dem ''ISO/BIPM-Guide'' ([[GUM (Norm)|GUM]], ENV 13005) folgen

In [[Programmiersprache]]n wird für die Notation von Gleitkommazahlen im [[Quelltext]] und für ihre [[Eingabe und Ausgabe|Ein- und Ausgabe]] eine kompakte Variante der Exponentialschreibweise verwendet, z. B. <code>2.99792458e8</code> (= 2,997.924.58 · 108). Das <code>e</code> steht für „mal 10 hoch“. In der Sprache [[Algol 60]] war dafür ein eigenes Zeichen <code>⏨</code> (''Basiszehn'') vorgesehen, das zwar auf manchen Ein- und Ausgabegeräten damaliger Rechner vorhanden war, aber erst 2002, also nach der Verwendungszeit von Algol 60, als [[Unicode]]-Zeichen U+23E8 in einen genormten Zeichencode aufgenommen wurde.

== Wertemengen ==
Es gibt zahlreiche unterschiedliche Darstellungsformate für Gleitkommazahlen. Jedes Darstellungsformat definiert, welche Zahlen sich darin darstellen lassen und welche nicht. Die Unterschiede liegen in der Genauigkeit der Zahlen, dem Umfang des Zahlenraums, dem Speicherbedarf für eine einzelne Zahl und besonderen Darstellungsformen für betragsmäßig kleine Zahlen, unendlich und (aus praktischen Gründen) Elemente, die keine Zahlen sind, zum Beispiel, um fehlerhafte Rechenergebnisse zu markieren.

Ein Darstellungsformat für Gleitkommazahlen definiert anhand mehrerer Parameter, welche Zahlen in dem Format darstellbar sind:
* Die ''Basis'' <math>b</math> des [[Stellenwertsystem]]s legt fest, wie viele unterschiedliche Ziffern verwendet werden, um die Zahlen zu schreiben.
** Die Basis 10 mit den Ziffern 0 bis 9 sorgt für menschenfreundliche Darstellungen, zum Beispiel auf wissenschaftlichen Taschenrechnern.
** Die Basis 2 mit den Ziffern 0 und 1 ist für elektronische Schaltungen, insbesondere Computer, ideal.
** Alle weiteren Basen sind exotisch.
* Die ''Anzahl der signifikanten Ziffern'' <math>p</math> legt fest, mit welcher Genauigkeit die darstellbaren Zahlen angegeben werden können. Die Ziffern selbst heißen [[Mantisse]].
** [[Taschenrechner]] zeigen üblicherweise 8 bis 10 Dezimalstellen an (rechnen aber intern häufig mit mehr Stellen).
** Die seit 1985 üblichen Darstellungsformate für Computer haben eine Genauigkeit von 24 bzw. 53 Binärstellen, das sind umgerechnet etwa 7 bzw. 15 Dezimalstellen.
* Die feste Position des Kommas in der Mantisse.
** Das Komma steht üblicherweise zwischen der ersten und der zweiten Stelle, die Mantisse hat also die Form <math>m{,}mmmmmm\cdots</math>.
* Der ''minimale Exponent'' <math>e_\textit{min}</math> legt fest, um wie viele Stellen das Komma maximal nach links verschoben werden kann.
* Der ''maximale Exponent'' <math>e_\textit{max}</math> legt fest, um wie viele Stellen das Komma maximal nach rechts verschoben werden kann.

Der Wert <math>w</math> einer Zahl ergibt sich nach der Formel:

: <math>w := v \cdot m \cdot b^{e}</math>.

Hierbei ist:
* <math>v</math> das Vorzeichen der Zahl (entweder <math>+1</math> oder <math>-1</math>),
* <math>m</math> die [[Mantisse]] der Zahl,
* <math>b</math> die Basis des Darstellungsformats und
* <math>e</math> der [[Potenz (Mathematik)|Exponent]] der Zahl.

Die obigen Parameter lassen noch Zahlen zu, die mehrere gleichwertige Darstellungen haben. Um das zu umgehen, wird die Mantisse normalisiert, so dass die Ziffer vor dem Komma keine 0 ist. Durch diese Einschränkung gibt es zu jeder darstellbaren Zahl nur noch eine mögliche Schreibweise. Eine Nebenwirkung dieser Einschränkung ist jedoch, dass die Zahl 0 nicht mehr darstellbar ist, da ihre Darstellung ausschließlich aus Nullen besteht. Daher muss eine weitere Regel eingeführt werden, um die Zahl 0 darzustellen. Eine Möglichkeit ist, auf die Normalisierung zu verzichten, wenn der Exponent der Zahl gleich dem <math>e_\textit{min}</math> des Darstellungsformats ist. Dadurch bleibt die Eindeutigkeit bestehen, so dass es zu jeder darstellbaren Zahl genau eine mögliche Schreibweise gibt.

=== Beispiel ===

Ein häufiges Darstellungsformat für die Anzeige von Zahlen auf wissenschaftlichen Taschenrechnern ist:
* Basis 10, mit den Ziffern 0 bis 9
* 10 Stellen Genauigkeit für die Mantisse
* normalisierte Mantisse mit 1 Stelle vor dem Komma
* Exponenten von <math>-99</math> bis <math>+99</math>

Die Zahl mit der Darstellung <math>v=+1,\;m=9{,}460\,730\,5,\;e=15</math> hat damit den Wert <math>9{,}460\,730\,5 \cdot 10^{15}</math> oder als ganze Zahl geschrieben <math>9\,460\,730\,500\,000\,000</math>.

Die betragsmäßig kleinste darstellbare Zahl in diesem Darstellungsformat ist <math>0{,}000\,000\,0 \cdot 10^{-99}</math>, also 0, die größte darstellbare Zahl ist <math>9{,}999\,999\,9 \cdot 10^{99}</math>, das ist eine 100-stellige Zahl.

== Speicherformate ==
Bei der Verarbeitung in Computern werden Gleitkommazahlen in einem Speicherbereich fester Größe abgelegt. Die dabei verwendeten Speicherformate unterscheiden sich von der abstrakt-mathematischen Darstellung der Gleitkommazahl, zum Beispiel werden redundante Informationen weggelassen. Ein konkretes Speicherformat ist eine Abwägung: Einerseits sollen die Zahlen möglichst exakt gespeichert werden und dabei einen großen Zahlenraum abdecken, andererseits soll der Speicherbedarf möglichst gering sein.

Der minimale Speicherbedarf ergibt sich aus den Parametern des Darstellungsformats. Um eine Gleitkommazahl aus dem Darstellungsformat mit der Basis <math>b = 2</math>, der Genauigkeit von <math>p</math> Binärstellen und einem Exponenten im Bereich von <math>e_\textit{min}</math> bis <math>e_\textit{max}</math> zu speichern, benötigt man:
* für das Vorzeichen 1 Bit, da es 2 mögliche Werte hat,
* für die Mantisse <math>p</math> Bit, da jede Stelle der Mantisse wegen der Basis 2 genau 1 Bit Speicherplatz benötigt
* für den Exponenten <math>e</math> so viele Bits, dass jede ganze Zahl von <math>e_\textit{min}</math> bis <math>e_\textit{max}</math> gespeichert werden kann, also <math>\left\lceil \log_2 \left( 1 + e_\textit{max} - e_\textit{min} \right) \right\rceil</math>.

{{Anker|Hidden bit}}Bei Gleitkommazahlen mit der Basis 2 ist es möglich, beim Speichern 1 Bit einzusparen. Dazu wird festgelegt, dass die Zahlen stets in ihrer normalisierten Form gespeichert werden. Das bedeutet im allgemeinen Fall, dass die erste Ziffer der Mantisse nicht 0 sein kann, denn sonst wäre die Zahl nicht normalisiert. Da es im Binärsystem nur die Ziffern 0 und 1 gibt, muss die erste Ziffer also 1 sein. Diese Ziffer ist also bereits bekannt und muss daher nicht für jede Zahl abgespeichert werden. Dadurch ergibt sich eine Ersparnis von 1 Bit, so dass für die Mantisse nur <math>p - 1</math> Bit benötigt werden. Wird diese Möglichkeit genutzt, wird von einem ''{{lang|en|hidden bit}}'' ([[Englische Sprache|engl.]] wörtlich ''verstecktes Bit'') gesprochen.

Das Speicherformat definiert nicht nur, wie viele Bits zum Speichern einer Gleitkommazahl nötig sind, sondern auch, welche Teile der Zahl in welchem Bit gespeichert werden. Zusätzlich zu den Zahlen mit normalisierter Mantisse kann das Speicherformat auch definieren, wie unnormalisierte Zahlen gespeichert werden und ob es weitere Sonderfälle wie unendlich und NaN (engl. ''not a number'') für ungültige Rechenergebnisse gibt.


{| class="wikitable"
|+ Speicherbedarf für Gleitkommazahlen in verschiedenen Formaten beziehungsweise auf verschiedenen Rechnersystemen
|-
! rowspan="2" | Jahr
! rowspan="2" | Speicherformat
! colspan="3" | Bits für
! rowspan="2" | Anmerkungen
|-
! Mantisse
! Exponent
! gesamt
|-
| [[IEEE 754-2008|2008]] || [[IEEE 754]] binary16 || style="text-align:right;" | 10 || style="text-align:right;" | 5 || style="text-align:right;" | 16 || Die Mantisse ist normalisiert. Umgangssprachlich [[Minifloat]] genannt.
|-
| 1937 || Zuse [[Z1 (Rechner)|Z1]] (1937) || style="text-align:right;" | 16 || style="text-align:right;" | 7 || style="text-align:right;" | 24 || Die Mantisse ist normalisiert, Rechnen mit 0 ist nicht möglich.<ref name="Z1_2014"/>
|-
| 1985 || [[IEEE 754]] binary32 || style="text-align:right;" | 23 || style="text-align:right;" | 8 || style="text-align:right;" | 32 || Die Mantisse ist normalisiert. Umgangssprachlich [[Einfache Genauigkeit]] genannt.
|-
| 1990 || IBM [[System/390|S/390]] single || style="text-align:right;" | 24 || style="text-align:right;" | 7 || style="text-align:right;" | 32 ||
|-
| 1954 || [[IBM 704]] binär || style="text-align:right;" | 27 || style="text-align:right;" | 8 || style="text-align:right;" | 36 || Die Mantisse ist nicht normalisiert.
|-
| 1954 || [[IBM 704]] dezimal || style="text-align:right;" | ? || style="text-align:right;" | ? || style="text-align:right;" | 36 || Basis 10 statt 2 (weitere Details stehen nicht im Handbuch)
|-
| 1966 || DEC [[PDP-10]] || style="text-align:right;" | 27 || style="text-align:right;" | 8 || style="text-align:right;" | 36 ||
|-
| 1956 || Telefunken [[TR 4 (Rechner)|TR 4]] || rowspan=2" style="text-align:right;" | 38 || rowspan=2" style="text-align:right;" | 8 || rowspan=2" style="text-align:right;" | 47+3 || rowspan=2" | Basis b = 16
|-
| 1969 || Telefunken [[TR 440]]
|-
| 1956 || [[PERM (Computer)|PERM]] || style="text-align:right;" | 40 || style="text-align:right;" | 9 || style="text-align:right;" | 50+1 || Es gibt drei verschiedene Gleitkomma-Arithmetiken.
|-
| 1964 || [[CDC 6600]] || style="text-align:right;" | 47 || style="text-align:right;" | 12 || style="text-align:right;" | 60 ||
|-
| 1985 || [[IEEE 754]] binary64 || style="text-align:right;" | 52 || style="text-align:right;" | 11 || style="text-align:right;" | 64 || Die Mantisse ist normalisiert. Umgangssprachlich [[Doppelte Genauigkeit]] genannt.
|-
| 1990 || IBM [[System/390|S/390]] double || style="text-align:right;" | 56 || style="text-align:right;" | 7 || style="text-align:right;" | 64 ||
|-
| 1980 || [[Intel 8087]] Temporary Real || style="text-align:right;" | 64 || style="text-align:right;" | 15 || style="text-align:right;" | 80 || style="max-width:430px" | Die Mantisse ist nicht normalisiert. Internes temporäres Datenformat, erweiterter Bereich und Präzision tragen dazu bei, für alle externen Formate stets stabile, erwartete Ergebnisse zu liefern.<ref>{{Literatur |Titel=intel :: dataBooks :: 1981 iAPX 86 88 Users Manual |Online=http://archive.org/details/bitsavers_inteldataBrsManual_57011881 |Abruf=2023-12-30}}</ref>
|-
| [[IEEE 754-2008|2008]] || [[IEEE 754]] binary128 || style="text-align:right;" | 112 || style="text-align:right;" | 15 || style="text-align:right;" | 128 || Die Mantisse ist normalisiert. Umgangssprachlich [[vierfache Genauigkeit]] genannt.
|}

Die Gesamtanzahl der pro Gleitkommazahl zu speichernden Bits ergibt sich in der Regel aus einem Vorzeichenbit sowie den Mantissenbits und Exponentenbits.

Eine Angabe der Gestalt <math>z+m</math> für die Gesamtlänge bedeutet, dass die Zahl im Speicher in Einheiten von <math>z+m</math> Bit gespeichert wird, von denen aber nur <math>z</math> Bit für den Zahlenwert relevant sind und <math>m</math> weitere für andere Zwecke genutzt werden können. Darüber hinaus können weitere Bits zu Hardware-Prüfzwecken mitgespeichert werden, diese stehen aber dem Programmierer beziehungsweise der Anwendung nicht für den zu speichernden Zahlenwert an sich zur Verfügung.

=== Rechenbeispiel für benötigten Speicherplatz ===

Im Format ''IEEE 754 binary32'' ist <math>b = 2</math>, <math>p = 24</math>, <math>e_\textit{min} = -126</math> und <math>e_\textit{max} = 127</math>, der benötigte Speicherplatz ist daher:
* für das Vorzeichen <math>1</math> Bit
* für die normalisierte Mantisse <math>24 - 1 = 23</math> Bit
* für den Exponenten <math>\left\lceil \log_2 \left(1 + 127 - (-126)\right) \right\rceil = \left\lceil \log_2 254 \right\rceil = \log_2 256 = 8</math> Bit

Für jede Gleitkommazahl werden bei diesem Speicherformat somit 32 Bit beziehungsweise 4 Byte benötigt.

== Gleitkommaarithmetik ==
Beim Rechnen mit allgemeinen rationalen Zahlen (Bruchrechnung) ist das Ergebnis einer [[Addition]], [[Subtraktion]], [[Multiplikation]] und [[Division (Mathematik)|Division]] stets wieder eine rationale Zahl, mit einer einzigen Ausnahme, der Division durch 0. Diese Eigenschaft der [[Abgeschlossenheit (algebraische Struktur)|Abgeschlossenheit]] fällt beim Rechnen mit Gleitkommazahlen weg, da die Menge der darstellbaren Zahlen begrenzt ist. Die Zwischenergebnisse müssen daher nach jedem Schritt gerundet werden, damit sie in das Darstellungsformat passen.

Durch dieses Runden entstehen beim Rechnen mit Gleitkommazahlen überraschende Ergebnisse. Insbesondere gelten die aus der Bruchrechnung bekannten Rechenregeln nicht mehr. In Berechnungen, bei denen keine Rundung nötig ist, garantiert [[IEEE 754]] ein exaktes Ergebnis. In vielen anderen Fällen beziehen sich die Rundungsfehler nur auf die letzten Stellen der Mantisse und fallen daher nicht auf, insbesondere wenn das Endergebnis erneut gerundet wird, um besser lesbar zu sein. Es gibt aber auch Fälle, in denen Rundungsfehler zu komplett anderen Ergebnissen führen.

Für Computer ist das Rechnen mit Gleitkommazahlen aufwändiger als mit Ganzzahlen, da die Zahlen vor jedem Rechenschritt aneinander angeglichen werden müssen und die Zwischenergebnisse vor dem Runden viele Ziffern enthalten können. Die PCs in den 1980er Jahren hatten standardmäßig keinen [[Gleitkommaeinheit|Gleitkommaprozessor]]. Für wissenschaftliche Berechnungen gab es stattdessen [[Hochleistungsrechnen|Höchstleistungsrechner]] (number cruncher) mit speziellen Prozessoren für Gleitkommaberechnungen.

=== Auslöschung ===
{{Hauptartikel|Auslöschung (numerische Mathematik)}}

Unter Auslöschung versteht man den Effekt, dass bei der Subtraktion fast gleich großer Zahlen das Ergebnis falsch wird.

=== Zahlen verschiedener Größenordnung (Absorption) ===
Die Addition bzw. Subtraktion einer betragsmäßig viel kleineren Zahl ändert die größere Zahl nicht.

Im Beispiel der vierstelligen Dezimalarithmetik (<math>b = 10</math>, <math>p = 4</math>) ändert die Addition von 0,001 zu 100 am größeren Operanden nichts. Dasselbe gilt für die Subtraktion:

{| class="wikitable"
|+ Rechenbeispiel
|-
! Term !! Anmerkungen
|-
| <math>100 + 0{,}001</math> || Die Ausgangsrechnung in mathematischer Schreibweise
|-
| <math>1{,}000\cdot 10^2 + 1{,}000\cdot 10^{-3}</math> || Die gleiche Rechnung in Gleitkommaschreibweise, kein Runden nötig
|-
|   || Die Addition beginnt, ab hier wird intern mit beliebiger Genauigkeit gerechnet
|-
| <math>1{,}00000\cdot 10^2 + 0{,}00001 \cdot 10^{2}</math> || Beide Operanden haben jetzt den gleichen Exponenten und die gleiche Mantissenlänge
|-
| <math>1{,}00001\cdot 10^2</math> || Die Operanden werden ziffernweise addiert
|-
| <math>1{,}000\cdot 10^2</math> || Das Ergebnis der Addition wird so gerundet, dass es ins Darstellungsformat passt
|-
|   || Die Addition endet, ab hier wird nicht mehr mit beliebiger Genauigkeit gerechnet
|-
| <math>100</math> || Das Ergebnis in Dezimalschreibweise; die Addition hat nichts an der 100 geändert
|-
|}

=== Unterlauf ===
Liegt das Ergebnis eines Rechenschritts zwischen der kleinsten darstellbaren positiven Zahl und der 0, kann es zur 0 abgerundet werden. Dieses Abrunden wird Unterlauf (engl. underflow) genannt.

=== Ungültigkeit der Assoziativ- und Distributivgesetze ===
Die Addition und die Multiplikation von Gleitkommazahlen sind nicht [[Assoziativgesetz|assoziativ]], das heißt die Ausdrücke <math>(x + y) + z</math> und <math>x + (y + z)</math> sowie <math>(x \cdot y) \cdot z</math> und <math>x \cdot (y \cdot z)</math> sind nicht äquivalent.

Die Addition und Multiplikation von Gleitkommazahlen sind nicht [[Distributivgesetz|distributiv]], das heißt die Ausdrücke <math>x \cdot (y + z)</math> und <math>(x \cdot y) + (x \cdot z)</math> sowie <math>(x + y) \cdot z</math> und <math>(x \cdot z) + (y \cdot z)</math> sind nicht äquivalent.

=== Lösbarkeit von Gleichungen ===
Bei Verwendung von Gleitkommaarithmetik haben viele Gleichungen andere Lösungsmengen als im Bereich der rationalen oder [[Reelle Zahl|reellen Zahlen]].

;Beispiele (unter Verwendung einer vierstelligen Dezimal-Gleitkomma-Arithmetik)

Die Gleichung <math>1 + x = 1</math> hat im Bereich der rationalen Zahlen genau eine Lösung, nämlich <math>x = 0</math>.

Bei Verwendung von Gleitkomma-Arithmetik hat diese Gleichung viele Lösungen, nämlich alle Zahlen, die zu klein sind, um bei der Addition mit der Zahl <math>1{,}000</math> das Ergebnis zu verändern. Je nach Rundungsregeln und Ausführung der Arithmetik sind das mindestens alle Zahlen mit <math>-0{,}000\,05 < x < 0{,}000\,5</math>, maximal alle Zahlen <math>-0{,}001 < x < 0{,}001</math>.

<math>
\begin{align}
1 - 5{,}000 \cdot 10^{-5} = 1{,}000 - 0{,}000\,050\,0 = 0{,}999|950\,0 = 1{,}000 = 1 \\
1 + 4{,}999 \cdot 10^{-4} = 1{,}000 + 0{,}000\,499\,9 = 1{,}000|499\,9 = 1{,}000 = 1 \\
1 + 5{,}000 \cdot 10^{-4} = 1{,}000 + 0{,}000\,500\,0 = 1{,}000|500\,0 = 1{,}000 = 1 \\
1 + 1{,}000 \cdot 10^{-3} = 1{,}000 + 0{,}001\,000\,0 = 1{,}001|000\,0 = 1{,}001 \neq 1 \\
\end{align}
</math>

Die Gleichung <math>2 + x^2 = 8</math> hat im Bereich der reellen Zahlen genau 2 Lösungen, nämlich <math>x = \pm\sqrt{6}</math>, im Bereich der rationalen Zahlen keine Lösung.

Bei Verwendung von Gleitkomma-Arithmetik hat diese Gleichung keine Lösung, da

<math>
\begin{align}
2 + (2{,}449 \cdot 10^{0})^{2} = 2{,}000 + 5{,}997\,601 = 7{,}997|601 = 7{,}998 < 8 \\
2 + (2{,}450 \cdot 10^{0})^{2} = 2{,}000 + 6{,}002\,500 = 8{,}002|500 = 8{,}002 > 8 \\
\end{align}
</math>

=== Konversionen ===
Wenn die Basis verschieden von 10 ist, müssen die Zahlen zwischen dem vorliegenden Gleitkommasystem und dem Dezimalsystem konvertiert werden, um eine menschenlesbare Darstellung zu erhalten. Eine schon alte und wichtige Forderung an diese Konversion ist ihre bitgenaue Umkehrbarkeit: Eine Zahl, die im Gleitkommaformat vorliegt und dann im Dezimalsystem dargestellt wird, soll wieder eingelesen werden können und bitgenau dieselbe Darstellung im Gleitkommasystem reproduzieren.

In vielen Programmiersprachen (C, C++, Python) wird diese Forderung nicht beachtet, dort gibt es in der Standardbibliothek keine Routinen, die eine exakte Umwandlung garantieren. Einige andere Programmiersprachen (Java, Scheme) liefern diese Umwandlungsroutinen bereits mit.

=== Dezimalbrüche ===
{{Hauptartikel|Dezimalbruch}}

Schon einfache Dezimalbrüche wie 0,1 können nicht exakt als binäre Gleitkommazahlen dargestellt werden, da jede rationale Zahl, deren [[gekürzter Bruch|gekürzter]] Nenner keine Zweierpotenz ist, im Binärsystem zu einer nicht abbrechenden, periodischen Darstellung führt. Von dieser werden nur die ersten <math>p</math> Ziffern gespeichert, wodurch Ungenauigkeit entsteht. Dezimal 0,1 ist binär 0,0001100110011… Allerdings wurde für binäre Gleitkommasysteme mit entsprechenden Rundungsregeln bewiesen, dass die Darstellung von 0,1 multipliziert mit 10 wieder exakt 1 ergibt. Allgemein gilt bei richtiger Rundung (m / 10) · 10 = m (Goldbergs Theorem 7<ref name="goldberg">{{Literatur |Autor=David Goldberg |Titel=What Every Computer Scientist Should Know About Floating-Point Arithmetic |Sammelwerk=ACM Computing Surveys |Band=23 |Datum=1991 |Seiten=5–48 |Online=http://docs.sun.com/source/806-3568/ncg_goldberg.html |Abruf=2010-09-02 |DOI=10.1145/103162.103163}}</ref> für den konkreten Fall n = 21 + 23 = 10).

In Disziplinen wie der [[Finanzmathematik]] werden oft Ergebnisse verlangt, die mit einer dezimalen Handrechnung exakt übereinstimmen. Für diesen Anwendungsbereich sind Gleitkommazahlen ungeeignet, stattdessen wird dort dezimale Festkommaarithmetik eingesetzt.

=== Prüfung auf Gleichheit ===
Die im Abschnitt [[#Dezimalbrüche|Dezimalbrüche]] genannte Einschränkung, dass viele dieser Dezimalzahlen im [[Dualsystem|Binärsystem]] eines [[Computer]]s nicht exakt dargestellt werden können, hat beim Programmieren Auswirkungen auf Vergleiche <math>x=y</math> zwischen Gleitkommazahlen.

Zum Beispiel gilt mathematisch: <math>0{,}362 \cdot 100 = 36{,}2</math> und <math>0{,}362 \cdot 100 / 100 = 0{,}362</math>. Beim Rechnen im Darstellungsformat „IEEE 754 double“ treten jedoch die folgenden Rundungsfehler auf, so dass diese Gleichungen dort nicht gelten.

{| class="wikitable"
|+ Rundung von Gleitkommazahlen
|-
! Dezimalzahl !! Gleitkommazahl IEEE 754 double !! Anmerkung
|-
| <math>0{,}362</math> || <math>0{,}36199999999999998845368054389837197959423065185546875</math> || abgerundet
|-
| <math>0{,}362 \cdot 100</math> || <math>\hphantom{0} 36{,}19999999999999573674358543939888477325439453125</math> || nach dem Multiplizieren wird erneut abgerundet
|-
| <math>36{,}2</math> || <math>\hphantom{0} 36{,}2000000000000028421709430404007434844970703125</math> || aufgerundet
|-
| <math>(0{,}362 \cdot 100) / 100</math> || <math>0{,}361999999999999932942529312640544958412647247314453125</math> || nach dem Dividieren wird erneut abgerundet
|-
| <math>0{,}362</math> || <math>0{,}36199999999999998845368054389837197959423065185546875</math> || abgerundet
|}

Vergleiche auf exakte Gleichheit müssen deshalb durch eine Abfrage ersetzt werden, ob die zu vergleichenden Werte im Rahmen einer erreichbaren Genauigkeit <math>\varepsilon</math> (meist ''Toleranz'' genannt) als gleich angesehen werden können.

Toleriert man beim Vergleich einen absoluten Fehler, lautet eine mögliche Formulierung <math>\vert x - y\vert \le \varepsilon</math>.

Toleriert man beim Vergleich einen relativen Fehler, lautet eine mögliche Formulierung <math>\vert 1 - \tfrac yx\vert \le \varepsilon</math>. Der zweite Fall muss meist noch mit der Sonderfallabfrage <math>x \ne 0</math> verbunden werden.

=== Versteckte Verwendung anderer Darstellungen ===
CPUs, Compiler und Bibliotheken stellen so gut wie immer verschiedene Gleitkommaformate zur Verfügung. Welche das sind, hängt von dem Zusammenspiel aus verwendeten CPU/FPU/GPU, dem verwendeten Compiler/Sprache und den verwendeten Optionen und den verwendeten Bibliotheken ab.
Die Gleitkommaeinheiten des [[Intel 8087]] und des [[Motorola 68881]] unterstützen zum Beispiel ein Darstellungsformat mit 64 Bit unnormalisierter Mantisse, das genauer als das Darstellungsformat IEEE 754 binary64 mit seinen 53 Bit normalisierter Mantisse ist. Wird eine Zahl vom größeren Darstellungsformat in das kleinere Darstellungsformat umgewandelt, wird es entsprechend gerundet und verliert dadurch die letzten Stellen der Mantisse.
Je nachdem, ob die Zwischenergebnisse von Rechnungen im internen Darstellungsformat oder im externen Darstellungsformat gespeichert werden, können selbst identische Ausdrücke wie etwa <math>\cos(0{,}2)</math> zu unterschiedlichen Ergebnissen führen.

== Weblinks ==
{{Wiktionary|Fließkommazahl}}
{{Wiktionary}}
* Robert Munafo: [https://www.mrob.com/pub/math/floatformats.html ''Survey of Floating-Point Formats'' – Übersicht über historische Gleitkommaformate] (englisch)
* David Goldberg: [https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html ''What Every Computer Scientist Should Know About Floating-Point Arithmetic''.] (englisch)
* David Monniaux: [https://hal.science/hal-00128124 ''The pitfalls of verifying floating-point computations''] (englisch)
* H. Schmidt: [https://www.h-schmidt.net/FloatConverter/IEEE754de.html ''IEEE-754 Konverter für Fließkommazahlen'']: Interaktiver Emulator für die normgerechte Repräsentation von Gleitkommazahlen.

== Einzelnachweise ==
<references />

[[Kategorie:Zahl|*]]
[[Kategorie:Mathematische Notation]]
[[Kategorie:Numerische Mathematik]]
[[Kategorie:Computerarithmetik]]
[[Kategorie:Datentyp]]
[[Kategorie:Normalform]]

Gleitkommazahl - Versionsgeschichte

imported>Dk1909: gr