Monotone functie

Monotoon stijgende functie

Monotoon dalende functie

Niet-monotone functie

In de wiskunde is een monotone functie een functie die de orde bewaart, dus die bij toenemend argument of niet daalt of niet stijgt. Anders gezegd: bij toenemende $x$ neemt $f(x)$ niet af, of bij toenemende $x$ neemt $f(x)$ niet toe.

Definitie

Een reëelwaardige functie $f$ gedefinieerd op (een deelverzameling van) de reële getallen heet stijgend (ook monotoon stijgend of monotoon niet-dalend), als voor alle $x$ en $y$ geldt:

$x\leq y\Rightarrow f(x)\leq f(y).$

Geldt bovendien:

$x<y\Rightarrow f(x)<f(y),$

dan heet $f$ strikt stijgend.

Analoog heet $f$ dalend (ook monotoon dalend of monotoon niet-stijgend), als voor alle $x$ en $y$ geldt:

$x\leq y\Rightarrow f(x)\geq f(y).$

Geldt bovendien:

$x<y\Rightarrow f(x)>f(y),$

dan heet $f$ strikt dalend.

Een stijgende of dalende functie heet een monotone functie.

Eigenschappen

Een monotone functie $f$ heeft de volgende eigenschappen:

• in elk punt van het domein bestaan de linker- en rechterlimieten van $f$;
• de limiet van $f$ in $\infty$ of $-\infty$ bestaat eigenlijk of oneigenlijk ($\infty$ of $-\infty$ );
• $f$ heeft alleen maar sprongdiscontinuïteiten;
• de punten waarin $f$ discontinu is, zijn ten hoogste aftelbaar.

Stellingen

• Een monotone functie gedefinieerd op een begrensd interval is riemann-integreerbaar.

• Een monotone functie gedefinieerd op een interval $D$ is bijna overal (dat wil zeggen op een verzameling van lebesgue-maat 0 na) op $D$ differentieerbaar.

Discrete argumenten en functiewaarden

Als een geldbedrag een functie is van andere geldbedragen, dan geldt meestal dat met discrete bedragen wordt gerekend, bijvoorbeeld in hele centen of hele euro's. Continuïteit is dan triviaal, en differentieerbaarheid is niet aan de orde. Wel toepasbaar zijn de begrippen monotonie en differentiequotiënt.

Vaak is bijvoorbeeld wenselijk dat belasting een niet-dalende functie is van de grondslag. Bij inkomstenbelasting als functie van inkomen is bovendien wenselijk dat het netto inkomen (het inkomen verminderd met de belasting) een niet-dalende functie is van het inkomen. Dit kan worden uitgedrukt in differentiequotiënten die niet-negatief, respectievelijk niet groter dan 1 zijn. Bij totale aankoopprijs als functie van hoeveelheid is ook wenselijk dat deze functie niet-dalend is, maar verder dat de orijs per eenheid niet-stijgend is.