Potenz (Mathematik)

Die Schreibweise einer Potenz: ${\text{Potenzwert}}={\text{Basis}}^{\text{Exponent}}$

Eine Potenz (von lateinisch potentia ‚Vermögen, Macht‘)^[1]^[2] ist das Ergebnis des Potenzierens (der Exponentiation), das wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation ist. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor wiederholt multipliziert. Dabei heißt die Zahl, die zu multiplizieren ist, Basis. Wie oft diese Basis als Faktor auftritt, wird durch den Exponenten angegeben. Man schreibt ${\text{Potenzwert}}={\text{Basis}}^{\text{Exponent}}.$

Definition

Man spricht $a^{n}$ als a hoch n, n-te Potenz von a, a zur n-ten Potenz oder kurz a zur n-ten aus. Im Fall $n=2$ ist auch a (zum) Quadrat üblich.

$a$ heißt Basis (oder Grundzahl), $n$ heißt Exponent (oder Hochzahl) der Potenz $a^{n}$ . Das Ergebnis heißt Potenz oder Wert der Potenz.

Die Definitionsmengen sowohl auf seiten der Exponenten wie auf seiten der Basen werden im Folgenden Schritt für Schritt erweitert.

Natürliche Exponenten

Die Potenz $a^{n}$ wird für reelle oder komplexe Zahlen $a$ (allgemeiner Elemente eines beliebigen multiplikativen Monoids) und natürliche Zahlen $n$ durch

{\begin{matrix}a^{n}:=\underbrace {a\cdot a\cdot a\dotsm a} _{n\ \mathrm {Faktoren} }\end{matrix}}

definiert. Diese Definition gilt nur für $n=1,2,3,\dotsc$ Damit die aus ihr (ebenfalls nur für $n=1,2,3,\dotsc$ ) folgende Identität $a\cdot a^{n}=a^{n+1}$ auch noch für $n=0$ gilt, wird $a^{0}:=1$ festgelegt. (Anmerkungen zum Fall $a=0$ siehe unten.)

Potenzfunktionen mit positivem Exponenten graphisch

Potenzfunktionen mit negativem Exponenten graphisch

Die folgende Modifikation erleichtert die Behandlung des Sonderfalles $n=0$ :

Die Potenzschreibweise bedeutet „Multipliziere die Zahl 1 mit der Grundzahl so oft, wie der Exponent angibt“, also

{\begin{matrix}a^{n}=1\cdot \underbrace {a\cdot a\cdot a\dotsm a} _{n\ \mathrm {Faktoren} }.\end{matrix}}

Der Exponent 0 sagt aus, dass die Zahl 1 keinmal mit der Grundzahl multipliziert wird und allein stehen bleibt, sodass man das Ergebnis 1 erhält.

{\begin{aligned}a^{2}&=1\cdot a\cdot a\\a^{1}&=1\cdot a\\a^{0}&=1\end{aligned}}

Bei negativer Basis und geradzahligem Exponenten ist die Potenz positiv:

(-|a|)^{2n}=|a|^{2n}

Bei negativer Basis und ungeradzahligem Exponenten ist die Potenz negativ:

(-|a|)^{2n+1}=-|a|^{2n+1}

Ganze negative Exponenten

Negative Exponenten bedeuten, dass man die zur Multiplikation inverse Operation (Division) durchführen soll. Also „Dividiere die Zahl 1 durch die Grundzahl so oft, wie der Betrag des Exponenten angibt“.

{\begin{matrix}a^{-n}=1:\underbrace {a:a:a:\dotsb :a} _{n\ \mathrm {Divisoren} }\end{matrix}}

Für eine reelle Zahl $a$ und eine natürliche Zahl $n$ definiert man also:

a^{-n}:={\frac {1}{a^{n}}},\quad a\neq 0

Die analoge Definition wird auch in allgemeinerem Kontext angewandt, wann immer eine Multiplikation und inverse Elemente zur Verfügung stehen, beispielsweise bei invertierbaren Matrizen.

Rationale Exponenten

Sei $q$ eine rationale Zahl mit der Bruchdarstellung $q={\tfrac {m}{n}}$ mit $m\in \mathbb {Z} ,\ n\in \mathbb {N}$ . Für beliebige positive reelle $a$ definiert man:

a^{q}=a^{\tfrac {m}{n}}:={\sqrt[{n}]{a^{m}}}

\qquad

(oder, was äquivalent ist,

a^{\tfrac {m}{n}}:=({\sqrt[{n}]{a}})^{m}

)

Zum Beispiel gilt:

2^{3,1}=2^{31/10}={\sqrt[{10}]{2^{31}}}=({\sqrt[{10}]{2}})^{31}

Der Wert der Potenz hängt nicht davon ab, welche Bruchdarstellung man gewählt hat.

Dieselbe Definition gilt auch für $a=0$ . Daraus folgt, dass $0^{q}=0$ für $q>0$ gilt und dass $0^{q}$ für $q<0$ nicht existiert.

Wenn man Wurzeln aus negativen Zahlen mit ungeraden Wurzelexponenten zulässt, dann kann man diese Definition auf negative Basen und solche rationale Exponenten erweitern, deren gekürzte Bruchdarstellungen ungerade Nenner haben. Dazu gehören auch Potenzen mit negativen Basen und ganzen Exponenten, weil die Nenner in diesem Fall gleich $1$ sind.

Für den Fall $a<0$ kann man bei Berechnungen von $a^{q}$ alle Bruchdarstellungen $q={\tfrac {m}{n}}$ mit ungeraden $n$ benutzen. Aber bei Benutzung von Bruchdarstellungen mit geraden $n$ können Fehler entstehen. Zum Beispiel gilt:

-2=(-8)^{1/3}={\sqrt[{3}]{-8}}={\sqrt[{9}]{(-8)^{3}}}\neq {\sqrt[{6}]{(-8)^{2}}}=2

Reelle Exponenten

Exponentialfunktionen 0,5 ^x, 2 ^x, e ^x und 10 ^x

Ist $a>0$ , $r$ eine beliebige reelle Zahl und $(q_{n})$ eine Folge rationaler Zahlen, die gegen $r$ konvergiert, so definiert man:

a^{r}:=\lim _{n\to \infty }a^{q_{n}}

