50
เลขยกกาลัง การยกกาลัง คือการดาเนินการทางคณิตศาสตร์อย่างหนึ่ง เขียนอยู่ในรูป a n ซึ่ง ประกอบด้วยสองจานวนคือ ฐาน a และ เลขชี้กาลัง (หรือ กาลัง) n การยก กาลังมีความหมายเหมือนการคูณซ้า ๆ กัน คือ a คูณกันเป็นจานวน n ตัว เมื่อ n เป็นจานวนเต็มบวก คล้ายกับการคูณซึ่งมีความหมายเหมือนการบวกซ้า ๆ กัน โดยปกติเลขชี้กาลังจะแสดงเป็นตัวยกอยู่ด้านขวาของฐาน จานวน a n อ่านว่า a ยกกาลัง n หรือเพียงแค่ a กาลัง n ในภาษาอังกฤษอาจเรียกการยกกาลังบางตัว ต่างออกไปเช่น a 2 จะเรียกว่า square และ a 3 เรียกว่า cube เป็นต้น เมื่อตัวยกไมสามารถใช้ได้เช่นในข้อความแอสกี ก็มีรูปแบบการเขียนอย่างอื่นที่ใช้กัน อาทิ a^n และ a**n เป็นต้น เลขยกกาลัง a n อาจนิยามให้ n เป็นจานวนเต็มลบก็ได้เมื่อค่า a ไม่เป็นศูนย์ ตามปกติไม่สามารถกระจายจานวนจริง a กับ n ได้ทุก ๆ ค่าโดยธรรมชาติ แต่ เมื่อฐาน a เป็นจานวนจริงบวก จานวน a n สามารถนิยามเลขชี้กาลัง n ได้ทุกค่า แม้แต่จานวนเชิงซ้อนผ่านฟังก์ชันเลขชี้กาลัง e z ฟังก์ชันตรีโกณมิติก็สามารถ เขียนให้อยู่ในรูปของการยกกาลังได้

เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เลขยกก าลง

การยกก าลง คอการด าเนนการทางคณตศาสตรอยางหนง เขยนอยในรป an ซง

ประกอบดวยสองจ านวนคอ ฐาน a และ เลขชก าลง (หรอ ก าลง) n การยก

ก าลงมความหมายเหมอนการคณซ า ๆ กน คอ a คณกนเปนจ านวน n ตว

เมอ n เปนจ านวนเตมบวก

คลายกบการคณซงมความหมายเหมอนการบวกซ า ๆ กน

โดยปกตเลขชก าลงจะแสดงเปนตวยกอยดานขวาของฐาน จ านวน an อานวา a

ยกก าลง n หรอเพยงแค a ก าลง n ในภาษาองกฤษอาจเรยกการยกก าลงบางตว

ตางออกไปเชน a2 จะเรยกวา square และ a3 เรยกวา cube เปนตน เมอตวยกไม

สามารถใชไดเชนในขอความแอสก กมรปแบบการเขยนอยางอนทใชกน

อาท a^n และ a**n เปนตน

เลขยกก าลง an อาจนยามให n เปนจ านวนเตมลบกไดเมอคา a ไมเปนศนย

ตามปกตไมสามารถกระจายจ านวนจรง a กบ n ไดทก ๆ คาโดยธรรมชาต แต

เมอฐาน a เปนจ านวนจรงบวก จ านวน an สามารถนยามเลขชก าลง n ไดทกคา

แมแตจ านวนเชงซอนผานฟงกชนเลขชก าลง ez ฟงกชนตรโกณมตกสามารถ

เขยนใหอยในรปของการยกก าลงได

Page 2: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

การยกก าลงทมเลขชก าลงเปนเมทรกซใชส าหรบการหาค าตอบของระบบ

สมการเชงอนพนธเชงเสน

การยกก าลงกใชงานในความรสาขาอนอยางแพรหลายเชนเศรษฐศาสตร

ชววทยา เคม ฟสกส และวทยาการคอมพวเตอร ในการใชงานค านวณอยางเชน

ดอกเบยทบตน การเพมประชากร จลนพลศาสตรเคม พฤตกรรมของคลน และ

การเขารหสลบแบบกญแจอสมมาตร เปนตน

กราฟของสมการ y = ax ในฐาน a ตาง ๆ: ฐาน 10 (สเขยว), ฐาน e(สแดง), ฐาน

2 (สน าเงน), และฐาน ½ (สฟา) เสนโคงแตละเสนผานจด (0,1) เนองจาก

จ านวนทไมเปนศนยใด ๆ ยกก าลง 0 จะได 1 และทx = 1 คาของ y จะเทากบ

ฐาน เนองจากจ านวนใด ๆ ยกก าลง 1 จะไดจ านวนเดม

Page 3: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เลขชก าลงเปนจ านวนเตม

การด าเนนการยกก าลงดวยเลขชก าลงทเปนจ านวนเตม เปนขอก าหนดทจ าเปน

ของพชคณตมลฐานเทานน

เลขชก าลงเปนจ านวนเตมบวก

นพจน a2 = a·a เรยกวา square หมายถงรปสเหลยมจตรส (ดเพมทการยกก าลง

สอง) เพราะรปสเหลยมจตรสทมดานยาวดานละ a หนวย มพนทเทากบ

a2 ตารางหนวย

นพจน a3 = a·a·a เรยกวา cube หมายถงทรงลกบาศก (ดเพมทการยกก าลง

สาม) เพราะทรงลกบาศกทมดานยาวดานละ a หนวย มปรมาตรเทากบ a3

ลกบาศกหนวย

เลขชก าลงเปนตวบงบอกวาจะน าฐานมาคณกนกตว (ไมใชคณกนกครง)

ตวอยางเชน 35 = 3·3·3·3·3 = 243 ดงนฐาน 3 ปรากฏ 5 ครงในการคณเพราะ

เลขชก าลงเปน 5; คา 243 เปน ก าลง ของ 3 คอผลลพธทไดจาก 3 ยกก าลง 5

การยกก าลงทมเลขชก าลงเปนจ านวนเตมบวก อาจนยามไดจากความสมพนธ

เวยนเกด an+1 = a·an โดยใหเงอนไขเรมตนเปน a1 = a

เลขชก าลงเปน 0 หรอ 1

เนองจาก a1 หมายถงผลคณของ a เพยง 1 ตว ซงถกนยามใหมคาเทากบ a

Page 4: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

จากความสมพนธเวยนเกดอกรปแบบหนง an − 1 = an/a เมอสมมตให n = 1 จะ

ได a0 = 1

หรอกลาวอกทางหนงวา ก าหนดให n, m, และ n−m เปนจ านวนเตมบวก (โดย

ท a ไมเทากบศนย) จะไดความสมพนธ

ในกรณท n และ m มคาเทากน สมการดงกลาวจะกลายเปน

เนองจากตวเศษและตวสวนมคาเทากน ดงนนจงสามารถนยามคาของ a0 = 1

น าไปสกฎสองประการ

จ านวนใด ๆ ยกก าลง 1 จะไดตวมนเอง

จ านวนใด ๆ ทไมเปนศนย ยกก าลง 0 จะได 1 ซงเปนการตความมาจาก

ผลคณวาง ส าหรบกรณ 00 ดเพมทหวขอ 0 ยกก าลง 0

ความหมายทางคณตศาสตรเชงการจด

ส าหรบ n และ m ทเปนจ านวนเตมไมเปนลบ (จ านวนเตมบวกรวมทงศนย) เลขยกก าลง nm

จะหมายถงภาวะเชงการนบ (cardinality) ของเซตของm สงอนดบ (m-tuple) ทไดจากเซตทมสมาชก n ตว หรอพดอกนยหนงคอ เปนจ านวนของค าทมตวอกษร m ตว จากชดตวอกษร n ตว

Page 5: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

05 = │ {} │ = 0 ไมมหาสงอนดบ จาก

เซตวาง

14 = │ { (1,1,1,1) } │ = 1 มสสงอนดบ 1 ชด จาก

เซตทมสมาชก 1 ตว

