פונקציה חד-חד-ערכית ועל
פונקציה המבטאת סוג של התאמה בין קבוצות / ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, פונקציה חד-חד-ערכית ועל (נקראת גם בִּייקציָה; באנגלית: Bijection) מקבוצה X לקבוצה Y היא פונקציה המתאימה לכל איבר של X איבר אחד ויחיד של Y, כך שכל איבר ב Y מותאם לאיבר ב X. פונקציה חח"ע (חד חד ערכית) ועל נקראת "פונקציה הפיכה" וגם זיווג.
![]() בערך זה |
באופן פורמלי: חד-חד-ערכית ועל אם ורק אם לכל
קיים
יחיד כך ש
. בתנאי זה, קיומו של
מבטא את העובדה שהפונקציה היא פונקציה על, והיחידות שלו (כלומר העובדה שלא קיימים
שונים שעבורם
,) מבטאת את העובדה שהפונקציה חד-חד-ערכית.