Diese Definition ist korrekt, d. h., der Grenzwert existiert immer und hängt nicht von der Auswahl der Folge $(q_{n})$ ab.

Zum Beispiel ist $2^{\pi }$ gleich dem Grenzwert der Folge $2^{3},\,2^{3{,}1},\,2^{3{,}14},\,\dotsc .$

Die Definition lässt sich nicht auf den Fall $a<0$ erweitern, da in diesem Fall der Grenzwert nicht zu existieren braucht bzw. für verschiedene Wahlen der Folge $(q_{n})$ sich verschiedene Grenzwerte ergeben.

Eine andere Definition ist über die natürliche Exponentialfunktion und den natürlichen Logarithmus möglich:

a^{r}:=\operatorname {exp} (r\ln a)

Dazu kann die Exponentialfunktion über ihre Reihenentwicklung definiert werden:

\operatorname {exp} (x)=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}

Insgesamt sind somit die Potenzen mit nichtnegativen Basen für alle reellen Exponenten definiert. Im Unterschied dazu sind die Potenzen mit negativen Basen nur für solche rationalen Exponenten definiert, deren gekürzte Bruchdarstellungen ungerade Nenner haben. Alle Potenzen mit negativen Basen und ganzen Exponenten gehören dazu. Potenzen negativer Zahlen mit anderen reellen Exponenten lassen sich im Bereich der komplexen Zahlen definieren, sind allerdings nicht reellwertig.

Technische Schreibweisen

Wenn hochgestelltes Schreiben nicht möglich ist (zum Beispiel in einem ASCII-Text), verwendet man oft die Schreibweise a^b (beispielsweise in Algol 60,^[3] in TeX-Quellcode oder in Computeralgebrasystemen wie Maple), gelegentlich auch a**b (beispielsweise in Fortran, Perl oder Python). Aufgrund der verschiedenen Wahlen für die Definitionsbereiche von Basis und Exponent stellt Haskell gleich drei Potenzoperatoren zur Verfügung: a^b, a^^b und a**b.^[4]

Zehnerpotenzen werden in der elektronischen Datenverarbeitung oder in der Anzeige auf Taschenrechnern häufig mit e oder E dargestellt.
Häufig anzutreffende Darstellung für z. B. −299792458 = −2,99792458·10⁸

`-2.9979 08`	(8-stellige 7-Segment-Anzeige)
`-2.997925 08`	(10-stellige 7-Segment-Anzeige)
`-2.9979256 ⁰⁸`	(8-stellige 7-Segment-Anzeige + Exponentenfeld)
`-2.99792458 E+08`	(16-stellige Punktmatrixanzeige)
`-2.99792458E+08`	(Gleitkommadarstellung nach IEEE)

Potenzgesetze

Um die nachfolgende Tabelle nicht zu überladen, betrachten wir nur Potenzen mit reellen Basen, die ungleich $0$ sind. Betrachtet man aber eines der unten aufgeführten Gesetze mit nur positiven Exponenten, dann ist es auch für Potenzen zur Basis $0$ gültig. Wenn von rationalen Zahlen mit geraden oder ungeraden Nennern gesprochen wird, dann sind stets die Nenner ihrer gekürzten Bruchdarstellungen gemeint.

$a^{0}=1$	für alle $a\neq 0$ (Anmerkungen zu „null hoch null“ siehe unten)
$a^{-r}={\frac {1}{a^{r}}}$	für beliebige reelle $r$ , falls $a>0$ ist; für beliebige rationale $r$ mit ungeraden Nennern, falls $a<0$ ist.
$a^{\frac {m}{n}}={\sqrt[{n}]{a^{m}}}=({\sqrt[{n}]{a}})^{m}$	für beliebige natürliche $n$ und ganze $m$ , falls $a>0$ ist; für beliebige natürliche ungerade $n$ und ganze $m$ , falls $a<0$ ist.
$a^{r+s}=a^{r}\cdot a^{s}$	für beliebige reelle $r,s$ , falls $a>0$ ist; für beliebige rationale $r,s$ mit ungeraden Nennern, falls $a<0$ ist.
$a^{r-s}={\frac {a^{r}}{a^{s}}}$	für beliebige reelle $r,s$ , falls $a>0$ ist; für beliebige rationale $r,s$ mit ungeraden Nennern, falls $a<0$ ist.
$(a\cdot b)^{r}=a^{r}\cdot b^{r}$	für beliebige natürliche $r$ , und für ganze $r$ , wenn $a\cdot b\neq 0$ ; für beliebige reelle $r$ , falls $a>0,b>0$ sind; für beliebige rationale $r$ mit ungeraden Nennern, falls mindestens eine der Zahlen $a,b$ negativ ist.
$\left({\frac {a}{b}}\right)^{r}={\frac {a^{r}}{b^{r}}}$	für beliebige $b\neq 0$ und ganze $r$ und, wenn $r\leq 0$ , auch $a\neq 0$ ; für beliebige reelle $r$ , falls $a>0,b>0$ sind; für beliebige rationale $r$ mit ungeraden Nennern, falls mindestens eine der Zahlen $a,b$ negativ ist.
$(a^{r})^{s}=a^{r\cdot s}$	für beliebige ganze $r,s$ , falls $a\neq 0$ ist; für beliebige reelle $r,s$ , falls $a>0$ ist; für beliebige rationale $r,s$ , mit ungeraden Nennern, falls $a<0$ ist.

Ist mindestens einer der Exponenten $r,s$ irrational oder sind beide rational, aber hat mindestens eine der Zahlen $r$ oder $r\cdot s$ einen geraden Nenner, dann ist einer der Ausdrücke $(a^{r})^{s}$ oder $a^{r\cdot s}$ für $a<0$ undefiniert. Ansonsten sind beide definiert und stimmen entweder überein oder unterscheiden sich nur um ihr Vorzeichen. Für beliebige $r,s$ , falls $a>0$ ist, und für ganze $r,s$ , falls $a\neq 0$ ist, stimmen sie immer überein. Für $a<0$ und nicht ganzzahlige, aber rationale $r,s$ sind diese beiden Fälle möglich. Welcher Fall eintritt, hängt von der Anzahl der Zweien in der Primzahlzerlegung des Zählers von $r$ und des Nenners von $s$ ab. Um das richtige Vorzeichen auf der rechten Seite der Formel $(a^{r})^{s}=\pm a^{r\cdot s}$ zu erkennen, ist es hinreichend, in diese Formel $a=-1$ einzusetzen. Das Vorzeichen, mit dem sie dann bei $a=-1$ gültig ist, bleibt richtig für alle $a<0$ und gegebenem $r,s$ . Gilt $(a^{r})^{s}=-a^{r\cdot s}$ für $a<0$ , dann gilt $(a^{r})^{s}=|a|^{r\cdot s}$ für alle $a\neq 0$ (und auch für $a=0$ , falls alle Exponenten positiv sind).

