• 1 Úvod
  • 2 Základní pojmy
  • 3 Reálné posloupnosti
  • 4 Číselné řady
  • 5 Limita a spojitost funkce
  • 6 Derivace
  • 7 Taylorovy polynomy
  • 8 Primitivní funkce
  • 9 Riemannův integrál
  • 10 Další příklady a aplikace
  • 11 Přehled použitého značení
  • Index Literatura

    4.4 Přirozený logaritmus

    Připomeňme si výsledek předchozí sekce. Exponenciální funkce \(x \mapsto e^x\) je ostře rostoucí (a tedy i prostá). Z bodu c. věty č. 4.23 dále víme, že \(e^x\) je kladné pro každé reálné \(x\). Platí ale víc, oborem hodnot exponenciální funkce je26 množina \((0,+\infty)\).

    Definice 4.26

    Existuje tedy inverzní funkce k exponenciále, která je také ostře rostoucí a zobrazuje \((0,+\infty)\) na \(\mathbb{R}\). Tuto funkci nazýváme přirozeným logaritmem a značíme symbolem \(\ln\).

    Věta 4.27 (Vlastnosti přirozeného logaritmu)

    Přirozený logaritmus \(\ln\) oplývá následujícími vlastnostmi:

    1. pro každé \(x\in\mathbb{R}\) platí \(\ln e^x = x\) a pro každé \(x\in(0,+\infty)\) platí \(e^{\ln x} = x\),
    2. \(\ln e = 1\) a \(\ln 1 = 0\),
    3. pro \(x,y \in (0,+\infty)\) platí \(\ln(xy) = \ln x + \ln y\).

    Důkaz :

    1. Plyne přímo z definice inverzní funkce (viz definici č. 2.26).
    2. Plyne přímo z definice inverzní funkce a vztahů \(e^1 = e\) a \(e^0 = 1\).
    3. Uvažme \(x,y \in (0,+\infty)\) a označme \(x' \ceq \ln x\) a \(y' \ceq \ln y\), čili \(e^{x'} = x\) a \(e^{y'} = y\). Dle bodu b. věty č. 4.23 platí \(xy = e^{x'+y'}\), neboli \(\ln(xy) = x' + y' = \ln x + \ln y\).

    \(\square\)