Verlauf der Betragsfunktion auf <math>\R</math>

In der Mathematik ordnet die Betragsfunktion einer reellen oder komplexen Zahl ihren Abstand zur Null zu. Dieser sogenannte absolute Betrag, Absolutwert oder auch schlicht Betrag ist immer eine nichtnegative reelle Zahl. Der Betrag einer Zahl <math>x</math> wird meist mit |x|, seltener mit <math>\operatorname{abs}(x)</math>, bezeichnet.

Definition

Reelle Betragsfunktion

Den absoluten Betrag einer reellen Zahl erhält man durch Weglassen des Vorzeichens. Auf der Zahlengeraden bedeutet der Betrag den Abstand der gegebenen Zahl von Null.

Für eine reelle Zahl <math>x</math> gilt:

<math> |x| =

\begin{cases} \ \;\,\ \ x &\mathrm{f\ddot ur}\ x \ge 0\\ \ \;\, - x &\mathrm{f\ddot ur}\ x < 0 \end{cases} </math>

Komplexe Betragsfunktion

Für eine komplexe Zahl <math>z=x+\mathrm{i}\,y</math> mit reellen Zahlen <math>x</math> und <math>y</math> definiert man

<math> |z| = \sqrt{z \cdot \bar z} = \sqrt{(x + \mathrm{i}\,y) \cdot (x - \mathrm{i}\,y)}

= \sqrt{x^2 + y^2} </math>, wobei <math>\bar z</math> die komplex Konjugierte von <math>z</math> bezeichnet. Ist <math>z</math> reell (d.h. <math>y=0</math>, also <math>z=x</math>), so geht diese Definition in

<math> |x| = \sqrt{x^2} </math>

über, was mit der obigen Definition des Betrages einer reellen Zahl x übereinstimmt.

Veranschaulicht man die komplexen Zahlen als Punkte der Gaußschen Zahlenebene, so entspricht diese Definition nach dem Satz des Pythagoras ebenfalls dem Abstand des zur Zahl <math>z</math> gehörenden Punktes vom sogenannten Nullpunkt.

Eigenschaften

• Die reelle Betragsfunktion <math>|\cdot|: \; \Bbb R\to \R_0^+, \; x\mapsto |x|</math> ist überall stetig, jedoch an der Stelle 0 nicht differenzierbar. Sie ist aber schwach differenzierbar, und ihre schwache Ableitung stimmt fast überall mit der Signumfunktion überein.
• Die komplexe Betragsfunktion <math>|\cdot|: \; \Bbb C\to \R_0^+, \; z\mapsto |z|</math> ist überall stetig und nirgends komplex differenzierbar, da die Cauchy-Riemann-Differentialgleichungen nicht erfüllt sind.
• Die einzige Nullstelle ist 0 (d. h. <math>|z|=0</math> genau dann, wenn <math>z=0</math>).
• Für alle <math>z \in \mathbb{C}</math> gilt: <math>z = |z| \cdot \sgn(z)</math>, wobei <math>\sgn</math> die Signumfunktion bezeichnet.

• Beide Betragsfunktionen, die reelle und die komplexe, werden archimedisch genannt, weil es eine ganze Zahl <math>n:=\sum_{\nu=1}^n 1</math> gibt mit <math>|n|>1</math>. Daraus folgt aber auch, dass für alle ganzen Zahlen <math>m>1</math> ebenfalls <math>|m|>1</math> ist.^[1]

Beispiele

<math>|+7| = 7 \,</math>

<math>|-8| = -(-8) = 8 \,</math>

<math>|3+4\mathrm{i}| = \sqrt{(3+4\mathrm{i}) \cdot (3-4\mathrm{i})} = \sqrt{3^2 - (4\mathrm{i})^2} = \sqrt{3^2 + 4^2} = \sqrt{25} = 5</math>

Gleichung mit Absolutbetrag: Gesucht sind alle Zahlen <math>x\in\R</math>, welche die Gleichung <math>|x+3| = 5 \,</math> erfüllen.

Man rechnet wie folgt:

<math>|x+3| = 5 \,</math>

<math>\Leftrightarrow x+3 = 5 \text{ oder } x+3 = -5</math>

<math>\Leftrightarrow x = 5-3 \text{ oder } x = -5-3</math>

<math>\Leftrightarrow x = 2 \text{ oder } x = -8</math>

