diff options
author | Andreas Müller <andreas.mueller@othello.ch> | 2022-05-28 14:57:18 +0200 |
---|---|---|
committer | Andreas Müller <andreas.mueller@othello.ch> | 2022-05-28 14:57:18 +0200 |
commit | df8e535423f408f789f0cb624df7a4980572bc4d (patch) | |
tree | 33ca4761260aad2db82542b66c234303b6656550 /buch/chapters/060-integral/rational.tex | |
parent | Merge branch 'master' of github.com:AndreasFMueller/SeminarSpezielleFunktionen (diff) | |
download | SeminarSpezielleFunktionen-df8e535423f408f789f0cb624df7a4980572bc4d.tar.gz SeminarSpezielleFunktionen-df8e535423f408f789f0cb624df7a4980572bc4d.zip |
more onm integration and lemniscate
Diffstat (limited to '')
-rw-r--r-- | buch/chapters/060-integral/rational.tex | 27 |
1 files changed, 26 insertions, 1 deletions
diff --git a/buch/chapters/060-integral/rational.tex b/buch/chapters/060-integral/rational.tex index 7b24e9f..0ca164d 100644 --- a/buch/chapters/060-integral/rational.tex +++ b/buch/chapters/060-integral/rational.tex @@ -132,7 +132,9 @@ ac + 2bd + (ad+bc)\sqrt{2} \in \mathbb{Q}(\!\sqrt{2}) \end{align*} \end{beispiel} - +% +% Rationale Funktionen +% \subsubsection{Rationalen Funktionen} Die als Antworten auf die Frage nach einer Stammfunktion akzeptablen Funktionen sollten alle rationalen Zahlen sowie die unabhängige @@ -174,5 +176,28 @@ zweier Brüche auch für Nenner funktioniert, die Polynome sind, und die Summe wzeier Brüche von Polynomen wieder in einen Bruch von Polynomen umwandelt. +% +% Warum rationale Zahlen? +% +\subsubsection{Warum die Beschränkung auf rationale Zahlen?} +Aus mathematischer Sicht gibt es gute Gründe, Analysis im Körper $\mathbb{R}$ +oder $\mathbb{C}$ zu betreiben. +Da Ableitung und Integral als Grenzwerte definiert sind, stellt diese +Wahl des Körpers sicher, dass die Grenzwerte auch tatsächlich existieren. +Der Fundamentalsatz der Algebra garantiert, dass über $\mathbb{C}$ +jedes Polynome in Linearfaktoren zerlegt werden kann. + +Der Einfachheit der Analyse in $\mathbb{R}$ oder $\mathbb{C}$ steht +die Schwierigkeit gegenüber, beliebige Elemente von $\mathbb{R}$ in +einem Computer exakt darzustellen. +Für Brüche in $\mathbb{Q}$ gibt es eine solche Darstellung durch +Paare von Ganzzahlen, wie sie die GNU Multiprecision Arithmetic Library +\cite{buch:gmp} realisiert. +Irrationale Zahlen dagegen können nur exakt gehandhabt werden, wenn +man im wesentlichen symbolisch mit ihnen rechnet. +Die Grundlage dafür wird in +Abschnitt~\ref{buch:integral:subsection:koerpererweiterungen} +gelegt. + |