niech :/:[«,£]-»/*,/ e M[aJ>]
z :a:=x0<xi<x2<... < xM < *, <... < xM := b I,A(r) := max |ax, |
f-ograniczona =>/M<= inf f{x)M, = sup /(.r)
•*(/» := / !"*,**. -
definiujemy sumy:
dolna suma Darboux
gónia suma Darboux
A/,AArt i—1
Własności sum Darboux:
2) Jeżeli do danych punktów przedziałów dodamy nowe punkty to może to spowodować jedynie, co najwyżej, zwiększenie dolnych sum i zmniejszenie górnych.
r, < r2 => s(f, Tx)<s(J, t2) _ oraz _ S(Jyr,)>S(/, r2)
m = min / (.r)< min / (.r) + min / (.r)
te A tcA' icA'
maxi -gn 'ax, + ni "a.t,
///|a| <w'|a'|+///*|a*|
3) Każda dolna siuna Darboux jest nie większa od każdej sumy górnej nawet wtedy, kiedy sumy te odpowiadają różnym podziałom przedziałów.
Dowód:
T = Ty\jT2,Ty<T2tT2<T
s(fy ty )<s(/, T)<S(ft T)<S(f, Tj)
r, <r2 => j(/,r,)<s(/,r2)_orar_5(/,r,)>S:(/,r2)
4) Zbiór wszystkich smn dolnych jest ograniczony z góry (np. przez dowohią smnę górną).
5) Wszystkie smny górne są ograniczone z dolu(np przez dowohią smnę dolną).
15.3. Całki górna i dolna Darboux.
/. :=sup5(/,r) - całka dolna Darboux
r
/ :=infS(/,r) . całka górna Darboux
dowód : _s(f,r)<S(/,r) z'- ustalone
I. = supj(/, r) < 5(/,r0 => /.<S(/,r") => /.<inf 5(/, r*) => /.</*
r f
Create PDF files without this message by purchasing novaPDF printer (http://www.novapdf.com)