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

ไม่มีคำอธิบายอย่างย่อ
(หน้าใหม่: thumb|200px|ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง '''ฟังก์ชันหนึ่ง...)
 
[[ไฟล์: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)
130,348

การแก้ไข