Teorema Additivity

Kami sekarang kembali ke fungsi Riemann yang dapat diintegrasikan secara arbitrer. Hasil
kami berikutnya menunjukkan bahwa integral adalah "fungsi aditif" dari interval di mana
fungsi terintegrasi.Properti ini tidak mengejutkan, tetapi buktinya agak halus dan mungkin
dihilangkan pada yang bacaan pertama.

7.2.9 Teorema Additivity Diberikan f: = [a, b] → R. dan biarkan c ϵ (a, b). Kemudian f ϵR
[a, b] jika dan hanya jika batasannya untuk [a, c] dan [c, b] keduanya Riemann terintegrasi.
Pada kasus ini
b c b

∫ f =∫ f +∫ f
a a c

Bukti. (←) Misalkan pembatasan f 1 dari f ke [a, c], dan pembatasan f 2 dari f ke [c, b] masing-
masing Riemann dapat diintegrasikan ke L1 dan L2. Kemudian, beri ε> 0 ada δ' > 0
sedemikian rupa sehingga jika P2 adalah partisi [a, c] yang ditandai dengan ¿∨P1∨¿ < δ',
maka |S ( f 1; P1) - L1 | < ε / 3. Juga ada δ"> 0 sehingga jika P2 adalah partisi yang ditandai [c,
b] I ¿|P2|∨¿< δ" maka |S ( f 2; P2) - L2 | < ε / 3. Jika M berlimpah untuk|f|, tentukanδ ε ,: = min
{δ ', δ",ε / 6M} dan diberikan P menjadi partisi dengan tag [a, b] dengan¿∨¿ Q∨¿ < δ.
Kami akan membuktikannya

¿ S (f ; Q) - ( L1+ L2)¿ <.ε

(i) Jika c adalah titik partisi dari Q, kami membagi Q menjadi partisi Q 1 dari [a, c]

dan sebuah partisi Q 2 dari [c, b]. Karena S (f ; Q) = S (f ; Q 1) + S (f ; Q 2 ¿ dan karena Q1

memiliki norma <δ'dan Q 2 memiliki norma < δ", ketimpangan (7) jelas.

(ii) Jika c bukan titik partisi di Q = {( l k ; t k ¿ } mk ¿ 1, ada k≤m sedemikian rupa

sehingga cϵ( x k−1 , x k) . Kita membiarkan Q1 menjadi partisi yang ditandai [a, c] yang

didefinisikan oleh

Q 1 := { (l 1, t 1), . . . , (l k−1 , t k−1, ¿ , ([x k−1 , c ¿ ,c ¿ }

dan Q2 menjadi partisi [c, b] yang ditandai oleh

Q2 :=¿, . . . , (l m, t m)}

Perhitungan langsung menunjukkan hal itu

S( f ; Q) - S(f ;Q 1) - S(f ; Q 2) = f (t k ) ( x k −x k−1 ,) - f (c) ( x k −x k−1 ,))

= (f (t k ) - f (c)) · ( x k −x k−1 ,),

dari mana itu terjadi

|S( f ; Q) - S(f ;Q 1) - S(f ; Q 2)|≤ 2 M ( x k −x k−1 ,) <ε /3

Tapi karena ¿∨Q1∨¿ < δ ≤ δ ' dan ¿∨Q2∨¿ < δ ≤ δ karena itu

|S( f ;Q 1) - L1∨¿<ε /3 dan |S( f ;Q 2) - L2∨¿<ε /3

dari mana kita memperoleh (7). Karena ε > 0 adalah arbitrer, kami menyimpulkan bahwa f

∈ R [ a ,b ] dan itu (6) memegang.

(=}) Kita mengira bahwa f ∈ R [ a ,b ], mengingat ε > 0, kita membiarkan ŋε memenuhi Cauchy

Kriteria 7.2.1. diberikan f 1 menjadi batasan untuk [a, c] dan biarkan P1 , Q1 diberi tag partisi

Bagian 7.3 Teorema Dasar

Kita akan mengeksplorasi hubungan antara pengertian turunan dan integral

.Sebenarnya ,ada 2 teorema yng berkaitan dengan masalah ini : satu harus dengan
mengintegrasikan turunan , dan yang lainnya membedakan integral. Teorema ini disatukan
disebut teorema dasar kalkulus .Secara kasar dinyatakan mereka menyiratkan bahwa operasi
diferensiasi dan integrasi saling bertentangan. Namun , ada beberapa seluk –beluk yang tidak
boleh diabaikan.

Teorema Dasar ( Bentuk Pertama)

Bentuk pertama dari teorema dasar memberikan dasar teoritis untuk metode perhitungan
integral yang pembaca pelajari dalam kalkukus itu menegaskan bahwa jika suatu fungsi f
b

adalah turunan dari fungsi f , dan jika f memiliki R[a,b] , kemudian integral∫ f dapat
a
b
dihitung dengan cara evaluasi : F | a = F(b)-F(a) fungsi F sedemikian rupa sehingga F’(x) f(x)
untuk semua x∈|a,b| disebut antiderivatif atau primitif dari f di [a,b].

Dengan demikian , ketika f memiliki antiderivatif, ini adalah masalah yang sangat
sederhana untuk menghitung integralnya .

Dalam praktiknya, akan lebih mudah untuk memperoleh beberapa poin luar biasa c
dimana F’(c) tidak ada di R , atau jika sama f (c) . Ternyata kami dapat memperoleh sejumlah
terbatas poin luar biasa tersebut.
7.3.1 Teorema Dasar dari Kalkulus ( Bentuk Pertama)

Misalkan ada set yang terbatas ∈ di[a,b] dan fungsi f:F : [a,b] R, sedemikian rupa
sehingga:

(a) F terus menerus di [a,b]

(b) F’ (x) untuk semua x ∈ [a,b]\ ∈

(c) f memiliki R[a,b]

Maka kita mempunyai

b
(1) ∫ f F(b)-F(a)
a

Bukti :

Kami akan membuktikan teorema dalam kasus dimana ∈{a , b } .Kasus umum dapat
diperoleh dengan memecah interval menjadi gabungan dari sejumlha interval terbatas ( lihat l

Biar ε> 0 diberikan karna ∈ R [a,b] dengan asumsi (c) , disana ada

ε >0 sedemikian rupa sehingga jika p adalah partisi ditandai dengan ||P||<
,kemudian
b

(2) |S (f : p) - ∫f | < ε
a