לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
תרגול 12 תשעז
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
==הרכבת פונקציות והפיכות== '''הגדרה:''' יהיו <math>f:A\to B, g:B\to C </math> שתי פונקציות אזי '''ההרכבה של <math>g</math> על <math>f</math>''' היא פונקציה <math>g \circ f:A\to C </math> המוגדרת על ידי הכלל <math>g \circ f(a)=g(f(a)) </math>. הערה: אם מתייחסים לפונקציות כאל יחסים - מקבלים את ההגדרה של הרכבת יחסים. '''משפט:''' *אם <math>g \circ f</math> חח"ע אזי <math>f</math> חח"ע. *אם <math>g \circ f</math> על אזי <math>g</math> על. *מסקנה: אם <math>g \circ f</math> חח"ע ועל אזי <math>f</math> חח"ע ו-<math>g</math> על. תכונות של הרכבת פונקציות: # הרכבה היא קיבוצית. כלומר <math>f_3 \circ (f_2 \circ f_1) = (f_3 \circ f_2) \circ f_1 </math>. # הרכבה '''אינה''' (בהכרח) חילופית כלומר לא מתקיים בהכרח כי <math>f_2 \circ f_1 = f_2 \circ f_1 </math>. למשל לפונקציות מעל הטבעיים <math>f(x) =x^2 , g(x) = x+1</math> אזי <math>f(g(2))=f(3)=9, g(f(2))=g(4)=5</math> ולכן <math>f\circ g \neq g \circ f</math>. #לכל פונקציה <math>f</math> מתקיים <math>f\circ \mathrm{id} =f</math> וגם <math>\mathrm{id} \circ f =f</math>. שימו לב לתחומי ההגדרה והטווחים של הפונקציות שנדרשים כדי שהטענות האלו יהיו נכונות. ===פונקציות הפיכות=== '''הגדרה:''' תהי <math>f</math> פונקציה <math>f:A\rightarrow B</math>. פונקציה <math>g:B\rightarrow A</math> תקרא '''הפונקציה ההופכית ל-<math>f</math>''' אם <math>f\circ g = \mathrm{id}_B</math> וגם <math>g\circ f = \mathrm{id}_A</math>. במקרה זה נסמן את <math>g</math> על ידי <math>f^{-1}</math>, ונאמר שהפונקציה <math>f</math> היא '''הפיכה'''. שימו לב שאם <math>f</math> פונקציה הפיכה, אז גם <math>f^{-1}</math> היא פונקציה הפיכה, ומתקיים <math>(f^{-1})^{-1}=f</math>. ===תרגיל=== (לדלג, היה בהרצאה): הוכיחו כי פונקציה <math>f</math> הפיכה אם"ם היא חח"ע ועל. ====פתרון==== אם <math>f</math> הפיכה, אזי <math>f\circ f^{-1} = \mathrm{id}_B</math> וגם <math>f^{-1}\circ f = \mathrm{id}_A</math>. מכיוון שפונקציית הזהות הינה חח"ע ועל, נובע ש-<math>f</math> חח"ע ועל לפי משפט קודם. אם <math>f</math> חח"ע ועל, אז נגדיר <math>g:B\to A</math> ע"י: עבור <math>a\in A </math> קיים (כי <math>f</math> על) <math>b\in B</math> יחיד (כי <math>f</math> חח"ע) כך ש-<math>f(a)=b</math> . נגדיר <math>g(b):=a</math>. תרגיל: בדקו כי <math>g</math> היא ההופכית של <math>f</math>. ===דוגמאות=== # פונקציות <math>f:\mathbb{R} \to \mathbb{R}</math> המוגדרות לפי: ## <math>f(x)=x+1</math> הפיכה וההופכית היא <math>f^{-1}(x) = x-1 </math>. ## <math>f(x)=x^3</math> הפיכה וההופכית היא <math>f^{-1}(x) = x^{1/3} </math>. ## <math>f(x)=\sin (x)</math> אינה הפיכה כי איננה חח"ע למשל <math>\sin(0) =\sin(2\pi k)</math> לכל <math>k\in\mathbb{Z}</math>. # תהא <math>A</math> קבוצה. פונקציות <math>f:P(A)\to P(A)</math> המוגדרות לפי: ## <math>f(B)= B^c</math> הפיכה וההופכית היא <math>f^{-1}(B) = B^c </math>. ## תהא <math>C\subseteq A</math> תת קבוצה. <math>f(B)= B \triangle C</math> הפיכה וההופכית היא <math>f^{-1}(B) = B \triangle C </math>. # תהא <math>A</math> קבוצה. אזי אפשר (בעזרת חומר שראינו בתרגול על יחסי שקילות) להגדיר <math>f:\{R \; | \; R \text{ Equivalence relation }\}\to \{\text{Partitions of }A\}</math> ע"י <math>f(R)=A/R</math> והיא תהיה חח"ע ועל, וכבר ראינו את הפונקציה ההופכית לה. ===תרגיל === יהיו <math>f_1,\dots f_k:A\to A</math> שכולן הפיכות\חח"ע\על. הוכיחו שההרכבה <math>f_k \circ \dots \circ f_1</math> הפיכה\חח"ע\על. ====פתרון==== למעשה אפשר לעשות אינדוקציה על המשפט מן ההרצאה. עבור שתי פונקציות זה בהרצאה. נניח נכונות ל<math>k-1</math> ונוכיח ל<math>k</math>. חח"ע: נניח <math>(f_k \circ \dots \circ f_1)(x_1) =(f_k \circ \dots \circ f_1)(x_2)</math> אזי מחח"ע של <math>f_k</math> נקבל כי <math>(f_{k-1} \circ \dots \circ f_1)(x_1) =(f_{k-1} \circ \dots \circ f_1)(x_2)</math> מהנחת האינדוקציה עבור <math>k-1</math> פונקציות נקבל שההרכבה חח"ע ולכן <math>x_1=x_2</math>. על: יהא <math>y\in A</math> כיוון ש-<math>f_k</math> על, קיים <math>a\in A</math> כך ש-<math>f_k(a) = y</math>. בנוסף, מהנחת האינדוקציה קיים <math>b\in A</math> כך ש <math>f_{k-1}\circ \dots \circ f_1(b)=a</math> ולכן נקבל <math>f_k\circ \dots \circ f_1(b) = f_k\circ (f_{k-1}\circ \dots \circ f_1)(b)=f_k(a)=y</math>. מש"ל. הפיכות: נובע מחח"ע יחד עם על. ===תרגיל === הוכיחו כי אם <math>g\circ f \circ g =\mathrm{id}</math> אז <math>f</math> הפיכה. הוכחה: הרכבה של פונקציה חח"ע <math>(g\circ f) \circ g =\mathrm{id}</math> גורר שהפונקציה <math>g</math> הימנית חח"ע. הרכבה של פונקציה על <math>g\circ (f \circ g) =\mathrm{id}</math> גורר שהפונקציה <math>g</math> השמאלית על. קיבלנו ש-<math>g</math> חח"ע ועל, כלומר הפיכה. נכפול את הנתון ב-<math>g^{-1}</math> מימין ומשמאל ונקבל כי <math>f=g^{-1}\circ g^{-1}</math> ואז <math>f</math> הפיכה כהרכבה של פונקציות הפיכות.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)