Die Gleichung besitzt also genau zwei Lösungen für <math>x</math>, nämlich 2 und -8.

Betragsnorm

Die Betragsfunktion erfüllt die drei Normaxiome Definitheit, absolute Homogenität und Subadditivität und ist damit eine Norm, genannt Betragsnorm, auf dem Vektorraum der reellen oder komplexen Zahlen. Die Definitheit folgt daraus, dass die einzige Nullstelle der Wurzelfunktion im Nullpunkt liegt, womit

<math>| z | = 0 \; \Leftrightarrow \; \sqrt{z \bar{z}} = 0 \; \Rightarrow \; z \bar{z} = 0 \; \Leftrightarrow \; z = 0</math>

gilt. Die Homogenität folgt für komplexe <math>w, z</math> aus

<math>| w \cdot z |^2 = (w \cdot z) \overline{(w \cdot z)} = (w \cdot z) (\bar{w} \cdot \bar{z}) = (w \cdot \bar{w}) (z \cdot \bar{z}) = | w |^2 \cdot | z |^2</math>

und die Dreiecksungleichung aus

<math>\begin{align}| w + z |^2 & = (w + z) \overline{(w + z)} = (w + z) (\bar{w} + \bar{z}) = w \bar{w} + w \bar{z} + z \bar{w} + z\bar{z} = | w |^2 + | z |^2 + w \bar{z} + \overline{w \bar{z}} = \\ & = | w |^2 + | z |^2 + 2 \operatorname{Re}(w\bar{z}) \leq | w |^2 + | z |^2 + 2 \, |w\bar{z}| = | w |^2 + | z |^2 + 2 \, |w| \, |z| = (|w| + |z|)^2,\end{align}</math>

wobei sich die beiden gesuchten Eigenschaften jeweils durch Ziehen der (positiven) Wurzel auf beiden Seiten ergeben. Hierbei wurde genutzt, dass die Konjugierte der Summe bzw. der Produkts zweier komplexer Zahlen die Summe bzw. das Produkt der jeweils konjugierten Zahlen ist. Weiterhin wurde verwendet, dass die zweimalige Konjugation wieder die Ausgangszahl ergibt und dass der Betrag einer komplexen Zahl immer mindestens so groß wie ihr Realteil ist. Im reellen Fall folgen die drei Normeigenschaften analog durch Weglassen der Konjugation.

Die Betragsnorm ist vom Standardskalarprodukt zweier reeller bzw. komplexen Zahlen induziert. Die Betragsnorm selbst induziert wiederum zwischen reellen oder komplexen zwei Zahlen <math>x</math> und <math>y</math> eine Metrik (Abstandsfunktion)

<math>d(x,y) := | x-y |</math>

durch Bildung des Betrags der Differenz der beiden Zahlen.

Verallgemeinerung: archimedisch und nichtarchimedisch

Verallgemeinert spricht man von einem Betrag, wenn eine Funktion <math>\varphi</math> von einem Integritätsbereich <math>D</math> in die reellen Zahlen <math>\R</math> folgende Bedingungen erfüllt:

1. <math>\varphi(x) \geq 0</math> für alle <math>x</math> und <math>\varphi(x) = 0</math> genau dann, wenn <math>x = 0</math>
2. <math>\varphi(x) \cdot \varphi(y) = \varphi(x \cdot y)</math> für alle <math>x, y</math>
3. <math>\varphi(x + y) \leq \varphi(x) + \varphi(y)</math>                 (Dreiecksungleichung)

Die Fortsetzung auf den Quotientenkörper <math>K</math> von <math>D</math> ist wegen der Multiplikativität eindeutig.

Ist <math>\varphi(n) \leq 1</math> für alle ganzen <math>n:=\sum_{\nu=1}^n 1</math>, dann nennt man den Betrag nichtarchimedisch.
Der Betrag <math>\varphi(x) = 1</math> für alle <math>x\neq 0</math> (ist nichtarchimedisch und) wird trivial genannt.

Bei nichtarchimedischen Beträgen gilt die verschärfte Dreiecksungleichung

     3’.  <math>\varphi(x + y)\leq\max(\varphi(x),\varphi(y))</math> für alle <math>x, y</math>.

Sie macht den Betrag zu einem ultrametrischen. Umgekehrt ist jeder ultrametrische Betrag nichtarchimedisch.

Betrag und Charakteristik