Zum Beispiel gilt $((-1)^{2})^{\frac {1}{2}}=1$ und $(-1)^{2\cdot {\frac {1}{2}}}=-1$ . Darum ist ${\sqrt {a^{2}}}=(a^{2})^{\frac {1}{2}}=-a^{2\cdot {\frac {1}{2}}}=-a$ für alle $a<0$ und somit ${\sqrt {a^{2}}}=|a|$ für alle reellen $a$ gültig.

Das Potenzieren ist weder kommutativ, denn beispielsweise gilt $2^{3}=8\not =9=3^{2}$ , noch assoziativ, denn beispielsweise gilt $\left(3^{1}\right)^{3}=27\neq 3=3^{\left(1^{3}\right)}$ .

Die Schreibweise $a^{b^{c}}$ ohne Klammern bedeutet $a^{(b^{c})}$ , das Potenzieren ist demnach rechtsassoziativ, vgl. Operatorrangfolge.

Potenzen komplexer Zahlen

Für ganzzahlige Exponenten kann man Potenzen mit komplexen Basen wie im reellen Fall definieren. Für beliebige reelle oder komplexe Exponenten muss man jedoch anders vorgehen.

Der erste Schritt zur Definition von Potenzen mit komplexen Basen und Exponenten besteht in der stetigen Fortsetzung der Funktion $e^{x}$ auf die Menge $\mathbb {C}$ der komplexen Zahlen. Dafür gibt es unterschiedliche Möglichkeiten. Zum Beispiel kann man die Reihe

e^{z}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}

benutzen, die für alle $z\in \mathbb {C}$ konvergiert und für alle $z=x\in \mathbb {R}$ die Funktion $e^{x}$ angibt. Mithilfe von Operationen mit Reihen beweist man danach, dass

e^{z_{1}+z_{2}}=e^{z_{1}}e^{z_{2}}

für beliebige $z_{1},z_{2}\in \mathbb {C}$ und die eulersche Formel

e^{i\,y}=\cos y+i\,\sin y

für beliebige $y\in \mathbb {R}$ gelten. Daraus folgt die Formel

e^{x+i\,y}=e^{x}\,(\cos {y}+i\,\sin {y})

,

die man auch für die Definition von $e^{z}$ benutzen kann. Diese Formel zeigt, dass die Wertemenge von $e^{z}$ gleich $\mathbb {C} \setminus \{0\}$ ist und dass diese Funktion periodisch ist mit Perioden $2k\pi i$ , $k\in \mathbb {Z}$ .

Darum ist ihre Umkehrfunktion $\operatorname {Ln} (z)$ mehrdeutig und für alle $z\neq 0$ definiert. Sie kann mithilfe der Formel $\operatorname {Ln} (z)=\ln |z|+i\operatorname {Arg} (z)$ angegeben werden, wobei $|z|$ der Betrag, $\operatorname {Arg} (z)$ die Wertemenge des Arguments von $z$ und $\ln |z|$ der übliche reelle Logarithmus ist. Der Hauptwert $\ln(z)$ dieser Funktion ergibt sich, wenn man den Hauptwert $\operatorname {arg} (z)$ anstatt $\operatorname {Arg} (z)$ benutzt. Für reelle $z=x>0$ ist nach der üblichen Definition $\operatorname {arg} (x)=0$ , deshalb stimmt diese Funktion $\ln$ auf der Menge $\mathbb {R} ^{+}$ mit dem üblichen reellen Logarithmus überein.

Für beliebige $a,z\in \mathbb {C}$ mit $a\neq 0$ definiert man dann:

a^{z}=e^{z\,\operatorname {Ln} \,a}

Das ist auch eine mehrdeutige Funktion, deren Hauptwert sich beim Einsatz von $\ln$ anstatt $\operatorname {Ln}$ ergibt.

Aber für $z=n\in \mathbb {Z}$ verschwindet diese Mehrdeutigkeit und es entstehen übliche Potenzen mit ganzen Exponenten, die im ersten Abschnitt definiert wurden. Seien $a\neq 0$ und $\varphi \in \operatorname {Arg} (a)$ , dann zieht die exponentielle Darstellung

a=|a|\,e^{i\varphi }

nach sich, dass

a^{n}=|a|^{n}\,e^{in\varphi }

gilt.

Für einen rationalen Exponenten $q$ mit der gekürzten Bruchdarstellung $q={\tfrac {m}{n}}$ , mit $m\in \mathbb {Z} ,n\in \mathbb {N}$ , hat die Potenz $a^{q}$ genau $n$ unterschiedliche Werte. Dies gilt insbesondere für ${\sqrt[{n}]{a}}=a^{\frac {1}{n}}$ . Ist $n$ ungerade und $a\in \mathbb {R}$ , dann gibt es unter ihnen genau eine reelle Zahl, und das ist gerade die Zahl $a^{q}$ aus dem Abschnitt 1.3. Ist $n$ gerade und $a<0$ , dann nimmt $a^{q}$ keine reellen Werte an. Wenn aber $n$ gerade und $a>0$ ist, dann nimmt die Potenz $a^{q}$ genau zwei reelle Werte an, die unterschiedliche Vorzeichen haben. Der positive davon ist in diesem Fall gerade gleich der Zahl $a^{q}$ aus dem Abschnitt 1.3.

Als ein Beispiel betrachten wir die Potenz $i$ hoch $i$ .

Aus $|i|=1$ und

\operatorname {Arg} (i)={\frac {\pi }{2}}+2{\pi }k

mit

k\in \mathbb {Z}

folgt

\operatorname {Ln} (i)=i\left({\frac {\pi }{2}}+2{\pi }k\right).

Daraus ergibt sich

i^{i}=e^{i\cdot i({\frac {\pi }{2}}+2\pi k)}=e^{-{\frac {\pi }{2}}-2\pi k}

