פונקציה חד-חד-ערכית ועל
מתוך ויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, פונקציה חד-חד-ערכית ועל היא פונקציה שמתקיימות בה שתי תכונות: היא פונקציה חד-חד-ערכית והיא פונקציה על, ובאופן ישיר יותר: פונקציה מקבוצה לקבוצה היא חד-חד-ערכית, אם השוויון עבור ב-, מחייב , ולכל איבר בטווח של הפונקציה מתאים לפחות איבר אחד בתחום שלה.
דוגמה: פונקציה המתאימה לכל מספר שלם את העוקב שלו, כלומר המתאימה לכל מספר שלם x את המספר x+1.
פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה קרוי פרמוטציה.
לפונקציות חד-חד-ערכיות ועל חשיבות רבה בתחומים רבים של המתמטיקה, למשל בהגדרה של איזומורפיזם והומאומורפיזם, ובהוכחת שוויון בין עוצמות.
לכל פונקציה חד-חד-ערכית ועל קיימת פונקציה הופכית.