פונקציה על – הבדלי גרסאות
מ הגהה, עריכת נוסחאות |
|||
שורה 1: | שורה 1: | ||
{{סימון מתמטי}} |
{{סימון מתמטי}} |
||
ב[[מתמטיקה]], [[פונקציה]] מקבוצה A לקבוצה B היא '''על''' אם כל [[איבר (מתמטיקה)|איבר]] בקבוצה B מתקבל כערך של הפונקציה. לדוגמה, הפונקציה המתאימה לכל עלה את העץ שעליו הוא צומח היא "על", אם על כל עץ צומח עלה אחד לפחות. |
ב[[מתמטיקה]], [[פונקציה]] מקבוצה <math>A </math> לקבוצה <math>B </math> היא '''על''' אם כל [[איבר (מתמטיקה)|איבר]] בקבוצה <math>B </math> מתקבל כערך של הפונקציה. לדוגמה, הפונקציה המתאימה לכל עלה את העץ שעליו הוא צומח היא "על", אם על כל עץ צומח עלה אחד לפחות. |
||
באופן פורמלי: [[פונקציה]] <math> |
באופן פורמלי: [[פונקציה]] <math>f: X \rightarrow Y</math> היא '''על''' <math>Y </math>, אם לכל [[איבר (מתמטיקה)|איבר]] בטווח (<math>Y </math>) של הפונקציה מתאים לפחות איבר אחד בתחום (<math>X </math>) שלה (ובמילים אחרות: ה[[תמונה של פונקציה|תמונה]] של <math>f </math> שווה לטווח שלה). ב[[סימון מתמטי]]: לכל <math> y \in Y </math> קיים <math> x \in X </math> כך ש-<math>f(x) = y </math>. במקרה זה לעיתים מסמנים: <math>f : X \twoheadrightarrow Y</math> כדי לציין ש-<math>f </math> היא על. |
||
קיומה של התכונה תלוי בטווח עליו מוגדרת הפונקציה: כך למשל, הפונקציה המתאימה לכל אדם את אמו היא '''על''' אם הטווח הוא קבוצת הנשים שיש להן ילדים, אבל '''לא על''' אם הטווח שלה מוגדר כקבוצת כל הנשים (כי יש נשים שאין להן ילדים). מסיבה זו, מקובל לציין שפונקציה היא על קבוצה מסוימת (שפירושו: אם קבוצה זו תילקח כטווח הפונקציה, יתקיימו הדרישות לפונקציה על). |
קיומה של התכונה תלוי בטווח עליו מוגדרת הפונקציה: כך למשל, הפונקציה המתאימה לכל אדם את אמו היא '''על''' אם הטווח הוא קבוצת הנשים שיש להן ילדים, אבל '''לא על''' אם הטווח שלה מוגדר כקבוצת כל הנשים (כי יש נשים שאין להן ילדים). מסיבה זו, מקובל לציין שפונקציה היא על קבוצה מסוימת (שפירושו: אם קבוצה זו תילקח כטווח הפונקציה, יתקיימו הדרישות לפונקציה על). |
||
שורה 13: | שורה 13: | ||
==דוגמאות ודוגמאות נגד== |
==דוגמאות ודוגמאות נגד== |
||
* הפונקציה המתאימה לכל מצביע בבחירות 2006 את המפלגה שעבורה הצביע היא על קבוצת המפלגות שהתמודדו בבחירות אלה, כי לכל מפלגה הצביע לפחות אדם אחד (לא היו מפלגות שזכו לאפס קולות). |
* הפונקציה המתאימה לכל מצביע בבחירות 2006 את המפלגה שעבורה הצביע היא על קבוצת המפלגות שהתמודדו בבחירות אלה, כי לכל מפלגה הצביע לפחות אדם אחד (לא היו מפלגות שזכו לאפס קולות). |
||
* תהי <math> |
* תהי <math>f: \mathbb{R} \rightarrow \mathbb{R}</math> הפונקציה המוגדרת לפי הנוסחה <math>f(x)=2x+1</math> לכל x ממשי. פונקציה זו היא "על", משום שלכל <math> y \in \mathbb{R} </math>, <math>f(\frac{y-1}{2}) = y </math>. |
||
* לעומת זאת, הפונקציה <math> |
* לעומת זאת, הפונקציה <math>g: \mathbb{R} \rightarrow \mathbb{R}</math> המוגדרת להיות <math>g(x)=x^2 </math> אינה על, כיוון שבעבור <math>y=-1</math>, למשל, לא קיים מקור <math>x </math> ממשי המקיים את המשוואה <math>x^2=-1</math>. |
||
* תהי <math> |
* תהי <math>h: \mathbb{R} \rightarrow \mathbb{R}^{+0}</math> (פונקציה מקבוצת הממשיים לקבוצת הממשיים האי שליליים) המוגדרת באותה צורה, אזי <math>h </math> היא על, כיוון שלכל <math>x </math> ממשי אי שלילי קיים המקור <math> \sqrt x </math>. |
||
==תכונות== |
==תכונות== |
||
עבור [[קבוצה סופית|קבוצות סופיות]], אם קיימת פונקציה מקבוצה A לקבוצה B שהיא על, אזי מספר האיברים ב-B קטן או שווה למספר האיברים ב-A |
עבור [[קבוצה סופית|קבוצות סופיות]], אם קיימת פונקציה מקבוצה <math>A </math> לקבוצה <math>B </math> שהיא על, אזי מספר האיברים ב-<math>B </math> קטן או שווה למספר האיברים ב-<math>A </math>. אם קיימת בין הקבוצות פונקציה שהיא חד-חד ערכית, אזי מספר האיברים ב-<math>A </math> קטן או שווה למספר האיברים ב-<math>B </math> ואם קיימת בין הקבוצות פונקציה שהיא חד-חד ערכית ועל, אזי מספר האיברים ב-<math>A </math> שווה למספר האיברים ב-<math>B </math>. |
||
על הבסיס הזה בנה [[גאורג קנטור]] שיטה להשוות [[קבוצה אינסופית|קבוצות אינסופיות]], המהוות נושא מרכזי ב[[תורת הקבוצות]]. קנטור הציג את המושג [[עוצמה (מתמטיקה)|עוצמה]] כך ששתי קבוצות שיש ביניהן פונקציה שהיא חד-חד ערכית ועל הן שוות עוצמה. |
על הבסיס הזה בנה [[גאורג קנטור]] שיטה להשוות [[קבוצה אינסופית|קבוצות אינסופיות]], המהוות נושא מרכזי ב[[תורת הקבוצות]]. קנטור הציג את המושג [[עוצמה (מתמטיקה)|עוצמה]] כך ששתי קבוצות שיש ביניהן פונקציה שהיא חד-חד ערכית ועל הן שוות עוצמה. |
||
===משפטים מתורת הקבוצות=== |
===משפטים מתורת הקבוצות=== |
||
* אם <math> |
* אם <math>f: X \rightarrow Y</math> על אז [[עוצמה (מתמטיקה)|עוצמת]] <math>X </math> גדולה/שווה לעוצמת <math>Y </math> (המשפט דורש שימוש ב[[אקסיומת הבחירה]]). |
||
* אם <math> |
* אם <math>f \circ g</math> על, אז <math>f </math> על. |
||
* אם <math> |
* אם <math>f</math> ו-<math>g</math> שתיהן על, אזי <math>f \circ g</math> על גם היא. |
||
==אפימורפיזמים== |
==אפימורפיזמים== |
||
ב[[תורת הקטגוריות]], [[מורפיזם]] <math>\,f:X \rightarrow Y</math> נקרא '''אפימורפיזם''' אם לכל אובייקט |
ב[[תורת הקטגוריות]], [[מורפיזם]] <math>\,f:X \rightarrow Y</math> נקרא '''אפימורפיזם''' אם לכל אובייקט <math>Z </math> ולכל זוג מורפיזמים <math>\,g,h:Y\rightarrow Z</math> מתקיים שאם <math>g\circ f = h \circ f</math> אז <math>g=h </math>. בקטגוריה של קבוצות, המושגים פונקציה על ואפימורפיזם מתלכדים, אך יש קטגוריות, כגון הקטגוריה של חוגים, שבהן יש אפימורפיזמים שאינם פונקציות על. |
||
==ראו גם== |
==ראו גם== |
גרסה מ־22:07, 26 במאי 2020
בערך זה |
במתמטיקה, פונקציה מקבוצה לקבוצה היא על אם כל איבר בקבוצה מתקבל כערך של הפונקציה. לדוגמה, הפונקציה המתאימה לכל עלה את העץ שעליו הוא צומח היא "על", אם על כל עץ צומח עלה אחד לפחות.
באופן פורמלי: פונקציה היא על , אם לכל איבר בטווח () של הפונקציה מתאים לפחות איבר אחד בתחום () שלה (ובמילים אחרות: התמונה של שווה לטווח שלה). בסימון מתמטי: לכל קיים כך ש-. במקרה זה לעיתים מסמנים: כדי לציין ש- היא על.
קיומה של התכונה תלוי בטווח עליו מוגדרת הפונקציה: כך למשל, הפונקציה המתאימה לכל אדם את אמו היא על אם הטווח הוא קבוצת הנשים שיש להן ילדים, אבל לא על אם הטווח שלה מוגדר כקבוצת כל הנשים (כי יש נשים שאין להן ילדים). מסיבה זו, מקובל לציין שפונקציה היא על קבוצה מסוימת (שפירושו: אם קבוצה זו תילקח כטווח הפונקציה, יתקיימו הדרישות לפונקציה על).
-
דוגמה לפונקציה על
-
דוגמה לפונקציה שאינה על (לאיבר C אין מקור)
דוגמאות ודוגמאות נגד
- הפונקציה המתאימה לכל מצביע בבחירות 2006 את המפלגה שעבורה הצביע היא על קבוצת המפלגות שהתמודדו בבחירות אלה, כי לכל מפלגה הצביע לפחות אדם אחד (לא היו מפלגות שזכו לאפס קולות).
- תהי הפונקציה המוגדרת לפי הנוסחה לכל x ממשי. פונקציה זו היא "על", משום שלכל , .
- לעומת זאת, הפונקציה המוגדרת להיות אינה על, כיוון שבעבור , למשל, לא קיים מקור ממשי המקיים את המשוואה .
- תהי (פונקציה מקבוצת הממשיים לקבוצת הממשיים האי שליליים) המוגדרת באותה צורה, אזי היא על, כיוון שלכל ממשי אי שלילי קיים המקור .
תכונות
עבור קבוצות סופיות, אם קיימת פונקציה מקבוצה לקבוצה שהיא על, אזי מספר האיברים ב- קטן או שווה למספר האיברים ב-. אם קיימת בין הקבוצות פונקציה שהיא חד-חד ערכית, אזי מספר האיברים ב- קטן או שווה למספר האיברים ב- ואם קיימת בין הקבוצות פונקציה שהיא חד-חד ערכית ועל, אזי מספר האיברים ב- שווה למספר האיברים ב-.
על הבסיס הזה בנה גאורג קנטור שיטה להשוות קבוצות אינסופיות, המהוות נושא מרכזי בתורת הקבוצות. קנטור הציג את המושג עוצמה כך ששתי קבוצות שיש ביניהן פונקציה שהיא חד-חד ערכית ועל הן שוות עוצמה.
משפטים מתורת הקבוצות
- אם על אז עוצמת גדולה/שווה לעוצמת (המשפט דורש שימוש באקסיומת הבחירה).
- אם על, אז על.
- אם ו- שתיהן על, אזי על גם היא.
אפימורפיזמים
בתורת הקטגוריות, מורפיזם נקרא אפימורפיזם אם לכל אובייקט ולכל זוג מורפיזמים מתקיים שאם אז . בקטגוריה של קבוצות, המושגים פונקציה על ואפימורפיזם מתלכדים, אך יש קטגוריות, כגון הקטגוריה של חוגים, שבהן יש אפימורפיזמים שאינם פונקציות על.
ראו גם
קישורים חיצוניים
- פונקציה על, באתר MathWorld (באנגלית)