mit

k\in \mathbb {Z}

Der Hauptwert entspricht $k=0$ und ist gleich $e^{-{\frac {\pi }{2}}}.$

Spezielle Potenzen

Ganzzahlige Potenzen von 10 (Zehnerpotenzen) bilden die Grundlage unseres Zahlensystems, des Dezimalsystems. Als Potenz geschrieben, z. B. 10⁻⁹ für 0,000000001 oder 10¹¹ für 100 Milliarden, werden sie in den Naturwissenschaften zur Darstellung sehr großer oder sehr kleiner positiver Zahlen verwendet.

In der Mathematik und Technik besonders wichtig sind weiterhin Potenzen mit der Basis $e\approx 2{,}7182818284590452$ , der Eulerschen Zahl.

Zweierpotenzen ergeben sich durch wiederholte Verdoppelung. Das überraschend schnelle Anwachsen der Zahlen macht Zweierpotenzen für Praxisbeispiele beliebt:

Ein Blatt Papier üblicher Größe lässt sich nur etwa siebenmal auf die halbe Größe falten. Es hat dann 128 Lagen und nur noch ein 128-tel seiner Fläche. Wenn man es 42-mal falten könnte, was nur theoretisch geht, entspräche seine Dicke von ca. 400.000 km etwa der Entfernung von der Erde zum Mond.
Jeder Mensch hat zwei biologische Eltern und die meisten haben vier Großeltern und acht Urgroßeltern. Ohne Ahnenverlust wären das vor 70 Generationen, zur Zeit Christi Geburt, $2^{70}\approx 10^{21}$ Ahnen, obwohl damals weniger als 10⁹ Menschen gelebt haben.
Die Weizenkornlegende vom Erfinder des Schachspiels, der auf jedem Feld des Schachbrettes die Anzahl der Weizenkörner verdoppelte, verdeutlicht ebenfalls das rasante Wachstum der Zweierpotenzen.

Zur digitalen Verarbeitung von Daten am Computer wird das Dualsystem mit der Basis 2 verwendet. Die Größeneinheiten digitaler Speichersysteme sind daher die Zweierpotenzen, also die Potenzen zur Basis 2 (das sind 1, 2, 4, 8, 16, …). Ein Kibibyte (abgekürzt KiB) entspricht $2^{10}=1024$ Bytes.

Bei Schneeballsystemen, zum Beispiel sogenannten Schenkkreisen, werden zum Teil Systeme gestartet, die nicht nur eine Verdoppelung, sondern zum Beispiel eine Verachtfachung der neuen Mitglieder pro Schritt vorsehen. Solche Folgen wachsen derart schnell an, dass die Systeme bereits nach wenigen Schritten zwangsläufig kollabieren. Eine oft von den Initiatoren suggerierte Stabilität der Schneeballsysteme kann nicht bestehen. Sie sind daher aus gutem Grunde in vielen Ländern verboten.

Null hoch Null

Analysis

Der Graph der Funktion $z=x^{y}$ für $x\in [0,1]$ und $y\in [-1,+1]$ unter besonderem Augenmerk auf die Umgebung von $(0;0;z)$ , in welcher (senkrechten) Geraden die Fläche endet. Die far bi gen Kurven zeigen ver schie den e Annäherun gen an (0;0) mit ver schie de nen Grenzwerten für $0^{0}$ .

Die Frage, ob und auf welche Weise dem Ausdruck $0^{0}$ ein eindeutiger Wert zugeordnet werden kann, hat die Mathematiker spätestens seit der ersten Hälfte des 19. Jahrhunderts beschäftigt.

Die nebenstehende Abbildung veranschaulicht in ihrer 3D-Darstellung des Graphen der Funktion $z=x^{y}$ , dass beliebige Werte $z\in \mathbb {R} _{\geq 0}$ durch geeignete Wahl von Näherungspunkten $(x;y)$ an den Ursprung $(0;0)$ erreicht werden können. So ist z. B.

$\lim _{y\to 0+}0^{y}=0$ ,
$\lim _{y\to 0+}{\Bigl (}e^{-y^{-2}}{\Bigr )}^{y}=0$ ,
$\lim _{t\to +\infty }x^{y}=c$
mit $0<c<1$ , $x=c^{t}$ und $y={\tfrac {1}{t}}$ ,
$\lim _{x\to 0+}x^{0}=1$ und
$\lim _{y\to 0-}{\Bigl (}e^{-y^{-2}}{\Bigr )}^{y}=+\infty$ .

Die Beispiele zeigen, dass die Funktion $z=x^{y}$ an der Stelle $(0;0)$ divergiert, denn ein Grenzwert von der Art $\textstyle \lim _{(x;y)\to (0;0)}\;x^{y}$ existiert offensichtlich nicht.

Ein Ausdruck, der unter dem Zeichen des Grenzwertes steht und der sich nicht auf Grund von Grenzwertsätzen und Stetigkeitseigenschaften berechnen lässt, heißt unbestimmter Ausdruck. Beispiele sind ${\tfrac {0}{0}},\,{\tfrac {\infty }{\infty }}$ sowie $0^{0}$ . Letzterer Ausdruck entsteht bei Berechnungen von Potenzen, deren Basis und Exponent gleichzeitig gegen $0$ geht, und kann nicht bestimmt werden, wenn es keine Beziehung zwischen den beiden gibt.

Als einen unter naheliegenden Umständen geeigneten Wert kann man $1$ (das ist in der Abbildung die Gerade $(x;0;1)$ , weil $x^{0}=1$ für beliebige $x\in \mathbb {R} ^{\times }$ gilt) oder $0$ (der Strahl $(0;+y;0)$ , weil $0^{y}=0$ für $y\in \mathbb {R} ^{+}$ gilt) ansehen. Es gibt aber auch moderne Analysislehrbücher^[5], die die Potenz $0^{0}$ (in dieser Form) ausdrücklich undefiniert lassen.

