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