ดูต้นฉบับสำหรับ การยกกำลัง

{{บทความคุณภาพ}}
'''การยกกำลัง''' เป็น[[การดำเนินการ (คณิตศาสตร์)|การดำเนินการ]][[คณิตศาสตร์|ทางคณิตศาสตร์]] ที่มีการเขียนอยู่ในรูป ''<math>b^{n}</math>'' ซึ่งเกี่ยวข้องกับตัวเลขสองจำนวน คือ ''[[ฐาน (การยกกำลัง)|ฐาน]]'' <math>b</math> และ ''เลขชี้กำลัง'' หรือ ''กำลัง'' <math>n</math> ซึ่งอ่านว่า "<math>b</math> ยกกำลัง <math>n</math>"<ref name=":1">{{Cite web|last=Nykamp|first=Duane|title=Basic rules for exponentiation|url=https://mathinsight.org/exponentiation_basic_rules|access-date=August 27, 2020|website=Math Insight}}</ref> เมื่อ <math>n</math> เป็น[[จำนวนเต็ม]]บวก  การยกกำลังจึงเป็น[[การคูณ]]ซ้ำ ๆ กันของฐาน ซึ่งก็คือ ''<math>b^{n}</math>'' เป็น[[ผลคูณ]]จากการคูณฐานซ้ำกันเป็นจำนวน <math>n</math> ครั้ง<ref name=":1" />

{{กล่องข้อมูล สัญลักษณ์
| mark                    = {{math|''b''<sup>''n''</sup>}}
| name                    = สัญกรณ์
| variant1 caption        = ฐาน b และเลขชี้กำลัง n
}}

:<math display="block">b^n = \underbrace{b \times b \times \dots \times b \times b}_{n \text{ times}}</math>

เลขชี้กำลังมักจะแสดงเป็น[[ตัวยก]] ซึ่งอยู่ทางด้านขวาของฐานในกรณีที่ ''<math>b^{n}</math>'' เรียกว่า "''<math>b</math>'' ยกที่ ''<math>n</math>'' กำลัง" "''<math>b</math>'' (ยก)กำลัง ''<math>n</math>''" "''<math>n</math>'' ที่กำลัง ''<math>b</math>''" "''<math>b</math>'' ที่ ''<math>n</math>'' กำลัง"<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Power|url=https://mathworld.wolfram.com/Power.html|access-date=2020-08-27|website=mathworld.wolfram.com|language=en}}</ref> หรือที่มีการเรียกโดยสั้นที่สุดว่า "''<math>b</math>'' ที่ ''<math>n</math>''"

เริ่มต้นจากข้อเท็จจริงพื้นฐานที่ระบุไว้ข้างต้นว่า จำนวนเต็มบวก <math>n</math> ใด ๆ ซึ่ง <math>b^n</math> คือจำนวน <math>n</math> ครั้งของ <math>b</math> ที่คูณกัน คุณสมบัติอื่น ๆ ของการยกกำลังจะตามมาโดยตรง โดยเฉพาะ

<math>
\begin{align}
b^{n+m} & = \underbrace{b \times \dots \times b}_{n+m \text{ times}} \\[1ex]
& = \underbrace{b \times \dots \times b}_{n \text{ times}} \times \underbrace{b \times \dots \times b}_{m \text{ times}} \\[1ex]
& = b^n \times b^m
\end{align}
</math>

กล่าวอีกนัยหนึ่ง เมื่อมีการคูณฐานที่ยกกำลังเป็นเลขชี้กำลังจำนวนหนึ่ง โดยคูณกับฐานที่มีค่าเท่ากันที่ยกกำลังเป็นเลขชี้กำลังอีกจำนวนหนึ่ง การคูณนั้นจะเป็นการนำเลขชี้กำลังของทั้งสองมาบวกกัน จากกฎพื้นฐานที่สามารถนำเลขชี้กำลังมาบวกกันได้ จึงสามารถสรุปได้ว่า <math>b^0</math> จะต้องมีค่าเท่ากับ 1 เนื่องจาก <math>n</math> ใด ๆ ที่ <math>b^0 \cdot b^n = b^{0+n} = b^n</math> และเมื่อนำ <math>b^n</math> ไปหารทั้งสองข้าง จะได้ <math>b^0 = b^n / b^n = 1</math>

ข้อเท็จจริงที่ว่า <math>b^1 = b</math> สามารถได้ผลลัพธ์ที่เหมือนกันจากกฎเดียวกันได้ ยกตัวอย่างเช่น <math> (b^1)^3 = b^1 \cdot b^1 \cdot b^1 = b^{1+1+1} = b^3 </math> เมื่อเอารากที่สามออกทั้งสอง ข้างจะได้ <math>b^1 = b</math>

คำจำกัดความของการยกกำลัง สามารถขยายเพื่อใช้กับเลขชี้กำลังที่เป็นจำนวนจริง หรือ[[จำนวนเชิงซ้อน]]ใด ๆ ได้ ส่วนการยกกำลังด้วยเลขชี้กำลังที่เป็นจำนวนเต็ม ก็สามารถกำหนดโครงสร้างพีชคณิตที่มีความหลากหลายได้ ซึ่งรวมไปถึง[[เมทริกซ์]]ด้วย

การยกกำลังมีการใช้งานในความรู้สาขาอื่น ๆ อย่างกว้างขวางในหลายด้าน เช่น [[เศรษฐศาสตร์]] [[ชีววิทยา]] [[เคมี]] [[ฟิสิกส์]] และ[[วิทยาการคอมพิวเตอร์]] ในการใช้ในงานคำนวณ เช่น [[ดอกเบี้ยทบต้น]] [[การเพิ่มประชากร]] [[จลนพลศาสตร์เคมี]] พฤติกรรมของ[[คลื่น]] และ[[การเข้ารหัสลับแบบกุญแจอสมมาตร]] เป็นต้น

[[ไฟล์:Expo02.svg|thumb|315px|กราฟของสมการ ''y'' = ''a''<sup>''x''</sup> ในฐาน ''a'' ต่าง ๆ : ฐาน 10 (<span style="color:green">สีเขียว</span>), ฐาน ''e'' (<span style="color:red">สีแดง</span>), ฐาน 2 (<span style="color:blue">สีน้ำเงิน</span>), และฐาน ½ (<span style="color:cyan">สีฟ้า</span>) เส้นโค้งแต่ละเส้นผ่านจุด (0, 1) เนื่องจากจำนวนที่ไม่เป็นศูนย์ใด ๆ ยกกำลัง 0 จะได้ 1 และที่ ''x'' = 1 ค่าของ ''y'' จะเท่ากับฐาน เนื่องจากจำนวนใด ๆ ยกกำลัง 1 จะได้จำนวนเดิม]]

== เลขชี้กำลังเป็นจำนวนเต็ม ==
การดำเนินการยกกำลังด้วยเลขชี้กำลังที่เป็นจำนวนเต็ม เป็นข้อกำหนดที่จำเป็นของ[[พีชคณิตมูลฐาน]]เท่านั้น

=== เลขชี้กำลังเป็นจำนวนเต็มบวก ===
นิพจน์ ''a''<sup>2</sup> = ''a''·''a'' เรียกว่า square หมายถึง[[รูปสี่เหลี่ยมจัตุรัส]] (ดูเพิ่มที่[[การยกกำลังสอง]]) เพราะรูปสี่เหลี่ยมจัตุรัสที่มีด้านยาวด้านละ ''a'' หน่วย มี[[พื้นที่]]เท่ากับ ''a''<sup>2</sup> ตารางหน่วย

นิพจน์ ''a''<sup>3</sup> = ''a''·''a''·''a'' เรียกว่า cube หมายถึง[[ทรงลูกบาศก์]] (ดูเพิ่มที่[[การยกกำลังสาม]]) เพราะทรงลูกบาศก์ที่มีด้านยาวด้านละ ''a'' หน่วย มี[[ปริมาตร]]เท่ากับ ''a''<sup>3</sup> ลูกบาศก์หน่วย

เลขชี้กำลังเป็นตัวบ่งบอกว่าจะนำฐานมาคูณกันกี่ตัว (ไม่ใช่คูณกันกี่ครั้ง) ตัวอย่างเช่น 3<sup>5</sup> = 3·3·3·3·3 = 243 ดังนี้ฐาน 3 ปรากฏ 5 ครั้งในการคูณเพราะเลขชี้กำลังเป็น 5; ค่า 243 เป็น ''กำลัง'' ของ 3 คือผลลัพธ์ที่ได้จาก 3 ยกกำลัง 5

การยกกำลังที่มีเลขชี้กำลังเป็นจำนวนเต็มบวก อาจนิยามได้จาก[[ความสัมพันธ์เวียนเกิด]] ''a''<sup>''n''+1</sup>&nbsp;=&nbsp;''a''·''a''<sup>''n''</sup> โดยให้เงื่อนไขเริ่มต้นเป็น ''a''<sup>1</sup>&nbsp;=&nbsp;''a''

=== เลขชี้กำลังเป็น 0 หรือ 1 ===
เนื่องจาก ''a''<sup>1</sup> หมายถึง[[ผลคูณ]]ของ ''a'' เพียง 1 ตัว ซึ่งถูกนิยามให้มีค่าเท่ากับ ''a''

จากความสัมพันธ์เวียนเกิดอีกรูปแบบหนึ่ง ''a''<sup>''n'' − 1</sup> = ''a''<sup>''n''</sup>/''a'' เมื่อสมมติให้ ''n'' = 1 จะได้ ''a''<sup>0</sup> = 1

หรือกล่าวอีกทางหนึ่งว่า กำหนดให้ ''n'', ''m'', และ ''n''−''m'' เป็นจำนวนเต็มบวก (โดยที่ ''a'' ไม่เท่ากับศูนย์) จะได้ความสัมพันธ์
:: <math> \frac{a^n}{a^m} = a^{n - m}</math>
ในกรณีที่ ''n'' และ ''m'' มีค่าเท่ากัน สมการดังกล่าวจะกลายเป็น
:: <math> 1 = \frac{a^n}{a^n} = a^{n - n} = a^0 </math>
เนื่องจากตัวเศษและตัวส่วนมีค่าเท่ากัน ดังนั้นจึงสามารถนิยามค่าของ ''a''<sup>0</sup> = 1 นำไปสู่กฎสองประการ
* จำนวนใด ๆ ยกกำลัง 1 จะได้ตัวมันเอง
* จำนวนใด ๆ ที่ไม่เป็นศูนย์ ยกกำลัง 0 จะได้ 1 ซึ่งเป็นการตีความมาจาก[[ผลคูณว่าง]] สำหรับกรณี 0<sup>0</sup> ดูเพิ่มที่หัวข้อ [[#0 ยกกำลัง 0|0 ยกกำลัง 0]]

=== ความหมายทาง[[คณิตศาสตร์เชิงการจัด]] ===
สำหรับ ''n'' และ ''m'' ที่เป็นจำนวนเต็มไม่เป็นลบ (จำนวนเต็มบวกรวมทั้งศูนย์) เลขยกกำลัง ''n<sup>m</sup>'' จะหมายถึง[[ภาวะเชิงการนับ]] (cardinality) ของ[[เซต]]ของ {{nowrap|''m'' สิ่งอันดับ}} (''m''-tuple) ที่ได้จากเซตที่มีสมาชิก ''n'' ตัว หรือพูดอีกนัยหนึ่งคือ เป็นจำนวนของคำที่มีตัวอักษร ''m'' ตัว จากชุดตัวอักษร ''n'' ตัว

{| style="margin-left:3em"
|-
| 0<sup>5</sup> = │ {} │ = 0
| ไม่มีห้าสิ่งอันดับ จาก[[เซตว่าง]]
|-
| 1<sup>4</sup> = │ { (1, 1, 1, 1) } │ = 1
| มีสี่สิ่งอันดับ 1 ชุด จากเซตที่มีสมาชิก 1 ตัว
|-
| 2<sup>3</sup> = │ { (1, 1, 1), (1, 1, 2), (1, 2, 1), (1, 2, 2), (2, 1, 1), (2, 1, 2), (2, 2, 1), (2, 2, 2) } │ = 8 &nbsp;
| มีสามสิ่งอันดับ 8 ชุด จากเซตที่มีสมาชิก 2 ตัว
|-
| 3<sup>2</sup> = │ { (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3) } │ = 9
| มีสองสิ่งอันดับ (คู่อันดับ) 9 ชุด จากเซตที่มีสมาชิก 3 ตัว
|-
| 4<sup>1</sup> = │ { (1), (2), (3), (4) } │ = 4
| มีหนึ่งสิ่งอันดับ 4 ชุด จากเซตที่มีสมาชิก 4 ตัว
|-
| 5<sup>0</sup> = │ { () } │ = 1
| มีศูนย์สิ่งอันดับ 1 ชุด จากเซตที่มีสมาชิก 5 ตัว
|}

ดูเพิ่มเติมที่หัวข้อ[[#เซต|การยกกำลังบนเซต]]

=== เลขชี้กำลังเป็นจำนวนเต็มลบ ===
จากนิยาม จำนวนใด ๆ ที่ไม่เป็นศูนย์ เมื่อยกกำลังด้วย −1 จะทำให้เกิดส่วนกลับหรือ[[ตัวผกผันการคูณ]]
:: <math>a^{-1} = \frac{1}{a}</math>
จึงสามารถนิยามว่า
:: <math>a^{-n} = (a^n) ^{-1} = \frac{1}{a^n}</math>
เมื่อ ''a'' เป็นจำนวนใด ๆ ที่ไม่เป็นศูนย์และ ''n'' เป็นจำนวนเต็มบวก แต่สำหรับจำนวน 0 ยกกำลังจำนวนลบ จะทำให้เกิดกรณี[[การหารด้วยศูนย์]] จึงไม่มีการนิยาม

นิยามของ ''a''<sup>−''n''</sup> สำหรับค่า ''a'' ใด ๆ ที่ไม่ใช่ศูนย์ ทำให้เอกลักษณ์ ''a''<sup>''m''</sup>''a''<sup>''n''</sup>&nbsp;=&nbsp;''a''<sup>''m+n''</sup> เป็นจริงบนทุกช่วงจำนวนเต็มของ ''m'' กับ ''n'' (ทั้งบวก ลบ และศูนย์) จากเดิมเป็นจริงเฉพาะเมื่อ ''m'' กับ ''n'' เป็นจำนวนเต็มไม่เป็นลบ โดยเฉพาะอย่างยิ่งการใช้เอกลักษณ์นี้โดยกำหนดให้ ''m''&nbsp;=&nbsp;''−n'' จะทำให้
:: <math>a^{-n} \, a^{n} = a^{-n\, +\, n} = a^0 = 1</math>
เมื่อ ''a''<sup>0</sup> ได้นิยามเช่นนั้นแล้ว เป็นเหตุให้นำไปสู่การนิยาม ''a''<sup>−''n''</sup>&nbsp;=&nbsp;1/''a''<sup>''n''</sup> ดังที่ได้กล่าวแล้ว

การยกกำลังที่มีเลขชี้กำลังเป็นจำนวนเต็มลบ อาจสามารถเขียนให้อยู่ในรูปของ[[การหาร]]ซ้ำ ๆ จาก 1 ด้วยฐานก็ได้ ตัวอย่างเช่น
:: <math>3^{-4} = ( ( (1/3) /3) /3) /3 = \frac{1}{81} = \frac{1}{3^{4}}</math>

=== เอกลักษณ์และสมบัติ ===
เอกลักษณ์สำคัญที่สุดของการยกกำลังที่สอดคล้องกับกรณีเลขชี้กำลังเป็น[[จำนวนเต็ม]]คือ
:: <math>a^{m + n} = a^m \cdot a^n</math>
เอกลักษณ์นี้จึงเป็นผลที่ตามมา
:: <math>a^{m - n} = \frac{a^m}{a^n};\;a \ne 0</math>
และ
:: <math> (a^m) ^n = a^{m \cdot n}</math>
เอกลักษณ์พื้นฐานอีกอันหนึ่งคือ
:: <math> (a \cdot b) ^n = a^n \cdot b^n</math>

ในขณะที่การบวกและการคูณมี[[สมบัติการสลับที่]] เช่น {{nowrap|2+3 {{=}} 5 {{=}} 3+2}} และ {{nowrap|2·3 {{=}} 6 {{=}} 3·2}} แต่การยกกำลังไม่มีสมบัติการสลับที่ เช่น {{nowrap|2<sup>3</sup> {{=}} 8}} แต่ {{nowrap|3<sup>2</sup> {{=}} 9}}

และเช่นเดียวกัน ในขณะที่การบวกและการคูณมี[[สมบัติการเปลี่ยนหมู่]] เช่น {{nowrap| (2+3) +4 {{=}} 9 {{=}} 2+ (3+4)}} และ {{nowrap| (2·3) ·4 {{=}} 24 {{=}} 2· (3·4)}} แต่การยกกำลังไม่มีสมบัติการเปลี่ยนหมู่ ตัวอย่างเช่น "2<sup>3</sup> ยกกำลัง 4" จะได้ผลลัพธ์เป็น 8<sup>4</sup> หรือเท่ากับ {{nowrap|4,096}} แต่ "2 ยกกำลัง 3<sup>4</sup>" จะได้ผลลัพธ์เป็น 2<sup>81</sup> หรือ {{nowrap|2,417,851,639,229,258,349,412,352}} ถ้าหากเขียนเลขยกกำลังซ้อนกันโดยไม่ใส่[[วงเล็บ]] [[ลำดับของการดำเนินการ|ลำดับของการคำนวณ]]จะทำจากตัวบนสุดมาก่อน นั่นคือ
:: <math>a^{b^c} = a^{ (b^c)} \ne (a^b) ^c</math>

=== กำลังของ 10 ===
{{ดูเพิ่มที่|สัญกรณ์วิทยาศาสตร์}}
ในระบบ[[เลขฐานสิบ]] กำลังจำนวนเต็มของ 10 สามารถเขียนแทนได้ด้วยเลข 1 ตามด้วยหรือนำโดยเลข 0 จำนวนหนึ่ง ซึ่งพิจารณาจากเครื่องหมายและขนาดของเลขชี้กำลัง ตัวอย่างเช่น 10<sup>3</sup> = 1,000 และ 10<sup>−4</sup> = 0.0001 เป็นต้น

การยกกำลังด้วยฐาน 10 ถูกใช้ใน[[สัญกรณ์วิทยาศาสตร์]] เพื่อใช้อธิบายจำนวนขนาดใหญ่หรือเล็กมาก ตัวอย่างเช่น จำนวน 299,792,458 เมตรต่อวินาที ([[ความเร็วแสง]]ใน[[สุญญากาศ]]) สามารถเขียนได้เป็น 2.99792458{{e|8}} m/s หรือเท่ากับประมาณ 2.998{{e|8}} m/s

คำอุปสรรคใน[[หน่วยเอสไอ]]ที่มีพื้นฐานบนกำลังของ 10 ก็ถูกใช้อธิบายปริมาณที่ใหญ่หรือเล็กมากได้เช่นกันเช่น คำอุปสรรค ''กิโล'' หมายถึง 10<sup>3</sup> = 1,000 ดังนั้น 1 [[กิโลเมตร]]จึงเท่ากับ 1,000 [[เมตร]]

=== กำลังของ 2 ===
กำลังจำนวนเต็มบวกของ 2 เป็นสิ่งที่สำคัญใน[[วิทยาการคอมพิวเตอร์]] และ [[คณิตศาสตร์ประยุกต์]] เพราะว่า[[ตัวแปร]][[เลขฐานสอง|ฐานสอง]]ขนาด ''n'' [[บิต]] จะมีค่าที่เป็นไปได้ทั้งหมด 2<sup>''n''</sup> ค่า (1 บิต จะเป็นไปได้ 2 สถานะ คือ 1. ปิด หรือ 2. เปิด)

กำลังของ 2 ก็เป็นสิ่งสำคัญใน[[ทฤษฎีเซต]] เนื่องจาก[[เซต (คณิตศาสตร์)|เซต]]เซตหนึ่งที่มีสมาชิก ''n'' ตัว จะมี[[เซตกำลัง]]ที่มีสมาชิก 2<sup>''n''</sup> ตัว (เซตกำลังคือเซตของ[[เซตย่อย]]ทั้งหมดจากเซตต้นแบบ)

กำลังจำนวนเต็มลบของ 2 ก็ใช้กันทั่วไป เช่น 2<sup>−1</sup> = {{เศษ|1|2}} หมายถึงครึ่ง (half), 2<sup>−2</sup> = {{เศษ|1|4}} คือหนึ่งในสี่ (quarter) เป็นต้น

ในระบบเลขฐานสอง กำลังจำนวนเต็มของ 2 ก็สามารถเขียนแทนได้ด้วยเลข 1 แล้วตามด้วยหรือนำโดยเลข 0 ซึ่งพิจารณาจากเครื่องหมายและขนาดของเลขชี้กำลัง ตัวอย่าง 2<sup>3</sup> เขียนในเลขฐานสองว่า 1000<sub>2</sub> เป็นต้น

=== กำลังของ 1 ===
กำลังจำนวนเต็มของ 1 ทุกจำนวนมีค่าเท่ากับ 1 นั่นคือ 1<sup>''n''</sup> = 1

=== กำลังของ 0 ===
ถ้าเลขชี้กำลังเป็นจำนวนบวก เลขยกกำลังของ 0 จะได้ 0 นั่นคือ 0<sup>''n''</sup> = 0; ''n'' > 0

ถ้าเลขชี้กำลังเป็นจำนวนลบ เลขยกกำลังของ 0 จะไม่นิยาม เนื่องจากทำให้เกิดการหารด้วยศูนย์

ถ้าเลขชี้กำลังเป็นศูนย์ ผู้แต่งตำราบางท่านได้นิยามว่า 0<sup><small><small>0</small></small></sup> = 1 ในขณะที่บางท่านก็คงไว้ว่าไม่นิยาม ดูที่หัวข้อ [[#0 ยกกำลัง 0|0 ยกกำลัง 0]]

=== กำลังของ −1 ===
ถ้า ''n'' เป็นจำนวนคู่ จะได้ (−1) <sup>''n''</sup> = 1

ถ้า ''n'' เป็นจำนวนคี่ จะได้ (−1) <sup>''n''</sup> = −1

จากสมบัติดังกล่าว กำลังของ −1 จึงมีประโยชน์ในการแสดง[[ลำดับ]]ที่มีการสลับเครื่องหมาย ส่วนกรณีที่คล้ายกันสำหรับจำนวนเชิงซ้อน ''i'' ดูที่หัวข้อ[[#กำลังของจำนวนเชิงซ้อน|กำลังของจำนวนเชิงซ้อน]]

=== เลขชี้กำลังขนาดใหญ่ ===
[[ลิมิตของลำดับ]]ของกำลังของจำนวนที่มากกว่า 1 จะลู่ออก หมายความว่าจะมีค่าเพิ่มขึ้นเรื่อย ๆ โดยไม่จำกัด
:: ''a''<sup>''n''</sup> → ∞ เมื่อ ''n'' → ∞ ถ้า ''a'' > 1
อาจเรียกได้ว่า ''a'' ยกกำลัง ''n'' จะมีค่าเข้าใกล้[[อนันต์]]ถ้า ''n'' มีค่าเข้าใกล้อนันต์ เมื่อ ''a'' มีค่ามากกว่า 1

สำหรับกำลังของจำนวนที่มี[[ค่าสัมบูรณ์]]น้อยกว่า 1 ลิมิตของลำดับจะลู่เข้าค่า 0
:: ''a''<sup>''n''</sup> → 0 เมื่อ ''n'' → ∞ ถ้า |''a''| < 1

และกำลังของ 1 จะได้ค่า 1 เสมอ
:: ''a''<sup>''n''</sup> = 1 สำหรับทุกค่าของ ''n'' ถ้า ''a'' = 1

แต่หากฐาน ''a'' มีค่าเข้าใกล้ 1 พร้อมกับเลขชี้กำลังมีค่าเข้าใกล้อนันต์ ลิมิตของมันไม่สำคัญว่าจะต้องเท่ากับ 1 ตัวอย่างกรณีหนึ่งที่สำคัญคือ
:: (1 + ''n''<sup>−1</sup>) <sup>''n''</sup> → ''e'' เมื่อ ''n'' → ∞
ดูเพิ่มใน[[#กำลังของ e|กำลังของ ''e'']]

== กำลังจำนวนจริงของจำนวนจริงบวก ==
การยกกำลังจำนวนจริงบวก ด้วยเลขชี้กำลังที่ไม่เป็นจำนวนเต็ม สามารถคำนวณได้สองวิธีนั่นคือ
* เลขชี้กำลังเป็น[[จำนวนตรรกยะ]] สามารถนิยามให้เป็น[[รากที่ n|รากที่ ''n'']] และเลขชี้กำลังที่ไม่เป็นศูนย์สามารถนิยามได้จาก[[ความต่อเนื่อง]]
* เลขชี้กำลังเป็นจำนวนจริง สามารถนิยามให้เป็น[[ลอการิทึมธรรมชาติ]]โดยใช้ฟังก์ชันเลขชี้กำลัง

[[#เอกลักษณ์และสมบัติ|เอกลักษณ์และสมบัติ]]ที่แสดงไว้ด้านบนซึ่งนิยามไว้สำหรับเลขชี้กำลังจำนวนเต็ม ก็ยังคงเป็นจริงอยู่สำหรับเลขชี้กำลังจำนวนจริงบวกที่ไม่ใช่จำนวนเต็ม อย่างไรก็ตามเอกลักษณ์นี้
:: <math> (a^r) ^s = a^{r\cdot s}</math>
ไม่สามารถขยายแนวคิดได้อย่างคงเส้นคงวาถ้า ''a'' เป็นจำนวนจริงลบ ดูเพิ่มที่หัวข้อ[[#รากที่ n ที่เป็นลบ|รากที่ ''n'' ที่เป็นลบ]] ความผิดพลาดของเอกลักษณ์นี้เป็นมูลฐานของปัญหาที่เกี่ยวกับกำลังของจำนวนเชิงซ้อน ซึ่งได้อธิบายไว้แล้วที่หัวข้อ[[#ความผิดพลาดของเอกลักษณ์กำลังและลอการิทึม|ความผิดพลาดของเอกลักษณ์กำลังและลอการิทึม]]

=== รากที่ n มุขสำคัญ ===
[[ไฟล์:Root graphs.svg|right|thumb|300px|จากบนลงล่าง: ''x''<sup>1/8</sup>, ''x''<sup>1/4</sup>, ''x''<sup>1/2</sup>, ''x''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>4</sup>, ''x''<sup>8</sup>]]
{{บทความหลัก|รากที่ n}}
รากที่ ''n'' ของจำนวน ''a'' คือจำนวน ''x'' ที่ซึ่ง ''x''<sup>''n''</sup> = ''a''

ถ้า ''a'' เป็นจำนวนจริงบวกและ ''n'' เป็นจำนวนเต็มบวก จะมีคำตอบสำหรับ ''x''<sup>''n''</sup> = ''a'' ที่เป็นจำนวนจริงบวกหนึ่งจำนวนอย่างแน่นอน คำตอบดังกล่าวเรียกว่า รากที่ ''n'' มุขสำคัญของ ''a'' (principal ''n''-th root) เขียนแทนได้ด้วยสัญลักษณ์ <math>\sqrt[n]{x}</math> เมื่อ <math>\sqrt{\, \, }</math> คือกรณฑ์ หรือเขียนอีกรูปแบบหนึ่งเป็น ''a''<sup>1/''n''</sup> เช่น 4<sup>1/2</sup> = 2, 8<sup>1/3</sup> = 2

เมื่อพูดถึงรากที่ ''n'' ของจำนวนจริงบวก ''a'' มักจะหมายถึงรากที่ ''n'' มุขสำคัญของ ''a'' ดังที่ได้กล่าวแล้ว

=== เลขชี้กำลังเป็นจำนวนตรรกยะ ===
กำลังของจำนวนจริงบวก ''a'' ซึ่งมีเลขชี้กำลังเป็น[[จำนวนตรรกยะ]] ''m''/''n'' ในพจน์น้อยที่สุด สอดคล้องกับ
:: <math>a^{m/n} = \left (a^m\right) ^{1/n} = \sqrt[n]{a^m}</math>
เมื่อ ''m'' เป็นจำนวนเต็มและ ''n'' เป็นจำนวนเต็มบวก

=== กำลังของ e ===
{{บทความหลัก|ฟังก์ชันเลขชี้กำลัง}}
[[e (ค่าคงตัว)|e]] หรือค่าคงตัวของออยเลอร์ เป็นค่าคงตัวทางคณิตศาสตร์ที่สำคัญค่าหนึ่ง มีค่าประมาณ 2.718 และเป็นฐานของ[[ลอการิทึมธรรมชาติ]] ใช้เป็นแนวทางนำไปสู่การนิยามการยกกำลังที่มีเลขชี้กำลังไม่เป็นจำนวนเต็ม ค่าคงตัวนี้นิยามโดย[[ลิมิต]]ต่อไปนี้ ซึ่งเลขชี้กำลังมีค่าเข้าใกล้อนันต์ในขณะที่ฐานมีค่าเข้าใกล้ 1
:: <math>e =\lim_{n \rightarrow \infty} \left (1+\frac 1 n \right) ^n</math>

ฟังก์ชันเลขชี้กำลังซึ่งนิยามโดยลิมิตต่อไปนี้
:: <math>e^x =\lim_{n \rightarrow \infty} \left (1+\frac x n \right) ^n</math>
มี ''x'' เป็นเลขชี้กำลังเพิ่มเข้ามา และสอดคล้องกับเอกลักษณ์การยกกำลัง
:: <math>e^{x+y} = e^{x} \cdot e^{y}</math>

ฟังก์ชันเลขชี้กำลังนิยามขึ้นสำหรับ ''x'' ที่เป็นจำนวนเต็ม จำนวนตรรกยะ [[จำนวนจริง]] และจำนวนเชิงซ้อนทั้งหมด นอกจากนี้ก็สามารถขยายการยกกำลังไปบนสิ่งอื่นที่ไม่ใช่จำนวนได้เช่น[[เมทริกซ์จัตุรัส]] อย่างไรก็ตามเอกลักษณ์การยกกำลังที่ยกมาจะเป็นจริงก็ต่อเมื่อ ''x'' และ ''y'' สามารถสลับที่กันได้เท่านั้น

การพิสูจน์อย่างสั้นว่า ''e'' ยกกำลังจำนวนเต็มบวก ''k'' เหมือนกับฟังก์ชันเลขชี้กำลัง ''e''<sup>''k''</sup> แสดงได้ดังนี้
:: <math>\begin{align}
(e) ^k &= \left[\lim_{n \rightarrow \infty} \left (1+\frac{1}{n} \right) ^n\right]^k = \lim_{n \rightarrow \infty} \left[\left (1+\frac{1}{n} \right) ^n\right]^k \\
&= \lim_{n \rightarrow \infty} \left (1+\frac k {n\cdot k} \right) ^{n \cdot k} = \lim_{n \cdot k \rightarrow \infty} \left (1+\frac k {n\cdot k} \right) ^{n \cdot k} \\
&= \lim_{m \rightarrow \infty} \left (1+\frac k m \right) ^m = e^k
\end{align}</math>
แสดงให้เห็นว่า ''e''<sup>''x''+''y''</sup> สอดคล้องกับเอกลักษณ์การยกกำลังเมื่อ ''x'' และ ''y'' เป็นจำนวนเต็มบวก ผลจากการพิสูจน์ยังคงสอดคล้องสำหรับจำนวนทุกจำนวนด้วย ไม่เพียงแค่จำนวนเต็มบวก

=== เลขชี้กำลังเป็นจำนวนจริง ===
เนื่องจากจำนวนจริงสามารถประมาณค่าได้ด้วยจำนวนตรรกยะ การยกกำลังด้วยจำนวนจริง ''x'' ทุกจำนวนจึงสามารถนิยามได้ด้วย[[ความต่อเนื่อง]]ด้วยกฎดังนี้
:: <math> b^x = \lim_{r \to x} b^r\quad (r\in\mathbb Q, \, x\in\mathbb R) </math>
ลิมิตดังกล่าวซึ่ง ''r'' ที่มีค่าเข้าใกล้ ''x'' ถูกนำมาแทนที่เฉพาะจำนวนตรรกยะ ''r''

ยกตัวอย่าง ถ้า
:: <math>x \approx 1.732</math>
ดังนั้น
:: <math>5^x \approx 5^{1.732} = 5^{433/250} = \sqrt[250]{5^{433}} \approx 16.241</math>

การยกกำลังด้วยจำนวนจริงโดยปกติก็สามารถทำให้สำเร็จได้ด้วยลอการิทึม แทนที่จะใช้ลิมิตของจำนวนตรรกยะ

[[ลอการิทึมธรรมชาติ]] ln (''x'') เป็น[[ฟังก์ชันผกผัน]]ของฟังก์ชันเลขชี้กำลัง ''e''<sup>''x''</sup> ซึ่งนิยามไว้สำหรับ ''b'' > 0 และสอดคล้องกับเงื่อนไข
:: <math>b = e^{\ln b}\, </math>
ถ้า ''b''<sup>''x''</sup> ถูกนิยามขึ้นโดยยังคงรักษากฎต่าง ๆ ของลอการิทึมและการยกกำลัง จะได้ว่า
:: <math>b^x = (e^{\ln b}) ^x = e^{x \cdot\ln b}</math>
สำหรับจำนวนจริง ''x'' แต่ละจำนวน

สิ่งนี้สามารถใช้เป็นนิยามทางเลือกของการยกกำลังด้วยจำนวนจริง ''b''<sup>''x''</sup> และสอดคล้องกับวิธีการใช้เลขชี้กำลังเป็นจำนวนตรรกยะกับความต่อเนื่อง นิยามดังกล่าวเป็นวิธีการปกติสามัญในบริบทของจำนวนเชิงซ้อนอีกด้วย

== รากที่ n ที่เป็นลบ ==
กำลังของจำนวนจริงบวกจะมีค่าเป็นจำนวนจริงบวกเสมอ อย่างไรก็ตาม คำตอบของสมการ ''x''<sup>2</sup> = 4 อาจเป็น 2 หรือ −2 ก็ได้ ค่ามุขสำคัญของ 4<sup>1/2</sup> คือ 2 แต่ −2 ก็เป็นรากที่สองที่ถูกต้องอีกค่าหนึ่งด้วย หากนิยามของการยกกำลังของจำนวนจริงขยายแนวคิดให้มีผลลัพธ์เป็นจำนวนลบได้ ผลของการยกกำลังอาจลักลั่น

ถ้า ''n'' เป็นจำนวนคู่ จากสมการ ''x''<sup>''n''</sup> = ''a'' ถ้า ''a'' เป็นบวกจะมีสองคำตอบ ได้แก่รากที่ ''n'' ที่เป็นบวกและลบ แต่ถ้า ''a'' เป็นลบจะไม่มีคำตอบเป็นจำนวนจริง

ถ้า ''n'' เป็นจำนวนคี่ จากสมการ ''x''<sup>''n''</sup> = ''a'' จะมีคำตอบที่เป็นจำนวนจริงหนึ่งจำนวน ถ้า ''a'' เป็นบวกก็จะได้คำตอบนั้นเป็นบวก และถ้า ''a'' เป็นลบก็จะได้คำตอบนั้นเป็นลบ

สำหรับเลขชี้กำลังที่เป็นจำนวนตรรกยะ ''m''/''n'' ในพจน์น้อยที่สุด ถ้า ''m'' เป็นจำนวนคู่ ผลลัพธ์จะเป็นบวก; ในกรณีที่ ''a'' เป็นลบ ถ้า ''m'' กับ ''n'' เป็นจำนวนคี่ ผลลัพธ์จะเป็นลบ; ในกรณีที่ ''a'' เป็นบวกและ ''n'' เป็นจำนวนคู่ ผลลัพธ์อาจเป็นบวกหรือลบอย่างใดอย่างหนึ่ง ตัวอย่างเช่น (−27) <sup>1/3</sup>&nbsp;=&nbsp;−3, (−27) <sup>2/3</sup>&nbsp;=&nbsp;9, 4<sup>3/2</sup> มีสองคำตอบคือ 8 กับ −8 และเนื่องจากไม่มีจำนวนจริง ''x'' ที่ทำให้ ''x''<sup>2</sup>&nbsp;=&nbsp;−1 ดังนั้นนิยามของ ''a''<sup>''m''/''n''</sup> ในกรณีที่ ''a'' เป็นลบและ ''n'' เป็นจำนวนคู่ จึงจำเป็นต้องใช้[[หน่วยจินตภาพ]] ''i'' เข้ามาเกี่ยวข้อง

ไม่ว่าวิธีการใช้ลอการิทึมหรือเลขชี้กำลังเป็นจำนวนตรรกยะ ก็ไม่สามารถนิยาม ''a''<sup>''r''</sup> ให้เป็นจำนวนจริงได้ สำหรับ ''a'' ที่เป็นจำนวนจริงลบและทุกช่วงค่าของจำนวนจริง ''r'' และทำนองเดียวกัน ''e''<sup>''r''</sup> ให้ผลลัพธ์เป็นบวกสำหรับทุกช่วงค่าของจำนวนจริง ''r'' ดังนั้น ln (''a'') ซึ่งเป็นฟังก์ชันผกผันจึงไม่อาจนิยามให้เป็นจำนวนจริงได้สำหรับ ''a'' ≤ 0 (ในทางตรงข้าม กำลังเชิงซ้อนของจำนวนลบ ''a'' สามารถนิยามได้ด้วย[[ลอการิทึมเชิงซ้อน]]ของ ''a'')

วิธีการใช้เลขชี้กำลังเป็นจำนวนตรรกยะไม่สามารถใช้ได้กับค่า ''a'' ที่เป็นลบ เพราะวิธีการนี้ขึ้นอยู่กับความต่อเนื่อง หมายความว่า ฟังก์ชัน ''f'' (''r'') = ''a''<sup>''r''</sup> เป็นการขยายจำนวนตรรกยะไปเป็นจำนวนจริงอย่างต่อเนื่องเพียงหนึ่งเดียวเมื่อ ''a'' > 0 แต่ในกรณี ''a'' < 0 ฟังก์ชัน ''f'' ไม่ต่อเนื่องบนเซตของจำนวนจริง ''r'' ที่กำหนดไว้แต่ละค่า

ตัวอย่าง สมมติให้ ''a'' = −1 รากที่ ''n'' ของ −1 เท่ากับ −1 สำหรับจำนวนคี่บวก ''n'' ทุกจำนวน; แต่ถ้า ''n'' เป็นจำนวนคู่บวก (−1) <sup> (''m''/''n'') </sup> = −1 เมื่อ ''m'' เป็นจำนวนคี่, (−1) <sup> (''m''/''n'') </sup> = 1 เมื่อ ''m'' เป็นจำนวนคู่ ดังนั้นเซตของจำนวนตรรกยะ ''q'' ที่ทำให้ (−1) <sup>''q''</sup> = 1 เป็น[[เซตหนาแน่น]] (dense set) ในจำนวนตรรกยะ เช่นเดียวกับเซตของ ''q'' ที่ทำให้ (−1) <sup>''q''</sup> = −1 สิ่งนี้หมายความว่าฟังก์ชัน (−1) <sup>''q''</sup> ไม่ต่อเนื่องที่จำนวนตรรกยะ ''q'' ใด ๆ ที่กำหนดไว้แต่ละค่า

เมื่อใช้เอกลักษณ์การยกกำลังกับรากที่ ''n'' ที่เป็นลบ จำเป็นต้องระมัดระวังเป็นพิเศษ ตัวอย่างเช่น −27&nbsp;=&nbsp; (−27) <sup> ( (2/3) × (3/2) ) </sup>&nbsp;=&nbsp; ( (−27) <sup>2/3</sup>) <sup>3/2</sup>&nbsp;=&nbsp;9<sup>3/2</sup>&nbsp;=&nbsp;27 ซึ่งผิดอย่างชัดเจน ปัญหาอยู่ที่การใช้รากที่สองที่เป็นบวก แทนที่จะใช้รากที่สองที่เป็นลบในขั้นตอนสุดท้าย แต่โดยทั่วไปปัญหาที่คล้ายกันนี้มักเกิดขึ้นกับจำนวนเชิงซ้อน ดังที่ได้อธิบายไว้ในหัวข้อ[[#ความผิดพลาดของเอกลักษณ์กำลังและลอการิทึม|ความผิดพลาดของเอกลักษณ์กำลังและลอการิทึม]]

== กำลังจำนวนเชิงซ้อนของจำนวนจริงบวก ==
=== กำลังจำนวนจินตภาพของ e ===
[[ไฟล์:ExpIPi.gif|300px|thumb|right|ฟังก์ชันเลขชี้กำลัง ''e''<sup>''z''</sup> สามารถนิยามโดย[[ลิมิต]]ของ {{nowrap| (1 + ''z''/''N'') <sup>''N''</sup>}} เมื่อ ''N'' มีค่าเข้าใกล้อนันต์ และเมื่อเป็นเช่นนั้น ''e''<sup>''iπ''</sup> ก็จะเป็นลิมิตของ {{nowrap| (1 + ''iπ''/''N'') <sup>''N''</sup>}} ในภาพเคลื่อนไหวนี้ ''N'' มีค่าเพิ่มขึ้นจาก 1 ถึง 100 การคำนวณ {{nowrap| (1 + ''iπ''/''N'') <sup>''N''</sup>}} แสดงเป็นผลร่วมที่เกิดจากการคูณซ้ำ ๆ ''N'' ตัวใน[[ระนาบเชิงซ้อน]] ซึ่งจุดสุดท้ายเป็นค่าที่แท้จริงของ {{nowrap| (1 + ''iπ''/''N'') <sup>''N''</sup>}} แสดงให้เห็นว่าเมื่อ ''N'' มากขึ้น {{nowrap| (1 + ''iπ''/''N'') <sup>''N''</sup>}} จะมีค่าเข้าใกล้ −1 ดังนั้น {{nowrap|1=''e''<sup>''iπ''</sup> = −1}} ซึ่งเป็นที่รู้จักในชื่อ[[เอกลักษณ์ของออยเลอร์]]]]

{{บทความหลัก|ฟังก์ชันเลขชี้กำลัง}}
การทำความเข้าใจ ''e''<sup>''ix''</sup> สำหรับจำนวนจริง ''x'' ต้องทราบถึงการแปลความหมายเชิงเรขาคณิตของการดำเนินการบน[[จำนวนเชิงซ้อน]] และนิยาม[[#กำลังของ e|กำลังของ ''e'']] ดังที่กล่าวไว้แล้วข้างต้น พิจารณา[[รูปสามเหลี่ยมมุมฉาก]] {{nowrap| (0, 1, 1 + ''ix''/''n'')}} สำหรับจำนวน ''n'' ที่มีขนาดใหญ่มาก ๆ รูปสามเหลี่ยมนั้นจะมีลักษณะเข้าใกล้[[เซกเตอร์]]ของรูปวงกลมมากยิ่งขึ้น โดยมีมุมที่จุดศูนย์กลางเท่ากับ ''x''/''n'' [[เรเดียน]] และรูปสามเหลี่ยมอื่น ๆ {{nowrap| (0, (1 + ''ix''/''n'') <sup>''k''</sup>, (1 + ''ix''/''n'') <sup>''k''+1</sup>)}} ก็เป็นรูปสามเหลี่ยมคล้ายร่วมกันสำหรับ ''k'' ทุกค่า เพราะฉะนั้น สำหรับจำนวน ''n'' ขนาดใหญ่ จุดที่เป็นขอบเขตของ {{nowrap| (1 + ''ix''/''n'') <sup>''n''</sup>}} ก็คือจุดที่อยู่บน[[รูปวงกลมหนึ่งหน่วย]] ซึ่งมุมที่วัดจากแกนจำนวนจริงบวกเท่ากับ ''x'' เรเดียน [[พิกัดเชิงขั้ว]]ของจุดนี้คือ {{nowrap|1= (''r'', ''θ'') = (1, ''x'')}} และ[[พิกัดคาร์ทีเซียน]]คือ {{nowrap| (cos ''x'', sin ''x'')}} ดังนั้นในท้ายที่สุด {{nowrap|1=''e''<sup>''ix''</sup> = cos ''x'' + ''i'' sin ''x''}} เรียกว่า[[สูตรของออยเลอร์]] ซึ่งเชื่อมโยง[[พีชคณิต]]กับ[[ตรีโกณมิติ]]ด้วยความหมายของจำนวนเชิงซ้อน

คำตอบของสมการ ''e''<sup>''z''</sup> = 1 คือ[[พหุคูณ]]จำนวนเต็มของ 2π''i''
:: <math>\{ z : e^z = 1 \} = \{ 2k\pi i : k \in \mathbb{Z} \}</math>
ในกรณีทั่วไป ถ้ากำหนดให้ e<sup>''b''</sup> = ''a'' ดังนั้นคำตอบของสมการ ''e''<sup>''z''</sup> = ''a'' หาได้โดยการบวก ''b'' เข้ากับพหุคูณจำนวนเต็มของ 2π''i''
:: <math>\{ z : e^z = a \} = \{ b + 2k\pi i : k \in \mathbb{Z} \}</math>
ดังนั้นฟังก์ชันเลขชี้กำลังเชิงซ้อนเป็น[[ฟังก์ชันเป็นคาบ]] (periodic function) ซึ่งมีคาบเท่ากับ 2π''i''

นอกจากนี้ก็ยังมีสูตรอื่น ๆ อีกเช่น ''e''<sup>''iπ''</sup> = −1; ''e''<sup>''x'' + ''iy''</sup> = ''e''<sup>''x''</sup> (cos ''y'' + ''i'' sin ''y'')

=== ฟังก์ชันตรีโกณมิติ ===
{{บทความหลัก|สูตรของออยเลอร์}}
จากการแปลงสูตรของออยเลอร์ ฟังก์ชันตรีโกณมิติ โคไซน์และไซน์ถูกแปลงเป็น
:: <math>\cos (z) = \frac{e^{i\cdot z} + e^{-i\cdot z}}{2}; \qquad \sin (z) = \frac{e^{i\cdot z} - e^{-i\cdot z}}{2\cdot i}</math>

โคไซน์และไซน์ถูกนิยามขึ้นโดยทางเรขาคณิตก่อนมีการประดิษฐ์จำนวนเชิงซ้อนในประวัติศาสตร์ สูตรทั้งสองด้านบนเป็นการลดรูปสูตรที่ซับซ้อนของฟังก์ชันตรีโกณมิติของผลบวกเป็นสูตรการยกกำลังอย่างง่ายว่า
:: <math>e^{i\cdot (x+y)}=e^{i\cdot x}\cdot e^{i\cdot y}</math>
การใช้การยกกำลังที่มีเลขชี้กำลังเป็นจำนวนเชิงซ้อน อาจช่วยลดรูปปัญหาในตรีโกณมิติไปเป็นพีชคณิตได้

=== กำลังจำนวนเชิงซ้อนของ e ===
การยกกำลัง ''z'' = ''e''<sup>''x''+''i''·''y''</sup> สามารถคำนวณได้จาก ''e''<sup>''x''</sup> · ''e''<sup>''i''·''y''</sup>; ตัวประกอบส่วนจริง ''e''<ref><ref>{{<!--<!--{{{{<sup><sup>''x''</sup> คือ[[ค่าสัมบูรณ์]]ของ ''z'' และตัวประกอบส่วนจินตภาพ ''e''<sup>''i''·''y''</sup> ระบุ[[ทิศทาง]]ของ ''z''
</sup>}}}}-->-->}}</ref></ref>
=== กำลังจำนวนเชิงซ้อนของจำนวนจริงบวก ===
กำหนดให้ ''a'' เป็นจำนวนจริงบวก และ ''z'' เป็นจำนวนเชิงซ้อนใด ๆ การยกกำลัง ''a''<sup>''z''</sup> นิยามโดย ''e''<sup>''z''·ln (''a'') </sup> เมื่อ ''x'' = ln (''a'') เป็นคำตอบจำนวนจริงเพียงหนึ่งเดียวของสมการ ''e''<sup>''x''</sup> = ''a'' ดังนั้นวิธีการเดียวกันที่ใช้กับเลขชี้กำลังจำนวนจริงก็ยังคงใช้ได้กับเลขชี้กำลังจำนวนเชิงซ้อน ตัวอย่างเช่น
:: 2<sup>''i''</sup> = ''e''<sup> ''i''·ln (2) </sup> = cos (ln (2) ) + ''i''·sin (ln (2) ) ≈ 0.76924 + 0.63896''i''
:: ''e''<sup>''i''</sup> ≈ 0.54030 + 0.84147''i''
:: 10<sup>''i''</sup> ≈ −0.66820 + 0.74398''i''
:: (''e''<sup>2&pi;</sup>) <sup>''i''</sup> ≈ 535.49<sup>''i''</sup> ≈ 1

== กำลังของจำนวนเชิงซ้อน ==
กำลังจำนวนเต็มของจำนวนเชิงซ้อนที่ไม่เป็นศูนย์นิยามโดยการคูณหรือการหารซ้ำ ๆ เช่นเดียวกับที่ได้กล่าวแล้ว ถ้า ''i'' คือ[[หน่วยจินตภาพ]]และ ''n'' คือจำนวนเต็มแล้ว ''i''<sup>''n''</sup> จะมีค่าเท่ากับ 1, ''i'', −1 หรือ −''i'' ขึ้นอยู่กับค่า ''n'' ว่าสมภาคกับ 0, 1, 2 หรือ 3 มอดุโล 4 ตามลำดับ (หรืออีกนัยหนึ่งคือ ''n'' หารด้วย 4 แล้วเหลือเศษเท่าใด) ด้วยสาเหตุนี้ กำลังของ ''i'' จึงมีประโยชน์ในการเขียนแทน[[ลำดับ]]ที่มีคาบแบ่งเป็น 4 ช่วง

กำลังจำนวนเชิงซ้อนของจำนวนจริงบวกได้นิยามผ่านทาง ''e''<sup>''x''</sup> ตามที่อธิบายไว้ในหัวข้อ[[#กำลังจำนวนเชิงซ้อนของจำนวนจริงบวก|กำลังจำนวนเชิงซ้อนของจำนวนจริงบวก]] ซึ่งเป็นฟังก์ชันต่อเนื่อง

การขยายแนวคิดของฟังก์ชันเหล่านี้ไปเป็นกรณีทั่วไปคือ กำลังที่ไม่เป็นจำนวนเต็มของจำนวนเชิงซ้อนที่ไม่ใช่จำนวนเต็มบวก ทำให้เกิดความยุ่งยาก นั่นคือต้องนิยามฟังก์ชันไม่ต่อเนื่องหรือ[[ฟังก์ชันหลายค่า]]อย่างใดอย่างหนึ่ง แต่ไม่ว่าทางเลือกใดก็ไม่สามารถนิยามให้สอดคล้องเพียงพอทั้งหมดได้

กำลังจำนวนตรรกยะของจำนวนเชิงซ้อนต้องเป็นคำตอบของสมการเชิงพีชคณิตสมการหนึ่ง ดังนั้นมันจึงมีคำตอบที่เป็นไปได้จำนวนจำกัดหนึ่งเสมอ ตัวอย่างเช่น ''w'' = ''z''<sup>1/2</sup> ต้องเป็นคำตอบของสมการ ''w''<sup>2</sup> = ''z'' แต่เมื่อ ''w'' เป็นคำตอบแล้ว −''w'' ก็เป็นคำตอบด้วยเช่นกันเพราะว่า (−1) <sup>2</sup> = 1 คำตอบเพียงหนึ่งเดียวที่ถูกเลือกโดยค่อนข้างปราศจากเหตุผลเรียกว่า[[ค่ามุขสำคัญ]] (principal value) สามารถเลือกโดยใช้กฎทั่วไปซึ่งใช้กับกำลังที่ไม่ใช่จำนวนตรรกยะด้วย

กำลังและลอการิทึมเชิงซ้อนโดยธรรมชาติถือว่าเป็นฟังก์ชันค่าเดียวบน[[ผิวรีมันน์]] (Riemann surface) รูปแบบค่าเดียวถูกนิยามขึ้นโดยการเลือกผิวขึ้นมาอันหนึ่ง ค่าของมันไม่มีความต่อเนื่องตามแนว[[ส่วนตัดกิ่ง]] (branch cut) การเลือกหนึ่งคำตอบจากหลายคำตอบเป็นค่ามุขสำคัญก็ยังคงได้ฟังก์ชันที่ไม่มีความต่อเนื่อง และกฎต่าง ๆ ที่ใช้จัดการกับการยกกำลังตามปกติอาจนำไปสู่ความผิดพลาดได้

กำลังจำนวนอตรรกยะของจำนวนเชิงซ้อนมีคำตอบที่เป็นไปได้ไม่จำกัด เพราะธรรมชาติของ[[ลอการิทึมเชิงซ้อน]]สามารถมีคำตอบได้หลายค่า ค่ามุขสำคัญคือค่าค่าหนึ่งที่ถูกเลือกด้วยกฎอย่างหนึ่งท่ามกลางคุณสมบัติอื่น ๆ ที่ทำให้แน่ใจว่า กำลังของจำนวนเชิงซ้อนที่มีส่วนจริงเป็นบวกและส่วนจินตภาพเป็นศูนย์ จะมีค่าเหมือนกับกำลังของจำนวนจริงที่เกี่ยวข้อง

การยกกำลังจำนวนจริงด้วยจำนวนเชิงซ้อนเป็นการดำเนินการที่แตกต่างจากการยกกำลังจำนวนเชิงซ้อนที่เกี่ยวข้อง อย่างไรก็ตามในกรณีของจำนวนจริงบวก ค่ามุขสำคัญนั้นเหมือนกัน

กำลังของจำนวนจริงลบนั้นไม่ได้ถูกนิยามเสมอไป และไม่ต่อเนื่องแม้ว่าจะได้นิยามแล้ว ดังนั้นเมื่อพบกับจำนวนเชิงซ้อน ควรใช้การดำเนินการสำหรับจำนวนเชิงซ้อนแทน

=== กำลังจำนวนเชิงซ้อนของจำนวนเชิงซ้อน ===
สำหรับจำนวนเชิงซ้อน ''a'' และ ''b'' ซึ่ง ''a'' ≠ 0 สัญกรณ์ ''a''<sup>''b''</sup> เกิดความกำกวมในคำตอบเหมือนกับ log ''a''

เพื่อหาค่าของ ''a''<sup>''b''</sup> ขั้นตอนแรกจะต้องเลือกลอการิทึมของ ''a'' ขึ้นมาค่าหนึ่ง ทางเลือกนั้นอาจเป็น Log ''a'' <!--L ตัวใหญ่--> (คือค่ามุขสำคัญของ log ''a'' โดยปริยายหากมิได้กำหนดเงื่อนไขอื่นเพิ่ม) หรืออาจเป็นค่าหนึ่งจากกิ่งอื่นของ log ''z'' ที่กำหนดตายตัว ดังนั้นจึงสามารถนิยามโดยใช้[[ฟังก์ชันลอการิทึมเชิงซ้อน]]ดังนี้
:: <math>a^b = e^{b \log a}\!</math>
เพราะนิยามนี้สอดคล้องกับ[[#เลขชี้กำลังเป็นจำนวนจริง|นิยามที่ให้ไว้ก่อนหน้านี้]] ในกรณีที่ ''a'' เป็นจำนวนจริงบวกและค่ามุขสำคัญของ log ''a'' (ซึ่งเป็นจำนวนจริง) ได้ถูกเลือก

ถ้า ''b'' เป็นจำนวนเต็ม ดังนั้นค่าของ ''a''<sup>''b''</sup> จะไม่ขึ้นอยู่กับตัวเลือกของ log ''a'' เพราะสอดคล้องกับ[[#เลขชี้กำลังเป็นจำนวนเต็มบวก|นิยามการยกกำลังที่มีเลขชี้กำลังเป็นจำนวนเต็ม]]

ถ้า ''b'' เป็นจำนวนตรรกยะ ''m''/''n'' ในพจน์น้อยที่สุดโดยที่ ''n'' > 0 ดังนั้นจะมีตัวเลือกของ log ''a'' เป็นจำนวนไม่จำกัดให้ค่าที่แตกต่างกัน ''n'' จำนวนสำหรับ ''a''<sup>''b''</sup> ซึ่งค่าเหล่านี้คือจำนวนเชิงซ้อน ''z'' ที่เป็นคำตอบของสมการ ''z''<sup>''n''</sup> = ''a''<sup>''m''</sup>

ถ้า ''b'' เป็นจำนวนอตรรกยะ ดังนั้นจะมีตัวเลือกของ log ''a'' เป็นจำนวนไม่จำกัด นำไปสู่ค่าของ ''a''<sup>''b''</sup> ที่แตกต่างกันเป็นจำนวนไม่จำกัดเช่นกัน

การคำนวณกำลังจำนวนเชิงซ้อนสามารถทำให้ง่ายขึ้นโดยการแปลงฐาน ''a'' เป็นรูปแบบเชิงขั้ว ดังที่อธิบายไว้[[#การคำนวณกำลังจำนวนเชิงซ้อน|ด้านล่าง]] การสร้างที่คล้ายก็สามารถใช้[[ควอเทอร์เนียน]] (quaternion) ได้ด้วย

=== รากเชิงซ้อนของ 1 (รากปฐมฐาน) ===
[[ไฟล์:One3Root.svg|thumb|right|รากที่สามของ 1 ทั้งสามราก]]
{{บทความหลัก|รากของ 1}}
จำนวนเชิงซ้อน ''a'' ที่ทำให้ ''a''<sup>''n''</sup> = 1 สำหรับจำนวนเต็มบวก ''n'' เรียกว่า ''รากที่ n ของ 1'' (''n''th root of unity) หรือเรียกสั้น ๆ ว่า ''รากของ 1'' (root of unity) รากเหล่านี้มี ''n'' คำตอบและวางตัวคล้ายจุดยอดของรูป ''n'' เหลี่ยมปรกติ บนรูปวงกลมหนึ่งหน่วยบนระนาบเชิงซ้อน ซึ่งมีจุดยอดจุดหนึ่งอยู่ที่จำนวนจริง 1

ถ้า ''z''<sup>''n''</sup> = 1 แต่ ''z''<sup>''k''</sup> ≠ 1 สำหรับจำนวนธรรมชาติ ''k'' ตามเงื่อนไข 0 < ''k'' < ''n'' แล้ว ''z'' จะเรียกว่า ''รากปฐมฐานที่ n'' (primitive ''n''th root of unity) ตัวอย่างเช่น −1 เป็นรากปฐมฐานที่สองเพียงตัวเดียว, รากปฐมฐานที่สี่มีสองตัวได้แก่ ''i'' และ −''i'' (ไม่นับรากปฐมฐานที่สอง) เป็นต้น

จำนวน ''e''<sup>2''πi'' (1/''n'') </sup> คือรากปฐมฐานที่ ''n'' ที่มี[[อาร์กิวเมนต์ (การวิเคราะห์เชิงซ้อน)|อาร์กิวเมนต์]]เป็นบวกน้อยที่สุด (บางครั้งอาจเรียกว่า รากปฐมฐานที่ ''n'' "มุขสำคัญ" ถึงแม้ว่าการใช้คำนี้จะไม่แพร่หลายและอาจทำให้สับสนกับ ค่ามุขสำคัญของรากที่ ''n'' ของ 1 ซึ่งหมายถึงค่า 1 <ref>นิยามของรากปฐมฐานมุขสำคัญ สามารถพบได้ในแหล่งข้อมูลต่อไปนี้
* {{cite book | title = Introduction to Algorithms | edition = second | author = Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein | publisher = MIT Press | year = 2001 | isbn = 0262032937}} [http://highered.mcgraw-hill.com/sites/0070131511/student_view0/chapter30/glossary.html Online resource] {{Webarchive|url=https://web.archive.org/web/20070930201902/http://highered.mcgraw-hill.com/sites/0070131511/student_view0/chapter30/glossary.html |date=2007-09-30 }}
* {{cite book | title = Difference Equations: From Rabbits to Chaos | edition = Undergraduate Texts in Mathematics | author = Paul Cull, Mary Flahive, and Robby Robson | year = 2005 | publisher = Springer | isbn = 0387232346 }} Defined on page 351, available on Google books.
* "[http://mathworld.wolfram.com/PrincipalRootofUnity.html Principal root of unity]", MathWorld.</ref>)

ส่วนรากของ 1 จำนวนอื่น ๆ คำนวณได้จาก
:: <math>\left (e^{ 2 \pi i / n } \right) ^k = e^{2 \pi i k / n}</math>
สำหรับ 2 ≤ ''k'' ≤ ''n''

=== รากของจำนวนเชิงซ้อนโดยทั่วไป ===
แม้ว่าลอการิทึมเชิงซ้อนมีค่าที่เป็นไปได้มากมายไม่จำกัด แต่ก็มีค่าเป็นจำนวนจำกัดเท่านั้นที่เป็นคำตอบของ ''a''<sup>''z''</sup> โดยเฉพาะในกรณีที่ ''z'' = 1/''n'' และ ''n'' เป็นจำนวนเต็มบวก ค่าเหล่านี้คือรากที่ ''n'' ของ ''a'' ซึ่งเป็นคำตอบของสมการ ''x''<sup>''n''</sup> = ''a''

ในทางคณิตศาสตร์ เราอาจทำให้การคำนวณสะดวกขึ้นโดยนิยาม ''a''<sup>1/''n''</sup> ให้เป็นค่ามุขสำคัญของราก ถ้า ''a'' เป็นจำนวนจริงบวก จะสามารถเลือกคำตอบเป็นจำนวนจริงบวกเป็นค่ามุขสำคัญได้อย่างง่ายดาย สำหรับจำนวนเชิงซ้อนโดยทั่วไป รากที่ ''n'' ที่มีอาร์กิวเมนต์น้อยที่สุดมักจะถูกเลือกเป็นค่ามุขสำคัญของราก เช่นเดียวกับค่ามุขสำคัญของรากของ 1

เซตของรากที่ ''n'' ของจำนวนเชิงซ้อน ''a'' หาได้จากการคูณค่ามุขสำคัญของ ''a''<sup>1/''n''</sup> ด้วยรากที่ ''n'' ของ 1 แต่ละจำนวน ตัวอย่างเช่น รากที่สี่ของ 16 ได้แก่ 2, −2, 2''i'' และ −2''i'' เพราะว่าค่ามุขสำคัญของรากที่สี่ของ 16 คือ 2 และรากที่สี่ของ 1 ได้แก่ 1, −1, ''i'' และ −''i''

=== การคำนวณกำลังจำนวนเชิงซ้อน ===
การคำนวณกำลังจำนวนเชิงซ้อนสามารถทำได้ง่ายขึ้นโดยเขียนเป็นการยกกำลังในรูปแบบเชิงขั้ว จำนวนเชิงซ้อน ''z'' ทุกจำนวนสามารถเขียนให้อยู่ในรูปแบบเชิงขั้วดังนี้
:: <math>z = re^{i\theta} = e^{\ln (r) + i\theta} \, </math>
เมื่อ ''r'' คือจำนวนจริงไม่เป็นลบและ θ คืออาร์กิวเมนต์ของ ''z'' (ซึ่งเป็นจำนวนจริง) รูปแบบเชิงขั้วมีการแปลความหมายเชิงเรขาคณิตว่า ถ้าจำนวนเชิงซ้อน ''u'' + ''iv'' แทนได้ด้วยจุด (''u'', ''v'') บน[[ระนาบเชิงซ้อน]]โดย[[ระบบพิกัดคาร์ทีเซียน]] ดังนั้น (''r'', θ) ก็คือจุดเดียวกันใน[[ระบบพิกัดเชิงขั้ว]] นั่นหมายความว่า ''r'' คือ "[[รัศมี]]" ที่มีค่าตาม ''r''<sup>2</sup> = ''u''<sup>2</sup> + ''v''<sup>2</sup> และ θ คือ "[[มุม]]" ที่มีค่าตาม θ = [[atan2]] (''v'', ''u'') (ฟังก์ชัน atan2 มาจากฟังก์ชัน [[arctan]] ที่มีเงื่อนไขเพิ่มเติม) มุมเชิงขั้ว θ มีความกำกวมเนื่องจาก θ สามารถบวกด้วยพหุคูณใด ๆ ของ 2π แล้วไม่ทำให้จุดเปลี่ยนตำแหน่งไปจากเดิม ตัวเลือกแต่ละค่าของ θ โดยทั่วไปจะให้ผลการยกกำลังที่แตกต่างกัน ส่วนตัดกิ่งส่วนหนึ่งสามารถนำมาใช้เพื่อเลือกค่าที่เจาะจง ค่ามุขสำคัญ (ส่วนตัดกิ่งที่สามัญที่สุด) สอดคล้องกับ θ ที่ถูกเลือกในช่วงค่า (−π, π] สำหรับจำนวนเชิงซ้อนที่มีส่วนจริงเป็นบวกและส่วนจินตภาพเป็นศูนย์ซึ่งใช้ค่ามุขสำคัญเช่นนั้น จะให้ผลลัพธ์เดียวกับการใช้จำนวนจริงที่เกี่ยวข้อง

เพื่อที่จะคำนวณกำลังเชิงซ้อน ''a''<sup>''b''</sup> ขั้นแรกเขียน ''a'' ในรูปแบบเชิงขั้ว
:: <math>a = r e^{i\theta} \, </math>
ดังนั้น
:: <math>\log a = \log r + i \theta \, </math>
และจะได้
:: <math>a^b = e^{b \log a} = e^{b (\log r + i\theta)} \, </math>
ถ้า ''b'' ถูกแบ่งออกเป็น ''c'' + ''di'' ดังนั้นสูตรสำหรับ ''a''<sup>''b''</sup> จึงเขียนให้ชัดเจนยิ่งขึ้นได้เป็น
:: <math>\left (r^c e^{-d\theta} \right) e^{i (d \log r + c\theta)} = \left (r^c e^{-d\theta} \right) \left[ \cos (d \log r + c\theta) + i \sin (d \log r + c\theta) \right]</math>

สูตรสุดท้ายนี้ช่วยคำนวณการยกกำลังจำนวนเชิงซ้อนได้โดยง่าย จากการแบ่งฐานกับเลขชี้กำลังออกเป็นรูปแบบเชิงขั้วกับรูปแบบคาร์ทีเซียนตามลำดับ สูตรดังกล่าวแสดงผลลัพธ์ทั้งรูปแบบเชิงขั้วและรูปแบบคาร์ทีเซียน (ผ่านทาง[[เอกลักษณ์ของออยเลอร์]])

ตัวอย่างต่อไปนี้จะใช้ค่ามุขสำคัญคือส่วนตัดกิ่งที่ทำให้ θ อยู่ในช่วงค่า (−π, π] กำหนดโจทย์ ''i''&nbsp;<sup>''i''</sup> ขั้นแรกเขียน ''i'' ในรูปแบบเชิงขั้วและรูปแบบคาร์ทีเซียนดังนี้
:: <math>i = 1 \cdot e^{i \pi/2}\, </math>
:: <math>i = 0 + 1i\, </math>
จากการแปลงด้านบน จะได้ว่า ''r'' = 1, θ = π/2, ''c'' = 0 และ ''d'' = 1 ดังนั้น
:: <math>\ i^i = \left (1^0 e^{-\pi/2} \right) e^{i (1\cdot \log 1 + 0 \cdot \pi/2)} = e^{-\pi/2} \approx 0.2079</math>

เช่นเดียวกันสำหรับโจทย์ (−2) <sup>3 + 4''i''</sup> หารูปแบบเชิงขั้วของ −2 ได้เป็น
:: <math>-2 = 2e^{i \pi}\, </math>
แล้วใช้สูตรด้านบนคำนวณจนได้คำตอบ
:: <math> (-2) ^{3+4i} = \left (2^3 e^{-4\pi} \right) e^{i (4\log (2) + 3\pi)} \approx (2.602 - 1.006 i) \cdot 10^{-5}</math>

ค่าของการยกกำลังจำนวนเชิงซ้อนขึ้นอยู่กับกิ่งที่เลือก ตัวอย่างเช่น ถ้าเลือกรูปแบบเชิงขั้วของ ''i'' = 1''e''<sup>''i''&nbsp; (5π/2) </sup> เพื่อคำนวณ ''i''&nbsp;<sup>''i''</sup> คำตอบจะกลายเป็น ''e''<sup>−5π/2</sup> แต่ค่ามุขสำคัญของ ''i''&nbsp;<sup>''i''</sup> คือ ''e''<sup>−π/2</sup> ดังตัวอย่างที่แสดงไว้แล้ว เซตของค่าทั้งหมดที่เป็นไปได้สำหรับ ''i''&nbsp;<sup>''i''</sup> สามารถหาได้จากเงื่อนไข <ref>[http://www.cut-the-knot.org/do_you_know/complex.shtml Complex number to a complex power may be real] ที่คัตเดอะนอต ให้ข้อมูลอ้างอิงสำหรับ ''i''&nbsp;<sup>''i''</sup></ref>
:: <math>i = 1 \cdot e^{i \pi/2 + i 2 \pi k}</math>
:: <math>i^i = e^{i \left (i \pi/2 + i 2 \pi k\right)} = e^{-\left (\pi/2 + 2 \pi k\right)}</math>

เมื่อ ''k'' เป็นจำนวนเต็มจำนวนหนึ่ง ดังนั้นคำตอบที่เป็นไปได้ของ ''i''&nbsp;<sup>''i''</sup> จึงมีจำนวนไม่จำกัดสำหรับค่า ''k'' แต่ละค่า คำตอบทั้งหมดมีส่วนจินตภาพเป็นศูนย์ ดังนั้นเราจึงอาจกล่าวได้ว่า ''i''&nbsp;<sup>''i''</sup> มีค่าเป็นจำนวนจริงและมีเป็นอนันต์

=== ความผิดพลาดของเอกลักษณ์กำลังและลอการิทึม ===
เอกลักษณ์การยกกำลังและลอการิทึมบางอย่างที่ใช้กับจำนวนจริงบวก ใช้งานไม่ได้กับจำนวนเชิงซ้อน ไม่ว่าการยกกำลังเชิงซ้อนและลอการิทึมเชิงซ้อนถูกนิยามขึ้นอย่างไร ยกตัวอย่าง

* เอกลักษณ์ log (''a''<sup>''b''</sup>) = ''b'' · log&thinsp;''a'' เป็นจริงเมื่อ ''a'' เป็นจำนวนจริงบวกและ ''b'' เป็นจำนวนจริง แต่สำหรับ[[กิ่งมุขสำคัญ]] (principal branch) ของลอการิทึมเชิงซ้อนจะได้ว่า
* :: <math>i\pi = \log (-1) = \log ( (-i) ^2) \, \neq\, 2\log (-i) = 2 (-i\pi/2) = -i\pi</math>
* : ไม่ว่ากิ่งใดของลอการิทึมจะถูกเลือก ความผิดพลาดดังกล่าวก็ยังคงมีอยู่ แนวทางที่ดีที่สุด (เมื่อต้องการใช้ผลลัพธ์เท่านั้น) คือการกำหนดให้
* :: <math>\log (a^b) \equiv b \cdot \log (a) \pmod{2 \pi i}</math>
* : เอกลักษณ์นี้ก็ไม่เป็นจริงหากพิจารณาว่าลอการิทึมเป็นฟังก์ชันหลายค่า ค่าที่เป็นไปได้ของ log (''a''<sup>''b''</sup>) จะมีค่า ''b'' · log&thinsp;''a'' เหล่านั้นเป็นเพียงเซตย่อยเซตหนึ่ง ค่าที่เป็นไปได้ทั้งสองข้างของเอกลักษณ์ซึ่งแสดงด้วย Log (''a'') <!--L ตัวใหญ่--> แทนค่ามุขสำคัญของ log (''a'') และ ''m'' กับ ''n'' เป็นจำนวนเต็มใด ๆ จะได้ว่า
* :: <math>\left\{\log (a^b) \right\} = \left\{ b \cdot \operatorname{Log} (a) + b \cdot 2 \pi i n + 2 \pi i m \right\}</math>
* :: <math>\left\{b \cdot \log (a) \right\} = \left\{ b \cdot \operatorname{Log} (a) + b \cdot 2 \pi i n \right\}</math>

* เอกลักษณ์ (''ab'') <sup>''c''</sup> = ''a''<sup>''c''</sup>''b''<sup>''c''</sup> และ (''a''/''b'') <sup>''c''</sup> = ''a''<sup>''c''</sup>/''b''<sup>''c''</sup> ใช้ได้เฉพาะเมื่อ ''a'' กับ ''b'' เป็นจำนวนจริงบวกและ ''c'' เป็นจำนวนจริง แต่การคำนวณโดยใช้กิ่งมุขสำคัญแสดงให้เห็นว่า
* :: <math>1 = (-1\times -1) ^{1/2} \not = (-1) ^{1/2} (-1) ^{1/2} = -1</math>
* : และ
* :: <math>i = (-1) ^{1/2} = \left (\frac{1}{-1}\right) ^{1/2} \not = \frac{1^{1/2}}{ (-1) ^{1/2}} = \frac{1}{i} = -i</math>
* : ในทางตรงข้าม เมื่อ ''c'' เป็นจำนวนเต็ม เอกลักษณ์เหล่านี้จะใช้ได้กับจำนวนเชิงซ้อนที่ไม่เป็นศูนย์ทุกจำนวน
* : ถ้าการยกกำลังถูกพิจารณาว่าเป็นฟังก์ชันหลายค่า ดังนั้นค่าที่เป็นไปได้ของ (−1×−1) <sup>1/2</sup> คือ {1, &nbsp;−1} เอกลักษณ์ยังคงเป็นจริง แต่การกล่าวว่า {1}&nbsp;=&nbsp;{ (−1×−1) <sup>1/2</sup>} นั้นผิด

* เอกลักษณ์ (e<sup>''a''</sup>) <sup>''b''</sup> = e<sup>''ab''</sup> เป็นจริงสำหรับจำนวนจริง ''a'' และ ''b'' แต่การสมมติให้เอกลักษณ์นี้เป็นจริงสำหรับจำนวนเชิงซ้อนนำไปสู่[[ปฏิทรรศน์]]ต่อไปนี้ ซึ่งค้นพบโดย[[โทมัส คลาวเซน]] (Thomas Clausen) เมื่อ ค.ศ. 1827 <ref name="Clausen1827">{{cite journal |author=Steiner J, Clausen T, Abel NH |title=Aufgaben und Lehrsätze, erstere aufzulösen, letztere zu beweisen |url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=270662 |journal=[[Crelle's Journal|Journal für die reine und angewandte Mathematik]] |volume=2 |year=1827 |pages=286–287 }}{{ลิงก์เสีย|date=สิงหาคม 2021 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>
* : สำหรับจำนวนเต็ม ''n'' ใด ๆ จะได้ว่า
* :# <math>e^{1 + 2 \pi i n} = e^{1} e^{2 \pi i n} = e \cdot 1 = e \, </math>
* :# <math>\left (e^{1+2\pi i n} \right) ^{1 + 2 \pi i n} = e \, </math>
* :# <math>e^{1 + 4 \pi i n - 4 \pi^{2} n^{2}} = e \, </math>
* :# <math>e^1 e^{4 \pi i n} e^{-4 \pi^2 n^2} = e \, </math>
* :# <math>e^{-4 \pi^2 n^2} = 1 \, </math>
* : แต่สิ่งนี้เป็นเท็จเมื่อจำนวนเต็ม ''n'' ไม่เท่ากับศูนย์
* : การให้เหตุผลดังกล่าวมีปัญหาเกิดขึ้นหลายปัญหา ความผิดพลาดหลักคือการเปลี่ยนอันดับของการยกกำลัง จากบรรทัดที่สองไปยังบรรทัดที่สาม ได้เปลี่ยนค่ามุขสำคัญที่จะถูกเลือกใช้
* : จากมุมมองของฟังก์ชันหลายค่า ความผิดพลาดอย่างแรกเกิดขึ้นก่อนหน้านั้นซึ่งเห็นได้โดยปริยายจากบรรทัดแรกแต่ไม่เด่นชัด คือ ''e'' เป็นจำนวนจริงในขณะที่ผลลัพธ์ของ ''e''<sup>1+2π''in''</sup> เป็นจำนวนเชิงซ้อน ซึ่งควรเขียนแทนด้วย ''e''+0''i'' มากกว่า การแทนที่เป็นจำนวนเชิงซ้อนสำหรับจำนวนจริงในบรรทัดที่สอง ทำให้การยกกำลังมีคำตอบที่เป็นไปได้หลายค่า การเปลี่ยนอันดับของการยกกำลังจากบรรทัดที่สองไปยังบรรทัดที่สาม จึงส่งผลต่อค่าที่เป็นไปได้ของผลลัพธ์ว่ามีเป็นจำนวนเท่าใดด้วย

== 0 ยกกำลัง 0 ==
[[ไฟล์:X^y.png|right|thumb|300px|กราฟของ ''z'' = abs (''x'') <sup>''y''</sup> ซึ่งเส้นโค้งสีแดงมีลิมิตต่างกันเมื่อ (''x'', ''y'') มีค่าเข้าใกล้ (0, 0) ในขณะที่เส้นโค้งสีเขียวทุกเส้นมีลิมิตเท่ากับ 1]]
ผู้เขียนตำราส่วนมากเห็นพ้องกับประโยคที่เกี่ยวข้องกับ 0<sup>0</sup> ในรายการสองรายการด้านล่าง รายการแรกไม่เกี่ยวกับความต่อเนื่อง ส่วนรายการถัดไปเกี่ยวกับความต่อเนื่อง แต่ "ตัดสินใจ" ไม่เหมือนกันเพื่อที่จะนิยาม 0<sup>0</sup> หรือไม่นิยาม (ดูรายละเอียดที่[[#มุมมองที่แตกต่างในอดีต|มุมมองที่แตกต่างในอดีต]])

ในการกำหนดที่ไม่เกี่ยวข้องกับ[[ความต่อเนื่อง]]ของเลขชี้กำลัง การตีความว่า 0<sup>0</sup> คือ 1 ช่วยให้สูตรต่าง ๆ ง่ายขึ้นและไม่จำเป็นต้องนำเอาทฤษฎีบทอื่นมาอธิบายเป็นกรณีพิเศษ ตัวอย่างเช่น
* การพิจารณา ''a''<sup>0</sup> ให้เป็น[[ผลคูณว่าง]]ซึ่งมีค่าเป็น 1 แม้ว่า ''a'' จะเท่ากับ 0
* การตีความทางคณิตศาสตร์เชิงการจัดถือว่า 0<sup>0</sup> คือจำนวนของศูนย์สิ่งอันดับของสมาชิกจากเซตว่าง ดังนั้นจึงมีศูนย์สิ่งอันดับหนึ่งตัว
* ในทางเดียวกัน การตีความทางทฤษฎีเซตของ 0<sup>0</sup> คือจำนวนฟังก์ชันจากเซตว่างไปยังเซตว่าง ซึ่งมีเพียงหนึ่งฟังก์ชันเท่านั้นนั่นคือ [[ฟังก์ชันว่าง]] (empty function) <ref name="Bourbaki">N. Bourbaki, Elements of Mathematics, Theory of Sets, Springer-Verlag, 2004, III.§3.5.</ref>
* สัญกรณ์ <math>\textstyle \sum a_nx^n</math> สำหรับ[[พหุนาม]]และ[[อนุกรมกำลัง]]ขึ้นอยู่กับการนิยามให้ 0<sup>0</sup> = 1 เอกลักษณ์อย่างเช่น <math>\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n</math> และ <math>e^{x} = \sum_{n=0}^{\infty} \frac{x^n}{n!}</math> และ[[ทฤษฎีบททวินาม]] <math> (1+x) ^n = \sum_{k = 0}^n \binom{n}{k} x^k</math> จะใช้งานไม่ได้เมื่อ ''x'' = 0 ถ้าไม่กำหนดให้ 0<sup>0</sup> = 1 <ref>"Some textbooks leave the quantity 0<sup>0</sup> undefined, because the functions ''x''<sup>0</sup> and 0<sup>''x''</sup> have different limiting values when ''x'' decreases to 0. But this is a mistake. We must define ''x''<sup>0</sup> = 1, for all ''x'', if the binomial theorem is to be valid when ''x'' = 0, ''y'' = 0, and/or ''x'' = −''y''. The binomial theorem is too important to be arbitrarily restricted! By contrast, the function 0<sup>''x''</sup> is quite unimportant".{{cite book|title=[[Concrete Mathematics]]|edition=1st|publisher=Addison Wesley Longman Publishing Co|date=1989-01-05|isbn=0-201-14236-8|author=[[Ronald Graham]], [[Donald Knuth]], and [[Oren Patashnik]]|page=162|chapter=Binomial coefficients}}</ref>
* ใน[[แคลคูลัสเชิงอนุพันธ์]] กฎการยกกำลัง <math>\textstyle\frac{d}{dx} x^n = nx^{n-1}</math> จะใช้ไม่ได้สำหรับ ''n'' = 1 ที่ ''x'' = 0 ถ้าไม่กำหนดให้ 0<sup>0</sup> = 1

ในทางตรงข้าม เมื่อ 0<sup>0</sup> เกิดจาก[[ลิมิต]]ในรูปแบบ <math>\lim_{ (x, y) \rarr (0, 0)} x^y</math> ซึ่งเป็นการกำหนดที่เกี่ยวข้องกับความต่อเนื่อง จะถูกพิจารณาให้เป็น[[รูปแบบยังไม่กำหนด]] (indeterminate form)
* ลิมิตที่เกี่ยวข้องกับการดำเนินการเชิงพีชคณิต มักจะสามารถประเมินค่าได้ด้วยการแทนที่นิพจน์ย่อยด้วยลิมิตของมัน ถ้านิพจน์ที่เป็นผลลัพธ์ไม่สามารถกำหนดลิมิตดั้งเดิมได้ นิพจน์นั้นจะเรียกว่าเป็นรูปแบบยังไม่กำหนด <ref>{{cite book|first=S. C.|last=Malik |author2=Savita Arora|year=1992|title=Mathematical Analysis|page=223|isbn=978-8122403237|quote=In general the limit of φ (''x'') /ψ (''x'') when ''x''=''a'' in case the limits of both the functions exist is equal to the limit of the numerator divided by the denominator. But what happens when both limits are zero? The division (0/0) then becomes meaningless. A case like this is known as an indeterminate form. Other such forms are ∞/∞ 0×∞, ∞−∞, 0<sup>0</sup>, 1<sup>∞</sup> and ∞<sup>0</sup>.|publisher=Wiley|location=New York}}</ref> หาก ''f'' (''t'') และ ''g'' (''t'') ซึ่งเป็นฟังก์ชันที่ให้ผลลัพธ์เป็นจำนวนจริง มีค่าเข้าใกล้ 0 ทั้งคู่ (เมื่อ ''t'' มีค่าเข้าใกล้จำนวนจริงจำนวนหนึ่งหรือ ±∞) โดยที่ ''f'' (''t'') > 0 แล้วฟังก์ชัน ''f'' (''t'') <sup>''g'' (''t'') </sup> ไม่จำเป็นต้องมีค่าเข้าใกล้ 1 เสมอไป; ลิมิตของ ''f'' (''t'') <sup>''g'' (''t'') </sup> อาจให้ผลลัพธ์เป็นจำนวนจริงใด ๆ ที่ไม่เป็นลบหรือ +∞ หรืออาจไม่นิยาม ขึ้นอยู่กับ ''f'' และ ''g'' ว่านิยามไว้อย่างไร ตัวอย่างเช่น ฟังก์ชันด้านล่างนี้อยู่ในรูปแบบ ''f'' (''t'') <sup>''g'' (''t'') </sup> ซึ่ง ''f'' (''t''), ''g'' (''t'') &nbsp;→&nbsp;0 เมื่อ ''t''&nbsp;→&nbsp;0<sup>+</sup> แต่ลิมิตของมันมีค่าต่างกันดังนี้
* :: <math> \lim_{t \to 0^+} {t}^{t} = 1, \quad \lim_{t \to 0^+} (e^{-1/t^2}) ^t = 0, \quad \lim_{t \to 0^+} (e^{-1/t^2}) ^{-t} = +\infty, \quad \lim_{t \to 0^+} (e^{-1/t}) ^{at} = e^{-a}</math>
* : ดังนั้น 0<sup>0</sup> จึงเป็นรูปแบบยังไม่กำหนดชนิดหนึ่ง พฤติกรรมนี้แสดงให้เห็นว่าฟังก์ชันสองตัวแปร ''x''<sup>''y''</sup> แม้ว่าจะต่อเนื่องบนเซต { (''x'', ''y'') : ''x'' > 0} ไม่สามารถขยายเป็น[[ฟังก์ชันต่อเนื่อง]]บนเซตใด ๆ ที่รวม (0, 0) อยู่ด้วย ไม่ว่า 0<sup>0</sup> จะถูกนิยามขึ้นอย่างไร <ref>{{cite journal|author=L. J. Paige|title=A note on indeterminate forms|url=https://archive.org/details/sim_american-mathematical-monthly_1954-03_61_3/page/n42|journal=American Mathematical Monthly|volume=61|issue=3|date=1954|pages=189–190|doi=10.2307/2307224}}</ref> อย่างไรก็ตาม ภายใต้เงื่อนไขเฉพาะเช่นเมื่อ ''f'' กับ ''g'' เป็น[[ฟังก์ชันวิเคราะห์]] (analytic function) ทั้งคู่และ ''f'' [[จำนวนลบและจำนวนไม่เป็นลบ|ไม่เป็นลบ]] ลิมิตทางด้านขวาจะเท่ากับ 1 เสมอ <ref>[http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0to0/ sci.math FAQ: What is 0^0?]</ref><ref>{{Cite journal | doi = 10.2307/2689754| url = http://jstor.org/stable/2689754 | pages = 41–42 | title = The Indeterminate Form 0<sup>0</sup> | journal = [[Mathematics Magazine]] | volume = 50 | issue = 1 | publisher = [[Mathematical Association of America]] | year = 1977 | author1 = Rotando | first1 = Louis M. | author2 = Korn | first2 = Henry }}</ref><ref>{{Cite journal | doi = 10.2307/3595845 | url = http://jstor.org/stable/3595845 | pages = 55–56 | title = On the Indeterminate Form 0<sup>0</sup> | journal = [[The College Mathematics Journal]] | volume = 34 | issue = 1 | publisher = [[Mathematical Association of America]] | year = 2003 | author1 = Lipkin | first1 = Leonard J.}}</ref>
* ใน[[โดเมนเชิงซ้อน]] ฟังก์ชัน ''z''<sup>''w''</sup> ถูกนิยามขึ้นสำหรับ ''z'' ไม่เท่ากับศูนย์ โดยเลือกกิ่งหนึ่งของ log ''z'' และกำหนดให้ ''z''<sup>''w''</sup> := ''e''<sup>''w''&nbsp;log&nbsp;''z''</sup> แต่ไม่มีกิ่งของ log ''z'' ที่นิยามไว้สำหรับ ''z'' เท่ากับศูนย์ จึงทิ้งไว้เป็นไม่นิยาม <ref>"... Let's start at ''x'' = 0. Here ''x''<sup>''x''</sup> is undefined." Mark D. Meyerson, The ''x''<sup>''x''</sup> Spindle, ''Mathematics Magazine'' '''69''', no. 3 (June 1996), 198-206.</ref>

=== มุมมองที่แตกต่างในอดีต ===
ผู้แต่งตำราหลายคนตีความสถานการณ์ข้างต้นในวิธีที่แตกต่างกันเช่น
* กลุ่มหนึ่งให้เหตุผลว่าค่าที่ดีที่สุดของ 0<sup>0</sup> ขึ้นอยู่กับบริบท และการนิยามครั้งหนึ่งเพื่อใช้กับทุกกรณีเป็นต้นไปทำให้เกิดปัญหา <ref>Examples include Edwards and Penny (1994). ''Calculus'', 4th ed, , Prentice-Hall, p. 466, and Keedy, Bittinger, and Smith (1982). ''Algebra Two.'' Addison-Wesley, p. 32.</ref> เบนสัน (Benson) กล่าวว่า "ทางเลือกว่าจะนิยาม 0<sup>0</sup> หรือไม่นิยาม ขึ้นอยู่กับความสะดวก ไม่ใช่ความถูกต้อง" <ref>Donald C. Benson, ''The Moment of Proof : Mathematical Epiphanies.'' New York Oxford University Press (UK), 1999. ISBN 978-0-19-511721-9</ref>
* อีกกลุ่มหนึ่งแย้งว่า 0<sup>0</sup> ควรจะเท่ากับ 1 [[คนูธ]]บอกว่าจำนวนนี้ "ต้องเป็น 1" แม้เขาก็ได้กล่าวต่อไปอีกว่า "โคชีก็มีเหตุผลที่ดีในการพิจารณา 0<sup>0</sup> ให้เป็น ''รูปแบบลิมิต'' ที่ไม่นิยาม" และกล่าวอีกว่า "ในความรู้สึกที่แรงกล้าอย่างมาก ค่าของ 0<sup>0</sup> ได้ถูกนิยามไว้น้อยกว่าค่าของ 0+0 เป็นต้นเสียอีก" <ref name="Knuth1992">Donald E. Knuth, Two notes on notation, ''[[American Mathematical Monthly|Amer. Math. Monthly]]'' '''99''' no. 5 (May 1992), 403–422.</ref>

การถกเถียงเกิดขึ้นในช่วงต้นคริสต์ศตวรรษที่ 19 เป็นอย่างน้อย ในเวลานั้นนักคณิตศาสตร์ส่วนมากยอมรับว่า 0<sup>0</sup> = 1 จนกระทั่ง[[โคชี]] (Cauchy) ได้แสดงรายการ 0<sup>0</sup> พร้อมกับนิพจน์อื่น ๆ เช่น {{เศษ|0|0}} ในตารางรูปแบบที่ไม่นิยาม <ref>Augustin-Louis Cauchy, ''Cours d'Analyse de l'École Royale Polytechnique'' (1821). In his ''Oeuvres Complètes'', series 2, volume 3.</ref>
ในช่วงคริสต์ทศวรรษ 1830 ลิบรี (Libri) ได้เผยแพร่เกี่ยวกับการให้เหตุผลที่ทำให้ไม่น่าเชื่อว่า 0<sup>0</sup> = 1 <ref>Guillaume Libri, Note sur les valeurs de la fonction 0<sup>0<sup>x</sup></sup>, ''[[Crelle's Journal|Journal für die reine und angewandte Mathematik]]'' '''6''' (1830), 67–72.</ref><ref>Guillaume Libri, Mémoire sur les fonctions discontinues, ''Journal für die reine und angewandte Mathematik'' '''10''' (1833), 303–316.</ref> กล่าวคือ การอ้างว่า <math>\lim_{t \to 0^+} f (t) ^{g (t)} = 1</math> เมื่อใดก็ตามที่ <math>\lim_{t \to 0^+} f (t) = \lim_{t \to 0^+} g (t) = 0</math> เป็นการสันนิษฐานที่ผิด และ[[เมอบิอุส]] (Möbius) ก็เห็นด้วยกับเขา <ref>A. F. Möbius, Beweis der Gleichung 0<sup>0</sup> = 1, nach [[Johann Friedrich Pfaff|J. F. Pfaff]], ''Journal für die reine und angewandte Mathematik'' '''12''' (1834), 134–136.</ref> ผู้ออกความเห็นคนหนึ่งที่ใช้ชื่อว่า "S" ได้ให้ตัวอย่างของการโต้แย้ง (''e''<sup>−1/''t''</sup>) <sup>''t''</sup> ตัวอย่างนี้ทำให้การถกเถียงสงบเงียบลงชั่วระยะเวลาหนึ่ง ผลสรุปที่ปรากฏของเรื่องนี้คือ 0<sup>0</sup> ไม่ควรนิยาม <ref name="Knuth1992" />

=== การปฏิบัติในคอมพิวเตอร์ ===
==== มาตรฐานจำนวนจุดลอยตัว IEEE ====
มาตรฐาน[[จำนวนจุดลอยตัว]] [[IEEE 754-2008]] ใช้ในการออกแบบไลบรารีเกี่ยวกับจำนวนจุดลอยตัวเป็นส่วนมาก มาตรฐานดังกล่าวได้แนะนำฟังก์ชันที่แตกต่างกันสำหรับคำนวณการยกกำลังต่อไปนี้ <ref>{{cite book|title=Handbook of Floating-Point Arithmetic|publisher=Birkhäuser Boston|year=2009|isbn=978-0817647049|page=216|author9=Jean-Michel Muller et al}}</ref>
* <tt>pow</tt> ให้ค่า 0<sup>0</sup> เป็น 1 ฟังก์ชันนี้เป็นรุ่นที่นิยามไว้เก่าที่สุด ถ้ากำลังเป็นจำนวนเต็มอย่างแน่ชัด ผลลัพธ์จะเหมือนกับ <tt>pown</tt> หากไม่เป็นเช่นนั้นผลลัพธ์จะเหมือนกับ <tt>powr</tt> (ยกเว้นกรณีพิเศษบางกรณี)
* <tt>pown</tt> ให้ค่า 0<sup>0</sup> เป็น 1 กำลังต้องเป็นจำนวนเต็มอย่างแน่ชัด ฟังก์ชันนี้ได้นิยามสำหรับฐานที่เป็นลบด้วยเช่น <tt>pown (−3, 5) </tt> ให้ผลลัพธ์ −243
* <tt>powr</tt> ให้ค่า 0<sup>0</sup> เป็น ค่า[[ไม่ใช่จำนวน]] ({{langx|en|NaN (Not a Number)}}) ฟังก์ชันนี้ก็ยังให้ผลลัพธ์เป็นค่าไม่ใช่จำนวน ในกรณีฐานมีค่าน้อยกว่าศูนย์เช่น <tt>powr (−3, 2) </tt> ค่าของมันนิยามขึ้นจาก ''e''<sup>&nbsp;''เลขชี้กำลัง''×log (''ฐาน'') </sup>

==== ภาษาโปรแกรม ====
ภาษาโปรแกรมส่วนใหญ่ที่มีฟังก์ชันการยกกำลังถูกนำมาทำให้เกิดผลโดยใช้ฟังก์ชัน <tt>pow</tt> ของ IEEE ดังนั้นมันจึงให้ค่า 0<sup>0</sup> เป็น 1 มาตรฐาน[[ภาษาซี]]และ[[ภาษาซีพลัสพลัส]]ในเวลาต่อมาได้อธิบายสิ่งนี้ว่าเป็นพฤติกรรม[[เชิงบรรทัดฐาน]] (normative) <ref>{{cite journal|title=Rationale for International Standard—Programming Languages—C|version=Revision 5.10|date=April 2003|author=John Benito|url=http://www.open-std.org/jtc1/sc22/wg14/www/C99RationaleV5.10.pdf|page=182|format=PDF}}</ref> มาตรฐาน[[ภาษาจาวา]]ก็ประกาศให้ใช้พฤติกรรมนี้ <ref>{{cite web |url=http://download.oracle.com/javase/1.4.2/docs/api/java/lang/Math.html#pow%28double,|title=Math (Java 2 Platform SE 1.4.2) pow |publisher=Oracle |access-date=2011-07-20 |archive-date=2011-08-11 |archive-url=https://web.archive.org/web/20110811040903/http://download.oracle.com/javase/1.4.2/docs/api/java/lang/Math.html#pow%28double, |url-status=dead }}</ref> <code>System.Math.Pow</code> ใน[[ดอตเน็ตเฟรมเวิร์ก]] ก็ให้ค่า 0<sup>0</sup> เป็น 1 เช่นกัน <ref>{{cite web |url=http://msdn.microsoft.com/en-us/library/system.math.pow.aspx |title=.NET Framework Class Library Math.Pow Method |publisher=Microsoft}}</ref>

==== ซอฟต์แวร์คณิตศาสตร์ ====
* [[เซจ]] ลดรูป ''a''<sup>0</sup> เป็น 1 ถ้า ''a'' ไม่กำหนดเงื่อนไข <ref>{{cite web |url=http://sagenb.org/home/pub/2433/ | title=Sage worksheet calculating x^0 |publisher=Jason Grout}}</ref> ไม่ลดรูป 0<sup>''a''</sup> และให้ค่า 0<sup>0</sup> เป็น 1
* [[เมเพิล]] ลดรูป ''a''<sup>0</sup> เป็น 1 และ 0<sup>''a''</sup> เป็น 0 ถ้า ''a'' ไม่กำหนดเงื่อนไข (แต่รูปแบบอย่างหลังสามารถใช้งานได้เฉพาะเมื่อกำหนดค่า ''a'' > 0) และให้ค่า 0<sup>0</sup> เป็น 1
* [[แมกซิมา]] ก็ลดรูป ''a''<sup>0</sup> เป็น 1 และ 0<sup>''a''</sup> เป็น 0 ด้วยเช่นกัน ถ้า ''a'' ไม่กำหนดเงื่อนไข แต่จะเกิดข้อผิดพลาดสำหรับ 0<sup>0</sup>
* [[แมเทอแมติกา]]และ[[วุลแฟรมแอลฟา]] ลดรูป ''a''<sup>0</sup> เป็น 1 ถ้า ''a'' ไม่กำหนดเงื่อนไข <ref>{{cite web |url=http://www.wolframalpha.com/input/?i=a^0 | title=Wolfram Alpha calculates a^0 |publisher=Wolfram Alpha LLC, accessed July 24, 2011}}</ref> แมเทอแมติกาไม่ลดรูป 0<sup>''a''</sup> ในขณะที่วุลแฟรมแอลฟาให้ผลลัพธ์สองอย่างคือ 0 และรูปแบบยังไม่กำหนด <ref>{{cite web |url=http://www.wolframalpha.com/input/?i=0^a | title=Wolfram Alpha calculates 0^a |publisher=Wolfram Alpha LLC, accessed July 24, 2011}}</ref> ทั้งแมเทอแมติกาและวุลแฟรมแอลฟาให้ค่า 0<sup>0</sup> เป็นรูปแบบยังไม่กำหนด <ref>{{cite web |url=http://www.wolframalpha.com/input/?i=0^0 | title=Wolfram Alpha calculates 0^0 |publisher=Wolfram Alpha LLC, accessed July 24, 2011}}</ref>
หมายเหตุ "ลดรูป" หมายถึง ให้ค่าผลลัพธ์โดยอัตโนมัติ แม้จะไม่ระบุค่าของ ''a''

== ลิมิตของการยกกำลัง ==
หัวข้อ [[#0 ยกกำลัง 0|0 ยกกำลัง 0]] ได้แสดงตัวอย่างลิมิตของรูปแบบยังไม่กำหนด 0<sup>0</sup> ไว้จำนวนหนึ่ง ตัวอย่างเหล่านี้มีลิมิตต่าง ๆ แต่มีค่าแตกต่างกัน แสดงให้เห็นว่าฟังก์ชันสองตัวแปร ''x''<sup>''y''</sup> ไม่มีลิมิตที่จุด (0, 0) จึงอาจเกิดคำถามว่าฟังก์ชันนี้มีลิมิตที่จุดไหนบ้าง

เพื่อความถูกต้องยิ่งขึ้น พิจารณาฟังก์ชัน ''f'' (''x'', ''y'') &nbsp;=&nbsp;''x''<sup>''y''</sup> ที่นิยามบนโดเมน ''D''&nbsp;=&nbsp;{ (''x'', ''y'') &nbsp;∈&nbsp;'''R'''<sup>2</sup>&nbsp;:&nbsp;''x''&nbsp;>&nbsp;0} ดังนั้น ''D'' อาจถูกมองว่าเป็นเซตย่อยของ {{overline|'''R'''}}<sup>2</sup> (นั่นคือเซตของคู่อันดับ (''x'', ''y'') ทั้งหมด ซึ่ง ''x'', ''y'' อยู่บน[[เส้นจำนวนจริงขยาย]] {{overline|'''R'''}}&nbsp;=&nbsp;[−∞, &nbsp;+∞] โดยสร้างขึ้นจาก[[ทอพอโลยีผลคูณ]]) ซึ่งจะรวมจุดต่าง ๆ ที่ทำให้ฟังก์ชัน ''f'' มีลิมิต

โดยข้อเท็จจริง ''f'' จะมีลิมิตที่[[จุดสะสม]] (accumulation point) ต่าง ๆ ของ ''D'' ยกเว้น (0, 0), (+∞, 0), (1, +∞) และ (1, −∞) <ref>N. Bourbaki, ''Topologie générale'', V.4.2.</ref> ด้วยเหตุนี้เราจึงสามารถนิยามการยกกำลัง ''x''<sup>''y''</sup> ด้วยความต่อเนื่องเมื่อใดก็ตามที่ 0&nbsp;≤&nbsp;''x''&nbsp;≤&nbsp;+∞, −∞ ≤&nbsp;y&nbsp;≤&nbsp;+∞ โดยยกเว้น 0<sup>0</sup>, (+∞) <sup>0</sup>, 1<sup>+∞</sup> และ 1<sup>−∞</sup> ซึ่งเหลือเป็นรูปแบบยังไม่กำหนด

ภายใต้การนิยามโดยความต่อเนื่องนี้ จะได้
* ''a''<sup>+∞</sup> = +∞ และ ''a''<sup>−∞</sup> = 0 เมื่อ 1 < ''a'' ≤ +∞
* ''a''<sup>+∞</sup> = 0 และ ''a''<sup>−∞</sup> = +∞ เมื่อ 0 ≤ ''a'' < 1
* 0<sup>''b''</sup> = 0 และ (+∞) <sup>''b''</sup> = +∞ เมื่อ 0 < ''b'' ≤ +∞
* 0<sup>''b''</sup> = +∞ และ (+∞) <sup>''b''</sup> = 0 เมื่อ −∞ ≤ ''b'' < 0

กำลังเหล่านี้ได้มาจากการหาลิมิตของ ''x''<sup>''y''</sup> สำหรับค่า ''x'' ที่เป็นบวก วิธีการนี้ไม่อนุญาตให้นิยาม ''x''<sup>''y''</sup> เมื่อ ''x''&nbsp;<&nbsp;0 เพราะคู่อันดับ (''x'', ''y'') ต่าง ๆ ที่ ''x''&nbsp;<&nbsp;0 ไม่ใช่จุดสะสมของ ''D''

ในอีกทางหนึ่ง เมื่อ ''n'' เป็นจำนวนเต็ม การยกกำลัง ''x''<sup>''n''</sup> มีความหมายอยู่แล้วสำหรับ ''x'' ทุกค่าซึ่งรวมทั้งค่าลบด้วย สิ่งนี้อาจทำให้การนิยาม 0<sup>''n''</sup>&nbsp;=&nbsp;+∞ ที่ได้มาข้างต้นสำหรับค่า ''n'' ที่เป็นลบเกิดปัญหาเมื่อ ''n'' เป็นจำนวนคี่ เนื่องจากกรณีนี้ ''t''<sup>''n''</sup>&nbsp;→&nbsp;+∞ เมื่อ ''t'' มีค่าเข้าใกล้ 0 ทางบวก แต่ไม่ใช่ทางลบ

== การคำนวณกำลังจำนวนเต็มอย่างมีประสิทธิภาพ ==
วิธีการคำนวณที่ง่ายที่สุดของ ''a''<sup>''n''</sup> คือการคูณเป็นจำนวน ''n''−1 ครั้ง แต่มันก็อาจคำนวณได้อย่างมีประสิทธิภาพมากขึ้นดังตัวอย่างต่อไปนี้ เช่นโจทย์ให้คำนวณ 2<sup>100</sup> แต่เราทราบว่า 100 = 64 + 32 + 4 เราอาจคำนวณตามลำดับดังนี้
# 2<sup>2</sup> = 4
# (2<sup>2</sup>) <sup>2</sup> = 2<sup>4</sup> = 16
# (2<sup>4</sup>) <sup>2</sup> = 2<sup>8</sup> = 256
# (2<sup>8</sup>) <sup>2</sup> = 2<sup>16</sup> = 65,536
# (2<sup>16</sup>) <sup>2</sup> = 2<sup>32</sup> = 4,294,967,296
# (2<sup>32</sup>) <sup>2</sup> = 2<sup>64</sup> = 18,446,744,073,709,551,616
# 2<sup>64</sup> 2<sup>32</sup> 2<sup>4</sup> = 2<sup>100</sup> = 1,267,650,600,228,229,401,496,703,205,376
ขั้นตอนเหล่านี้จำเป็นต้องใช้การคูณเพียงแค่ 8 ครั้ง (ผลคูณในขั้นตอนสุดท้ายใช้การคูณ 2 ครั้ง) แทนที่จะต้องคูณถึง 99 ครั้ง

จำนวนครั้งของการคูณที่จำเป็นสำหรับคำนวณ ''a''<sup>''n''</sup> โดยทั่วไปสามารถลดให้เหลือ [[สัญกรณ์เชิงเส้นกำกับ|Θ]] (log ''n'') โดยใช้[[การยกกำลังด้วยกำลังสอง]] (exponentiation by squaring) หรือโดยนัยทั่วไปขึ้นอีกคือ [[การยกกำลังด้วยลูกโซ่การบวก]] (addition-chain exponentiation) การหาลำดับของการคูณ ''น้อยที่สุด'' ของ ''a''<sup>''n''</sup> (ลูกโซ่การบวกสั้นที่สุดของเลขชี้กำลัง) เป็นข้อปัญหาที่ยากข้อหนึ่ง เพราะขั้นตอนวิธีอันมีประสิทธิภาพยังไม่เป็นที่ทราบในปัจจุบัน (ดูเพิ่มที่[[ปัญหาผลรวมเซตย่อย]]) แต่ขั้นตอนวิธีแบบ[[ศึกษาสำนึก]] (heuristic) ที่มีประสิทธิภาพอย่างสมเหตุสมผลก็มีให้ใช้มากมาย <ref>Gordon, D. M. 1998. A survey of fast exponentiation methods. J. Algorithms 27, 1 (Apr. 1998), 129-146. doi:http://dx.doi.org/10.1006/jagm.1997.0913</ref>

== สัญกรณ์ยกกำลังสำหรับชื่อฟังก์ชัน ==
การใส่ตัวยกจำนวนเต็มถัดจากชื่อหรือสัญลักษณ์ของฟังก์ชัน ซึ่งดูเหมือนว่าฟังก์ชันนั้นกำลังถูกยกกำลัง โดยทั่วไปจะหมายถึง[[การประกอบฟังก์ชัน]] (function composition) มากกว่าจะเป็นการคูณซ้ำ ๆ ดังนั้น ''f''<sup>&nbsp;3</sup> (''x'') จึงอาจหมายถึง ''f'' (''f'' (''f'' (''x'') ) ) โดยเฉพาะอย่างยิ่ง ''f''<sup>&nbsp;−1</sup> (''x'') ตามปกติใช้แสดงถึง[[ฟังก์ชันผกผัน]]ของ ''f''; [[ฟังก์ชันซ้อน]] (iterated function) ที่เกิดจากการประกอบฟังก์ชันเป็นประโยชน์ในการศึกษา[[แฟร็กทัล]]และ[[ระบบเชิงพลวัต]] (dynamical system) [[ชาร์ลส แบบเบจ]] เป็นคนแรกที่เริ่มศึกษาปัญหาการหาค่าของ[[รากที่สองเชิงฟังก์ชัน]] ''f''<sup>&nbsp;1/2</sup> (''x'')

อย่างไรก็ตาม [[ฟังก์ชันตรีโกณมิติ]]ก็ใช้สัญกรณ์พิเศษเช่นนั้นด้วยเหตุผลทางประวัติศาสตร์ กล่าวคือ เลขชี้กำลังที่เป็นบวกถูกวางไว้หลังชื่อย่อของฟังก์ชัน หมายถึงผลลัพธ์ของการยกกำลังด้วยเลขชี้กำลังนั้น ในขณะที่เลขชี้กำลัง −1 แสดงถึงฟังก์ชันผกผัน ตัวอย่างเช่น sin<sup>2</sup>''x'' เป็นการเขียนอย่างย่อแทน (sin&nbsp;''x'') <sup>2</sup> โดยไม่ใช้วงเล็บ แต่ในขณะเดียวกัน sin<sup>−1</sup>''x'' หมายถึงฟังก์ชันผกผันของ[[ไซน์]]คือ arcsin&nbsp;''x'' เพราะมันไม่จำเป็นต้องมีส่วนกลับของฟังก์ชันตรีโกณมิติเนื่องจากมันมีชื่อและชื่อย่อของมันเองอยู่แล้ว เช่น 1/ (sin&nbsp;''x'') = (sin&nbsp;''x'') <sup>−1</sup> ก็คือ csc&nbsp;''x'' เป็นต้น สัญนิยมที่คล้ายกันนี้ก็ใช้กับลอการิทึมด้วย เช่น log<sup>2</sup>''x'' หมายถึง (log&nbsp;''x'') <sup>2</sup> ไม่ใช่ log&nbsp;log&nbsp;''x''

== การวางนัยทั่วไป ==
=== พีชคณิตนามธรรม ===
การยกกำลังที่มีเลขชี้กำลังเป็นจำนวนเต็ม สามารถนิยามขึ้นสำหรับโครงสร้างที่ค่อนข้างทั่วไปใน[[พีชคณิตนามธรรม]]

กำหนดให้ ''X'' เป็น[[เซต]]ที่มี[[การดำเนินการทวิภาค]]อย่างหนึ่ง ซึ่งมี[[สมบัติการเปลี่ยนหมู่ของกำลัง]] (power associativity) และเขียนอยู่ในรูปแบบการคูณแล้ว ''x''<sup>''n''</sup> ถูกนิยามให้เป็นผลคูณของ ''x'' จำนวน ''n'' ตัว สำหรับสมาชิก ''x'' ใด ๆ ของ ''X'' และ[[จำนวนธรรมชาติ]] ''n'' ใด ๆ ที่ไม่เป็นศูนย์ ซึ่งนิยามแบบเวียนเกิดได้ว่า
: <math>x^1=x\;</math>
: <math>x^n=x^{n-1}x; \quad\hbox{for }n>1</math>

จะมีสมบัติต่าง ๆ ดังต่อไปนี้
* <math> (x^i x^j) x^k = x^i (x^j x^k) \;</math> (สมบัติการเปลี่ยนหมู่ของกำลัง)
* <math>x^{m+n} = x^m x^n\;</math>
* <math> (x^m) ^n = x^{mn}\;</math>

ถ้าการดำเนินการนี้มี[[สมาชิกเอกลักษณ์]]ทั้งสองด้านเป็น 1 (มักแสดงด้วย ''e'') ดังนั้น ''x''<sup>0</sup> จะถูกนิยามให้เท่ากับ 1 สำหรับค่า ''x'' ใด ๆ
* <math>x1 = 1x = x\;</math> (เอกลักษณ์สองด้าน)
* <math>x^0 = 1\;</math>

ถ้าการดำเนินการนี้ก็มี[[สมาชิกผกผัน]]ทั้งสองด้านและการคูณเปลี่ยนหมู่ได้ จะทำให้[[แม็กม่า (พีชคณิต)|แม็กม่า]] (magma) กลายเป็น[[กรุป (คณิตศาสตร์)|กรุป]] ตัวผกผันของ ''x'' สามารถแสดงได้ด้วย ''x''<sup>−1</sup> และเป็นไปตามกฎปกติทั้งหมดของเลขชี้กำลัง
* <math>x x^{-1} = x^{-1} x = 1\;</math> (ตัวผกผันสองด้าน)
* <math> (x y) z = x (y z) \;</math> (การคูณเปลี่ยนหมู่ได้)
* <math>x^{-n} = \left (x^{-1} \right) ^n\;</math>
* <math>x^{m-n} = x^m x^{-n}\;</math>

ถ้าการคูณสามารถ[[สมบัติการสลับที่|สลับที่]]ได้ (ตัวอย่างเช่นใน[[อาบีเลียนกรุป]]) จะทำให้การดำเนินการมีสมบัตินี้ด้วย
* <math> (xy) ^n = x^n y^n\;</math>

ถ้าการดำเนินการทวิภาคนั้นเขียนอยู่ในรูปแบบการบวก ซึ่งมักใช้กับอาบีเลียนกรุป ดังนั้นวลี "การยกกำลังคือการคูณซ้ำ ๆ" จึงสามารถตีความได้เป็น "การคูณคือการบวกซ้ำ ๆ" เพราะฉะนั้นกฎแต่ละข้อของการยกกำลังข้างต้นก็เทียบเคียงได้กับกฎต่าง ๆ ของการคูณ

เมื่อเรามีการดำเนินการหลายอย่างแล้ว การดำเนินการใด ๆ อาจถูกกระทำซ้ำโดยใช้การยกกำลัง การแสดงว่าการดำเนินการกำลังถูกกระทำซ้ำ โดยปกติจะใส่สัญลักษณ์กำกับตัวยก อาทิ ''x''<sup>∗''n''</sup> หมายถึง {{nowrap|''x'' ∗ ··· ∗ ''x''}} หรือ ''x''<sup>#''n''</sup> หมายถึง {{nowrap|''x'' # ··· # ''x''}} ไม่ว่า ∗ กับ # จะเป็นการดำเนินการอะไรก็ตาม

สัญกรณ์ตัวยกก็มีใช้เช่นกัน โดยเฉพาะในเรื่อง[[ทฤษฎีกรุป]] เพื่อแสดง[[คลาสสังยุค|การสังยุค]] (conjugation) อาทิ ''g''<sup>''h''</sup> = ''h''<sup>−1</sup>''gh'' เมื่อ ''g'' และ ''h'' เป็นสมาชิกของกรุปบางกรุป แม้ว่าการสังยุคจะปฏิบัติตามกฎของการยกกำลังเหมือนกัน แต่ไม่ใช่ตัวอย่างของการคูณซ้ำในกรณีใด ๆ ; [[ควอนเดิล]] (quandle) เป็น[[โครงสร้างเชิงพีชคณิต]]ชนิดหนึ่งที่มีกฎของการสังยุคเหล่านี้เป็นบทบาทหลัก

=== เซต ===
{{บทความหลัก|ผลคูณคาร์ทีเซียน}}
ถ้า ''n'' เป็นจำนวนธรรมชาติและ ''A'' เป็นเซตใด ๆ นิพจน์ ''A''<sup>''n''</sup> มักถูกใช้เพื่อแสดงเซตของ ''n'' สิ่งอันดับของสมาชิกของ ''A'' สิ่งนี้เทียบเท่ากับการกำหนดให้ ''A''<sup>''n''</sup> หมายถึงเซตของฟังก์ชันจาก {0, &nbsp;1, &nbsp;2, &nbsp;..., &nbsp;''n''−1} ไปยัง ''A''; ''n'' สิ่งอันดับ (''a''<sub>0</sub>, &nbsp;''a''<sub>1</sub>, &nbsp;''a''<sub>2</sub>, &nbsp;..., &nbsp;a<sub>''n''−1</sub>) เป็นตัวแทนของฟังก์ชันที่ส่งค่าจาก ''i'' ไปยัง ''a''<sub>''i''</sub>

กำหนดให้[[จำนวนเชิงการนับ]] κ ที่ไม่จำกัดและเซต ''A'' เซตหนึ่ง สัญกรณ์ ''A''<sup>κ</sup> ก็ยังใช้แสดงถึงเซตของฟังก์ชันทั้งหมดจากเซตที่มีขนาดเท่ากับ κ ไปยัง ''A'' บางครั้งก็เขียนในรูปแบบ <sup>κ</sup>''A'' เพื่อทำให้แตกต่างจากการยกกำลังเชิงการนับ ดังที่จะได้กล่าวต่อไป

การยกกำลังแบบนัยทั่วไปสามารถนิยามขึ้นได้สำหรับการดำเนินการบนเซต หรือสำหรับเซตที่มี[[โครงสร้าง (คณิตศาสตร์)|โครงสร้าง]]พิเศษเพิ่มเติม ตัวอย่างเช่นใน[[พีชคณิตเชิงเส้น]] เราสามารถแจกแจงดัชนี[[ผลบวกตรง]]ของ[[ปริภูมิเวกเตอร์]]บนเซตดัชนีใด ๆ หรืออาจกล่าวได้ว่า
:: <math>\bigoplus_{i \in \mathbb{N}} V_{i}</math>
เมื่อ ''V''<sub>''i''</sub> แต่ละตัวคือปริภูมิเวกเตอร์ปริภูมิหนึ่ง ดังนั้นถ้า ''V''<sub>''i''</sub> = ''V'' สำหรับแต่ละค่า ''i'' แล้ว ผลลัพธ์จากผลบวกตรงสามารถเขียนให้อยู่ในสัญกรณ์ยกกำลังเป็น ''V''<sup>⊕'''N'''</sup> หรือเขียนเพียงแค่ ''V''<sup>'''N'''</sup> โดยทำความเข้าใจว่าเป็นผลบวกตรงโดยปริยาย นอกจากนี้เราอาจแทนที่เซต '''N''' ด้วยจำนวนเชิงการนับ ''n'' เพื่อให้ได้ ''V''<sup>''n''</sup> แม้ว่าไม่ต้องเลือกเซตมาตรฐานเจาะจงที่มีภาวะเชิงการนับเป็น ''n'' สิ่งนี้สามารถนิยามโดยขึ้นอยู่กับ[[สมสัณฐาน]] (isomorphism) เพียงเท่านั้น เมื่อนำเอา ''V'' มาเป็น[[ฟีลด์]] '''R''' สำหรับจำนวนจริง (เทียบได้กับปริภูมิเวกเตอร์บนตัวเอง) และ ''n'' เป็นจำนวนธรรมชาติบางจำนวน จะได้ปริภูมิเวกเตอร์สามัญที่สุดที่ศึกษากันในพีชคณิตเชิงเส้น นั่นคือ[[ปริภูมิแบบยุคลิด]] '''R'''<sup>''n''</sup>

ถ้าหากฐานของการดำเนินการยกกำลังเป็นเซต การดำเนินการนั้นจะเรียกว่า[[ผลคูณคาร์ทีเซียน]]เมื่อไม่มีเงื่อนไขอื่นเพิ่มเติม เนื่องด้วยผลคูณคาร์ทีเซียนต่าง ๆ ให้ผลเป็น [[n สิ่งอันดับ|''n'' สิ่งอันดับ]] (''n''-tuple) ซึ่งสามารถแสดงแทนด้วยฟังก์ชันบนเซตที่มีภาวะเชิงการนับที่เหมาะสม ดังนั้น ''S''<sup>''N''</sup> จึงหมายถึงเซตของ[[ฟังก์ชัน]]ทั้งหมดจาก ''N'' ไปยัง ''S'' ในกรณีนี้
:: <math>S^N \equiv \{ f\colon N \to S \}</math>
สิ่งนี้เข้ากันได้กับการยกกำลังของจำนวนเชิงการนับในแง่ที่ว่า |''S''<sup>''N''</sup>| = |''S''|<sup>|''N''|</sup> เมื่อ |''X''| หมายถึงภาวะเชิงการนับของ ''X''; เมื่อ "2" ถูกนิยามเป็นเซต {0, 1} เราจะได้ |2<sup>''X''</sup>| = 2<sup>|''X''|</sup> เมื่อ 2<sup>''X''</sup> ซึ่งโดยปกติแสดงด้วย '''P''' (''X'') คือ[[เซตกำลัง]]ของ ''X''; เซตย่อย ''Y'' แต่ละเซตของ ''X'' สอดคล้องกันแบบหนึ่งต่อหนึ่งกับฟังก์ชันบน ''X'' ที่ให้ค่า 1 สำหรับ ''x''&nbsp;∈&nbsp;''Y'' และค่า 0 สำหรับ ''x''&nbsp;∉&nbsp;''Y''

=== ทฤษฎีประเภท ===
{{บทความหลัก|ประเภทปิดคาร์ทีเซียน}}
ในเรื่องของ[[ประเภทปิดคาร์ทีเซียน]] (Cartesian closed category) การดำเนินการยกกำลังถูกใช้เพื่อกำหนดให้อ็อบเจกต์ใด ๆ เป็นกำลังของอ็อบเจกต์อีกอย่างหนึ่ง สิ่งนี้เป็นการวางนัยทั่วไปของผลคูณคาร์ทีเซียนในประเภท (category) ของเซต ถ้า 0 เป็น[[อ็อบเจกต์เริ่มต้น]] (initial object) ในประเภทปิดคาร์ทีเซียน ดังนั้น[[อ็อบเจกต์เลขชี้กำลัง]] (exponential object) 0<sup>0</sup> จะสมสัณฐานกับอ็อบเจกต์ปลายทาง 1 ใด ๆ

=== จำนวนเชิงการนับและจำนวนเชิงอันดับที่ ===
{{บทความหลัก|เลขคณิตเชิงการนับ|เลขคณิตเชิงอันดับที่}}
ในทฤษฎีเซต ก็มีการยกกำลังสำหรับ[[จำนวนเชิงการนับ]]และ[[จำนวนเชิงอันดับที่]]เช่นกัน

กำหนดให้ κ และ λ เป็นจำนวนเชิงการนับ นิพจน์ κ<sup>λ</sup> หมายถึงภาวะเชิงการนับของ เซตของฟังก์ชันจากเซตใด ๆ ที่มีภาวะเชิงการนับ λ ไปยังเซตใด ๆ ที่มีภาวะเชิงการนับ κ <ref name="Bourbaki"/> ถ้า κ และ λ เป็นจำนวนจำกัด นิพจน์นี้จะคล้อยตามการดำเนินการยกกำลังเชิงเลขคณิตธรรมดา ตัวอย่างเช่น เซตของสามสิ่งอันดับ ของสมาชิกจากเซตของสองสิ่งอันดับ จะมีภาวะเชิงการนับเท่ากับ 8 = 2<sup>3</sup>

การยกกำลังของจำนวนเชิงการนับแตกต่างจากการยกกำลังของจำนวนเชิงอันดับที่ ซึ่งนิยามโดยกระบวนการ[[ลิมิต]]ที่เกี่ยวข้องกับ[[อุปนัยเชิงอนันต์]] (transfinite induction)

== การยกกำลังซ้อน ==
เนื่องจากการยกกำลังของจำนวนธรรมชาติมีเหตุมาจากการคูณซ้ำ ๆ จึงมีความเป็นไปได้ที่จะนิยามการดำเนินการที่มีเหตุมาจากการยกกำลังซ้ำ ๆ เช่นเดียวกัน การดำเนินการนี้บางครั้งเรียกว่า [[เทเทรชัน]] (tetration) และเทเทรชันซ้ำ ๆ ก็สามารถนำไปสู่การดำเนินการอีกอย่างหนึ่งเช่นกัน เป็นเช่นนี้ต่อไปเรื่อย ๆ ลำดับของการดำเนินการเหล่านี้ได้ถูกแสดงไว้ด้วย[[ฟังก์ชันอัคเคอร์มันน์]] (Ackermann function) และ[[สัญกรณ์ลูกศรของคนูธ]] (Knuth's up-arrow notation) และเนื่องด้วยการยกกำลังมีอัตราเพิ่มขึ้นมากกว่าการคูณ การคูณก็มีอัตราเพิ่มขึ้นมากกว่าการบวก ดังนั้นเทเทรชันก็มีอัตราเพิ่มขึ้นมากกว่าการยกกำลัง ตัวอย่างเช่น เมื่อกำหนดค่า (3, 3) ให้กับฟังก์ชันการบวก การคูณ การยกกำลัง และเทเทรชัน จะได้ผลลัพธ์ออกมาเป็น 6, 9, 27 และ 7,625,597,484,987 ตามลำดับ

== ในภาษาโปรแกรม ==
สัญกรณ์ตัวยก ''x''<sup>''y''</sup> สะดวกในการเขียนด้วยมือ แต่อาจไม่สะดวกในการกดบน[[เครื่องพิมพ์ดีด]]หรือ[[คอมพิวเตอร์]][[เทอร์มินัล]] ซึ่งจัดอักขระทุกตัวอยู่บนเส้นบรรทัดเดียวกัน [[ภาษาโปรแกรม]]หลายภาษามีวิธีการอย่างอื่นในการแสดงการยกกำลังโดยไม่ใช้ตัวยก อาทิ

* <code>x ↑ y</code>: [[อัลกอล]], [[คอมโมดอร์เบสิก]]
* <code>x ^ y</code>: [[เบสิก]], [[เจ]], [[แมตแล็บ]], [[อาร์]], [[ไมโครซอฟท์ เอ็กเซล]], [[เทกซ์]] (TeX และตัวต่อยอดอื่น ๆ), [[ทีไอ-เบสิก]], [[บีซี]] (เลขชี้กำลังจำนวนเต็ม), [[แฮสเกลล์]] (เลขชี้กำลังจำนวนเต็มที่ไม่เป็นลบ), [[ลัว]] (Lua), [[เอเอสพี]] และ[[ระบบพีชคณิตคอมพิวเตอร์]]ส่วนใหญ่
* <code>x ^^ y</code>: แฮสเกลล์ (ฐานเศษส่วน เลขชี้กำลังจำนวนเต็ม), [[ดี]]
* <code>x ** y</code>: [[เอดา]], [[แบช]], [[โคบอล]], [[ฟอร์แทรน]], [[ฟอกซ์โพร]], [[กนูพล็อต]], [[โอแคเมล]], [[เพิร์ล]], [[พีแอล/วัน]], [[ไพทอน]], [[เรกซ์]] (REXX), [[รูบี]], [[แซส]] (SAS), [[ทีซีแอล]], [[อาบัป]], แฮสเกลล์ (เลขชี้กำลังจำนวนจุดลอยตัว), [[ทัวริง]], [[วีเอชดีแอล]]
* <code>x⋆y</code>: [[เอพีแอล]]
* <code>Power (x, y) </code>: ไมโครซอฟท์ เอ็กเซล, เดลฟี/ปาสกาล (ประกาศในยูนิต Math)
* <code>pow (x, y) </code>: [[ซี]], [[ซีพลัสพลัส]], [[พีเอชพี]], [[ทีซีแอล]]
* <code>math.pow (x, y) </code>: ไพทอน
* <code>Math.pow (x, y) </code>: [[จาวา]], [[จาวาสคริปต์]], [[มอดูลา-3]], [[เอ็มแอลมาตรฐาน]]
* <code>Math.Pow (x, y) </code> หรือ <code>BigInteger.Pow (x, y) </code>: [[ซีชาร์ป]] (และภาษาอื่นที่ใช้[[บีซีแอล]])
* <code> (expt x y) </code>: [[คอมมอนลิสป์]], [[สกีม]]
* <code>math:pow (x, y) </code>: [[เออร์แลง]]

สัญลักษณ์ ^ ที่ไม่เกี่ยวกับการยกกำลังเช่น ในแบช ซี ซีพลัสพลัส ซีชาร์ป จาวา จาวาสคริปต์ เพิร์ล พีเอชพี ไพทอน และรูบี หมายถึงการดำเนินการ [[XOR]] ระดับบิต; ในปาสกาล หมายถึง[[การอ้างถึงทางอ้อม]] (indirection); ในโอแคเมลและเอ็มแอลมาตรฐาน หมายถึง[[การต่อสายอักขระ]] (concatenation)

== ประวัติของสัญกรณ์ ==
คำว่า ''กำลัง'' (power) ถูกใช้โดย[[ยุคลิด]] นักคณิตศาสตร์[[ชาวกรีก]] สำหรับยกกำลังสองเส้นตรง <ref name=MacTutor/> ในคริสต์ศตวรรษที่ 9 [[มุฮัมมัด อิบน์ มูซา อัลคอวาริซมีย์]] (Muḥammad ibn Mūsā al-Khwārizmī) ใช้คำว่า ''มัล'' (mal) สำหรับยกกำลังสองและ ''กับ'' (kab) สำหรับยกกำลังสาม ในเวลาต่อมานักคณิตศาสตร์ชาว[[อิสลาม]]ได้ใช้ m และ k เป็น[[สัญกรณ์คณิตศาสตร์]]ตามลำดับ ดังเห็นได้จากงานเขียนของ [[อะบู อัลฮะซัน อิบน์ อะลี อัลเกาะละศอดี]] (Abū al-Ḥasan ibn ʿAlī al-Qalaṣādī) ในคริสต์ศตวรรษที่ 15 <ref>{{MacTutor|id=Al-Qalasadi|title= Abu'l Hasan ibn Ali al Qalasadi}}</ref>

[[นีโกลา ชูว์เก]] (Nicolas Chuquet) ใช้รูปแบบสัญกรณ์ยกกำลังในคริสต์ศตวรรษที่ 15 ต่อมาในคริสต์ศตวรรษที่ 16 [[เฮนรีคุส กรัมมาทอยส์]] (Henricus Grammateus) และ[[มีคาเอล ชตีเฟิล]] (Michael Stifel) ก็ใช้เช่นกัน [[แซมวล จีก]] (Samuel Jeake) ได้แนะนำให้ใช้คำว่า ''ดัชนี'' (index) ในปี ค.ศ. 1696 <ref name=MacTutor>{{MacTutor|class=Miscellaneous|id=Mathematical_notation|title=Etymology of some common mathematical terms}}</ref> ในคริสต์ศตวรรษที่ 16 [[โรเบิร์ต เรคอร์ด]] (Robert Recorde) ใช้คำว่า ''สแควร์'' (square), ''คิวบ์'' (cube), ''เซนซิเซนซิก'' (zenzizenzic), ''เซอร์ฟอไลด์'' (surfolide), ''เซนซิคิวบ์'' (zenzicube), ''เซเคินด์เซอร์ฟอไลด์'' (second surfolide) และ ''เซนซิเซนซิเซนซิก'' (zenzizenzizenzic) สำหรับการยกกำลังสองถึงแปดตามลำดับ <ref>{{citation|url=http://www.worldwidewords.org/weirdwords/ww-zen1.htm|contribution=Zenzizenzizenzic - the eighth power of a number|title=World Wide Words|first=Michael|last=Quinion|accessdate=2010-03-19}}</ref> นอกจากนี้ก็มีการใช้คำว่า ''ไบควอเดรต'' (biquadrate) เพื่ออ้างถึงการยกกำลังสี่อีกด้วย

นักคณิตศาสตร์บางคน (เช่น[[ไอแซก นิวตัน]]) ใช้เลขชี้กำลังเฉพาะเมื่อมีกำลังมากกว่าสอง และนิยมแสดงกำลังสองเป็นการคูณซ้ำสองตัว ดังนั้นเมื่อพวกเขาเขียนพหุนาม พวกเขาจะเขียนเป็นรูปแบบดังตัวอย่าง ''ax'' + ''bxx'' + ''cx''<sup>3</sup> + ''d'' เป็นต้น

คำอีกคำหนึ่งที่มีความหมายเหมือนการยกกำลังในอดีตคือ ''อินโวลูชัน'' (involution) <ref>คำจำกัดความของ involution ปรากฏใน OED second edition ตีพิมพ์เมื่อ ค.ศ. 1989 และ Merriam-Webster online dictionary [http://www.m-w.com/dictionary/involution] การใช้ล่าสุดในความหมายนี้อ้างอิงโดย OED ตีพิมพ์เมื่อ ค.ศ. 1806.</ref> แต่ในปัจจุบันความหมายที่สามัญกว่าของคำนี้คือ [[อาวัตนาการ]] (involution) คือฟังก์ชันที่เป็นฟังก์ชันผกผันของตัวเอง

== ดูเพิ่ม ==
{{Portal|คณิตศาสตร์}}
{{div col|colwidth=20em}}
* [[ลอการิทึม]]
* [[ลอการิทึมเชิงซ้อน]]
* [[การเสื่อมสลายแบบเลขชี้กำลัง]]
* [[การเติบโตแบบเลขชี้กำลัง]]
* [[ฟังก์ชันเลขชี้กำลัง]]
* [[การยกกำลังมอดุลาร์]]
* [[รากที่ n]]
* [[เทเทรชัน]]
{{div col end}}

== อ้างอิง ==
{{รายการอ้างอิง}}

== แหล่งข้อมูลอื่น ==
* [http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0to0/ sci.math FAQ: What is 0<sup>0</sup>?]
* {{planetmath reference|id=3948|title=Introducing 0th power}}
* [http://www.mathsisfun.com/algebra/exponent-laws.html Laws of Exponents] with derivation and examples
* [http://www.askamathematician.com/?p=4524 What does 0^0 (zero to the zeroth power) equal?] on AskAMathematician.com
* [http://www.chontech.ac.th/~relat/sara/html/numberup.html เลขยกกำลังพื้นฐาน] {{Webarchive|url=https://web.archive.org/web/20110729045215/http://www.chontech.ac.th/~relat/sara/html/numberup.html |date=2011-07-29 }}

{{Authority control}}

[[หมวดหมู่:การยกกำลัง|การยกกำลัง]]
[[หมวดหมู่:การดำเนินการทวิภาค]]