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

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

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

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

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

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

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

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

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

$\omega : X_1 \times \dots \times X_k \rarr Y$

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

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

ดูเพิ่ม

• เลขคณิต
• พีชคณิต