פעולה (מתמטיקה)

סימני ארבע פעולות החשבון האלמנטריות.

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

סוגי פעולות

שגיאה ביצירת תמונה ממוזערת:

הדגמה של פעולה בינארית. הפעולה לוקחת שני אופרנדים - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} ו-$y$, ומחזירה את התוצאה $x\circ y$.

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

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

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

הגדרה פורמלית

פעולה n-רית היא פעולה המקבלת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} קלטים - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X_1,...,X_n} ומחזירה תוצאה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} . הפעולה היא פונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega:X_1\times ...\times X_n \rightarrow Y} . הקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega:X_1\times ...\times X_n} נקראת "תחום הפעולה", והקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} נקראת "טווח הפעולה". לפיכך, פעולה אונרית היא פעולה המקבלת קלט אחד, ופעולה בינארית מקבלת שני קלטים. פעולה שמקבלת אפס קלטים, המכונה פעולה נאלרית, היא פשוט קבוע השייך ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} . ניתן להתייחס לפעולה המקבלת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} קלטים כיחס סופי $n+1$ ממדי שמוגדר לכל קבוצת קלטים, ולכל קבוצה כזו מחזיר פלט יחיד.

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

לעיתים קרובות הטווח של פונקציה כולל איברים מהסוג של הקלטים, אם כי יש יוצאים מן הכלל כמו מכפלה סקלרית, שמקבלת וקטורים ומחזירה סקלר. פעולה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega: X^n \rightarrow X} , המקבלת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} משתנים מקבוצה מסוימת, ומחזירה פלט מאותה הקבוצה, נקראת פעולה פנימית. בעבור פעולות בינאריות, נגדיר פעולה חיצונית שמאלית כ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega:S \times X \rightarrow X} מעל קבוצת סקלרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} , ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega: X \times S \rightarrow X} תקרא פעולה חיצונית ימנית מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} . דוגמה לפעולה פנימית היא חיבור וקטורים - פעולה שמקבלת שני וקטורים ומחזירה וקטור חדש שהוא החיבור של שניהם. דוגמה לפעולה חיצונית היא כפל בסקלר, המקבלת וקטור וסקלר, ומחזירה וקטור. ניתן להרחיב את ההגדרה ולהגדיר פעולה חיצונית גם במקרה הכללי של יותר משני קלטים, ולהגדירה כפעולה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega: X^i \times S \times X^{n-i-1} \rightarrow X} המקבלת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} קלטים שאחד מהם שייך לקבוצת סקלרים $S$, ומחזירה איבר ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} .

ראו גם

• יחס
• היפר-פעולות
• אופרטור
• קדימות אופרטורים

קישורים חיצוניים

• פעולה, באתר MathWorld (באנגלית)

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

פעולה (מתמטיקה)34771208Q3884033