Relacje
Rachunek różniczkowy i całkowy
Granica ciągu
Twierdzenia o ciągach
Granica funkcji
Ciągłość funkcji liczbowych
Własności funkcji ciągłych
Pochodna funkcji
Różniczka funkcji
Obliczanie pochodnych
Twierdzenie Rolle'a
Twierdzenie l'Hospitala
Twierdzenie o przyrostach
Ekstremum funkcji
Twierdzenie i wzór Taylora
Wypukłość i wklęsłość wykresu funkcji. Punkt przegięcia.
Rachunek całkowy jednej zmiennej
Warunki R-całkowalności
Własności całki oznaczonej
Twierdzenia podstawowe rachunku całkowego
Zastosowanie całki oznaczonej
Całka niewłaściwa w przedziale nieskończonym
Całka niewłaściwa funkcji nieograniczonej
Całki niewłaściwe zależne od parametru
Testy zbieżności całki niewłaściwej
Szeregi liczbowe i funkcyjne.
Szereg liczbowy
Szereg Taylora
Twierdzenia Banacha (przestrzenie metryczne)
Rachunek różniczkowy funkcji wielu zmiennych
Zbiory w przestrzeni Rn
Funkcje wielu zmiennych
Granica i ciągłość funkcji
Ciągłość funkcji n zmiennych.
Pochodne cząstkowe
Relacje
Def. Produktem kartezjańskim zbiorów X i Y nazywamy zbiór wszystkich par uporządkowanych <x, y>, gdzie x ∈ X i y ∈ Y. [<x, y> ∈ XxY] ⇔ [(x ∈ X) ∧ (y ∈ Y)]
Def. Relacja binarna w zb. X jest:
refleksyjna (zwrotna) jeżeli ∀x x ϕ x
symetryczna jeżeli ∀x, y ∈ X (x ϕ y ⇒ y ϕ x)
tranzytywna (przechodnia) jeżeli ∀x, y, z ∈ X ( x ϕ y oraz y ϕ z ⇒ x ϕ z )
słabo antysymetryczna jeżeli ( x ϕ y oraz y ϕ x ⇒ x = y )
gdy spełnione 1 - 3 to relacja jest relacją równoważności w X.
Def. Relację (≤) w X, która jest refleksyjna, tranzytywna oraz słabo antysymetryczna nazywamy porządkiem. Porządek spójny nazywamy porządkiem liniowym.
Def. (Tw. Dirichleta) Zbiór A jest równoliczny ze zbiorem B, jeżeli istnieje bijekcja f: A → B | A ~ B.
Def. Mówimy, że zbiory równoliczne, A i B mają tę samą moc.
Tw. Jeżeli (R, +, *, 0, 1, ≤) jest ciałem uporządkowanym i ma własności kresu, to systemy (R, +, *, 0, 1) i (R, +, *, 0, 1, ≤) są izomorficzne, tzn. istnieje bijekcja f: R → R, który zachowuje wszystkie działania strukturalne.
Lemat Adama Każda liczba x ∈ R może być granicą pewnego ciągu liczb wymiernych.
Rachunek różniczkowy i całkowy
Granica ciągu
Def. Liczbę g nazywamy granicą ciągu (an), jeżeli dla każdego ε > 0 istnieje taka liczba δ, że dla każdego n > δ spełniona jest nierówność |an - g| < ε. Piszemy przy tym lim an = g.
lim an = g ⇔ ∀ε>0 ∃δ ∀n>δ |an - g| < ε
Def. Liczbę g nazywamy granicą ciągu (an), jeżeli w dowolnym otoczeniu punktu g na osi liczbowej leżą prawie wszystkie wyrazy tego ciągu.
Def. Mówimy, że ciąg (an) jest rozbieżny do plus (minus) nieskończoności wtwg ∀M ∃δ ∀n>δ an > (<) M i piszemy lim an = +(-)∞
Twierdzenia o ciągach
Tw. Ciąg zbieżny jest ograniczony.
Tw. (Bolzano-Weierstrass) Każdy ciąg ograniczony zawiera podciąg zbieżny.
Tw. (o trzech ciągach) Jeżeli lim an = lim cn = g, a ponadto istnieje taka liczba δ0, że dla każdego n > δ0 spełniona jest nierówność an ≤ bn ≤ cn, to lim bn = g.
Tw. (o zachowaniu nierówności słabej) Jeżeli
i
oraz istnieje taka liczba δ0, że dla każdego n > δ0 spełniona jest nierówność an ≤ bn, to a ≤ b.
Tw. (Warunek Cauchy'ego zbieżności ciągu) Ciąg (an) jest zbieżny wtedy i tylko wtedy, gdy dla każdej liczby ε > 0 istnieje liczba δ taka, że dla każdych dwóch liczb naturalnych r i s większych od δ spełniona jest nierówność |ar - as| < ε. (an) zb. ⇔ ∀ε>0 ∃δ ∀r,s>δ |ar - as| < ε
Tw. Ciąg monotoniczny i ograniczony jest zbieżny.
Tw. (o działaniach arytmetycznych na granicach ciągów zbieżnych) Jeżeli ciągi (an) i (bn) są zbieżne, lim an = a, lim bn = b, to ciągi (an ± bn), (an * bn), (an / bn) są także zbieżne, przy czym: lim (an ± bn) = a ± b, lim (an * bn) = a * b, lim (an / bn) = a / b (bn i b ≠ 0).
Def. Mówimy, że ciąg (an) punktów przestrzeni metrycznej Xd jest zbieżny do elementu g przestrzeni Xd wtwg ∀ε>0 ∃δ ∀n>δ d(<an, g>) < ε.
Granica funkcji
Def. Zbiór Q(x0; r) = {x ∈ X: d(<x0, x>) < r} nazywamy otoczeniem punktu x0. Liczbę r nazywamy promieniem otoczenia.
Def. Zbiór S(x0; r) = Q(x0; r) - {x0} nazywamy sąsiedztwem punktu x0 ∈ X.
Def. Punkt x0 ∈ X nazywamy punktem skupienia zbioru A ⊂ X wtwg do każdego otoczenia Q(x0; r) należy co najmniej jeden różny od x0 punkt x ∈ A. ∀ε>0 ∃x ∈ A x ∈ S(x0; ε).
Tw. Punkt x0 przestrzeni metrycznej Xd jest punktem skupienia zbioru A ⊂ X wtwg istnieje ciąg (xn) o wyrazach należących do zbioru A - {x0} i taki, że.
Def. Punkt X0 przestrzeni metrycznej Xd nazywamy punktem izolowanym zbioru A ⊂ X wtwg x0 ∈ A oraz gdy x0 nie jest punktem skupienia zbioru A.
Def. (Heinego) Mówimy, że funkcja f ma w punkcie x0 g granicę g i piszemy
wtwg dla każdego ciągu (xn) o wyrazach ze zbioru Df - {x0} i zbieżnego do punktu x0 ciąg (f(xn)) jest zbieżny do punktu g.
Def. (Cauchy'ego) Mówimy, że funkcja f ma w punkcie x0 granicę g i piszemy
wtwg ∀ε>0 ∃δ ∀x ∈ Df 0 < dx(<x, x0>) < δ ⇒ dy(<f(x), g>) < ε.
Tw. (o działaniach arytmetycznych na granicach funkcji) Jeżeli
,
i x0 jest punktem skupienia Df ∩ Dh, to lim [f(x)±h(x)]=g±p, lim [f(x)*h(x)]=g*p, lim [f(x)/h(x)]=g/p (p ≠ 0)
Tw. (o granicy funkcji złożonej). Jeżeli
, przy czym g jest punktem skupienia zbioru f(X) i g nie należy do zbioru f(X-{x0}), oraz
, to
.
granice niewłaściwe.
Def. (Heinego) Mówimy, że funkcja f posiada w punkcie x0 granicę niewłaściwą +(-)∞ i piszemy
wtwg dla każdego ciągu (xn) o wyrazach ze zbioru Df - {x0} i zbieżnego do punktu x0 ciąg (f(xn)) jest zbieżny do +(-)∞.
Def. (Cauchy)
⇔ ∀M ∃δ ∀x ∈ Df 0 < dx(<x, x0>) < δ ⇒ f(x) <(>) M.
granice w nieskończoności
Def. (Heinego) Funkcja f posiada w +[-]∞ granicę g / granicę niewłaściwą -(+)∞, jeżeli dla każdego ciągu (xn) rozbieżnego do +[-]∞, ciąg (f(xn)) jest zbieżny do g / rozbieżny do -(+)∞. Piszemy wtedy
.
Def. (Cauchy)
⇔ ∀ε>0 ∃δ ∀x ∈ Df x >[<] δ ⇒ (|f(x) - g| < ε)
⇔ ∀M ∃δ ∀x ∈ Df x >[<] δ ⇒ f(x) <(>) M.
Nieskończenie małe.
Def. Funkcję f(x) nazywamy nieskończenie małą w danym przejściu granicznym, jeżeli lim f(x) = 0.
Def. Nieskończenie małe f(x) i h(x) nazywamy nieskończenie małymi tego samego rzędu w danym przejściu granicznym, jeżeli istnieje granica właściwa
.
Def. Z dwóch nieskończenie małych f(x) i h(x), f(x) nazywamy nieskończenie małą wyższego rzędu w danym przejściu granicznym, jeżeli
.
Def. Funkcję f(x) nazywamy nieskończenie małą rzędu n (n ∈ N), gdy x → x0, jeżeli funkcje: f(x) i (x-x0)n są nieskończenie małymi tego samego rzędu, gdy x → x0.
Def. Dwie nieskończenie małe f(x) i h(x) nazywamy równoważnymi w danym przejściu granicznym i piszemy f(x) ~ h(x), gdy
.
Def. Funkcję f(x) nazywamy nieskończenie wielką w danym przejściu granicznym, jeżeli lim |f(x)| = ∞.
Ciągłość funkcji liczbowych
Def. (Heinego) Mówimy, że funkcja f jest ciągła w punkcie x0 wtwg dla każdego ciągu (xn) o wyrazach ze zbioru Df i zbieżnego do punktu x0 ciąg (f(xn)) jest zbieżny do punktu f(x0).'
Tw. Funkcja f jest ciągła w punkcie x0 będącym punktem skupienia dziedziny Df wtwg
Def. (Cauchy'ego) Mówimy, że funkcja f jest ciągła w punkcie x0 wtwg ∀ε>0 ∃δ>0 ∀x ∈ Df | x - x0| < δ ⇒ | f(x) - f(x0)| < ε.
Def. Mówimy, że funkcja jest ciągła wtwg jest ciągła w każdym punkcie swej dziedziny.
Def. Mówimy, że funkcja jest ciągła na zbiorze A ⊂ Df, A ≠ ∅, wtwg f|A jest funkcją ciągłą.
Def. Punkt x0 ∈ Df, w którym funkcja f nie jest ciągła nazywamy punktem nieciągłości tej funkcji.
Własności funkcji ciągłych
Tw. 1. (o ciągłości funkcji odwrotnej) Jeżeli funkcja f jest ciągła i rosnąca (malejąca) na przedziale A ⊂ R, to f(A) jest przedziałem oraz funkcja f-1 jest ciągła i rosnąca (albo odpowiednio malejąca) na przedziale f(A).
Tw. 2. (o ciągłości funkcji złożonej) Jeżeli funkcja wewnętrzna f jest ciągła w punkcie x0 i funkcja zewnętrzna h jest ciągła w punkcie u0 = f(x0), to funkcja złożona h°f jest ciągła w punkcie x0.
Tw. 3. (o wprowadzeniu granicy do argumentu funkcji ciągłej). Jeżeli istnieje granica właściwa
i funkcja h jest ciągła w punkcie u0 = g, to
.
Tw. 4. (o lokalnym zachowaniu znaku) Jeżeli funkcja f jest ciągła w punkcie x0 oraz f(x0) > 0 albo f(x0) < 0 to istnieje takie otoczenie Q punktu x0, że dla każdego x ∈ Q∩Df spełniona jest nierówność f(x) > 0 albo odpowiednio f(x) < 0.
Tw. (Weierstrassa) Jeżeli funkcja f jest ciągła na przedziale domkniętym <a; b>, to
f jest ograniczona na przedziale <a; b>
istnieją takie liczby c1, c2, że
,
Tw. (Cantora) Jeżeli funkcja f jest ciągła na przedziale domkniętym <a; b>, to dla każdego ε > 0 istnieje takie δ > 0, że dla każdych dwóch liczb x1 i x2 z tego przedziału, spełniających warunek |x1 - x2| < δ, spełniona jest nierówność |f(x1) - f(x2)| < ε.
Def. Funkcja f jest jednostajnie ciągła na przedziale X wtwg ∀ε>0 ∀x1∈X ∃δ>0 ∀x2∈X (|x1 - x2|) ⇒ (|f(x1) - f(x2)| < ε).
Tw. (Darboux) Jeżeli funkcja f jest ciągła na przedziale domkniętym <a; b>, f(a) ≠ f(b) oraz liczba q jest zawarta między f(a) i f(b), to istnieje taki punkt c ∈ (a; b), że f(c) = q.
Def. (war. Lipschitz) Funkcja f: X→ Y spełnia warunek Lipschitza jeżeli ∃L>0 ∀x1, x2 ∈ D ρ(f(x1), f(x2)) ≤ L d(x1, x2); L - stała Lipschitza.
Tw. (Cantor, Haine, Dini ?) Funkcja ciągła w dziedzinie zwartej jest ciągła jednostajnie.
Pochodna funkcji
Def. Iloraz różnicowy funkcji f w punkcie x0 i dla przyrostu Δx zmiennej niezależnej jest to stosunek
Def. Granicę właściwą ilorazu różnicowego, gdy Δx → 0, nazywamy pochodną funkcji f w punkcie x0 i oznaczamy symbolem f'(x0).
Różniczka funkcji
Tw. (o przedstawieniu przyrostu funkcji) jeżeli dziedzina funkcji f zawiera pewne otoczenie Q punktu x0 oraz istnieje pochodna f'(x0), to dla każdego przyrostu Δx takiego, że x0 + Δx ∈ Q, przyrost funkcji) można przedstawić następująco Δf = f'(x0) Δx + αΔx, przy czym α → 0, gdy Δx dąży do zera w dowolny sposób.
wniosek Jeżeli funkcja f ma pochodną w punkcie x0, to jest w tym punkcie ciągła.
Def. Funkcję f nazywamy różniczkowalną w punkcie x0, jeżeli jej przyrost Δf = f(x0 + Δx) - f(x0) można dla każdego Δx dostatecznie bliskiego zeru przedstawić w postaci Δf = AΔx + o(Δx), gdzie A jest stałą, a o(Δx) jest nieskończenie małą rzędu wyższego niż Δx, gdy Δx → 0.
Def. Różniczką funkcji f w punkcie x0 i dla przyrostu Δx zmiennej niezależnej x nazywamy iloczyn f'(x0)Δx. Oznaczamy ją symbolem df(x0), bądź też krótko df lub dy.
Obliczanie pochodnych
Tw. (o pochodnej funkcji odwrotnej). Jeżeli funkcja x = g(y) jest ściśle monotoniczna i posiada funkcję pochodną g'(y) ≠ 0, to funkcja y = f(x) odwrotna do niej posiada funkcję pochodną f'(x), przy czym
, gdzie y = f(x).
Tw. (o pochodnej funkcji złożonej) Jeżeli funkcja h ma pochodną w punkcie x, a funkcja f ma pochodną w punkcie u = h(x), to funkcja złożona f°g ma w punkcie x pochodną (f°g)'(x) = f'[h(x)]*f'(x).
Def. Pochodną logarytmiczną funkcji f nazywamy pochodną jej logarytmu naturalnego
.
Tw. (o pochodnej funkcji określonej parametrycznie) Jeżeli funkcja y - h(x) jest określona parametrycznie x = f(t), y = g(t), t ∈ (a; b), przy czym istnieją pochodne
, to istniej także pochodna
.
Twierdzenie Rolle'a
Tw. (Rolle'a) Jeżeli funkcja f jest ciągła na przedziale <a; b>, różniczkowalna na przedziale (a; b) oraz f(a) = f(b), to istnieje taki punkt c ∈ (a; b), że f'(c) = 0.
Twierdzenie l'Hospitala
Tw. (de l'Hospitala) Jeżeli:
dziedziny funkcji
zawierają pewne sąsiedztwo S punktu x0.
albo
istnieje granica
(właściwa albo niewłaściwa),
to istnieje także granica
, przy czym
.
Twierdzenie o przyrostach
Tw. (o przyrostach, Lagrange'a) Jeżeli funkcja f jest ciągła na przedziale domkniętym o końcach x0 i x, oraz ma pierwszą pochodną wewnątrz tego przedziału, to istnieje taki punkt c leżący między x0 i x, że f(x) - f(x0) = f'(c)(x - x0).
Ekstremum funkcji
Def. Mówimy, że funkcja f ma w punkcie x0 maksimum (minimum) lokalne, jeżeli istnieje taka liczba dodatnia δ, że dla każdego x ∈ S(x0; δ) spełniona jest odpowiednio nierówność f(x) ≤ f(x0) (albo f(x) ≥ f(x0)). Dla nierówności mocnych otrzymamy maksimum i minimum właściwe
Tw. (Fermata) Jeżeli funkcja f ma w punkcie x0 ekstremum i ma w tym punkcie pierwsza pochodną, to f'(x) = 0.
Twierdzenie i wzór Taylora
Tw. (Taylora) Jeżeli funkcja f ma ciągłe pochodne do rzędu (n-1) włącznie na przedziale domkniętym, o końcach x0 i x oraz ma pochodną rzędu n wewnątrz tego przedziału, to istnieje taki punkt c, leżący między x0 i x, że
Wypukłość i wklęsłość wykresu funkcji. Punkt przegięcia.
Def. Mówimy, że krzywa y = f(x) jest wypukła (wklęsła) w punkcie x0, wtwg istnieje taka liczba r1 > 0, że różnica yA - yB = f(x) - f(x0) - f'(x0)(x - x0) jest dodatnia (ujemna) dla każdego x ∈ S(x0, r1).
Rachunek całkowy jednej zmiennej
Def. Jeżeli dla każdego ciągu normalnego podziałów przedziału <a; b> ciąg sum całkowych (σn) jest zbieżny do tej samej granicy właściwej, niezależnej od wyboru punktów ξk, to tę granicę nazywamy całką oznaczoną funkcji f na przedziale i oznaczamy symbolem:
Warunki R-całkowalności
Tw. Jeżeli funkcja f jest R-całkowalna na przedziale <a; b>, to jest funkcją ograniczoną na tym przedziale. (war. konieczny, ale nie wystarczający)
Tw. (o R-całkowalności funkcji ciągłej). Funkcja ciągła na przedziale domkniętym jest R-całkowalna na tym przedziale. (war. wystarczający, ale nie konieczny)
Def. Mówimy, że podzbiór A zbioru R jest miary zero wtedy i tylko wtedy, gdy dla każdego ε > 0 istnieje pokrycie zboru A takim ciągiem przedziałów otwartych, którego długość jest mniejsza od ε.
Tw. Każdy podzbiór przeliczalny zbioru R ma miarę zero.
Tw. Każdy podzbiór zbioru miary zero ma miarę zero.
Tw. (Lebesgue'a). Funkcja f ograniczona na przedziale <a; b> jest R-całkowalna na tym przedziale wtedy i tylko wtedy, gdy zbiór punktów nieciągłości funkcji f na przedziale <a; b> jest miary zero.
Tw. Funkcja monotoniczna na przedziale <a; b> jest R-całkowalna na tym przedziale.
Własności całki oznaczonej
Tw. 1. Jeżeli funkcje f i h są R-całkowalne na przedziale <a; b>, to:
1) funkcja g+h jest R-całkowalna na przedziale <a; b>, przy czym
2) funkcja Af, gdzie A - dowolna stała, jest R-całkowalna na przedziale <a; b>:
Tw. 2. Jeśli funkcja f jest R-całkowalna na przedziale <a; b>, to:
1) f2 jest R-całkowalna na <a; b>
2) |f| jest R-całkowalna na <a; b>
Tw. 3. Jeżeli funkcje f i g są R-całkowalne na przedziale <a; b>, to funkcja f*g jest R-całkowalna na tym przedziale.
Tw. 4. Jeżeli funkcja f jest R-całkowalna na <a; b> i przedział <α; β> ⊂ <a; b>, to funkcja f jest R-całkowalna na przedziale <α; β>, przy czym:
Tw. 5. Jeżeli funkcja f jest R-całkowalna na przedziale <a; b> i c ∈ (a; b), to
Tw. 6. Jeżeli ograniczona funkcja f jest ciągła na przedziale <a; b>, z wyjątkiem punktów zbioru A miary zero, i dla każdego x ∈ <a; b>-A funkcja f przyjmuje wartość zero, to
wniosek: Jeżeli dwie ograniczone funkcje f i h, z których jedna jest R-całkowalna na <a; b>, różnią się tylko na zbiorze skończonym, to druga z tych funkcji jest R-całkowalna i
Tw. 7. Jeżeli funkcje f i g są R-całkowalne na przedziale <a; b> i spełniają warunek:
to
wniosek: Jeżeli funkcja f jest R-całkowalna na <a; b> i ograniczona na <a; b> z góry liczbą M, z dołu zaś liczbą m, to
Tw. 8. (tw. całkowe o wartości średniej). Jeśli funkcja f jest ciągła na przedziale <a; b>, to istnieje taki punkt c ∈ <a; b>, że:
Tw. 9. Jeżeli f jest funkcją R-całkowalna na przedziale <a; b>, to
Twierdzenia podstawowe rachunku całkowego
Tw. 1. Jeżeli f jest funkcją R-całkowalną na przedziale <α; β>, α zaś dowolnie ustaloną liczbą w tym przedziale, to funkcja F, określona wzorem
, jest ciągła w przedziale <a; b>.
Tw. (pierwsze twierdzenie główne rachunku całkowego). Jeżeli funkcja f jest R-całkowalna na przedziale <a; b> i α ∈ <a; b>, to funkcja F określnoa na tym przedziale wzorem:
ma pochodną F'(x) = f(x), czyli:
Def. Funkcję F nazywamy funkcją pierwotną funkcji f na przedziale X, jeżeli dla każdego x ∈ X spełniony jest warunek F'(x) = f(x) lub dF(x) = f(x)dx.
Jeżeli przedział X jest jedno- lub obustronnie domknięty, to pochodną F'(x) w każdym z należących do niego końców rozumiemy jako odpowiednią pochodną jednostronna.
Tw. (podstawowe twierdzenie o funkcjach pierwotnych). Jeżeli F jest funkcją pierwotną funkcji f na przedziale X, to:
funkcja Φ = F + C, gdzie C oznacza dowolną funkcję stałą, jest także funkcją pierwotną funkcji f na przedziale X,
każdą funkcję pierwotną Φ funkcji f na przedziale X można przedstawić w postaci sumy F + C0, gdzie C0 jest stosownie do Φ i F dobraną stała funkcją.
Def. Całką nieoznaczoną funkcji f: <a; b> → R nazywamy zbiór wszystkich funkcji pierwotnych f, co oznaczmy
.
Tw. (o istnieniu funkcji pierwotnej). Jeżeli funkcja f jest ciągła na przedziale X, to posiada na tym przedziale funkcję pierwotną.
Tw. (drugie twierdzenie główne rachunku całkowego, tw. Newtona-Leibniza). Jeżeli funkcja f jest ciągła na przedziale <a; b>, F zaś jest jakąkolwiek funkcją pierwotną funkcji f na tym przedziale, to
Tw. Całkowanie przez części Jeżeli funkcje u i v ma w pewnym przedziale ciągłe pochodne u' i v', to
na tym przedziale.
Całkowanie przez podstawienie
Tw. 1. (o całkowaniu przez podstawienie t = h(x)). Jeżeli:
funkcja h jest różniczkowalna na przedziale X i przekształca go na przedział T,
funkcja g ma na przedziale T funkcję pierwotną G,
f = (g°h)*h' na przedziale X,
to:
na przedziale X.
Tw. 2. (o całkowaniu przez podstawienie x = ϕ(t)). Jeżeli:
funkcja ϕ jest różniczkowalna i różnowartościowa na przedziale T i przekształca go na przedział X,
funkcja f ma na przedziale X funkcję pierwotną F,
to prawdziwa jest na tym przedziale równość
Zastosowanie całki oznaczonej
pole pod wykresem
objętość bryły obrotowej
długość łuku
Całka niewłaściwa w przedziale nieskończonym
Def. Jeżeli funkcja f(z) jest całkowalna w sensie Riemanna w przedziale <a; T> dla każdego T > a oraz istnieje granica właściwa
, to nazywamy ją całką niewłaściwą funkcji f(z) w przedziale od a do plus nieskończoności i oznaczamy symbolem
.
Jeżeli granica istnieje i jest właściwa, to mówimy, że całka niewłaściwa funkcji f(z) w przedziale a do plus nieskończoności istnieje lub że jest zbieżna. Jeżeli granica nie istnieje, albo jest niewłaściwa, to mówimy, że całka niewłaściwa nie istnieje lub że jest zbieżna.
Analogicznie dla minus nieskończoności i przedziału (-∞; +∞) (tu na dwie całki (-∞, 0>, i <0, ∞) ).
Całka niewłaściwa funkcji nieograniczonej
funkcja f(x) jest określona w przedziale <a, b):
Def. Jeżeli istnieje granica właściwa
to nazywamy ją całką niewłaściwą funkcji f(z) w przedziale <a; b> (całka niewłaściwa drugiego rodzaju).
Def. Całkę niewłaściwą zbieżną drugiego rodzaju nazywamy bezwzględnie zbieżną, jeżeli jest zbieżna całka
.
Def. Całkę zbieżną nazywamy warunkowo zbieżną, jeżeli całka
jest rozbieżna.
Całki niewłaściwe zależne od parametru
Def. Całkę
nazywamy zbieżną w przedziale T jeżeli ∀ε>0 ∀t∈T ∃A0≥a ∀A>A0
Def. Całkę nazywamy jednostajnie zbieżną w przedziale T, jeżeli ∀ε>0 ∃A0≥a ∀t∈T ∀A>A0
Testy zbieżności całki niewłaściwej
Tw. (A. Cauchy) Jeżeli f: <a; +∞) → C jest lokalnie całkowlna, to równoważne są warunki:
całka niewłaściwa
jest zbieżna
→ 0, α , β → ∞
Tw. (test porównawczy) Jeżeli
f: <a, +∞) → C jest lokalnie całkowalna
g: <a, +∞) → R, g ≥ 0,
jest zbieżna
|f(x)| ≤ g(x) w <a, +∞)
jest zbieżna (bezwzględnie) oraz zachodzi oszacowanie
.
Tw. (Dirichlet) Jeżeli f: <a, +∞) → R jest ciągła i ma ograniczoną pochodną (tzn. ∀<a, α> ma F górnej granicy całkowania ograniczoną) i g: <a; +∞) → R jest klasy C1 oraz g(x) maleje do zera, x → ∞ to całka niewłaściwa
jest zbieżna oraz zachodzi równość
.
Szeregi liczbowe i funkcyjne.
Szereg liczbowy
Def. Ciąg (Sn) sum
nazywamy szeregiem liczbowym i oznaczamy symbolem
Szereg liczbowy nazywamy zbieżnym, jeżeli ciąg jego sum częściowych jest zbieżny do granicy właściwej lim Sn = S, natomiast rozbieżnym w wypadku przeciwnym. Granicę nazywamy sumą szeregu. Szereg zbieżny ma sumę, natomiast szereg rozbieżny nie ma sumy. Piszemy też
Def.
Def. Szereg
nazywamy sumą szeregów
i
Warunek konieczny zbieżność szeregu. Jeżeli szereg
jest zbieżny, to lim an = 0
Szereg Taylora
Tw. (Taylora) Jeżeli funkcja f ma ciągłe pochodne do rzędu (n-1) włącznie na przedziale domkniętym o końcach x0 i x oraz ma pochodną rzędu n wewnątrz tego przedziału, to istnieje taki punkt c, leżący między x0 i x, że
.
Jeżeli funkcja ma w pewnym otoczeniu Q punktu x0 wsztstkie pochodne, to dla każdego x ∈ Q-{x0} i każdego n ∈ N
, gdzie c jest liczbą z wnętrza przedziału o końcach x i x0.
Jeżeli istnieje otoczenie Q0, w którym
(Rn(x) - n-ta reszta wzoru Taylora), to
, dla każdego x ∈ Q0.
Lemat. (o reszcie wzoru Taylora) Jeżeli istnieje taka liczba M > 0, że dla każdego x ∈ Q0(x0; δ) i dla każdego naturalnego na spełniona jest nierówność |f(n)(x)| ≤ M, to dla każdego x ∈ Q0 spełnione jest
.
Twierdzenia Banacha (przestrzenie metryczne)
Def. Zbiór X nazywamy przestrzenią metryczną, jeżeli każdej parze (a, b) jego elementów jest przyporządkowana dokładnie jedna liczba nieujemna ρ(a, b) taka, że:
ρ(a, b) = 0 ⇔ a = b
ρ(a, b) = ρ(b, a)
ρ(a, b) ≤ ρ(a, c) + ρ(c, b)
Funkcję ρ(a, b), określoną na zbiorze wszystkich para punktów przestrzeni X, nazywamy metryką tej przestrzeni. Wartość funkcji ρ(a, b), czyli wartość metryki, nazywamy odległością punktu a od punktu b;
Lemat (Schwarza-Cauchy'ego) Dla każdych dwóch układów (u1, u2, ..., un) i (v1, v2, ..., vn) n liczb rzeczywistych prawdziwa jest nierówność
. Nierówność tą nazywamy nierównością Schwarza-Cauchy'ego.
Def. (zbieżność w sensie metryki) Ciąg (xn) punktów przestrzeni X nazywamy zbieżnym w tej przestrzeni, jeżeli istnieje taki punkt x ∈ X, że
. Piszemy wówczas
.
Def. Mówimy, że ciąg (xn) punktów przestrzeni metrycznej X spełnia warunek Cauchy'ego w sensie metryki ρ(a, b) tej przestrzeni, jeżeli dla każdej liczby dodatniej ε istnieje taka liczba δ, że dla każdych dwóch liczba naturalnych r, s spełniających warunek min(r,s)>δ, spełniona jest nierówność ρ(xr, xs) < ε.
Lemat. Jeżeli ciąg (xn) punktów przestrzeni metrycznej X jest zbieżny w tej przestrzeni, to spełnia warunek Cauchy'ego w sensie jej metryki.
Def. Ciąg podstawowy punktów przestrzeni metrycznej X jest to ciąg spełniający warunek Cauchy'ego w sensie metryki tej przestrzeni.
Def. Przestrzeń zupełna jest to przestrzeń metryczna, w której jest zbieżny każdy ciąg podstawowy jej punktów.
Tw. (Banacha o punkcie stałym) Jeżeli operacja A jest określona na punktach przestrzeni metrycznej i zupełnej X, przy czym:
jeżeli x ∈ X, to A(x) ∈ X,
istnieje taka liczba dodatnia α < 1, że dla każdego y ∈ X i dla każdego z ∈ X spełniona jest nierówność ρ[A(y), A(z)] ≤ α * ρ(y, z)
to w przestrzeni X istnieje dokładnie jeden punkt x* spełniający równanie x = A(x); punkt x* jest punktem granicznym ciągu kolejnych przybliżeń xn+1 = A (xn) , n = 0, 1, 2, ... , przy czym x0 jest dowolnym punktem przestrzeni X.
Rachunek różniczkowy funkcji wielu zmiennych
Zbiory w przestrzeni Rn
Przestrzeń Rn Zbiór wszystkich uporządkowanych układów (x1, x2, ..., xn), n liczb rzeczywistych (n ≥ 1), nazywamy przestrzenią n-wymiarową Rn. Układy (x1, x2, ..., xn) nazywamy punktami przestrzeni Rn, liczby x1, x2, ..., xn - współrzędnymi prostokątnymi tych punktów.
Odległość dAB punktów A(a1, a2, ..., an) i B(b1, b2, ..., bn) przestrzeni Rn jest określona wzorem:
Otoczenie i sąsiedztwo punktu. Niech r oznacza dowolną liczbę dodatnią.
Def. Otoczenie Q(P0; r) punktu P0(a1, a2, ..., an) o promieniu r jest to zbiór wszystkich punktów P(x1, x2, ..., xn), dla których:
Def. Sąsiedztwo S(P0; r) punktu P0(a1, a2, ..., an) o promieniu r jest to zbiór wszystkich punktów P(x1, x2, ..., xn), dla których:
Def. Zbiór Z ⊂ Rn nazywamy ograniczonym, jeżeli istnieje taka liczba r > 0, że Z ⊂ Q(0; r), natomiast nieograniczonym, gdy liczba taka nie istnieje.
Def. Zbiór nazywamy skończonym, jeżeli należy do niego dokładnie n ∈ N punktów.
Def. Zbiór nazywamy nieskończonym, jeżeli nie jest ani pusty ani skończony.
Zbiory otwarte i domknięte.
Def. Punkt P ∈ Z nazywamy punktem wewnętrznym zbioru Z, jeżeli zbiór ten zawiera pewne otoczenie punktu P.
Def. Zbiór, którego każdy punkt jest punktem wewnętrznym, nazywamy zbiorem otwartym.
Def. Łuk zwykły w przestrzeni Rn jest to zbiór wszystkich punktów P(x1, x2, ..., xn) o współrzędnych x1 = x1(t), x2 = x2(t), ..., xn = xn(t), gdzie xi(t), i ∈ N, są to funkcje ciągłe, określone w przedziale <α; β>, przy czym różnym wartościom parametru t ∈ (α; β) odpowiadają różne punkty P.
Łuk zwykły nazywamy otwartym, jeżeli nie jest spełniona co najmniej jedna z równości xi(α) = xi(β), i ∈ N, natomiast zamkniętym lub zwykłą krzywą zamkniętą, jeżeli każda z tych równości jest spełniona.
Jeżeli funkcje xi(t) mając ciągłe pochodne w przedziale <α; β> oraz
dla t ∈ <α; β> to łuk zwykły nazywamy gładkim (regularnym). Jeżeli natomiast przedział <α; β> można podzielić na skończoną liczbę podprzedziałów tak, żeby w każdym z nich oddzielnie funkcje xi(t) miały ciągłe pochodne (na końcach - pochodne jednostronne) oraz spełniony był powyższy warunek , to łuk zwykły nazywamy kawałkami gładkim.
Def. Obszar jest to taki zbiór otwarty, którego każde dwa punkty można połączyć łukiem zwykłym (np. łamaną) całkowicie w nim zwartym.
Def. Punkt P nazywamy punktem skupienia zbioru Z, jeżeli w każdym sąsiedztwie punktu P znajduje się punkt tego zbioru.
Def. Zbiór domknięty jest to zbiór, do którego należą wszystkie jego punkty skupienia. (F ⊂ X domknięty → dopełnienie jest zbiorem otwartym)
Def. Domknięcie A- zbioru A to przekrój wszystkich zbiorów domkniętych A ⊂ F: A- = ∩{ F | A ⊂ F ∧ F - domk.}
A- jest najmniejszym zbiorem domkniętym zawartym w A.
A jest domknięty ⇔ A = A-
x ⊂ A- ⇔ w dowolnym otoczeniu punktu x istnieją punkty zbioru A: ∀ε>0 A ∩K(x0, ε)≠0.
Def. Podzbiór A ⊂ X nazywamy gęstym w X, jeżeli jego domknięcie jest identyczne z X, czyli A- = X.
Def. Punkt P ∈ Z, który nie jest punktem skupienia zbioru nazywamy Z, nazywamy punktem osobliwym tego zbioru.
Def. Punkt P nazywamy punktem brzegowym zbioru Z, jeżeli w każdym otoczeniu tego punktu znajduje się zarówno punkt zbioru Z jak i punkt, który do tego zbioru nie należy.
Def. Brzeg zbioru Z jest to zbiór wszystkich punktów brzegowych tego zbioru.
Zbiory jednospójne i wielospójne.
Def. Krzywa Jordana jest to zwykła krzywa zamknięta w przestrzeni R2. Krzywa Jordana dzieli płaszczyznę na dwa obszary. Jeden z obszarów jest ograniczony i nazywamy go wnętrzem krzywej Jordana. Drugi z tych obszarów jest nieograniczony.
Def. Obszar w przestrzeni R2 nazywamy jednospójnym, jeżeli należy do niego wnętrze każdej leżącej w nim krzywej Jordana. Obszar który nie jest jednosójny, nazywamy obszarem wielospójnym.
Jeżeli brzeg obszaru w przestrzeni R2 składa się z rozłącznych krzywych Jordana, łuków zwykłych otwartych i punktów, to ich łączną liczbę n nazywamy rzędem spójności i obszar nazywamy n-spójnym.
Funkcje wielu zmiennych
Def. Funkcja n zmiennych x1, x2, ..., xn, określona w zbiorze Z ⊂ Rn, jest to przyporządkowanie każdemu punktowi P(x1, x2, ..., xn) ∈ Z dokładnie jednej liczby z ∈ R. Piszemy przy tym: z = f (x1, x2, ..., xn) dla (x1, x2, ..., xn) ∈ Z lub z = f (P), P ∈ Z.
Def. Funkcję f(P) nazywamy ograniczoną w zbiorze Z, jeżeli istnieje tak liczba M, że dla każdego P ∈ Z spełniona jest nierówność | f(P) | ≤ M.
Granica i ciągłość funkcji
Granica funkcji n zmiennych.
Def. Mówimy, że ciąg punktów (Pk), k ∈ N, przestrzeni Rn jest zbieżny do punku P0 i piszemy Pk → P0 wtedy i tylko wtedy, gdy
Def. (Heinego) Liczbę g nazywamy granicą funkcji f(P) w punkcie P0, jeżeli dla każdego ciągu punktów (Pk), Pk ∈ Z, Pk ≠ P0, zbieżnego do P0, ciąg (f(Pk)) jest zbieżny do g. Jeżeli liczba g jest granicą funkcji f(P) w punkcie P0, to piszemy:
.
Def. (Cauchy)
Ciągłość funkcji n zmiennych.
Def. Funkcja f(P) jest ciągła w punkcie P0 ⇔
Def. Funkcję f(P) nazywamy ciągłą w pewnym zbiorze, jeżeli jest ciągła w każdym punkcie tego zbiour.
Tw. (o loklanym zachowaniu znaku). Jeżeli funkcja f(P), określona w pewnym otoczeniu punktu P0, jest w tym punkcje ciągła i f(Po) >(<) 0, to istnieje takie sąsiedztwo S punktu P0, że dla każdego punktu P ∈ S jest spełniona nierówność f(P) >(<) 0.
Tw. (o ograniczoności funkcji)l Jeżeli funkcja f(P) jest ciągła w obszarze domkniętym i okraniczonym
, to jest w tym obszarze ograniczona.
Tw. (Weierstrassa, o osiąganiu kresów) Jeżeli funkcja f(P) jest ciągła w obszarze domkniętym i ograniczonym
, to istnieje taki punkt P1 ∈
, że :
oraz istnieje taki punkt P2 ∈
, że
Tw. (Cantora, o ciągłości jednostajnej) Jeżeli funkcja f(P) jest ciągła w obszarze domkniętym i ograniczonym
, to dla każdej liczby ε > 0 istnieje taka liczba δ > 0, że dla każdych dwóch punktów P1 ∈
i P2 ∈
, których odległość
spełnia warunek:
to spełniona jest nierówność |f(P1) - f(P2)| < ε.
Właściwości funkcji ciągłej w obszarze domkniętym i ograniczonym
, o której mówi powyższe twierdzenie, nazywamy jednostajną ciągłością.
Pochodne cząstkowe
Def. Granicę właściwą
nazywamy pochodną cząstkową rzędu pierwszego funkcji f(P) względem zmiennej xi w punkcje P0 i oznaczamy symbolem
.
Tw. (Schwarza) Jeżeli funkcja f(x1, x2, ..., xn) ma w pewnym obszarze Ω ⊂ Rn ciągłe pochodne cząstkowe mieszane rzędu drugiego
to w każdym punkcie tego obszaru