• Integritätsbereiche mit einem archimedischen Betrag haben die Charakteristik 0.
• Integritätsbereiche mit einer von 0 verschiedenen Charakteristik (haben Primzahlcharakteristik und) nehmen nur nichtarchimedische Beträge an.
• Endliche Integritätsbereiche (sind endliche Körper mit Primzahlcharakteristik und) nehmen nur den trivialen Betrag an.
• Die rationalen Zahlen <math>\Q</math> als Primkörper der Charakteristik 0 nehmen sowohl archimedische wie nichtarchimedische Beträge an.

Bewertung

Hat man einen nichtarchimedischen Betrag <math>\varphi</math> und wählt eine reelle Zahl <math>b>1</math>, dann hat die Funktion <math>v\colon K\to\R\cup\{\infty\}</math> mit
<math>v(x) = -\log_b \varphi(x)</math> für <math>\varphi(x) > 0</math> und <math>v(0) = \infty</math> folgende Eigenschaften:

1. <math>v(x) = \infty</math> genau dann, wenn <math>x = 0</math>
2. <math>v(x \cdot y)=v\left(x\right)+v\left(y\right)</math> für alle <math>x, y</math>
3. <math>v(x + y) \geq\min\left(v\left(x\right),v\left(y\right)\right)</math>

Eine Funktion <math>v\colon K\to\R\cup\{\infty\}</math> mit diesen drei Eigenschaften nennt man eine Bewertung von <math>D</math> oder <math>K</math>. Es gibt jedoch auch Autoren, die hier von der exponentiellen Schreibweise oder Exponentenbewertung sprechen und den Begriff Betrag nicht zur Unterscheidung heranziehen. Andererseits nennt man <math>(D,v)</math> oder <math>(K,v)</math> einen bewerteten Integritätsbereich bzw. Körper.

Umgekehrt kann man einer Bewertung <math>v</math> einen nichtarchimedischen Betrag zuordnen, indem man <math>\varphi(x) := b^{-v(x)}</math> setzt mit einer reellen Zahl <math>b>1</math>.

Gradbewertung

Ist <math>K</math> ein Körper und <math>X</math> eine Unbestimmte über <math>K</math>, dann lässt sich der Polynomring <math>K[X]</math> bilden. Wird <math>K</math> trivial bewertet, d. h. <math>v(x) = 0</math> für <math>x \in K^*</math>, und die Unbestimmte mit <math>v(X)=1</math>, dann haben wir mit <math>v</math> die Gradbewertung <math>\operatorname {grad}</math>, für welche die Bewertungsaxiome zum Gradsatz werden.

Diese Bewertung lässt sich eindeutig auf den Quotientenkörper <math>K(X)</math> von <math>K[X]</math> fortsetzen.

Bewertungsring, Bewertungsideal, Restklassenkörper

Gegeben ein Körper <math>K</math> mit einer (nichtarchimedischen) Bewertung <math>v</math>. Die Menge

<math>A_{v}:=\{x \mid v(x) \geq 0 \}</math>

heißt Bewertungsring zu <math>v</math>, die Menge

<math>\mathfrak{m}_{v}:=\{x \mid v(x) > 0 \}</math>

Bewertungsideal zu <math>v</math>. Sie ist immer ein maximales Ideal, weshalb der Faktorring

<math>k_{v}:= A_{v} / \mathfrak{m}_{v}</math>

ein Körper ist, der sogenannte Restklassenkörper der Bewertung <math>v</math>.

Ist das Bewertungsideal endlich erzeugt, so ist es ein Hauptideal <math>\mathfrak{m}_{v}=p\cdot A_{v}</math>, wo <math>p</math> ein Primelement in <math>A_{v}</math> sein muss.

Im Spezialfall <math>\Q</math> gibt es die Bezeichnungen <math>\Z_{(p)}</math> und <math>\mathbb F_p</math> für Bewertungsring resp. Restklassenkörper.

Vervollständigung

Der Körper <math>K</math> lässt sich für jede Betragsfunktion, genauer: für die von jeder Betragsfunktion induzierte Metrik, vervollständigen. Die Vervollständigung von <math>K</math> wird häufig mit <math>\hat K</math> bezeichnet.

Die archimedischen Vervollständigungen sind <math>\hat {\Q}=\R</math> und <math>\widehat {\Q(\mathrm{i})}=\hat {\Q}(\mathrm{i})=\C</math>. Nichtarchimedische sind <math>\hat {\Q}=\Q_p</math> für Primzahlen <math>p</math>.

