אידמפוטנט

שמאל|ממוזער|250px|כפתור 'עצור' באוטובוס: לאחר לחיצה ראשונה, אין השפעה ללחיצות נוספות.
במתמטיקה, **אידמפוטנט** הוא איבר e של מבנה אלגברי המקיים את התכונה e^2=e. ההגדרה חלה גם על פונקציות: פונקציה היא אידמפוטנטית אם הפעלתה פעמיים שווה להפעלתה פעם אחת. לדוגמה, פעולת ערך מוחלט היא אידמפוטנטית, למשל: |-5| = ||-5||. באלגברה מופשטת מושג זה משמש בעיקר בחקר אופרטורים של הטלה וסגירות.

את המונח אידמפוטנטיות טבע במאה ה-19 בנג'מין פירס בהקשר של איברים באלגברה שאינם משתנים כאשר הם מועלים בחזקה של מספר שלם חיובי. מדובר בהלחם בלטינית (idem + potentia שיש לו אותה חזקה) אך תחום השימוש במונח, כמו גם הגדרתו, התרחבו.

## איברים אידמפוטנטים
### הגדרה
במאגמה (קבוצה עם פעולה בינארית יחידה) (• ,*M*) איבר הוא אידמפוטנטי אם: x • x = x.

### דוגמאות
* המספר הטבעי 1 הוא איבר אידמפוטנטי ביחס לכפל היות ש 1 × 1 = 1 וכך גם 0: 0 × 0 = 0. יתר המספרים הטבעיים אינם מקיימים תכונה זו ולכן הכפל אינו פעולה אידמפוטנטית בקבוצת המספרים הטבעיים.באופן פורמלי במונואיד (×,\mathbb {N}) האיברים האידמפוטנטיים היחידים הם 0 ו-1.
* במאגמה איבר היחידה e הוא אידמפוטנטי. מהגדרתו כאיבר אדיש: e = e • e . כך גם איבר האפס a, אם קיים, בשל תכונת הבליעה שלו: a = a • a.
* בחבורה איבר היחידה הוא האיבר האידמפוטנטי היחידי: אם קיים x • x = x אז x • x = x • e ועל ידי הכפלה משמאל באיבר ההופכי נקבל x = e.
* איחוד וחיתוך של כל שתי קבוצות x ו-y הם אידמפוטנטים.באופן פורמלי: במונואידים (∪ ,(𝒫(E)) ו (∩ ,(𝒫(E)) של קבוצת החזקה E עם פעולת איחוד ∪ ופעולת חיתוך ∩ בהתאמה, כל האיברים הם אידמפוטנטים ולכן הפעולות ∪ ו ∩ הן אידמפוטנטיות.
* במונואידים (∧, {0,1}) ו (∨, {0,1}) באלגברה בוליאנית עם הקשרים הלוגים של וגם ואו בהתאמה, כל האיברים הם אידמפוטנטים.
* אופרטור ליניארי אידמפוטנטי ממרחב וקטורי V לעצמו מגדיר פירוק V=\mathrm{Im}(T) \oplus \mathrm{Ker} T.כלומר, ניתן להציג את המרחב כסכום ישר של התמונה והגרעין. במונחי פירוק זה, האופרטור הוא הטלה על התמונה. במילים אחרות, הוא שווה ל0 על התמונה ולזהות על הגרעין. זה גורר בפרט שממד התמונה שווה לעקבה של האופרטור.

## פונקציות אידמפוטנטיות

### הגדרות

*פונקציה נתונה f מקבוצה נתונה לעצמה, היא אידמפוטנטית, ובלבד שכל x שבקבוצה מקיים f(f(x))=f(x).
*פונקציה נתונה f מקבוצה נתונה לעצמה, היא אידמפוטנטית, ובלבד ש-f היא פונקציה טרנזיטיבית, כלומר ובלבד שכל x,y,z שבקבוצה מקיימים כי: אם הן f(x)=y והן f(y)=z אז f(x)=z.

### דוגמאות

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

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

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

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

5. במרחב אפיני: הקְמוֹר, ובמרחב וקטורי: ההטלה, ובמרחב טופולוגי: הסְגוֹר והפְּנים, הם אידמפוטנטים.

6. דוגמאות נוספות: כוכב קלין V^* ו**פלוס קלין** V^+ (כוכב קלין ללא איבר האפס V*<sub>0</sub>).

==אידמפוטנטים והמבנה של חוגים==
ב[[אלגברה]], *'אידמפוטנט** הוא איבר e של [[חוג (מבנה אלגברי)|חוג]] או של [[מבנה אלגברי]] אחר, המקיים את השוויון <math>\ e^2 = e</math>.
פרט ל-0 ([[איבר האפס]]), שאינו נחשב בדרך כלל לאידמפוטנט, [[איבר היחידה]] הוא אידמפוטנט [[טריוויאלי (מתמטיקה)|טריוויאלי]]; ואכן, האידמפוטנטים קרובים להיות איברי יחידה, לפחות באופן מקומי, וזה תפקידם בתורת המבנה של [[חבורה למחצה|חבורות למחצה]] ושל חוגים.

בחוג, אידמפוטנטים <math>e</math> ו-<math>f</math> המקיימים את התנאי <math>ef=fe=0</math> נקראים **אידמפוטנטים אורתוגונליים**. לדוגמה, אם e הוא אידמפוטנט, אז גם <math>\ 1-e</math> אידמפוטנט, והשניים אורתוגונליים זה לזה. אם אי-אפשר לפרק אידמפוטנט e לסכום <math>\ e = e'+e''</math> של אידמפוטנטים אורתוגונליים, אז e הוא **אידמפוטנט פרימיטיבי**. 

=== קשרים בין שני אידמפוטנטים ===

יש כמה יחסי שקילות חשובים בין אידמפוטנטים בחוג R:
# <math>e,e'</math> **דומים מימין** אם <math>e'=eu</math> עבור איבר הפיך u. תנאי זה שקול לכך ש-<math>eR = e'R</math>; ולכך ש-<math>ee'=e'</math> ו-<math>e'e=e</math>; ולכך ש-<math>1-e, 1-e'</math> דומים משמאל.
# <math>e,e'</math> **צמודים** אם קיים u הפיך כך ש-<math>e' = ueu^{-1}</math>. זה שקול (!) לכך שקיימים v,w הפיכים כך ש-<math>e'=vew</math> (כלומר <math>e,e'</math> **דומים**); וגם לכך ש-<math>e,e'</math> איזומורפיים וגם <math>1-e,1-e'</math> איזומורפיים (ראו להלן).
# <math>e,e'</math> **איזומורפיים** אם <math>Re \cong Re'</math> כמודולים שמאליים, ולחלופין אם <math>eR \cong e'R</math> כמודולים ימניים. תנאי זה שקול לכך שקיימים a,b כך ש-<math>e=ab</math> ו-<math>e'=ba</math>; ובמקרה זה <math>a \in eRe'</math> ו-<math>b \in e'Re</math>. האידמפוטנטים איזומורפיים אם ורק אם קיים c כך ש-<math>Re=Rc</math> ו-<math>e'R=cR</math>.
אידמפוטנטים הדומים מימין וגם משמאל מוכרחים להיות שווים. אם שני אידמפוטנטים <math>e,e'</math> דומים מימין או משמאל אז הם צמודים; אם הם צמודים אז הם איזומורפיים; ואם הם איזומורפיים אז הם יוצרים את אותו אידיאל (<math>ReR = Re'R</math>), וחוגי הפינה <math>eRe, \,e'Re'</math> איזומורפיים (כחוגים עם יחידה). אף אחת מטענות אלה אינה הפיכה (חוג הוא **בעל צמצום פנימי**, ובקיצור המקובל IC ring, אם ורק אם כל שני אידפוטנטים איזומורפיים הם צמודים).


=== אידמפוטנטים מרכזיים ===

אידמפוטנט המתחלף עם כל אברי החוג נקרא **אידמפוטנט מרכזי**. הדוגמה הטיפוסית מופיעה בחוגים המתפרקים ל[[סכום ישר]]: אם <math>\ R = R_1 \oplus R_2</math>, אז <math>\ e = (1,0)</math> הוא אידמפוטנט מרכזי. גם להפך, אם <math>e</math> אידמפוטנט מרכזי של R, אז אפשר לפרק <math>\ R = Re \oplus R(1-e)</math>, וזהו סכום ישר של תת-חוגים. (חוג שבו כל האידמפוטנטים מרכזיים נקרא **חוג אבלי**).

=== פירוק פירס ===

לכל אידמפוטנט <math>e</math> בחוג אסוציאטיבי <math>R</math>, גם אם אינו מרכזי, <math>\ eRe = \{exe : x \in R\}</math> הוא תת-חוג ללא יחידה של <math>R</math>, עם יחידה משלו - <math>e</math>. חוג זה נקרא לעיתים 'פינה' (על שום המקרה שבו <math>R</math> הוא חוג מטריצות ו-<math>e</math> יחידת מטריצות בפינה השמאלית העליונה). אידמפוטנט שה[[אידיאל (אלגברה)|אידיאל הדו-צדדי]] שהוא יוצר הוא החוג כולו נקרא **אידמפוטנט מלא**. חוגים הם [[שקילות מוריטה|שקולי מוריטה]] זה לזה אם ורק אם אחד מהם איזומורפי לפינה של חוג מטריצות מעל השני, ביחס לאידמפוטנט מלא (בחוג המטריצות).

**פירוק פירס** של החוג הוא הפירוק לסכום ישר של חבורות <math>\ R = eRe \oplus eR(1-e) \oplus (1-e)Re \oplus (1-e)R(1-e)</math>, שבו שני המרכיבים <math>\ eRe</math> ו- <math>\ (1-e)R(1-e)</math> הם תת-חוגים עם היחידות e ו- <math>\ 1-e</math>, ואילו שני האחרים הם [[בי-מודול]]ים מעליהם (האחד ימני ושמאלי, והשני שמאלי וימני, בהתאמה).

הדוגמה הטיפוסית לאידמפוטנט שאינו מרכזי היא יחידת המטריצות <math>\ e_{11}</math> ב[[אלגברת מטריצות|חוג מטריצות]]. פירוק פירס של אלגברת המטריצות <math>\ \operatorname{M}_2(F)</math> נותן את ארבעת המרכיבים הטבעיים <math>\ F e_{ij}</math>. באלגברת מטריצות <math>\ \operatorname{M}_n(A)</math>, היחידות <math>\ e_{ii}</math> הן אידמפוטנטים אורתוגונליים ופרימיטיביים שסכומם 1.

לפירוק פירס בכמה מחלקות לא [[פעולה אסוציאטיבית|אסוציאטיביות]], ראו [[אלגברה אלטרנטיבית#הרחבות מרכזיות ופירוק פירס]], [[אלגברת ז'ורדן#פירוק פירס]], [[אלגברה עם חזקה אסוציאטיבית#פירוק פירס]].

=== הרמת אידמפוטנטים ===

אם לכל איבר a של [[אידיאל (תורת החוגים)|אידיאל]] A בחוג R, המשלים <math>\ 1-a</math> הפיך, ובנוסף לזה כל אידפוטנט של [[חוג מנה|חוג המנה]] <math>\ R/A</math> הוא מהצורה <math>\ e+A</math> כאשר e אידמפוטנט של R, אז A הוא **אידיאל מרים אידמפוטנטים**. אם A הוא אידיאל כזה, אז אפשר להרים כל מערכת סופית או בת-מניה של אידמפוטנטים אורתוגונליים בחוג המנה, למערכת מתאימה ב-R (טענה זו אינה נכונה למערכות שמספר איבריהן אינו בן-מניה). בנוסף לזה אפשר להרים גם מערכות של יחידות מטריצות, וכך, אם חוג המנה הוא [[חוג מטריצות]], זהו גם המבנה של החוג R עצמו.

כל [[אידיאל נילי]] הוא מרים אידמפוטנטים. אם R סגור בטופולוגיה ה-A-אדית, אז A מרים אידמפוטנטים. באופן כללי, אידיאל A המוכל ב[[רדיקל ג'ייקובסון]] של החוג הוא אידיאל מרים אידמפוטנטים, אם ורק אם לכל מחובר ישר של R/A (כמודול מעל R) יש [[כיסוי פרויקטיבי]] (כיסוי פרויקטיבי של מודול M הוא מודול פרויקטיבי P עם הטלה <math>\ f : P \rightarrow M</math> שהגרעין שלה הוא [[תת-מודול קטן]]).

בחוג קומוטטיבי **מקסימלי** (נקרא גם **קומפקטי ליניארית'''), רדיקל ג'ייקובסון מרים אידמפוטנטים; חוג מקסימלי הוא מכפלה סופית של חוגים מקסימליים מקומיים.

## יחידות מטריצות
המטריצות \ e_{ij} שיש להן 1 ברכיב ה-ij ואפס בכל מקום אחר, מהוות בסיס סטנדרטי של אלגברת המטריצות. מטריצות אלה מקיימות את היחסים \ e_{ij}e_{k\ell} = \delta_{jk}e_{i\ell} ו-\ e_{11}+\cdots+e_{nn}=1. כל קבוצת איברים בחוג המקיימת את היחסים האלה נקראת מערכת של יחידות מטריצות. חוג שיש בו מערכת של יחידות מטריצות הוא בהכרח חוג מטריצות מעל חוג אחר. האיברים \ e_{ii} הם אידמפוטנטים אורתוגונליים.

## במדעי המחשב

משמעות המושג היא תלויית הקשר:

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

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

## הערות שוליים

קטגוריה:אלגברה
קטגוריה:יחסים מתמטיים
קטגוריה:תכנות