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

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

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

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

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

הגדרה

תהיינה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A,B} קבוצות שמוגדר עליהן יחס סדר חלקי. פונקציה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f:A\to B} היא

1. עולה (או "עולה ממש") אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1<x_2\Rarr f(x_1)<f(x_2)}
2. לא יורדת (או עולה באופן חלש או במובן הרחב) אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1<x_2\Rarr f(x_1)\le f(x_2)}

בדומה לזה הפונקציה

1. יורדת (או "יורדת ממש") אם ${\displaystyle x_{1}<x_{2}\Rightarrow f(x_{1})>f(x_{2})}$
2. ולא עולה אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1<x_2\Rarr f(x_1)\ge f(x_2)}

פונקציות מכל הסוגים הללו, ולא אחרות, נקראות פונקציות מונוטוניות.

ראו גם

• פונקציה עולה