23 = │ { (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

มสามสงอนดบ 8 ชด

จากเซตทมสมาชก 2

ตว

32 = │ { (1,1), (1,2), (1,3), (2,1),

(2,2), (2,3), (3,1), (3,2), (3,3) }

│ = 9

มสองสงอนดบ (ค

อนดบ) 9 ชด จากเซต

ทมสมาชก 3 ตว

41 = │ { (1), (2), (3), (4) } │ = 4

มหนงสงอนดบ 4 ชด

จากเซตทมสมาชก 4

ตว

50 = │ { () } │ = 1

มศนยสงอนดบ 1 ชด

จากเซตทมสมาชก 5

ตว

ดเพมเตมทหวขอการยกก าลงบนเซต

Page 6: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เลขชก าลงเปนจ านวนเตมลบ

จากนยาม จ านวนใด ๆ ทไมเปนศนย เมอยกก าลงดวย −1 จะท าใหเกดสวน

กลบหรอตวผกผนการคณ

จงสามารถนยามวา

เมอ a เปนจ านวนใด ๆ ทไมเปนศนยและ n เปนจ านวนเตมบวก แตส าหรบ

จ านวน 0 ยกก าลงจ านวนลบ จะท าใหเกดกรณการหารดวยศนย จงไมมการ

นยาม

นยามของ a−n ส าหรบคา a ใด ๆ ทไมใชศนย ท าใหเอกลกษณ aman = am+n เปน

จรงบนทกชวงจ านวนเตมของ m กบ n (ทงบวก ลบ และศนย) จากเดมเปนจรง

เฉพาะเมอ m กบ n เปนจ านวนเตมไมเปนลบ โดยเฉพาะอยางยงการใช

เอกลกษณนโดยก าหนดให m = −n จะท าให

เมอ a0 ไดนยามเชนนนแลว เปนเหตใหน าไปสการนยาม a−n = 1/an ดงทได

กลาวแลว

Page 7: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

การยกก าลงทมเลขชก าลงเปนจ านวนเตมลบ อาจสามารถเขยนใหอยในรป

ของการหารซ า ๆ จาก 1 ดวยฐานกได ตวอยางเชน

เอกลกษณและสมบต

เอกลกษณส าคญทสดของการยกก าลงทสอดคลองกบกรณเลขชก าลงเปน

จ านวนเตมคอ

เอกลกษณนจงเปนผลทตามมา

และ

เอกลกษณพนฐานอกอนหนงคอ

ในขณะทการบวกและการคณมสมบตการสลบท เชน 2+3 = 5 = 3+2 และ 2·3

= 6 = 3·2 แตการยกก าลงไมมสมบตการสลบท เชน 23 = 8 แต 32 = 9

Page 8: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

และเชนเดยวกน ในขณะทการบวกและการคณมสมบตการเปลยน

หม เชน (2+3)+4 = 9 = 2+(3+4) และ (2·3)·4 = 24 = 2·(3·4) แตการยกก าลงไม

มสมบตการเปลยนหม ตวอยางเชน "23 ยกก าลง 4" จะไดผลลพธเปน 84 หรอ

เทากบ 4,096 แต "2 ยกก าลง 34" จะไดผลลพธเปน 281 หรอ

2,417,851,639,229,258,349,412,352 ถาหากเขยนเลขยกก าลงซอนกนโดยไม

ใสวงเลบ ล าดบของการค านวณจะท าจากตวบนสดมากอน นนคอ

ก าลงของ 10

ดเพมท สญกรณวทยาศาสตร

ในระบบเลขฐานสบ ก าลงจ านวนเตมของ 10 สามารถเขยนแทนไดดวยเลข 1

ตามดวยหรอน าโดยเลข 0 จ านวนหนง ซงพจารณาจากเครองหมายและขนาด

ของเลขชก าลง ตวอยางเชน 103 = 1,000 และ 10−4 = 0.0001 เปนตน

การยกก าลงดวยฐาน 10 ถกใชในสญกรณวทยาศาสตร เพอใชอธบายจ านวน

ขนาดใหญหรอเลกมาก ตวอยางเชน จ านวน 299,792,458 เมตรตอวนาท

(ความเรวแสงในสญญากาศ) สามารถเขยนไดเปน 2.99792458 × 108 m/s หรอ

เทากบประมาณ 2.998 × 108 m/s

Page 9: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ค าอปสรรคในหนวยเอสไอทมพนฐานบนก าลงของ 10 กถกใชอธบายปรมาณ

ทใหญหรอเลกมากไดเชนกนเชน ค าอปสรรค กโล หมายถง 103 = 1,000

ดงนน 1 กโลเมตรจงเทากบ 1,000 เมตร

ก าลงของ 2

ก าลงจ านวนเตมบวกของ 2 เปนสงทส าคญในวทยาการคอมพวเตอร เพราะวา

ตวแปรฐานสองขนาด n บต จะมคาทเปนไปไดทงหมด 2n คา

ก าลงของ 2 กเปนสงส าคญในทฤษฎเซต เนองจากเซตเซตหนงทม

สมาชก n ตว จะมเซตก าลงทมสมาชก 2n ตว (เซตก าลงคอเซตของเซตยอย

ทงหมดจากเซตตนแบบ)

ก าลงจ านวนเตมลบของ 2 กใชกนทวไป เชน 2−1 = หมายถงครง (half),

2−2 = คอหนงในส (quarter) เปนตน

ในระบบเลขฐานสอง ก าลงจ านวนเตมของ 2 กสามารถเขยนแทนไดดวยเลข 1

แลวตามดวยหรอน าโดยเลข 0 ซงพจารณาจากเครองหมายและขนาดของเลขช

ก าลง ตวอยาง 23 เขยนในเลขฐานสองวา 10002 เปนตน

ก าลงของ 1

ก าลงจ านวนเตมของ 1 ทกจ านวนมคาเทากบ 1 นนคอ 1n = 1

ก าลงของ 0

Page 10: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ถาเลขชก าลงเปนจ านวนบวก เลขยกก าลงของ 0 จะได 0 นนคอ 0n = 0; n > 0

ถาเลขชก าลงเปนจ านวนลบ เลขยกก าลงของ 0 จะไมนยาม เนองจากท าใหเกด

การหารดวยศนย

ถาเลขชก าลงเปนศนย ผแตงต าราบางทานไดนยามวา 00 = 1 ในขณะทบางทาน

กคงไววาไมนยาม ดทหวขอ 0 ยกก าลง 0

ก าลงของ −1

ถา n เปนจ านวนค จะได (−1)n = 1

ถา n เปนจ านวนค จะได (−1)n = −1

จากสมบตดงกลาว ก าลงของ −1 จงมประโยชนในการแสดงล าดบทมการ

สลบเครองหมาย สวนกรณทคลายกนส าหรบจ านวนเชงซอน i ดทหวขอก าลง

ของจ านวนเชงซอน

เลขชก าลงขนาดใหญ

ลมตของล าดบของก าลงของจ านวนทมากกวา 1 จะลออก หมายความวาจะมคา

เพมขนเรอย ๆ โดยไมจ ากด

an → ∞ เมอ n → ∞ ถา a > 1

อาจเรยกไดวา a ยกก าลง n จะมคาเขาใกลอนนตถา n มคาเขาใกลอนนต

เมอ a มคามากกวา 1

Page 11: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ส าหรบก าลงของจ านวนทมคาสมบรณนอยกวา 1 ลมตของล าดบจะลเขาคา 0

an → 0 เมอ n → ∞ ถา |a| < 1

และก าลงของ 1 จะไดคา 1 เสมอ

an = 1 ส าหรบทกคาของ n ถา a = 1

แตหากฐาน a มคาเขาใกล 1 พรอมกบเลขชก าลงมคาเขาใกลอนนต ลมตของ

มนไมส าคญวาจะตองเทากบ 1 ตวอยางกรณหนงทส าคญคอ

(1 + n−1)n → e เมอ n → ∞

ดเพมในก าลงของ e

ก าลงจ านวนจรงของจ านวนจรงบวก

การยกก าลงจ านวนจรงบวก ดวยเลขชก าลงทไมเปนจ านวนเตม สามารถ

ค านวณไดสองวธนนคอ

เลขชก าลงเปนจ านวนตรรกยะ สามารถนยามใหเปนรากท n และเลขช

ก าลงทไมเปนศนยสามารถนยามไดจากความตอเนอง

เลขชก าลงเปนจ านวนจรง สามารถนยามใหเปนลอการทมธรรมชาตโดย

ใชฟงกชนเลขชก าลง

Page 12: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เอกลกษณและสมบตทแสดงไวดานบนซงนยามไวส าหรบเลขชก าลงจ านวน

เตม กยงคงเปนจรงอยส าหรบเลขชก าลงจ านวนจรงบวกทไมใชจ านวนเตม

อยางไรกตามเอกลกษณน

ไมสามารถขยายแนวคดไดอยางคงเสนคงวาถา a เปนจ านวนจรงลบ ดเพมท

หวขอรากท n ทเปนลบ ความผดพลาดของเอกลกษณนเปนมลฐานของปญหา

ทเกยวกบก าลงของจ านวนเชงซอน ซงไดอธบายไวแลวทหวขอความผดพลาด

ของเอกลกษณก าลงและลอการทม

รากท n มขส าคญ

จากบนลงลาง: x1/8, x1/4, x1/2, x1, x2, x4, x8

ดบทความหลกท รากท n

รากท n ของจ านวน a คอจ านวน x ทซง xn = a

Page 13: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ถา a เปนจ านวนจรงบวกและ n เปนจ านวนเตมบวก จะมค าตอบ

ส าหรบ xn = a ทเปนจ านวนจรงบวกหนงจ านวนอยางแนนอน ค าตอบดงกลาว

เรยกวา รากท n มขส าคญของ a(principal n-th root) เขยนแทนไดดวย

สญลกษณ เมอ คอกรณฑ หรอเขยนอกรปแบบหนงเปน a1/n เชน 41/2 =

2, 81/3 = 2

เมอพดถงรากท n ของจ านวนจรงบวก a มกจะหมายถงรากท n มขส าคญ

ของ a ดงทไดกลาวแลวนน

เลขชก าลงเปนจ านวนตรรกยะ

ก าลงของจ านวนจรงบวก a ซงมเลขชก าลงเปนจ านวนตรรกยะ m/n ในพจน

นอยทสด สอดคลองกบ

เมอ m เปนจ านวนเตมและ n เปนจ านวนเตมบวก

ก าลงของ e

ดบทความหลกท ฟงกชนเลขชก าลง

e หรอคาคงตวของออยเลอร เปนคาคงตวทางคณตศาสตรทส าคญคาหนง ม

คาประมาณ 2.718 และเปนฐานของลอการทมธรรมชาต ใชเปนแนวทาง

น าไปสการนยามการยกก าลงทมเลขชก าลงไมเปนจ านวนเตม คาคงตวนนยาม

โดยลมตตอไปน ซงเลขชก าลงมคาเขาใกลอนนตในขณะทฐานมคาเขาใกล 1

Page 14: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ฟงกชนเลขชก าลงซงนยามโดยลมตตอไปน

ม x เปนเลขชก าลงเพมเขามา และสอดคลองกบเอกลกษณการยกก าลง

ฟงกชนเลขชก าลงนยามขนส าหรบ x ทเปนจ านวนเตม จ านวนตรรกยะ

จ านวนจรง และจ านวนเชงซอนทงหมด นอกจากนกสามารถขยายการยกก าลง

ไปบนสงอนทไมใชจ านวนไดเชนเมทรกซจตรส อยางไรกตามเอกลกษณการ

ยกก าลงทยกมาจะเปนจรงกตอเมอ x และ y สามารถสลบทกนไดเทานน

การพสจนอยางสนวา e ยกก าลงจ านวนเตมบวก k เหมอนกบฟงกชนเลขช

ก าลง ek แสดงไดดงน

แสดงใหเหนวา ex+y สอดคลองกบเอกลกษณการยกก าลงเมอ x และ y เปน

จ านวนเตมบวก ผลจากการพสจนยงคงสอดคลองส าหรบจ านวนทกจ านวน

ดวย ไมเพยงแคจ านวนเตมบวก

Page 15: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เลขชก าลงเปนจ านวนจรง

เนองจากจ านวนจรงสามารถประมาณคาไดดวยจ านวนตรรกยะ การยกก าลง

ดวยจ านวนจรง x ทกจ านวนจงสามารถนยามไดดวยความตอเนองดวยกฎดงน

ลมตดงกลาวซง r ทมคาเขาใกล x ถกน ามาแทนทเฉพาะจ านวนตรรกยะ r

ยกตวอยาง ถา

ดงนน

การยกก าลงดวยจ านวนจรงโดยปกตกสามารถท าใหส าเรจไดดวยลอการทม

แทนทจะใชลมตของจ านวนตรรกยะ

ลอการทมธรรมชาต ln(x) เปนฟงกชนผกผนของฟงกชนเลขชก าลง ex ซง

นยามไวส าหรบ b > 0 และสอดคลองกบเงอนไข

ถา bx ถกนยามขนโดยยงคงรกษากฎตาง ๆ ของลอการทมและการยกก าลง จะ

ไดวา

Page 16: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ส าหรบจ านวนจรง x แตละจ านวน

สงนสามารถใชเปนนยามทางเลอกของการยกก าลงดวยจ านวนจรง bx และ

สอดคลองกบวธการใชเลขชก าลงเปนจ านวนตรรกยะกบความตอเนอง นยาม

ดงกลาวเปนวธการปกตสามญในบรบทของจ านวนเชงซอนอกดวย

รากท n ทเปนลบ

ก าลงของจ านวนจรงบวกจะมคาเปนจ านวนจรงบวกเสมอ อยางไรกตาม

ค าตอบของสมการ x2 = 4 อาจเปน 2 หรอ −2 กได คามขส าคญของ 41/2 คอ 2

แต −2 กเปนรากทสองทถกตองอกคาหนงดวย หากนยามของการยกก าลงของ

จ านวนจรงขยายแนวคดใหมผลลพธเปนจ านวนลบได ผลของการยกก าลงอาจ

ลกลน

ถา n เปนจ านวนค จากสมการ xn = a ถา a เปนบวกจะมสองค าตอบ ไดแกราก

ท n ทเปนบวกและลบ แตถา a เปนลบจะไมมค าตอบเปนจ านวนจรง

ถา n เปนจ านวนค จากสมการ xn = a จะมค าตอบทเปนจ านวนจรงหนงจ านวน

ถา a เปนบวกกจะไดค าตอบนนเปนบวก และถา a เปนลบกจะไดค าตอบนน

เปนลบ

ส าหรบเลขชก าลงทเปนจ านวนตรรกยะ m/n ในพจนนอยทสด ถา m เปน

จ านวนค ผลลพธจะเปนบวก; ในกรณท a เปนลบ ถา m กบ n เปนจ านวนค

ผลลพธจะเปนลบ; ในกรณท a เปนบวกและ n เปนจ านวนค ผลลพธอาจเปน

Page 17: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

บวกหรอลบอยางใดอยางหนง ตวอยางเชน (−27)1/3 = −3, (−27)2/3 = 9, 43/2 ม

สองค าตอบคอ 8 กบ −8 และเนองจากไมมจ านวนจรง x ทท าให x2 = −1

ดงนนนยามของ am/n ในกรณท a เปนลบและ n เปนจ านวนค จงจ าเปนตองใช

หนวยจนตภาพ i เขามาเกยวของ

ไมวาวธการใชลอการทมหรอเลขชก าลงเปนจ านวนตรรกยะ กไมสามารถ

นยาม ar ใหเปนจ านวนจรงได ส าหรบ a ทเปนจ านวนจรงลบและทกชวงคา

ของจ านวนจรง r และท านองเดยวกน er ใหผลลพธเปนบวกส าหรบทกชวงคา

ของจ านวนจรง r ดงนน ln(a) ซงเปนฟงกชนผกผนจงไมอาจนยามใหเปน

จ านวนจรงไดส าหรบ a ≤ 0 (ในทางตรงขาม ก าลงเชงซอนของจ านวน

ลบ a สามารถนยามไดดวยลอการทมเชงซอนของ a)

วธการใชเลขชก าลงเปนจ านวนตรรกยะไมสามารถใชไดกบคา a ทเปนลบ

เพราะวธการนขนอยกบความตอเนอง หมายความวา ฟงกชน f(r) = arเปนการ

ขยายจ านวนตรรกยะไปเปนจ านวนจรงอยางตอเนองเพยงหนงเดยวเมอ a > 0

แตในกรณ a < 0 ฟงกชน f ไมตอเนองบนเซตของจ านวนจรง r ทก าหนดไวแต

ละคา

ตวอยาง สมมตให a = −1 รากท n ของ −1 เทากบ −1 ส าหรบจ านวนค

บวก n ทกจ านวน; แตถา n เปนจ านวนคบวก (−1)(m/n) = −1 เมอ m เปน

จ านวนค, (−1)(m/n) = 1 เมอ m เปนจ านวนค ดงนนเซตของจ านวนตรรกยะ q ท

ท าให (−1)q = 1 เปนเซตหนาแนน (dense set) ในจ านวนตรรกยะ เชนเดยวกบ

Page 18: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เซตของ q ทท าให (−1)q = −1 สงนหมายความวาฟงกชน (−1)q ไมตอเนองท

จ านวนตรรกยะ q ใด ๆ ทก าหนดไวแตละคา

เมอใชเอกลกษณการยกก าลงกบรากท n ทเปนลบ จ าเปนตองระวดระวงเปน

พเศษ ตวอยางเชน −27 = (−27)((2/3)×(3/2)) = ((−27)2/3)3/2 = 93/2 = 27 ซงผดอยาง

ชดเจน ปญหาอยทการใชรากทสองทเปนบวก แทนทจะใชรากทสองทเปนลบ

ในขนตอนสดทาย แตโดยทวไปปญหาทคลายกนนมกเกดขนกบจ านวน

เชงซอน ดงทไดอธบายไวในหวขอความผดพลาดของเอกลกษณก าลงและ

ลอการทม

ก าลงจ านวนจนตภาพของ e

ฟงกชนเลขชก าลง ez สามารถนยามโดยลมตของ (1 + z/N)Nเมอ N มคาเขาใกล

อนนต และเมอเปนเชนนน eiπ กจะเปนลมตของ (1 + iπ/N)N ใน

Page 19: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ภาพเคลอนไหวน N มคาเพมขนจาก 1 ถง 100 การค านวณ (1 + iπ/N)N แสดง

เปนผลรวมทเกดจากการคณซ า ๆ Nตวในระนาบเชงซอน ซงจดสดทายเปน

คาทแทจรงของ(1 + iπ/N)N แสดงใหเหนวาเมอ N มากขน (1 + iπ/N)N จะมคา

เขาใกล −1 ดงนน eiπ = −1 ซงเปนทรจกในชอเอกลกษณของออยเลอร

ดบทความหลกท ฟงกชนเลขชก าลง

การท าความเขาใจ eix ส าหรบจ านวนจรง x ตองทราบถงการแปลความหมาย

เชงเรขาคณตของการด าเนนการบนจ านวนเชงซอน และนยามก าลงของ e ดงท

กลาวไวแลวขางตน พจารณารปสามเหลยมมมฉาก (0, 1, 1 + ix/n) ส าหรบ

จ านวน n ทมขนาดใหญมาก ๆ รปสามเหลยมนนจะมลกษณะเขาใกลเซกเตอร

ของรปวงกลมมากยงขน โดยมมมทจดศนยกลางเทากบ x/n เรเดยน และรป

สามเหลยมอน ๆ (0, (1 + ix/n)k, (1 + ix/n)k+1) กเปนรปสามเหลยมคลายรวมกน

ส าหรบ k ทกคา เพราะฉะนน ส าหรบจ านวน n ขนาดใหญ จดทเปนขอบเขต

ของ(1 + ix/n)n กคอจดทอยบนรปวงกลมหนงหนวย ซงมมทวดจากแกน

จ านวนจรงบวกเทากบ xเรเดยน พกดเชงขวของจดนคอ (r, θ) = (1, x) และ

พกดคารทเซยนคอ (cos x, sin x) ดงนนในทายทสด eix = cos x + i sin x เรยกวา

สตรของออยเลอร ซงเชอมโยงพชคณตกบตรโกณมตดวยความหมายของ

จ านวนเชงซอน

ค าตอบของสมการ ez = 1 คอพหคณจ านวนเตมของ 2πi

Page 20: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ในกรณทวไป ถาก าหนดให eb = a ดงนนค าตอบของสมการ ez = a หาไดโดย

การบวกb เขากบพหคณจ านวนเตมของ 2πi

ดงนนฟงกชนเลขชก าลงเชงซอนเปนฟงกชนเปนคาบ (periodic function) ซงม

คาบเทากบ 2πi

นอกจากนกยงมสตรอน ๆ อกเชน eiπ = −1; ex + iy = ex(cos y + i sin y)

ฟงกชนตรโกณมต

ดบทความหลกท สตรของออยเลอร

จากการแปลงสตรของออยเลอร ฟงกชนตรโกณมต โคไซนและไซนถกแปลง

เปน

โคไซนและไซนถกนยามขนโดยทางเรขาคณตกอนมการประดษฐจ านวน

เชงซอนในประวตศาสตร สตรทงสองดานบนเปนการลดรปสตรทซบซอน

ของฟงกชนตรโกณมตของผลบวกเปนสตรการยกก าลงอยางงายวา

การใชการยกก าลงทมเลขชก าลงเปนจ านวนเชงซอน อาจชวยลดรปปญหาใน

ตรโกณมตไปเปนพชคณตได

Page 21: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ก าลงจ านวนเชงซอนของ e

การยกก าลง z = ex+i·y สามารถค านวณไดจาก ex · ei·y; ตวประกอบสวน

จรง ex คอคาสมบรณของ z และตวประกอบสวนจนตภาพ ei·yระบทศทางของ z

ก าลงจ านวนเชงซอนของจ านวนจรงบวก

ก าหนดให a เปนจ านวนจรงบวก และ z เปนจ านวนเชงซอนใด ๆ การยก

ก าลง az นยามโดย ez·ln(a) เมอ x = ln(a) เปนค าตอบจ านวนจรงเพยงหนงเดยว

ของสมการ ex = a ดงนนวธการเดยวกนทใชกบเลขชก าลงจ านวนจรงกยงคง

ใชไดกบเลขชก าลงจ านวนเชงซอน ตวอยางเชน

2i = e i·ln(2) = cos(ln(2)) + i·sin(ln(2)) ≈ 0.76924 + 0.63896i

ei ≈ 0.54030 + 0.84147i

10i ≈ −0.66820 + 0.74398i

(e2π)i ≈ 535.49i ≈ 1

ก าลงของจ านวนเชงซอน

ก าลงจ านวนเตมของจ านวนเชงซอนทไมเปนศนยนยามโดยการคณหรอการ

หารซ า ๆ เชนเดยวกบทไดกลาวแลว ถา i คอหนวยจนตภาพและ n คอจ านวน

เตมแลว in จะมคาเทากบ 1, i, −1 หรอ −i ขนอยกบคา n วาสมภาคกบ 0, 1, 2

หรอ 3 มอดโล 4 ตามล าดบ (หรออกนยหนงคอ n หารดวย 4 แลวเหลอเศษ

Page 22: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เทาใด) ดวยสาเหตน ก าลงของ i จงมประโยชนในการเขยนแทนล าดบทมคาบ

แบงเปน 4 ชวง

ก าลงจ านวนเชงซอนของจ านวนจรงบวกไดนยามผานทาง ex ตามทอธบายไว

ในหวขอก าลงจ านวนเชงซอนของจ านวนจรงบวก ซงเปนฟงกชนตอเนอง

การขยายแนวคดของฟงกชนเหลานไปเปนกรณทวไปคอ ก าลงทไมเปน

จ านวนเตมของจ านวนเชงซอนทไมใชจ านวนเตมบวก ท าใหเกดความยงยาก

นนคอตองนยามฟงกชนไมตอเนองหรอฟงกชนหลายคาอยางใดอยางหนง แต

ไมวาทางเลอกใดกไมสามารถนยามใหสอดคลองเพยงพอทงหมดได

ก าลงจ านวนตรรกยะของจ านวนเชงซอนตองเปนค าตอบของสมการเชง

พชคณตสมการหนง ดงนนมนจงมค าตอบทเปนไปไดจ านวนจ ากดหนงเสมอ

ตวอยางเชน w = z1/2 ตองเปนค าตอบของสมการ w2 = z แตเมอ w เปนค าตอบ

แลว −w กเปนค าตอบดวยเชนกนเพราะวา (−1)2 = 1 ค าตอบเพยงหนงเดยวท

ถกเลอกโดยคอนขางปราศจากเหตผลเรยกวาคามขส าคญ (principal value)

สามารถเลอกโดยใชกฎทวไปซงใชกบก าลงทไมใชจ านวนตรรกยะดวย

ก าลงและลอการทมเชงซอนโดยธรรมชาตถอวาเปนฟงกชนคาเดยวบนผวร

มนน (Riemann surface) รปแบบคาเดยวถกนยามขนโดยการเลอกผวขนมา

อนหนง คาของมนไมมความตอเนองตามแนวสวนตดกง (branch cut) การ

เลอกหนงค าตอบจากหลายค าตอบเปนคามขส าคญกยงคงไดฟงกชนทไมม

Page 23: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ความตอเนอง และกฎตาง ๆ ทใชจดการกบการยกก าลงตามปกตอาจน าไปส

ความผดพลาดได

ก าลงจ านวนอตรรกยะของจ านวนเชงซอนมค าตอบทเปนไปไดไมจ ากด เพราะ

ธรรมชาตของลอการทมเชงซอนสามารถมค าตอบไดหลายคา คามขส าคญคอ

คาคาหนงทถกเลอกดวยกฎอยางหนงทามกลางคณสมบตอน ๆ ทท าใหแนใจ

วา ก าลงของจ านวนเชงซอนทมสวนจรงเปนบวกและสวนจนตภาพเปนศนย

จะมคาเหมอนกบก าลงของจ านวนจรงทเกยวของ

การยกก าลงจ านวนจรงดวยจ านวนเชงซอนเปนการด าเนนการทแตกตางจาก

การยกก าลงจ านวนเชงซอนทเกยวของ อยางไรกตามในกรณของจ านวนจรง

บวก คามขส าคญนนเหมอนกน

ก าลงของจ านวนจรงลบนนไมไดถกนยามเสมอไป และไมตอเนองแมวาจะได

นยามแลว ดงนนเมอพบกบจ านวนเชงซอน ควรใชการด าเนนการส าหรบ

จ านวนเชงซอนแทน

ก าลงจ านวนเชงซอนของจ านวนเชงซอน

ส าหรบจ านวนเชงซอน a และ b ซง a ≠ 0 สญกรณ ab เกดความก ากวมใน

ค าตอบเหมอนกบ log a

เพอหาคาของ ab ขนตอนแรกจะตองเลอกลอการทมของ a ขนมาคาหนง

ทางเลอกนนอาจเปน Log a (คอคามขส าคญของ log a โดยปรยายหากมได

Page 24: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ก าหนดเงอนไขอนเพม) หรออาจเปนคาหนงจากกงอนของ log z ทก าหนด

ตายตว ดงนนจงสามารถนยามโดยใชฟงกชนลอการทมเชงซอนดงน

เพราะนยามนสอดคลองกบนยามทใหไวกอนหนาน ในกรณท a เปนจ านวน

จรงบวกและคามขส าคญของ log a (ซงเปนจ านวนจรง) ไดถกเลอก

ถา b เปนจ านวนเตม ดงนนคาของ ab จะไมขนอยกบตวเลอกของ log a เพราะ

สอดคลองกบนยามการยกก าลงทมเลขชก าลงเปนจ านวนเตม

ถา b เปนจ านวนตรรกยะ m/n ในพจนนอยทสดโดยท n > 0 ดงนนจะมตวเลอก

ของ log a เปนจ านวนไมจ ากดใหคาทแตกตางกน n จ านวนส าหรบ abซงคา

เหลานคอจ านวนเชงซอน z ทเปนค าตอบของสมการ zn = am

ถา b เปนจ านวนอตรรกยะ ดงนนจะมตวเลอกของ log a เปนจ านวนไมจ ากด

น าไปสคาของ ab ทแตกตางกนเปนจ านวนไมจ ากดเชนกน

การค านวณก าลงจ านวนเชงซอนสามารถท าใหงายขนโดยการแปลง

ฐาน a เปนรปแบบเชงขว ดงทอธบายไวดานลาง การสรางทคลายกสามารถ

ใชควอเทอรเนยน (quaternion) ไดดวย

รากเชงซอนของ 1 (รากปฐมฐาน)

Page 25: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

รากทสามของ 1 ทงสามราก

ดบทความหลกท รากของ 1

จ านวนเชงซอน a ทท าให an = 1 ส าหรบจ านวนเตมบวก n เรยกวา รากท n

ของ 1 (nth root of unity) หรอเรยกสน ๆ วา รากของ 1 (root of unity) ราก

เหลานม n ค าตอบและวางตวคลายจดยอดของรป n เหลยมปรกต บนรป

วงกลมหนงหนวยบนระนาบเชงซอน ซงมจดยอดจดหนงอยทจ านวนจรง 1

ถา zn = 1 แต zk ≠ 1 ส าหรบจ านวนธรรมชาต k ตามเงอนไข 0

< k < n แลว z จะเรยกวา รากปฐมฐานท n (primitive nth root of unity)

ตวอยางเชน −1 เปนรากปฐมฐานทสองเพยงตวเดยว, รากปฐมฐานทสมสอง

ตวไดแก i และ −i (ไมนบรากปฐมฐานทสอง) เปนตน

จ านวน e2πi (1/n) คอรากปฐมฐานท n ทมอารกวเมนตเปนบวกนอยทสด

(บางครงอาจเรยกวา รากปฐมฐานท n "มขส าคญ" ถงแมวาการใชค านจะไม

Page 26: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

แพรหลายและอาจท าใหสบสนกบ คามขส าคญของรากท n ของ 1 ซงหมายถง

คา 1 [1])

สวนรากของ 1 จ านวนอน ๆ ค านวณไดจาก

ส าหรบ 2 ≤ k ≤ n

รากของจ านวนเชงซอนโดยทวไป

แมวาลอการทมเชงซอนมคาทเปนไปไดมากมายไมจ ากด แตกมคาเปนจ านวน

จ ากดเทานนทเปนค าตอบของ az โดยเฉพาะในกรณท z = 1/n และ nเปน

จ านวนเตมบวก คาเหลานคอรากท n ของ a ซงเปนค าตอบของสมการ xn = a

ในทางคณตศาสตร เราอาจท าใหการค านวณสะดวกขนโดยนยาม a1/n ใหเปน

คามขส าคญของราก ถา a เปนจ านวนจรงบวก จะสามารถเลอกค าตอบเปน

จ านวนจรงบวกเปนคามขส าคญไดอยางงายดาย ส าหรบจ านวนเชงซอน

โดยทวไป รากท n ทมอารกวเมนตนอยทสดมกจะถกเลอกเปนคามขส าคญ

ของราก เชนเดยวกบคามขส าคญของรากของ 1

เซตของรากท n ของจ านวนเชงซอน a หาไดจากการคณคามขส าคญ

ของ a1/n ดวยรากท n ของ 1 แตละจ านวน ตวอยางเชน รากทสของ 16 ไดแก 2,

−2, 2i และ −2i เพราะวาคามขส าคญของรากทสของ 16 คอ 2 และรากทส

ของ 1 ไดแก 1, −1, i และ −i

Page 27: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

การค านวณก าลงจ านวนเชงซอน

การค านวณก าลงจ านวนเชงซอนสามารถท าไดงายขนโดยเขยนเปนการยก

ก าลงในรปแบบเชงขว จ านวนเชงซอน z ทกจ านวนสามารถเขยนใหอยใน

รปแบบเชงขวดงน

เมอ r คอจ านวนจรงไมเปนลบและ θ คออารกวเมนตของ z (ซงเปนจ านวน

จรง) รปแบบเชงขวมการแปลความหมายเชงเรขาคณตวา ถาจ านวน

เชงซอน u+ iv แทนไดดวยจด (u, v) บนระนาบเชงซอนโดยระบบพกดคารท

เซยน ดงนน (r, θ) กคอจดเดยวกนในระบบพกดเชงขว นนหมายความวา r คอ

"รศม" ทมคาตาม r2 = u2 + v2 และ θ คอ "มม" ทมคาตาม θ = atan2(v, u)

(ฟงกชน atan2 มาจากฟงกชน arctan ทมเงอนไขเพมเตม) มมเชงขว θ มความ

ก ากวมเนองจาก θ สามารถบวกดวยพหคณใด ๆ ของ 2π แลวไมท าใหจด

เปลยนต าแหนงไปจากเดม ตวเลอกแตละคาของ θ โดยทวไปจะใหผลการยก

ก าลงทแตกตางกน สวนตดกงสวนหนงสามารถน ามาใชเพอเลอกคาทเจาะจง

คามขส าคญ (สวนตดกงทสามญทสด) สอดคลองกบ θ ทถกเลอกในชวงคา

(−π, π] ส าหรบจ านวนเชงซอนทมสวนจรงเปนบวกและสวนจนตภาพเปน

ศนยซงใชคามขส าคญเชนนน จะใหผลลพธเดยวกบการใชจ านวนจรงท

เกยวของ

เพอทจะค านวณก าลงเชงซอน ab ขนแรกเขยน a ในรปแบบเชงขว

Page 28: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ดงนน

และจะได

ถา b ถกแบงออกเปน c + di ดงนนสตรส าหรบ ab จงเขยนใหชดเจนยงขนได

เปน

สตรสดทายนชวยค านวณการยกก าลงจ านวนเชงซอนไดโดยงาย จากการแบง

ฐานกบเลขชก าลงออกเปนรปแบบเชงขวกบรปแบบคารทเซยนตามล าดบ สตร

ดงกลาวแสดงผลลพธทงรปแบบเชงขวและรปแบบคารทเซยน (ผานทาง

เอกลกษณของออยเลอร)

ตวอยางตอไปนจะใชคามขส าคญคอสวนตดกงทท าให θ อยในชวงคา (−π,

π] ก าหนดโจทย i i ขนแรกเขยน i ในรปแบบเชงขวและรปแบบคารทเซยน

ดงน

Page 29: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

จากการแปลงดานบน จะไดวา r = 1, θ = π/2, c = 0 และ d = 1 ดงนน

เชนเดยวกนส าหรบโจทย (−2)3 + 4i หารปแบบเชงขวของ −2 ไดเปน

แลวใชสตรดานบนค านวณจนไดค าตอบ

คาของการยกก าลงจ านวนเชงซอนขนอยกบกงทเลอก ตวอยางเชน ถาเลอก

รปแบบเชงขวของ i = 1ei (5π/2) เพอค านวณ i i ค าตอบจะกลายเปนe−5π/2 แตคา

มขส าคญของ i i คอ e−π/2 ดงตวอยางทแสดงไวแลว เซตของคาทงหมดท

เปนไปไดส าหรบ i i สามารถหาไดจากเงอนไข [2]

เมอ k เปนจ านวนเตมจ านวนหนง ดงนนค าตอบทเปนไปไดของ i i จงมจ านวน

ไมจ ากดส าหรบคา k แตละคา ค าตอบทงหมดมสวนจนตภาพเปนศนย ดงนน

เราจงอาจกลาวไดวา i i มคาเปนจ านวนจรงและมเปนอนนต

ความผดพลาดของเอกลกษณก าลงและลอการทม

Page 30: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เอกลกษณการยกก าลงและลอการทมบางอยางทใชกบจ านวนจรงบวก ใชงาน

ไมไดกบจ านวนเชงซอน ไมวาการยกก าลงเชงซอนและลอการทมเชงซอนถก

นยามขนอยางไร ยกตวอยาง

เอกลกษณ log(ab) = b · log a เปนจรงเมอ a เปนจ านวนจรงบวก

และ b เปนจ านวนจรง แตส าหรบกงมขส าคญ (principal branch) ของ

ลอการทมเชงซอนจะไดวา

ไมวากงใดของลอการทมจะถกเลอก ความผดพลาดดงกลาวกยงคงมอย

แนวทางทดทสด (เมอตองการใชผลลพธเทานน) คอการก าหนดให

เอกลกษณนกไมเปนจรงหากพจารณาวาลอการทมเปนฟงกชนหลายคา คาท

เปนไปไดของ log(ab) จะมคา b · log a เหลานนเปนเพยงเซตยอยเซตหนง คาท

เปนไปไดทงสองขางของเอกลกษณซงแสดงดวย Log(a) แทนคามขส าคญของ

log(a) และ m กบ n เปนจ านวนเตมใด ๆ จะไดวา

Page 31: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เอกลกษณ (ab)c = acbc และ (a/b)c = ac/bc ใชไดเฉพาะเมอ a กบ b เปน

จ านวนจรงบวกและ c เปนจ านวนจรง แตการค านวณโดยใชกงมขส าคญ

แสดงใหเหนวา

และ

ในทางตรงขาม เมอ c เปนจ านวนเตม เอกลกษณเหลานจะใชไดกบจ านวน

เชงซอนทไมเปนศนยทกจ านวน

ถาการยกก าลงถกพจารณาวาเปนฟงกชนหลายคา ดงนนคาทเปนไปไดของ

(−1×−1)1/2 คอ {1, −1} เอกลกษณยงคงเปนจรง แตการกลาววา

{1} = {(−1×−1)1/2} นนผด

เอกลกษณ (ea)b = eab เปนจรงส าหรบจ านวนจรง a และ b แตการสมมต

ใหเอกลกษณนเปนจรงส าหรบจ านวนเชงซอนน าไปสปฏทรรศน

ตอไปน ซงคนพบโดยโทมส คลาวเซน (Thomas Clausen) เมอ ค.ศ.

1827 [3]

ส าหรบจ านวนเตม n ใด ๆ จะไดวา

1.

Page 32: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

2.

3.

4.

5.

แตสงนเปนเทจเมอจ านวนเตม n ไมเทากบศนย

การใหเหตผลดงกลาวมปญหาเกดขนหลายปญหา ความผดพลาดหลกคอการ

เปลยนอนดบของการยกก าลง จากบรรทดทสองไปยงบรรทดทสาม ไดเปลยน

คามขส าคญทจะถกเลอกใช

จากมมมองของฟงกชนหลายคา ความผดพลาดอยางแรกเกดขนกอนหนานน

ซงเหนไดโดยปรยายจากบรรทดแรกแตไมเดนชด คอ e เปนจ านวนจรงใน

ขณะทผลลพธของ e1+2πin เปนจ านวนเชงซอน ซงควรเขยนแทน

ดวย e+0i มากกวา การแทนทเปนจ านวนเชงซอนส าหรบจ านวนจรงในบรรทด

ทสอง ท าใหการยกก าลงมค าตอบทเปนไปไดหลายคา การเปลยนอนดบของ

การยกก าลงจากบรรทดทสองไปยงบรรทดทสาม จงสงผลตอคาทเปนไปได

ของผลลพธวามเปนจ านวนเทาใดดวย

0 ยกก าลง 0

Page 33: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

กราฟของ z = abs(x)y ซงเสนโคงสแดงมลมตตางกนเมอ (x,y) มคาเขาใกล

(0,0) ในขณะทเสนโคงสเขยวทกเสนมลมตเทากบ 1

ผเขยนต าราสวนมากเหนพองกบประโยคทเกยวของกบ 00 ในรายการสอง

รายการดานลาง รายการแรกไมเกยวกบความตอเนอง สวนรายการถดไป

เกยวกบความตอเนอง แต "ตดสนใจ" ไมเหมอนกนเพอทจะนยาม 00 หรอไม

นยาม (ดรายละเอยดทมมมองทแตกตางในอดต)

ในการก าหนดทไมเกยวของกบความตอเนองของเลขชก าลง การตความวา

00 คอ 1 ชวยใหสตรตาง ๆ งายขนและไมจ าเปนตองน าเอาทฤษฎบทอนมา

อธบายเปนกรณพเศษ ตวอยางเชน

การพจารณา a0 ใหเปนผลคณวางซงมคาเปน 1 แมวา a จะเทากบ 0

Page 34: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

การตความทางคณตศาสตรเชงการจดถอวา 00 คอจ านวนของศนยสง

อนดบของสมาชกจากเซตวาง ดงนนจงมศนยสงอนดบหนงตว

ในทางเดยวกน การตความทางทฤษฎเซตของ 00 คอจ านวนฟงกชนจาก

เซตวางไปยงเซตวาง ซงมเพยงหนงฟงกชนเทานนนนคอ ฟงกชน

วาง (empty function) [4]

สญกรณ ส าหรบพหนามและอนกรมก าลงขนอยกบการนยาม

ให 00 = 1 เอกลกษณอยางเชน และ และ

ทฤษฎบททวนาม จะใชงานไมไดเมอ x = 0 ถา

ไมก าหนดให 00 = 1 [5]

ในแคลคลสเชงอนพนธ กฎการยกก าลง จะใชไมได

ส าหรบ n = 1 ท x = 0 ถาไมก าหนดให 00 = 1

ในทางตรงขาม เมอ 00 เกดจากลมตในรปแบบ ซงเปนการก าหนด

ทเกยวของกบความตอเนอง จะถกพจารณาใหเปนรปแบบยงไม

ก าหนด (indeterminate form)

ลมตทเกยวของกบการด าเนนการเชงพชคณต มกจะสามารถประเมนคา

ไดดวยการแทนทนพจนยอยดวยลมตของมน ถานพจนทเปนผลลพธไม

สามารถก าหนดลมตดงเดมได นพจนนนจะเรยกวาเปนรปแบบยงไม

ก าหนด [6] หาก f(t) และ g(t) ซงเปนฟงกชนทใหผลลพธเปนจ านวนจรง

Page 35: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

มคาเขาใกล 0 ทงค (เมอ t มคาเขาใกลจ านวนจรงจ านวนหนงหรอ ±∞)

โดยท f(t) > 0 แลวฟงกชน f(t)g(t) ไมจ าเปนตองมคาเขาใกล 1 เสมอไป;

ลมตของ f(t)g(t) อาจใหผลลพธเปนจ านวนจรงใด ๆ ทไมเปนลบหรอ

+∞ หรออาจไมนยาม ขนอยกบ f และ g วานยามไวอยางไร ตวอยางเชน

ฟงกชนดานลางนอยในรปแบบf(t)g(t) ซง f(t),g(t) → 0 เมอ t → 0+ แต

ลมตของมนมคาตางกนดงน

ดงนน 00 จงเปนรปแบบยงไมก าหนดชนดหนง พฤตกรรมนแสดงใหเหนวา

ฟงกชนสองตวแปร xy แมวาจะตอเนองบนเซต {(x,y): x > 0} ไมสามารถขยาย

เปนฟงกชนตอเนองบนเซตใด ๆ ทรวม (0,0) อยดวย ไมวา 00 จะถกนยามขน

อยางไร [7] อยางไรกตาม ภายใตเงอนไขเฉพาะเชนเมอ f กบ gเปนฟงกชน

วเคราะห (analytic function) ทงคและ f ไมเปนลบ ลมตทางดานขวาจะเทากบ

1 เสมอ [8][9][10]

ในโดเมนเชงซอน ฟงกชน zw ถกนยามขนส าหรบ z ไมเทากบศนย โดย

เลอกกงหนงของ log z และก าหนดให zw := ew log z แตไมมกงของ log z ท

นยามไวส าหรบ z เทากบศนย จงทงไวเปนไมนยาม [11]

มมมองทแตกตางในอดต

ผแตงต าราหลายคนตความสถานการณขางตนในวธทแตกตางกนเชน

Page 36: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

กลมหนงใหเหตผลวาคาทดทสดของ 00 ขนอยกบบรบท และการนยาม

ครงหนงเพอใชกบทกกรณเปนตนไปท าใหเกดปญหา [12] เบนสน

(Benson) กลาววา "ทางเลอกวาจะนยาม 00 หรอไมนยาม ขนอยกบ

ความสะดวก ไมใชความถกตอง" [13]

อกกลมหนงแยงวา 00 ควรจะเทากบ 1 คนธบอกวาจ านวนน "ตองเปน

1" แมเขากไดกลาวตอไปอกวา "โคชกมเหตผลทดในการพจารณา 00 ให

เปน รปแบบลมต ทไมนยาม" และกลาวอกวา "ในความรสกทแรงกลาอยางมาก คาของ 00

ไดถกนยามไวนอยกวาคาของ 0+0 เปนตนเสยอก" [14]

การถกเถยงเกดขนในชวงตนครสตศตวรรษท 19 เปนอยางนอย ในเวลานนนกคณตศาสตรสวนมากยอมรบวา 00

= 1 จนกระทงโคช (Cauchy) ไดแสดงรายการ 00

พรอมกบนพจนอน ๆ เชน ในตารางรปแบบทไมนยาม [15]

ในชวงครสตทศวรรษ 1830 ลบร (Libri)

ไดเผยแพรเกยวกบการใหเหตผลทท าใหไมนาเชอวา 00 =

1 [16][17]

กลาวคอ การอางวา เมอใดกตามท เปนการสนนษฐานทผด และเมอบอส (Möbius) กเหนดวยกบเขา [18]

ผออกความเหนคนหนงทใชชอวา "S" ไดใหตวอยางของการโตแยง (e−1/t

)t ตวอยางนท าใหการถกเถยงสงบ

เงยบลงชวระยะเวลาหนง ผลสรปทปรากฏของเรองนคอ 00 ไมควร

นยาม [14]

มาตรฐานจ านวนจดลอยตว IEEE

Page 37: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

มาตรฐานจ านวนจดลอยตว IEEE 754-2008 ใชในการออกแบบไลบราร

เกยวกบจ านวนจดลอยตวเปนสวนมาก มาตรฐานดงกลาวไดแนะน าฟงกชนท

แตกตางกนส าหรบค านวณการยกก าลงตอไปน [19]

pow ใหคา 00 เปน 1 ฟงกชนนเปนรนทนยามไวเกาทสด ถาก าลงเปน

จ านวนเตมอยางแนชด ผลลพธจะเหมอนกบ pown หากไมเปนเชนนน

ผลลพธจะเหมอนกบ powr (ยกเวนกรณพเศษบางกรณ)

pown ใหคา 00 เปน 1 ก าลงตองเปนจ านวนเตมอยางแนชด ฟงกชนนได

นยามส าหรบฐานทเปนลบดวยเชน pown(−3,5) ใหผลลพธ −243

powr ใหคา 00 เปน NaN (ไมใชจ านวน คอไมนยาม) ฟงกชนนกยงให

ผลลพธเปน NaN ในกรณฐานมคานอยกวาศนยเชน powr(−3,2) คาของ

มนนยามขนจาก e เลขชก าลง×log(ฐาน)

ภาษาโปรแกรม

ภาษาโปรแกรมสวนใหญทมฟงกชนการยกก าลงถกน ามาท าใหเกดผลโดยใชฟงกชน pow ของ IEEE ดงนนมนจงใหคา 00

เปน 1

มาตรฐานภาษาซและภาษาซพลสพลสในเวลาตอมาไดอธบายสงนวาเปนพฤตกรรมเชงบรรทดฐาน (normative)

[20] มาตรฐานภาษา

จาวากประกาศใหใชพฤตกรรมน

[21]System.Math.Pow ในดอตเนตเฟรมเวรก กให

คา 00 เปน 1 เชนกน

[22]

Page 38: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ซอฟตแวรคณตศาสตร

เซจ ลดรป a0 เปน 1 แมไมมขอจ ากดส าหรบ a

[23] ไมลดรป

0a และใหคา 00

เปน 1

เมเพล ลดรป a0 เปน 1 และ 0a

เปน 0 แมไมมขอจ ากดส าหรบ a (การลดรปอยางหลงสามารถใชไดเฉพาะ a > 0) และใหคา 0

0 เปน 1

แมกซมา กลดรป a0 เปน 1 และ 0a

เปน 0 ดวยเชนกน แมไมมขอจ ากดส าหรบ a แตจะเกดขอผดพลาดส าหรบ 00

แมเทอแมตกาและวลแฟรมแอลฟา ลดรป a0 เปน 1 แมไมมขอจ ากด

ส าหรบ a [24]

แมเทอแมตกาไมลดรป 0a ในขณะทวลแฟรมแอลฟาให

ผลลพธสองอยางคอ 0 และรปแบบยงไมก าหนด [25] ทงแมเทอแมตกา

และวลแฟรมแอลฟาใหคา 00 เปนรปแบบยงไมก าหนด [26]

ลมตของการยกก าลง

หวขอ 0 ยกก าลง 0 ไดแสดงตวอยางลมตของรปแบบยงไมก าหนด 0

0 ไวจ านวนหนง ตวอยางเหลานมลมตตาง ๆ แตมคาแตกตางกน แสดงให

เหนวาฟงกชนสองตวแปร xy ไมมลมตทจด (0,0) จงอาจเกดค าถามวา

ฟงกชนนมลมตทจดไหนบาง

เพอความถกตองยงขน พจารณาฟงกชน f(x,y) = xy ทนยามบน

โดเมน D = {(x,y) ∈ R2 : x > 0} ดงนน D อาจถกมองวาเปน

เซตยอยของ R2 (นนคอเซตของคอนดบ (x,y) ทงหมด ซง x,y อยบน

เสนจ านวนจรงขยาย R = [−∞, +∞] โดยสรางขนจากทอพอโลยผลคณ) ซงจะรวมจดตาง ๆ ทท าใหฟงกชน f มลมต

Page 39: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

โดยขอเทจจรง f จะมลมตทจดสะสม (accumulation

point) ตาง ๆ ของ D ยกเวน (0,0), (+∞,0), (1,+∞) และ (1,−∞)

[27] ดวยเหตนเราจงสามารถนยามการยกก าลง xy

ดวยความตอเนองเมอใดกตามท 0 ≤ x ≤ +∞, −∞ ≤ y ≤ +∞ โดยยกเวน 0

0, (+∞)

0, 1

+∞ และ 1−∞

ซงเหลอเปนรปแบบยงไมก าหนด

ภายใตการนยามโดยความตอเนองน จะได

a+∞

= +∞ และ a−∞ = 0 เมอ 1 < a ≤ +∞

a+∞

= 0 และ a−∞ = +∞ เมอ 0 ≤ a < 1

0b = 0 และ (+∞)

b = +∞ เมอ 0 < b ≤ +∞

0b = +∞ และ (+∞)

b = 0 เมอ −∞ ≤ b < 0

ก าลงเหลานไดมาจากการหาลมตของ xy ส าหรบคา x ทเปนบวก

วธการนไมอนญาตใหนยาม xy เมอ x < 0 เพราะคอนดบ (x,y) ตาง ๆ

ท x < 0 ไมใชจดสะสมของ D

ในอกทางหนง เมอ n เปนจ านวนเตม การยกก าลง xn มความหมาย

อยแลวส าหรบ x ทกคาซงรวมทงคาลบดวย สงนอาจท าใหการนยาม 0

n = +∞ ทไดมาขางตนส าหรบคา n ทเปนลบเกดปญหาเมอ n เปน

จ านวนค เนองจากกรณน tn → +∞ เมอ t มคาเขาใกล 0 ทางบวก แต

ไมใชทางลบ

การค านวณก าลงจ านวนเตมอยางมประสทธภาพ

Page 40: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

วธการค านวณทงายทสดของ an คอการคณเปนจ านวน n−1 ครง แตมนกอาจ

ค านวณไดอยางมประสทธภาพมากขนดงตวอยางตอไปน เชนโจทยใหค านวณ

2100 แตเราทราบวา 100 = 64 + 32 + 4 เราอาจค านวณตามล าดบดงน

1. 22 = 4

2. (22)2 = 24 = 16

3. (24)2 = 28 = 256

4. (28)2 = 216 = 65,536

5. (216)2 = 232 = 4,294,967,296

6. (232)2 = 264 = 18,446,744,073,709,551,616

7. 264 232 24 = 2100 = 1,267,650,600,228,229,401,496,703,205,376

ขนตอนเหลานจ าเปนตองใชการคณเพยงแค 8 ครง (ผลคณในขนตอนสดทาย

ใชการคณ 2 ครง) แทนทจะตองคณถง 99 ครง

จ านวนครงของการคณทจ าเปนส าหรบค านวณ an โดยทวไปสามารถลดให

เหลอ Θ(log n) โดยใชการยกก าลงดวยก าลงสอง (exponentiation by

squaring) หรอโดยนยทวไปขนอกคอ การยกก าลงดวยลกโซการ

บวก (addition-chain exponentiation) การหาล าดบของการคณ นอย

ทสด ของ an (ลกโซการบวกสนทสดของเลขชก าลง) เปนขอปญหาทยากขอ

Page 41: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

หนง เพราะขนตอนวธอนมประสทธภาพยงไมเปนททราบในปจจบน (ดเพมท

ปญหาผลรวมเซตยอย) แตขนตอนวธแบบศกษาส านก (heuristic) ทม

ประสทธภาพอยางสมเหตสมผลกมใหใชมากมาย [28]

สญกรณยกก าลงส าหรบชอฟงกชน

การใสตวยกจ านวนเตมถดจากชอหรอสญลกษณของฟงกชน ซงดเหมอนวา

ฟงกชนนนก าลงถกยกก าลง โดยทวไปจะหมายถงการประกอบฟงกชน

(function composition) มากกวาจะเปนการคณซ า ๆ ดงนน f 3(x) จงอาจ

หมายถง f(f(f(x))) โดยเฉพาะอยางยง f −1(x) ตามปกตใชแสดงถงฟงกชนผกผน

ของ f;ฟงกชนซอน (iterated function) ทเกดจากการประกอบฟงกชนเปน

ประโยชนในการศกษาแฟรกทลและระบบเชงพลวต (dynamical

system) ชารลส แบบเบจเปนคนแรกทเรมศกษาปญหาการหาคาของรากทสอง

เชงฟงกชน f 1/2(x)

อยางไรกตาม ฟงกชนตรโกณมตกใชสญกรณพเศษเชนนนดวยเหตผลทาง

ประวตศาสตร กลาวคอ เลขชก าลงทเปนบวกถกวางไวหลงชอยอของฟงกชน

หมายถงผลลพธของการยกก าลงดวยเลขชก าลงนน ในขณะทเลขชก าลง −1

แสดงถงฟงกชนผกผน ตวอยางเชน sin2x เปนการเขยนอยางยอแทน (sin x)2

โดยไมใชวงเลบ แตในขณะเดยวกน sin−1x หมายถงฟงกชนผกผนของไซนคอ

arcsin x เพราะมนไมจ าเปนตองมสวนกลบของฟงกชนตรโกณมตเนองจากมน

มชอและชอยอของมนเองอยแลว เชน 1/(sin x) = (sin x)−1 กคอ csc x เปนตน

Page 42: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

สญนยมทคลายกนนกใชกบลอการทมดวย เชน log2x หมายถง (log x)2ไมใช

log log x

พชคณตนามธรรม

การยกก าลงทมเลขชก าลงเปนจ านวนเตม สามารถนยามขนส าหรบโครงสราง

ทคอนขางทวไปในพชคณตนามธรรม

ก าหนดให X เปนเซตทมการด าเนนการทวภาคอยางหนง ซงมสมบตการ

เปลยนหมของก าลง (power associativity) และเขยนอยในรปแบบการคณแลว

xn ถกนยามใหเปนผลคณของ x จ านวน n ตว ส าหรบสมาชก x ใด ๆ

ของ X และจ านวนธรรมชาต n ใด ๆ ทไมเปนศนย ซงนยามแบบเวยนเกดไดวา

จะมสมบตตาง ๆ ดงตอไปน

(สมบตการเปลยนหมของก าลง)

ถาการด าเนนการนมสมาชกเอกลกษณทงสองดานเปน 1 (มกแสดงดวย e)

ดงนน x0 จะถกนยามใหเทากบ 1 ส าหรบคา x ใด ๆ

(เอกลกษณสองดาน)

Page 43: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ถาการด าเนนการนกมสมาชกผกผนทงสองดานและการคณเปลยนหมได จะ

ท าใหแมกมา (magma) กลายเปนกรป ตวผกผนของ x สามารถแสดงได

ดวย x−1 และเปนไปตามกฎปกตทงหมดของเลขชก าลง

(ตวผกผนสองดาน)

(การคณเปลยนหมได)

ถาการคณสามารถสลบทได (ตวอยางเชนในอาบเลยนกรป) จะท าใหการ

ด าเนนการมสมบตนดวย

ถาการด าเนนการทวภาคนนเขยนอยในรปแบบการบวก ซงมกใชกบอาบเลยน

กรป ดงนนวล "การยกก าลงคอการคณซ า ๆ" จงสามารถตความไดเปน "การ

คณคอการบวกซ า ๆ" เพราะฉะนนกฎแตละขอของการยกก าลงขางตนก

เทยบเคยงไดกบกฎตาง ๆ ของการคณ

เมอเรามการด าเนนการหลายอยางแลว การด าเนนการใด ๆ อาจถกกระท าซ า

โดยใชการยกก าลง การแสดงวาการด าเนนการก าลงถกกระท าซ า โดยปกตจะ

ใสสญลกษณก ากบตวยก อาท x∗n หมายถง x ∗ ··· ∗ x หรอ x#n หมายถง x # ···

# x ไมวา ∗ กบ # จะเปนการด าเนนการอะไรกตาม

Page 44: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

สญกรณตวยกกมใชเชนกน โดยเฉพาะในเรองทฤษฎกรป เพอแสดงการสง

ยค (conjugation) อาท gh = h−1gh เมอ g และ h เปนสมาชกของกรปบางกรป

แมวาการสงยคจะปฏบตตามกฎของการยกก าลงเหมอนกน แตไมใชตวอยาง

ของการคณซ าในกรณใด ๆ; ควอนเดล (quandle) เปนโครงสรางเชงพชคณต

ชนดหนงทมกฎของการสงยคเหลานเปนบทบาทหลก

เซต

ดบทความหลกท ผลคณคารทเซยน

ถา n เปนจ านวนธรรมชาตและ A เปนเซตใด ๆ นพจน An มกถกใชเพอแสดง

เซตของ n สงอนดบของสมาชกของ A สงนเทยบเทากบการก าหนดให An

หมายถงเซตของฟงกชนจาก {0, 1, 2, ..., n−1} ไปยง A; n สงอนดบ

(a0, a1, a2, ..., an−1) เปนตวแทนของฟงกชนทสงคาจาก i ไปยง ai

ก าหนดใหจ านวนเชงการนบ κ ทไมจ ากดและเซต A เซตหนง สญกรณ Aκ ก

ยงใชแสดงถงเซตของฟงกชนทงหมดจากเซตทมขนาดเทากบ κ ไปยง A

บางครงกเขยนในรปแบบ κA เพอท าใหแตกตางจากการยกก าลงเชงการนบ

ดงทจะไดกลาวตอไป

การยกก าลงแบบนยทวไปสามารถนยามขนไดส าหรบการด าเนนการบนเซต

หรอส าหรบเซตทมโครงสรางพเศษเพมเตม ตวอยางเชนในพชคณตเชงเสนเรา

สามารถแจกแจงดชนผลบวกตรงของปรภมเวกเตอรบนเซตดชนใด ๆ หรออาจ

กลาวไดวา

Page 45: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

เมอ Vi แตละตวคอปรภมเวกเตอรปรภมหนง ดงนนถา Vi = V ส าหรบแตละ

คา i แลว ผลลพธจากผลบวกตรงสามารถเขยนใหอยในสญกรณยกก าลงเปน

V⊕N หรอเขยนเพยงแค VN โดยท าความเขาใจวาเปนผลบวกตรงโดยปรยาย

นอกจากนเราอาจแทนทเซต N ดวยจ านวนเชงการนบ n เพอใหได Vn แมวาไม

ตองเลอกเซตมาตรฐานเจาะจงทมภาวะเชงการนบเปน n สงนสามารถนยาม

โดยขนอยกบสมสณฐาน (isomorphism) เพยงเทานน เมอน าเอา V มาเปน

ฟลด Rส าหรบจ านวนจรง (เทยบไดกบปรภมเวกเตอรบนตวเอง) และ n เปน

จ านวนธรรมชาตบางจ านวน จะไดปรภมเวกเตอรสามญทสดทศกษากนใน

พชคณตเชงเสน นนคอปรภมแบบยคลด Rn

ถาหากฐานของการด าเนนการยกก าลงเปนเซต การด าเนนการนนจะเรยกวาผล

คณคารทเซยนเมอไมมเงอนไขอนเพมเตม เนองดวยผลคณคารทเซยนตาง ๆ

ใหผลเปน n สงอนดบ (n-tuple) ซงสามารถแสดงแทนดวยฟงกชนบนเซตทม

ภาวะเชงการนบทเหมาะสม ดงนน SN จงหมายถงเซตของฟงกชนทงหมด

จาก N ไปยง S ในกรณน

สงนเขากนไดกบการยกก าลงของจ านวนเชงการนบในแงทวา |SN| = |S||N| เมอ

|X| หมายถงภาวะเชงการนบของ X; เมอ "2" ถกนยามเปนเซต {0,1} เราจะได

|2X| = 2|X| เมอ 2X ซงโดยปกตแสดงดวย P(X) คอเซตก าลงของ X; เซตยอย Y แต

Page 46: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

ละเซตของ X สอดคลองกนแบบหนงตอหนงกบฟงกชนบน X ทใหคา 1

ส าหรบ x ∈ Y และคา 0 ส าหรบ x ∉ Y

ทฤษฎประเภท

ดบทความหลกท ประเภทปดคารทเซยน

ในเรองของประเภทปดคารทเซยน (Cartesian closed category) การด าเนนการ

ยกก าลงถกใชเพอก าหนดใหออบเจกตใด ๆ เปนก าลงของออบเจกตอกอยาง

หนง สงนเปนการวางนยทวไปของผลคณคารทเซยนในประเภท (category)

ของเซต ถา 0 เปนออบเจกตเรมตน (initial object) ในประเภทปดคารทเซยน

ดงนนออบเจกตเลขชก าลง (exponential object) 00 จะสมสณฐานกบออบเจกต

ปลายทาง 1 ใด ๆ

จ านวนเชงการนบและจ านวนเชงอนดบท

ดบทความหลกท เลขคณตเชงการนบ และ เลขคณตเชงอนดบท

ในทฤษฎเซต กมการยกก าลงส าหรบจ านวนเชงการนบและจ านวนเชงอนดบท

เชนกน

ก าหนดให κ และ λ เปนจ านวนเชงการนบ นพจน κλ หมายถงภาวะเชงการ

นบของ เซตของฟงกชนจากเซตใด ๆ ทมภาวะเชงการนบ λ ไปยงเซตใด ๆ ท

มภาวะเชงการนบ κ [4] ถา κ และ λ เปนจ านวนจ ากด นพจนนจะคลอยตาม

Page 47: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

การด าเนนการยกก าลงเชงเลขคณตธรรมดา ตวอยางเชน เซตของสามสงอนดบ

ของสมาชกจากเซตของสองสงอนดบ จะมภาวะเชงการนบเทากบ 8 = 23

การยกก าลงของจ านวนเชงการนบแตกตางจากการยกก าลงของจ านวนเชง

อนดบท ซงนยามโดยกระบวนการลมตทเกยวของกบอปนยเชงอนนต

(transfinite induction)

การยกก าลงซอน

เนองจากการยกก าลงของจ านวนธรรมชาตมเหตมาจากการคณซ า ๆ จงมความ

เปนไปไดทจะนยามการด าเนนการทมเหตมาจากการยกก าลงซ า ๆ

เชนเดยวกน การด าเนนการนบางครงเรยกวา เทเทรชน (tetration) และเทเทร

ชนซ า ๆ กสามารถน าไปสการด าเนนการอกอยางหนงเชนกน เปนเชนนตอไป

เรอย ๆ ล าดบของการด าเนนการเหลานไดถกแสดงไวดวยฟงกชนอคเคอร

มนน (Ackermann function) และสญกรณลกศรของคนธ (Knuth's up-arrow

notation) และเนองดวยการยกก าลงมอตราเพมขนมากกวาการคณ การคณกม

อตราเพมขนมากกวาการบวก ดงนนเทเทรชนกมอตราเพมขนมากกวาการยก

ก าลง ตวอยางเชน เมอก าหนดคา (3,3) ใหกบฟงกชนการบวก การคณ การยก

ก าลง และเทเทรชน จะไดผลลพธออกมาเปน 6, 9, 27 และ 7,625,597,484,987

ตามล าดบ

ในภาษาโปรแกรม

Page 48: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

สญกรณตวยก xy สะดวกในการเขยนดวยมอ แตอาจไมสะดวกในการกดบน

เครองพมพดดหรอคอมพวเตอรเทอรมนล ซงจดอกขระทกตวอยบนเสน

บรรทดเดยวกน ภาษาโปรแกรมหลายภาษามวธการอยางอนในการแสดงการ

ยกก าลงโดยไมใชตวยก อาท

x ↑ y: อลกอล, คอมโมดอรเบสก

x ^ y: เบสก, เจ, แมตแลบ, อาร, ไมโครซอฟท เอกเซล, เทกซ (TeX และ

ตวตอยอดอน ๆ), ทไอ-เบสก, บซ (เลขชก าลงจ านวนเตม), แฮสเกลล

(เลขชก าลงจ านวนเตมทไมเปนลบ), ลว (Lua), เอเอสพ และระบบ

พชคณตคอมพวเตอรสวนใหญ

x ^^ y: แฮสเกลล (ฐานเศษสวน เลขชก าลงจ านวนเตม), ด

x ** y: เอดา, แบช, โคบอล, ฟอรแทรน, ฟอกซโพร, กนพลอต, โอแค

เมล, เพรล, พแอล/วน, ไพทอน, เรกซ (REXX), รบ, แซส (SAS), ทซ

แอล, อาบป, แฮสเกลล (เลขชก าลงจ านวนจดลอยตว), ทวรง, วเอชดแอล

x⋆y: เอพแอล

Power(x, y): ไมโครซอฟท เอกเซล, เดลฟ/ปาสกาล (ประกาศในยนต

Math)

pow(x, y): ซ, ซพลสพลส, พเอชพ, ทซแอล

math.pow(x, y): ไพทอน

Page 49: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

Math.pow(x, y): จาวา, จาวาสครปต, มอดลา-3, เอมแอลมาตรฐาน

Math.Pow(x, y) หรอ BigInteger.Pow(x, y): ซชารป (และภาษาอนทใช

บซแอล)

(expt x y): คอมมอนลสป, สกม

math:pow(x, y): เออรแลง

สญลกษณ ^ ทไมเกยวกบการยกก าลงเชน ในแบช ซ ซพลสพลส ซชารป จาวา

จาวาสครปต เพรล พเอชพ ไพทอน และรบ หมายถงการด าเนนการ

XOR ระดบบต; ในปาสกาล หมายถงการอางถงทางออม (indirection); ในโอ

แคเมลและเอมแอลมาตรฐาน หมายถงการตอสายอกขระ (concatenation)

ประวตของสญกรณ

ค าวา ก าลง (power) ถกใชโดยยคลด นกคณตศาสตรชาวกรก ส าหรบยกก าลง

สองเสนตรง [29] ในครสตศตวรรษท 9 มฮมมด อบน มซา อลคอวารซมย

(Muḥammad ibn Mūsā al-Khwārizmī) ใชค าวา มล (mal) ส าหรบยกก าลง

สองและ กบ (kab) ส าหรบยกก าลงสาม ในเวลาตอมานกคณตศาสตรชาว

อสลามไดใช m และ k เปนสญกรณคณตศาสตรตามล าดบ ดงเหนไดจากงาน

เขยนของ อะบ อลฮะซน อบน อะล อลเกาะละศอด (Abū al-Ḥasan ibn ʿAlī

al-Qalaṣādī) ในครสตศตวรรษท 15 [30]

Page 50: เลขยกก าลัง - TruePlookpanya · เลขยกก าลัง การยกก าลัง คือการด าเนินการทางคณิตศาสตร์อย่างหนึ่ง

นโกลา ชวเก (Nicolas Chuquet) ใชรปแบบสญกรณยกก าลงในครสตศตวรรษ

ท 15 ตอมาในครสตศตวรรษท 16 เฮนรคส กรมมาทอยส (Henricus

Grammateus) และมคาเอล ชตเฟล (Michael Stifel) กใชเชนกน แซมวล

จก (Samuel Jeake) ไดแนะน าใหใชค าวา ดชน (index) ในป ค.ศ. 1696 [29] ใน

ครสตศตวรรษท 16 โรเบรต เรคอรด (Robert Recorde) ใชค า

วา สแควร (square), ควบ (cube), เซนซเซนซก (zenzizenzic), เซอร

ฟอไลด (surfolide), เซนซควบ (zenzicube), เซเคนดเซอรฟอไลด (second

surfolide) และ เซนซเซนซเซนซก (zenzizenzizenzic) ส าหรบการยกก าลงสอง

ถงแปดตามล าดบ [31]นอกจากนกมการใชค าวา ไบควอเดรต (biquadrate) เพอ

อางถงการยกก าลงสอกดวย

นกคณตศาสตรบางคน (เชนไอแซก นวตน) ใชเลขชก าลงเฉพาะเมอมก าลง

มากกวาสอง และนยมแสดงก าลงสองเปนการคณซ าสองตว ดงนนเมอพวกเขา

เขยนพหนาม พวกเขาจะเขยนเปนรปแบบดงตวอยาง ax + bxx + cx3 + d เปน

ตน

ค าอกค าหนงทมความหมายเหมอนการยกก าลงในอดตคอ อนโวล

ชน (involution) [32] แตในปจจบนความหมายทสามญกวาของค านคอ อาวตนา

การ(involution) คอฟงกชนทเปนฟงกชนผกผนของตวเอง