Teorema Penjumlahan
7.2.9 Teorema Penjumlahan Misal 𝑓 ≔ [𝑎, 𝑏] → ℝ dan misal 𝑐 ∈ (𝑎, 𝑏). maka 𝑓 ∈ ℛ[𝑎, 𝑏]
jika dan hanya jika pembatas untuk [𝑎, 𝑐] dan [𝑐, 𝑏] keduanya Riemann terintegrasi. Pada
kasus ini:
𝒃 𝒄 𝒃
(6) ∫𝒂 𝒇 = ∫𝒂 𝒇 + ∫𝒄 𝒇.
Bukti. (⇐) Misalkan batasannya 𝑓1 dari 𝑓 untuk [𝑎, 𝑐], dan batasannya 𝑓2 dari 𝑓 untuk [𝑐, 𝑏]
adalah Riemann terintegrasi ke 𝐿1 dan 𝐿2 berurutan. Lalu diberikan 𝜀 > 0 ada 𝛿 ′ > 0
sedemikian sehingga jika 𝒫̇1 adalah partisi yang ditandai oleh [𝑎, 𝑐] dengan ||𝒫̇1 || < 𝛿 ′,
maka |𝑆(𝑓1 ; 𝒫̇1 ) − 𝐿1 | < 𝜀/3. Juga ada 𝛿 ′′ > 0 sedemikian sehingga jika 𝒫̇2 adalah partisi
yang ditandai oleh [𝑐, 𝑏] dengan ||𝒫̇2 || < 𝛿 ′′ , maka |𝑆(𝑓2 ; 𝒫̇2 ) − 𝐿2 | < 𝜀/3. Jika 𝑀 batas
untuk |𝑓|, kami mendefinisikan 𝛿𝜀 ≔ min{𝛿 ′ , 𝛿 ′′ , 𝜀/6𝑀} dan misal 𝒫̇ menjadi partisi yang
ditandai oleh [𝑎, 𝑏] dengan ‖Q̇ ‖ < 𝛿. Kami akan membuktikannya
(7) |𝑺(𝒇; 𝑸̇) − (𝑳𝟏 + 𝑳𝟐 )| < 𝜺.
(i) Jika 𝑐 adalah titik partisi dari 𝑄̇ , kami membagi 𝑄̇ menjadi sebuah partisi 𝑄̇1 pada [𝑎, 𝑐]
dan sebuah partisi 𝑄̇2 pada [𝑐, 𝑏]. Karena 𝑆(𝑓; 𝑄̇ ) = 𝑆(𝑓; 𝑄̇1 ) + 𝑆(𝑓; 𝑄̇2 ), dan karena
𝑄̇1 memiliki norma < 𝛿 ′ dan 𝑄̇2 memiliki norma < 𝛿 ′′ , ketidaksetaraan (7) jelas.
𝑚
(ii) Jika 𝑐 adalah bukan titik partisi di 𝑄̇ = {(𝐼𝑘 , 𝑡𝑘 )} , ada 𝑘 ≤ 𝑚 sehingga 𝑐 ∈
𝑘=1
(𝑥𝑘−1 , 𝑥𝑘 ). Kita misalkan 𝑄̇1 menjadi partisi yang ditandai [𝑎, 𝑐]yang didefinisikan oleh
𝑄̇1 = {(𝐼1 , 𝑡1 ), … , (𝐼𝑘−1 , 𝑡𝑘−1 ), (|𝑥𝑘−1 , 𝑐|𝑐)},
Dan 𝑄̇2 menjadi partisi yang ditandai [𝑐, 𝑏] yang didefinisikan oleh
𝑄̇2 = {(|𝑐, 𝑥𝑘 |𝑐), (𝐼𝑘+1 , 𝑡𝑘+1 ), … , (𝐼𝑚 , 𝑡𝑚 )}.
Perhitungan langsung menunjukkan hal itu
𝑆(𝑓; 𝑄̇ ) = 𝑆(𝑓; 𝑄̇1 ) + 𝑆(𝑓; 𝑄̇2 ) = 𝑓(𝑡𝑘 )(𝑥𝑘 − 𝑥𝑘−1 ) − 𝑓(𝑐)(𝑥𝑘 − 𝑥𝑘−1 )
= (𝑓(𝑡𝑘 ) − 𝑓(𝑐)). (𝑥𝑘 − 𝑥𝑘−1 ),
dari mana mengikuti itu
|𝑆(𝑓; 𝑄̇ ) − 𝑆(𝑓; 𝑄̇1 ) − 𝑆(𝑓; 𝑄̇2 )| ≤ 2𝑀(𝑥𝑘 − 𝑥𝑘−1 ) < 𝜀/3.
Tetapi karena ‖𝑄̇1 ‖ < 𝛿 < 𝛿 ′ dan ‖𝑄̇2 ‖ < 𝛿 < 𝛿 ′′ , mengikuti itu
|𝑆(𝑓; 𝑄̇1 ) − 𝐿1 | < 𝜀/3 dan |𝑆(𝑓; 𝑄̇2 ) − 𝐿2 | < 𝜀/3,
dari mana kita memperoleh (7). Karena 𝜀 > 0 adalah arbitrer, kami menyimpulkan bahwa
𝑓 ∈ ℛ [𝑎, 𝑏] dan yang (6) berlaku.
(⇒) kita misalkan 𝑓 ∈ ℛ [𝑎, 𝑏] dan, diberikan 𝜀 > 0, kita misalkan 𝜂𝜀 > 0 memenuhi kriteria
Cauchy 7.2.1.Misal 𝑓1 menjadi batasan untuk [𝑎, 𝑐] dan misal 𝒫̇1 , 𝑄̇1 menjadi partisi yang
ditandai dari [𝑎, 𝑐] dengan ‖𝒫̇1 ‖ < 𝜂𝜀 dan ‖𝑄̇1 ‖ < 𝜂𝜀 . Dengan menambahkan titik partisi
tambahan dan tag dari [𝑐, 𝑏], kami dapat memperluas 𝒫̇1 dan 𝑄̇1 untuk menandai partisi 𝒫̇
dan 𝑄̇ dari [𝑎, 𝑏] memenuhi ‖𝒫̇ ‖ < 𝜂𝜀 dan ‖𝑄̇ ‖ < 𝜂𝜀 . Jika kita menggunakan titik dan tag
tambahan yang sama di [c, b] untuk keduanya 𝒫̇ dan 𝑄̇ , maka
𝑆(𝑓1 ; 𝒫̇1 ) − 𝑆(𝑓1 ; 𝑄̇1 ) = 𝑆(𝑓; 𝒫̇ ) − 𝑆(𝑓; 𝑄̇ ).
Karena kedua partisi 𝒫̇ dan 𝑄̇ memiliki norma 𝜂𝜀 , maka 𝑆(𝑓1 ; 𝒫̇1 ) − 𝑆(𝑓1 ; 𝑄̇1 ) < 𝜀. Oleh
karena itu, Kondisi Cauchy menunjukkan bahwa pembatasan 𝑓1 pada 𝑓 untuk [𝑎, 𝑐] ada di
ℛ [𝑎, 𝑐]. Dalam cara yang sama, kita melihat bahwa pembatasan 𝑓1 pada 𝑓 untuk [𝑐, 𝑏] ada di
R [c, d].
Kesetaraan (6) sekarang mengikuti dari bagian pertama teorema.
Bagian 7.3 Teorema Dasar
Kami sekarang akan mengeksplorasi hubungan antara gagasan derivatif dan integral.
Sebenarnya, ada dua teorema yang berkaitan dengan masalah ini: satu berkaitan dengan
mengintegrasikan turunan, dan yang lainnya dengan membedakan integral. Teorema-teorema
ini, secara bersama-sama, 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 Fundamental (Bentuk Pertama)
Bentuk Pertama dari Teorema Fundamental memberikan dasar teoritis untuk metode
penghitungan integral yang dipelajari pembaca dalam kalkulus. Ini menyatakan bahwa jika
𝑏
suatu fungsi 𝑓 adalah turunan dari fungsi 𝐹, dan jika 𝑓 milik ℛ[𝑎, 𝑏], maka integral ∫𝑎 𝑓
𝑏
dapat dihitung dengan cara evaluasi 𝐹 | ≔ 𝐹(𝑏) − 𝐹(𝑎). Suatu fungsi 𝐹 sedemikian rupa
𝑎
sehingga 𝐹′(𝑥) = 𝑓(𝑥) untuk semua 𝑥 ∈ [𝑎, 𝑏] disebut sebagai antiderivatif atau primitif
𝑓 pada [𝑎, 𝑏]. Jadi, ketika 𝑓 memiliki antiderivatif, adalah hal yang sangat sederhana untuk
menghitung integralnya.
Dalam praktiknya, akan lebih mudah untuk mengizinkan beberapa poin luar biasa 𝑐 di
mana 𝐹 ′ (𝑐) tidak ada dalam ℝ, atau di mana ia tidak sama dengan 𝑓(𝑐). Ternyata kami dapat
mengizinkan sejumlah terbatas poin luar biasa tersebut.
7.3.1 Teorema Dasar Kalkulus (Bentuk Pertama) Misalkan ada himpunan 𝐸 terbatas
dalam [𝑎, 𝑏] dan fungsi 𝑓, 𝐹 ≔ [𝑎, 𝑏] → ℝ sehingga:
(a) 𝐹 kontinu pada [𝑎, 𝑏],
(b) 𝐹 ′ (𝑥) = 𝑓(𝑥) untuk semua 𝑥 ∈ [𝑎, 𝑏]\𝐸,
(c) 𝑓 milik ℛ[𝑎, 𝑏].
Lalu kita punya
𝑏
(1) ∫𝑎 𝑓 = 𝐹(𝑏) − 𝑓(𝑎).
Bukti. Kami akan membuktikan teorema dalam kasus di mana 𝐸 ≔ {𝑎, 𝑏}. Kasus umum
dapat diperoleh dengan memecah interval menjadi gabungan dari sejumlah interval yang
terbatas (lihat Latihan 1).
Misal 𝜀 > 0 diberikan. Karena 𝑓 ∈ ℛ[𝑎, 𝑏] dengan asumsi (c), ada 𝛿𝜀 > 0 sedemikian rupa
sehingga jika 𝒫̇ adalah partisi yang ditandai dengan ‖𝒫̇ ‖ < 𝛿𝜀 , sehingga
𝑏
(2) |𝑆(𝑓; 𝒫̇ ) − ∫𝑎 𝑓 | < 𝜀.
Jika subintervals dalam 𝒫̇ adalah [𝑥𝑖−1 , 𝑥𝑖 ], maka Teorema Nilai Rata-Rata 6.2.4 diterapkan
pada 𝐹 pada [𝑥𝑖−1 , 𝑥𝑖 ] implies bahwa ada 𝑢𝑖 ∈ (𝑥𝑖−1 , 𝑥𝑖 ) sehingga
𝐹(𝑥𝑖 ) − 𝐹(𝑥𝑖−1 ) = 𝐹′(𝑢𝑖 ). (𝑥𝑖 − 𝑥𝑖−1 ) untuk 𝑖 = 1, … , 𝑛.
Jika kita menambahkan istilah-istilah ini, perhatikan teleskop dari penjumlahan, dan gunakan
fakta bahwa 𝐹′(𝑢𝑖 ) = 𝑓(𝑢𝑖 ), kami memperoleh
𝑛 𝑛
Tetapi, karena 𝜀 > 0 arbitrary, kami menyimpulkan bahwa persamaan (1) berlaku.
Remark jika fungsi 𝐹 adalah terdiferensiasi pada setiap titik [𝑎, 𝑏], maka (dengan Teorema
6.1.2) hipotesis (a) secara otomatis dipenuhi. Jika 𝑓 tidak ditentukan untuk beberapa titik 𝑐 ∈
𝐸, kita ambil 𝑓(𝑐) ≔ 0. Bahkan jika 𝐹 diferensiasi pada setiap titik [𝑎, 𝑏], kondisi (c) tidak
terpenuhi secara otomatis, karena ada fungsi 𝐹 sehingga 𝐹′ tidak dapat diintegrasikan
Riemann. (Lihat Contoh 7.3.2 (e).)
1
7.3.2 Contoh (a) jika 𝐹(𝑥) ≔ 2 𝑥 2 untuk semua 𝑥 ∈ [𝑎, 𝑏], sehingga 𝐹 ′(𝑥) = 𝑥 untuk semua
𝑥 ∈ [𝑎, 𝑏]. Selanjutnya, f = F 'adalah kontinu sehingga dalam ℛ[𝑎, 𝑏]. Oleh karena itu,
Teorema Dasar (dengan 𝐸 = ∅) menyiratkan itu
𝑏
1
∫ 𝑥 𝑑𝑥 = 𝐹(𝑏) − 𝐹(𝑎) = (𝑏 2 − 𝑎2 ).
𝑎 2
(b) jika 𝐺(𝑥) ≔ Arctan 𝑥 untuk 𝑥 ∈ [𝑎, 𝑏], sehingga 𝐺′(𝑥) = 1/(𝑥 2 + 1) untuk semua 𝑥 ∈
[𝑎, 𝑏]; juga 𝐺′ kontinu, demikian juga dalam ℛ[𝑎, 𝑏]. Oleh karena itu, Teorema Dasar
(dengan 𝐸 = ∅) menyiratkan itu
𝑏
1
∫ 𝑑𝑥 = Arctan 𝑏 − Arctan 𝑎.
𝑎 𝑥2 +1
(c) jika 𝐴(𝑥) ≔ |𝑥| untuk 𝑥 ∈ [−10, 10], sehingga 𝐴′ (𝑥) = −1 jika 𝑥 ∈ [−10, 0) dan
𝐴′ (𝑥) = +1 untuk 𝑥 ∈ (0, 10]. Mengingat definisi fungsi signum (dalam 4.1.10 (b)), kami
memiliki 𝐴′ (𝑥) = 𝑠𝑔𝑛 (𝑥) untuk semua 𝑥 ∈ [−10, 10]\{0}. Karena fungsi signum adalah
fungsi langkah, itu milik ℛ[−10, 10]. Oleh karena itu, Teorema Dasar (dengan 𝐸 = {0})
menyiratkan hal itu
10
∫ 𝑠𝑔𝑛 (𝑥)𝑑𝑥 = 𝐴(10) − 𝐴(−10) = 10 − 10 = 0.
−10
(d) jika 𝐻(𝑥) ≔ 2√𝑥 untuk 𝑥 ∈ [0, 𝑏], maka 𝐻 kontinu pada [0, 𝑏] dan 𝐻′(𝑥) = 1/√𝑥 untuk
𝑥 ∈ (0, 𝑏]. Karena ℎ ≔ 𝐻 ′ tidak dibatasi pada (0, 𝑏], itu bukan milik ℛ[0, 𝑏] tidak peduli
bagaimana kita mendefinisikan ℎ(0). Oleh karena itu, Teorema Dasar 7.3.1 tidak berlaku.
(Namun, kita akan melihat pada Contoh 10.1.10 (a) bahwa ℎ adalah generalisasi Riemann
yang dapat diintegrasikan pada [0, 𝑏].)
(e) misal 𝐾(𝑥) ≔ 𝑥 2 cos(1/𝑥 2 ) untuk 𝑥 ∈ (0, 1] dan misal 𝐾(0) ≔ 0. Ini mengikuti dari
Aturan Produk 6.1.3 (c) dan Aturan Rantai 6.1.6 itu
𝐾 ′ (𝑥) = 2𝑥 cos(1/𝑥 2 ) + (2/𝑥) sin(1/𝑥 2 ) untuk 𝑥 ∈ (0, 1].
Lebih lanjut, seperti dalam Contoh 6.1.7 (e), dapat ditunjukkan bahwa K '(0) = 0. Dengan
demikian K adalah kontinu dan dapat dibedakan pada setiap titik [0, 1]. Karena dapat dilihat
bahwa fungsi K 'tidak dibatasi pada [0, 1], itu bukan milik ℛ [0, 1] dan Teorema Dasar 7.3.1
tidak berlaku untuk K'. (Namun, kita akan melihat dari Teorema 10.1.9 bahwa K 'adalah
generalisasi Riemann yang dapat diintegrasikan pada [0, 1].)
Teorema Dasar (Bentuk Kedua)
Kami sekarang beralih ke Teorema Fundamental (Bentuk Kedua) di mana kami ingin
membedakan integral yang melibatkan limit atas variabel.
7.3.3 Definisi jika 𝑓 ∈ ℛ[𝑎, 𝑏], maka fungsi didefinisikan oleh
𝑧
(3) 𝐹(𝑧) ≔ ∫𝑎 𝑓 untuk 𝑧 ∈ [𝑎, 𝑏],
disebut integral tak tentu dari 𝑓 dengan basepoint a. (Kadang-kadang titik selain
𝑎 digunakan sebagai basepoint; lihat Latihan 6.)
Pertama-tama kita akan menunjukkan bahwa jika 𝑓 ∈ ℛ[𝑎, 𝑏], maka integral tak
terbatas 𝐹 memenuhi kondisi Lipschitz; maka 𝐹 kontinu pada [𝑎, 𝑏].
7.3.4 Teorema Integral tak terbatas F yang didefinisikan oleh (3) kontinu pada [𝑎, 𝑏]. Jika
tidak benar, jika |𝑓(𝑥)| ≤ 𝑀 untuk semua 𝑥 ∈ [𝑎, 𝑏], maka |𝐹(𝑧) − 𝐹(𝑤)| ≤ 𝑀|𝑧 − 𝑤|
untuk semua 𝑧, 𝑤 ∈ [𝑎, 𝑏].
Bukti. Teorema Additivity 7.2.9 menyiratkan bahwa jika 𝑧, 𝑤 ∈ [𝑎, 𝑏] dan 𝑤 ≤ 𝑧, maka
𝑧 𝑤 𝑧 𝑧
𝐹(𝑧) = ∫ 𝑓 = ∫ 𝑓 + ∫ 𝑓 = 𝐹(𝑤) + ∫ 𝑓,
𝑎 𝑎 𝑤 𝑤
Sekarang jika −𝑀 ≤ 𝑓(𝑥) ≤ 𝑀 untuk semua 𝑥 ∈ [𝑎, 𝑏], maka Teorema 7.1.5 (c)
menyiratkan bahwa
𝑧
−𝑀(𝑧 − 𝑤) ≤ ∫ 𝑓 ≤ 𝑀(𝑧 − 𝑤),
𝑤
Sekarang pada interval [𝑐, 𝑐 + ℎ] fungsi f memenuhi ketimpangan (4), sehingga kita miliki
𝑐+ℎ
(𝑓(𝑐) − 𝜀). ℎ ≤ 𝐹(𝑐 + ℎ) − 𝐹(𝑐) = ∫ 𝑓 ≤ (𝑓(𝑐) + 𝜀). ℎ
𝑐
Jika kita membagi dengan ℎ > 0 dan mengurangi 𝑓 (𝑐), kita memperoleh
𝐹(𝑐 + ℎ) − 𝐹(𝑐)
| − 𝐹(𝑐)| ≤ 𝜀.
ℎ
Tetapi, karena 𝜀 > 0 adalah arbitrer, kami menyimpulkan bahwa limit kanan diberikan oleh
𝐹(𝑐 + ℎ) − 𝐹(𝑐)
lim = 𝐹(𝑐).
𝑥→0+ ℎ
Ini dibuktikan dengan cara yang sama bahwa limit kiri dari selisih perbedaan ini juga sama
dengan 𝑓 (𝑐) ketika 𝑐 ∈ (𝑎, 𝑏], dari mana asersi berikut.
Jika 𝑓 kontinu pada semua [𝑎, 𝑏], kami mendapatkan hasil berikut.
7.3.6 Teorema Jika 𝑓 adalah kontinu pada [𝑎, 𝑏], maka integral 𝐹 yang tidak terbatas,
didefinisikan oleh (3), diferensiasi pada [𝑎, 𝑏] dan 𝐹 ′ (𝑥) = 𝑓(𝑥) untuk semua 𝑥 ∈ [𝑎, 𝑏].
Teorema 7.3.6 dapat diringkas: Jika 𝑓 adalah kontinu pada [𝑎, 𝑏], maka integral tak-
terbatasnya adalah antiderivatif dari 𝑓. Kita sekarang akan melihat bahwa, secara umum,
integral tak-pasti tidak perlu menjadi antiderivatif (baik karena turunannya integral tidak pasti
tidak ada atau tidak sama dengan 𝑓(𝑥)).
7.3.7 Contoh (a) jika 𝑓(𝑥) ≔ 𝑠𝑔𝑛 𝑥 pada [−1,1], maka 𝑓 ∈ ℛ[−1,1] dan memiliki integral
yang tidak terbatas 𝐹(𝑥) ≔ |𝑥| − 1 dengan basepoint − 1. Namun, karena 𝐹 ′(0) tidak ada,
𝐹 bukan merupakan antiderivatif dari 𝑓 pada [− 1, 1].
(b) Jika ℎ menunjukkan fungsi Thomae, dipertimbangkan dalam 7.1.7, maka integralnya
𝑥
tidak terbatas 𝐻(𝑥) ≔ ∫0 ℎ identik dengan 0 pada [0,1]. Di sini, turunan integral integral ini
ada di setiap titik dan 𝐻 ′ (𝑥) = 0. Tetapi 𝐻 ′ (𝑥) ≠ ℎ(𝑥)kapanpun 𝑥 ∈ ℚ ∩ [0,1], sehingga 𝐻
bukan antiderivatif dari ℎ pada [0, 1].
Teorema Substitusi
Teorema berikutnya memberikan pembenaran untuk metode "perubahan variabel" yang
sering digunakan untuk mengevaluasi integral. Teorema ini digunakan (biasanya secara
implisit) dalam evaluasi dengan cara prosedur yang melibatkan manipulasi "perbedaan,"
umum dalam kursus dasar.
7.3.8 Teorema Substitusi misal 𝐽 ≔ [𝛼, 𝛽] dan misal 𝜑: 𝐽 → ℝ memiliki turunan
berkelanjutan pada 1. Jika 𝑓: 𝐼 → ℝ kontinu pada interval 𝐼 yang mengandung 𝜑(𝐽), maka
𝛽 𝜑(𝛽)
(5) ∫𝛼 𝑓(𝜑(𝑡)). 𝜑′ (𝑡)𝑑𝑡 = ∫𝜑(𝛼) 𝑓(𝑥)𝑑𝑥
Bukti teorema ini didasarkan pada Aturan Rantai 6.1.6, dan akan diuraikan dalam Latihan 17.
Hipotesis bahwa 𝑓 dan 𝜑′ kontinu bersifat restriktif, tetapi digunakan untuk memastikan
keberadaan integral Riemann di sebelah kiri. sisi (5).
4 sin √𝑡
7.3.9 Contoh (a) Pertimbangkan integral ∫1 𝑑𝑡.
√𝑡
Di sini kita gantikan 𝜑(𝑡) ≔ √𝑡 untuk 𝑡 ∈ [1,4] sehingga 𝜑 ′ (𝑡) = 1/(2√𝑡) kontinu pada
[1,4]. Jika kita misalkan 𝑓(𝑥) ≔ 2 sin 𝑥, maka integrand memiliki bentuk (𝑓 𝜊 𝜑) ∙ 𝜑′ dan
2
teorema subtitusi 7.3.8 menyiratkan bahwa integral sama dengan ∫1 2 sin 𝑥 𝑑𝑥 =
2
−2 cos 𝑥 | = 2(cos 1 − cos 2).
1
4 sin √𝑡
(b) Pertimbangkan integral ∫0 𝑑𝑡.
√𝑡
Karena 𝜑(𝑡) ≔ √𝑡 tidak memiliki turunan kontinu pada [0,4], Teorema Substitusi 7.3.8
tidak berlaku, setidaknya dengan substitusi ini. (Sebenarnya, tidak jelas bahwa integral ini
ada; namun, kita dapat menerapkan Latihan 7.2.11 untuk mendapatkan kesimpulan ini. Kita
kemudian dapat menerapkan Teorema Dasar 7.3.1 ke 𝐹(𝑡) : = −2 𝑐𝑜𝑠√𝑡 dengan 𝐸: = {0}
untuk mengevaluasi integral ini.)
Kami akan memberikan Teorema Substitusi yang lebih kuat untuk integral Riemann
yang digeneralisasi dalam Bagian 10.1.
Kriteria Integritas Lebesgue
Kami sekarang akan menyajikan pernyataan teorema definitif karena Henri Lebesgue (1875-
1941) memberikan kondisi yang diperlukan dan cukup untuk fungsi agar Riemann dapat
diintegrasikan, dan akan memberikan beberapa aplikasi teorema ini. Untuk menyatakan hasil
ini, kita perlu memperkenalkan gagasan penting tentang set nol.
Peringatan Beberapa orang menggunakan istilah "set nol" sebagai sinonim untuk istilah "set
kosong" atau "set kosong" mengacu pada 0 (= set yang tidak memiliki elemen). Namun, kami
akan selalu menggunakan istilah "set nol" sesuai dengan definisi kami berikutnya, seperti
kebiasaan dalam teori integrasi.
7.3.10 Definisi (a) sebuah himpunan 𝑍 ⊂ ℝ dikatakan sebagai set nol jika untuk setiap 𝜀 > 0
∞
ada koleksi yang dapat dihitung {(𝑎𝑘 , 𝑏𝑘 )} interval terbuka sedemikian rupa sehingga
𝑘=1
(6) 𝑍 ⊆ ⋃∞ ∞
𝑘=1(𝑎𝑘 , 𝑏𝑘 ) dan ∑𝑘=1(𝑏𝑘 − 𝑎𝑘 ) ≤ 𝜀 .
(b) jika 𝑄(𝑥)adalah pernyataan tentang hal itu 𝑥 ∈ 𝐼, kita mengatakan bahwa 𝑄 (𝑥) berlaku
hampir di semua tempat di 𝐼 (atau untuk hampir setiap 𝑥 ∈ 1), jika ada himpuna nol 𝑍 ⊂ 𝐼
sedemikian rupa sehingga 𝑄 (𝑥) berlaku untuk semua 𝑥 ∈ 𝐼 \ 𝑍. Dalam hal ini kita dapat
menulis
𝑄 (𝑥) untuk a.e. 𝑥 ∈ 𝐼
Itu sepele bahwa setiap himpunan bagian dari set nol juga set nol, dan mudah untuk melihat
bahwa penyatuan dua set nol adalah set nol. Kami sekarang akan memberikan contoh yang
mungkin sangat mengejutkan.
7.3.11 Contoh ℚ1 dari bilangan rasional dalam [0, 1] adalah himpunan nol.
Kami menghitung ℚ1 = {𝑟1 , 𝑟2 , … }. Diberikan 𝜀 > 0, perhatikan bahwa interval terbuka 𝐽1 ≔
(𝑟1 − 𝜀/4, 𝑟1 + 𝜀/4) mengandung 𝑟1 dan memiliki panjang 𝜀/2; juga interval terbuka 𝐽2 ≔
(𝑟2 − 𝜀/8, 𝑟2 + 𝜀/8) mengandung 𝑟2 dan memiliki panjang 𝜀/4. Secara umum, interval
terbuka
𝜀 𝜀
𝐽𝑘 ≔ (𝑟𝑘 − , 𝑟𝑘 + )
2𝑘+1 2𝑘+1
berisi titik 𝑟𝑘 dan memiliki panjang 𝜀/2𝑘 . Karena itu, penghimpunan ⋃∞
𝑘=1 𝐽𝑘 interval terbuka
Bukti. Terapkan Integrasi oleh Bagian ke persamaan (9), dengan 𝐹(𝑡) ≔ 𝑓 (𝑛) (𝑡) dan 𝐺(𝑡) ≔
(𝑏 − 𝑡)𝑛 /𝑛!, jadi 𝑔(𝑡) = −(𝑏 − 𝑡)𝑛−1 /(𝑛 − 1)!, mendapatkan
𝑏
1 (𝑛) 𝑡=𝑏 1
𝑅𝑛 = 𝑓 (𝑡). (𝑏 − 𝑡)𝑛−1 | + ∫ 𝑓 (𝑛) (𝑡). (𝑏 − 𝑎)𝑛−1 𝑑𝑡
𝑛! 𝑡 = 𝑎 (𝑛 − 1)! 𝑎
𝑓 (𝑛) (𝑎) 1 𝑏
=− . (𝑏 − 𝑎)𝑛 + ∫ 𝑓 (𝑛) (𝑡). (𝑏 − 𝑡)𝑛−1 𝑑𝑡.
𝑛! (𝑛 − 1)! 𝑎
Jika kita terus berintegrasi dengan bagian-bagian dengan cara ini, kita memperoleh (8).