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