חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/פונקציות: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
שורה 36:
==פונקציה הפוכה==
כאמור למעלה, פונקציה היא תמיד ''חד ערכית''. נראה אילו תכונות נוספות פונקציה כללית <math>\ f\left( x\right)</math> יכולה לקיים:
===חד -חד -ערכיות===
נגיד שפונקציה היא ''חד-חד-ערכית'' (ונכתוב: 1:1 או חח"ע) אם לכל איבר בתמונהבטווח קיים '''לכל היותר''' מקור '''אחד בלבד''' בתחום. במקרה זה, נוכל להגיד שזהו ''ה''מקור של אותו איבר בתמונה.
===על===
נגיד שפונקציה היא ''על'' אם לכל איבר בטווח קיים איבר'''לכל בתחוםהפחות''' שמתאיםמקור לואחד בתחום. תכונה זו, כפי שנראה בהמשך, תלויה פעמים רבות בהגדרת הטווח.
===הגדרה===
לפונקציה שהיא גם חח"ע וגם על ניתן להגדיר פונקציה הפוכה, באופן הבא: אם <math>\ \begin{matrix} f\left( x\right) : & A & \rightarrow & B \\ & x & \mapsto & y=f\left( x\right) \end{matrix} </math>, אזי הפונקציה ההפוכה <math>\ f^{-1}\left( y\right) </math> תיראה כך: