|  |
| --- |
| Operasi aritmetika* l
* b
* s
 |
|  |

Grafik *y* = *b**x* untuk sebagai basis *b*:
  basis 10,
  basis *e*,
  basis 2,
  basis 12.
Setiap kurva melewati titik (0, 1) karena setiap bilangan bukan nol pangkat 0 adalah 1. Pada *x* = 1, nilai *y* sama dengan basis karena setiap bilangan yang dipangkatkan 1 adalah bilangan itu sendiri.Templat:Hasil perhitungan
**Eksponensiasi** adalah sebuah operasi matematika, ditulis sebagai {\displaystyle b^{n}}, melibatkan dua bilangan, basis atau bilangan pokok {\displaystyle b} dan eksponen atau pangkat {\displaystyle n}, diucapkan sebagai "{\displaystyle b} pangkat {\displaystyle n}".. Ketika {\displaystyle n} adalah bilangan bulat positif, eksponensiasi adalah perkalian berulang dari basis: yaitu, {\displaystyle b^{n}} adalah darab dari mengalikan basis {\displaystyle n}:

{\displaystyle b^{n}=\underbrace {b\times \dots \times b} \_{{\text{sebanyak }}n{\text{ kali}}}.}
Satu memiliki *b*1 = *b*, dan untuk nilai sembarang bilangan bulat positif m dan n, apabila memiliki *b**n* ⋅ *b**m* = *b**n*+*m*. Untuk memperluas sifat ini ke eksponen bilangan bulat non-positif, *b*0 didefinisikan sebagai 1, dan *b*−*n* (dengan n bilangan bulat positif dan b bukan nol) didefinisikan sebagai 1*b**n*. Khususnya, *b*−1 sama dengan 1*b*, *timbal balik* dari b.

Definisi eksponensial diperluas untuk memungkinkan eksponen real atau kompleks. Eksponen dengan eksponen bilangan bulat juga didefinisikan untuk berbagai macam struktur aljabar, termasuk matriks.

Eksponen digunakan secara luas di berbagai banyak bidang, yaitu ekonomi, biologi, kimia, fisika, dan ilmu komputer, dengan aplikasi seperti bunga majemuk, pertumbuhan populasi, kinetika reaksi kimia, perilaku gelombang, dan kriptografi kunci publik.

Terminologi
-----------

Ekspresi *b*2 = *b* ⋅ *b* disebut "persegi dari *b*" atau "kuadrat *b*", karena luas persegi dengan panjang sisi *b* adalah *b*2.

Demikian pula, ekspresi *b*3 = *b* ⋅ *b* ⋅ *b* disebut "kubus dari *b*" atau "*b* pangkat tiga", karena volume kubus dengan panjang rusuk *b* adalah *b*3.

Karena itu adalah bilangan bulat positif, eksponen menunjukkan berapa banyak salinan dari basis yang dikalikan bersama. Misalnya, 35 = 3 ⋅ 3 ⋅ 3 ⋅ 3 ⋅ 3 = 243. Basis 3 muncul 5 kali dalam perkalian, karena eksponennya adalah 5. Maka, 243 adalah *pangkat ke-5 dari 3*, atau *3 terpangkat ke-5*.

Kata "pangkat" terkadang dihilangkan, jadi 35 dapat dibaca "3 ke 5". Oleh karena itu, eksponensiasi *b**n* dinyatakan sebagai "*b* untuk pangkat *n*", "*b* untuk pangkat ke-*n*", "*b* untuk ke-*n*", atau disingkat juga sebagai "*b* untuk *n* ".

Rumus dengan eksponensial bertingkat, seperti 357 (yang berarti 3(57) dan bukan (35)7), disebut juga sebagai **menara pangkat**.

Eksponen bilangan bulat
-----------------------

Operasi eksponensial dengan eksponen bilangan bulat didefinisikan langsung dari operasi aritmetika dasar.

### Eksponen positif

Definisi eksponensial sebagai perkalian teriterasi dibuktikan secara formalisasi dengan menggunakan induksi, dan definisi ini digunakan segara untuk perkalian asosiasi:

Kasus dasarnya adalah 

{\displaystyle b^{1}=b}
dan pengulangan adalah

{\displaystyle b^{n+1}=b^{n}\cdot b.}
Asosiasi perkalian menyatakan bahwa untuk sembarang bilangan bulat positif m dan n, adalah

{\displaystyle b^{m+n}=b^{m}\cdot b^{n},}
dan

{\displaystyle (b^{m})^{n}=b^{mn}.}
### Eksponen nol

Menurut definisi, setiap bilangan bukan nol terpangkat ke pangkat 0 adalah 1:

{\displaystyle b^{0}=1.}
Definisi ini adalah satu-satunya memungkinkan perluasan rumus

{\displaystyle b^{m+n}=b^{m}\cdot b^{n}}
ke nol eksponen. Ini digunakan pada setiap struktur aljabar dengan perkalian yang memiliki identitas.

Secara intuitif, {\displaystyle b^{0}} diartikan sebagai darab kosong dari salinan b. Jadi, persamaan {\displaystyle b^{0}=1} adalah kasus khusus dari konvensi umum untuk darab kosong.

Kasus 00 adalah rumit. Dalam konteks dimana pangkat bilangan bulat yang dipertimbangkan, nilai 0 umumnya ditetapkan ke {\displaystyle 0^{0},} namun, jika tidak, pilihannya adalah apakah akan menetapkan nilai, dan nilai apa yang akan ditetapkan mungkin bergantung pada konteks. 

Untuk detail selengkapnya, lihat Nol ke pangkat nol.
### Eksponen negatif

Eksponen dengan eksponen negatif didefinisikan oleh identitas berikut, yang berlaku untuk sembarang bilangan bulat n dan bukan nol b:

{\displaystyle b^{-n}={\frac {1}{b^{n}}}.}
Menaikkan 0 ke eksponen negatif tidak ditentukan, tetapi dalam beberapa keadaan, maka ditafsirkan sebagai tak hingga ({\displaystyle \infty }).

Definisi eksponen dengan eksponen negatif ini adalah satu-satunya yang memungkinkan perluasan identitas {\displaystyle b^{m+n}=b^{m}\cdot b^{n}} ke eksponen negatif (pertimbangkan kasus {\displaystyle m=-n}).

Definisi yang sama berlaku untuk elemen terbalikkan dalam monoid perkalian, yaitu, struktur aljabar dengan perkalian asosiatif dan identitas perkalian yang dilambangkan 1 (misalnya, matriks persegi dari dimensi tertentu). Secara khusus, dalam struktur ini, invers dari elemen terbalikkan x secara standar dilambangkan sebagai {\displaystyle x^{-1}.}

### Identitas dan sifat

"Hukum Indeks" beralih ke halaman ini. Untuk kuda, lihat Hukum Indeks (kuda).
Identitas berikut ini, sering disebut juga sebagai **kaidah eksponen**, untuk semua eksponen bilangan bulat, asalkan basisnya bukan nol:

{\displaystyle {\begin{aligned}b^{m+n}&=b^{m}\cdot b^{n}\\\left(b^{m}\right)^{n}&=b^{m\cdot n}\\(b\cdot c)^{n}&=b^{n}\cdot c^{n}\end{aligned}}}
Tidak seperti penjumlahan dan perkalian, eksponensial bukanlah komutatif (misalnya, 23 = 8 ≠ 32 = 9), dan juga tidak seperti penjumlahan dan perkalian, eksponensial bukanlah asosiatif (misalnya, (23)2 = 82 = 64, dimana 2(32) = 29 = 512). Tanpa tanda kurung, urutan operasi konvensional untuk deret eksponensial dalam notasi superskrip adalah *top-down* (atau asosiatif-*kanan*), bukan *bottom-up* (atau asosiatif-*kiri*). Maka, 

{\displaystyle b^{p^{q}}=b^{\left(p^{q}\right)},}
yang secara umum berbeda dengan 

{\displaystyle \left(b^{p}\right)^{q}=b^{pq}.}
### Pangkat jumlah

pangkat jumlah biasanya dihitung dari pangkat penjumlahan dengan rumus binomial

{\displaystyle (a+b)^{n}=\sum \_{i=0}^{n}{\binom {n}{i}}a^{i}b^{n-i}=\sum \_{i=0}^{n}{\frac {n!}{i!(n-i)!}}a^{i}b^{n-i}.}
Namun, rumus ini hanya berlaku jika jumlah komuter (yaitu *ab* = *ba*), yang menyatakan apabila ia termasuk dalam struktur yaitu komutatif. Jika tidak, a dan b adalah matriks persegi dengan ukuran yang sama, rumus ini tidak digunakan. Oleh karena itu dalam aljabar komputer, banyak algoritma yang melibatkan eksponen bilangan bulat diubah ketika basis eksponensial tidak komuter. Beberapa tujuan umum sistem aljabar komputer menggunakan notasi yang berbeda (terkadang, ^^ sebagai gantinya adalah ^) untuk eksponensial dengan basis non-komuter, yang kemudian disebut **eksponensial non-komutatif**.

### Interpretasi kombinatorial

Lihat pula: Eksponen atas himpunan
Untuk bilangan bulat tak-negatif n dan m, nilai dari *n**m* adalah jumlah fungsi dari elemen himpunan m ke elemen himpunan n (lihat eksponensial kardinal). Fungsi tersebut diwakilankan sebagai rangkap-m dari elemen himpunan-n (atau sebagai kata huruf m dari alfabet huruf n). Beberapa contoh untuk nilai m dan n tertentu diberikan dalam tabel berikut:

| *n**m* | *n**m* yang merupakan rangkap-m dari elemen himpunan (1, ... *n*} |
| --- | --- |
| 05 = 0 | tidak ada |
| 14 = 1 | (1, 1, 1, 1) |
| 23 = 8 | (1, 1, 1), (1, 1, 2), (1, 2, 1), (1, 2, 2), (2, 1, 1), (2, 1, 2), (2, 2, 1), (2, 2, 2) |
| 32 = 9 | (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3) |
| 41 = 4 | (1), (2), (3), (4) |
| 50 = 1 | () |

### Basis khusus

#### Pangkat sepuluh

Lihat pula: Notasi ilmiah
Artikel utama: Pangkat 10
Dalam sistem bilangan basis sepuluh (desimal), pangkat bilangan bulat 10 ditulis sebagai digit 1 diikuti atau didahului oleh sejumlah nol yang ditentukan oleh tanda dan besaran eksponen. Misalnya, 103 = 1000 dan 10−4 = 00.001.

Eksponen dengan basis 10 digunakan dalam notasi ilmiah untuk menyatakan bilangan besar atau kecil. Misalnya, 299.792.458 m/s (kecepatan cahaya dalam ruang hampa), dalam meter per detik) dapat ditulis sebagai 299.792.458×108 m/s dan kemudian perkiraan sebagai 2998×108 m/s.

Awalan SI berdasarkan pangkat 10 yang juga digunakan untuk menggambarkan jumlah kecil atau besar. Misalnya, awalan kilo berarti 103 = 1000, jadi satu kilometer adalah 1000 m.

#### Pangkat dua