Beim trivialen Betrag entsteht nichts Neues.

Bei der Gradbewertung entsteht der Körper <math>K((X))</math> der (formalen) Potenzreihen

<math>\sum_{\nu=n}^\infty a_{\nu} X^{\nu}</math>

mit einem <math>n\in\Z</math>, der den Ring <math>K{[}{[}X{]}{]}</math> der (ganzen) Potenzreihen

<math>\sum_{\nu=0}^\infty a_{\nu} X^{\nu}</math>

zum Bewertungsring hat.

Stellenwertnotation

Unter den Darstellungen der Zahlkonstanten haben die Notationen mit Basis, Ziffern und einer Wertigkeit der letzteren abhängig von ihrer Position den absoluten Siegeszug gegenüber allen anderen Notationen davongetragen. Wir schreiben

<math>(\dotsc a_3a_2a_1a_0{,}a_{-1}a_{-2} \dotsc)_b</math>,

wobei links die Ziffern <math>a_{\nu}</math> mit nicht-negativen Exponenten stehen, anschließend das Stellenwert-Trennzeichen Komma »<math>{ \color{White}\prime }\!\!{,}</math>«, anschließend die Ziffern mit negativen Exponenten rechts und abschließend die tiefgestellte Basis »<math>{ \color{White}^\prime }\!\!_b</math>« kommt, die weggelassen werden kann, wenn sie zehn ist, und wobei die Ziffern <math>a_{\nu}</math> aus einem endlichen Ziffernvorrat <math>Z</math> stammen. Wir meinen damit das Ergebnis der Summe

<math>\dotsb +a_3b^3+a_2b^2+a_1b+a_0+a_{-1}b^{-1}+a_{-2}b^{-2}+ \dotsb \; = \; \sideset{^{n_o}}{_{\nu=n_u}}\sum a_{\nu}b^{\nu} </math>.

Dabei soll die Anordnung der Laufvariablen <math>\nu</math> und Schleifengrenzen am Summenzeichen ausdrücken, dass wir – entgegen unserer gewohnten Schreibung von links nach rechts – rechts mit <math>\nu=n_u</math> beginnen, bei jedem Schritt <math>\nu</math> um die Standardschrittweite <math>1</math> nach links hin erhöhen und ganz links die Summationsschleife mit <math>\nu=n_o</math> beenden. (Bei <math>n_o<n_u</math> ist die Schleife leer.)

Das Codierungsschema mit Basis <math>b</math> und Ziffernvorrat <math>Z</math> sei mit <math>\langle b, Z \rangle</math> bezeichnet.

Wir können diese Notation auch auf den nichtarchimedischen Kontext ausdehnen. Sind beide Grenzen <math>n_u</math> und <math>n_o</math> endlich, so kommt in beiden Kontexten dasselbe heraus. Ferner läuft der Additionsalgorithmus zweier Zahlen wie die Summationsschleife von rechts nach links und die Überträge werden immer in die linke Nachbarstelle weitergereicht. Dasselbe gilt für den Subtraktions- und Multiplikationsalgorithmus. In der Schule lernen wir, die archimedische Division links zu beginnen, wogegen man die nichtarchimedische Division besser rechts beginnt.^[2]

Schließlich kann man im archimedischen Kontext <math>n_u=-\infty</math> und im nichtarchimedischen Kontext <math>n_o=\infty</math> zulassen, nach der Vervollständigung für die entsprechende Metrik konvergieren in beiden Kontexten die Reihen absolut.

Die Tabelle stellt Voraussetzungen und Unterschiede bei archimedischem und nichtarchimedischem Kontext zusammen. Dabei sei der Einfachheit halber angenommen, dass <math>b,a_\nu \in D</math>, also Basis und Ziffern alle ganz sind. Ferner sei im archimedischen Fall <math>|a_\nu| < |\operatorname{N}(b)|</math>, wobei

<math>\operatorname{N}(b):=\begin{cases}

 b      & \text{wenn } \hat K=\R, \\
 |b|^2  & \text{wenn } \hat K=\C. 

\end{cases}</math>

Der Artikel Ultrametrik beschreibt weitere Besonderheiten der Geometrie in Räumen mit nichtarchimedisch induzierter Metrik.

