ข้ามไปเนื้อหา

ทฤษฎีบทมูลฐานของเลขคณิต

จากวิกิพีเดีย สารานุกรมเสรี

ในคณิตศาสตร์โดยเฉพาะอย่างยิ่งทฤษฎีจำนวน ทฤษฎีบทมูลฐานของเลขคณิต, ทฤษฎีบทหลักมูลของเลขคณิต หรือ ทฤษฎีบทการแยกตัวประกอบได้อย่างเดียว (อังกฤษ: fundamental theorem of arithmetic หรือ unique factorization theorem) เป็นข้อความซึ่งกล่าวว่าจำนวนเต็มบวกทุกจำนวนที่มากกว่า 1 สามารถเขียนอยู่ในรูปผลคูณของจำนวนเฉพาะได้วิธีเดียวเท่านั้นโดยไม่สนใจการเรียงลำดับ[1][2][3] ตัวอย่างเช่น เราสามารถเขียน

6936 = 23 · 3 · 172   หรือ   1200 = 24 · 3 · 52

และไม่มีทางที่จะแยกตัวประกอบของ 6936 หรือ 1200 ได้เป็นอย่างอื่น ถ้าเราไม่สนใจลำดับของตัวประกอบ

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

ทฤษฎีบทนี้เป็นอีกเหตุผลหนึ่งที่ทำไม 1 จึงไม่ถือว่าเป็นจำนวนเฉพาะ เพราะถ้าหาก 1 เป็นจำนวนเฉพาะ แล้วการแยกตัวประกอบเฉพาะจะไม่ได้มีแบบเดียว เช่น

ทฤษฎีบทนี้สามารถขยายไปยังโครงสร้างเชิงพีชคณิตอื่นที่เรียกว่า โดเมนแยกตัวประกอบได้แบบเดียว (unique factorization domain หรือ UFD) ซึ่งรวมไปถึงโดเมนไอดีลมุขสำคัญ (principal ideal domain หรือ PID) โดเมนยูคลิเดียน (Euclidean domain) และริงพหุนามเหนือฟีลด์[4] ด้วยเหตุที่ทฤษฎีบทการแยกตัวประกอบได้อย่างเดียวไม่จำเป็นจริงต้องเป็นจริงในริงทั่ว ๆ ไป เป็นหนึ่งที่ทำให้ทฤษฎีบทสุดท้ายของแฟร์มาซับซ้อน

เพื่อที่จะให้ทฤษฏีบทนี้ใช้ได้กับจำนวน 1 เราจะถือว่า 1 เป็นผลคูณของของจำนวนเฉพาะศูนย์จำนวน (ดูใน ผลคูณว่าง)

ประวัติ

[แก้]

ทฤษฎีบทมูลฐานของเลขคณิตสามารถพิสูจน์ได้จากประพจน์ที่ 30, 31 และ 32 เล่ม VII และประพจน์ 14, เล่ม IX ในตำราเอเลเมนส์ของยุคลิด[5] ยุคลิดเป็นผู้แรกที่เขียนถึงการมีอยู่ของการแยกตัวประกอบเฉพาะ ในขณะที่อัล-ฟาริสีเป็นบุคคลแรกที่พิจารณาการมีแบบเดียว[6] และระบุข้อความของทฤษฎีบทหลักมูลของเลขคณิตที่รวมทั้งการมีอยู่และการมีได้แบบเดียว (existence and uniqueness)[7]

เกาส์ได้เขียนไว้ใน Article 16 (ข้อที่ 16) ในหนังสือ Disquisitiones Arithmeticae ถึงรูปแบบสมัยใหม่อันแรกของทฤษฎีบทมูลฐานของเลขคณิต พร้อมกับให้บทพิสูจน์ที่ใช้เลขคณิตมอดุลาร์[8]

บทประยุกต์

[แก้]

รูปแบบบัญญัติของจำนวนเต็มบวก

[แก้]

