Monotónní funkce

Příklad ryze monotónní (rostoucí) funkce

Monotonie funkce[Pozn 1] je souhrnný název pro vlastnost funkce být rostoucí nebo klesající, nerostoucí nebo neklesající. Znalost monotonie usnadňuje některé výpočty s funkcemi, například řešení nelineárních nerovnic.

Definice (monotonie na množině)

Funkce definovaná na množině je na této množině rostoucí (též ostře rostoucí nebo ryze rostoucí) právě tehdy, když pro každé dva body platí

Funkce definovaná na množině je na této množině klesající (též ostře klesající nebo ryze klesající) právě tehdy, když pro každé dva body platí

Funkce definovaná na množině je na této množině neklesající právě tehdy, když pro každé dva body platí

Funkce definovaná na množině je na této množině nerostoucí právě tehdy, když pro každé dva body platí

Funkce je monotónní na určitém intervalu, množině nebo v celém svém definičním oboru, pokud je na celém daném intervalu, množině, resp. definičním oboru neklesající nebo nerostoucí.

Funkce je ryze monotónní na určitém intervalu, množině nebo v celém svém definičním oboru, pokud je na celém daném intervalu, množině, resp. definičním oboru rostoucí nebo klesající.

Interval, na kterém je funkce ryze monotónní, se nazývá interval monotonie.

Výše uvedené definice popisují globální monotonii. Vlastnost funkce být monotónní bývá nazývána monotónnost, popř. monotonicita.

Příklad

Graf funkce, která na intervalu není monotónní, ale je monotónní na jeho určitých podintervalech; na intervalu a je rostoucí, na intervalu a je klesající.

Na obrázku vpravo je funkce rostoucí například v intervalu , klesající například v intervalu .

Definice (monotonie v bodě)

Monotonie lokální (v bodě): Funkce je po řadě rostoucí, klesající, neklesající, nerostoucí v bodě , jestliže existuje nějaké okolí bodu , na kterém je funkce rostoucí, klesající, neklesající, nerostoucí. To je ekvivalentní s tím, že v tomto okolí platí:

  • v případě funkce rostoucí v bodě dvojice implikací
,
  • v případě funkce klesající v bodě dvojice implikací
,
  • v případě funkce nerostoucí v bodě dvojice implikací
,
  • a v případě funkce neklesající v bodě dvojice implikací
.

Poznámky

  • Je zřejmé, že je-li funkce rostoucí, pak je i neklesající. Podobně, je-li funkce klesající, pak je i nerostoucí.
  • Ryze monotónní funkce je prostá a má tedy inverzní funkci. Ta má stejný typ monotonie.
  • Konstantní funkce je podle výše uvedené definice monotónní, ale není ryze monotónní.

Derivace monotónní funkce

Pokud funkce má v bodě derivaci , lze ji použít k vyšetření monotonie funkce, přičemž platí následující implikace (které nelze obrátit):

  • Jestliže , pak je v bodě rostoucí.
  • Jestliže , pak je v bodě klesající.
  • Jestliže je v bodě neklesající, pak .
  • Jestliže je v bodě nerostoucí, pak .

Řešení nerovnic s monotónními funkcemi

Monotonie funkce umožňuje jednotný přístup k práci s nerovnostmi a nerovnicemi.

Přímo z definice plyne, že je-li funkce rostoucí, potom jsou nerovnosti a ekvivalentní. Toho je možné využít například při řešení nerovnic. Přirozený logaritmus je rostoucí funkce na svém definičním oboru a proto jsou zde ekvivalentní nerovnosti a Nerovnice

má tedy řešení
(Dolní omezení plyne z definičního oboru přirozeného logaritmu.) Analogické pravidlo platí i pro neostré a opačné nerovnosti.

Je-li funkce klesající, znaménko nerovnosti se otáčí.

Speciálním případem tohoto principu jsou následující pravidla pro práci s nerovnostmi a nerovnicemi.

  • K oběma stranám nerovnice můžeme přičíst stejné číslo (funkce je rostoucí pro libovolné ).
  • Obě strany nerovnice můžeme vynásobit stejným kladným číslem (funkce je rostoucí pro libovolné kladné ).
  • Obě strany nerovnice můžeme vynásobit stejným záporným číslem a otočit směr nerovnosti (funkce je klesající pro libovolné záporné ).
  • Obě strany nerovnice můžeme logaritmovat nebo odlogaritmovat logaritmem o základu větším než jedna.
  • Obě strany nerovnice můžeme logaritmovat nebo odlogaritmovat logaritmem o základu menším než jedna a otočit směr nerovnosti.
  • Obě strany nerovnice můžeme odmocnit. Pozor, odmocněním nerovnosti dostáváme nerovnost s absolutní hodnotou a oborem pravdivosti .

Kvadratická funkce ani převrácená hodnota nejsou ani rostoucí ani klesající funkce. Proto není možno podobnými způsoby řešit kvadratické nerovnice a nerovnice se zlomky. Kvadratická funkce je však rostoucí na množině kladných čísel, proto je možné například tvrdit, že mezi čtverci má největší obsah ten, který má nejdelší stranu. V tomto případě se totiž přirozeně pracuje s kvadratickou funkcí jenom pro kladné hodnoty (délka strany není záporná) a tam je kvadratická funkce udávající vztah mezi délkou strany a obsahem rostoucí.

Další využití monotonie

Kromě řešení nerovnic a práce s nerovnostmi má monotonie následující využití.

Lokální extrémy funkce

  • Je-li funkce v nějakém bodě spojitá a mění se zde z rostoucí na klesající, je v tomto bodě ostré lokální maximum. Analogicky, pokud se funkce v bodě mění spojitě z klesající na rostoucí, je v tomto bodě ostré lokální minimum.
  • Je-li funkce libovolná ostře rostoucí funkce, mají funkce a složená lokální extrémy ve stejných bodech. Například tedy lokální maximum funkce je ve stejném bodě, jako lokální maximum funkce , což vede při hledání tohoto maxima na jednodušší postup.

Stabilita stacionárních bodů autonomní diferenciální rovnice

  • Autonomní diferenciální rovnice má v bodech, kde je pravá strana nulová, konstantní řešení. Monotonie pravé strany rozhoduje o tom, která z těchto konstantních řešení jsou stabilní a která nestabilní.

Terminologie

Někteří autoři používají termín rostoucí bez přívlastku pro funkce, které jsou ve výše uvedené definici nazývány neklesající a klesající pro funkce podle uvedené definice nerostoucí.

Odkazy

Poznámky

  1. Jde o reálnou funkci definovanou na množině všech reálných čísel nebo nějaké její podmnožině.

Související články

Média použitá na této stránce

PrubehFunkce.svg
Autor: cs:user:Pastorius' JPG version made SVG by Magnat at cs.wikipedia, Licence: CC BY-SA 3.0
Průběh funkce
Graph logarithm b=2.png
Autor: Jakob.scholbach, Licence: CC BY-SA 3.0
graph of a logarithm