Sowohl für den archimedischen wie den nichtarchimedischen Kontext eignen sich in <math>\Q</math> Codierungsschemata <math>\langle\pm p, Z \rangle</math> mit einer Primzahl <math>p</math> und einem Repräsentantensystem <math>Z</math> von <math>\Z/p\Z</math>. Dazu gehören die „balancierten“^[2] Codierungssysteme <math>\langle p, Z \rangle</math> mit einer ungeraden Primzahl <math>p</math> als Basis und dem Ziffernvorrat <math>Z:=\{-\tfrac{p-1}{2},\dotsc,-1,0,1,\dotsc,\tfrac{p-1}{2}\}</math>. Sie haben die Eigenschaften:

• Das Negative einer Zahl erhält man durch Austausch einer jeden Ziffer mit ihrem inversen Gegenüber.
• Im archimedischen Kontext zeigt die erste von 0 verschiedene Stelle das Vorzeichen an.
• Im archimedischen Kontext geschieht eine Rundung zur nächsten ganzen Zahl durch einfaches Abschneiden beim Komma.

Ferner eignen sich für beide Kontexte das negabinäre System <math>\langle -2, \{0,1\} \rangle</math> bei <math>\Q</math> und bei den Gaußschen Zahlen <math>\Q(\mathrm{i})</math> das System <math>\langle \mathrm i -1, \{0,1\} \rangle</math>. Alle Systeme haben die Eigenschaften:

• Auch im archimedischen Kontext wird kein Vorzeichen benötigt.
• Im nichtarchimedischen Kontext hat eine ganze Zahl aus <math>\Z</math> resp. <math>\Z[\mathrm{i}]</math> eine endliche Darstellung, die mit der archimedischen zusammenfällt.
• Ist <math>0{,}xyzxyz\dotsc \, = \, 0{,}\overline{xyz}\in \R</math> oder <math>\in \C</math> die Darstellung einer Zahl <math>1/q</math> mit <math>q</math> ganz und <math>\operatorname{ggT}(p,q)=1</math> unter <math>\langle p, Z \rangle</math> mit der Periode <math>xyz</math> im archimedischen Kontext, dann ist <math>\overline{xyz} \, = \, \dotsc xyzxyz \in \Q_p</math> resp. <math>\in \Q_2(\mathrm{i})</math> die Darstellung der Zahl <math>-1/q</math> im nichtarchimedischen Kontext.^[2]

Äquivalenz von Beträgen

Sind <math>\varphi</math> und <math>\psi</math> Beträge eines Körpers <math>K</math>, dann sind die folgenden drei Behauptungen gleichwertig:

1. Jede Folge <math>\{x_{\nu}\}</math>, die unter <math>\varphi</math> eine Nullfolge ist, d. h. <math>\lim\limits_{\nu \to \infty} \varphi(x_{\nu}) = 0</math>, ist auch unter <math>\psi</math> eine Nullfolge – und umgekehrt.
2. Aus <math>\varphi(x)<1</math> folgt <math>\psi(x)<1</math>.
3. <math>\psi</math> ist eine Potenz von <math>\varphi</math>, d. h. <math>\psi(x)=\varphi(x)^{\epsilon}</math> für alle <math>x</math> mit einem festen <math>\epsilon>0</math>.

Die Betragsfunktionen der rationalen Zahlen

Nach dem Satz von Ostrowski repräsentieren die in diesem Artikel erwähnten Beträge, der eine archimedische (und euklidische) und die unendlich vielen einer Primzahl zuzuordnenden nichtarchimedischen, alle Klassen von Beträgen der rationalen Zahlen <math>\Q</math>.

Für diese Beträge gilt der Approximationssatz.

Weitere Verallgemeinerungen

Eine Abschwächung der Axiome für den Betrag führt auf den Begriff des Pseudobetrags.

Siehe auch

• Betrag (Vektor)

Weblinks

• Eric W. Weisstein: Absolute Value. In: MathWorld. (englisch)

Referenzen

1. ↑  van der Waerden: Algebra, Zweiter Teil. Springer-Verlag, 1967, Bewertete Körper, S. 212-213.</span>
2. ↑ ^{a b c d}  Donald E. Knuth: The Art of Computer Programming, Volume 2, Arithmetic. Addison-Wesley, 1997, ISBN 0-201-89684-2, 2.4.1 Positional Number Systems, S. 213.</span>