Test HB

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

AM1 - mod 2

2. Funkcje elementarne

Przypominamy własności funkcji znanych ze szkoły (funkcja liniowa, homograficzna, wielomianowa, wykładnicza, funkcje trygonometryczne). Definiujemy funkcje hiperboliczne. Rozważamy podstawowe własności funkcji odwrotnych.

2.1 Funkcje różnowartościowe. Funkcje monotoniczne

Z wykładu z teorii mnogości wiemy, że funkcja różnowartościowa jest bijekcją na swój zbiór wartości. Wiemy także, że relacja odwrotna do bijekcji jest funkcją i to funkcją różnowartościową określoną na o wartościach w zbiorze .

Definicja 2.1.

Niech i niech . Zacieśnieniem (inaczej: zawężeniem lub restrykcją) funkcji do zbioru nazywamy funkcję równą funkcji na zbiorze , tzn. .

Definicja 2.2.

Niech będzie funkcją. Mówimy, że funkcja jest funkcją odwrotną do funkcji , jeśli dla dowolnego elementu zachodzi równość i dla dowolnego elementu zachodzi równość .

Funkcję odwrotną do funkcji będziemy oznaczać często symbolem , o ile nie prowadzi to do nieporozumienia. Należy odróżniać pojęcie funkcji odwrotnej od odwrotności funkcji, gdzie przez odwrotność funkcji rozumiemy funkcję .

Uwaga 2.3.

Niech będą funkcjami jednej zmiennej. Jeśli jest funkcją odwrotną do , to w prostokątnym układzie współrzędnych wykres funkcji jest obrazem wykresu funkcji w symetrii osiowej względem prostej .

Definicja 2.4.

Mówimy, że funkcja jest rosnąca (odpowiednio: ściśle rosnąca) w przedziale , jeśli

(odpowiednio: )

Definicja 2.5.

Mówimy, że funkcja jest malejąca (odpowiednio: ściśle malejąca) w przedziale , jeśli

(odpowiednio: )

Definicja 2.6.

Mówimy, że funkcja jest monotoniczna w przedziale, jeśli w tym przedziale jest rosnąca albo malejąca.

Przykład 2.7.

Funkcja rośnie w każdym z przedziałów postaci nie jest jednak rosnąca w sumie przedziałów . Weźmy bowiem np. argumenty , . Wówczas , ale .

Uwaga 2.8

Jeśli jest funkcją odwrotną do funkcji , to
a) jeśli jest rosnąca, to jest także rosnąca;
b) jeśli jest malejąca, to jest również malejąca.
Krótko: funkcja odwrotna do funkcji rosnącej jest rosnąca, a odwrotna do malejącej - malejąca.

2.2 Przegląd funkcji jednej zmiennej rzeczywistej

Definicja 2.9.

Niech będą dowolnymi liczbami rzeczywistymi. Funkcję nazywamy funkcją afiniczną.

Rysunek am1w02.0010

Uwaga 2.10.

a) Wykresem funkcji afinicznej jest prosta.
b) Funkcja jest ściśle rosnąca, gdy i ściśle malejąca, gdy . Jest bijekcją zbioru na zbiór , gdy .
c) Funkcja odwrotna do funkcji afinicznej jest funkcją afiniczną.
d) Złożenie funkcji afinicznych jest funkcją afiniczną.

Definicja 2.11.

Niech będą dowolnymi liczbami rzeczywistymi takimi,że . Funkcję nazywamy funkcją homograficzną lub - krótko - homografią.
Rysunek am1w02.0030

Uwaga 2.12.

a) Funkcja afiniczna jest szczególnym przypadkiem funkcji homograficznej.
b) Wykresem funkcji homograficznej jest prosta (jeśli jest afiniczna) lub hiperbola (jeśli nie jest afiniczna).
c) Funkcja odwrotna do homografii jest homografią.
d) Złożenie homografii jest homografią.

Definicja 2.13.

Niech będzie stałą, niech będzie liczbą całkowitą nieujemną, a - zmienną. Wyrażenie algebraiczne nazywamy jednomianem zmiennej . Jeśli ,to liczbę nazywamy stopniem jednomianu . Sumę skończonej liczby jednomianów zmiennej nazywamy wielomianem zmiennej . Największy ze stopni tych jednomianów, nazywamy stopniem wielomianu.

Rysunek am1w02.0050
Animacja am1w02.0060

Definicja 2.14.

Funkcję nazywamy funkcją wielomianową lub - krótko - wielomianem.

Uwaga 2.15.

a) Suma oraz iloczyn wielomianów jest wielomianem.
b) Złożenie funkcji wielomianowych jest funkcją wielomianową.

Wykażmy użyteczne oszacowanie z dołu wielomianu za pomocą funkcji afinicznej .