Bis Anfang des 19. Jahrhunderts haben Mathematiker anscheinend $0^{0}=1$ gesetzt, ohne diese Festlegung genauer zu hinterfragen. Augustin-Louis Cauchy listete allerdings $0^{0}$ gemeinsam mit anderen Ausdrücken wie $0/0$ in einer Tabelle von unbestimmten Ausdrücken.^[6] 1833 veröffentlichte Guillaume Libri eine Arbeit,^[7] in der er wenig überzeugende Argumente für $0^{0}=1$ präsentierte, die in der Folge kontrovers diskutiert wurden. Zur Verteidigung von Libri veröffentlichte August Ferdinand Möbius einen Beweis seines Lehrers Johann Friedrich Pfaff, der im Wesentlichen zeigte, dass $\textstyle \lim _{x\to 0+}x^{x}=1$ gilt, und einen angeblichen Beweis für $\textstyle \lim _{t\to 0+}x(t)^{y(t)}=1$ , falls $\textstyle \lim _{t\to 0+}x(t)=\lim _{t\to 0+}y(t)=0$ gelten, lieferte.^[8] Die Korrektheit dieses Beweises wurde durch das Gegenbeispiel $x(t)=e^{-1/t}$ und $y(t)=t$ rasch widerlegt.

Donald E. Knuth erwähnte 1992 im American Mathematical Monthly die Geschichte der Kontroverse und lehnte die Schlussfolgerung entschieden ab, dass $0^{0}$ undefiniert gelassen wird.^[9] Wenn man den Wert 1 für die Potenz $0^{0}$ nicht voraussetzt, verlangen viele mathematische Aussagen wie zum Beispiel der binomische Satz

(a+b)^{n}=\sum _{k=0}^{n}{n \choose k}a^{k}b^{n-k}

eine Sonderbehandlung^[10] für die Fälle $a=0$ (am Index $k=0$ ) oder $b=0$ (am Index $k=n$ ) oder $a+b=0$ (bei $n=0$ ).

Ebenso kommt die Potenz $0^{0}$ in Potenzreihen wie beispielsweise für die Exponentialfunktion

e^{t}=\sum _{n=0}^{\infty }{\frac {t^{n}}{n!}}

für $t=0$ am Index $n=0$ oder in der Summenformel für die geometrische Reihe

\sum _{k=0}^{n}q^{k}={\frac {1-q^{n+1}}{1-q}}

für $q=0$ am Index $k=0$ vor. Auch hier hilft die Konvention $0^{0}=1$ .

Die angeführten Anwendungsfälle der Potenz $0^{0}$ sind (wie außerordentlich viele ähnliche andere) Aussagen über Polynome, Multinome oder Potenzreihen, bei denen der Exponent $y$ des Terms $x^{y}$ konstant 0 ist und die Basis $x$ – eher ausnahmsweise – den Wert 0 annehmen kann. In allen diesen Fällen sind die vorkommenden Terme stetige Summanden oder Faktoren, die für invertierbares $x$ den Wert 1 haben, deren Wert dann auch für die Lücke $x\to 0$ mühelos (und ganz im Sinn von $0^{0}=1$ ) als 1 stetig ergänzt werden kann.

Knuth differenziert jedoch und schreibt: “Cauchy had good reason to consider $0^{0}$ as an undefined limiting form” (deutsch etwa: Cauchy hatte guten Grund, $0^{0}$ als unbestimmten Limes-Ausdruck zu betrachten), wobei er unter der limiting form $0^{0}$ Grenzprozesse der Form $\lim x(t)^{y(t)}$ versteht, bei denen sich sowohl die Basis $x(t)$ wie der Exponent $y(t)$ für ein gewisses $t$ der 0 beliebig nähern.

Mit dieser Maßgabe von D. E. Knuth sind die einfachen Fälle der Absolutglieder in Polynomen und Potenzreihen unmittelbar und pauschal gelöst, ohne dass es zu einem Konflikt mit einer detaillierten Betrachtung komplizierterer Grenzprozesse käme.

Mengenlehre

In der Mengenlehre wird eine Potenz $B^{A}$ zweier Mengen als Menge aller Funktionen von $A$ nach $B$ definiert, das heißt als Menge von Mengen $f$ geordneter Paare $(a,b)$ , sodass es zu jedem $a\in A$ genau ein $b\in B$ gibt mit $(a,b)\in f$ . Bezeichnet man mit $|A|$ die Mächtigkeit von $A$ , so gilt $|B^{A}|=|B|^{|A|}$ (für endliche Mengen, aber auch darüber hinaus), was die Potenzschreibweise für Mengen rechtfertigt.^[11] Nun gibt es genau eine auf der leeren Menge $\emptyset$ definierte Funktion, das heißt Menge von Paaren mit obiger Eigenschaft, nämlich $\emptyset$ . Daher gilt $B^{\emptyset }=\{\emptyset \}$ , was auch für $B=\emptyset$ richtig bleibt.

Die natürlichen Zahlen werden in der Mengenlehre rekursiv wie folgt definiert (siehe von Neumanns Modell der natürlichen Zahlen):

0:=\emptyset ,\,1:=\{0\}=\{\emptyset \},\,2:=\{0,1\}=\{\emptyset ,\{\emptyset \}\},\,3:=\{0,1,2\}=\dotsb

Demnach gilt in der Mengenlehre:

0^{0}=\emptyset ^{\emptyset }=\{\emptyset \}=1

Umkehrfunktionen

Da das Kommutativgesetz beim Potenzieren nicht gilt, gibt es zwei Umkehrrechenarten:

das Wurzelziehen, um Gleichungen der Bauart $x^{a}=b$ nach $x$ aufzulösen, also um die Basis zu ermitteln, wenn der Exponent bekannt ist,
das Logarithmieren für Gleichungen des Typs $a^{x}=b$ , also die Bestimmung des Exponenten, wenn die Basis gegeben ist.

Verallgemeinerungen

Allgemeinere Basen

Allgemein gibt es Potenzen mit positiven, ganzzahligen Exponenten in jeder Halbgruppe. Hat diese ein neutrales Element und wird dadurch zum Monoid $M$ , so ist auch Exponent 0 sinnvoll, $a^{0}$ ist dann immer das neutrale Element. Es gelten für alle $a,b\in M;m,n\in \mathbb {N} _{0}$ die Potenzgesetze

$a^{m+n}=a^{m}\cdot a^{n}$
$(a^{m})^{n}=a^{m\cdot n}$
$(a\cdot b)^{m}=a^{m}\cdot b^{m}$ , falls $a$ und $b$ vertauschen, d. h. wenn $ab=ba$ gilt.

