Potenz (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Der Titel dieses Artikels ist mehrdeutig. Zum Begriff der Potenz in der Geometrie siehe Potenz (Geometrie).

Das Potenzieren (von lat. potentia, ‚Vermögen, Macht‘, als Lehnübersetzung aus gr. δύναμις, dýnamis, das in der antiken Geometrie spätestens seit Platon auch die Bedeutung ‚Quadrat‘ hatte) ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor wiederholt multipliziert.

Definition[Bearbeiten]

Natürliche Exponenten[Bearbeiten]

Die Potenz a^n wird für reelle oder komplexe Zahlen a und natürliche Zahlen n definiert durch


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

Man spricht diese Rechenoperation als a hoch n, a zur n-ten Potenz oder kurz a zur n-ten. Im Fall n=2 ist auch a (zum) Quadrat und im Fall n=3 auch a (zum) Kubik üblich.

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

Die obige Definition gilt nur für n=1,2,3,\dotsc Damit die Identität a\cdot a^n = a^{n+1} auch noch für n=0 gilt, wird a^0=1 festgelegt.

Diese Definition lässt sich nicht nur auf reelle oder komplexe Zahlen, sondern auch auf beliebige multiplikative Monoide anwenden.

Potenzfunktionen mit positivem Exponenten graphisch
Potenzfunktionen mit negativem Exponenten graphisch

Wenn hochgestelltes Schreiben nicht möglich ist (zum Beispiel in einem ASCII-Text), verwendet man oft die Schreibweise a^b (beispielsweise in Algol 60[1], in TeX-Quellcode oder in Computeralgebrasystemen wie Maple), gelegentlich auch a**b (beispielsweise in Fortran, Perl oder Python).

Zehnerpotenzen werden in der elektronischen Datenverarbeitung häufig mit e oder E dargestellt.
Beispiel: 1,55 E 5 := 1,55 · 105 = 155000.

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, so dass man das Ergebnis 1 erhält.


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

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[Bearbeiten]

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 Exponent 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[Bearbeiten]

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^q=(\sqrt [n] a)^m).

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 ist und dass 0^q nicht existiert, wenn q < 0 ist.

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} \ne \sqrt [6]{(-8)^2}=2.

Reelle Exponenten[Bearbeiten]

Ist a > 0 und r eine beliebige reelle Zahl, und ist  (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},\dots

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 reelle Exponenten definiert. Im Unterschied davon sind die Potenzen mit negativen Basen nur für solche rationale Exponenten definiert, deren gekürzte Bruchdarstellungen ungerade Nenner haben. Alle Potenzen mit negativen Basen und ganzen Exponenten gehören dazu.