ทุกจำนวนเต็มบวก n > 1 สามารถเขียนได้ในรูปของผลคูณของจำนวนเฉพาะเพียงแบบเดียว

เมื่อ p1 < p2 < ... < pk เป็นจำนวนเฉพาะ และ ni เป็นจำนวนเต็มบวก การเขียนเช่นนี้อาจขยายไปสำหรับทุกจำนวนเต็มบวกได้โดยรวม 1 โดยอาศัยข้อกำหนดที่ว่า ผลคูณว่างจะเท่ากับ 1 (ผลคูณว่างคือกรณีเมื่อ k = 0)

การเขียนแบบนี้เรียกว่ารูปแบบบัญญัติ (canonical representation)[9] ของ n หรือรูปแบบมาตรฐาน (standard form)[10][11] ของ n ตัวอย่างเช่น

999 = 33×37,
1000 = 23×53,
1001 = 7×11×13.

สามารถเพิ่มตัวประกอบ p0 = 1 โดยไม่เปลี่ยนค่าของ n (ตัวอย่างเช่น 1000 = 23×30×53) ยิ่งไปกว่านั้นทุกจำนวนเต็มสามารถเขียนได้ในรูปของผลคูณอนันต์ของจำนวนเฉพาะบวก

โดยมี ni เพียงจำกัดจำนวนเท่านั้นที่เป็นจำนวนเต็มบวก ที่เหลือมีค่าเป็นศูนย์

หากยอมให้เลขชี้กำลังเป็นจำนวนเต็มลบจะได้รูปแบบบัญญัติของจำนวนตรรกยะ

การดำเนินการทางเลขคณิต

[แก้]

รูปแบบบัญญัติของผลคูณ, ห.ร.ม. และ ค.ร.น. ของจำนวนเต็มบวกสองจำนวนสามารถเขียนได้ในเทอมของรูปแบบบัญญัติของจำนวนเต็มทั้งสอง

อย่างไรก็ตาม การแยกตัวประกอบจำนวนเต็ม นั้นยากกว่าการหาผลคูณ, ห.ร.ม. และ ค.ร.น. ของจำนวนเต็มบวกสองจำนวน

ฟังก์ชันเลขคณิต

[แก้]

ฟังก์ชันเลขคณิตจำนวนมากนิยามผ่านรูปแบบบัญญัติข้างต้น โดยเฉพาะอย่างยิ่งค่าของฟังก์ชันเลขคณิตที่เป็นฟังก์ชันแยกบวก หรือเป็นฟังก์ชันแยกคูณขึ้นอยู่กับค่าของมันสำหรับกำลังของจำนวนเฉพาะ

การพิสูจน์

[แก้]

การพิสูจน์ด้านล่างจประกอบด้วย 2 ส่วน ส่วนแรก เราจะพิสูจน์ให้เห็นว่าจำนวนทุกจำนวน สามารถเขียนอยู่ในรูปผลคูณของจำนวนเฉพาะได้ จากนั้นจะพิสูจน์ว่าการเขียน 2 แบบใด ๆ จะเหมือนกันเสมอ

การมีอยู่

[แก้]

สมมติว่ามีจำนวนเต็มบวกที่มากกว่า 1 ที่ไม่สามารถเขียนในรูปผลคูณของจำนวนเฉพาะได้ ดังนั้นจะต้องมีจำนวนที่น้อยสุดในจำนวนพวกนั้นโดยหลักการจัดอันดับดี ให้จำนวนนั้นคือ จะเห็นได้ว่า ไม่สามารถเป็นจำนวนเฉพาะได้เพราะ คือผลคูณของตัวมันเองตัวเดียวซึ่งเป็นจำนวนเฉพาะ ดังนั้น จะต้องเป็นจำนวนประกอบ จะได้

เมื่อ และ เป็นจำนวนเต็มบวกที่น้อยกว่า แต่ เป็นจำนวนที่น้อยที่สุดที่ทำให้ทฤษฎีบทไม่จริง ดังนั้น และ ต้องเขียนในรูปผลคูณของจำนวนเฉพาะได้ ทำให้ได้ว่า

