Loading AI tools
מונח מתמטי מוויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה (שעשויה להיות אותה קבוצה). זהו מושג כללי ביותר, המופיע בכל תחומי המדעים המדויקים, וגם מחוץ להם. הפונקציה משמשת בין השאר ככלי לבטא תלות בין משתנים (מצב בו שני משתנים או יותר תלויים זה בזה) וככזו מאפשרת הצגה פורמלית של אופי התלות בין גדלים שונים בתחומי המדע, ההנדסה והכלכלה.
![]() בערך זה |
פונקציה מקבוצה לקבוצה היא אוסף של זוגות סדורים, כך שלכל איבר x ב־X יש איבר יחיד y ב־Y שעבורו הסוג הסדור (x,y) שייך לאוסף. הסימון פירושו ש־ היא פונקציה מ־X ל־Y.
הקבוצה היא התחום של הפונקציה. זוהי קבוצת כל האיברים עליהם הפונקציה מוגדרת. הקבוצה קרויה טווח הפונקציה. זוהי קבוצה המכילה את כל האיברים שהפונקציה מתאימה לאיבר מ־. אומרים שהפונקציה "קולטת" איברים מהתחום ו"מחזירה" איברים מהטווח .
מבחינה פורמלית פונקציה היא תת־קבוצה של המכפלה הקרטזית (כלומר קבוצה של זוגות סדורים שהאיבר הראשון בכל זוג הוא מ־ והשני מ־) שמקיימת את שני התנאים הבאים:
קבוצת הזוגות הסדורים המרכיבה את קרויה גרף הפונקציה. זאת משום שבמקרה הפרטי של פונקציות ממשיות ניתן לתאר אותה באופן ויזואלי כגרף במערכת צירים קרטזית.
מסמנים אם ורק אם . במקרה כזה האיבר קרוי התמונה (או הדמות) של , ו־ קרוי מקור של (ייתכנו כמה מקורות לאיבר מסוים. אם קיים לכל איבר מקור יחיד, נאמר שהפונקציה חד־חד־ערכית). התנאי הראשון מבטיח שלכל ב־ יש תמונה. התנאי השני מבטיח שתמונה זו היא יחידה. יחס שהוא גם חד ערכי וגם מלא נקרא פונקציה.
אם מוותרים על התנאי הראשון (לא לכל איבר יש בהכרח תמונה) אז מתקבלת פונקציה חלקית, ואם מוותרים על התנאי השני (ייתכנו איברים עם יותר מתמונה אחת) מתקבלת פונקציה מרובה. אם מוותרים על שני התנאים יחדיו מתקבל יחס במובנו הכללי.
שתי פונקציות , עם אותו תחום וטווח, מוגדרות כשוות רק כאשר לכל .
לכל (תת־קבוצה כלשהי של ) הקבוצה (לפעמים מסומנת גם ) היא תת־קבוצה של המוגדרת: . כלומר זוהי התת־קבוצה של הכוללת את כל האיברים שהם תמונות של איברי . אומרים על שהיא התמונה של . בפרט, הקבוצה הכוללת את כל האיברים ב־ שהם תמונה של איבר כלשהו ב־, נקראת התמונה של הפונקציה ומסומנת לעיתים או .
לכל הקבוצה היא תת־קבוצה של המוגדרת: . כלומר זוהי התת־קבוצה של הכוללת את כל האיברים שהתמונה שלהם היא איבר ב־. אומרים על שהיא המקור של .
אם היא פונקציה, ו־, אז הפונקציה המוגדרת , נקראת הצמצום של ל־. זוהי הפונקציה שתחומה מוגבל לקלטים מ .
לכל איבר ב־ יש תמונה יחידה, אבל לאיבר ב־ יכולים להיות כמה מקורות או אף מקור בכלל. לכן באופן כללי לא תמיד מתקיים או . היחסים הבאים תמיד מתקיימים:
בתחומים שונים של המתמטיקה חוקרים ומתעניינים בתכונות שונות ומגוונות של פונקציות. על פי רוב מדובר בתכונות הקשורות במבנה המוגדר על התחום או הטווח של הפונקציה (למשל רציפות של פונקציות ממשיות ושימור מרחק של איזומטריות). עם זאת ישנן מספר תכונות כלליות של פונקציות שאינן תלויות כלל במבנה של הקבוצות עליהן הן מוגדרות.
להלן דוגמאות לפונקציות בסיסיות המוגדרות באופן כללי לקבוצות ללא תלות במבנה מסוים.
פונקציית הזהות על קבוצה היא פונקציה המוגדרת לכל . כאשר רוצים להדגיש שמדובר בפונקציית הזהות של קבוצה מסוימת מסמנים את הפונקציה כ־. פונקציית הזהות היא פונקציה חד־חד־ערכית ועל (ולכן גם תמורה). כל איבר ב־ הוא נקודת שבת שלה. הפונקציה ההופכית שלה היא היא עצמה (). פונקציית הזהות היא איבר היחידה ביחס להרכבת פונקציות (כמפורט בהמשך). היא משמשת כדי להראות שכל קבוצה שקולה לעצמה.
הפונקציה הריקה לקבוצה היא הפונקציה היחידה . כלומר זוהי הפונקציה היחידה מהקבוצה הריקה לקבוצה כלשהי . מכיוון שבקבוצה הריקה אין איברים, הפונקציה לא קולטת שום איבר ואינה מחזירה אף איבר. הפונקציה מקיימת את התנאים שבהגדרת הפונקציה באופן ריק. הפונקציה היא חד־חד־ערכית (באופן ריק), אך אינה על, למעט במקרה .
פונקציה שמקיימת שלכל מתקיים נקראת פונקציה קבועה. הפונקציה הריקה היא קבועה באופן ריק. אם היא פונקציה קבועה שאינה הפונקציה הריקה, אז קיים כך שלכל מתקיים (ואז מסמנים ). אם אינה ריקה ואינה יחידון, אז אף פונקציה קבועה ממנה אינה חד־חד־ערכית (לעומת זאת כל פונקציה מיחידון היא חד־חד־ערכית). אם אינה ריקה ואינה יחידון, אז פונקציה קבועה אליה אינה על.
פונקציה נקראת פונקציה מציינת של תת־קבוצה אם לכל מתקיים:
כלומר זאת פונקציה שמחזירה לכל איבר של , ומחזירה לכל איבר שאינו ב־.
הפונקציה המציינת מסומנת גם .
פונקציה ־מקומית או פעולה ־ארית היא פונקציה מהצורה . כאשר היא קבוצת ה־n־יות הסדורות של איברי . כאשר רושמים את התמונה של פונקציה ־מקומית מקובל להשמיט את הסוגריים של ה־־יה הסדורה. כלומר רושמים במקום .
פונקציה ־מקומית נקראת גם פעולה אונארית. זוהי פשוט פונקציה רגילה.
המקרה החשוב ביותר הוא של פונקציה ־מקומית, הקרויה גם פעולה בינארית. זוהי פעולה המתאימה לכל זוג סדור של איברים בקבוצה, איבר בקבוצה. הדוגמאות המוכרות ביותר לפעולות בינאריות הן ארבע פעולות החשבון המוגדרות על קבוצות של מספרים. במקרה כזה נהוג להחליף את הסימון הסטנדרטי לתמונת הפונקציה בסימן פעולה שמופיע בין איברי הזוג. במקום לסמן מסמנים כאשר הוא סימן מוסכם כלשהו שמסמן את פעולת .
פונקציה ־מקומית נקראת פעולה טרינארית.
על קבוצה של פונקציות ניתן להגדיר פעולה בינארית בסיסית הקרויה הרכבת פונקציות. בהינתן פונקציה ופונקציה , מגדירים את ההרכבה שלהן בתור פונקציה המוגדרת לכל בתור . כלומר תוצאת ההרכבה היא פונקציה המוגדרת על ידי הפעלת על איבר ועל התמונה המתקבלת מפעילים את . הרכבת פונקציות אינה פעולה קומוטטיבית (לרוב גם אם שני האגפים מוגדרים). עם זאת, זוהי פעולה אסוציאטיבית (כאשר יש שרשרת של פעולות הרכבה בזו אחרי זו, ניתן להוסיף בתוכה סוגריים היכן שרוצים בלי לשנות את התוצאה).
פונקציית הזהות היא איבר יחידה (שמאלי או ימני) ביחס להרכבת פונקציות. בהינתן פונקציה מתקיים וכן . אם הפיכה, אז מתקיים גם וכן .
מהתכונות שנמנו כאן נובע שקבוצת הפונקציות מקבוצה כלשהי לעצמה (פונקציות מהצורה ) היא מונואיד ביחס לפעולת הרכבת הפונקציות. פונקציית היחידה היא איבר היחידה (הדו־צדדי) של המונואיד. האיברים ההפיכים במונואיד הם הפונקציות ההפיכות.
את קבוצת הפונקציות מקבוצה לקבוצה מסמנים . סימון זה אינו מקרי. יש קשר הדוק בין קבוצה זו לפעולת החזקה.
לכל קבוצה יש עוצמה שניתן לתארה אינטואיטיבית כ"מספר האיברים" בה. העוצמות של קבוצות סופיות הן מספרים טבעיים. לקבוצות אינסופיות יש עוצמות אינסופיות, שעשויות להיות שונות זו מזו (תורת הקבוצות מבחינה בין גדלים שונים של אינסוף). את העוצמה של קבוצה מסמנים .
אם ו־ הן קבוצות סופיות, אז מספר הפונקציות בקבוצה הוא מספר האיברים ב־ בחזקת מספר האיברים ב־. בניסוח קומפקטי לפי הסימונים שהנהגנו זה עתה: . הזהות נובעת משיקול קומבינטורי פשוט שמסתמך על עקרון הכפל: נניח שבקבוצה יש איברים, ובקבוצה יש איברים. נבחר איבר ראשון ב־, הוא יכול לעבור לכל אחד מ־ איברים. נבחר איבר שני ב־, גם הוא יכול לעבור לכל אחד מ־ איברים. וכן הלאה עד שנגיע לאיבר ה־ ב־. נכפיל את כל האפשרויות יחדיו לכל איברי כדי לקבל את מספר האפשרויות הכולל ונקבל .
לקבוצות אינסופיות מחליטים לקבל זהות זו כהגדרה של חזקה בין עוצמות אינסופיות. לכל זוג עוצמות מגדירים . זוהי הגדרה מוצלחת, שכן היא מקיימת את חוקי החזקות והיא עדיין מהווה פעולת כפל מקוצר ביחס לכפל המוגדר בין עוצמות.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.