Artikel utama: Pangkat dua
pangkat negatif pertama 2 biasanya digunakan, dan memiliki nama khusus, misalnya: *setengah* dan *kuarterner*.

pangkat 2 muncul dalam teori himpunan, karena himpunan dengan anggota *n* memiliki himpunan pangkat, himpunan dari semua himpunan bagian-nya, yang memiliki anggota 2*n*.

pangkat bilangan bulat 2 penting dalam ilmu komputer. Bilangan bulat positif pangkat 2*n* memberikan jumlah bilangan untuk bit *n* bilangan bulat bilangan biner; misalnya, bita mengambil nilai 28 = 256 yang berbeda. Sistem bilangan biner menyatakan bilangan sebagai jumlah dari pangkat 2, dan menyatakannya sebagai urutan 0 dan 1, dipisahkan oleh titik biner, dimana 1 menunjukkan pangkat 2 yang muncul dalam penjumlahan; eksponen ditentukan oleh tempat 1 ini: eksponen nonnegatif adalah pangkat 1 sebelah kiri titik (mulai dari 0), dan eksponen negatif ditentukan oleh peringkat sebelah kanan titik.

#### Pangkat satu

pangkat satu adalah semua satu-satunya: 1*n* = 1.Ppangkat nol

Jika eksponen n positif (*n* > 0), pangkat ke-n dari nol adalah nol: 0*n* = 0.

Jikalau eksponen n negatif (*n* < 0), pangkat ke-n dari nol 0 *n* tidak ditentukan, maka dari itu harus sama dengan {\displaystyle 1/0^{-n}} dengan −*n* > 0, dan ini sebagai menjadi {\displaystyle 1/0}.

Ekspresi 00 didefinisikan sebagai 1, atau maka tidak terdefinisikan (*lihat Nol pangkat nol*).

#### [Pangkat negatif satu

Jika *n* adalah bilangan bulat genap, maka (−1)*n* = 1.

Jikalau *n* adalah bilangan bulat ganjil, maka nilainya adalah (−1)*n* = −1.

Oleh karena itu, pangkat −1 berguna untuk menyatakan sebagai urutan bergantian. Untuk diskusi serupa tentang pangkat bilangan kompleks *i*, lihat § Pangkat bilangan kompleks.

### Eksponen besar

Limit barisan pangkat dari bilangan besar dari satu divergen; dengan kata lain, barisan tersebut terikat tanpa batas:

*b**n* → ∞ sebagai *n* → ∞ jika *b* > 1
Apabila dibaca sebagai "*b* pangkat *n* cenderung +∞ sebagai *n* cenderung tak hingga ketika *b* memiliki nilai besar daripada satu".

pangkat suatu bilangan dengan nilai absolut kurang dari satu cenderung nol:

*b**n* → 0 sebagai *n* → ∞ jika |*b*| < 1
Setiap pangkat satu tetap satu:

*b**n* = 1 untuk semua *n* jika *b* = 1
pangkat –1 berganti antara 1 dan –1 sebagai *n* berganti antara genap dan ganjil, dan dengan demikian tidak cenderung ke limit apabila sebagai pertumbuhan *n*.

Jika *b* < –1, *b**n*, berganti sebagai bilangan positif dan negatif besar dan *n* berganti sebagai genap dan ganjil, dan dengan demikian tidak cenderung ke limit apabila sebagai pertumbuhan *n*.

Jika bilangan eksponen berubah cenderung ke 1 karena eksponen cenderung tak hingga, maka limitnya belum tentu salah satu atas. Kasus yang sangat penting adalah

