ผลต่างระหว่างรุ่นของ "ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Octahedron80 (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
Octahedron80 (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
บรรทัด 1:
[[ไฟล์:Bijection.svg|thumb|200px|ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง]]
'''ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง''' ({{lang-en|bijection, bijective function}}) คือ[[ฟังก์ชัน (คณิตศาสตร์)|ฟังก์ชัน]] ''f'' จาก[[เซต]] ''X'' ไปยังเซต ''Y'' ด้วยสมบัติที่ว่า จะมี[[สมาชิก (คณิตศาสตร์)|สมาชิก]] ''x'' ใน ''X'' เพียงตัวหนึ่งเดียวสำหรับแต่ละทุก ๆ สมาชิก ''y'' ใน ''Y'' นั่นคือ ''f'' (''x'') = ''y'' และไม่มีสมาชิกเหลือทั้งใน ''X'' และ ''Y''
 
หรือกล่าวได้อีกทางหนึ่งคือ ''f'' จะเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง ถ้าหากมี[[ความสัมพันธ์]]แบบสมนัยหนึ่งต่อหนึ่ง (one-to-one correspondence) ระหว่างเซตทั้งสอง นั่นคือเป็นทั้ง[[ฟังก์ชันหนึ่งต่อหนึ่ง]] (injection) และ[[ฟังก์ชันทั่วถึง]] (surjection)