פונקציה חד-חד-ערכית ועל – הבדלי גרסאות

אין תקציר עריכה
אין תקציר עריכה
אין תקציר עריכה
{{סימון מתמטי}}
[[קובץ: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>.
{{-}}
 
==דוגמהדוגמאות==
[[קובץ:Bijection.svg|שמאל|ממוזער|200px|דוגמה לפונקציה חד-חד-ערכית ועל]]
הפונקציה <math>y=x^3</math> היא חד-חד-ערכית ועל בתחום <math>f:[-1, 1] \rightarrow [-1, 1]</math>, משום שכל ערך של y בטווח <math>[-1,1]</math> מופיע בדיוק פעם אחת.
{{-}}
 
==תכונות ושימושים==
אם קיימת פונקציה כזו, הקבוצות <math>X</math> ו-<math>Y</math> נקראות "[[קבוצות שקולות|שקולות]]" והן בעלות אותה [[עוצמה (מתמטיקה)|עוצמה]]. פונקציה היא חד-חד-ערכית ועל [[אם ורק אם]] היא [[פונקציה הפיכה|הפיכה]], ולכן יחס השקילות הזה בין קבוצות הוא [[יחס סימטרי]].