Niech będzie dowolnym niepustym podzbiorem zbioru
.
@ Ograniczeniem górnym zbioru nazywamy dowolny element zbioru
nie mniejszy od dowolnego elementu zbioru
.
@ Ograniczeniem dolnym zbioru nazywamy dowolny element zbioru
nie większy od dowolnego elementu zbioru
.
@ Najmniejsze ograniczenie górne zbioru nazywamy kresem górnym zbioru
(lub: supremum zbioru
) i oznaczamy symbolem
.
@ Największe ograniczenie dolne zbioru nazywamy kresem dolnym zbioru
(lub: infimum zbioru
) i oznaczamy symbolem
.
@ Ciąg o wyrazach gdzie
nazywamy ciągiem arytmetycznym o początkowym wyrazie
i różnicy
@ Niech i
Ciąg o wyrazach
, gdzie
nazywamy ciągiem geometrycznym o początkowym wyrazie
i ilorazie
.
@ Iloczynem kartezjańskim zbiorów
i
nazywamy zbiór par uporządkowanych
takich, że
i
, tj.
@ W iloczynie kartezjańskim definiujemy sumę oraz iloczyn par
oraz
następująco
Zbiór par liczb rzeczywistych z dodawaniem i mnożeniem określonym w powyższej definicji, nazywamy zbiorem liczb zespolonych i oznaczamy literą
@ Jeśli , to liczbę
nazywamy modułem liczby zespolonej
i oznaczamy
, a każdy z kątów
takich, że zachodzą równości
, nazywamy argumentem liczby
i oznaczamy
. Najmniejszy nieujemny argument liczby zespolonej
nazywamy argumentem głównym tej liczby i oznaczamy
. Wyrażenie
będziemy
krótko notować w postaci wykładniczej lub
pomijając na razie zasadność użycia symbolu funkcji wykładniczej w tej notacji. Odtąd liczbę zespoloną o module
i argumencie
będziemy zapisywać w postaci trygonometrycznej
lub wykładniczej
@ Sprzężeniem liczby zespolonej nazywamy liczbę
.
@ Funkcję nazywamy iniekcją zbioru
w zbiór
, jeśli jest różnowartościowa, to znaczy, że dla dowolnych elementów
z równości
wynika, że
@ Funkcję nazywamy suriekcją zbioru
na zbiór
, jeśli każdy element zbioru
jest wartością funkcji
to znaczy, że dla dowolnego elementu
istnieje element
taki, że
@ Funkcję nazywamy bijekcją zbioru
na zbiór
, jeśli jest iniekcją i suriekcją.
@ Mówimy, że zbiory są równoliczne, jeśli istnieje bijekcja zbioru
na zbiór
. Mówimy też wtedy, że zbiory
,
są tej samej mocy, co zapisujemy krótko
lub
. Jeśli zbiór zawiera skończoną liczbę elementów równą
(innymi słowy: jeśli jest równoliczny ze zbiorem
), to mówimy, że jest zbiorem mocy
, co zapisujemy
lub
.
@ 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
,
@ Mówimy, że funkcja jest rosnąca (odpowiednio: ściśle rosnąca) w przedziale
, jeśli
(odpowiednio: ).
@ Mówimy, że funkcja jest malejąca (odpowiednio: ściśle malejąca) w przedziale
, jeśli
(odpowiednio: ).
@Mówimy, że funkcja jest monotoniczna w przedziale, jeśli w tym przedziale jest rosnąca albo malejąca.
@ 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
.
@ Logarytmem naturalnym z liczby dodatniej .
@ [granica ciągu]
Niech będzie ciągiem oraz niech
Mówimy, że jest granicą ciągu
jeśli
i piszemy
Mówimy, że ciąg jest zbieżny, jeśli ma granicę, czyli
@[ciąg ograniczony]
Ciąg nazywamy ograniczonym, jeśli zbiór jego wartości
jest ograniczony w
to znaczy zawarty w pewnej kuli. Innymi słowy ciąg
jest ograniczony, gdy
@ [podciąg]
Niech będzie ciągiem. Niech
będzie funkcją silnie rosnącą.
Ciąg nazywamy podciągiem ciągu
i oznaczamy
gdzie dla
@[warunek Cauchy'ego]
Niech będzie ciągiem. Mówimy, że ciąg
spełnia warunek Cauchy'ego lub jest ciągiem Cauchy'ego, jeśli
Warunek Cauchy'ego dla ciągu oznacza, że dla dowolnie wybranej liczby
począwszy od pewnego miejsca, każde dwa wyrazy ciągu są oddalone od siebie o mniej niż
@[ciąg liczbowy]
Przez ciągi liczbowe będziemy rozumieli ciągi o wartościach w (to znaczy w zbiorze liczbowym
traktowanym jako przestrzeń metryczna z metryką euklidesową). Piszemy krótko
Ponieważ w zbiorze liczbowym
mamy liniowy porządek, więc można porównywać ze sobą elementy ciągu. Pozwala to na wprowadzenie pojęcia monotoniczności ciągu
@ (1) Mówimy, że ciąg jest malejący, jeśli
(2) Mówimy, że ciąg jest silnie malejący, jeśli
(3) Mówimy, że ciąg jest rosnący, jeśli
(4) Mówimy, że ciąg jest silnie rosnący, jeśli
(5) Mówimy, że ciąg jest monotoniczny, jeśli jest on malejący lub rosnący.
(6) Mówimy, że ciąg jest silnie monotoniczny, jeśli jest on silnie malejący lub silnie rosnący.
@ (1) Mówimy, że ciąg jest ograniczony, jeśli
(2) Mówimy, że ciąg jest ograniczony z dołu, jeśli
(3) Mówimy, że ciąg jest ograniczony z góry, jeśli
@ (1) Mówimy, że liczba jest granicą ciągu
jeśli
i piszemy
(2) Mówimy, że ciąg jest zbieżny, jeśli
@. [O trzech ciągach]
Jeśli są ciągami takimi, że
to
@ Jeśli jest ciągiem, to
(1) jeśli jest rosnący, to
ma granicę (właściwą lub niewłaściwą) oraz
(2) jeśli jest malejący, to
ma granicę (właściwą lub niewłaściwą) oraz
@ [O ciągu monotonicznym i ograniczonym]
(1) Jeśli jest ciągiem rosnącym i ograniczonym z góry, to jest on zbieżny.
(2) Jeśli jest ciągiem malejącym i ograniczonym z dołu, to jest on zbieżny.
(3) Ciąg monotoniczny jest zbieżny wtedy i tylko wtedy, gdy jest ograniczony.
@ [Liczba , symbol
]
(1) Ciąg o wyrazach
jest zbieżny.
Jego granicę oznaczamy przez przy czym
(2) Jeśli jest ciągiem o wyrazach dodatnich takim, że
to
@ Niech będzie ciągiem.
(1) Mówimy, że jest punktem skupienia ciągu
jeśli istnieje podciąg
taki, że
(2) Granicą dolną ciągu nazywamy
gdzie jest zbiorem punktów skupienia ciągu
(3) Granicą górną ciągu nazywamy
gdzie jest zbiorem punktów skupienia ciągu
@ Jeśli jest ciągiem liczbowym, to
ma granicę
wtedy i tylko wtedy, gdy
@[Warunek konieczny zbieżności szeregów]
Jeśli szereg jest zbieżny, to
@(1) szeregi są zbieżne oraz
(2) szereg jest zbieżny oraz
@. [Warunek Cauchy'ego zbieżności szeregów]
Jeśli jest szeregiem, to szereg
jest zbieżny wtedy i tylko wtedy, gdy
Powyższy warunek nazywamy warunkiem Cauchy'ego dla szeregów.
Zauważmy, że
czyli warunek w powyższej definicji jest dokładnie warunkiem Cauchy'ego dla ciągów. Kolejne twierdzenie będziemy często wykorzystywać przy sprawdzaniu czy dany szereg jest zbieżny.
@[Kryterium porównawcze zbieżności szeregów]
Jeśli są szeregami takimi, że
dla
oraz
to
(1) jeśli szereg jest zbieżny, to szereg
jest zbieżny;
(2) jeśli szereg jest rozbieżny, to szereg
jest rozbieżny.
@. [Kryterium d'Alemberta zbieżności szeregów]
Jeśli jest szeregiem o wyrazach dodatnich (to znaczy
dla
), to
(1) szereg
jest zbieżny
(2) szereg
jest rozbieżny
(1) Jeśli to szereg
jest zbieżny.
(2) Jeśli to szereg
jest rozbieżny.
(3) Jeśli to kryterium d'Alemberta nie rozstrzyga, czy szereg jest zbieżny.
@ Kryterium Cauchy'ego zbieżności szeregów]
Jeśli jest szeregiem o wyrazach nieujemnych (to znaczy
dla
), to
(1) szereg
jest zbieżny
(2) dla nieskończenie wielu
szereg
jest rozbieżny
(1) Jeśli to szereg
jest zbieżny.
(2) Jeśli to szereg
jest rozbieżny.
(3) Jeśli to kryterium Cauchy'ego nie rozstrzyga, czy szereg jest zbieżny.
@. [Kryterium asymptotyczne (ilorazowe, limesowe) zbieżności szeregów]
Jeśli i
są szeregami;
oraz
to szereg
jest zbieżny wtedy i tylko wtedy, gdy szereg
jest zbieżny.
@[Cauchy'ego granicy funkcji w punkcie]
Niech będzie podzbiorem
Niech
będzie funkcją oraz niech
będzie punktem skupienia zbioru
Mówimy, że funkcja ma granicę (właściwą)
w punkcie
jeśli
@ [Heinego granicy funkcji w punkcie]
Niech będzie podzbiorem
Niech
będzie funkcją oraz niech
będzie punktem skupienia zbioru
Mówimy, że funkcja ma granicę (właściwą)
w punkcie
jeśli
Piszemy wówczas
@[Ciągłość funkcji w punkcie]
Niech niech
będzie funkcją oraz niech
(
nie musi być punktem skupienia zbioru
). Mówimy, że funkcja
jest ciągła w punkcie
jeśli
Mówimy, że funkcja jest ciągła, jeśli jest ciągła w każdym punkcie swojej dziedziny.
@. [Granica niewłaściwa funkcji]
Niech oraz
punktem skupienia zbioru
Mówimy, że ma granicę niewłaściwą (w sensie Cauchy'ego)
w punkcie
jeśli
Mówimy, że ma granicę niewłaściwą (w sensie Cauchy'ego)
w punkcie
jeśli
Mówimy, że ma granicę niewłaściwą w (sensie Heinego)
w punkcie
jeśli
Mówimy, że ma granicę niewłaściwą (w sensie Heinego)
punkcie
jeśli
@ Funkcja jest ciągła w punkcie
wtedy i tylko wtedy, gdy jest w tym punkcie lewostronnie ciągła i prawostronnie ciągła.
@[Granice specjalne]
(1)
(2) dla
(3) oraz
(4)
(5) dla
(w szczególności
)
(6) dla
(w szczególności
).
(7) dla
(8) dla
@(1) Każdy wielomian jest funkcją ciągłą.
(2) Funkcja potęgowa (
) jest ciągła.
(3) Funkcja wykładnicza (
) jest ciągła.
(4) Funkcje trygonometryczne są ciągłe.
@. [Weierstrassa]
Jeśli jest zbiorem zwartym oraz
jest funkcją ciągłą, to funkcja
osiąga swoje kresy, to znaczy
@ Mówimy, że funkcja jest różniczkowalna w punkcie
, jeśli istnieje granica ilorazu różnicowego
Granicę tę - jeśli istnieje - nazywamy pochodną funkcji w punkcie
i oznaczamy symbolem:
lub
. Funkcję
, która argumentowi
przyporządkowuje wartość pochodnej
funkcji
w punkcie
nazywamy funkcją pochodną funkcji
lub - krótko - pochodną funkcji
. Zwróćmy uwagę, że dziedzina pochodnej
jest zawsze podzbiorem dziedziny funkcji
.
@ Niech będą funkcjami określonymi na przedziale otwartym
. Niech
. Jeśli istnieją pochodne
oraz
, to
@ Jeśli istnieje pochodna i istnieje pochodna
, gdzie
, to istnieje pochodna złożenia
i jest równa iloczynowi pochodnych, tzn.
@[twierdzenie Stirlinga]
Dla dowolnej liczby naturalnej istnieje liczba
(zależna od wyboru liczby
) taka, że zachodzi równość
Równość tę nazywamy wzorem Stirlinga. Zwróćmy uwagę, że dla dużych czynnik
, stąd
W wielu praktycznych obliczeniach wystarczy posługiwać się nawet przybliżeniem lub (pamiętając, że
) oszacowaniem
, dla
które wykorzystaliśmy do wyznaczenia promienia zbieżności szeregu definiującego funkcję
.
@ Twierdzenie Rolle'a. Punkty krytyczne
Niech będzie niepustym podzbiorem zbioru liczb rzeczywistych i niech
. Oznaczmy przez
odległość punktów
.
@ Mówimy, że funkcja osiąga maksimum lokalne (odpowiednio: minimum lokalne) w punkcie
, jeśli istnieje pewne otoczenie punktu
, w którym wartości funkcji
są nie większe (odpowiednio: nie mniejsze) od wartości funkcji
w punkcie
, to znaczy
odpowiednio:
@ Jeśli funkcja osiąga ekstremum w punkcie
i jest różniczkowalna w punkcie
, to pochodna
.
@[twierdzenie Rolle'a]
Niech będzie funkcją ciągłą w przedziale domkniętym
i różniczkowalną wewnątrz tego przedziału. Jeśli na końcach przedziału funkcja
przyjmuje równe wartości
, to istnieje punkt
, w którym zeruje się pochodna funkcji
.
@. [twierdzenie Lagrange'a]
Jeśli funkcja jest ciągła w przedziale domkniętym
i różniczkowalna w każdy punkcie przedziału otwartego
, to istnieje punkt
taki, że
Twierdzenie Lagrange'a nazywane jest też twierdzeniem o przyrostach (skończonych) lub twierdzeniem o wartości średniej, gdyż tezę twierdzenia można zapisać też następująco:
@ Jeśli funkcja jest różniczkowalna w punkcie
, to znaczy, jeśli istnieje granica ilorazu różnicowego:
to mówimy, że funkcja jest dwukrotnie różniczkowalna w punkcie
, a granicę tę nazywamy pochodną rzędu drugiego (lub krótko: drugą pochodną) funkcji
w punkcie
i oznaczamy symbolem
lub
albo
, bądź też
.
@[wzór Leibniza]
Niech będą funkcjami
krotnie różniczkowalnymi,
. Zachodzi równość
@ Niech będzie funkcją
krotnie różniczkowalną w przedziale
. Wówczas dla dowolnych punktów
,
takich, że
istnieje punkt
taki, że
gdzie
Wielomian
nazywamy wielomianem Taylora rzędu funkcji
o środku w punkcie
.
@. [twierdzenie Weierstrassa]
Funkcję ciągłą na przedziale domkniętym można przybliżać jednostajnie za pomocą wielomianów, tzn. jeśli jest funkcją ciągłą, to istnieje ciąg wielomianów
taki, że
@[twierdzenie Bernsteina]
Jeśli jest dowolną funkcją ciągłą, to ciąg wielomianów Bernsteina zmierza do
jednostajnie na przedziale
, to znaczy
@ Reguła de l'Hospitala
Niech będą funkcjami różniczkowalnymi w przedziale
, przy czym
. Załóżmy, że istnieje granica ilorazu pochodnych
i jest równa
. Jeśli istnieją granice funkcji
to istnieje granica ilorazu funkcji w punkcie i jest równa granicy ilorazu pochodnych w tym punkcie, tj.
@ Mówimy, że funkcja jest wypukła w przedziale
, jeśli jej nadwykres
jest zbiorem wypukłym, to znaczy
Jeśli powyższa nierówność jest ostra (wewnątrz odcinka ), tzn.
to mówimy, że funkcja jest ściśle wypukła w przedziale
.
@ Twierdzenie 12.13. [nierówność Jensena]
Jeśli funkcja jest wypukła w przedziale
, to zachodzi nierówność:
dla dowolnych liczb nieujemnych takich, że
oraz dla dowolnych
z przedziału
.
@ Badanie przebiegu zmienności funkcji
(1) Wyznaczenie dziedziny funkcji.
(2) Sprawdzenie, czy funkcja jest okresowa, parzysta, nieparzysta.
(3) Wyznaczenie granic funkcji na końcach przedziałów, z których w sumie składa się dziedzina funkcji, z wyszczególnieniem końców przedziałów, w których funkcja jest ciągła.
(4) Wyznaczenie asymptot pionowych, poziomych, ukośnych.
(5) Wyznaczenie punktów charakterystycznych wykresu funkcji, np. miejsc zerowych, wartości w zerze; wyznaczenie zbioru, w którym funkcja przyjmuje wartości dodatnie, ujemne.
(6) Badanie pierwszej pochodnej:
określenie dziedziny pochodnej;
wyznaczenie miejsc zerowych pochodnej oraz zbioru, w którym pochodna jest dodatnia, ujemna.
(7) Wyznaczenie przedziałów monotoniczności funkcji.
(8) Wyznaczenie punktów krytycznych funkcji oraz ekstremów.
(9) Badanie drugiej pochodnej funkcji:
określenie dziedziny drugiej pochodnej;
wyznaczenie miejsc zerowych drugiej pochodnej oraz zbioru, w którym druga pochodna jest dodatnia, ujemna.
(10) Wyznaczenie przedziałów wypukłości i wklęsłości funkcji oraz punktów przegięcia funkcji.
(11) Zebranie uzyskanych danych o funkcji w tabeli.
(12) Sporządzenie wykresu w oparciu o uzyskane dane.