השכלה

חוזרים בתבונה התנועה ליהדות חופשית

מושגים בסיסיים בתורת הקבוצות / פונקציות

📥 הורד PDF

חשבון אינפיניטסימלי

  • פעולות אריתמטיות על קבוצות
  • קטעים
  • מספרים רציונליים ואי-רציונליים
  • פונקציות
  • בר מניה ולא בר מניה
  • קבוצות חסומות
  • תרגולים
  • תרגילים










פונקציות יהיו הנושא העיקרי בו נעסוק בקורס זה. לעת עתה נציג מבוא קצר לפונקציות, על מנת לתת מעט מידע כללי על מושג חשוב זה.

הגדרה

עריכה

כללי

עריכה

פונקציה הנה התאמה של אברים מקבוצה הנקראת "תחום הגדרת הפונקציה" (או בקיצור: תחום) לקבוצה הנקראת "תמונת הפונקציה" (או בקיצור: תמונה). במילים אחרות, התחום הנו קבוצת כל האברים עליהם ניתן להפעיל את הפונקציה (כלומר כל האברים שהפונקציה יכולה לקבל), והתמונה הינה קבוצת כל הערכים שיכולים להתקבל כתוצאה מהפעלת הפונקציה על האברים בתחום. אם התמונה מהווה תת-קבוצה של קבוצה גדולה אחרת, הקבוצה הגדולה יותר תקרא "טווח הפונקציה" או בקיצור "טווח".

ההתאמה הנה חד-ערכית, כלומר לכל אבר בתחום הגדרת הפונקציה מותאם אבר יחיד בקבוצת הטווח. במילים אחרות, אם נתונה פונקציה ואבר בתחום הפונקציה, קיים יחיד בטווח הפונקציה המותאם אליו. מסמנים זאת כך: .
תרשים להמחשה: תחום, טווח ותמונה

אופן הכתיבה

עריכה

נהוג לכתוב פונקציה באופן הבא:
, כאשר: הנה התחום ו- היא הטווח.

השורה העליונה מציגה את הסימון של הפונקציה, את סימון התחום ואת סימון הטווח. השורה התחתונה נותנת את כלל ההתאמה של הפונקציה.

בתור דוגמא, נביט בפונקציה המקבלת מספר ממשי ומעלה אותו בריבוע: ,

כאן מסמן את קבוצת כל המספרים הממשיים הגדולים או שווים ל- (המספרים האי-שליליים).

חלוקה למקרים

עריכה

תהא פונקציה, הפועלת בצורה שונה על מספרים מהקבוצה ועל מספרים מהקבוצה . אזי, נכתוב את פעולת הפונקציה באופן הבא: , כאשר היא הדרך בה פועלת על מספרים השייכים לקבוצה , ו- היא הדרך בה פועלת על מספרים השייכים לקבוצה .

דוגמה: תהא פונקציה שמעתיקה מספרים באופן הבא: אם המספר הוא חיובי או (מה שנקרא אי-שלילי) הפונקציה מוסיפה למספר , ואם הוא שלילי - היא מוסיפה לו . אז נכתוב את הפונקציה כך: .

הגדרות נוספות

עריכה

תהא פונקציה.

  1. יהא כלשהו, ונניח שקיים כך ש- . במקרה זה, אומרים ש- הוא מקור של .
  2. יהא כלשהו, ונניח שקיים כך ש- . במקרה זה, אומרים ש- היא התמונה של .

דוגמא: נתבונן בפונקציה:

במקרה זה, התחום הנו הקבוצה והתמונה הנה הקבוצה . במקרה כזה, אנו יכולים להגיד שטווח הפונקציה הוא .

פונקציה הפוכה

עריכה

כאמור למעלה, פונקציה היא תמיד חד-ערכית. נראה אילו תכונות נוספות פונקציה כללית יכולה לקיים:

חד-חד-ערכיות

עריכה

נגיד שפונקציה היא חד-חד-ערכית (ונכתוב: 1:1 או חח"ע) אם לכל אבר בטווח קיים לכל היותר מקור אחד בלבד בתחום. במקרה זה, נוכל להגיד שזהו המקור של אותו אבר בתמונה.

על

עריכה

נגיד שפונקציה היא על אם לכל אבר בטווח קיים לכל הפחות מקור אחד בתחום. תכונה זו, כפי שנראה בהמשך, תלויה פעמים רבות בהגדרת הטווח.

הגדרה

עריכה

לפונקציה שהיא גם חח"ע וגם על ניתן להגדיר פונקציה הפוכה, באופן הבא: אם , אזי הפונקציה ההפוכה תיראה כך:

דוגמא: מצאו את הפונקציה ההפוכה של .

פתרון: ראשית נבדוק שמתקיימות התכונות שלמעלה: הפונקציה היא חד-חד-ערכית, כי לכל אבר בתמונה יש מקור יחיד. לעומת זאת, הפונקציה אינה על. על-מנת לפתור בעיה זו ולמצוא את הפונקציה ההפוכה, נשנה את אופן רישום הפונקציה: התמונה של הפונקציה הנה כל השלמים השליליים, כלומר . לכן, נרשום את הפונקציה באופן הבא: .
כעת: הפעולה ההפוכה לכפל ב- היא כפל ב- . לכן, הפונקציה ההפוכה תהיה: .

במבוא זה לא ניכנס להסברים יותר מפורטים. אליהם נגיע רק בפרק השני של קורס זה.


הנושא הקודם בפרק זה
מספרים רציונליים ואי-רציונליים
בחזרה לעמוד הפתיחה
חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות
הנושא הבא בפרק זה:
בר מניה ולא בר מניה

מקור: ויקיספר העברי · רישיון CC BY-SA 4.0 · התוכן עובד והותאם