Uwaga 2.16[nierówność Bernoullego]

Dla dowolnej liczby całkowitej nieujemnej i dowolnej liczby rzeczywistej zachodzi nierówność

Parser nie mógł rozpoznać (błąd składni): {\displaystyle (1+x)^n\ \geq\1+nx, }

przy czym dla równość w powyższej nierówności zachodzi wyłącznie dla .

Animacja am1w02.0070

Dowód

Zauważmy, że nierówność zachodzi dla i . Wykażemy, że dla dowolnej liczby naturalnej prawdziwa jest implikacja

Mamy bowiem:

Na mocy zasady indukcji matematycznej nierówność zachodzi więc dla każdej liczby całkowitej nieujemnej . Zauważmy, że składnik dla zeruje się wyłącznie w punkcie , stąd nierówność Bernoullego jest ostra poza tym punktem, a jedynie dla zachodzi równość w tej nierówności.

End of proof.gif

Definicja 2.17.

Niech będzie liczbą naturalną większą od jedności. Liczbę nieujemną nazywamy pierwiastkiem arytmetycznym stopnia z liczby nieujemnej , jeśli Pierwiastek stopnia z liczby oznaczamy symbolem Parser nie mógł rozpoznać (nieznana funkcja „\root”): {\displaystyle \root{n}\of{x}} .
Rysunek am1w02.0080

Uwaga 2.18.

a) Funkcja jest różnowartościowa wtedy i tylko wtedy, gdy jest liczbą nieparzystą.
b) Jeśli jest parzystą liczbą naturalną, to zacieśnienie funkcji do przedziału jest funkcją różnowartościową. Funkcją odwrotną do niej jest funkcja pierwiastek stopnia Parser nie mógł rozpoznać (nieznana funkcja „\root”): {\displaystyle n g(x)=\root{n}\of{x}} określona na przedziale o wartościach w .
c) Jeśli jest nieparzystą liczbą naturalną, to funkcja jest różnowartościowa na przedziale . Funkcją odwrotną do niej jest funkcja

Parser nie mógł rozpoznać (nieznana funkcja „\root”): {\displaystyle g(x) = \left\{ \begin{align} \root{n}\of{x}, \text{ dla } x\geq 0\\ -\root{n}\of{-x}, \text{ dla } x< 0 \end{align} \right . }
Uwaga 2.19.

Jeśli jest liczbą naturalną nieparzystą,często używa się symbolu pierwiastka arytmetycznego do oznaczenia funkcji odwrotnej do funkcji i oznacza się ją krótko Parser nie mógł rozpoznać (nieznana funkcja „\root”): {\displaystyle g(x)=\root{n}\of{x}} , przy czym sens tego symbolu dla liczb rzeczywistych ujemnych określa się jak powyżej.

2.3 Funkcja wykładnicza i logarytmiczna

Definicja 2.20

Niech będzie dowolną dodatnią liczbą rzeczywistą. Funkcję określoną na zbiorze liczb

rzeczywistych nazywamy funkcją wykładniczą o podstawie .
Uwaga 2.21.

a) Jeśli , funkcja wykładnicza jest bijekcją zbioru na przedział . Nie zeruje się w żadnym punkcie swojej dziedziny.

Rysunek am1w02.0090

b) Jeśli , funkcja jest ściśle rosnąca, jeśli zaś , jest ściśle malejąca.

c) Jeśli , funkcja jest stała.

Rysunek am1w02.0100

Definicja 2.22.

Niech będzie dowolną liczbą rzeczywistą dodatnią, różną od jedności. Funkcję odwrotną do funkcji nazywamy funkcją logarytmiczną o podstawie i oznaczamy .

Na ogół pomija się indeks w oznaczeniu logarytmu liczby i pisze się krótko . Zwróćmy jednak uwagę na fakt, że w zależności od dziedziny nauki, czy techniki, symbol ten może oznaczać logarytmy o różnych podstawach. I tak informatycy na ogół posługują się tym symbolem mając na myśli logarytm o podstawie 2, tzn. . Z kolei w naukach technicznych symbol oznacza przeważnie logarytm dziesiętny. Natomiast matematycy posługują się najczęściej logarytmem o podstawie (do definicji i własności tej ważnej stałej powrócimy w następnych modułach). Stąd często w pracach matematycznych symbol oznacza właśnie logarytm o podstawie . My jednak, aby uniknąć nieporozumień, logarytm o podstawie będziemy oznaczać osobnym symbolem .

Definicja 2.23.

Symbolem będziemy oznaczać potęgę .

Definicja 2.24.

Logarytmem naturalnym z liczby dodatniej nazywamy liczbę .
Uwaga 2.25.

a) Jeśli , funkcja logarytmiczna jest bijekcją przedziału na zbiór .

