377


Całka Riemanna

Domyślnie funkcja jest ograniczona i 0x01 graphic
.

Definicja. Podziałem przedziału 0x01 graphic
nazywamy ciąg punktów 0x01 graphic
, i-tym przedziałem podziału 0x01 graphic
nazywamy przedział 0x01 graphic
. Długość przedziału 0x01 graphic
oznaczamy 0x01 graphic
, a średnicą podziału 0x01 graphic
. 0x01 graphic
jest rodziną wszystkich podziałów przedziału 0x01 graphic
.

Definicja. Dla funkcji 0x01 graphic
i dla podziału 0x01 graphic
definiujemy 0x01 graphic
0x01 graphic
i 0x01 graphic
. Górną sumą Riemanna dla funkcji 0x01 graphic
wzg. podziału 0x01 graphic
nazywamy liczbę 0x01 graphic
, a dolną sumą Riemanna liczbę 0x01 graphic
.

Uwaga. Dla dowolnej funkcji 0x01 graphic
oraz dowolnego podziału 0x01 graphic
, 0x01 graphic
.

Definicja. Podział 0x01 graphic
nazywamy zagęszczeniem podziału 0x01 graphic
, gdy 0x01 graphic
, czyli jeżeli 0x01 graphic
i 0x01 graphic
to 0x01 graphic
. Podział 0x01 graphic
nazywamy wspólnym zagęszczeniem podziałów 0x01 graphic
, gdy 0x01 graphic
.

Uwaga. Jeżeli 0x01 graphic
jest zagęszczeniem podziału 0x01 graphic
, 0x01 graphic
i 0x01 graphic
, to 0x01 graphic
.

Twierdzenie. Jeżeli 0x01 graphic
jest zagęszczeniem przedziału 0x01 graphic
, to 0x01 graphic
.

Wniosek. 0x01 graphic
.

Definicja. Dolną całką Riemanna z funkcji 0x01 graphic
na przedziale 0x01 graphic
nazywamy liczbę 0x01 graphic
, a górną całką Riemanna liczbę 0x01 graphic
.

Uwaga. 0x01 graphic
i 0x01 graphic
są określone dla dowolnej funkcji ograniczonej 0x01 graphic
, 0x01 graphic
oraz 0x01 graphic
.

Definicja. Mówimy, że 0x01 graphic
jest całkowalna w sensie Riemanna (R - całkowalna), gdy 0x01 graphic
. Wtedy liczbę 0x01 graphic
nazywamy całką (Riemanna) funkcji 0x01 graphic
na przedziale 0x01 graphic
i oznaczamy 0x01 graphic
.

Twierdzenie. Funkcja 0x01 graphic
jest R - całkowalna 0x01 graphic
.

Twierdzenie Riemanna. Zał, że 0x01 graphic
jest ciągła. Wtedy 0x01 graphic
jest R-całkowalna.

Twierdzenie. Zał, że 0x01 graphic
jest monotoniczna. Wtedy 0x01 graphic
jest R-całkowalna.

Uwaga. Istnieją funkcje monotoniczne, które nie są ciągłe.

Definicja. Zał, że 0x01 graphic
ograniczona, 0x01 graphic
, 0x01 graphic
. Funkcję 0x01 graphic
nazywamy funkcją wyboru dla przedziału 0x01 graphic
, gdy 0x01 graphic
.

Definicja. Sumą Riemanna dla funkcji 0x01 graphic
względem podziału 0x01 graphic
i funkcji 0x01 graphic
nazywamy liczbę 0x01 graphic
.

Uwaga. Dla dowolnej funkcji wyboru 0x01 graphic
zachodzą nierówności 0x01 graphic
.

Definicja. Ciąg 0x01 graphic
podziałów przedziału 0x01 graphic
nazywamy normalnym, gdy 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
jest ciągła. Wtedy dla dowolnego normalnego ciągu przedziałów 0x01 graphic
przedziału 0x01 graphic
oraz dla dowolnego ciągu 0x01 graphic
, gdzie 0x01 graphic
jest funkcją wyboru podziału 0x01 graphic
, 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
jest ograniczona. Jeżeli 0x01 graphic
jest zbiorem punktów nieciągłości, oraz 0x01 graphic
istnieje skończony ciąg przedziałów otwartych i rozłącznych 0x01 graphic
takich, że (1)0x01 graphic
i (2) 0x01 graphic
. Wtedy 0x01 graphic
jest R-całkowalna.

Wniosek. Jeżeli zbiór punktów nieciągłości jest skończony, to 0x01 graphic
jest R-całkowalna.

Twierdzenie. Zał, że 0x01 graphic
jest R-całkowalna, 0x01 graphic
, 0x01 graphic
jest ciągła. Wtedy 0x01 graphic
jest R-całkowalna.