Ist $a$ ein invertierbares Element, so kann man mittels

\!\ a^{-n}=(a^{-1})^{n}

für

n\in \mathbb {N}

Potenzen mit beliebigen ganzzahligen Exponenten definieren. Die Rechenregeln gelten analog. Im Fall abelscher Gruppen besagen sie, dass durch die Potenzierung die Struktur eines $\mathbb {Z}$ -Moduls induziert wird.

Allgemeinere Exponenten

Allgemeinere Exponenten wie Matrizen werden meist nur im Zusammenhang mit der Basis $e$ , also als Werte der verallgemeinerten Exponentialfunktion betrachtet.

Darüber hinaus wird die Potenzschreibweise gelegentlich auch für andere natürliche Fortsetzungen verwendet. So werden beispielsweise in der algebraischen Zahlentheorie gelegentlich Potenzen von Elementen von (topologischen) Galoisgruppen mit Exponenten in Vervollständigungen von $\mathbb {Z}$ betrachtet; es handelt sich dann um die jeweils eindeutig bestimmte stetige Fortsetzung der Abbildung

\mathbb {Z} \to G,\quad n\mapsto g^{n}.

Für beliebige Kardinalzahlen $|X|$ und $|Y|$ lässt sich die Potenz durch $|Y|^{|X|}:=|Y^{X}|$ definieren, wobei $Y^{X}$ die Menge aller Funktionen mit Urmenge $X$ und Bildmenge $Y$ bezeichnet, diese Verallgemeinerung setzt das Potenzmengenaxiom voraus, wobei zur Handhabung der Kardinalzahlen in der Regel auch das Auswahlaxiom angenommen wird.

Mehrdeutigkeit der Exponentenschreibweise

Die Exponentenschreibweise kann insbesondere bei Funktionen verschiedene Bedeutungen haben, je nachdem, ob die Schreibweise die Iteration der Verkettung oder der punktweisen Multiplikation wiedergeben soll. Darüber hinaus könnte auch ein oberer Index gemeint sein. In der Regel geht aus dem Kontext hervor, was gerade gemeint ist.

Verkettung

Die Potenzschreibweise wird oft als abkürzende Schreibweise für die Verkettung von Funktionen, deren Werte wieder im Definitionsbereich liegen, verwendet, zum Beispiel für Iterationen in dynamischen Systemen.

Man definiert, wobei id die Identität auf dem Definitionsbereich bezeichnet, rekursiv:

