שינויים
/* תרגיל 5 שאלה 4ב */
בשאלה 4ב בעצם מבקשים למצוא פונקציה חח"ע ועל, אבל התחום והטווח שלה הן פונקציות..
אפשר להגדיר פונקציה כזאת? אם כן, אפשר לקבל דוגמא לאיך נראה איבר בתחום ומה הפונקציה עושה לו?
:כל קבוצה, ובפרט קבוצה של פונקציות, יכולה להיות תחום או טווח של פונקציה. הנה כמה דוגמאות לפונקציות ששולחות פונקציות לפונקציות:
::אם <math>A,B,C</math> קבוצות ו-<math>B\subseteq C</math> אז נגדיר <math>F:A^C\to A^B</math> ע"י <math>F(f)=f|_B</math> ובמילים: הפונקציה <math>F</math> שולחת את הפונקציה <math>f:C\to A</math> אל הצמצום שלה לקבוצה <math>B</math>.
::אם <math>A,B,C</math> כנ"ל ו-<math>a_0\in A</math> אז נגדיר <math>F:A^B\to A^C</math> ע"י <math>F(f)=g_f</math> באשר <math>g_f:C\to A</math> מוגדרת באופן הבא: <math>g_f(x)=f(x)</math> אם <math>x\in B</math> ואחרת <math>g_f(x)=a_0</math>. [ניסוח אחר: הפונקציה <math>F</math> שולחת את <math>f:B\to A</math> אל הפונקציה <math>g_f:C\to A</math> המוגדרת כמו <math>f</math> על <math>B</math> ומחוץ ל-<math>B</math> היא מוגדרת להיות <math>a_0</math>.]
:--[[משתמש:Ufirst|אוריה]] 22:18, 16 באוגוסט 2012 (IDT)
== רשימת משפטים לבחינה ==
