פונקציה חד-חד-ערכית ועל – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ חד חד ערכי->חד-חד-ערכי - תיקון תקלדה בקליק |
אין תקציר עריכה תגיות: הוספת תבנית לשינויים בערך הוספת תבנית חשודה |
||
שורה 1:
{{סימון מתמטי}}
{{עריכה|יש לפצל פסקאות בערך ולתבנת (theming) את הנוסחאות המתמטיות מטעמי נגישות}}
[[קובץ:Bijection.svg|שמאל|ממוזער|200px|דוגמה לפונקציה חד-חד-ערכית ועל]]
ב[[מתמטיקה]], '''פונקציה חד-חד-ערכית ועל''' היא [[פונקציה]] שמתקיימות בה שתי תכונות: היא [[פונקציה חד-חד-ערכית]] והיא [[פונקציה על]]. בניסוח פורמלי: פונקציה <math>f:X\rarr Y</math>, מהקבוצה <math>X</math> לקבוצה <math>Y</math>, היא חד-חד-ערכית ועל, אם לכל <math>b\in Y</math> קיים <math>a\in X</math> יחיד כך ש-<math>f(a) = b</math>. אם קיימת פונקציה כזו, הקבוצות "[[קבוצות שקולות|שקולות]]" והן בעלות אותה [[עוצמה (מתמטיקה)|עוצמה]]. פונקציה היא חד-חד-ערכית ועל אם ורק אם היא [[פונקציה הפיכה|הפיכה]], ולכן יחס השקילות הזה בין קבוצות הוא [[יחס סימטרי]].
|