Rysunek am1w02.0110

Rysunek am1w02.0120

b) Jeśli , funkcja jest ściśle rosnąca, jeśli zaś , jest ściśle malejąca.

c) Jedynym miejscem zerowym funkcji logarytmicznej jest punkt .

d) Jeśli , to logarytm jest dodatni w przedziale i jest ujemny w przedziale . Jeśli zaś , to logarytm jest ujemny w przedziale i jest dodatni w przedziale .

Przypomnijmy jeszcze parę tożsamości, z których często będziemy korzystać.

Uwaga 2.26.

a) Dla , zachodzą równości

b) Dla dodatnich liczb , , prawdziwy jest wzór na zmianę podstawy logarytmu

w szczególności, gdy , mamy równość

c) Dla dowolnej liczby i dodatnich , zachodzi równość

która w szczególnym przypadku, gdy , ma postać

2.4 Funkcje trygonometryczne i funkcje cyklometryczne

Przypomnijmy kilka własności funkcji trygonometrycznych sinus, cosinus, tangens i cotangens. Żadna z nich nie jest różnowartościowa w swojej dziedzinie.

Rysunek am1w02.0140

Uwaga 2.27.

a) Funkcja zacieśniona do przedziału jest różnowartościowa, ściśle rosnąca.
Rysunek am1w02.0150
b) Funkcja zacieśniona do przedziału jest różnowartościowa, ściśle malejąca.
Rysunek am1w02.0160
c) Funkcja zacieśniona do przedziału jest różnowartościowa, ściśle rosnąca.
Rysunek am1w02.0170
d) Funkcja zacieśniona do przedziału jest różnowartościowa, ściśle malejąca.

Pamiętamy również, że zachodzi

Twierdzenie 2.28.

Dla dowolnej liczby rzeczywistej suma kwadratów cosinusa i sinusa jest równa jedności, tzn. .

Tożsamość tę nazywamy jedynką trygonometryczną.
Rysunek am1w02.0180

Definicja 2.29.

Funkcję określoną na przedziale o wartościach w przedziale , odwrotną do zacieśnienia funkcji sinus do przedziału ,nazywamyarcusem sinusem i oznaczamy symbolem .
Rysunek am1w02.0190

Definicja 2.30

Funkcję określoną na przedziale o wartościach w przedziale , odwrotną do zacieśnienia funkcji cosinus do przedziału , nazywamy arcusem cosinusem i oznaczamy symbolem .
Rysunek am1w02.0200

Definicja 2.31.

Funkcję określoną na przedziale o wartościach w przedziale , odwrotną do zacieśnienia funkcji tangens do przedziału , nazywamy arcusem tangensem i oznaczamy symbolem .
Rysunek am1w02.0200

Definicja 2.32.

Funkcję określoną na przedziale o wartościach w przedziale , odwrotną do zacieśnienia funkcji cotangens do przedziału , nazywamy arcusem cotangensem i oznaczamy symbolem .

Funkcje: arcus sinus, arcus cosinus, arcus tangens i arcus cotangens nazywamy funkcjami cyklometrycznymi.

Uwaga 2.33.

Funkcje arcus sinus i arcus tangens są ściśle rosnące. Funkcje arcus cosinus i arcus cotangens -- ściśle malejące.

Ze wzorów redukcyjnych: oraz wynika, że

Uwaga 2.34.

a) Dla dowolnej liczby zachodzi równość
b) Dla dowolnej liczby zachodzi równość

2.5 Funkcje hiperboliczne i funkcje area

Określimy teraz cztery funkcje, których nazwy są nieprzypadkowo zbieżne z nazwami funkcji trygonometrycznych.

Definicja 2.35.

Niech .
Rysunek am1w02.0210
a) Sinusem hiperbolicznym nazywamy funkcję .
Rysunek am1w02.0220
b) Cosinusem hiperbolicznym nazywamy funkcję .
Rysunek am1w02.0230
c) Tangensem hiperbolicznym nazywamy funkcję Parser nie mógł rozpoznać (nieznana funkcja „\tgh”): {\displaystyle \displaystyle\tgh :x\mapsto\frac{\sinh x}{\cosh x}} .
Rysunek am1w02.0240
d) Cotangensem hiperbolicznym nazywamy funkcję Parser nie mógł rozpoznać (nieznana funkcja „\ctgh”): {\displaystyle \displaystyle\ctgh :x\mapsto\frac{1}{\tgh x}} .

Wykażmy wpierw tożsamość, którą przez analogię do znanej tożsamości trygonometrycznej, wiążącej wartości funkcji sinus i cosinus, nazwiemy jedynką hiperboliczną.

Twierdzenie 2.36.

Dla dowolnej liczby rzeczywistej różnica kwadratów funkcji hiperbolicznych cosinus i sinus jest równa jedności, tzn. zachodzi równość