(1 + 1/*n*)*n* → *e* sebagai *n* → ∞
Lihat *§ Fungsi eksponensial* dibawah ini.

Limit lain, khususnya ekspresi yang menggunakan bentuk antara, dijelaskan dalam § Pangkat limit dibawah.

### Fungsi pangkat

Fungsi pangkat untuk {\displaystyle n=1,3,5}
Fungsi pangkat untuk {\displaystyle n=2,4,6}
Fungsi real dari bentuk {\displaystyle f(x)=cx^{n}}, dimana {\displaystyle c\neq 0}, terkadang disebut sebagai fungsi pangkat.[*butuh rujukan*]
 Ketika {\displaystyle n} adalah bilangan bulat dan {\displaystyle n\geq 1}, maka terdapat dua keluarga keujudan, yaitu: untuk {\displaystyle n} genap, dan untuk {\displaystyle n} ganjil. Secara umum untuk {\displaystyle c>0}, bila {\displaystyle n} genap {\displaystyle f(x)=cx^{n}} cenderung ke arah positif ketakterhinggaan dengan penambahan {\displaystyle x}, dan juga menuju tak hingga positif dengan turunan {\displaystyle x}. Semua grafik dari keluarga fungsi pangkat genap memiliki bentuk umum {\displaystyle y=cx^{2}}, yang merata ditengah sebagai tingkatan {\displaystyle n}. Fungsi dengan simetri ({\displaystyle f(-x)=f(x)}) seperti ini disebut fungsi genap.

Ketika {\displaystyle n} ganjil, perilaku asimptotik {\displaystyle f(x)} berbalik dari {\displaystyle x} positif ke {\displaystyle x} negatif. Untuk {\displaystyle c>0}, {\displaystyle f(x)=cx^{n}} juga cenderung ke arah positif ketakterhinggaan dengan tingkatan {\displaystyle x}, tetapi menuju ketakterhinggaan negatif dengan turunan {\displaystyle x}. Semua grafik dari keluarga fungsi pangkat ganjil memiliki bentuk umum {\displaystyle y=cx^{3}}, merata ditengah ketika tingkatan {\displaystyle n} dan kehilangan semua kerataan di garis lurus untuk {\displaystyle n=1}. Fungsi dengan simetri seperti ini ({\displaystyle f(-x)=-f(x)}) disebut fungsi ganjil.

Untuk {\displaystyle c<0}, perilaku asimtotik berlawanan berlaku untuk setiap kasus.

### Daftar pangkat bilangan bulat

| *n* | *n*2 | *n*3 | *n*4 | *n*5 | *n*6 | *n*7 | *n*8 | *n*9 | *n*10 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| **2** | 4 | 8 | 16 | 32 | 64 | 128 | 256 | 512 | 1024 |
| **3** | 9 | 27 | 81 | 243 | 729 | 2187 | 6561 | 19.683 | 59.049 |
| **4** | 16 | 64 | 256 | 1024 | 4096 | 16.384 | 65.536 | 262.144 | 1.048.576 |
| **5** | 25 | 125 | 625 | 3125 | 15.625 | 78.125 | 390.625 | 1.953.125 | 9.765.625 |
| **6** | 36 | 216 | 1296 | 7776 | 46.656 | 279.936 | 1.679.616 | 10.077.696 | 60.466.176 |
| **7** | 49 | 343 | 2401 | 16.807 | 117.649 | 823.543 | 5.764.801 | 40.353.607 | 282.475.249 |
| **8** | 64 | 512 | 4096 | 32.768 | 262.144 | 2.097.152 | 16.777.216 | 134.217.728 | 1.073.741.824 |
| **9** | 81 | 729 | 6561 | 59.049 | 531.441 | 4.782.969 | 43.046.721 | 387.420.489 | 3.486.784.401 |
| **10** | 100 | 1000 | 10.000 | 100.000 | 1.000.000 | 10.000.000 | 100.000.000 | 1.000.000.000 | 10.000.000.000 |

Eksponen rasional
-----------------

Dari atas ke bawah: *x*1/8, *x*1/4, *x*1/2, *x*1, *x*2, *x*4, *x*8.
Jika x adalah bilangan real nonnegatif, dan n adalah bilangan bulat positif, {\displaystyle x^{\frac {1}{n}}} atau {\displaystyle {\sqrt[{n}]{x}}} menunjukkan real positif unik akar ke-n dari x, yaitu, bilangan real positif unik y sehingga {\displaystyle y^{n}=x.}

Jika x adalah bilangan real positif, dan {\displaystyle {\frac {p}{q}}} adalah bilangan rasional, dengan p dan q ≠ 0 bilangan bulat, maka {\textstyle x^{\frac {p}{q}}} didefinisikan sebagai

{\displaystyle x^{\frac {p}{q}}=\left(x^{p}\right)^{\frac {1}{q}}=(x^{\frac {1}{q}})^{p}.}
Persamaan sebelah kanan diturunkan dengan menetapkan {\displaystyle y=x^{\frac {1}{q}},} dan menulis {\displaystyle (x^{\frac {1}{q}})^{p}=y^{p}=\left((y^{p})^{q}\right)^{\frac {1}{q}}=\left((y^{q})^{p}\right)^{\frac {1}{q}}=(x^{p})^{\frac {1}{q}}.}

Jika r adalah bilangan rasional positif, {\displaystyle 0^{r}=0,} menurut definisi.

Semua definisi ini diperlukan untuk memperluas identitas {\displaystyle (x^{r})^{s}} ke eksponen rasional.

Di sisi lain, ada masalah dengan perluasan definisi ini ke basis yang bukan bilangan real positif. Misalnya, bilangan real negatif memiliki akar ke-n real, yang negatif jika n adalah ganjil, dan tidak memiliki akar real jika n genap. Dalam kasus terakhir, kompleks mana pun akar ke-n memilih satu untuk {\displaystyle x^{\frac {1}{n}},} identitas {\displaystyle (x^{a})^{b}=x^{ab}}. Misalnya, 

{\displaystyle \left((-1)^{2}\right)^{\frac {1}{2}}=1^{\frac {1}{2}}=1\neq (-1)^{2\cdot {\frac {1}{2}}}=(-1)^{1}=-1.}
Lihat § Eksponen real dengan basis negatif dan Pangkat bilangan kompleks § Catatan untuk detail tentang cara menangani masalah ini.

Eksponen real
-------------

Untuk bilangan real positif, eksponensial untuk pangkat real dapat didefinisikan dalam dua cara yang setara, baik dengan memperluas pangkat rasional ke real dengan kontinuitas (§ Limit eksponen rasional, dibawah), atau dalam hal logaritma dari basis dan fungsi eksponensial (§ Pangkat melalui logaritma, dibawah). Hasilnya bilangan real positif, dan identitas dan sifat yang ditunjukkan atas untuk eksponen bilangan bulat tetap benar dengan definisi ini untuk eksponen real. Definisi kedua lebih umum digunakan, karena digeneralisasikan secara langsung ke kompleks eksponen.

Di sisi lain, eksponensial ke pangkat real dari bilangan real negatif jauh lebih sulit untuk didefinisikan secara konsisten, karena mungkin non-real dan memiliki beberapa nilai (lihat § Eksponen real dengan basis negatif). Apabila memilih salah satu dari nilai-nilai ini, yang disebut nilai utama, tetapi tidak ada pilihan nilai utama yang identitasnya

{\displaystyle \left(b^{r}\right)^{s}=b^{rs}}
adalah benar; lihat § Kegagalan pangkat dan identitas logaritma. Oleh karena itu, eksponensial dengan basis yang bukan bilangan real positif umumnya dipandang sebagai fungsi multinilai.

### Limit eksponen rasional

Limit *e*1/*n* adalah *e*0 = 1 ketika n cenderung ketakterhinggaan.
Karena bilangan irasional dapat dinyatakan sebagai limit barisan dari bilangan rasional, eksponen bilangan real positif b dengan eksponen real sembarang x didefinisikan oleh kontinuitas dengan kaidah

{\displaystyle b^{x}=\lim \_{r(\in \mathbb {Q} )\to x}b^{r}\quad (b\in \mathbb {R} ^{+},\,x\in \mathbb {R} ),}
dimana limitnya diambil alih nilai rasional r saja. Limit ini ada untuk setiap b positif dan setiap x real. 

Misalnya, jika *x* = π, diwakilankan desimal tanpa *π* = 3.14159... dan monotonisitas dari pangkat rasional digunakan untuk mendapatkan interval dibatasi oleh pangkat rasional sekecil yang diinginkan, dan dilambangkan sebagai {\displaystyle b^{\pi }:}

{\displaystyle \left[b^{3},b^{4}\right],\left[b^{3.1},b^{3.2}\right],\left[b^{3.14},b^{3.15}\right],\left[b^{3.141},b^{3.142}\right],\left[b^{3.1415},b^{3.1416}\right],\left[b^{3.14159},b^{3.14160}\right],\ldots }
Jadi, batas atas dan batas bawah interval membentuk dua barisan yang memiliki limit yang sama, dilambangkan dengan sebagai {\displaystyle b^{\pi }.}

Apabila mendefinisikan {\displaystyle b^{x}} untuk setiap b positif dan x positif sebagai fungsi kontinu dari b dan x.

### Fungsi eksponensial

Artikel utama: Fungsi eksponensial
*Fungsi eksponensial* didefinisikan sebagai {\displaystyle x\mapsto e^{x},} dimana {\displaystyle e\approx 2,718} adalah bilangan Euler. Untuk menghindari penalaran lingkar, definisi ini tidak dapat digunakan di sini. Jadi, diberikan definisi fungsi eksponensial, dinotasikan {\displaystyle \exp(x),} dan dari bilangan Euler bebas dari eksponensial. Kemudian sebuah bukti dibuat sketsa, bahwa apabila jika menggunakan definisi eksponensial yang diberikan pada bagian sebelumnya, maka memiliki: 

{\displaystyle \exp(x)=e^{x}.}
Terdapat banyak cara ekuivalen untuk mendefinisikan fungsi eksponensial, salah satunya adalah mendefinisikannya sebagai fungsi invers dari logaritma alami. Tepatnya, logaritma natural adalah antiturunan dari {\displaystyle 1/x} yang mengambil nilai 0 untuk *x* = 1 :

{\displaystyle \ln x=\int \_{1}^{x}{\frac {dt}{t}}.}
Apabila mendefinisikan logaritma sebagai fungsi meningkat dari real positif ke bilangan real. Fungsi invers dan fungsi eksponensial dengan demikian merupakan fungsi naik dari bilangan real ke real positif, yang biasa dilambangkan exp. Satu satunya, memiliki

{\displaystyle \exp(0)=1,}
dan *identitas eksponensial*

{\displaystyle \exp(x+y)=\exp(x)\exp(y)}
untuk setiap x dan y.

Bilangan Euler didefinisikan sebagai {\displaystyle e=\exp(1)}. Maka, ini mengikuti dari persamaan sebelumnya bahwa {\displaystyle \exp(x)=e^{x}} dengan x adalah bilangan bulat (ini hasil dari definisi perkalian berulang dari eksponensial). Jika x adalah real, {\displaystyle \exp(x)=e^{x}} dihasilkan dari definisi yang diberikan pada bagian sebelumnya, dengan menggunakan identitas eksponensial jika x adalah rasional, dan kontinuitas fungsi eksponensial sebaliknya.

Fungsi eksponensial memenuhi persamaan

{\displaystyle \exp(x)=\sum \_{n=0}^{\infty }{\frac {x^{n}}{n}}.}
Karena deret konvergen untuk setiap kompleks nilai x dengan persamaan yang memungkinkan pendefinisian fungsi eksponensial, dan demikian pula {\displaystyle e^{z},} untuk argumen kompleks z. Fungsi eksponensial diperluas masih memenuhi identitas eksponensial, dan biasanya digunakan untuk mendefinisikan eksponensial untuk basis kompleks dan eksponen.

### Pangkat melalui logaritma

Definisi *e**x* sebagai fungsi eksponensial didefinisikan *b**x* untuk setiap bilangan real positif b, dalam hal fungsi eksponensial dan logaritmik. Secara khusus, bahwa logaritma natural ln(*x*) adalah invers dari fungsi eksponensial *e* *x* maka ia memiliki

{\displaystyle b=\exp(\ln b)=e^{\ln b}}
untuk setiap *b* > 0. Untuk mempertahankan identitas {\displaystyle (e^{x})^{y}=e^{xy},} maka ia memiliki

{\displaystyle b^{x}=\left(e^{\ln b}\right)^{x}=e^{x\ln b}}
Jadi, {\displaystyle e^{x\ln b}} digunakan sebagai definisi alternatif dari *b**x* untuk setiap real positif b. Ini sesuai dengan definisi yang diberikan di atas menggunakan eksponen rasional dan kontinuitas, dengan memperluas secara langsung ke eksponen kompleks mana pun.

Eksponen kompleks dengan basis real positif
-------------------------------------------

Jika b adalah bilangan real positif, eksponen dengan basis b dan kompleks eksponen didefinisikan melalui fungsi eksponensial dengan argumen kompleks (lihat dibagian akhir § Fungsi eksponensial, diatas) sebagai

{\displaystyle b^{z}=e^{(z\ln b)},}
dimana {\displaystyle \ln b} menunjukkan logaritma natural dari b.

Maka, ini memenuhi identitas 

{\displaystyle b^{z+t}=b^{z}b^{t},}
Secara umum,
{\textstyle \left(b^{z}\right)^{t}} tidak didefinisikan, karena *b**z* bukan bilangan real. Jika suatu arti diberikan pada eksponen bilangan kompleks (lihat § Pangkat bilangan kompleks, dibawah), secara umum,

{\displaystyle \left(b^{z}\right)^{t}\neq b^{zt},}
kecuali z adalah real atau w adalah bilangan bulat.

Rumus Euler {\displaystyle e^{iy}=\cos y+i\sin y,} mengekspresikan bentuk polar dari {\displaystyle b^{z}} dalam hal bagian real dan imajiner dari z, yaitu

{\displaystyle b^{x+iy}=b^{x}(\cos(y\ln b)+i\sin(y\ln b)),}
dimana nilai absolut dari faktor trigonometri adalah satu. Maka, hasilnya adalah

{\displaystyle b^{x+iy}=b^{x}b^{iy}=b^{x}e^{iy\ln b}=b^{x}(\cos(y\ln b)+i\sin(y\ln b)).}

Pangkat bilangan kompleks non-bilangan bulat
--------------------------------------------

Pada bagian sebelumnya, eksponen dengan eksponen non-bilangan bulat telah didefinisikan hanya untuk basis real positif. Untuk basis lain, kesulitan muncul dengan kasus sederhana dari akar ke-n, yaitu, dari eksponen {\displaystyle 1/n,} dimana n adalah bilangan bulat positif. Meskipun teori umum eksponensial dengan eksponen bukan bilangan bulat yang berlaku untuk akar ke-n, kasus ini layak untuk dipertimbangkan terlebih dahulu, karena tidak perlu menggunakan logaritma kompleks, dan karena itu lebih mudah dipahami.

### Akar ke-n pada bilangan kompleks

Setiap bilangan kompleks bukan nol z dapat ditulis dalam bentuk polar sebagai 

{\displaystyle z=\rho e^{i\theta }=r(cos\theta +i\sin \theta ),}
dimana {\displaystyle \rho } adalah nilai absolut dari z, dan {\displaystyle \theta } adalah argumen. Argumen didefinisikan hingga bilangan bulat kelipatan 2π; ini berarti, jika {\displaystyle \theta } adalah argumen dari bilangan kompleks, maka {\displaystyle \theta +2k\pi } juga merupakan argumen dari bilangan kompleks yang sama.

Bentuk polar dari darab dua bilangan kompleks diperoleh dengan mengalikan nilai absolut dan menambahkan argumen. Oleh karena itu, bentuk kutub dari akar ke-n dari bilangan kompleks diperoleh dengan mengambil akar ke-n dari nilai absolut dan membagi argumennya dengan n:

{\displaystyle \left(\rho e^{i\theta }\right)^{\frac {1}{n}}={\sqrt[{n}]{\rho }}\,e^{\frac {i\theta }{n}}.}
Jika {\displaystyle 2i\pi } ditambahkan ke {\displaystyle \theta ,} maka bilangan kompleks tersebut tidak berubah, tetapi ini menambahkan {\displaystyle 2i\pi /n} ke argumen akar ke-n, dan diberikan akar ke-n yang baru. Ini dilakukan kali n, dan diberikan kepada akar ke-n n dari bilangan kompleks.

Biasanya memilih salah satu dari akar ke-n n sebagai akar utama. Pilihan umum adalah memilih akar ke-n sebagai {\displaystyle -\pi <\theta \leq \pi ,} yaitu, akar ke-n yang memiliki bagian real terbesar, dan jika keduanya adalah dua dari bagian imajiner positif tersebut. Ini membuat akar ke-n utama sebuah fungsi kontinu dalam seluruh bidang kompleks, kecuali untuk nilai real negatif dari radikan. Fungsi ini sama dengan akar ke-n biasa untuk radikan real positif. Untuk radikan real negatif, dan eksponen ganjil, akar ke-n utama bukanlah real, meskipun akar ke-n yang biasa adalah real. Kelanjutan analitik menunjukkan bahwa prinsip akar ke-n utama adalah fungsi unik diferensial kompleks yang memperluas fungsi akar ke-n medan kompleks tanpa bilangan real yang bukan positif.

Jika bilangan kompleks dipindahkan sekitar nol dengan meningkatkan argumennya, setelah kenaikan {\displaystyle 2\pi ,} bilangan kompleks kembali ke posisi awal, dan akar ke-n-nya adalah permutasi lingkar (yang dikalikan dengan e^{2i\pi /n}). Ini menunjukkan bahwa tidak mungkin untuk mendefinisikan fungsi akar ke-n yang tidak kontinu pada seluruh medan kompleks.

#### Akar satuan

Artikel utama: Akar satuan
Tiga akar ke-3 dari 1
Bilangan kompleks *w* sedemikian rupa sehingga *w**n* = 1 untuk bilangan bulat positif *n* adalah **akar satuan ke-*n***. Secara geometris, akar satuan ke-*n* terletak pada lingkaran satuan dari medan kompleks pada simpul-simpul dari gon-*n* beraturan dengan satu simpul pada bilangan real 1.

Jika *w**n* = 1 akan tetapi *w**k* 1 untuk semua bilangan asli *k* sehingga 0 < *k* < *n*, maka *w* disebut **akar satuan ke-*n* primitif**. Satuan negatif −1 adalah satu-satunya akar kuadrat primitif dari satuan. satuan imajiner *i* adalah salah satu dari dua akar ke-4 primitif dari satuan; yang lainnya adalah −*i*.

Bilangan *e*2*πi**n* adalah akar satuan *n* primitif dengan argumen positif terkecil. Hal ini terkadang disebut **akar kesatuan ke-*n* utama**, meskipun terminologi ini tidaklah universal dan tidak boleh disamakan dengan nilai utama dari *n*√1, yaitu 1.)
Akar satuan ke-*n* yang lain dinyatakan sebagai bentuk akar ke-*n* utama, yaitu



(

e

2
π
i

n

)

k

=

e

2
π
i

n

k

{\displaystyle \left(e^{\frac {2\pi i}{n}}\right)^{k}=e^{{\frac {2\pi i}{n}}k}}

{\displaystyle \left(e^{\frac {2\pi i}{n}}\right)^{k}=e^{{\frac {2\pi i}{n}}k}}
untuk 2 ≤ *k* ≤ *n*.

### Eksponensial kompleks

Mendefinisikan eksponensial dengan basis kompleks menyebabkan kesulitan serupa dengan yang dijelaskan pada bagian sebelumnya, kecuali, bahwa, secara umum, ada banyak kemungkinan nilai untuk z^{w}. Jadi, salah satu nilai utama didefinisikan yang bukan kontinu untuk nilai z real dan nonpositif, atau z^{w} didefinisikan sebagai fungsi multinilai.

Dalam semua kasus, logaritma kompleks digunakan untuk mendefinisikan eksponensial kompleks, sebagai

{\displaystyle z^{w}=e^{w\log z},}
dimana {\displaystyle \log z} adalah varian dari logaritma kompleks yang digunakan, yaitu, fungsi atau fungsi multinilai sedemikian rupa sehingga 

{\displaystyle e^{\log z}=z}
untuk setiap z dalam ranah definisi.

#### Nilai utama

Nilai utama dari logaritma kompleks adalah fungsi unik, biasanya dilambangkan {\displaystyle \log ,} sehingga, untuk setiap bilangan kompleks bukan nol z, 

{\displaystyle e^{\log z}=z,}
dan bagian imajiner dari z memenuhi

{\displaystyle -\pi <\mathrm {Im} \leq \pi .}
Nilai utama dari logaritma kompleks tidak didefinisikan untuk {\displaystyle z=0,} hal itu disebut juga sebagai tidak kontinu pada nilai real negatif z, dan holomorfik (yaitu, terdiferensial kompleks) pada bagian lain. Jika z adalah real dan positif, nilai utama dari logaritma kompleks adalah logaritma alami: {\displaystyle \log z=\ln z.}

Nilai utama {\displaystyle z^{w}} didefinisikan sebagai
{\displaystyle z^{w}=e^{w\log z},}
dimana {\displaystyle \log z} adalah nilai utama dari logaritma.

Fungsi {\displaystyle (z,w)\to z^{w}} adalah holomorfik kecuali diantara titik-titik dimana z adalah real dan non-positif.

Jika z adalah real dan positif, nilai utama {\displaystyle z^{w}} sama dengan nilai biasa yang didefinisikan di atas. Jika {\displaystyle w=1/n,} dimana n adalah bilangan bulat, nilai utama ini sama dengan yang didefinisikan di atas.

#### Fungsi multinilai

Dalam beberapa konteks, terdapat masalah dengan diskontinuitas pada nilai-nilai utama {\displaystyle \log z} dan {\displaystyle z^{w}} pada nilai real negatif z. Dalam hal ini, akan berguna untuk mempertimbangkan fungsi-fungsi ini sebagai fungsi multinilai.

Jika {\displaystyle \log z} menunjukkan salah satu nilai dari logaritma multinilai (biasanya nilai utamanya), nilai lainnya adalah {\displaystyle 2ik\pi +\log z,} dimana k adalah bilangan bulat. Demikian pula, jika {\displaystyle z^{w}} adalah salah satu nilai eksponensial, maka nilai lainnya diberikan oleh

{\displaystyle e^{w(2ik\pi +\log z)}=z^{w}e^{2ik\pi w},}
dimana k adalah bilangan bulat.

Nilai k berbeda memberikan nilai {\displaystyle z^{w}} yang berbeda kecuali w adalah bilangan rasional, yaitu, apabila bilangan bulat d sehingga dw adalah bilangan bulat. Maka hasil dari periodisitas ini dari fungsi eksponensial, bahwa {\displaystyle e^{a}=e^{b}} jika dan hanya jika {\displaystyle a-b} adalah kelipatan bilangan bulat dari {\displaystyle 2\pi .}

Jika {\displaystyle w={\frac {m}{n}}} adalah bilangan rasional dengan m dan n bilangan bulat koprima dengan {\displaystyle n>0,} maka {\displaystyle z^{w}} memiliki nilai persis n. Dalam kasus {\displaystyle m=1,} nilai-nilai ini sama dengan yang dijelaskan dalam §akar ke-n bilangan kompleks. Jika w adalah bilangan bulat, maka hanya ada satu nilai yang sesuai dengan § Eksponen bilangan bulat.

pangkat multinilai adalah holomorfik untuk {\displaystyle z\neq 0,} dalam arti bahwa grafik-nya terdiri dari beberapa lembar yang mendefinisikan setiap fungsi holomorfik pada sekitar setiap titik. Jika variasi z terus menerus sepanjang lingkaran pada sekitar 0, maka, setelah titik balik, nilai {\displaystyle z^{w}} berubah dari lapisan.

#### Komputasi

*Bentuk kanonik* {\displaystyle x+iy} dari {\displaystyle z^{w}} dihitung dari bentuk kanonik z dan w. Meskipun ini dapat dijelaskan dengan satu rumus, lebih jelas untuk membagi perhitungan dalam beberapa langkah.

* *Bentuk polar dari z*. Jika {\displaystyle z=a+ib} adalah bentuk kanonik dari z (a dan b sebagai real), maka bentuk polar-nya adalah 

z
=
ρ

e

i
θ

=
ρ
(
cos
⁡
θ
+
i
sin
⁡
θ
)
,

{\displaystyle z=\rho e^{i\theta }=\rho (\cos \theta +i\sin \theta ),}

{\displaystyle z=\rho e^{i\theta }=\rho (\cos \theta +i\sin \theta ),} dimana {\displaystyle \rho ={\sqrt {a^{2}+b^{2}}}} dan {\displaystyle \theta =\operatorname {atan2} (a,b)} (lihat atan2 untuk definisi fungsi ini).
* *Logaritma dari z*. Nilai utama dari logaritma ini adalah {\displaystyle \log z=\ln \rho +i\theta ,} dimana {\displaystyle \ln } menunjukkan logaritma alami. Nilai logaritma lainnya diperoleh dengan menambahkan {\displaystyle 2ik\pi } untuk sembarang bilangan bulat k.
* *Bentuk kanonik dari {\displaystyle w\log z.}* Jika {\displaystyle w=c+di} dengan real c dan d, nilai {\displaystyle w\log z} adalah 

w
log
⁡
z
=
(
c
ln
⁡
ρ
−
d
θ
−
2
d
k
π
)
+
i
(
d
ln
⁡
ρ
+
c
θ
+
2
c
k
π
)
,

{\displaystyle w\log z=(c\ln \rho -d\theta -2dk\pi )+i(d\ln \rho +c\theta +2ck\pi ),}

{\displaystyle w\log z=(c\ln \rho -d\theta -2dk\pi )+i(d\ln \rho +c\theta +2ck\pi ),} nilai utama yang sesuai dengan {\displaystyle k=0.}
* *Hasil akhir.* Menggunakan identitas {\displaystyle e^{x+y}e^{x}=e^{y}} dan {\displaystyle e^{y\ln x}=x^{y},} satu-satunya menggunakan 

z

w

=

ρ

c

e

−
d
(
θ
+
2
k
π
)

(

cos
⁡
(
d
ln
⁡
ρ
+
c
θ
+
2
c
k
π
)
+
i
sin
⁡
(
d
ln
⁡
ρ
+
c
θ
+
2
c
k
π
)

)

,

{\displaystyle z^{w}=\rho ^{c}e^{-d(\theta +2k\pi )}\left(\cos(d\ln \rho +c\theta +2ck\pi )+i\sin(d\ln \rho +c\theta +2ck\pi )\right),}

{\displaystyle z^{w}=\rho ^{c}e^{-d(\theta +2k\pi )}\left(\cos(d\ln \rho +c\theta +2ck\pi )+i\sin(d\ln \rho +c\theta +2ck\pi )\right),} dengan {\displaystyle k=0} untuk nilai utama.

##### Contoh

* {\displaystyle i^{i}}   
Bentuk polar i adalah {\displaystyle i=e^{i\pi /2},} dan dengan demikian nilai {\displaystyle \log i} adalah 

log
⁡
i
=
i

(

π
2

+
2
k
π

)

.

{\displaystyle \log i=i\left({\frac {\pi }{2}}+2k\pi \right).}

{\displaystyle \log i=i\left({\frac {\pi }{2}}+2k\pi \right).} Oleh karena itu 

i

i

=

e

i
log
⁡
i

=

e

−

π
2


e

−
2
k
π

.

{\displaystyle i^{i}=e^{i\log i}=e^{-{\frac {\pi }{2}}}e^{-2k\pi }.}

{\displaystyle i^{i}=e^{i\log i}=e^{-{\frac {\pi }{2}}}e^{-2k\pi }.} Jadi, semua nilai real {\displaystyle i^{i}} utama adalah 

e

−

π
2

≈
0.2079.

{\displaystyle e^{-{\frac {\pi }{2}}}\approx 0.2079.}

{\displaystyle e^{-{\frac {\pi }{2}}}\approx 0.2079.}

* {\displaystyle (-2)^{3+4i}}  
Demikian pula, bentuk polar dari −2 adalah {\displaystyle -2=2e^{i\pi }.} Jadi, metode yang dijelaskan di atas diberikan nilai 


(
−
2

)

3
+
4
i


=

2

3

e

−
4
(
π
+
2
k
π
)

(
cos
⁡
(
4
ln
⁡
2
+
3
(
π
+
2
k
π
)
)
+
i
sin
⁡
(
4
ln
⁡
2
+
3
(
π
+
2
k
π
)
)
)



=
−

2

3

e

−
4
(
π
+
2
k
π
)

(
cos
⁡
(
4
ln
⁡
2
)
+
i
sin
⁡
(
4
ln
⁡
2
)
)
.



{\displaystyle {\begin{aligned}(-2)^{3+4i}&=2^{3}e^{-4(\pi +2k\pi )}(\cos(4\ln 2+3(\pi +2k\pi ))+i\sin(4\ln 2+3(\pi +2k\pi )))\\&=-2^{3}e^{-4(\pi +2k\pi )}(\cos(4\ln 2)+i\sin(4\ln 2)).\end{aligned}}}

{\displaystyle {\begin{aligned}(-2)^{3+4i}&=2^{3}e^{-4(\pi +2k\pi )}(\cos(4\ln 2+3(\pi +2k\pi ))+i\sin(4\ln 2+3(\pi +2k\pi )))\\&=-2^{3}e^{-4(\pi +2k\pi )}(\cos(4\ln 2)+i\sin(4\ln 2)).\end{aligned}}}Dalam hal ini, semua nilai memiliki argumen {\displaystyle 4\ln 2,} yang sama dan nilai absolut yang berbeda.

Dalam kedua contoh, semua nilai {\displaystyle z^{w}} memiliki argumen yang sama. Secara umum, ini benar jika dan hanya jika bagian real dari w adalah bilangan bulat.

#### Kegagalan pangkat dan identitas logaritma

Beberapa identitas untuk pangkat dan logaritma untuk bilangan real positif akan gagal untuk bilangan kompleks, tidak peduli seberapa pangkat kompleks dan logaritma kompleks didefinisikan *sebagai fungsi bernilai tunggal*. Misalnya:

* Identitas log(*b**x*) = *x* ⋅ log *b* berlaku setiap b adalah bilangan real positif dan x adalah bilangan real. Tetapi untuk cabang utama dari logaritma kompleks yang dimiliki
{\displaystyle i\pi =\log(-1)=\log \left[(-i)^{2}\right]\neq 2\log(-i)=2\left(-{\frac {i\pi }{2}}\right)=-i\pi }
Terlepas dari cabang logaritma mana yang digunakan, kegagalan identitas yang serupa akan tetap ada. Yang terbaik yang bisa dikatakan (jika hanya menggunakan hasil ini) adalah bahwa:

{\displaystyle \log(w^{z})\equiv z\cdot \log(w){\pmod {2\pi i}}}
Identitas ini tidak berlaku bahkan ketika mempertimbangkan log sebagai fungsi multinilai. Nilai yang mungkin menggunakan log(*w**z*) berisi *z* log *w* sebagai himpunan bagian. Menggunakan Log(*w*) untuk nilai utama log(*w*) dan m, n sebagai bilangan bulat, nilai yang berasal dari kedua sisi adalah:

{\displaystyle {\begin{aligned}\left\{\log(w^{z})\right\}&=\left\{z\cdot \operatorname {Log} (w)+z\cdot 2\pi in+2\pi im\right\}\\\left\{z\cdot \log(w)\right\}&=\left\{z\cdot \operatorname {Log} (w)+z\cdot 2\pi in\right\}\end{aligned}}}
* Identitas (*bc*)*x* = *b**x**c**x* dan (*b*/*c*)*x* = *b**x*/*c**x* adalah absah jika b dan c adalah bilangan real positif dan x adalah bilangan real. Tetapi perhitungan menggunakan cabang utama menunjukkan bahwa
{\displaystyle 1=(-1\cdot -1)^{\frac {1}{2}}\not =(-1)^{\frac {1}{2}}(-1)^{\frac {1}{2}}=-1}
dan

{\displaystyle i=(-1)^{\frac {1}{2}}=\left({\frac {1}{-1}}\right)^{\frac {1}{2}}\not ={\frac {1^{\frac {1}{2}}}{(-1)^{\frac {1}{2}}}}={\frac {1}{i}}=-i}
Di sisi lain, ketika x adalah bilangan bulat, identitas absah-nya untuk semua bilangan kompleks bukan nol.

Jika eksponensial dianggap sebagai fungsi multinilai maka nilai yang mungkin dari (−1 ⋅ 1)1/2 adalah {1, −1}. Identitasnya berlaku, tetapi mengatakan {1} = {(−1 ⋅ 1)1/2} adalah salah.
* Identitas (*e**x*)*y* = *e**xy* berlaku untuk bilangan real x dan y, tetapi dengan asumsi kebenarannya untuk bilangan kompleks mengarah ke paradoks berikut, ditemukan pada tahun 1827 oleh Clausen:

Untuk sembarang bilangan bulat n, memiliki:
	1. {\displaystyle e^{1+2\pi in}=e^{1}e^{2\pi in}=e\cdot 1=e}
	2. {\displaystyle \left(e^{1+2\pi in}\right)^{1+2\pi in}=e\qquad } (mengambil ke-{\displaystyle (1+2\pi in)} pangkat kedua sisi)
	3. {\displaystyle e^{1+4\pi in-4\pi ^{2}n^{2}}=e\qquad } (menggunakan {\displaystyle \left(e^{x}\right)^{y}=e^{xy}} dan memperluas eksponen)
	4. {\displaystyle e^{1}e^{4\pi in}e^{-4\pi ^{2}n^{2}}=e\qquad } (menggunakan {\displaystyle e^{x+y}=e^{x}e^{y}})
	5. {\displaystyle e^{-4\pi ^{2}n^{2}}=1\qquad } (membagi dengan e)tetapi ini salah jika bilangan bulat n adalah bukan nol.

Kesalahannya adalah sebagai berikut: menurut definisi, {\displaystyle e^{y}} adalah notasi untuk {\displaystyle \exp(y),} fungsi yang sebenarnya, dan {\displaystyle x^{y}} adalah notasi untuk {\displaystyle \exp(y\log x),} yang merupakan fungsi multinilai. Jadi notasi ambigunya ketika *x* = *e*. Maka, sebelum memperluas eksponen, baris kedua seharusnya

{\displaystyle \exp \left((1+2\pi in)\log \exp(1+2\pi in)\right)=\exp(1+2\pi in).}
Oleh karena itu, ketika memperluas eksponen, apabila implisit menduga bahwa {\displaystyle \log \exp z=z} untuk nilai kompleks z adalah nilai salah, karena logaritma kompleksnya adalah multinilai. Dengan kata lain, identitas salah (*e**x*)*y* = *e**xy* harus diganti dengan identitas

{\displaystyle \left(e^{x}\right)^{y}=e^{y\log e^{x}},}

yang merupakan identitas hakiki antara fungsi multinilai.

Eksponen irasional
------------------

Artikel utama: Teorema Gelfond–Schneider
Jika *b* adalah real positif bilangan aljabar, dan *x* adalah bilangan rasional, telah ditunjukkan di atas bahwa *b**x* adalah bilangan aljabar. Ini sisa hakiki bahkan apabila jika menerima bilangan aljabar untuk *b*, dengan satu-satunya perbedaan bahwa *b**x* mengambil beberapa nilai (bilangan terbatas, lihat di bawah), yang merupakan aljabar. Teorema Gelfond–Schneider diberikan beberapa informasi tentang sifat *b**x* ketika *x* adalah irasional (yaitu, *bukan rasional*). Maka, ini menyatakan:

> Jika *b* adalah bilangan aljabar yang berbeda dari 0 dan 1, dan *x* adalah bilangan aljabar irasional, maka semua nilai *b**x* (banyaknya, tak hingga) adalah transendental (bukan aljabar).
> 
>

Pangkat bilangan bulat dalam aljabar
------------------------------------

Definisi eksponen dengan eksponen bilangan bulat positif sebagai perkalian berulang yang berlaku untuk operasi asosiatif apa pun yang dilambangkan sebagai perkalian. Definisi {\displaystyle x^{0}} memerlukan keberadaan identitas perkalian lebih lanjut.

Sebuah struktur aljabar yang terdiri dari himpunan bersama dengan operasi asosiatif yang dilambangkan dengan perkalian, dan identitas perkalian yang dilambangkan dengan 1 adalah monoid. Dalam monoid, eksponensial elemen x didefinisikan secara induktif oleh

* {\displaystyle x^{0}=1,}
* {\displaystyle x^{n+1}=xx^{n}} untuk setiap bilangan bulat nonnegatif n.

Jika n adalah bilangan bulat negatif, {\displaystyle x^{n}} didefinisikan hanya jika x memiliki invers perkalian. Dalam hal ini, invers dari x dinotasikan {\displaystyle x^{-1},} dan {\displaystyle x^{n}} didefinisikan sebagai {\displaystyle \left(x^{-1}\right)^{-n}.}

Eksponen dengan eksponen bilangan bulat mematuhi hukum berikut, untuk x dan y dalam struktur aljabar, dan m dan n bilangan bulat:

{\displaystyle {\begin{aligned}x^{0}&=1\\x^{m+n}&=x^{m}x^{n}\\(x^{m})^{n}&=x^{mn}\\(xy)^{n}&=x^{n}y^{n}\quad {\text{jika }}xy=yx,{\text{dan, khususnya, jika perkaliannya adalah komutatif.}}\end{aligned}}}
Definisi ini banyak digunakan di banyak bidang matematika, terutama untuk geup, gelanggang, medan, matriks persegi (yang membentuk gelanggang). Mereka berlaku juga untuk fungsi dari himpunan ke diri-sendiri, yang membentuk monoid bawah komposisi fungsi. Ini termasuk, sebagai contoh spesifik, transformasi geometris, dan endomorfisme dari struktur matematika.

Ketika ada beberapa operasi ulangan, adalah umum untuk menunjukkan operasi berulang/ulangan dengan menempatkan simbolnya di superskrip, sebelum eksponen. Misalnya, jika f adalah fungsi real yang nilainya dapat dikalikan, {\displaystyle f^{n}} menunjukkan eksponensial terhadap perkalian, dan {\displaystyle f^{\circ n}} ditunjukkan eksponensial sehubungan dengan komposisi fungsi. Yaitu, 

{\displaystyle (f^{n})(x)=(f(x))^{n}=f(x)\,f(x)\cdots f(x),}
dan

{\displaystyle (f^{\circ n})(x)=f(f(\cdots f(f(x))\cdots )).}
Biasanya, {\displaystyle (f^{n})(x)} dinotasikan {\displaystyle f(x)^{n},} sedangkan {\displaystyle (f^{\circ n})(x)} dilambangkan {\displaystyle f^{n}(x).}

### Dalam sebuah grup

Sebuah grup perkalian adalah himpunan dengan operasi asosiatif dilambangkan sebagai perkalian, yang memiliki elemen identitas, dan setiap elemen memiliki invers.

Jadi, jika G adalah grup, {\displaystyle x^{n}} didefinisikan untuk setiap {\displaystyle x\in G} dan setiap bilangan bulat n.

Himpunan dari semua pangkat suatu elemen dari grup membentuk subgrup. Sebuah gruprup (atau subgrup) yang terdiri dari semua pangkat dari elemen tertentu x adalah grup siklik yang dihasilkan oleh x. Jika semua pangkat x berbeda, grupnya adalah isomorfik pada grup aditif {\displaystyle \mathbb {Z} } dari bilangan bulat. Jika tidak, grup siklik adalah hingga (memiliki jumlah elemen hingga), dan jumlah elemennya adalah urutan dari x. Jika urutan x adalah n, maka {\displaystyle x^{n}=x^{0}=1,} dan grup siklik yang dihasilkan oleh x terdiri dari n pangkat pertama x (mulai dengan acuh tak acuh dari eksponen 0 atau 1).

Urutan elemen memainkan peran mendasar dalam teori grup. Misalnya, urutan suatu elemen dalam grup hingga selalu merupakan pembagi dari jumlah elemen grup tersebut ("urutan" grup). Kemungkinan urutan elemen grup penting dalam studi struktur grup (lihat teorema Sylow), dan dalam klasifikasi grup sederhana hingga.

Notasi superskrip juga digunakan untuk konjugasi; yaitu, *g**h* = *h*−1*gh*, dimana *g* dan *h* adalah elemen dari grup. Notasi ini tidak diubah dengan eksponensial, karena superskrip bukan bilangan bulat. Motivasi dari notasi ini adalah bahwa konjugasi memenuhi beberapa hukum eksponensial, yaitu {\displaystyle (g^{h})^{k}=g^{hk}} dan {\displaystyle (gh)^{k}=g^{k}h^{k}.}

### Dalam sebuah gelanggang

Dalam sebuah gelanggang, bahwa beberapa elemen bukan nol memenuhi {\displaystyle x^{n}=0} untuk beberapa bilangan bulat n. Unsur tersebut disebut juga nilpoten. Dalam gelanggang komutatif, unsur-unsur nilpoten membentuk ideal, disebut juga nilradikal dari gelanggang.

Jika nilradikal direduksi menjadi ideal nol (yaitu, jika {\displaystyle x\neq 0} menyatakan {\displaystyle x^{n}\neq 0} untuk setiap bilangan bulat positif n), ring komutatif dikatakan tereduksi. Gelanggang tereduksi penting dalam geometri aljabar, karena gelanggang koordinat dari himpunan aljabar Affin merupakan gelanggang tereduksi.

Lebih umum, diberikan ideal I dalam gelanggang komutatif R, himpunan elemen R yang memiliki pangkat I adalah ideal, yang disebut radikal dari I. Nilradikal adalah radikal dari zero ideal. Sebuah ideal radikal adalah ideal yang sama dengan radikal-diri. Dalam gelanggang polinomial {\displaystyle k[x\_{1},\ldots ,x\_{n}]} atas medan k, sebuah ideal adalah radikal jika dan hanya jika itu adalah himpunan semua polinomial yang nol pada himpunan aljabar affin (ini adalah konsekuensi dari Hilbertscher Nullstellensatz).

### Matriks dan operator linear

Jika *A* adalah matriks bujur sangkar, maka hasil kali *A* dengan *n* itu sendiri disebut pangkat matriks. Juga {\displaystyle A^{0}} didefinisikan sebagai matriks identitas, dan jika *A* adalah invers, maka {\displaystyle A^{-n}=\left(A^{-1}\right)^{n}}.

pangkat matriks sering muncul dalam konteks sistem dinamik diskret, dimana matriks *A* menyatakan transisi dari vektor keadaan *x* dari beberapa sistem ke keadaan berikutnya *Ax* dari sistem. Ini adalah interpretasi standar dari rantai Markov, misalnya, apabila {\displaystyle A^{2}x} adalah status sistem setelah dua langkah waktu, dan seterusnya: maka, {\displaystyle A^{n}x} adalah status sistem setelah langkah kali *n*. Matriks pangkat {\displaystyle A^{n}} adalah matriks transisi antara keadaan sekarang dan keadaan pada langkah kali *n* ke depan. Jadi menghitung pangkat matriks setara dengan memecahkan evolusi sistem dinamis. Dalam banyak kasus, pangkat matriks dihitung dengan menggunakan nilai eigen dan vektor eigen.

Selain matriks, operator linear yang umum juga merupakan eksponen. Contohnya adalah turunan operator kalkulus, {\displaystyle d/dx} salah satu operator linear yang melakukan fungsi {\displaystyle f(x)} untuk menghasilkan fungsi baru, yaitu {\displaystyle (d/dx)f(x)=f'(x)}. pangkat ke-*n* dari operator diferensiasi adalah turunan ke-*n*:

{\displaystyle \left({\frac {d}{dx}}\right)^{n}f(x)={\frac {d^{n}}{dx^{n}}}f(x)=f^{(n)}(x).}
Contoh-contoh ini adalah untuk eksponen diskret dari operator linear, tetapi dalam keadaan juga diinginkan untuk mendefinisikan pangkat dari operator tersebut dengan eksponen kontinu. Ini adalah titik awal dari teori matematika semigrup. Sama seperti pangkat matriks komputasi dengan eksponen diskret memecahkan sistem dinamis diskret, begitu pula pangkat matriks komputasi dengan eksponen kontinu memecahkan sistem dengan dinamika kontinu. Contohnya termasuk pendekatan untuk menyelesaikan persamaan panas, persamaan Schrödinger, persamaan gelombang, dan persamaan diferensial parsial lainnya yang termasuk evolusi waktu. Kasus khusus eksponensial operator turunan ke pangkat non-bilangan bulat disebut turunan pecahan, yang bersama dengan integral pecahan, merupakan operasi dasar dari kalkulus pecahan.

### Medan hingga

Artikel utama: Medan hingga
Sebuah medan adalah struktur aljabar dimana perkalian, penambahan, pengurangan, dan pembagian didefinisikan dan memenuhi sifat-sifatnya yang sudah dikenal; khususnya, perkaliannya adalah asosiatif, dan setiap elemen bukan nol memiliki perkalian invers. Ini menyatakan bahwa eksponen dengan eksponen bilangan bulat didefinisikan dengan baik, kecuali untuk pangkat nonpositif 0. Contoh umum adalah bilangan kompleks dan submedan, bilangan rasional dan bilangan real yang telah dibahas sebelumnya dalam artikel ini, dan semua tak hingga.

Sebuah *medan hingga* adalah medan dengan elemen bilangan hingga. Jumlah elemen ini adalah bilangan prima atau pangkat prima; yaitu, memiliki bentuk {\displaystyle q=p^{k},} dimana p adalah bilangan prima, dan k adalah bilangan bulat positif. Untuk setiap q tersebut, ada medan dengan elemen q. Medan dengan elemen q semuanya adalah isomorfik, yang memungkinkan, bekerja seolah-olah hanya ada satu medan dengan elemen q, dilambangkan {\displaystyle \mathbb {F} \_{q}.}

Satu-satunya adalah

{\displaystyle x^{q}=x}
untuk setiap {\displaystyle x\in \mathbb {F} \_{q}.}

Sebuah elemen primitif di {\displaystyle \mathbb {F} \_{q}} adalah elemen g seperti pada himpunan *q* − 1 pangkat pertama g (yaitu, {\displaystyle \{g^{1}=g,g^{2},\ldots ,g^{p-1}=g^{0}=1\}}) sama dengan himpunan elemen bukan nol dari {\displaystyle \mathbb {F} \_{q}.} Ada {\displaystyle \varphi (p-1)} elemen primitif dalam {\displaystyle \mathbb {F} \_{q},} dimana {\displaystyle \varphi } adalah fungsi totient Euler.

Dalam {\displaystyle \mathbb {F} \_{q},} identitas impian Fresman

{\displaystyle (x+y)^{p}=x^{p}+y^{p}}
adalah hakiki untuk eksponen p. Seperti {\displaystyle x^{p}=x} di peta {\displaystyle \mathbb {F} \_{q},} maka

{\displaystyle {\begin{aligned}F\colon {}&\mathbb {F} \_{q}\to \mathbb {F} \_{q}\\&x\mapsto x^{p}\end{aligned}}}
adalah linear atas {\displaystyle \mathbb {F} \_{q},} dan merupakan automorfisme medan, disebut automorfisme Frobenius. Jika {\displaystyle q=p^{k},} medan {\displaystyle \mathbb {F} \_{q}} memiliki k automorfisme, yang merupakan pangkat pertama k (antara komposisi) dari F. Dengan kata lain, grup Galois dari {\displaystyle \mathbb {F} \_{q}} adalah siklik urutan k, yang dihasilkan oleh automorfisme Frobenius.

Pertukaran kunci Diffie–Hellman adalah aplikasi eksponensial dalam Medan hingga yang banyak digunakan untuk komunikasi aman. Ini menggunakan fakta bahwa eksponensial secara komputasi tidak mahal, sedangkan operasi kebalikannya, logaritma diskret, secara komputasi mahal. Lebih tepatnya, jika g adalah elemen primitif dalam {\displaystyle \mathbb {F} \_{q},} maka {\displaystyle g^{e}} dihitung secara efisien dengan eksponensial dari kuadrat untuk e, bahkan jika q besar, sementara tidak ada algoritma yang diketahui memungkinkan pengambilan e dari {\displaystyle g^{e}} jika nilai q adalah besar.

  

### Atas himpunan

Artikel utama: Darab Kartesius
Jika *n* adalah bilangan asli, dan *A* adalah himpunan sembarang, maka ekspresi *A**n* sering digunakan untuk menyatakan himpunan dari rangkap-*n* elemen *A*. Apabila ditulis *A**n* menyatakan himpunan fungsi dari himpunan {0, 1, 2, ... *n* − 1} ke himpunan *A*; rangkap-*n* (*a*0, *a*1, *a*2 , ... a*n*−1) mewakili fungsi *i* ke *a**i*.

Untuk bilangan kardinal tak hingga dan himpunan *A*, notasi *A*κ juga digunakan untuk menyatakan himpunan semua fungsi dari himpunan ukuran hingga *A*. Ini terkadang ditulis κ*A* untuk membedakannya dari eksponensial utama, yang didefinisikan di bawah ini.

Eksponensial umum ini juga didefinisikan untuk operasi pada himpunan atau untuk himpunan dengan struktur tambahan. Misalnya, dalam aljabar linear, untuk indeks jumlah langsung dari ruang vektor melalui himpunan indeks sembarang. Artinya, apabila berbicara tentang

{\displaystyle \bigoplus \_{i\in \mathbb {N} }V\_{i},}
dimana setiap *V**i* adalah ruang vektor.

Kemudian jika *V**i* = *V* untuk setiap *i*, jumlah langsung yang dihasilkan ditulis dalam notasi eksponensial sebagai *V*⊕**N**, atau cukup *V***N** dengan pengertian bahwa jumlah langsung adalah bawaan. Maka, ini bisa diganti kembali himpunan **N** dengan bilangan kardinal *n* untuk mendapatkan *V**n*, meskipun tanpa memilih himpunan standar tertentu dengan kardinalitas *n*, yang didefinisikan isomorfisme hingga saja. Diberikan *V* sebagai medan-**R** dari bilangan real (yang sebagai ruang vektor atas) dan *n* menjadi beberapa bilangan asli, maka, ini mendapatkan ruang vektor umum yang dipelajari dalam aljabar linear, dan ruang vektor real-**R***n*.

Jika basis operasi eksponensial adalah himpunan, operasi eksponensial adalah darab Kartesius kecuali dinyatakan yang lain. Karena beberapa darab Cartesian menghasilkan rangkap-*n*, yang diwakili oleh suatu fungsi pada himpunan kardinalitas yang sesuai, *S**N* sebagai himpunan semua fungsi dari *N* hingga *S* dalam kasus ini:

{\displaystyle S^{N}\equiv \{f\colon N\to S\}.}
Ini cocok dengan eksponen bilangan kardinal, dalam arti bahwa |*S**N*| = |*S*||*N*|, dimana |*X*| adalah kardinalitas *X*. Ketika "2" didefinisikan sebagai {0, 1}, maka memiliki |2*X*| = 2|*X*|, dimana 2*X*, biasanya dilambangkan dengan **P**(*X*), adalah himpunan pangkat dari *X*; masing-masing himpunan bagian *Y* dari *X* berkorespondensi secara unik dengan fungsi pada *X* yang mengambil nilai 1 untuk *x* ∈ *Y* dan 0 untuk *x* ∉ *Y*.

### Dalam teori kategori

Artikel utama: Kategori tertutup Kartesius
Dalam kategori tertutup Kartesius, operasi eksponensial digunakan untuk kenaikkan objek sembarang ke pangkat objek lain. Ini menggeneralisasi darab Kartesius dalam kategori himpunan. Jika 0 adalah objek awal dalam kategori tertutup Kartesius, maka objek eksponensial 00 adalah isomorfik ke objek terminal 1.

### Dari bilangan kardinal dan ordinal

Artikel utama: Aritmetika kardinal dan Aritmatika ordinal
Dalam teori himpunan, ada operasi eksponensial untuk kardinal dan bilangan ordinal.

Jika *κ* dan *λ* adalah bilangan kardinal, ekspresi *κ**λ* mewakili kardinalitas himpunan fungsi dari sembarang himpunan kardinalitas *λ* ke himpunan kardinalitas *κ*. Jika *κ* dan *λ* adalah hingga, maka ini sesuai dengan operasi eksponensial aritmetika biasa. Misalnya, himpunan rangkap-3 elemen dari himpunan elemen-2 memiliki kardinalitas 8 = 23. Dalam aritmetika kardinal, *κ*0 adalah 1 (bahkan jika *κ* adalah kardinal tak hingga atau nol).

Eksponen bilangan kardinal berbeda dari eksponensial bilangan kardinal, yang didefinisikan oleh proses batas yang melibatkan induksi transfinit.

Eksponensial berulang
---------------------

Artikel utama: Tetrasi dan Hiperoperasi
Sama seperti eksponensial bilangan asli dimotivasi oleh perkalian berulang, adalah mendefinisikan operasi berdasarkan eksponensial berulang; operasi ini terkadang disebut hiper-4 atau tetrasi. Tetrasi-iterasi mengarah ke operasi lain, dan seterusnya, sebuah konsep bernama hiperoperasi. Urutan operasi ini dinyatakan oleh fungsi Ackermann dan notasi panah atas Knuth. Sama seperti eksponensial pertumbuhan cepat daripada perkalian, pertumbuhan cepat dari penambahan, tetrasi adalah pertumbuhan cepat dari eksponensial. Dinilai pada (3, 3), fungsi penjumlahan, perkalian, eksponensial, dan tetrasi menghasilkan 6, 9, 27, dan 7.625.597.484.987 masing-masing pada (= 327 = 333 = 33).

Limit pangkat
-------------

Nol pangkat nol memberikan sejumlah contoh limit yang berbentuk bentuk tak tentu 00. Limit dalam contoh ini ada, tetapi memiliki nilai yang berbeda, menunjukkan bahwa fungsi dua variabel *x**y* tidak memiliki limit pada titik (0, 0). Apabila mempertimbangkan pada titik mana fungsi ini memiliki limit.

Lebih tepatnya, perhatikan fungsi *f*(*x*, *y*) = *x**y* didefinisikan pada *D* = {(*x*, *y*) ∈ **R**2 : *x* > 0}. Kemudian *D* dilihat sebagai himpunan bagian dari **R**2 (yaitu, himpunan semua pasangan (*x*, *y*) dengan *x*, *y* memiliki garis bilangan real diperluas **R** = [−∞, +∞], dengan darab topologi), yang berisi titik-titik dimana fungsi *f* memiliki limit.

Faktanya, *f* memiliki limit di semua titik akumulasi dari *D*, kecuali (0, 0), (+∞, 0), (1, +∞) dan (1, −∞). Dengan demikian, apabila ini untuk mendefinisikan pangkat *x**y* dengan kontinuitas 0 ≤ *x* ≤ +∞, −∞ ≤ y ≤ +∞, kecuali untuk 00, (+∞)0, 1+∞ dan 1−∞, yang tetap bentuk tak tentu.

Dibawah definisi ini dengan kontinuitas, maka memperoleh:

* *x*+∞ = +∞ dan *x*−∞ = 0, bila 1 < *x* ≤ +∞.
* *x*+∞ = 0 dan *x*−∞ = +∞, bila 0 ≤ *x* < 1.
* 0*y* = 0 dan (+∞)*y* = +∞, bila 0 < *y* ≤ +∞.
* 0*y* = +∞ dan (+∞)*y* = 0, bila −∞ ≤ *y* < 0.

pangkat ini diperoleh dengan mengambil limit *x**y* untuk nilai *positif* dari *x*. Metode ini tidak mengizinkan definisi *x**y* ketika *x* < 0, karena pasangan (*x*, *y*) dengan *x* < 0 bukan merupakan titik akumulasi dari *D*.

Disisi lain, ketika *n* adalah bilangan bulat, maka pangkat *x**n* bermakna untuk semua nilai *x*, termasuk yang negatif. Maka, ini membuat definisi 0*n* = +∞ yang diperoleh diatas untuk *n* negatif menjadi bermasalah ketika nilainya adalah *n*, karena dalam kasus ini *x**n* → +∞ karena *x* cenderung 0 melalui nilai positif, tetapi bukan nilai negatif.

Komputasi yang efisien dengan eksponen bilangan bulat
-----------------------------------------------------

Komputasi *b**n* menggunakan perkalian berulang membutuhkan *n* − 1 operasi perkalian, tetapi itu dapat dihitung lebih efisien dari itu, seperti yang diilustrasikan oleh contoh berikut. Untuk menghitung 2100, terapkan kaidah Horner ke eksponen 100 yang ditulis dalam biner: 

{\displaystyle 100=2^{2}+2^{5}+2^{6}=2^{2}(1+2^{3}(1+2))}.
Kemudian hitung suku-suku berikut secara berurutan, baca kaidah Horner dari kanan ke kiri.


|  |
| --- |
| 22 = 4 |
| 2 \* (22) = 23 = 8 |
| (23)2 = 26 = 64 |
| (26)2 = 212 = 4096 |
| (212)2 = 224 = 16.777.216 |
| 2 \* (224) = 225 = 33.554.432 |
| (225)2 = 250 = 1.125.899.906.842.624 |
| (250)2 = 2100 = 1.267.650.600.228.229.401.496.703.205.376 |

Rangkaian langkah ini hanya membutuhkan 8 perkalian, bukan 99.

Secara umum, jumlah operasi perkalian yang diperlukan untuk menghitung *b**n* dikurangi menjadi {\displaystyle \sharp n+\lfloor ^{2}\!\log n\rfloor -1,} dengan menggunakan pangkat dengan kuadrat, dengan {\displaystyle \sharp n} menunjukkan jumlah 1 dalam wakilan biner dari n. Untuk beberapa eksponen (100 tidak termasuk di antaranya), jumlah perkalian dikurangi lebih lanjut dengan menghitung dan menggunakan pangkat kaidah-tambahan minimal. Menemukan barisan perkalian *minimal* (kaidah penambahan panjang minimal untuk eksponen) untuk *b**n* adalah soal yang sulit, yang saat ini tidak ada algoritma efisien yang diketahui (lihat Masalah jumlah himpunan bagian), tetapi banyak algoritma heuristik yang cukup efisien tersedia. Namun, dalam perhitungan praktis, eksponensial dengan mengkuadratkan cukup efisien, dan jauh lebih mudah diimplementasikan.

Fungsi teriterasi
-----------------

Komposisi fungsi adalah operasi biner yang didefinisikan pada fungsi sehingga kodomain dari fungsi yang ditulis sebelah kanan termasuk dalam domain dari fungsi yang ditulis sebelah kiri. Ini dilambangkan {\displaystyle g\circ f,} dan didefinisikan sebagai

{\displaystyle (g\circ f)(x)=g(f(x))}
untuk setiap x dalam domain f.

Jika domain suatu fungsi f sama dengan kodomainnya, maka ia menyusun fungsi dengan sendiri dalam jumlah waktu yang berubah-ubah, dan ini mendefinisikan pangkat ke-n dari fungsi di bawah komposisi, biasanya disebut *iterasi ke-n* dari fungsi tersebut. Jadi {\displaystyle f^{n}} secara umum menunjukkan iterasi ke-n dari f; misalnya, {\displaystyle f^{3}(x)} berarti {\displaystyle f(f(f(x))).}

Ketika perkalian didefinisikan pada kodomain fungsi, ini mendefinisikan perkalian pada fungsi, perkalian sesetitik, yang menginduksi eksponensial lain. Saat menggunakan notasi fungsional, dua jenis eksponensial umumnya dibedakan dengan menempatkan eksponen dari iterasi fungsional *sebelum* tanda kurung yang melampirkan argumen fungsi, dan menempatkan eksponen perkalian sesetitik *setelah* tanda kurung. Jadi {\displaystyle f^{2}(x)=f(f(x)),} dan {\displaystyle f(x)^{2}=f(x)\cdot f(x).} Ketika notasi fungsional tidak digunakan, disambiguasi yang dilakukan dengan menempatkan simbol komposisi sebelum eksponen; misalnya {\displaystyle f^{\circ 3}=f\circ f\circ f,} dan {\displaystyle f^{3}=f\cdot f\cdot f.} Untuk alasan historis, eksponen dari perkalian berulang ditempatkan sebelum argumen untuk beberapa fungsi tertentu, biasanya fungsi trigonometri. Jadi, {\displaystyle \sin ^{2}x} dan {\displaystyle \sin ^{2}(x)} berarti keduanya {\displaystyle \sin(x)\cdot \sin(x)} dan bukan {\displaystyle \sin(\sin(x)),} yang jarang dipertimbangkan. Secara historis, beberapa varian notasi ini digunakan oleh penulis yang berbeda.

Dalam konteks ini, eksponen {\displaystyle -1} selalu menunjukkan fungsi invers, jika ada. Jadi {\displaystyle \sin ^{-1}x=\sin ^{-1}(x)=\arcsin x.} Untuk pecahan perkalian invers umumnya digunakan seperti pada {\displaystyle 1/\sin(x)={\frac {1}{\sin x}}.}

Dalam bahasa pemrograman
------------------------

Bahasa pemrograman umumnya menyatakan eksponensial baik sebagai operator infiks atau sebagai fungsi (awalan), karena mereka adalah notasi linear yang tidak mendukung superskrip:

* `x ↑ y`: Algol, Komodor BASIC, TRS-80 Level II/III BASIC.
* `x ^ y`: AWK, BASIC, J, MATLAB, Wolfram Language (Mathematica), R, Microsoft Excel, Analytica, TeX (dan turunannya), TI-BASIC, bc (untuk eksponen bilangan bulat), Haskell (untuk eksponen bilangan bulat nonnegatif), Lua dan sebagian besar sistem aljabar komputer. Penggunaan simbol `^` yang bertentangan meliputi: XOR (dalam ekspansi aritmetika POSIX Shell, AWK, C, C++, C#, D, Go, Java, JavaScript, Perl, PHP, Python, Ruby dan Tcl), Indirection (Pascal), dan rangkaian string (OCaml dan Standard ML).
* `x ^^ y`: Haskell (untuk basis pecahan, eksponen bilangan bulat), D.
* `x ** y`: Ada, Z shell, KornShell, Bash, COBOL, CoffeeScript, Fortran, FoxPro, Gnuplot, Groovy, JavaScript, OCaml, F#, Perl, PHP, PL/I, Python, Rexx, Ruby, SAS, Seed7, Tcl, ABAP, Mercury, Haskell (untuk eksponen floating-point), Turing, VHDL.
* `pown x y`: F# (for integer base, integer exponent).
* `x⋆y`: APL.

Many other programming languages lack syntactic support for exponentiation, but provide library functions:

* `pow(x, y)`: C, C++.
* `Math.Pow(x, y)`: C#.
* `math:pow(X, Y)`: Erlang.
* `Math.pow(x, y)`: Java.
* `[Math]::Pow(x, y)`: PowerShell.
* `(expt x y)`: Common Lisp.

Untuk eksponen tertentu ada cara khusus untuk menghitung *x**y* jauh lebih cepat daripada melalui eksponen umum. Kasus ini mencakup bilangan bulat positif dan negatif kecil (memilih *x* · *x* daripada *x*2; memilih 1/*x* daripada *x*−1) dan root (memilih sqrt(*x*) daripada *x*0.5, memilih cbrt(*x*) daripada *x*1/3</ sup>).

Tidak semua bahasa pemrograman menggunakan konvensi asosiasi yang sama untuk eksponensial: sedangkan Wolfram Language, Google Penelusuran dan lainnya menggunakan pengaitan kanan (yaitu `a^b^c` dievaluasi sebagai `a^(b^c)`), banyak program komputer seperti Microsoft Office Excel dan Matlab mengasosiasikan ke kiri (yaitu `a^b^c` dievaluasi sebagai `(a^b)^c`).

Lihat pula
----------

* iconPortal Matematika

* Fungsi eksponensial ganda
* Peluruhan eksponensial
* Medan eksponensial
* Pertumbuhan eksponensial
* Daftar topik eksponensial
* Eksponensial modular
* Notasi ilmiah
* Subskrip dan superskrip Unicode
* *x**y* = *y**x*
* Nol pangkat nol

Catatan
-------

1. ↑  Lebih umum, asosiasi pangkat sudah cukup untuk definisi.

Referensi
---------

1. ↑  "Compendium of Mathematical Symbols". *Math Vault* (dalam bahasa Inggris). 2020-03-01. Diakses tanggal 2020-08-27.
2. 1 2 3 4 5  Nykamp, Duane. "Basic rules for exponentiation". *Math Insight*. Diakses tanggal Agustus 27, 2020.
3. ↑  Hodge, Jonathan K.; Schlicker, Steven; Sundstorm, Ted (2014). *Abstract Algebra: an inquiry based approach*. CRC Press. hlm. 94. ISBN 978-1-4665-6706-1.
4. ↑  Achatz, Thomas (2005). *Technical Shop Mathematics* (edisi ke-3rd). Industrial Press. hlm. 101. ISBN 978-0-8311-3086-2.
5. ↑  Robinson, Raphael Mitchel (Oktober 1958) [1958-04-07]. "A report on primes of the form k · 2n + 1 and on factors of Fermat numbers" (PDF). *Proceedings of the American Mathematical Society*. Universitas California, Berkeley, California, AS. **9** (5): 673–681 [677]. doi:10.1090/s0002-9939-1958-0096614-7 alt=Dapat diakses gratis. Diarsipkan dari versi asli (PDF) tanggal 2020-06-28. Diakses tanggal 2020-06-28.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
6. ↑  Bronstein, Ilja Nikolaevič; Semendjajew, Konstantin Adolfovič (1987) [1945]. "2.4.1.1. Definition arithmetischer Ausdrücke" [Definisi ekspresi aritmetika]. Ditulis di Leipzig, Germany. Dalam Grosche, Günter; Ziegler, Viktor; Ziegler, Dorothea. *Taschenbuch der Mathematik* [*Pocketbook of mathematics*] (dalam bahasa Jerman). **1**. Diterjemahkan oleh Ziegler, Viktor. Weiß, Jürgen (edisi ke-23). Thun, Switzerland / Frankfurt am Main, Germany: Verlag Harri Deutsch (dan B. G. Teubner Verlagsgesellschaft, Leipzig). hlm. 115–120, 802. ISBN 3-87144-492-8.
7. ↑  Olver, Frank W. J.; Lozier, Daniel W.; Boisvert, Ronald F.; Clark, Charles W. ed. (2010). *NIST Handbook of Mathematical Functions*. Institut Standar dan Teknologi Nasional (NIST), A.S. Departemen Perdagangan, Cambridge University Press. ISBN 978-0-521-19225-5. MR 2723248.  Diarsipkan 2013-07-03 di Archive.is
8. ↑  Zeidler, Eberhard; Schwarz, Hans Rudolf; Hackbusch, Wolfgang; Luderer, Bernd; Blath, Jochen; Schied, Alexander; Dempe, Stephan; Wanka, Gert; Hromkovič, Juraj; Gottwald, Siegfried (2013) [2012]. Zeidler, Eberhard, ed. *Springer-Handbuch der Mathematik I* (dalam bahasa Jerman). **I** (edisi ke-1). Berlin / Heidelberg, Germany: Springer Spektrum, Springer Fachmedien Wiesbaden. hlm. 590. doi:10.1007/978-3-658-00285-5. ISBN 978-3-658-00284-8.  (xii+635 pages)
9. 1 2  Anton, Howard; Bivens, Irl; Davis, Stephen (2012). *Calculus: Early Transcendentals*Akses gratis dibatasi (uji coba), biasanya perlu berlangganan (edisi ke-9th). John Wiley & Sons. hlm. 28. ISBN 9780470647691.
10. ↑  Denlinger, Charles G. (2011). *Elements of Real Analysis*. Jones and Bartlett. hlm. 278–283. ISBN 978-0-7637-7947-4.
11. ↑  Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001). *Introduction to Algorithms* (edisi ke-second). MIT Press. ISBN 978-0-262-03293-3.  Online resource Diarsipkan 2007-09-30 di Wayback Machine.
12. ↑  Cull, Paul; Flahive, Mary; Robson, Robby (2005). *Difference Equations: From Rabbits to Chaos* (edisi ke-Undergraduate Texts in Mathematics). Springer. ISBN 978-0-387-23234-8.  Didefinisikan pada hal. 351
13. ↑  "Principal root of unity", MathWorld.
14. ↑  Steiner, J.; Clausen, T.; Abel, Niels Henrik (1827). "Aufgaben und Lehrsätze, erstere aufzulösen, letztere zu beweisen" [Problems and propositions, the former to solve, the later to prove]. *Journal für die reine und angewandte Mathematik*. **2**: 286–287.
15. ↑  Bourbaki, Nicolas (1970). *Algèbre*. Springer. , I.2
16. ↑  Bloom, David M. (1979). *Linear Algebra and Geometry*Perlu mendaftar (gratis). hlm. 45. ISBN 978-0-521-29324-2.
17. ↑  Bab 1, Aljabar Linear Dasar, 8E, Howard Anton
18. ↑  Strang, Gilbert (1988), *Linear algebra and its applications* (edisi ke-3rd), Brooks-Cole , Bab 5.
19. ↑  E. Hille, R. S. Phillips: *Analisis Fungsional dan Semi-Grup*. Masyarakat Matematika Amerika, 1975.
20. ↑  Nicolas Bourbaki, Elemen Matematika, Teori Himpunan, Springer-Verlag, 2004, III.§3.5.
21. ↑  Nicolas Bourbaki, *Topologie générale*, V.4.2.
22. ↑  Gordon, D. M. (1998). "A Survey of Fast Exponentiation Methods" (PDF). *Journal of Algorithms*. **27**: 129–146. CiteSeerX 10.1.1.17.7076 alt=Dapat diakses gratis. doi:10.1006/jagm.1997.0913.
23. ↑  Peano, Giuseppe (1903). *Formulaire mathématique* (dalam bahasa Prancis). **IV**. hlm. 229.
24. ↑  Herschel, John Frederick William (1813) [1812-11-12]. "On a Remarkable Application of Cotes's Theorem". *Philosophical Transactions of the Royal Society of London*. London: Royal Society of London, printed by W. Bulmer and Co. Cleveland-Row, St. James's, sold by G. and W. Nicol, Pall-Mall. **103** (Part 1): 8–26 [10]. doi:10.1098/rstl.1813.0005 alt=Dapat diakses gratis. JSTOR 107384.  Parameter `|s2cid=` yang tidak diketahui akan diabaikan (bantuan)
25. ↑  Herschel, John Frederick William (1820). "Part III. Section I. Examples of the Direct Method of Differences". *A Collection of Examples of the Applications of the Calculus of Finite Differences*. Cambridge, UK: Printed by J. Smith, sold by J. Deighton & sons. hlm. 1–13 [5–6]. Diarsipkan dari versi asli tanggal 2020-08-04. Diakses tanggal 2020-08-04.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)  (NB. Inhere, Herschel refers to his Templat:Citeref and mentions Hans Heinrich Bürmann's older work.)
26. ↑  Cajori, Florian (1952) [March 1929]. *A History of Mathematical Notations*. **2** (edisi ke-3rd). Chicago, USA: Open court publishing company. hlm. 108, 176–179, 336, 346. ISBN 978-1-60206-714-1. Diakses tanggal 2016-01-18.
27. ↑  Daneliuk, Timothy "Tim" A. (1982-08-09). "BASCOM - A BASIC compiler for TRS-80 I and II". *InfoWorld*. Software Reviews. **4** (31). Popular Computing, Inc. hlm. 41–42. Diarsipkan dari versi asli tanggal 2020-02-07. Diakses tanggal 2020-02-06. [...] Jika [...] mengkuadratkan dilakukan dengan fungsi eksponensial (panah atas) TRS-80 BASIC, interpreter waktu berjalan adalah 22 menit 20 detik, dan waktu berjalan yang dikompilasi adalah 20 menit 3 detik. [...]  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
28. ↑  "80 Contents". *80 Micro*. 1001001, Inc. (45): 5. October 1983. ISSN 0744-7868. Diakses tanggal 2020-02-06. [...] Tanda kurung kiri, [, menggantikan panah atas yang digunakan oleh RadioShack untuk menunjukkan eksponensial pada hasil cetakan kami. Saat memasukkan program yang diterbitkan di 80 Micro, Anda harus membuat perubahan ini. [...]  (catatan Pada titik kode 5Bh TRS-80 character set memiliki simbol panah atas "↑" menggantikan ASCII braket siku kiri "[".)
29. Euler, Leonhard (1748). *Introductio in analysin infinitorum* (dalam bahasa Latin). **I**. Lausanne: Marc-Michel Bousquet. hlm. 69, 98–99. Primum ergo considerandæ sunt quantitates exponentiales, seu Potestates, quarum Exponens ipse est quantitas variabilis. Perspicuum enim est hujusmodi quantitates ad Functiones algebraicas referri non posse, cum in his Exponentes non nisi constantes locum habeant.

Templat:Hiperoperasi

| Pengawasan otoritas Sunting ini di Wikidata |
| --- |
| Perpustakaan nasional | 
* Amerika Serikat

 |
| Lain-lain | 
* Microsoft Academic

 |