Wniosek. Jeżeli 0x01 graphic
jest R-całkowalna, 0x01 graphic
, to funkcje 0x01 graphic
, 0x01 graphic
, 0x01 graphic
są R-całkowalne.

Twierdzenie. Jeżeli 0x01 graphic
jest R-całkowalna, 0x01 graphic
, to 0x01 graphic
.

Twierdzenie. Jeżeli 0x01 graphic
są R-całkowalne, to 0x01 graphic
jest R-całkowalna, i 0x01 graphic
.

Wniosek. Jeżeli 0x01 graphic
są R-całkowalne, to 0x01 graphic
jest R-całkowalna, i 0x01 graphic
.

Twierdzenie. Jeżeli 0x01 graphic
jest R-całkowalna, oraz 0x01 graphic
to 0x01 graphic
.

Wniosek. Jeżeli 0x01 graphic
są R-całkowalne oraz 0x01 graphic
, to 0x01 graphic
.

Twierdzenie. Jeżeli 0x01 graphic
są R-całkowalne, to 0x01 graphic
jest R-całkowalna.

Twierdzenie. Jeżeli 0x01 graphic
jest R-całkowalna, to 0x01 graphic
.

Wniosek. Jeżeli 0x01 graphic
i 0x01 graphic
jest R-całkowalna, to 0x01 graphic
.

Twierdzenie całkowe o wartości średniej. Zał, że 0x01 graphic
jest ciągła. Wtedy 0x01 graphic
.

Twierdzenie o podziale przedziału całkowania. Zał, że 0x01 graphic
jest R-całkowalna, 0x01 graphic
. Wtedy 0x01 graphic
jest R-całkowalna na przedziałach 0x01 graphic
i 0x01 graphic
, oraz 0x01 graphic
.

Uwaga. Z faktu, że 0x01 graphic
i 0x01 graphic
są R-całkowalne wynika, że 0x01 graphic
jest R-całkowalna.

Wniosek. Jeżeli 0x01 graphic
jest R-całkowalna, 0x01 graphic
, to 0x01 graphic
jest R-całkowalna na 0x01 graphic
.

Definicja. Zał, że 0x01 graphic
jest R-całkowalna. Wtedy 0x01 graphic
, 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
jest R-całkowalna. Wtedy dla dowolnych liczb 0x01 graphic
zachodzi 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
jest R-całkowalna, 0x01 graphic
jest określona wzorem 0x01 graphic
. Wtedy 0x01 graphic
jest ciągła.

Twierdzenie. Zał, że 0x01 graphic
jest ciągła. Wtedy 0x01 graphic
jest różniczkowalna na 0x01 graphic
oraz 0x01 graphic
.

Definicja. Zał, że 0x01 graphic
. Mówimy, że 0x01 graphic
jest funkcją pierwotną dla funkcji0x01 graphic
, gdy 0x01 graphic
.

Wniosek. Jeżeli 0x01 graphic
jest funkcją ciągłą, to 0x01 graphic
posiada funkcję pierwotną. Funkcja pierwotna dla funkcji 0x01 graphic
jest określona wzorem 0x01 graphic
.

Uwaga. (1) Jeżeli 0x01 graphic
jest funkcją pierwotną dla funkcji 0x01 graphic
, to 0x01 graphic
też jest funkcją pierwotną dla 0x01 graphic
.

(2) Jeżeli 0x01 graphic
są funkcjami pierwotnymi dla 0x01 graphic
, to 0x01 graphic
.

(3) Jeżeli 0x01 graphic
jest ciągła, 0x01 graphic
jest funkcją pierwotną dla 0x01 graphic
, to 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
jest R-całkowalna, 0x01 graphic
jest funkcją pierwotną dla 0x01 graphic
0x01 graphic
. Wtedy 0x01 graphic
.

Definicja. Zał, że 0x01 graphic
jest ciągła. Całką nieoznaczoną z funkcji 0x01 graphic
nazywamy rodzinę wszystkich funkcji pierwotnych dla 0x01 graphic
, 0x01 graphic
.

Twierdzenie o całkowaniu przez części. Zał, że 0x01 graphic
są klasy 0x01 graphic
. Wtedy 0x01 graphic
.

Twierdzenie o całkowaniu przez podstawienie. Zał, że 0x01 graphic
taka, że 0x01 graphic
oraz 0x01 graphic
, 0x01 graphic
, 0x01 graphic
. Wtedy dla dowolnej funkcji ciągłej 0x01 graphic
zachodzi 0x01 graphic
.

