ליבה מזערית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 13:
הליבה המזערית, אשר הוצגה לראשונה על ידי [[מיכאל משלר|משלר]], פלג ושפלי ב-1979
‏‏<ref>‏Maschler, M.; Peleg, B. & Shapley, Lloyd S. (1979), "Geometric properties of the kernel, nucleolus, and related solution concepts", Mathematics of Operations Research 4: 303–338, doi:[http://dx.doi.org/10.1287%2Fmoor.4.4.303 10.1287/moor.4.4.303]</ref>,
מוגדרת להיות <math>C_{\varepsilon _0}( N;\nu )</math>, כאשר <math>\varepsilon_0 = \sup \left\{\varepsilon \in \R: C_\varepsilon(N;\nu) \ne 0 \right\}</math>, כלומר ה-<math>\ \epsilon</math> הגדול ביותר כך שה-<math>\ \epsilon</math>-ליבה אינה ריקה עבורו. מספר זה מוגדר היטב מכיוון ש-<math>\ \nu</math> פונקציה חסומה.<br />
הגדרה שקולה היא [[חיתוך (מתמטיקה)|חיתוך]] כל ה-<math>\ \epsilon</math>-ליבות הלא ריקות.<br />
 
כאשר ה-<math>\ \epsilon</math>-ליבה אינה ריקה אז היא מכילה את הגרעינוןה[[גרעינון]], ולכן גם הליבה המזערית מכילה את הגרעינון (כחיתוך של <math>\ \epsilon</math>-ליבות).
 
==הערות שוליים==