Eksponensiasi: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib)
→‎Terminologi: kuasa diganti menjadi pangkat.
Dedhert.Jr (bicara | kontrib)
Arbitrer harusnya diterjemahkan menjadi sembarang
Baris 251:
===Limit eksponen rasional===
[[Berkas:Continuity of the Exponential at 0.svg|thumb|Limit {{math|''e''{{sup|1/''n''}}}} adalah {{math|1=''e''{{sup|0}} = 1}} ketika {{mvar|n}} cenderung ketakterhinggaan.]]
Karena [[bilangan irasional]] dapat dinyatakan sebagai [[limit barisan]] dari bilangan rasional, eksponen bilangan real positif {{mvar|b}} dengan eksponen real arbitrersembarang {{mvar|x}} didefinisikan oleh [[fungsi kontinu|kontinuitas]] dengan kaidah<ref name="Denlinger">{{cite book |title=Elements of Real Analysis |last=Denlinger |first=Charles G. |publisher=Jones and Bartlett |date=2011 |pages=278–283 |isbn=978-0-7637-7947-4}}</ref>
:<math> b^x = \lim_{r (\in \mathbb{Q}) \to x} b^r \quad (b \in \mathbb{R}^+,\, x \in \mathbb{R}),</math>
dimana limitnya diambil alih nilai rasional {{mvar|r}} saja. Limit ini ada untuk setiap {{mvar|b}} positif dan setiap {{mvar|x}} real.
Baris 567:
Untuk [[bilangan kardinal]] tak hingga dan himpunan ''A'', notasi ''A''<sup>κ</sup> juga digunakan untuk menyatakan himpunan semua fungsi dari himpunan ukuran hingga ''A''. Ini terkadang ditulis <sup>κ</sup>''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 matematika|struktur]] tambahan. Misalnya, dalam [[aljabar linear]], untuk indeks [[Jumlah langsung modul|jumlah langsung]] dari [[ruang vektor]] melalui himpunan indeks arbitrersembarang. Artinya, apabila berbicara tentang
: <math>\bigoplus_{i \in \mathbb{N}} V_i,</math>
dimana setiap ''V''<sub>''i''</sub> adalah ruang vektor.
Baris 580:
===Dalam teori kategori===
{{Main|Kategori tertutup Kartesius}}
Dalam [[kategori tertutup Kartesius]], operasi [[eksponensial (teori kategori)|eksponensial]] digunakan untuk kenaikkan objek arbitrersembarang ke pangkat objek lain. Ini menggeneralisasi [[darab Kartesius]] dalam kategori himpunan. Jika 0 adalah [[objek awal]] dalam kategori tertutup Kartesius, maka [[objek eksponensial]] 0<sup>0</sup> adalah isomorfik ke objek terminal 1.
 
===Dari bilangan kardinal dan ordinal===