Twierdzenie. Zał, że 0x01 graphic
; 0x01 graphic
, 0x01 graphic
jest R-całkowalna oraz 0x01 graphic
. Wtedy 0x01 graphic
też jest R-całkowalna oraz 0x01 graphic
.

Wniosek. Jeżeli 0x01 graphic
jest jednostajnie zbieżny na 0x01 graphic
oraz 0x01 graphic
jest R-całkowalna na 0x01 graphic
, to 0x01 graphic
jest funkcją R-całkowalną, oraz 0x01 graphic
.

Uwaga. Zał, że 0x01 graphic
jest istotne.

Całki niewłaściwe.

Definicja. Zał, że 0x01 graphic
. Jeżeli 0x01 graphic
jest R-całkowalna oraz istnieje 0x01 graphic
, to mówimy, że dla 0x01 graphic
istnieje całka niewłaściwa na półprostej 0x01 graphic
i oznaczamy ją 0x01 graphic
. Dodatkowo, jeżeli 0x01 graphic
jest skończona, to mówimy że 0x01 graphic
jest R-całkowalna na 0x01 graphic
. Analogicznie, jeśli 0x01 graphic
.

Jeżeli 0x01 graphic
oraz 0x01 graphic
jest R-całkowalna oraz istnieje 0x01 graphic
, to tę granicę nazywamy całką niewłaściwą z 0x01 graphic
na prostej 0x01 graphic
i oznaczamy 0x01 graphic
.

Twierdzenie. 0x01 graphic
istnieje i jest skończona 0x01 graphic
.

Uwaga. (1) Jeżeli 0x01 graphic
jest ciągła i nieujemna, to istnieje 0x01 graphic
;

(2) Jeżeli 0x01 graphic
jest ciągła, nieujemna i niemalejąca, to 0x01 graphic
;

(3) Jeżeli 0x01 graphic
jest ciągła, nieujemna i nierosnąca, to 0x01 graphic
jest skończona 0x01 graphic
szereg 0x01 graphic
jest zbieżny.

Definicja. Zał, że 0x01 graphic
oraz 0x01 graphic
jest R-całkowalna na 0x01 graphic
. Jeżeli 0x01 graphic
istnieje, to oznaczamy ją 0x01 graphic
i nazywamy całką niewłaściwą z 0x01 graphic
na 0x01 graphic
. Analogicznie definiujemy całkę niewłaściwą z 0x01 graphic
. Zał, że 0x01 graphic
, 0x01 graphic
oraz istnieją całki niewłaściwe 0x01 graphic
, 0x01 graphic
. Jeżeli wykonywalne jest dodawanie 0x01 graphic
, to sumę tę nazywamy całką niewłaściwą z 0x01 graphic
na 0x01 graphic
.

Zastosowanie całek w geometrii.

I. Pole figury.

Pole figury 0x01 graphic
to funkcja 0x01 graphic
spełniająca:

(1) jeżeli 0x01 graphic
oraz 0x01 graphic
, to 0x01 graphic
;

(2) jeżeli zbiór 0x01 graphic
jest przesunięciem zbioru 0x01 graphic
, to 0x01 graphic
.

Definicja. Jeżeli 0x01 graphic
jest R-całkowalna, 0x01 graphic
. Wtedy możemy określić pole zbioru 0x01 graphic
wzorem 0x01 graphic
.

Definicja. Obszarem normalnym wyznaczonym przez funkcje ciągłe 0x01 graphic
0x01 graphic
nazywamy zbiór 0x01 graphic
. Pole 0x01 graphic
obszaru 0x01 graphic
obliczamy ze wzoru 0x01 graphic
.

Wniosek. Pole 0x01 graphic
obszaru ograniczonego wykresem funkcji 0x01 graphic
z osią 0x01 graphic
jest równe 0x01 graphic
.

II. Obliczanie objętości figur obrotowych.

Objętość figury jest funkcją analogiczną do funkcji pola.

Definicja. Zał, że 0x01 graphic
jest ciągła i nieujemna, 0x01 graphic
to bryła otrzymana przez obrót wykresu funkcji 0x01 graphic
dookoła osi 0x01 graphic
, 0x01 graphic
to objętość bryły 0x01 graphic
. Wtedy 0x01 graphic
.

III. Obliczanie długości łuku.

Definicja. Zał, że 0x01 graphic
. Wykres funkcji 0x01 graphic
nazywamy łukiem o końcach 0x01 graphic
. Wtedy długość łuku 0x01 graphic
wynosi 0x01 graphic
.

IV. Obliczanie pól powierzchni bocznych.

Definicja. Jeżeli 0x01 graphic
jest ciągła, to pole powierzchni bocznej zakreślonej przez łuk 0x01 graphic
wynosi 0x01 graphic
.

2



Wyszukiwarka