Analiza matematyczna Teoria sciaga


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:

  1. refleksyjna (zwrotna) jeżeli ∀x x ϕ x

  2. symetryczna jeżeli ∀x, y ∈ X (x ϕ y ⇒ y ϕ x)

  3. tranzytywna (przechodnia) jeżeli ∀x, y, z ∈ X ( x ϕ y oraz y ϕ z ⇒ x ϕ z )

  4. 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 b = g.

Tw. (o zachowaniu nierówności słabej) Jeżeli 0x01 graphic
i 0x01 graphic
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 0x01 graphic
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 0x01 graphic
wtwg ∀ε>0 ∃δ ∀x ∈ Df 0 < dx(<x, x0>) < δ ⇒ dy(<f(x), g>) < ε.

Tw. (o działaniach arytmetycznych na granicach funkcji) Jeżeli 0x01 graphic
, 0x01 graphic
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 0x01 graphic
, przy czym g jest punktem skupienia zbioru f(X) i g nie należy do zbioru f(X-{x0}), oraz 0x01 graphic
, to 0x01 graphic
.

granice niewłaściwe.

Def. (Heinego) Mówimy, że funkcja f posiada w punkcie x0 granicę niewłaściwą +(-)∞ i piszemy 0x01 graphic
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) 0x01 graphic
⇔ ∀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 0x01 graphic
.

Def. (Cauchy)

0x01 graphic
⇔ ∀ε>0 ∃δ ∀x ∈ Df x >[<] δ ⇒ (|f(x) - g| < ε)

0x01 graphic
⇔ ∀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 0x01 graphic
.

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 0x01 graphic
.

Def. Funkcję f(x) nazywamy nieskończenie małą rzędu n (n N), gdy x → x­0, 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 0x01 graphic
.

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 0x01 graphic

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 0x01 graphic
i funkcja h jest ciągła w punkcie u0 = g, to 0x01 graphic
.

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

  1. f jest ograniczona na przedziale <a; b>

  2. istnieją takie liczby c1, c, że 0x01 graphic
    , 0x01 graphic

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 0x01 graphic

Def. Granicę właściwą ilorazu różnicowego, gdy Δx → 0, nazywamy pochodną funkcji f w punkcie x0 i oznaczamy symbolem f'(x0). 0x01 graphic

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 0x01 graphic
, 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 0x01 graphic
.

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 0x01 graphic
, to istniej także pochodna 0x01 graphic
.

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:

  1. dziedziny funkcji 0x01 graphic
    zawierają pewne sąsiedztwo S punktu x0.

  2. 0x01 graphic
    albo 0x01 graphic

  3. istnieje granica 0x01 graphic
    (właściwa albo niewłaściwa),

to istnieje także granica 0x01 graphic
, przy czym 0x01 graphic
.

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 0x01 graphic

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

0x01 graphic

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:

0x01 graphic

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

0x01 graphic

2) funkcja Af, gdzie A - dowolna stała, jest R-całkowalna na przedziale <a; b>:

0x01 graphic

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:

0x01 graphic

Tw. 5. Jeżeli funkcja f jest R-całkowalna na przedziale <a; b> i c ∈ (a; b), to

0x01 graphic

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

0x01 graphic

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

0x01 graphic

Tw. 7. Jeżeli funkcje f i g są R-całkowalne na przedziale <a; b> i spełniają warunek: 0x01 graphic
to 0x01 graphic

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 0x01 graphic

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: 0x01 graphic

Tw. 9. Jeżeli f jest funkcją R-całkowalna na przedziale <a; b>, to 0x01 graphic

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 0x01 graphic
, 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: 0x01 graphic
ma pochodną F'(x) = f(x), czyli:0x01 graphic

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:

  1. funkcja Φ = F + C, gdzie C oznacza dowolną funkcję stałą, jest także funkcją pierwotną funkcji f na przedziale X,

  2. 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 0x01 graphic
.

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 0x01 graphic

Tw. Całkowanie przez części Jeżeli funkcje u i v ma w pewnym przedziale ciągłe pochodne u' i v', to 0x01 graphic
na tym przedziale.

Całkowanie przez podstawienie

Tw. 1. (o całkowaniu przez podstawienie t = h(x)). Jeżeli:

  1. funkcja h jest różniczkowalna na przedziale X i przekształca go na przedział T,

  2. funkcja g ma na przedziale T funkcję pierwotną G,

  3. f = (g°h)*h' na przedziale X,

to: 0x01 graphic
na przedziale X.

Tw. 2. (o całkowaniu przez podstawienie x = ϕ(t)). Jeżeli:

  1. funkcja ϕ jest różniczkowalna i różnowartościowa na przedziale T i przekształca go na przedział X,

  2. funkcja f ma na przedziale X funkcję pierwotną F,

to prawdziwa jest na tym przedziale równość 0x01 graphic

Zastosowanie całki oznaczonej

pole pod wykresem 0x01 graphic

objętość bryły obrotowej 0x01 graphic

długość łuku 0x01 graphic

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 0x01 graphic
, to nazywamy ją całką niewłaściwą funkcji f(z) w przedziale od a do plus nieskończoności i oznaczamy symbolem 0x01 graphic
.

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 0x01 graphic
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 0x01 graphic
.

Def. Całkę zbieżną nazywamy warunkowo zbieżną, jeżeli całka 0x01 graphic
jest rozbieżna.

Całki niewłaściwe zależne od parametru

Def. Całkę 0x01 graphic
nazywamy zbieżną w przedziale T jeżeli ∀ε>0 ∀t∈T ∃A0≥a ∀A>A0 0x01 graphic

