פונקציה מונוטונית

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

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

על פונקציה ממשית מונוטונית, ראה פונקציה עולה.

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

פונקציות מונוטוניות עולות ויורדות ("ממש") הן גם חח"ע.

ראו גם
פונקציה עולה
קישורים חיצוניים


מונוטונית
מונוטונית