Potenzgesetze[Bearbeiten]

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\ne 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 ganze r mit r\geq 0 und b\neq 0 oder r\leq 0 und 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\ne 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.
(a^r)^s =- a^{r\cdot s} für a<0 und beliebige rationale r,\; s, falls r und r\cdot s ungerade Nenner haben und r\cdot s einen ungeraden Zähler hat.

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\ne 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 \ne 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 reelle 
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[Bearbeiten]

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^{\infty}_{n=0} {\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 \mathrm{Ln} (z) mehrdeutig und für alle z\ne 0 definiert. Sie kann mithilfe der Formel \mathrm{Ln} (z)=\ln |z|+i\mathrm{Arg} (z) angegeben werden, wobei |z| der Betrag, \mathrm{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 \mathrm{arg} (z) anstatt \mathrm{Arg}(z) benutzt. Für reelle z=x>0 ist nach der üblichen Definition \mathrm{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\ne 0 definiert man dann:

a^z =e^{z\,\mathrm{Ln}\;a}.

Das ist auch eine mehrdeutige Funktion, deren Hauptwert sich beim Einsatz von \ln anstatt \mathrm{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\ne 0 und \varphi \in \mathrm{Arg}(a), dann zieht die exponentiale 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 sind, 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

\mathrm{Arg}(i)={\frac {\pi} 2}+2{\pi} k mit k\in \mathbb Z

folgt

\mathrm{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[Bearbeiten]

Glatte Potenzen von 10 bilden die Grundlage unseres Zahlensystems, des Dezimalsystems. Als Potenz geschrieben, z.B. 10−9 für 0,000000001 oder 1011 für 100 Milliarden, werden sie in den Naturwissenschaften verwendet zur Darstellung sehr großer oder sehr kleiner Zahlen.

Für die Mathematik besonders wichtig sind die Potenzen mit der Basis e \approx 2{,}7182818284590452, der so genannten Eulerschen Zahl.

Zweierpotenzen ergeben sich durch wiederholte Verdoppelung, eines für sich betrachtet einleuchtenden Prozesses. Das dennoch überraschende schnelle Anwachsen der Zahlen macht sie für Praxisbeispiele so beliebt:

  • Ein Blatt Papier lässt sich nur etwa siebenmal auf die halbe Größe falten. Es hat dann 128 Lagen. Wenn man es (theoretisch) 42-mal falten könnte, entspräche seine Dicke der Entfernung von der Erde zum Mond (ca. 384 000 km).
  • 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 109 Menschen gelebt haben.
  • Die Legende vom Erfinder des Schachspiels, der auf jedem Feld des Schachbrettes die Anzahl der Weizenkörner verdoppelte: Weizenkornlegende.

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 so genannten 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.

Null hoch Null[Bearbeiten]

Analysis[Bearbeiten]

z=x^y für die Umgebung von (0;0). Die Fläche entartet in eine senkrechte Gerade bei (0;0). Die verschiedenfarbigen Kurven veranschaulichen die verschiedenen Grenzwerte für 00, je nach gewählter Funktion.

Es hat sich historisch gebildet, dass man das Symbol 0^0 in der Mathematik in zwei völlig unterschiedlichen Bedeutungen benutzt: als die Bezeichnung für eine Art der unbestimmten Ausdrücke und als die Aufzeichnung der Potenz, deren Basis und Exponent gleich 0 sind.

Im ersten Fall ist es unsinnig, diesem Symbol einen Zahlwert zuzuschreiben. Im zweiten Fall ist die Festlegung eines Wertes der Potenzen 0^0 keine Frage von wahr oder falsch, sondern von zweckmäßig oder unzweckmäßig. Als a priori geeignete Werte kann man zum Beispiel entweder 0 (weil 0^q=0 für beliebige q\in \mathbb R^+ gilt) oder 1 (weil a^0=1 für beliebige a\in \mathbb R\setminus \{0\} gilt) betrachten. In heutigen Analysislehrbüchern ist auch die Konvention verbreitet, die Potenz 0^0 undefiniert zu lassen.

Kann ein Grenzwert nicht unmittelbar auf Grund von Grenzwertsätzen und Eigenschaften von stetigen Funktionen berechnet werden, dann heißt der Ausdruck, der unter dem Zeichen des Grenzwertes steht, unbestimmter Ausdruck. Das sind zum Beispiel \tfrac {0} {0},\;\tfrac {\infty} {\infty} usw. Der unbestimmte Ausdruck 0^0 entsteht bei Berechnungen der Grenzwerte der Potenzen, deren Basen und Exponenten gleichzeitig gegen 0 gehen. Die Ursache liegt darin, dass für eine beliebige Zahl A\geq 0 (und auch bei A=+{\infty}) solche Folgen (u_n),\;(v_n) existieren, dass u_n\to 0+, v_n\to 0 und {u_n}^{ v_n}\to A gelten. Also sind die Grenzwertargumente zur Festlegung des Wertes der Potenz 0^0 ungeeignet.

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.[2] 1833 veröffentlichte Guillaume Libri eine Arbeit[3], 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 \lim_{x\to 0+} x^x = 1 gilt, und einen angeblichen Beweis für \lim_{x\to 0+} f(x)^{g(x)} = 1, falls \lim_{x\to 0+} f(x)=\lim_{x\to 0+} g(x)=0 gelten, lieferte.[4] Dieser Beweis wurde durch das Gegenbeispiel f(x)=e^{-1/x} und g(x)=x 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.[5] Wenn man den Wert 1 für die Potenz 0^0 nicht voraussetzt, verlangen viele mathematische Theoreme wie zum Beispiel der binomische Satz

(x+y)^n=\sum_{k=0}^n{n\choose k}x^ky^{n-k}

eine Sonderbehandlung für die Fälle x=0 oder y=0 oder gleichzeitig n=0 und x + y = 0.

Ebenso taucht die Potenz 0^0 in Potenzreihen wie beispielsweise für die Exponentialfunktion

e^x=\sum_{n=0}^\infty \frac{x^n}{n!} an der Stelle x=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

auf. Auch hier ist die Konvention 0^0=1 sinnvoll.

Mengenlehre[Bearbeiten]

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), so dass 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|} (zumindest für endliche Mengen, aber auch darüber hinaus), was die Potenzschreibweise für Mengen rechtfertigt. 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\} = \ldots.

Demnach gilt in der Mengenlehre

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

Umkehrfunktionen[Bearbeiten]

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 vorgegeben ist.

Verallgemeinerungen[Bearbeiten]

Allgemeinere Basen[Bearbeiten]

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 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.

(Überall a,b\in M; m,n\in\N_0.)

Ist a ein invertierbares Element, so kann man mittels

\!\ a^{-n}=(a^{-1})^n für n\in\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[Bearbeiten]

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 bei Funktionen[Bearbeiten]

Eine an Potenzen erinnernde Schreibweise existiert auch für Funktionen. Diese Schreibweise kann allerdings verschiedene Bedeutungen haben. In der Regel geht aus dem Kontext hervor, welche von beiden Bedeutungen gerade gemeint ist.

Multiplikation[Bearbeiten]

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 folgende Schreibweise eingebürgert:

\sin^2\ x := (\sin\ x)^2 = \sin(x)\cdot\sin(x).

Allgemein gilt aber nicht:

\!\ f^n (x) = (f(x))^n (siehe unten unter Verkettung).

Verkettung[Bearbeiten]

Andererseits wird die Potenzschreibweise oft als abkürzende Schreibweise für die Verkettung von Funktionen, deren Werte wieder im Definitionsbereich liegen, verwendet.

Definition (id bezeichnet die Identität auf dem Definitionsbereich):

f^0 := \mathrm{id} ; f^1 := f ; f^2 := (f \circ f)
f^n := f \circ f^{n-1}.

Für die Funktionswerte bedeutet dies:

f^0(x) = \mathrm{id}(x) = x ; f^1(x) = f(x) ; f^2(x) = (f \circ f)(x) = f(f(x))
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.

Ableitung[Bearbeiten]

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

In Programmiersprachen[Bearbeiten]

Die Schreibweise mit hochgestelltem Exponenten xy ist praktisch in handgeschriebenen Formeln, 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:

In vielen Programmiersprachen gibt es statt eines Potenzoperators eine entsprechende Bibliotheksfunktion.

Verwandte Themen[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. Sample: Syntax the Algorithmic Language Algol 60
  2. Cauchy, Augustin-Louis. Analyse algébrique. Die Tabelle mit den unbestimmten Ausdrücken ist auf Seite 69.
  3. Libri, Guillaume. Mémoire sur les fonctions discontinues, Journal für die reine und angewandte Mathematik, 10 (1833), S. 303–316.
  4. Möbius, August Ferdinand. Beweis der Gleichung 0^0=1, nach J. F. Pfaff. Journal für die reine und angewandte Mathematik, 12 (1834), S. 134–136.
  5. Donald E. Ervin: Two notes on notation. In: American Mathematical Monthly. Vol. 99, No. 5, Mai 1992, S. 403–422 (Preprint auf der Website von Knuth als TeX-Quelltext; GZIP; 26 kB). Die Geschichte der Kontroverse ist auf Seite 6 des Preprints.