การดำเนินการ (คณิตศาสตร์)

สำหรับความหมายอื่น ดูที่ การดำเนินการ (แก้ความกำกวม)
การดำเนินการเลขคณิตมูลฐาน:
  • +, บวก (การบวก)
  • −, ลบ (การลบ)
  • ÷, หาร (การหาร)
  • ×, คูณ (การคูณ)

การดำเนินการ (อังกฤษ: Operation) ในทางคณิตศาสตร์และตรรกศาสตร์ หมายถึง การกระทำหรือลำดับขั้นตอนซึ่งสร้างค่าใหม่ขึ้นเป็นผลลัพธ์[1] โดยการรับค่าเข้าไปหนึ่งตัวหรือมากกว่า การศึกษาส่วนใหญ่ใช้การดำเนินการทวิภาค (เช่น การดำเนินการอาริตี 2) ได้แก่ การบวกและการคูณ ส่วนการดำเนินการเอกภาค (เช่น การดำเนินการอาริตี 1) ได้แก่ ตัวผกผันการบวกและตัวผกผันการคูณ ส่วนการดำเนินการอาริตี 0 หรือการดำเนินการศูนย์ภาคคือค่าคงตัว[2][3] ผลคูณผสมคือตัวอย่างของการดำเนินการอาริตี 3 ที่เรียกว่าการดำเนินการไตรภาค โดยทั่วไปแล้ว อาริตีสามารถมีได้เป็นอนันต์ แต่อย่างไรก็ตาม บางครั้งก็มีการรวมการดำเนินการอนันต์ (infinitary operation) ด้วย[2]

ประเภทของการดำเนินการแก้ไข

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

การดำเนินการสามารถเกี่ยวข้องกับวัตถุทางคณิตศาสตร์อย่างอื่นที่นอกเหนือจากจำนวนก็ได้ ตัวอย่างเช่น ค่าเชิงตรรกะ จริง และ เท็จ สามารถใช้กับตัวดำเนินการทางตรรกศาสตร์อย่าง and, or, not; เวกเตอร์สามารถบวกและลบกันได้; ฟังก์ชันประกอบสามารถใช้เป็นการหมุนของวัตถุหลาย ๆ ครั้งได้; การดำเนินการของเซตมีทั้งแบบทวิภาคคือยูเนียน อินเตอร์เซกชัน และแบบเอกภาคคือคอมพลีเมนต์ เป็นต้น

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

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

ค่าที่ใส่เข้ามาในการดำเนินการอาจเรียกว่า ตัวถูกดำเนินการ, อาร์กิวเมนต์, ค่ารับเข้า ส่วนค่าที่ได้ออกไปจากการดำเนินการเรียกว่า ค่า, ผลลัพธ์, ค่าส่งออก การดำเนินการสามารถมีตัวถูกดำเนินการหนึ่งค่า สองค่า หรือมากกว่าก็ได้

การดำเนินการนั้นคล้ายกับตัวดำเนินการแต่ต่างกันที่มุมมอง ตัวอย่างเช่น หากใครคนหนึ่งกล่าวว่า "การดำเนินการของการบวก" จะเป็นการเน้นจุดสนใจไปที่ตัวถูกดำเนินการและผลลัพธ์ ในขณะที่อีกคนหนึ่งกล่าวว่า "ตัวดำเนินการของการบวก" จะเป็นการมุ่งประเด็นไปที่กระบวนการที่จะทำให้เกิดผลลัพธ์ หรือหมายถึงฟังก์ชัน + : S × S → S ซึ่งเป็นมุมมองนามธรรม

นิยามแบบทั่วไปแก้ไข

การดำเนินการ ω นิยามโดยฟังก์ชันที่อยู่ในรูปแบบ

 

เมื่อเซต Xj คือโดเมน เซต Y คือโคโดเมน และ k ที่เรียกว่า อาริตี้ (arity) คือจำนวนอาร์กิวเมนต์ของการดำเนินการ ซึ่งเป็นจำนวนเต็มที่ไม่เป็นลบ ดังนั้นการดำเนินการเอกภาคจะมีอาริตี้เท่ากับ 1 และการดำเนินการทวิภาคจะมีอาริตี้เท่ากับ 2 เป็นต้น ส่วนการดำเนินการที่มีอาริตี้เท่ากับ 0 จะเรียกว่า การดำเนินการสุญภาค คือจะมีสมาชิกเพียงโคโดเมน Y ส่วนการดำเนินการที่มีอาริตี้เท่ากับ k จะเรียกว่า การดำเนินการ k ภาค ดังนั้น การดำเนินการ k ภาค จึงเป็นความสัมพันธ์ที่เป็นฟังก์ชัน k+1 ภาค จากโดเมนทั้งหมด k เซต ไปยังโคโดเมนเซตเดียว

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

ดูเพิ่มแก้ไข

อ้างอิงแก้ไข

  1. 1.0 1.1 "The Definitive Glossary of Higher Mathematical Jargon — Operation". Math Vault (in อังกฤษ). 2019-08-01. สืบค้นเมื่อ 2019-12-10. Unknown parameter |url-status= ignored (help)
  2. 2.0 2.1 2.2 "Algebraic operation - Encyclopedia of Mathematics". www.encyclopediaofmath.org. สืบค้นเมื่อ 2019-12-10.
  3. DeMeo, William (August 26, 2010). "Universal Algebra Notes" (PDF). math.hawaii.edu. สืบค้นเมื่อ 2019-12-09. Unknown parameter |url-status= ignored (help)
  4. DeMeo, William (August 26, 2010). "Universal Algebra Notes" (PDF). math.hawaii.edu. สืบค้นเมื่อ 2019-12-09. Unknown parameter |url-status= ignored (help)