ฉะนั้น เขียนในรูปผลคูณของจำนวนเฉพาะได้ เกิดข้อขัดแย้ง

การเขียนได้แบบเดียว

[แก้]

เราจะใช้บทตั้งของยุคลิดที่ว่า ถ้าจำนวนเฉพาะ p หารผลคูณ ab ลงตัวแล้ว มันจะหาร a ลงตัว หรือหาร b ลงตัว เป็นบทตั้งในการพิสูจน์

พิจารณาการแยก ให้อยู่ในรูปผลคูณของจำนวนเฉพาะ และ สองแบบ

จะเห็นว่า จะหาร ลงตัว จากบทตั้งของยุคลิด จะต้องหารตัวประกอบ ในผลคูณ ลงตัวอย่างน้อย 1 ตัว โดยไม่เสียนัยทั่วไปให้เป็น แต่ตัวประกอบเป็นจำนวนเฉพาะทั้งหมด ดังนั้น จะต้องเท่ากับ ดังนั้นเราจึงตัด และ ออกจากทั้งสองผลคูณได้ จะได้ว่า

และทำซ้ำอย่างนี้ไปเรื่อยๆ จะเห็นว่าตัวประกอบเฉพาะของผลคูณสองผลคูณจะจับคู่กันเสมอจนหมด

หมายเหตุ

[แก้]
  1. Long (1972, p. 44)
  2. Pettofrezzo & Byrkit (1970, p. 53)
  3. Hardy & Wright (2008, Thm 2)
  4. In a ring of algebraic integers, the factorization into prime elements may be non unique, but one can recover a unique factorization if one factors into ideals.
  5. Weil (2007, p. 5): "Even in Euclid, we fail to find a general statement about the uniqueness of the factorization of an integer into primes; surely he may have been aware of it, but all he has is a statement (Eucl.IX.I4) about the l.c.m. of any number of given primes."
  6. A. Goksel Agargun and E. Mehmet Özkan. "A Historical Survey of the Fundamental Theorem of Arithmetic" (PDF). Historia Mathematica: 209. One could say that Euclid takes the first step on the way to the existence of prime factorization, and al-Farisi takes the final step by actually proving the existence of a finite prime factorization in his first proposition.
  7. Rashed, Roshdi (2002-09-11). Encyclopedia of the History of Arabic Science (ภาษาอังกฤษ). Routledge. p. 385. ISBN 9781134977246. The famous physicist and mathematician Kamal al-Din al-Farisi compiled a paper in which he set out deliberately to prove the theorem of Ibn Qurra in an algebraic way. This forced him to an understanding of the first arithmetical functions and to a full preparation which led him to state for the first time the fundamental theorem of arithmetic.
  8. อ้างอิงผิดพลาด: ป้ายระบุ <ref> ไม่ถูกต้อง ไม่มีการกำหนดข้อความสำหรับอ้างอิงชื่อ Gauss1801.loc=16
  9. Long (1972, p. 45)
  10. Pettofrezzo & Byrkit (1970, p. 55)
  11. Hardy & Wright (2008, § 1.2)

อ้างอิง

[แก้]

หนังสือ Disquisitiones Arithmeticae ได้รับการแปลเป็นภาษาอังกฤษและภาษาเยอรมัน

The two monographs Gauss published on biquadratic reciprocity have consecutively numbered sections: the first contains §§ 1–23 and the second §§ 24–76. Footnotes referencing these are of the form "Gauss, BQ, § n". Footnotes referencing the Disquisitiones Arithmeticae are of the form "Gauss, DA, Art. n".

  • Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6
  • Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7

These are in Gauss's Werke, Vol II, pp. 65–92 and 93–148; German translations are pp. 511–533 and 534–586 of the German edition of the Disquisitiones.

ดูเพิ่ม

[แก้]

ลิงก์เชื่อมโยงภายนอก

[แก้]