Dowód twierdzenia 2.36.

Z definicji funkcji i mamy:

Parser nie mógł rozpoznać (nieznana funkcja „\begin{align}”): {\displaystyle \begin{align} 4(\cosh^2 x-\sinh^2 x) \ &=\ (e^x+e^{-x})^2-(e^x-e^{-x})^2 \ \\ &=\ (e^{2x}+2+e^{-2x})-(e^{2x}-2+e^{-2x}) = 4, \end{align}}

stąd

W podobny sposób - wprost z definicji - można wykazać, że zachodzą następujące tożsamości analogiczne do znanych tożsamości trygonometrycznych:

End of proof.gif

Twierdzenie 2.37.

Niech będą dowolnymi liczbami rzeczywistymi. Wówczas:
a)
b)

Tożsamości te wykażemy w ramach ćwiczeń do tego modułu.

Uwaga 2.38.

Dla dowolnej liczby rzeczywistej mamy:

Warto porównać otrzymane wzory z poznanymi w szkole analogicznymi wzorami dla funkcji trygonometrycznych:

Podkreślmy kilka własności funkcji hiperbolicznych.

Uwaga 2.39

a) Funkcja sinus hiperboliczny jest bijekcją na . Jest nieparzysta, ściśle rosnąca.
b) Funkcja cosinus hiperboliczny jest określona na i przyjmuje wartości w przedziale . Jest funkcją parzystą. Nie jest różnowartościowa. Jej zacieśnienie do przedziału jest funkcją ściśle rosnącą.
c) Funkcja tangens hiperboliczny jest bijekcją na przedział . Jest nieparzysta, ściśle rosnąca.
d) Funkcja cotangens hiperboliczny jest bijekcją zbioru na zbiór . Jest nieparzysta, ściśle malejąca w przedziale i w przedziale .

Określmy funkcje odwrotne do funkcji hiperbolicznych. Nazywamy je funkcjami area.
Rysunek am1w02.0280

Definicja 2.40.

a) Funkcję odwrotną do funkcji sinus hiperboliczny nazywamy area sinusem hiperbolicznym i oznaczamy .
Rysunek am1w02.0290
b) Funkcję odwrotną do zacieśnienia funkcji cosinus hiperboliczny do przedziału nazywamy area cosinusem hiperbolicznym i oznaczamy .
Rysunek am1w02.0300
c) Funkcję odwrotną do funkcji tangens hiperboliczny nazywamy area tangensem hiperbolicznym i oznaczamy .
Rysunek am1w02.0310
d) Funkcję odwrotną do funkcji cotangens hiperboliczny nazywamy area cotangensem hiperbolicznym i oznaczamy .

Zwróćmy uwagę na tożsamości (kilka podobnych wykażemy w ramach ćwiczeń):

Uwaga 2.41.

Prawdziwe są następujące równości:
a) dla
b) dla

Dowód

a) Niech . Wówczas dla mamy , czyli . Z jedynki trygonometrycznej wynika,że

b) Należy powtórzyć powyższe rozumowanie stosując jedynkę hiperboliczną zamiast jedynki trygonometrycznej.

End of proof.gif

Funkcje area można wyrazić także za pomocą logarytmu naturalnego.

Twierdzenie 2.42

Zachodzą następujące tożsamości:
a) dla
b) dla
c) dla
d) dla

Dowód twierdzenia 2.42.

a) Wyznaczamy zmienną z równania: .Mamy

Stąd , czyli dla wszystkich

b) Podobnie jak w punkcie a) wyznaczamy zmienną z równania i otrzymujemy , czyli , dla .

c) Z równania dostajemy , czyli

dla .

d) Pamiętając, że Parser nie mógł rozpoznać (nieznana funkcja „\ctgh”): {\displaystyle \displaystyle\ctgh x=\frac{1}{\tgh x}} , podstawiamy w poprzedniej tożsamości w miejsce zmiennej i otrzymujemy:

dla

End of proof.gif

W ramach ćwiczeń wykażemy zaskakującą - na pierwszy rzut oka - uwagę.

Uwaga 2.43.

a) Dla dowolnej liczby funkcja

jest wielomianem zmiennej .
b) Dla dowolnej liczby funkcja

jest wielomianem zmiennej .
c) Dla dowolnej liczby funkcje oraz są zacieśnieniami -- odpowiednio do przedziałów oraz tego samego wielomianu zmiennej , to znaczy dla dowolnej liczby istnieje funkcja wielomianowa taka, że zachodzą równości

animacja am1w02.0320

Definicja 2.44.

Wielomian , o którym mowa w powyższej uwadze, którego zacieśnieniem do przedziału jest funkcja , nazywamy wielomianem Czebyszewa stopnia , .