פונקציה חד-חד-ערכית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: uk:Ін'єкція (математика) |
|||
שורה 23:
# אם <math>\ f:X \rightarrow Y</math> פונקציה ו-<math>\ A,B</math> תת-קבוצות של <math>\ X</math>, אז <math>\ f(A \cap B) \subseteq f(A) \cap f(B)</math>, אבל בדרך כלל אין שוויון בין הקבוצות; אם <math>\ f</math> חד-חד-ערכית מתקבל שוויון.
# נניח ש- <math>\ f : X \rightarrow Y</math> ו- <math>\ g : Y \rightarrow Z</math> הן שתי פונקציות. אם ה[[הרכבת פונקציות|הרכבה]] שלהן <math>\ g \circ f : X \rightarrow Z</math> חד-חד-ערכית, אז גם <math>\ f</math> בהכרח כזו (אולם <math>\ g</math> לא בהכרח חד-חד-ערכית). מצד שני, אם גם <math>\ f</math> וגם <math>\ g</math> חד-חד-ערכיות, גם ההרכבה מקיימת תכונה זו.
# תכונת החד-חד-ערכיות שקולה לתכונת ה"צמצום
==ראו גם==
|