Def. Całkę nazywamy jednostajnie zbieżną w przedziale T, jeżeli ∀ε>0 ∃A0≥a ∀t∈T ∀A>A0 0x01 graphic

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:

  1. całka niewłaściwa 0x01 graphic
    jest zbieżna

  2. 0x01 graphic
    → 0, α , β → ∞

Tw. (test porównawczy) Jeżeli

  1. f: <a, +∞) → C jest lokalnie całkowalna

  2. g: <a, +∞) → R, g ≥ 0, 0x01 graphic
    jest zbieżna

  3. |f(x)| ≤ g(x) w <a, +∞)

0x01 graphic
jest zbieżna (bezwzględnie) oraz zachodzi oszacowanie 0x01 graphic
.

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 0x01 graphic
jest zbieżna oraz zachodzi równość 0x01 graphic
.

Szeregi liczbowe i funkcyjne.

Szereg liczbowy

Def. Ciąg (Sn) sum 0x01 graphic
nazywamy szeregiem liczbowym i oznaczamy symbolem 0x01 graphic

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ż 0x01 graphic

Def. 0x01 graphic

Def. Szereg 0x01 graphic
nazywamy sumą szeregów 0x01 graphic
i 0x01 graphic

Warunek konieczny zbieżność szeregu. Jeżeli szereg 0x01 graphic
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 0x01 graphic
.

Jeżeli funkcja ma w pewnym otoczeniu Q punktu x0 wsztstkie pochodne, to dla każdego x ∈ Q-{x0} i każdego n ∈ N 0x01 graphic
, gdzie c jest liczbą z wnętrza przedziału o końcach x i x0.

Jeżeli istnieje otoczenie Q0, w którym 0x01 graphic
(Rn(x) - n-ta reszta wzoru Taylora), to 0x01 graphic
, 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 0x01 graphic
.

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:

  1. ρ(a, b) = 0 ⇔ a = b

  2. ρ(a, b) = ρ(b, a)

  3. ρ(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ść 0x01 graphic
. 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 0x01 graphic
. Piszemy wówczas 0x01 graphic
.

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:

  1. jeżeli x ∈ X, to A(x) ∈ X,

  2. 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: 0x01 graphic

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: 0x01 graphic

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: 0x01 graphic

Def. Zbiór ZRn 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 x­i(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 0x01 graphic
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.}

  1. A- jest najmniejszym zbiorem domkniętym zawartym w A.

  2. A jest domknięty ⇔ A = A-

  3. 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, ..., x­n, określona w zbiorze ZRn, jest to przyporządkowanie każdemu punktowi P(x1, x2, ..., x­n) ∈ Z dokładnie jednej liczby z ∈ R. Piszemy przy tym: z = f (x1, x2, ..., x­n) dla (x1, x2, ..., x­n) ∈ 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 0x01 graphic

Def. (Heinego) Liczbę g nazywamy granicą funkcji f(P) w punkcie P0, jeżeli dla każdego ciągu punktów (Pk), PkZ, 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: 0x01 graphic
.

Def. (Cauchy) 0x01 graphic

Ciągłość funkcji n zmiennych.

Def. Funkcja f(P) jest ciągła w punkcie P00x01 graphic

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 0x01 graphic
, 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 0x01 graphic
, to istnieje taki punkt P10x01 graphic
, że : 0x01 graphic
oraz istnieje taki punkt P20x01 graphic
, że 0x01 graphic

Tw. (Cantora, o ciągłości jednostajnej) Jeżeli funkcja f(P) jest ciągła w obszarze domkniętym i ograniczonym 0x01 graphic
, to dla każdej liczby ε > 0 istnieje taka liczba δ > 0, że dla każdych dwóch punktów P10x01 graphic
i P20x01 graphic
, których odległość 0x01 graphic
spełnia warunek: 0x01 graphic
to spełniona jest nierówność |f(P1) - f(P2)| < ε.

Właściwości funkcji ciągłej w obszarze domkniętym i ograniczonym 0x01 graphic
, o której mówi powyższe twierdzenie, nazywamy jednostajną ciągłością.

Pochodne cząstkowe

Def. Granicę właściwą 0x01 graphic
nazywamy pochodną cząstkową rzędu pierwszego funkcji f(P) względem zmiennej xi w punkcje P0 i oznaczamy symbolem 0x01 graphic
.

Tw. (Schwarza) Jeżeli funkcja f(x1, x2, ..., xn) ma w pewnym obszarze ΩRn ciągłe pochodne cząstkowe mieszane rzędu drugiego 0x01 graphic
to w każdym punkcie tego obszaru 0x01 graphic



Wyszukiwarka

Podobne podstrony:
Analiza matematyczna, Analiza matematyczna - wykład, Ściąga z wykładów
matematyka teoria ściąga wektory proste plaszyzny
Analiza matematyczna 1 teoria wyklady id 60885
Analiza matematyczna 2 ściąga
sciaga kolo1 analiza fin, WTD, analiza matematyczna
sciaga rownanie rozniczkowe zupelne, AGH, I & II, Matematyka, Teoria
ANALIZA MATEMATYCZNA - ściąga, Edukacja, Analiza matematyczna
ANALIZA MATEMATYCZNA sciaga kolo 2
analiza sciaga, studia, Matma, Analiza Matematyczna, analiza, Ściągi
Macierze - ściąga, Analiza matematyczna
sciaga analiza fin, WTD, analiza matematyczna
6643194-sciaga-calki, Studia, Matematyka, Analiza Matematyczna
Analiza matematyczna egzamin I (lato) calki teoria, Wykłady - Studia matematyczno-informatyczne
analiza sciaga, PWR- IŚ, Rok 1, Matematyka, Analiza matematyczna 2.2B
analiza teoria sciaga
Geometria analityczna - ściąga, Analiza matematyczna
AMwyklady sciaga, WAT, semestr I, Analiza Matematyczna

więcej podobnych podstron