ฟังก์ชันหนึ่งต่อหนึ่ง

ฟังก์ชันหนึ่งต่อหนึ่งแต่ไม่ทั่วถึง (ไม่ใช่ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง)

ฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง (ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง)

ฟังก์ชันทั่วถึงแต่ไม่หนึ่งต่อหนึ่ง (ฟังก์ชันทั่วถึง)

ในคณิตศาสตร์ ฟังก์ชันหนึ่งต่อหนึ่ง (แม่แบบ:Langx) เป็นฟังก์ชันที่ไม่จับคู่สมาชิกที่ต่างกันจากโดเมนไปยังสมาชิกตัวเดียวกันในโคโดเมน

นิยาม

ให้ $f$ เป็นฟังก์ชันที่โดเมนเป็นเซต$A$ ฟังก์ชัน $f$เป็นฟังก์ชันหนึ่งต่อหนึ่งก็ต่อเมื่อสำหรับทุก$a$ และ $b$ ใน $A$ ถ้า $f(a)=f(b)$ แล้ว $a=b$ กล่าวคือ $f(a)=f(b)$ แปลว่า $a=b$ ในทางกลับกัน ถ้า $a\ne b$ แล้ว $f(a)\ne f(b)$

เมื่อเขียนด้วยสัญลักษณ์

$\mathrm{\forall }a,b\in A,f(a)=f(b)\Rightarrow a=b$

ซึ่งสมมูลกับประพจน์แย้งสลับที่

$\mathrm{\forall }a,b\in A,a\ne b\Rightarrow f(a)\ne f(b)$