הבדלים בין גרסאות בדף "88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 5"
אחיה בר-און (שיחה | תרומות) (←המשך פונקציות) |
אחיה בר-און (שיחה | תרומות) (←המשך פונקציות) |
||
שורה 105: | שורה 105: | ||
טענה: g אכן פונקציה | טענה: g אכן פונקציה | ||
− | + | הוכחה: | |
− | + | 1. g שלמה - לפי העיניים | |
− | + | 2. g חד ערכית- נניח <math>[a]=[b]</math> צ"ל <math>f(a)=f(b)</math> וזה אכן מתקיים כי f מוגדרת היטב על קבוצת המנה. | |
− | |||
+ | '''דוגמא לחידוד''' | ||
+ | האם f על הרציונאליים המוגדרת על ידי <math>f(\frac{p}{q})=p</math> מוגדרת היטב? | ||
− | ''' | + | '''פתרון''' |
− | + | לא! כזכור הרציונאליים הם קבוצת מנה של <math>\mathbb{R}\times \mathbb{N}</math>. לפי היחס שהגדרנו מתקיים <math>\frac{1}{3}=\frac{2}{6}</math> אבל לא מתקיים <math>f(\frac{1}{3})=1\not=2=f(\frac{2}{6})</math> | |
− | + | במילים: לא ברור לאן f שולחת את השבר שליש! | |
− | + | הערה: בכוונה ניסחנו את התרגיל באופן הרומז על יחס השקילויות מבלי לומר אותו במפורש. זו הדרך בה נתקל במושג 'מוגדר היטב' במהלך התואר - יחס השקילויות יהיה מרומז בלבד. | |
− | + | ||
− | + | ||
− | + | ||
− | בכוונה ניסחנו את התרגיל באופן הרומז על יחס השקילויות מבלי לומר אותו במפורש. זו הדרך בה נתקל במושג 'מוגדר היטב' במהלך התואר - יחס השקילויות יהיה מרומז בלבד. | + |
גרסה מ־20:11, 25 ביולי 2013
המשך פונקציות
הגדרה. תהי פונקציה, ויהיו תת קבוצות . אזי , .
שימו לב שהסימון אינו רומז בשום צורה שהפונקציה צריכה להיות הפיכה, הגדרה זו תקפה לכל פונקציה.
תרגיל.
הוכח/הפרך: תהא אזי
פתרון.
נניח וf אינה חח"ע, כלומר קיימים כך ש . ניקח אזי:
תרגיל.
תהי ותהי . הוכח . וקיים שיוויון אם חח"ע
פתרון.
יהא אזי ולכן .
נראה את ההכלה בכיוון השני אם חח"ע:
יהא לכן לכן . כיוון ש חח"ע נובע כי
תרגיל.
תהי ותהי . הוכח . וקיים שיוויון אם על
פתרון.
יהא כאשר ולכן .
נראה את ההכלה בכיוון השני אם על:
יהא כיוון ש f על לכן . ואז
תרגיל ממבחן (קצת משודרג).
יהיו שתי קבוצות, ותהי פונקציה כלשהי. נגדיר את הפונקציה על ידי . בדוק את הקשר בין החח"ע/על של f לבין אלה של g. (כלומר, מה גורר את מה בהכרח).
פתרון.
1. f על אמ"מ g חח"ע בכיוון אחד- נתון ש f על. נניח נפעיל את f על שני הצדדים ונקבל (בגלל ש f על)
בכיוון השני- נתון כי g חח"ע. נניח בשלילה כי f אינה על אזי לכן בסתירה לחח"ע של g.
2. f חח"ע אמ"מ g על
בכיוון אחד- נתון f חח"ע. אזי ולכן g על ( עבור A המקור שלה יהיה )
בכיוון השני- נתון g על. נניח בשלילה ש f אינה חח"ע אזי קיימים שונים כך ש . נביט בנקודון כיוון ש g על קיימת כך ש לכן כיוון ש B אינה ריקה נקבל ש לכן . ולכן . סתירה.
מכאן ניתן להסיק כי שאר הגרירות אינן מוכרחות:
- ייתכן ו-f חח"ע אך g אינה כזו (ניקח f חח"ע שאינה על אזי g אינה חח"ע לפי 1)
- יתכן ו-g חח"ע אך f אינה כזו. (ניקח g חח"ע שאינה על אזי f אינה חח"ע לפי 2)
- ייתכן ו-f על אך g אינה כזו (ניקח f על שאינה חח"ע אזי g אינה על לפי 2)
- ייתכן ו-g על אך f אינה כזו (ניקח g על שאינה חח"ע אזי f אינה על לפי 1)
אתם מוזמנים לתת דוגמאות למסקנות לעיל
למשל: יהיו . אזי קיימת פונקציה f יחידה מX לY. פונקציה זו אינה חח"ע כמובן, אך g כן חח"ע שכן ואלה הקבוצות היחידות בקבוצת החזקה של Y.
הגדרה.
תהי ותהי . הפונקציה f מצומצמת לA מוגדרת על ידי: כך ש .
דוגמא. נביט ב המוגדרת על ידי ואינה חח"ע. נכון לומר שהפונקציה המצומצמת כן חח"ע.
תרגיל.
תהי פונקציה, הוכח שקיימת קבוצה A כך ש חח"ע
פתרון.
פייי זו שאלה קשה. תזכירו לנו אותה כאשר נגיע לאקסיומת הבחירה. (שכן נביט ב ונרצה לבחור איבר יחיד מבין כל קבוצה כזו. אקסיומת הבחירה היא זו המאפשרת לנו לבצע בחירה זו בשלום.)
הגדרה. תהי , ויהי R יחס שקילויות על A. אומרים כי f מוגדרת היטב על אם
כלומר אם a שקול ל b אזי /
למה זה טוב? כדי שנוכל להגדיר פונקציה על קבוצת המנה ע"י
באופן מפורש .
טענה: g אכן פונקציה
הוכחה:
1. g שלמה - לפי העיניים
2. g חד ערכית- נניח צ"ל וזה אכן מתקיים כי f מוגדרת היטב על קבוצת המנה.
דוגמא לחידוד
האם f על הרציונאליים המוגדרת על ידי מוגדרת היטב?
פתרון לא! כזכור הרציונאליים הם קבוצת מנה של . לפי היחס שהגדרנו מתקיים אבל לא מתקיים
במילים: לא ברור לאן f שולחת את השבר שליש!
הערה: בכוונה ניסחנו את התרגיל באופן הרומז על יחס השקילויות מבלי לומר אותו במפורש. זו הדרך בה נתקל במושג 'מוגדר היטב' במהלך התואר - יחס השקילויות יהיה מרומז בלבד.