f^{0}:=\mathrm {id

für $n\geq 1$ , also

f^{1}:=f;\quad f^{2}:=f\circ f,

und so weiter.

Für die Funktionswerte bedeutet dies

f^{0}(x)=\mathrm {id} (x)=x;\quad f^{1}(x)=f(x);\quad f^{2}(x)=(f\circ f)(x)=f(f(x))

und allgemein

f^{n}(x)=(f\circ f^{n-1})(x)=f\left(f^{n-1}(x)\right).

Als Erweiterung dieser Definition definiert man üblicherweise noch $f^{-1}$ als die Umkehrfunktion von $f$ . Insbesondere findet sich diese Schreibweise auch auf vielen Taschenrechnern, beispielsweise wird dort und auch sonst die Arkusfunktion $\arcsin$ mit $\sin ^{-1}$ bezeichnet. Oft bezeichnet $f^{-1}$ auch die Urbildfunktion.

Multiplikation

Als abkürzende Schreibweise für die Multiplikation mehrerer Funktionswerte trigonometrischer Funktionen mit gleichen Argumenten, wie sie beispielsweise bei den Additionstheoremen für Winkelfunktionen häufig auftreten, hat sich ebenfalls die Potenzschreibweise eingebürgert, das heißt, man schreibt

\sin ^{2}\!x:=(\sin x)^{2}=\sin(x)\cdot \sin(x)=\sin x\cdot \sin x

.

Dies ist nicht mit der oben vorgestellten Schreibweise für die Verkettung von Funktionen verträglich. Gleiches gilt für Polynome. Mit $x^{n}$ meint man immer das $n$ -fache Produkt der Unbestimmten $x$ mit sich selbst. Da die Unbestimmte als Polynomfunktion die identische Abbildung ist, wäre die Potenzschreibweise als Iteration von Funktionen hier nicht sinnvoll.

Oberer Index

Für indizierte Größen schreibt man den Index manchmal hochgestellt, sodass in den Formeln der Eindruck einer Potenzierung entstehen könnte. Das kommt besonders in der Tensorrechnung vor, etwa bei der Bezeichnung von Vektorfeldern in Koordinatenschreibweise, oder bei der Indizierung von Größen, die ihrerseits bereits indiziert sind, etwa Folgen von Folgen.

Ableitung

Wird der Exponent in Klammern geschrieben, so ist meist die entsprechende Ableitung gemeint, $f^{(n)}$ bezeichnet dann die $n$ -te Ableitung der Funktion $f$ .

Potenzwert mit Zirkel und Lineal

Der Wert einer Potenz kann auch – so wie die Quadratwurzel, die Multiplikation und die Division – als Konstruktion mit Zirkel und Lineal mithilfe des Strahlensatzes dargestellt werden. Die Bedingung dabei ist: Die Basis $a$ ist eine reelle Zahl und der Exponent eine positive ganze Zahl.

Es ist zu unterscheiden, ob die Basis $a$ größer oder kleiner als die Zahl $1$ ist. Im Folgenden werden beide Möglichkeiten für einen Potenzwert gleich $a^{4}$ beschrieben. Dabei wird auch die Vorgehensweise für Potenzwerte $a^{2}$ und $a^{3}$ erkennbar.

Konstruktion für a > 1

Potenzwert $a^{4}$ mit Zirkel und Lineal, Beispiel $a>1$ .
Die gestrichelten Linien sowie $C$ und $E$ werden für die Lösung nicht benötigt.

Zunächst zieht man durch den vorher bestimmten Punkt $0$ den ersten Strahl und bestimmt darauf die Länge gleich $1$ . Es folgt der Halbkreis mit dem Radius $a$ um den Punkt $0,$ die Schnittpunkte sind $A$ und $B.$ Nun wird eine Senkrechte zu ${\overline {AB}}$ in $1$ errichtet, bis sie den Halbkreis in $B'$ schneidet. Das Einzeichnen des zweiten Strahls durch den Punkt $B'$ schließt sich an.

Weiter geht es mit dem Errichten einer Senkrechten auf dem zweiten Strahl im Punkt $B'$ , bis sie den ersten Strahl in $D$ schneidet. Die Strecke ${\overline {0D}}$ entspricht dem Potenzwert $a^{2}.$ Jetzt wird eine Senkrechte auf dem ersten Strahl im Punkt $D$ errichtet, bis sie den zweiten Strahl in $F$ schneidet. Schließlich liefert eine letzte Senkrechte auf dem zweiten Strahl im Punkt $F$ den Potenzwert $a^{4}$ als Strecke ${\overline {0G}}$ .

Die beiden gestrichelten Linien sowie die Punkte $C$ und $E$ werden für die Lösung des Potenzwertes $a^{4}$ nicht benötigt. Sie dienen lediglich der Verdeutlichung wie der Potenzwert $a^{3}$ bestimmt werden kann.

Konstruktion für a < 1

Potenzwert $a^{4}$ mit Zirkel und Lineal, Beispiel $a<1$

Zuerst werden z. B. auf einer Zahlengeraden die Längen $a$ und $1$ als Strecken ${\overline {AB}}$ bzw. ${\overline {BD}}$ aufgetragen. Anschließend wird der Halbkreis über ${\overline {AC}}$ eingezeichnet. Es folgen die Halbierung der Strecke ${\overline {BD}}$ in $E$ und das Ziehen des Kreisbogens mit Radius ${\overline {ED}}$ um $E$ , bis er den Halbkreis in $F$ schneidet. Nun wird das Lot ab $F$ auf die Zahlengerade mit Fußpunkt $G$ gefällt. Die Strecke ${\overline {BG}}$ entspricht dem Potenzwert $a^{2}.$ Nach den Verbindungen der Punkte $B$ mit $F$ sowie $D$ mit $F$ ergibt sich am Scheitel $F$ ein rechter Winkel.

Weiter geht es mit dem Ziehen einer Parallelen zur Strecke ${\overline {DF}}$ ab $G$ , bis sie ${\overline {BF}}$ in $H$ schneidet. Der nun folgende Kreisbogen mit Radius ${\overline {BH}}$ um $B$ schneidet den Zahlenstrahl in $I.$ Die Strecke ${\overline {BI}}$ entspricht dem Potenzwert $a^{3}.$ Eine Parallele zur Strecke ${\overline {GH}}$ ab $I$ schneidet ${\overline {BF}}$ in $J$ . Abschließend wird der Kreisbogen mit Radius ${\overline {BJ}}$ um $B$ gezogen, bis er den Zahlenstrahl in $K$ schneidet. Die Strecke ${\overline {BK}}$ ist der gesuchte Potenzwert $a^{4}.$

In Programmiersprachen

Die Schreibweise $x^{y}$ mit hochgestelltem Exponenten ist praktisch und gut lesbar in handgeschriebenen Formeln und im Schriftsatz, aber unpraktisch bei Schreibmaschinen und Terminals, bei denen die Zeichen einer Zeile alle auf einer Höhe stehen. Deshalb benutzen viele Programmiersprachen alternative Wege, um eine Potenz darzustellen:

x ↑ y: ALGOL, Commodore BASIC
x ^ y: BASIC, J, MATLAB, R, Microsoft Excel, TeX (und seine Ableger), TI-Basic, bc (für ganzzahlige Exponenten), Haskell (für nicht negative ganzzahlige Exponenten), Lua, ASP und die meisten Computeralgebrasysteme
x ^^ y: Haskell (für rationale Basis und ganzzahlige Exponenten), D
x ** y: Ada, Bash, COBOL, Fortran, FoxPro, Gnuplot, OCaml, Perl, PHP, PL/I, Python, REXX, Ruby, SAS, Seed7, Tcl, ABAP, Haskell (für Gleitkomma-Exponenten), Turing, VHDL, JavaScript
x⋆y: APL
(expt x y): Common Lisp
x sup y : eqn^[12]

In vielen Programmiersprachen gibt es statt eines Potenzoperators eine entsprechende Bibliotheksfunktion, beispielsweise pow(x,y) in C, Math.pow(x,y) in Java oder JavaScript und Math.Pow(x,y) in C-Sharp.

Siehe auch

Perfekte Potenz

Weblinks

Wikibooks: ${\color {BlueViolet}{\begin{matrix}{\mathbf {MATHE} \mu \alpha T\mathbb {R} ix}\end{matrix}}}$ Mathematik für die Schule – Potenzen

Wikibooks: Mathe für Nicht-Freaks: Potenz – Lern- und Lehrmaterialien

Einzelnachweise

↑ Potenz. Bibliographisches Institut – Dudenverlag, abgerufen am 3. Juni 2016.
↑ Lehnübersetzung aus gr. δύναμις, dýnamis, das in der antiken Geometrie spätestens seit Platon auch die Bedeutung „Quadrat“ hatte.
↑ Syntax the Algorithmic Language Algol 60. (Memento vom 28. August 2012 im Internet Archive)
↑ Antwort auf eine Frage auf Stackoverflow zu Potenzoperatoren in Haskell
↑ erarb. von Günther Reinelt. Unter Mitw. von Carsten Kreutz: Lambacher Schweizer – Mathematik für die Fachhochschulreife / [Hauptbd.]. Gesamtband. 1. Auflage. Klett-Schulbuchverl, Stuttgart 2008, ISBN 978-3-12-732691-8.
↑ Augustin-Louis Cauchy: Analyse algébrique. Die Tabelle mit den unbestimmten Ausdrücken ist auf Seite 69.
↑ Guillaume Libri: Mémoire sur les fonctions discontinues. In: Journal für die reine und angewandte Mathematik, 10, 1833, S. 303–316.
↑ August Ferdinand Möbius: Beweis der Gleichung $0^{0}=1$ , nach J. F. Pfaff. In: Journal für die reine und angewandte Mathematik, 12, 1834, S. 134–136.
↑ Donald E. Knuth: Two notes on notation. In: American Mathematical Monthly. Vol. 99, No. 5, Mai 1992, S. 403–422; Preprint (GZIP; 26 kB) auf der Website von Knuth als TeX-Quelltext; arxiv:math/9205211. Die Geschichte der Kontroverse ist auf Seite 6 des Preprints.
↑ Man kann es – mit letztlich demselben Ergebnis – auch andersherum sehen: Die Schreibweise $\textstyle \sum _{k=0}^{n}{n \choose k}a^{k}b^{n-k}$ ist eine „Kurzform“ von $\textstyle a^{n}+\sum _{k=1}^{n-1}{n \choose k}a^{k}b^{n-k}+b^{n}$ , die keinen Exponenten 0 enthält. Dabei ist vereinbart, dass der Wert einer Potenz als 1 zu nehmen ist, wenn ihr Exponent durch eine Konstellation der Laufvariablen 0 wird.
↑ Thomas Jech: Set Theory. Springer-Verlag, 2003, ISBN 3-540-44085-2, S. 28, Gleichungen (3.3)
↑ Brian W. Kernighan, Lorinda L. Cherry: Typesetting Mathematics – User’s Guide. 2. Auflage. 1978, S. 2 (englisch, kohala.com).

[1] Potenz. Bibliographisches Institut – Dudenverlag, abgerufen am 3. Juni 2016.

[2] Lehnübersetzung aus gr. δύναμις, dýnamis, das in der antiken Geometrie spätestens seit Platon auch die Bedeutung „Quadrat“ hatte.

[3] Syntax the Algorithmic Language Algol 60. (Memento vom 28. August 2012 im Internet Archive)

[4] Antwort auf eine Frage auf Stackoverflow zu Potenzoperatoren in Haskell

[5] rarb. von Günther Reinelt. Unter Mitw. von Carsten Kreutz: Lambacher Schweizer – Mathematik für die Fachhochschulreife / [Hauptbd.]. Gesamtband. 1. Auflage. Klett-Schulbuchverl, Stuttgart 2008, ISBN 978-3-12-732691-8.

[6] Augustin-Louis Cauchy: Analyse algébrique. Die Tabelle mit den unbestimmten Ausdrücken ist auf Seite 69.

[7] Guillaume Libri: Mémoire sur les fonctions discontinues. In: Journal für die reine und angewandte Mathematik, 10, 1833, S. 303–316.

[8] August Ferdinand Möbius: Beweis der Gleichung $0^{0}=1$ , nach J. F. Pfaff. In: Journal für die reine und angewandte Mathematik, 12, 1834, S. 134–136.

[9] Donald E. Knuth: Two notes on notation. In: American Mathematical Monthly. Vol. 99, No. 5, Mai 1992, S. 403–422; Preprint (GZIP; 26 kB) auf der Website von Knuth als TeX-Quelltext; arxiv:math/9205211. Die Geschichte der Kontroverse ist auf Seite 6 des Preprints.

[10] Man kann es – mit letztlich demselben Ergebnis – auch andersherum sehen: Die Schreibweise $\textstyle \sum _{k=0}^{n}{n \choose k}a^{k}b^{n-k}$ ist eine „Kurzform“ von $\textstyle a^{n}+\sum _{k=1}^{n-1}{n \choose k}a^{k}b^{n-k}+b^{n}$ , die keinen Exponenten 0 enthält. Dabei ist vereinbart, dass der Wert einer Potenz als 1 zu nehmen ist, wenn ihr Exponent durch eine Konstellation der Laufvariablen 0 wird.

[11] Thomas Jech: Set Theory. Springer-Verlag, 2003, ISBN 3-540-44085-2, S. 28, Gleichungen (3.3)

[12] Brian W. Kernighan, Lorinda L. Cherry: Typesetting Mathematics – User’s Guide. 2. Auflage. 1978, S. 2 (englisch, kohala.com).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Image Description	Credit	Artist	File
Potenzieren a 4 \displaystyle a^4 als Konstruktion mit Zirkel und Lineal, Beispiel a < 1 \displaystyle a<1	Eigenes Werk	Petrus3743	Datei:01 Potenzieren- Exponent 4-2.svg
Potenzieren a 4 \displaystyle a^4 als Konstruktion mit Zirkel und Lineal, Beispiel a > 1 \displaystyle a>1	Eigenes Werk	Petrus3743	Datei:01 Potenzieren- Exponent 4.svg
Begriffsklärungs-Icon (Autor: Stephan Baum)	Eigenes Werk ( Originaltext: Own drawing by Stephan Baum ) Original Commons upload as File:Logo Begriffsklärung.png by Baumst on 2005-02-15	Stephan Baum	Datei:Disambig-dark.svg
Elemente der Potenzschreibweise: Basis Exponent = Potenzwert \displaystyle \textBasis^\textExponent=\textPotenzwert	Eigenes Werk	Stephan Kulla	Datei:Elemente der Potenzschreibweise.svg
Graphs of y = b x for various bases b : base 10 , base e , base 2 , base 1 / 2 . Each curve passes through the point (0, 1) because any nonzero number raised to the power of 0 is 1. At x = 1 , the value of y equals the base because any number raised to the power of 1 is the number itself. Automatic replacement for Image:Expo02.png : "A graph showing e^x (in red), 10^x (in green) and 1.7^x (in blue) over the x-interval -3 to 3." Created in wikipedia:Gnuplot . Gnuplot source code: set terminal svg size 315 304 fname "Verdana" fsize 12 set output "exp.svg" set xrange -3 : 3 set yrange -0 .9 : 5.1 set samples 500 set ticscale 0.5 set xtics axis 1 set ytics axis 1 set grid linewidth 0.1 unset key unset border set label 1 "e" at 1.1 , exp ( 1 ) set label 2 "10" at 0.8 , 10 0.7 set label 3 "2" at 1.1 , 1.9 set label 4 "½" at 1.1 , 0.6 plot exp ( x ) 1 plot 10 x 2 plot 2 x 3 plot 0.5 x 4	Eigenes Werk	User:EnEdC	Datei:Expo02.svg
Aus a < b folgt a^b > b^a.	Eigenes Werk	Mabit1	Datei:Potenzungleichung.svg
Wikibooks logo; Favicon is	Eigenes Werk	Bastique , Ramac et al.	Datei:Wikibooks-logo.svg
Negative Potenzen,	selbst erstellt	Benutzer:Qwqchris	Datei:Potenzenminus.png
positive Potenzen	selbst erstellt	Benutzer:Qwqchris	Datei:Potenzenplus.png