פונקציה חד-חד-ערכית

Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה, פונקציה היא חד-חד-ערכית (חח"ע) אם היא מקבלת כל ערך פעם אחת לכל היותר, כלומר אין שני איברים שונים בתחום של הפונקציה שלשניהם מתאימה הפונקציה אותו ערך בטווח.

דוגמאות:

  • הפונקציה היא פונקציה חד-חד-ערכית בכל הישר הממשי.
  • הפונקציה היא פונקציה חד-חד-ערכית בתחום אך אינה חד-חד-ערכית בכל הישר הממשי, מפני שלכל מתקיים:

בניסוח פורמלי: פונקציה היא חד-חד-ערכית, אם השוויון עבור ב-, מחייב . (או בניסוח מקביל גורר )

המונח "פונקציה חד-ערכית" אינו בשימוש, משום שכל פונקציה היא, מעצם הגדרתה, חד-ערכית: פונקציה מתאימה ערך יחיד לכל איבר בתחום שעליו היא מוגדרת. בפונקציה חד-חד-ערכית גם הכיוון ההפוך נכון: היא מתאימה מקור יחיד, , לכל ערך בתמונה שלה.

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

דוגמאות

הפונקציה הממשית המוגדרת לפי השוויון היא חד-חד-ערכית, משום שאם אז בהכרח . לעומת זאת, הפונקציה , המוגדרת על כל המספרים הממשיים, אינה חד-חד-ערכית, משום ש- . הפונקציה מקבלת כל ערך (לכל היותר) פעמיים, ואם מצמצמים את תחום ההגדרה שלה אל המספרים החיוביים בלבד, הפונקציה המתקבלת היא חד-חד-ערכית.