בעוד ששני המונחים מתארים כיצד ממופים אלמנטים בין שתי קבוצות, הם מתייחסים להיבטים שונים של המשוואה. פונקציות חד-פעמיות (הזרקה) מתמקדות בייחודיות של הקלטים, ומבטיחות שאין שני נתיבים המובילים לאותו יעד, בעוד שפונקציות על (הזרקה) מבטיחות שכל יעד אפשרי אכן מגיעים אליו.
מיפוי שבו כל קלט ייחודי מייצר פלט ייחודי ונבדל.
מיפוי שבו כל אלמנט בקבוצת היעד מכוסה על ידי לפחות קלט אחד.
| תכונה | אחד לאחד (הזרקה) | אל (סורג'ק) |
|---|---|---|
| שם רשמי | הזרקה | סורג'קטיבי |
| דרישת ליבה | יציאות ייחודיות עבור כניסות ייחודיות | כיסוי כולל של קבוצת היעדים |
| בדיקת קו אופקי | חובה לעבור (מצטלב לכל היותר פעם אחת) | חייב להיפגש לפחות פעם אחת |
| מיקוד במערכת היחסים | בִּלעָדִיוּת | הכללה |
| הגדר אילוץ גודל | דומיין ≤ קודומיין | דומיין ≥ קודומיין |
| פלטים משותפים? | אסור בהחלט | מותר ונפוץ |
פונקציה של אחד לאחד היא כמו מסעדה יוקרתית שבה כל שולחן שמור בדיוק לקבוצה אחת; לעולם לא תראו שתי קבוצות שונות שחולקות את אותו מושב. מתמטית, אם $f(a) = f(b)$, אז $a$ חייב להיות שווה ל-$b$. בלעדיות זו היא שמאפשרת 'לבטל' או להפוך את הפונקציות הללו.
פונקציית onto עוסקת יותר בלהשאיר כל אבן על אבן במערך היעד. דמיינו אוטובוס שבו כל מושב חייב להיות תפוס על ידי לפחות אדם אחד. לא משנה אם שני אנשים צריכים לשבת על אותו ספסל (רבים לאחד), כל עוד לא נותר מושב ריק אחד באוטובוס.
בדיאגרמת מיפוי, יחס חד-לאחד מזוהה על ידי חצים בודדים המצביעים על נקודות בודדות - שני חצים לעולם לא מתכנסים. עבור פונקציית על, לכל נקודה במעגל השני חייב להיות לפחות חץ אחד המצביע אליה. פונקציה יכולה להיות שניהם, מה שמתמטיקאים מכנים bijection.
בגרף סטנדרטי, בודקים את הסטטוס של יחס אחד לאחד על ידי הזזת קו אופקי למעלה ולמטה; אם הוא פוגע בעקומה יותר מפעם אחת, הפונקציה אינה יחס אחד לאחד. בדיקת 'onto' דורשת התבוננות בטווח האנכי של הגרף כדי לוודא שהוא מכסה את כל הטווח המיועד ללא פערים.
כל הפונקציות הן או אחד על אחד או על גבי.
פונקציות רבות אינן אף אחת מהן. לדוגמה, $f(x) = x^2$ (מכל המספרים הממשיים לכל המספרים הממשיים) אינה חד-לאחד מכיוון ש-$2$ ו-$-2$ שניהם מניבים $4$, והיא אינה חד-לאחד מכיוון שהיא לעולם לא מייצרת מספרים שליליים.
אחד לאחד פירושו אותו דבר כמו פונקציה.
פונקציה דורשת רק שלכל קלט יהיה פלט אחד. יחס אחד לאחד הוא שכבה נוספת של 'קפדה' המונעת משני קלטים לחלוק את הפלט הזה.
"Onto" תלוי רק בנוסחה.
הפונקציה "Onto" תלויה במידה רבה באופן שבו מגדירים את קבוצת היעד. הפונקציה $f(x) = x^2$ היא "Onto" אם מגדירים את היעד כ"כל המספרים הלא שליליים", אך נכשלת אם היעד הוא "כל המספרים הממשיים".
אם פונקציה היא onto, היא חייבת להיות הפיכה.
הפיכות דורשת סטטוס של אחד לאחד. אם פונקציה היא "על" אך לא "אחד לאחד", ייתכן שתדעו איזה פלט יש לכם, אך לא תדעו איזה מבין הקלטים המרובים יצר אותה.
השתמשו במיפוי אחד-לאחד כאשר עליכם לוודא שניתן לייחס כל תוצאה לנקודת התחלה ספציפית וייחודית. בחרו במיפוי על-פני (onto) כאשר המטרה שלכם היא להבטיח שכל ערך פלט אפשרי במערכת מנוצל או ניתן להשגה.
בעוד שאלגברה מתמקדת בכללי פעולות מופשטים ובמניפולציה של סמלים כדי לפתור נעלמים, גיאומטריה חוקרת את התכונות הפיזיקליות של המרחב, כולל הגודל, הצורה והמיקום היחסי של צורות. יחד, הן יוצרות את היסוד של המתמטיקה, ומתרגמות קשרים לוגיים למבנים חזותיים.
בעוד שכל הביטויים הרציונליים נופלים תחת המטריה הרחבה של ביטויים אלגבריים, הם מייצגים תת-סוג ספציפי ומוגבל מאוד. ביטוי אלגברי הוא קטגוריה רחבה הכוללת שורשים ואקספוננטים מגוונים, בעוד שביטוי רציונלי מוגדר בקפדנות כמנה של שני פולינומים, בדומה לשבר המורכב ממשתנים.
גבולות ורציפות הם הבסיס של החשבון החשבון, ומגדירים כיצד פונקציות מתנהגות כשהן מתקרבות לנקודות ספציפיות. בעוד שגבול מתאר את הערך שאליו פונקציה מתקרבת ממקום קרוב, רציפות דורשת שהפונקציה אכן קיימת בנקודה זו ותתאים לגבול החזוי, מה שמבטיח גרף חלק ורציף.
גרדיאנט ודיברגנציה הם אופרטורים בסיסיים בחשבון וקטורי המתארים כיצד שדות משתנים במרחב. בעוד שהגרדיאנט הופך שדה סקלרי לשדה וקטורי המצביע לעבר העלייה התלולה ביותר, דיברגנציה דוחסת שדה וקטורי לערך סקלרי המודד את עוצמת הזרימה נטו או "המקור" בנקודה ספציפית.
היקף ושטח הן שתי הדרכים העיקריות בהן אנו מודדים את גודלה של צורה דו-ממדית. בעוד שהיקף עוקב אחר המרחק הליניארי הכולל סביב הקצה החיצוני, שטח מחשב את הכמות הכוללת של שטח משטח ישר הכלול בתוך גבולות אלה.
