Lompat ke isi

Integral Riemann: Perbedaan antara revisi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Konten dihapus Konten ditambahkan
MerlIwBot (bicara | kontrib)
Nur Sifatullah (bicara | kontrib)
Fitur saranan suntingan: 3 pranala ditambahkan.
 
(20 revisi perantara oleh 10 pengguna tidak ditampilkan)
Baris 1: Baris 1:
{{Short description|}}
{{terjemah|Inggris}}
[[Berkas:Integral as region under curve.svg|thumb|right|Integral sebagai luas daerah pada bagian bawah kurva.]]
[[Berkas:Riemann integral regular.gif|thumb|right|Urutan jumlah Riemann pada partisi reguler dari suatu interval. Bilangan diatas adalah total luas persegi panjang, yang konvergensinya ke integral fungsi.]]
[[Berkas:Riemann integral irregular.gif|thumb|right|Partisi tidak harus reguler, seperti yang ditunjukkan dibagian ini. Aproksimasi bekerja selama lebar setiap sub-pembagian cenderung ke nol.]]
{{Kalkulus|Integral}}


Dalam cabang [[matematika]] yang disebut juga sebagai [[analisis real]], '''integral Riemann''', yang dibuat oleh [[Bernhard Riemann]], adalah definisi bagian pertama suatu [[integral]] dari [[fungsi (matematika)|fungsi]] terhadap [[selang (matematika)|selang]]. Hal tersebut dipresentasikan ke fakultas di [[Universitas Göttingen]] pada tahun 1854, namun tidak diterbitkan dalam jurnal sampai tahun 1868.<ref>Integral Riemann diperkenalkan dalam makalah Bernhard Riemann "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (terjemahan: Tentang keterwakilan suatu fungsi oleh deret trigonometri; yaitu, ketika suatu fungsi diwakili oleh deret trigonometri). Makalah ini diajukan ke Universitas Göttingen pada tahun 1854 sebagai ''Habilitationsschrift'' oleh Riemann (kualifikasi untuk menjadi instruktur). Yang diterbitkan pada tahun 1868 di ''Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen'' (Prosiding Royal Philosophical Society di Göttingen), vol. 13, halaman 87-132. (Tersedia online [https://books.google.com/books?id=PDVFAAAAcAAJ&pg=RA1-PA87 disini].) Untuk definisi Riemann tentang integralnya, lihat bagian 4, "Über den Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (terjemahan: Tentang konsep integral tertentu dan tingkatan validitasnya), halaman 101-103.</ref> Untuk banyak fungsi dan aplikasi praktis, integral Riemann dievaluasikan dengan [[teorema dasar kalkulus]] maupun dengan [[integrasi numerik]].


Integral Riemann tidak cocok untuk banyak tujuan teoretis. Beberapa kekurangan teknis dalam integral Riemann diperbaiki dengan [[integral Riemann–Stieltjes]], dan sebagian besar menghilang dengan [[integral Lebesgue]], meskipun yang terakhir tidak memiliki perlakuan yang memuaskan untuk [[integral takwajar]]. [[Integral Henstock–Kurzweil]] adalah generalisasi integral Lebesgue yang sekaligus lebih dekat ke integral Riemann. Teori-teori yang lebih umum ini memungkinkan integrasi fungsi yang lebih "bergerigi" atau "sangat berosilasi" pada bagian integral Riemann yang tidak ada; tetapi teori memberikan nilai yang sama dengan integral Riemann jika memang ada.
'''Integral Riemann''', dalam cabang [[matematika]] yang dikenal sebagai [[analisis riil]], merupakan definisi ketat pertama integral sebuah fungsi dalam sebuah selang. Meskipun integral Riemann tidak cocok untuk banyak kegunaan teoretis, integral ini merupakan salah satu integral yang paling mudah untuk didefinisikan. Sebagian kekurangan teknis ini dapat diperbaiki oleh [[integral Riemann-Stieltjes]], dan kebanyakan tidak ada lagi pada [[integral Lebesgue]].


Dalam pengaturan pendidikan, [[integral Darboux]] menawarkan definisi yang lebih sederhana dan yang lebih mudah digunakan; biasanya digunakan untuk memperkenalkan integral Riemann. Integral Darboux didefinisikan setiap kali pada integral Riemann, dan selalu memberikan hasil yang sama. Sebaliknya, [[integral Henstock–Kurzweil]] adalah generalisasi integral Riemann yang sederhana namun lebih kuat dan telah mengarahkan beberapa pendidik untuk menganjurkan bahwa hal itu harus menggantikan integral Riemann dalam kursus kalkulus pengantar.<ref>{{cite web|title=An Open Letter to Authors of Calculus Books|url=https://math.vanderbilt.edu/schectex/ccc/gauge/letter/|access-date=27 Februari 2014}}</ref>
[[Berkas:Integral as region under curve.svg|thumb|right|Integral sebagai luas daerah di bawah kurva.]]


== Tinjauan umum ==
== Ikhtisar ==
Misalkan ''f'' adalah fungsi [[bilangan riil|riil]] pada selang [''a'', ''b''], dan misalkan ''S'' = { (''x'', ''y''| 0 < ''y'' < ''f''(''x'')} merupakan daerah di bawah grafik fungsi ''f'' dan di antara selang [''a'', ''b'']. Kita ingin mengukur luas daerah ''S''. Bila kita telah mengukurnya, kita akan melambangkan daerah tersebut sebagai:


Misalkan <math>f</math> merupakan fungsi bernilai [[bilangan real|real]] taknegatif pada interval <math>[a,b]</math>, dan misalnya
:<math>\int_{a}^{b}f(x)\,dx.</math>


:<math>S = \left \{ (x, y) \, : \ a \leq x \leq b, 0 < y < f(x) \right \}</math>
Gagasan dasar integral Riemann adalah menggunakan hampiran yang sangat sederhana untuk daerah ''S''. Dengan mengambil hampiran yang semakin baik, kita dapat mengatakan "dalam limitnya" kita mendapatkan luas daerah ''S'' di bawah kurva.


sebagai wilayah bidang bawah pada grafik fungsi <math>f</math> dan atas interval <math>[a,b]</math> (lihat gambar pada bagian kanan atas). Apabila tertarik untuk mengukur luas <math>S</math>. Setelah mengukurnya, kita akan menunjukkan luas dengan:
Perhatikan bahwa bila ''ƒ'' bisa bernilai baik positif atau negatif, integral tersebut terkait dengan ''daerah bertanda'' di bawah grafik ''ƒ'', yaitu luas daerah di atas sumbu-''x'' dikurangi luas daerah di bawah sumbu-''x''.


:<math>\int_{a}^{b}f(x)\,\mathrm dx</math>.
[[Berkas:Riemann.gif|thumb|right|Barisan jumlahan Riemann. Bilangan di kanan atas adalah luas daerah persegi panjang abu-abu, yang konvergen terhadap integral fungsi tersebut]]


Ide dasar integral Riemann adalah menggunakan pendekatan yang sederhana untuk luas <math>S</math>. Dengan mengambil aproksimasi yang lebih baik dan lebih baik, kita mengatakan bahwa "dalam batas" kita mendapatkan luas <math>S</math> yang tepat pada bagian bawah kurva.
<!-- sembunyikan dulu
== Overview ==
Let <math>f</math> be a non-negative [[real numbers|real]]-valued function of the interval <math>[a,b]</math>, and let <math>S = \{ (x, y) | 0 < y < f(x) \}</math> be the region of the plane under the graph of the function <math>f</math> and above the interval <math>[a,b]</math> (see the figure on the top right). We are interested in measuring the area of <math>S</math>. Once we have measured it, we will denote the area by:


Dimana <math>f</math> keduanya bisa menjadi positif dan negatif, definisi <math>S</math> dimodifikasi, sehingga integralnya sesuai dengan ''luas bertanda'' pada bagian bawah grafik <math>f</math>: yaitu, luas atas sumbu-<math>x</math> dikurangi luas bawah sumbu-<math>x</math>.
:<math>\int_{a}^{b}f(x)\,dx.</math>


== Definisi ==
The basic idea of the Riemann integral is to use very simple approximations for the area of <math>S</math>. By taking better and better approximations, we can say that "in the limit" we get exactly the area of <math>S</math> under the curve.


=== Partisi selang ===
Note that where ''ƒ'' can be both positive and negative, the integral corresponds to ''signed area'' under the graph of ''ƒ''; that is, the area above the ''x''-axis minus the area below the ''x''-axis.


Sebuah [[partisi selang]] <math>[a,b]</math> adalah barisan bilangan hingga berbentuk


:<math>a = x_0 < x_1 < x_2 < \dots < x_n = b</math>


Setiap {{math|[''x<sub>i</sub>'', ''x''<sub>''i'' + 1</sub>]}} disebut '''sub-selang''' dari partisi. '''Jaring''' atau '''norma''' partisi didefinisikan sebagai panjang sub-selang terpanjang, yaitu,
== Definition ==
=== Partitions of an interval ===


:<math>\max \left(x_{i+1}-x_i\right), \quad i \in [0,n-1]</math>.
A [[partition of an interval]] <math>[a,b]</math> is a finite sequence <math>a = x_0 < x_1 < x_2 < \cdots < x_n = b</math>. Each <math>[x_i, x_{i+1}]</math> is called a ''subinterval'' of the partition. The ''mesh'' of a partition is defined to be the length of the longest subinterval <math>[x_i,x_{i+1}]</math>, that is, it is <math>\max (x_{i+1}-x_i)</math> where <math>0 \le i \le n - 1</math>. It is also called the ''norm'' of the partition.


A ''tagged partition of an interval'' is a partition of an interval together with a finite sequence of numbers <math>t_0, \ldots, t_{n-1}</math> subject to the conditions that for each <math>i</math>, <math>x_i \le t_i \le x_{i+1}</math>. In other words, it is a partition together with a distinguished point of every subinterval. The mesh of a tagged partition is the same as that of an ordinary partition.
Partisi tanda <math>P(x,t)</math> dari suatu interval <math>[a,b]</math> adalah partisi bersama dengan barisan bilangan hingga <math>t_0,\dots,t_{n-1}</math> bersubjek pada syarat bahwa untuk setiap <math>i</math>, <math>t_i \in [x_i, x_{i+1}]</math>. Dengan kata lain, itu adalah partisi bersama dengan titik yang dibedakan dari setiap sub-selang. Jaring partisi yang diberi tag sama dengan partisi biasa.


Suppose that <math>x_0,\ldots,x_n</math> together with <math>t_0,\ldots,t_{n-1}</math> are a tagged partition of <math>[a, b]</math>, and that <math>y_0,\ldots,y_m</math> together with <math>s_0,\ldots,s_{m-1}</math> are another tagged partition of <math>[a,b]</math>. We say that <math>y_0,\ldots,y_m</math> and <math>s_0,\ldots,s_{m-1}</math> together are a ''refinement'' of <math>x_0,\ldots,x_n</math> together with <math>t_0,\ldots,t_{n-1}</math> if for each integer <math>i</math> with <math>0 \le i \le n</math>, there is an integer <math>r(i)</math> such that <math>x_i = y_{r(i)}</math> and such that <math>t_i = s_j</math> for some <math>j</math> with <math>r(i) \le j \le r(i+1) - 1</math>. (It is not correct to allow <math>j</math> to equal <math>r(i+1)</math> because <math>s_{r(i+1)}</math> is greater than or equal to <math>x_{i+1}</math>.) Said more simply, a refinement of a tagged partition takes the starting partition and adds more tags, but does not take any away.
Misalkan dua partisi <math>P(x,t)</math> dan <math>Q(y,s)</math> keduanya merupakan partisi dari interval <math>[a,b]</math>. Bahwa <math>Q(y,s)</math> adalah '''penghalusan''' dari <math>P(x,t)</math> jika untuk setiap bilangan bulat <math>i</math>, dengan <math>i\in[0,n]</math> adalah bilangan bulat <math>r(i)</math> sehingga <math>x_i = y_{r(i)}</math> dan sehingga <math>t_i = s_j</math> untuk suatu <math>j</math> dengan <math>j \in [r(i), r(i+1)] </math>. Dengan lebih sederhana, penghalusan partisi tanda memecahkan beberapa sub-selang dan menambahkan tanda ke partisi (jika perlu), sehingga "penghalus" sebagai keakuratan partisi.


Maka, kita dapat mengubah himpunan semua partisi tanda menjadi [[himpunan berarah]] dengan satu partisi tanda besar lebih dari atau sama dengan yang lain jika yang pertama adalah penghalusan dari yang terakhir.
We can define a [[partial order]] on the set of all tagged partitions by saying that one tagged partition is bigger than another if the bigger one is a refinement of the smaller one.


=== Riemann sums ===
=== Jumlah Riemann ===
Choose a real-valued function <math>f</math> which is defined on the interval <math>[a,b]</math>. The ''[[Riemann sum]]'' of <math>f</math> with respect to the tagged partition <math>x_0,\ldots,x_n</math> together with <math>t_0,\ldots,t_{n-1}</math> is:
Misalkan <math>f</math> adalah fungsi bernilai real yang didefinisikan pada interval <math>[a,b]</math>. [[Jumlah Riemann]] dari <math>f</math> berhubung dengan partisi tanda <math>x_0,\dots,x_n</math> bersama dengan <math>t_0,\dots,t_{n-1}</math> adalah<ref>{{cite book|author=Krantz|first=Steven G.|author-link=Steven G. Krantz|title=Real Analysis and Foundations|publisher=CRC Press| year=1991| page=173| url=https://books.google.com/books/about/Real_Analysis_and_Foundations.html?id=OI-0vu1rb7MC&pg=PA173}}; {{cite book|title=2005 edition| isbn= 9781584884835}}</ref>


:<math>\sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i).</math>
:<math>\sum_{i=0}^{n-1} f(t_i) \left(x_{i+1}-x_i\right)</math>.


Each term in the sum is the product of the value of the function at a given point and the length of an interval. Consequently, each term represents the area of a rectangle with height <math>f(t_i)</math> and length <math>x_{i+1}-x_i</math>. The Riemann sum is the signed area under all the rectangles.
Setiap istilah dalam jumlah adalah darab dari nilai fungsi pada titik tertentu dan panjang interval. Akibatnya, setiap istilah mewakili luas (bertanda) persegi panjang dengan tinggi <math>f(t_i)</math> dan lebar <math>x_{i+1} - x_i</math>. Jumlah Riemann adalah luas (bertanda) dari semua persegi panjang.


Konsep yang terkait adalah ''jumlah Darboux bawah dan atas''. Ini mirip seperti dengan jumlah Riemann, namun tanda diganti dengan [[infimum dan supremum]] (masing-masing) dari {{mvar|f}} untuk setiap sub-selang:
=== Riemann integral ===


:<math>\begin{align}
Loosely speaking, the Riemann integral is the limit of the Riemann sums of a function as the partitions get finer. If the limit exists then the function is said to be '''integrable''' (or more specifically '''Riemann-integrable'''). The Riemann sum can be made as close as desired to the Riemann integral by making the partition fine enough.
L(f, P) &= \sum_{i=0}^{n-1} \inf_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i) \\
U(f, P) &= \sum_{i=0}^{n-1} \sup_{t \in [x_i, x_{i+1}]} f(t)(x_{i+1} - x_i)
\end{align}</math>


Jika <math>f</math> adalah kontinu, maka jumlah Darboux bawah dan atas untuk partisi tak-bertanda sama dengan jumlah Riemann untuk partisi itu, dimana tanda dipilih sebagai minimum atau maksimum (masing-masing) <math>f</math> pada setiap sub-selang? Ketika <math>f</math> terputus dengan sub-selang, mungkin tidak ada tanda yang mencapai infimum atau supremum pada sub-selang tersebut. [[Integral Darboux]] yang mirip dengan integral Riemann tetapi berdasarkan jumlah Darboux, setara dengan integral Riemann.
One important fact is that the mesh of the partitions must become smaller and smaller, so that in the limit, it is zero. If this were not so, then we would not be getting a good approximation to the function on certain subintervals. In fact, this is enough to define an integral. To be specific, we say that the Riemann integral of ƒ equals ''s'' if the following condition holds:


=== {{anchor|Terintegrasi-Riemann}} Integral Riemann ===
:For all ε&nbsp;>&nbsp;0, there exists δ&nbsp;>&nbsp;0 such that for any tagged partition <math>x_0,\ldots,x_n</math> and <math>t_0,\ldots,t_{n-1}</math> whose mesh is less than δ, we have
Secara khusus, integral Riemann adalah limit dari jumlah Riemann dari suatu fungsi ketika partisi menjadi halus. Apabila limitnya ada, maka fungsi tersebut dikatakan '''terintegrasi''' (atau lebih spesifik '''terintegrasi-Riemann'''). Jumlah Riemann dapat dibuat sedekat yang diinginkan dengan integral Riemann dengan membuat partisi halus.<ref>{{Cite book|last=Taylor|first=Michael E.|author-link=Michael E. Taylor|title=Measure Theory and Integration| publisher=American Mathematical Society|year=2006|isbn=9780821872468|page=1|url=https://books.google.com/books?id=P_zJA-E5oe4C&pg=PA1}}</ref>


Salah satu persyaratan penting adalah bahwa hubungan partisi menjadi lebih kecil dan lebih kecil, sehingga dalam limitnya adalah nol. Jika tidak demikian, maka kita tidak akan mendapatkan aproksimasi yang baik untuk fungsi pada sub-selang tertentu. Sebenarnya, hal ini cukup untuk mendefinisikan integral. Untuk lebih spesifik, dengan menyatakan bahwa integral Riemann dari <math>f</math> sama dengan <math>s</math> jika kondisi berikut berlaku:
:<math>\left|\sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) - s\right| < \varepsilon.</math>


<blockquote>Untuk semua <math>\varepsilon > 0</math>, terdapat <math>\delta > 0</math> sehingga untuk [[Partisi dari sebuah interval|partisi bertanda]] <math>x_0,\dots,x_n</math> dan <math>t_0,\dots,t_{n-1}</math> yang hubungannya kurang dari <math>\delta</math>, maka
However, there is an unfortunate problem with this definition: it is very difficult to work with. So we will make an alternate definition of the Riemann integral which is easier to work with, then prove that it is the same as the definition we have just made. Our new definition says that the Riemann integral of ƒ equals ''s'' if the following condition holds:


:<math>\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon</math>.</blockquote>
:For all ε&nbsp;>&nbsp;0, there exists a tagged partition <math>x_0,\ldots,x_n</math> and <math>t_0,\ldots,t_{n-1}</math> such that for any refinement <math>y_0,\ldots,y_m</math> and <math>s_0,\ldots,s_{m-1}</math> of <math>x_0,\ldots,x_n</math> and <math>t_0,\ldots,t_{n-1}</math>, we have


Sayangnya, definisi ini sangat sulit digunakan. Hal ini akan membantu untuk mengembangkan definisi yang setara dari integral Riemann yang lebih mudah untuk dikerjakan. Kita mengembangkan definisi ini sekarang, dengan bukti kesetaraan berikut. Definisi baru kita mengatakan bahwa integral Riemann dari <math>f</math> sama dengan <math>s</math> jika syarat berikut berlaku:
:: <math>\left|\sum_{i=0}^{m-1} f(s_i) (y_{i+1}-y_i) - s\right| < \varepsilon.</math>


<blockquote>Untuk semua <math>\varepsilon > 0</math>, terdapat partisi bertanda <math>y_0,\dots,y_m</math> dan <math>r_0,\dots,r_{m-1}</math> sehingga untuk setiap partisi bertanda <math>x_0,\dots,x_n</math> dan <math>t_0,\dots,t_{n-1}</math> yang merupakan penghalusan dari <math>y_0,\dots,y_m</math> dan <math>r_0,\dots,r_{m-1}</math>, kita mempunyai
Both of these mean that eventually, the Riemann sum of ƒ with respect to any partition gets trapped close to ''s''. Since this is true no matter how close we demand the sums be trapped, we say that the Riemann sums converge to ''s''. These definitions are actually a special case of a more general concept, a [[net (mathematics)|net]].


: <math>\left| \left( \sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) \right) - s\right| < \varepsilon.</math></blockquote>
As we stated earlier, these two definitions are equivalent. In other words, ''s'' works in the first definition if and only if ''s'' works in the second definition. To show that the first definition implies the second, start with an ε, and choose a δ that satisfies the condition. Choose any tagged partition whose mesh is less than δ. Its Riemann sum is within ε of ''s'', and any refinement of this partition will also have mesh less than δ, so the Riemann sum of the refinement will also be within ε of ''s''. To show that the second definition implies the first, it is easiest to use the [[Darboux integral]]. First one shows that the second definition is equivalent to the definition of the Darboux integral; for this see the page on Darboux integration. Now we will show that a Darboux integrable function satisfies the first definition. Fix ε, and choose a partition <math>y_0, \ldots, y_m</math> such that the lower and upper Darboux sums with respect to this partition are within ε/2 of the value ''s'' of the Darboux integral. Let ''r'' equal the [[supremum]] of |ƒ(''x'')| on [''a'',''b'']. If ''r''&nbsp;=&nbsp;0, then ƒ is the zero function, which is clearly both Darboux and Riemann integrable with integral zero. Therefore we will assume that ''r''&nbsp;>&nbsp;0. If ''m''&nbsp;>&nbsp;1, then we choose δ to be less than both ε/2''r''(''m''&nbsp;−&nbsp;1) and <math>\min_{0 \le i \le m-1} y_{i+1}-y_i</math>. If ''m''&nbsp;=&nbsp;1, then we choose δ to be less than one. Choose a tagged partition <math>x_0,\ldots,x_n</math> and <math>t_0,\ldots,t_{n-1}</math>. We must show that the Riemann sum is within ε of ''s''.


Pada akhirnya, kedua hal ini berarti bahwa jumlah Riemann dari <math>f</math> berhubung dengan setiap partisi akan terungkap dekat <math>s</math>. Karena ini benar maupun tidak peduli seberapa dekat kita menuntut jumlah terungkap, kita mengatakan bahwa jumlah Riemann konvergen ke <math>s</math>. Definisi ini sebenarnya merupakan kasus khusus dari konsep yang lebih umum yaitu sebuah [[jaring (matematika)|jaring]].
To see this, choose an interval [''x''<sub>''i''</sub>,&nbsp;''x''<sub>''i''&nbsp;+&nbsp;1</sub>]. If this interval is contained within some [''y''<sub>''j''</sub>,&nbsp;''y''<sub>''j''&nbsp;+&nbsp;1</sub>], then the value of ƒ(''t''<sub>''i''</sub>) is between ''m''<sub>''j''</sub>, the [[infimum]] of ƒ on [''y''<sub>''j''</sub>,&nbsp;''y''<sub>''j''&nbsp;+&nbsp;1</sub>], and ''M''<sub>''j''</sub>, the supremum of ƒ on [''y''<sub>''j''</sub>,&nbsp;''y''<sub>''j''&nbsp;+&nbsp;1</sub>]. If all intervals had this property, then this would conclude the proof, because each term in the Riemann sum would be bounded a corresponding term in the Darboux sums, and we chose the Darboux sums to be near ''s''. This is the case when ''m''&nbsp;=&nbsp;1, so the proof is finished in that case. Therefore we may assume that ''m''&nbsp;>&nbsp;1. In this case, it is possible that one of the [''x''<sub>''i''</sub>, ''x''<sub>''i'' + 1</sub>] is not contained in any [''y''<sub>''j''</sub>,&nbsp;''y''<sub>''j''&nbsp;+&nbsp;1</sub>]. Instead, it may stretch across two of the intervals determined by <math>y_0, \ldots, y_m</math>. (It cannot meet three intervals because δ is assumed to be smaller than the length of any one interval.) In symbols, it may happen that
:<math>y_j < x_i < y_{j+1} < x_{i+1} < y_{j+2}.</math>
(We may assume that all the inequalities are strict because otherwise we are in the previous case by our assumption on the length of δ.) This can happen at most ''m''&nbsp;−&nbsp;1 times. To handle this case, we will estimate the difference between the Riemann sum and the Darboux sum by subdividing the partition <math>x_0,\ldots,x_n</math> at ''y''<sub>''j''&nbsp;+&nbsp;1</sub>. The term ƒ(''t''<sub>''i''</sub>)(''x''<sub>''i''</sub>&nbsp;−&nbsp;''x''<sub>''i''&nbsp;+&nbsp;1</sub>) in the Riemann sum splits into two terms:


Seperti yang kita nyatakan sebelumnya, kedua definisi ini adalah ekuivalen. Dengan kata lain, <math>s</math> berfungsi dalam definisi pertama jika dan hanya jika <math>s</math> berfungsi dalam definisi kedua. Untuk menunjukkan bahwa definisi pertama menyatakan definisi kedua, mulailah dengan <math>\varepsilon</math>, dan pilih <math>\delta</math> yang memenuhi kondisi. Pilih partisi bertanda yang hubungannya kurang dari <math>\delta</math>. Jumlah Riemann-nya berada dalam <math>\varepsilon</math> dari <math>s</math>, dan setiap penghalusan dari partisi ini juga akan memiliki hubungan kurang dari <math>\delta</math>, jadi jumlah Riemann dari penghalusan juga akan berada dalam <math>\varepsilon</math> dari <math>s</math>.
:<math>f(t_i)(x_i - x_{i+1}) = f(t_i)(x_i - y_{j+1}) + f(t_i)(y_{j+1} - x_{i+1}). \, </math>


Untuk menunjukkan bahwa definisi kedua menyatakan definisi pertama, paling mudah menggunakan [[integral Darboux]]. Pertama, satu menunjukkan bahwa definisi kedua setara dengan definisi integral Darboux; untuk ini lihat artikel [[integral Darboux]]. Sekarang kita akan menunjukkan bahwa fungsi integral Darboux memenuhi definisi pertama. Menetapkan <math>\varepsilon</math>, dan pilih partisi <math>y_0,\dots,y_m</math> sehingga jumlah Darboux bawah dan atas sehubungan dengan partisi ini berada dalam <math>\varepsilon/2</math> dari nilai <math>s</math> integral Darboux. Maka
Suppose that ''t''<sub>''i''</sub>&nbsp;∈&nbsp;[''x''<sub>''i''</sub>,&nbsp;''x''<sub>''i''&nbsp;+&nbsp;1</sub>]. Then ''m''<sub>''j''</sub>&nbsp;≤&nbsp;ƒ(''t''<sub>''i''</sub>)&nbsp;≤&nbsp;''M''<sub>''j''</sub>, so this term is bounded by the corresponding term in the Darboux sum for ''y''<sub>''j''</sub>. To bound the other term, notice that ''y''<sub>''j''&nbsp;+&nbsp;1</sub>&nbsp;−&nbsp;''x''<sub>''i''&nbsp;+&nbsp;1</sub> is smaller than δ, and δ is chosen to be smaller than ε/2''r''(''m''&nbsp;−&nbsp;1), where ''r'' is the supremum of |ƒ(''x'')|. It follows that the second term is smaller than ε/2(''m''&nbsp;−&nbsp;1). Since this happens at most ''m''&nbsp;−&nbsp;1 times, the total of all the terms which are not bounded by the Darboux sum is at most ε/2. Therefore the distance between the Riemann sum and ''s'' is at most ε.


:<math> r = 2\sup_{x \in [a, b]} |f(x)|</math>.
== Examples ==


Let <math>f:[0,1] \rightarrow \mathbb{R}</math> be the function which takes the value 1 at every point. Any Riemann sum of <math>f</math> on <math>[0,1]</math> will have the value 1, therefore the Riemann integral of <math>f</math> on <math>[0,1]</math> is 1.
Jika <math>r=0</math>, maka <math>f</math> adalah fungsi nol, yang jelas merupakan integral Darboux dan Riemann dengan integral nol. Oleh karena itu, kita akan mengasumsikan bahwa <math>r>0</math>. Jika <math>m>1</math>, maka kita memilih <math>\delta</math> sehingga


:<math>\delta < \min \left \{\frac{\varepsilon}{2r(m-1)}, \left(y_1 - y_0\right), \left(y_2 - y_1\right), \cdots, \left(y_m - y_{m-1}\right) \right \}</math>
Let <math>I_{\mathbb{Q}}:[0,1] \rightarrow \mathbb{R}</math> be the [[indicator function]] of the rational numbers in <math>[0, 1]</math>; that is, <math>I_{\mathbb{Q}}</math> takes the value 1 on rational numbers and 0 on irrational numbers. This function does not have a Riemann integral. To prove this, we will show how to construct tagged partitions whose Riemann sums get arbitrarily close to both zero and one.


Jika <math>m=1</math>, maka kita memilih <math>\delta</math> kurang dari satu. Pilih partisi bertanda <math>x_0,\dots,x_n</math> dan <math>t_0,\dots,t_{n-1}</math> dengan hubungan lebih kecil dari <math>\delta</math>. Kita harus menunjukkan bahwa jumlah Riemann berada dalam <math>\varepsilon</math> dari <math>s</math>.
To start, let <math>x_0, \ldots, x_n</math> and <math>t_0, \ldots, t_{n-1}</math> be a tagged partition (each <math>t_i</math> is between <math>x_i</math> and <math>x_{i+1}</math>). Choose <math>\epsilon > 0</math>. The <math>t_i</math> have already been chosen, and we can't change the value of <math>f</math> at those points. But if we cut the partition into tiny pieces around each <math>t_i</math>, we can minimize the effect of the <math>t_i</math>. Then, by carefully choosing the new tags, we can make the value of the Riemann sum turn out to be within <math>\epsilon</math> of either zero or one—our choice!


Untuk melihat ini, pilih selang <math>[x_i,x_{i+1}]</math>. Jika selang ini terdapat dalam beberapa <math>[y_j,y_{j+1}]</math>, maka
Our first step is to cut up the partition. There are <math>n</math> of the <math>t_i</math>, and we want their total effect to be less than <math>\epsilon</math>. If we confine each of them to an interval of length less than <math>\epsilon/n</math>, then the contribution of each <math>t_i</math> to the Riemann sum will be at least <math>(0\cdot\epsilon)/n</math> and at most <math>(1\cdot\epsilon)/n</math>. This makes the total sum at least zero and at most <math>\epsilon</math>. So let <math>\delta</math> be a positive number less than <math>\epsilon/n</math>. If it happens that two of the <math>t_i</math> are within <math>\delta</math> of each other, choose <math>\delta</math> smaller. If it happens that some <math>t_i</math> is within <math>\delta</math> of some <math>x_j</math>, and <math>t_i</math> is not equal to <math>x_j</math>, choose <math>\delta</math> smaller. Since there are only finitely many <math>t_i</math> and <math>x_j</math>, we can always choose <math>\delta</math> sufficiently small.


:<math> m_j < f(t_i) < M_j</math>
Now we add two cuts to the partition for each <math>t_i</math>. One of the cuts will be at <math>t_i - \delta/2</math>, and the other will be at <math>t_i + \delta/2</math>. If one of these leaves the interval <math>[0,1]</math>, then we leave it out. <math>t_i</math> will be the tag corresponding to the subinterval <math>[t_i - \delta/2,t_i + \delta/2]</math>. If <math>t_i</math> is directly on top of one of the <math>x_j</math>, then we let <math>t_i</math> be the tag for both <math>[t_i - \delta/2,x_j]</math> and <math>[x_j,t_i + \delta/2]</math>. We still have to choose tags for the other subintervals. We will choose them in two different ways. The first way is to always choose a rational point, so that the Riemann sum is as large as possible. This will make the value of the Riemann sum at least <math>1-\epsilon</math>. The second way is to always choose an irrational point, so that the Riemann sum is as small as possible. This will make the value of the Riemann sum at most <math>\epsilon</math>.


dimana <math>m_j</math> dan <math>M_j</math>, infimum dan supremum dari <math>f</math> pada <math>[y_j, y_{j+1}]</math>. Jika semua selang memiliki sifat ini, maka ini akan menyimpulkan buktinya, karena setiap suku dalam jumlah Riemann akan dibatasi oleh suku yang bersesuaian dalam jumlah Darboux, dan kita memilih jumlah Darboux yang mendekati <math>s</math>. Ini adalah kasus ketika <math>m=1</math> menjadi bukti yang selesai dalam kasus itu.
Since we started from an arbitrary partition and ended up as close as we wanted to either zero or one, it is false to say that we are eventually trapped near some number <math>s</math>, so this function is not Riemann integrable. However, it is [[Lebesgue integral|Lebesgue integrable]]. In the Lebesgue sense its integral is zero, since the function is zero [[almost everywhere]]. But this is a fact that is beyond the reach of the Riemann integral.


Oleh karena itu, kita dapat mengasumsikan <math>m>1</math>. Dalam hal ini, mungkin salah satu dari <math>[x_i,x_{i+1}]</math> tidak terkandung dalam {{math|[''y<sub>j</sub>'', ''y''<sub>''j'' + 1</sub>]}}. Sebaliknya, hal tersebut mungkin membentang dua selang yang ditentukan oleh <math>y_0,\dots,y_m</math>. Hal itu tidak dapat memenuhi tiga interval karena <math>\delta</math> diasumsikan lebih kecil dari panjang salah satu interval. Dalam simbol, maka
There are even worse examples. <math>I_{\mathbb{Q}}</math> is equivalent (that is, equal almost everywhere) to a Riemann integrable function, but there are non-Riemann integrable bounded functions which are not equivalent to any Riemann integrable function. For example, let ''C'' be the [[Smith–Volterra–Cantor set]], and let ''I''<sub>''C''</sub> be its indicator function. Because ''C'' is not [[Jordan measure|Jordan measurable]], ''I''<sub>''C''</sub> is not Riemann integrable. Moreover, no function ''g'' equivalent to ''I''<sub>''C''</sub> is Riemann integrable: ''g'', like ''I''<sub>''C''</sub>, must be zero on a dense set, so as in the previous example, any Riemann sum of ''g'' has a refinement which is within ε of 0 for any positive number ε. But if the Riemann integral of ''g'' exists, then it must equal the Lebesgue integral of ''I''<sub>''C''</sub>, which is 1/2. Therefore ''g'' is not Riemann integrable.


:<math>y_j < x_i < y_{j+1} < x_{i+1} < y_{j+2}</math>.
== Similar concepts ==


Kita berasumsi bahwa semua pertidaksamaan ketat karena jika tidak, kita berada dalam kasus sebelumnya dengan asumsi panjang <math>\delta</math>. Ini bisa saja terbukti paling banyak mengkali <math>m-1</math>.
It is popular to define the Riemann integral as the [[Darboux integral]]. This is because the Darboux integral is technically simpler and because a function is Riemann-integrable if and only if it is Darboux-integrable.


Untuk menangani kasus ini, kita akan memperkirakan perbedaan antara jumlah Riemann dan jumlah Darboux dengan membagi partisi <math>x_0,\dots,x_n</math> di <math>y_{j+1}</math>. Penyebutan <math>f(t_i)(x_{i+1}-x_i)</math> dalam jumlah Riemann dibagi menjadi dua penyebut:
Some calculus books do not use general tagged partitions, but limit themselves to specific types of tagged partitions. If the type of partition is limited too much, some non-integrable functions may appear to be integrable.


:<math>f\left(t_i\right)\left(x_{i+1}-x_i\right) = f\left(t_i\right)\left(x_{i+1}-y_{j+1}\right)+f\left(t_i\right)\left(y_{j+1}-x_i\right)</math>
One popular restriction is the use of "left-hand" and "right-hand" Riemann sums. In a left-hand Riemann sum, <math>t_i = x_i</math> for all <math>i</math>, and in a right-hand Riemann sum, <math>t_i = x_{i+1}</math> for all <math>i</math>. Alone this restriction does not impose a problem: we can refine any partition in a way that makes it a left-hand or right-hand sum by subdividing it at each <math>t_i</math>. In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is [[cofinality|cofinal]] in the set of all tagged partitions.


Misalkan, tanpa kehilangan keumuman, bahwa <math>t_i \in [y_j, y_{j+1}]</math>. Maka
Another popular restriction is the use of regular subdivisions of an interval. For example, the <math>n'</math>th regular subdivision of <math>[0, 1]</math> consists of the intervals <math>[0, 1/n], [1/n, 2/n], \ldots, [(n-1)/n, 1]</math>. Again, alone this restriction does not impose a problem, but the reasoning required to see this fact is more difficult than in the case of left-hand and right-hand Riemann sums.


:<math>m_j < f(t_i) < M_j</math>,
However, combining these restrictions, so that one uses only left-hand or right-hand Riemann sums on regularly divided intervals, is dangerous. If a function is known in advance to be Riemann integrable, then this technique will give the correct value of the integral. But under these conditions the [[indicator function]] <math>I_{\mathbb{Q}}</math> will appear to be integrable on <math>[0, 1]</math> with integral equal to one: Every endpoint of every subinterval will be a rational number, so the function will always be evaluated at rational numbers, and hence it will appear to always equal one. The problem with this definition becomes apparent when we try to split the integral into two pieces. The following equation ought to hold:


jadi suku ini dibatasi oleh suku yang bersesuaian dalam jumlah Darboux untuk <math>y_j</math>. Untuk mengikat bentuk lainnya, perhatikan bahwa
:<math>
\int_0^{\sqrt{2}-1}\! I_\mathbf{Q}(x) \,\mathrm{d}x +
\int_{\sqrt{2}-1}^1\! I_\mathbf{Q}(x) \,\mathrm{d}x =
\int_0^1\! I_\mathbf{Q}(x) \,\mathrm{d}x .
</math>


:<math>x_{i+1}-y_{j+1} < \delta < \frac{\varepsilon}{2r(m-1)}</math>,
If we use regular subdivisions and left-hand or right-hand Riemann sums, then the two terms on the left are equal to zero, since every endpoint except 0 and 1 will be irrational, but as we have seen the term on the right will equal 1.


Oleh karena itu, untuk suatu (memang ada) <math>t_i^* \in [y_{j+1},x_{i+1}]</math>,
As defined above, the Riemann integral avoids this problem by refusing to integrate <math>I_{\mathbb{Q}}</math>. The Lebesgue integral is defined in such a way that all these integrals are 0.


:<math>\left|f\left(t_i\right)-f\left(t_i^*\right)\right|\left(x_{i+1}-y_{j+1}\right) < \frac{\varepsilon}{2(m-1)}</math>.
== Properties ==


The Riemann integral is a linear transformation; that is, if <math>f</math> and <math>g</math> are Riemann-integrable on <math>[a,b]</math> and <math>\alpha</math> and <math>\beta</math> are constants, then
Karena ini terjadi paling banyak mengkali <math>m-1</math>, jarak antara jumlah Riemann dan jumlah Darboux paling banyak <math>\varepsilon/2</math>. Oleh karena itu, jarak antara jumlah Riemann dan <math>s</math> paling banyak {{mvar|ε}}.


== Contoh ==
:<math> \int_{a}^{b}( \alpha f + \beta g)\,dx = \alpha \int_{a}^{b}f(x)\,dx + \beta \int_{a}^{b}g(x)\,dx. </math>
Misalkan <math>f:[0,1]\to\R</math> sebagai fungsi yang mengambil nilai 1 setiap titik. Setiap jumlah Riemann dari <math>f</math> pada <math>[0,1]</math> akan memiliki nilai 1, oleh karena itu integral Riemann dari <math>f</math> pada {{math|[0, 1]}} adalah 1.


Misalkan <math>I_{\Q}:[0,1]\to\R</math> sebagai [[fungsi indikator]] dari [[bilangan rasional]] di <math>[0,1]</math>; yaitu, <math>I_{\Q}</math> mengambil nilai 1 pada bilangan rasional dan 0 pada [[bilangan irasional]]. Fungsi ini tidak memiliki integral Riemann. Untuk membuktikan ini, kita akan menunjukkan bagaimana membangun partisi bertanda yang jumlah Riemannnya mendekati nol dan satu secara berurutan.
Because the Riemann integral of a function is a number, this makes the Riemann integral a linear functional on the vector space of Riemann-integrable functions. It can be shown that a real-valued function <math>f</math> on <math>[a,b]</math> is Riemann-integrable if and only if it is [[boundedness|bounded]] and [[continuous function|continuous]] [[almost everywhere]] in the sense of Lebesgue measure.


Untuk memulai, maka <math>x_0,\dots,x_n</math> dan <math>t_0,\dots,t_{n-1}</math> menjadi partisi bertanda (setiap <math>t_i</math> diantara <math>x_i</math> dan <math>x_{i+1}</math>). Pilihlah <math>\varepsilon > 0</math>. <math>t_i</math> telah dipilih, dan nilai <math>f</math> tidak dapat diubah pada titik tersebut. Tetapi jika kita memotong partisi menjadi potongan-potongan kecil disekitar <math>t_i</math>, kita dapat meminimalkan efek <math>t_i</math>. Kemudian, dengan memilih tanda baru secara hati-hati, kita dapat membuat nilai penjumlahan Riemann berada dalam <math>\varepsilon</math> dari nol atau satu.
If a real-valued function on <math>[a,b]</math> is Riemann-integrable, it is [[Lebesgue integral|Lebesgue-integrable]].


Langkah pertama kita adalah memotong partisi. Ada <math>n</math> dari <math>t_i</math>, dan ingin efek totalnya kurang dari <math>\varepsilon</math>. Jika membatasi masing-masing dari mereka ke selang yang panjangnya kurang dari <math>\varepsilon/n</math>, maka kontribusi dari setiap <math>t_i</math> pada jumlah Riemann paling sedikit <math>0 \cdot \varepsilon/n</math> dan paling banyak <math>1 \cdot \varepsilon/n</math>. Ini setidaknya membuat jumlah total nol dan paling banyak dari <math>\varepsilon</math>. Jadi {{mvar|δ}} menjadi bilangan positif yang kurang dari <math>\varepsilon/n</math>. Jika kebetulan dua dari <math>t_i</math> berada dalam {{mvar|δ}} satu sama lain, pilihlah <math>\delta</math> lebih kecil. Jika terjadi bahwa beberapa <math>t_i</math> berada dalam {{mvar|δ}} dari beberapa {{mvar|x<sub>j</sub>}}, dan {{mvar|t<sub>i</sub>}} tidak sama dengan <math>x_j</math>, pilihlah {{mvar|δ}} lebih kecil. Karena hanya ada <math>t_i</math> dan <math>x_j</math>, kita selalu dapat memilih <math>\delta</math> secukupnya kecil.
If <math>{f_n}</math> is a [[uniform convergence|uniformly convergent]] sequence on <math>[a,b]</math> with limit <math>f</math>, then Riemann integrability of all <math>{f_n}</math> implies Riemann integrability of <math>f</math>, and


Sekarang kita tambahkan dua potongan ke partisi untuk setiap <math>t_i</math>. Salah satu potongan berada di <math>t_i - \delta/2</math>, dan yang lainnya akan berada di <math>t_i + \delta/2</math>. Jika salah satu dari ini meninggalkan selang <math>[0,1]</math> maka kita tinggalkan. <math>t_i</math> akan menjadi tanda yang sesuai dengan sub-selang
:<math> \int_{a}^{b} f\, dx = \int_a^b{\lim_{n \to \infty}{f_n}\, dx} = \lim_{n \to \infty} \int_{a}^{b} f_n\, dx.</math>


:<math>\left [t_i - \frac{\delta}{2}, t_i + \frac{\delta}{2} \right ]</math>.
If a real-valued function is [[monotone function|monotone]] on the interval <math>[a,b],</math> it is Riemann-integrable, since its set of discontinuities is denumerable, and therefore of Lebesgue measure zero.


Jika <math>t_i</math> berada tepat diatas salah satunya <math>x_j</math>, maka kita misalkan <math>t_i</math> sebagai tanda untuk kedua selang:
An [[indicator function]] of a bounded set is Riemann-integrable if and only if the set is [[Jordan measure|Jordan measurable]].[http://planetmath.org/encyclopedia/Volume.html]

:<math>\left [t_i - \frac{\delta}{2}, x_j \right ]</math> dan <math>\left [x_j,t_i + \frac{\delta}{2} \right ]</math>.

Kita harus memilih tanda untuk sub-selang lainnya. Apabila memilih mereka dalam dua cara yang berbeda. Cara pertama adalah selalu memilih [[tititk rasional]], sehingga jumlah Riemann sebesar mungkin. Ini akan membuat nilai jumlah Riemann setidaknya <math>1-\varepsilon</math>. Cara kedua adalah selalu memilih titik irasional, sehingga jumlah Riemann sekecil mungkin. Ini akan membuat nilai jumlah Riemann banyak <math>\varepsilon</math>.

Karena baru memulai dari partisi sembarang dan berakhir sedekat yang diinginkan dengan nol atau satu, salah satunya salah untuk mengatakan bahwa akhirnya terjebak dekat suatu bilangan <math>s</math>, maka fungsi ini tidak diintegrasikan Riemann. Namun, ini adalah [[integral Lebesgue]]. Dalam pengertian Lebesgue integralnya adalah nol, karena fungsinya adalah nol [[hampir di mana-mana]]. Tapi ini adalah fakta yang berada di luar jangkauan integral Riemann.

Ada contoh yang buruk lagi. <math>I_{\Q}</math> setara (yaitu, hampir sama di semua tempat) dengan fungsi integral Riemann, tetapi ada fungsi-fungsi hingga tak-terintegrasi Riemann yang tak-ekuivalen dengan fungsi-fungsi tak-terintegrasi Riemann mana pun. Misalnya, <math>C</math> menjadi [[himpunan Smith–Volterra–Cantor]], dan <math>I_C</math> menjadi fungsi indikatornya. Karena <math>C</math> tak-[[ukuran Jordan|terukur Jordan]], maka <math>I_C</math> tidak dapat diintegrasikan Riemann. Selain itu, tidak ada fungsi <math>g</math> yang setara dengan <math>I_C</math> yang dapat diintegrasikan Riemann: <math>g</math>, seperti <math>I_C</math> yang harus nol pada himpunan rapat, jadi seperti pada contoh sebelumnya, setiap jumlah Riemann dari <math>g</math> memiliki penghalusan yang berada dalam <math>\varepsilon</math> dari 0 untuk bilangan positif suatu <math>\varepsilon</math>. Tetapi jika integral Riemann dari <math>g</math> memang ada, maka ia harus sama dengan integral Lebesgue dari <math>I_C</math>, yaitu <math>1/2</math>. Oleh karena itu, <math>g</math> tidak dapat diintegrasikan Riemann.

== Konsep serupa ==

Sangat populer untuk mendefinisikan integral Riemann sebagai [[integral Darboux]]. Ini karena integral Darboux secara teknis lebih sederhana dan karena suatu fungsi dapat terintegral (secara) Riemann jika dan hanya jika terintegral (secara) Darboux.

Beberapa buku kalkulus tidak menggunakan partisi bertanda umum, tetapi limit-diri pada jenis tertentu dari partisi bertanda. Jika jenis partisi memiliki banyak limit, beberapa fungsi tak-terintegralkan mungkin tampak terintegralkan.

Salah satu limit terkenal adalah penggunaan jumlah Riemann "-kiri" dan "-kanan". Dalam jumlah Riemann kiri, <math>t_i = x_i</math> untuk semua {{mvar|i}}, dan dalam jumlah Riemann kanan, <math>t_i = x_{i+1}</math> untuk semua <math>i</math>. Pembatasan ini saja tidak menimbulkan masalah: dapat diperbaiki partisi dengan cara menjadikannya jumlah kiri atau kanan dengan membagi setiap {{mvar|t<sub>i</sub>}}. Dalam [[bahasa formal]], himpunan dari semua jumlah Riemann kiri dan himpunan dari semua jumlah Riemann kanan adalah [[kofinal (matematika)|kofinal]] pada himpunan semua partisi bertanda.

Batasan terkenal lainnya adalah penggunaan sub-pembagi reguler dari suatu selang. Misalnya, subdivisi reguler ke-<math>n</math> dari <math>[0,1]</math> terdiri dari interval

:<math>\left [0, \frac{1}{n} \right], \left [\frac{1}{n}, \frac{2}{n} \right], \ldots, \left[\frac{n-1}{n}, 1 \right]</math>.

Sekali lagi, batasan ini hanya saja tidak menimbulkan masalah, tetapi penalaran yang diperlukan untuk melihat penyesuaian ini lebih sulit daripada dalam kasus penjumlahan Riemann kiri dan kanan.

Namun, menggabungkan batasan ini, sehingga hanya menggunakan jumlah Riemann kiri atau tangan kanan pada selang bertanda reguler, adalah bahaya. Jika suatu fungsi diketahui sebelumnya sebagai integral Riemann, maka teknik ini akan memberikan nilai integral yang benar. Tetapi pada kondisi ini [[fungsi indikator]] <math>I_{\Q}</math> akan tampak terintegralkan pada <math>[0,1]</math> dengan integral sama dengan satu: Setiap titik akhir dari setiap sub-selang akan menjadi bilangan rasional, jadi fungsi dievaluasi pada bilangan rasional, dan karena itu akan tampak selalu sama dengan satu. Masalah dengan definisi ini menjadi jelas ketika kita mencoba membagi integral menjadi dua bagian. Persamaan berikutnya berlaku:

:<math>\int_0^{\sqrt{2}-1} I_\Q(x) \,\mathrm dx + \int_{\sqrt{2}-1}^1 I_\Q(x) \,\mathrm dx = \int_0^1 I_\Q(x) \,\mathrm dx</math>.

Jika kita menggunakan pembagian biasa dan jumlah Riemann kiri atau kanan, maka dua suku sebelah kiri sama dengan nol, karena setiap titik akhir kecuali 0 dan 1 akan irasional, tetapi seperti yang telah kita lihat, suku sebelah kanan akan sama dengan 1.

Seperti yang didefinisikan di atas, integral Riemann menghindari masalah ini dengan tidak menggunakan untuk mengintegrasikan <math>I_{\Q}.</math> Integral Lebesgue didefinisikan sedemikian rupa sehingga semua integral ini adalah 0.

== Sifat ==

=== Linearitas ===
Integral Riemann adalah transformasi linear; yaitu, jika <math>f</math> dan <math>g</math> terintegralkan dengan Riemann pada <math>[a,b]</math> dan <math>\alpha</math> dan <math>\beta</math> adalah konstanta, maka

:<math>\int_{a}^{b} (\alpha f(x) + \beta g(x))\,\mathrm dx = \alpha \int_{a}^{b}f(x)\,\mathrm dx + \beta \int_{a}^{b}g(x)\,\mathrm dx </math>.

Karena integral Riemann dari suatu fungsi adalah bilangan, ini membuat integral Riemann menjadi [[Bentuk linear|fungsional linear]] pada [[ruang vektor]] dari fungsi integral Riemann.
<!--
== Keterintegralan ==
Sebuah [[fungsi hingga]] pada [[Ruang kompak|ranah kompak]] {{math|[''a'', ''b'']}} adalah integral Riemann jika dan hanya jika [[fungsi kontinu|kontinu]] [[hampir di mana-mana]] (himpunan titik diskontinuitasnya memiliki [[ukuran nol]], dalam arti [[ukuran Lebesgue]]). Ini adalah '''{{visible anchor|teorema Lebesgue-Vitali|Kondisi keterintegralan Lebesgue}}''' (dari karakterisasi fungsi integral Riemann). Telah dibuktikan secara independen oleh [[Giuseppe Vitali]] dan [[Henri Lebesgue]] pada tahun 1907, dan menggunakan gagasan [[ukuran nol]], tetapi tidak menggunakan ukuran umum atau integral Lebesgue.

Kondisi keterintegralan dapat dibuktikan dengan berbagai cara,<ref name="apostol169">{{harvnb|Apostol|1974|pp=169–172}}</ref><ref>{{Cite journal| issn = 0002-9890| volume = 43
| issue = 7| pages = 396–398| last = Brown| first = A. B.| title = A Proof of the Lebesgue Condition for Riemann Integrability| journal = The American Mathematical Monthly| date = September 1936| jstor = 2301737| doi = 10.2307/2301737}}</ref><ref>Analisis real dasar, oleh Houshang H. Sohrab, bagian 7.3, Himpunan Ukur Nol dan Kondisi Integrabilitas Lebesgue, [https://books.google.com/books?id=gBPI_oYZoMMC&pg=PA264 pp. 264–271]</ref><ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' diperbarui April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of Proper Riemann Integral", hlm. 171–177</ref> salah satunya adalah bagian dibawah ini.

:{| class="toccolours collapsible collapsed" width="90%" style="text-align:left"
!Bukti
|-
|Pembuktiannya paling mudah dengan menggunakan definisi [[integral Darboux]] dari keterintegralan (secara formal, kondisi Riemann untuk keterintegralan) – suatu fungsi terintegralkan Riemann jika dan hanya jika jumlah atas dan jumlah bawah dibuat secara mendekati dengan memilih partisi yang sesuai.

Satu arah dibuktikan menggunakan [[Osilasi (matematika)|osilasi]] definisi kontinuitas:<ref>[http://unapologetic.wordpress.com/2009/12/15/lebesgues-condition/ Lebesgue’s Condition], John Armstrong, 15 Desember 2009, The Unapologetic Mathematician</ref> Untuk setiap {{mvar|ε}} positif, Misalkan {{math|''X''<sub>''ε''</sub>}} adalah himpunan titik dalam {{math|[''a'', ''b'']}} dengan osilasi minimal {{mvar|ε}}. Karena setiap titik dimana {{mvar|f}} diskontinu memiliki osilasi positif dan sebaliknya, himpunan titik dalam {{math|[''a'', ''b'']}}, dimana {{mvar|f}} adalah diskontinu sama dengan penyatuan atas {{math|{''X''<sub>1/''n''</sub>}|}} untuk semua bilangan asli {{mvar|n}}.

Jika himpunan ini tidak memiliki nol [[ukuran Lebesgue]], kemudian dengan [[keaditifan tercacah]] dari ukuran setidaknya ada satu {{mvar|n}} sehingga {{math|''X''<sub>1/''n''</sub>}} tidak memiliki ukuran nol. Jadi ada beberapa bilangan positif {{mvar|c}} sehingga setiap [[tercacahkan]] himpunan selang terbuka [[liput (topologi)|peliputan]] {{math|''X''<sub>1/''n''</sub>}} memiliki panjang total setidaknya {{mvar|c}}. Khususnya, ini juga berlaku untuk setiap kumpulan selang hingga. Ini tetap berlaku juga untuk {{math|''X''<sub>1/''n''</sub>}} dikurangi jumlah titik hingga (sebagai sejumlah titik hingga mendapatkan cakupan oleh kumpulan selang hingga dengan panjang total yang kecil secara arbiter).

Untuk setiap [[partisi dari sebuah selang|partisi dari {{math|[''a'', ''b'']}}]], pertimbangkan himpunan selang pada interiornya yang mencakup titik-titik dari {{math|''X''<sub>1/''n''</sub>}}. Interior ini terdiri dari penutup terbuka hingga {{math|''X''<sub>1/''n''</sub>}} yang merupakan hingga sejumlah titik (mungkin, jatuh pada tepi selang). Jadi selang ini memiliki panjang total paling sedikit {{mvar|c}}. Karena titik-titik {{mvar|f}} memiliki osilasi paling sedikit dari {{math|1/''n''}}, maka, [[infimum dan supremum]] dari {{mvar|f}} dari setiap selang ini setidaknya berbeda {{math|1/''n''}}. Jadi jumlah atas dan bawah dari {{mvar|f}} berbeda setidaknya {{math|''c''/''n''}}. Karena ini berlaku untuk setiap partisi, {{mvar|f}} tidak terintegralkan Riemann.

Sekarang kita buktikan arah kebalikannya menggunakan himpunan {{math|''X''<sub>''ε''</sub>}} yang didefinisikan diatas.<ref>[http://unapologetic.wordpress.com/2009/12/09/jordan-content-integrability-condition/ Kondisi Integrasi Konten Jordan], John Armstrong, 9 Desember 2009, The Unapologetic Mathematician</ref> Untuk setiap {{mvar|ε}}, {{math|''X''<sub>''ε''</sub>}} adalah [[ruang kompak|kompak]], karena limit (oleh {{mvar|a}} dan {{mvar|b}}) tertutup:

*Untuk setiap barisan titik {{math|''X''<sub>''ε''</sub>}} pada konvergen {{math|[''a'', ''b'']}}, limitnya adalah {{math|''X''<sub>''ε''</sub>}}. Hal ini karena setiap lingkungan dari titik limit juga merupakan lingkungan dari beberapa titik {{math|''X''<sub>''ε''</sub>}}, dan dengan demikian {{mvar|f}} memiliki osilasi setidaknya {{mvar|ε}} atasnya. Oleh karena itu titik limitnya ada di {{math|''X''<sub>''ε''</sub>}}.

Sekarang, misalkan {{mvar|f}} adalah kontinu [[hampir di mana-mana]]. Kemudian untuk setiap {{mvar|ε}}, {{math|''X''<sub>''ε''</sub>}} memiliki nol [[ukuran Lebesgue]]. Oleh karena itu, koleksi selang terbuka yang dihitung dalam {{math|[''a'', ''b'']}} merupakan [[penutup terbuka]] dari {{math|''X''<sub>''ε''</sub>}}, sehingga jumlah seluruh panjangnya kecil secara arbiter. [[Ruang kompak#Definisi penutup terbuka|Karena {{math|''X''<sub>''ε''</sub>}} adalah]] [[subpenutup]] kompak hingga – sehingga, kumpulan hingga dari selang terbuka {{math|[''a'', ''b'']}} adalah dengan panjang total kecil arbiter bersama dengan semua titik {{math|''X''<sub>''ε''</sub>}}. Kita menyatakan selang ini adalah {{math|{''I''(''ε'')<sub>''i''</sub>}|}}, untuk {{math|1 ≤ ''i'' ≤ ''k''}}, untuk beberapa {{mvar|k}} alami.

[[Komplemen (teori himpunan)|Komplemen]] dari gabungan selang ini sendiri merupakan gabungan dari sejumlah selang hingga, dimana ditunjukkannya {{math|{''J''(''ε'')<sub>''i''</sub>}|}} (untuk {{math|1 ≤ ''i'' ≤ ''k'' ≤ 1}} dan untuk {{math|1=''i'' = ''k'', ''k'' + 1 }} sedemikian pula).

We now show that for every {{math|''ε'' > 0}}, there are [[Darboux integral#Darboux sums|upper and lower sums]] whose difference is less than {{mvar|ε}}, from which Riemann integrability follows. To this end, we construct a [[partition of an interval|partition of {{math|[''a'', ''b'']}}]] as follows:

Denote {{math|1=''ε''<sub>1</sub> = ''ε'' / 2(''b'' − ''a'')}} and {{math|1=''ε''<sub>2</sub> = ''ε'' / 2(''M'' − ''m'')}}, where {{mvar|m}} and {{mvar|M}} are the [[infimum and supremum]] of {{mvar|f}} on {{math|[''a'', ''b'']}}. Since we may choose intervals {{math|{''I''(''ε''<sub>1</sub>)<sub>''i''</sub>}|}} with arbitrarily small total length, we choose them to have total length smaller than {{math|''ε''<sub>2</sub>}}.

Each of the intervals {{math|{''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}|}} has an empty intersection with {{math|''X''<sub>''ε''<sub>1</sub></sub>}}, so each point in it has a neighborhood with oscillation smaller than {{math|''ε''<sub>1</sub>}}. These neighborhoods consist of an [[open cover]] of the interval, and since the interval is compact there is a finite subcover of them. This subcover is a finite collection of open intervals, which are subintervals of {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}} (except for those that include an edge point, for which we only take their intersection with {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>)}}. We take the edge points of the subintervals for all {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub> − ''s''}}, including the edge points of the intervals themselves, as our partition.

Thus the partition divides {{math|[''a'', ''b'']}} to two kinds of intervals:

*Intervals of the latter kind (themselves subintervals of some {{math|''J''(''ε''<sub>1</sub>)<sub>''i''</sub>}}). In each of these, {{mvar|f}} oscillates by less than {{math|''ε''<sub>1</sub>}}. Since the total length of these is not larger than {{math|''b'' − ''a''}}, they together contribute at most {{math|1=''ε''{{su|b=1|p=∗}}(''b'' − ''a'') = ''ε''/2}} to the difference between the upper and lower sums of the partition.
*The intervals {{math|{''I''(''ε'')<sub>''i''</sub>}|}}. These have total length smaller than {{math|''ε''<sub>2</sub>}}, and {{mvar|f}} oscillates on them by no more than {{math|''M'' − ''m''}}. Thus together they contribute less than {{math|1=''ε''{{su|b=2|p=∗}}(''M'' − ''m'') = ''ε''/2}} to the difference between the upper and lower sums of the partition.

In total, the difference between the upper and lower sums of the partition is smaller than {{mvar|ε}}, as required.
|}

In particular, any set that is at most [[countable set|countable]] has [[Lebesgue measure]] zero, and thus a bounded function (on a compact interval) with only finitely or countably many discontinuities is Riemann integrable.

An [[indicator function]] of a bounded set is Riemann-integrable if and only if the set is [[Jordan measure|Jordan measurable]].<ref>[http://planetmath.org/encyclopedia/Volume.html PlanetMath Volume]</ref> The Riemann integral can be interpreted [[measure theory|measure-theoretically]] as the integral with respect to the Jordan measure.

If a real-valued function is [[monotone function|monotone]] on the interval {{math|[''a'', ''b'']}} it is Riemann-integrable, since its set of discontinuities is at most countable, and therefore of Lebesgue measure zero.

If a real-valued function on {{math|[''a'', ''b'']}} is Riemann-integrable, it is [[Lebesgue integral|Lebesgue-integrable]]. That is, Riemann-integrability is a ''stronger'' (meaning more difficult to satisfy) condition than Lebesgue-integrability.

If {{math|''f''<sub>''n''</sub>}} is a [[uniform convergence|uniformly convergent]] sequence on {{math|[''a'', ''b'']}} with limit {{mvar|f}}, then Riemann integrability of all {{math|''f''<sub>''n''</sub>}} implies Riemann integrability of {{mvar|f}}, and

:<math> \int_{a}^{b} f\, dx = \int_a^b{\lim_{n \to \infty}{f_n}\, dx} = \lim_{n \to \infty} \int_{a}^{b} f_n\, dx.</math>

However, the [[Lebesgue monotone convergence theorem]] (on a monotone pointwise limit) does not hold. In Riemann integration, taking limits under the integral sign is far more difficult to logically justify than in Lebesgue integration.<ref>{{cite journal|author=Cunningham|first= Frederick Jr.|title=Taking limits under the integral sign|journal=Mathematics Magazine|volume=40|year=1967|pages=179–186|url=http://www.maa.org/programs/maa-awards/writing-awards/taking-limits-under-the-integral-sign|doi=10.2307/2688673}}</ref>


== Generalizations ==
== Generalizations ==
It is easy to extend the Riemann integral to functions with values in the Euclidean vector space <math>\mathbb{R}^n</math> for any <math>n</math>. The integral is defined by linearity; in other words, if <math>\mathbf{f} = (f_1, \dots, f_n)</math>, then <math>\int\mathbf{f} = \left(\int f_1,\,\dots, \int f_n\right)</math>. In particular, since the complex numbers are a real [[vector space]], this allows the integration of complex valued functions.
It is easy to extend the Riemann integral to functions with values in the Euclidean vector space <math>\R^n</math> for any {{mvar|n}}. The integral is defined component-wise; in other words, if {{math|1='''f''' = (''f''<sub>1</sub>, ..., ''f''<sub>''n''</sub>)}} then


:<math>\int\mathbf{f} = \left(\int f_1,\,\dots, \int f_n\right).</math>
The Riemann integral is only defined on bounded intervals, and it does not extend well to unbounded intervals. The simplest possible extension is to define such an integral as a limit, in other words, as an [[improper integral]]. We could set:


In particular, since the complex numbers are a real [[vector space]], this allows the integration of complex valued functions.
:<math>\int_{-\infty}^\infty f(t)\,dt = \lim_{x\to\infty}\int_{-x}^x f(t)\,dt.</math>


The Riemann integral is only defined on bounded intervals, and it does not extend well to unbounded intervals. The simplest possible extension is to define such an integral as a limit, in other words, as an [[improper integral]]:
Unfortunately, this does not work well. Translation invariance, the fact that the Riemann integral of the function should not change if we move the function left or right, is lost. For example, let <math>f(x) = 1</math> for all <math>x > 0</math>, <math>f(0)=0</math>, and <math>f(x) = -1</math> for all <math>x < 0</math>. Then,


:<math>\int_{-x}^x f(t)\,dt = \int_{-x}^0 f(t)\,dt + \int_0^x f(t)\,dt = -x + x = 0</math>
:<math>\int_{-\infty}^\infty f(x)\,dx = \lim_{a \to -\infty \atop b \to \infty}\int_a^b f(x)\,dx.</math>


This definition carries with it some subtleties, such as the fact that it is not always equivalent to compute the [[Cauchy principal value]]
for all <math>x</math>. But if we shift <math>f(x)</math> to the right by one unit to get <math>f(x-1)</math>, we get


:<math>\int_{-x}^x f(t-1)\,dt = \int_{-x}^1 f(t-1)\,dt + \int_1^x f(t-1)\,dt = -(x+1) + (x-1) = -2</math>
:<math>\lim_{a\to\infty} \int_{-a}^a f(x)\,dx.</math>


For example, consider the [[sign function]] {{math|''f''(''x'') {{=}} sgn(''x'')}} which is 0 at {{math|''x'' {{=}} 0}}, 1 for {{math|''x'' > 0}}, and −1 for {{math|''x'' < 0}}. By symmetry,
for all <math>x > 1</math>.


:<math>\int_{-a}^a f(x)\,dx = 0</math>
Since this is unacceptable, we could try the definition:


always, regardless of {{mvar|a}}. But there are many ways for the interval of integration to expand to fill the real line, and other ways can produce different results; in other words, the multivariate limit does not always exist. We can compute
:<math>\int_{-\infty}^\infty f(t)\,dt = \lim_{a\to-\infty}\lim_{b\to\infty}\int_a^b f(t)\,dt.</math>


:<math>\begin{align} \int_{-a}^{2a} f(x)\,dx &= a, \\ \int_{-2a}^a f(x)\,dx &= -a. \end{align}</math>
Then if we attempt to integrate the function <math>f</math> above, we get <math>+\infty</math>, because we take the limit as <math>b</math> tends to <math>\infty</math> first. If we reverse the order of the limits, then we get <math>-\infty</math>.


In general, this improper Riemann integral is undefined. Even standardizing a way for the interval to approach the real line does not work because it leads to disturbingly counterintuitive results. If we agree (for instance) that the improper integral should always be
This is also unacceptable, so we could require that the integral exists and gives the same value regardless of the order. Even this does not give us what we want, because the Riemann integral no longer commutes with uniform limits. For example, let <math>f_n(x) = 1/n</math> on <math>(0,n)</math> and 0 everywhere else. For all <math>n</math>, <math>\int f_n\,dx = 1</math>. But <math>f_n</math> converges uniformly to zero, so the integral of <math>\lim f_n</math> is zero. Consequently <math>\int f\,dx \not= \lim\int f_n\,dx</math>. Even though this is the correct value, it shows that the most important criterion for exchanging limits and (proper) integrals is false for improper integrals. This makes the Riemann integral unworkable in applications.


:<math>\lim_{a\to\infty} \int_{-a}^a f(x)\,dx,</math>
A better route is to abandon the Riemann integral for the [[Lebesgue integral]]. The definition of the Lebesgue integral is not obviously a generalization of the Riemann integral, but it is not hard to prove that every Riemann-integrable function is Lebesgue-integrable and that the values of the two integrals agree whenever they are both defined. Moreover, a bounded Lebesgue-integrable function <math>f</math> defined on a bounded interval is Riemann-integrable if and only if the set of points where <math>f</math> is discontinuous has Lebesgue measure zero.


then the integral of the translation {{math|''f''(''x'' − 1)}} is −2, so this definition is not invariant under shifts, a highly undesirable property. In fact, not only does this function not have an improper Riemann integral, its Lebesgue integral is also undefined (it equals {{math|∞ − ∞}}).
An integral which is in fact a direct generalization of the Riemann integral is the [[Henstock–Kurzweil integral]].


Unfortunately, the improper Riemann integral is not powerful enough. The most severe problem is that there are no widely applicable theorems for commuting improper Riemann integrals with limits of functions. In applications such as [[Fourier series]] it is important to be able to approximate the integral of a function using integrals of approximations to the function. For proper Riemann integrals, a standard theorem states that if {{math|''f<sub>n</sub>''}} is a sequence of functions that [[uniform convergence|converge uniformly]] to {{mvar|f}} on a compact set {{math|[''a'', ''b'']}}, then
Another way of generalizing the Riemann integral is to replace the factors <math>x_{i+1} - x_i</math> in the definition of a Riemann sum by something else; roughly speaking, this gives the interval of integration a different notion of length. This is the approach taken by the [[Riemann–Stieltjes integral]].


:<math>\lim_{n\to\infty} \int_a^b f_n(x)\,dx = \int_a^b f(x)\,dx.</math>
== See also ==
* [[Antiderivative]]
* [[Riemann–Stieltjes integral]]
* [[Henstock–Kurzweil integral]]
* [[Lebesgue integral]]
* [[Darboux integral]]


On non-compact intervals such as the real line, this is false. For example, take {{math|''f<sub>n</sub>''(''x'')}} to be {{math|''n''<sup>−1</sup>}} on {{math|[0, ''n'']}} and zero elsewhere. For all {{mvar|n}} we have:

:<math>\int_{-\infty}^\infty f_n\,dx = 1.</math>

The sequence {{math|(''f<sub>n</sub>'')}} converges uniformly to the zero function, and clearly the integral of the zero function is zero. Consequently,

:<math>\int_{-\infty}^\infty f\,dx \neq \lim_{n\to\infty}\int_{-\infty}^\infty f_n\,dx.</math>

This demonstrates that for integrals on unbounded intervals, uniform convergence of a function is not strong enough to allow passing a limit through an integral sign. This makes the Riemann integral unworkable in applications (even though the Riemann integral assigns both sides the correct value), because there is no other general criterion for exchanging a limit and a Riemann integral, and without such a criterion it is difficult to approximate integrals by approximating their integrands.

A better route is to abandon the Riemann integral for the [[Lebesgue integral]]. The definition of the Lebesgue integral is not obviously a generalization of the Riemann integral, but it is not hard to prove that every Riemann-integrable function is Lebesgue-integrable and that the values of the two integrals agree whenever they are both defined. Moreover, a function {{mvar|f}} defined on a bounded interval is Riemann-integrable if and only if it is bounded and the set of points where {{mvar|f}} is discontinuous has Lebesgue measure zero.

An integral which is in fact a direct generalization of the Riemann integral is the [[Henstock–Kurzweil integral]].

Another way of generalizing the Riemann integral is to replace the factors {{math|''x''<sub>''k'' + 1</sub> − ''x''<sub>''k''</sub>}} in the definition of a Riemann sum by something else; roughly speaking, this gives the interval of integration a different notion of length. This is the approach taken by the [[Riemann–Stieltjes integral]].

In [[multivariable calculus]], the Riemann integrals for functions from <math>\R^n\to\R</math> are [[multiple integral]]s.
-->
-->


== Lihat pula ==
[[Kategori:Integral]]
* [[Luas]]
* [[Integral tak tentu]]
* [[Integrasi Lebesgue]]

==Catatan==
{{Reflist|30em}}

== Referensi ==
* Shilov, G. E., and Gurevich, B. L., 1978. ''Integral, Measure, and Derivative: A Unified Approach'', Richard A. Silverman, trans. Dover Publications. {{isbn|0-486-63519-8}}.
* {{citation|first=Tom|last=Apostol|author-link=Tom Apostol|title=Mathematical Analysis|year=1974|publisher=Addison-Wesley}}

==Pranala luar==
*{{Commons category inline}}
* {{springer|title=Riemann integral|id=p/r081950}}

{{integral}}
{{Bernhard Riemann}}


[[Kategori:Definisi integral pada matematika]]
[[ca:Integral de Riemann]]
[[Kategori:Bernhard Riemann]]
[[cs:Riemannův integrál]]
[[de:Riemannsches Integral]]
[[en:Riemann integral]]
[[es:Integración de Riemann]]
[[eu:Riemannen integral]]
[[fa:انتگرال ریمان]]
[[fi:Riemannin integraali]]
[[fr:Intégrale de Riemann]]
[[hu:Riemann-integrál]]
[[it:Integrale di Riemann]]
[[ja:リーマン積分]]
[[ko:리만 적분]]
[[lt:Rymano integralas]]
[[nl:Riemannintegratie]]
[[pl:Całka Riemanna]]
[[pt:Integral de Riemann]]
[[ru:Интеграл Римана]]
[[scn:Ntigrali di Riemann]]
[[sk:Riemannov integrál]]
[[sv:Riemannintegral]]
[[tr:Riemann integrali]]
[[uk:Інтеграл Рімана]]
[[zh:黎曼积分]]

Revisi terkini sejak 16 Desember 2023 10.08

Integral sebagai luas daerah pada bagian bawah kurva.
Urutan jumlah Riemann pada partisi reguler dari suatu interval. Bilangan diatas adalah total luas persegi panjang, yang konvergensinya ke integral fungsi.
Partisi tidak harus reguler, seperti yang ditunjukkan dibagian ini. Aproksimasi bekerja selama lebar setiap sub-pembagian cenderung ke nol.

Dalam cabang matematika yang disebut juga sebagai analisis real, integral Riemann, yang dibuat oleh Bernhard Riemann, adalah definisi bagian pertama suatu integral dari fungsi terhadap selang. Hal tersebut dipresentasikan ke fakultas di Universitas Göttingen pada tahun 1854, namun tidak diterbitkan dalam jurnal sampai tahun 1868.[1] Untuk banyak fungsi dan aplikasi praktis, integral Riemann dievaluasikan dengan teorema dasar kalkulus maupun dengan integrasi numerik.

Integral Riemann tidak cocok untuk banyak tujuan teoretis. Beberapa kekurangan teknis dalam integral Riemann diperbaiki dengan integral Riemann–Stieltjes, dan sebagian besar menghilang dengan integral Lebesgue, meskipun yang terakhir tidak memiliki perlakuan yang memuaskan untuk integral takwajar. Integral Henstock–Kurzweil adalah generalisasi integral Lebesgue yang sekaligus lebih dekat ke integral Riemann. Teori-teori yang lebih umum ini memungkinkan integrasi fungsi yang lebih "bergerigi" atau "sangat berosilasi" pada bagian integral Riemann yang tidak ada; tetapi teori memberikan nilai yang sama dengan integral Riemann jika memang ada.

Dalam pengaturan pendidikan, integral Darboux menawarkan definisi yang lebih sederhana dan yang lebih mudah digunakan; biasanya digunakan untuk memperkenalkan integral Riemann. Integral Darboux didefinisikan setiap kali pada integral Riemann, dan selalu memberikan hasil yang sama. Sebaliknya, integral Henstock–Kurzweil adalah generalisasi integral Riemann yang sederhana namun lebih kuat dan telah mengarahkan beberapa pendidik untuk menganjurkan bahwa hal itu harus menggantikan integral Riemann dalam kursus kalkulus pengantar.[2]

Misalkan merupakan fungsi bernilai real taknegatif pada interval , dan misalnya

sebagai wilayah bidang bawah pada grafik fungsi dan atas interval (lihat gambar pada bagian kanan atas). Apabila tertarik untuk mengukur luas . Setelah mengukurnya, kita akan menunjukkan luas dengan:

.

Ide dasar integral Riemann adalah menggunakan pendekatan yang sederhana untuk luas . Dengan mengambil aproksimasi yang lebih baik dan lebih baik, kita mengatakan bahwa "dalam batas" kita mendapatkan luas yang tepat pada bagian bawah kurva.

Dimana keduanya bisa menjadi positif dan negatif, definisi dimodifikasi, sehingga integralnya sesuai dengan luas bertanda pada bagian bawah grafik : yaitu, luas atas sumbu- dikurangi luas bawah sumbu-.

Partisi selang

[sunting | sunting sumber]

Sebuah partisi selang adalah barisan bilangan hingga berbentuk

Setiap [xi, xi + 1] disebut sub-selang dari partisi. Jaring atau norma partisi didefinisikan sebagai panjang sub-selang terpanjang, yaitu,

.

Partisi tanda dari suatu interval adalah partisi bersama dengan barisan bilangan hingga bersubjek pada syarat bahwa untuk setiap , . Dengan kata lain, itu adalah partisi bersama dengan titik yang dibedakan dari setiap sub-selang. Jaring partisi yang diberi tag sama dengan partisi biasa.

Misalkan dua partisi dan keduanya merupakan partisi dari interval . Bahwa adalah penghalusan dari jika untuk setiap bilangan bulat , dengan adalah bilangan bulat sehingga dan sehingga untuk suatu dengan . Dengan lebih sederhana, penghalusan partisi tanda memecahkan beberapa sub-selang dan menambahkan tanda ke partisi (jika perlu), sehingga "penghalus" sebagai keakuratan partisi.

Maka, kita dapat mengubah himpunan semua partisi tanda menjadi himpunan berarah dengan satu partisi tanda besar lebih dari atau sama dengan yang lain jika yang pertama adalah penghalusan dari yang terakhir.

Jumlah Riemann

[sunting | sunting sumber]

Misalkan adalah fungsi bernilai real yang didefinisikan pada interval . Jumlah Riemann dari berhubung dengan partisi tanda bersama dengan adalah[3]

.

Setiap istilah dalam jumlah adalah darab dari nilai fungsi pada titik tertentu dan panjang interval. Akibatnya, setiap istilah mewakili luas (bertanda) persegi panjang dengan tinggi dan lebar . Jumlah Riemann adalah luas (bertanda) dari semua persegi panjang.

Konsep yang terkait adalah jumlah Darboux bawah dan atas. Ini mirip seperti dengan jumlah Riemann, namun tanda diganti dengan infimum dan supremum (masing-masing) dari f untuk setiap sub-selang:

Jika adalah kontinu, maka jumlah Darboux bawah dan atas untuk partisi tak-bertanda sama dengan jumlah Riemann untuk partisi itu, dimana tanda dipilih sebagai minimum atau maksimum (masing-masing) pada setiap sub-selang? Ketika terputus dengan sub-selang, mungkin tidak ada tanda yang mencapai infimum atau supremum pada sub-selang tersebut. Integral Darboux yang mirip dengan integral Riemann tetapi berdasarkan jumlah Darboux, setara dengan integral Riemann.

Integral Riemann

[sunting | sunting sumber]

Secara khusus, integral Riemann adalah limit dari jumlah Riemann dari suatu fungsi ketika partisi menjadi halus. Apabila limitnya ada, maka fungsi tersebut dikatakan terintegrasi (atau lebih spesifik terintegrasi-Riemann). Jumlah Riemann dapat dibuat sedekat yang diinginkan dengan integral Riemann dengan membuat partisi halus.[4]

Salah satu persyaratan penting adalah bahwa hubungan partisi menjadi lebih kecil dan lebih kecil, sehingga dalam limitnya adalah nol. Jika tidak demikian, maka kita tidak akan mendapatkan aproksimasi yang baik untuk fungsi pada sub-selang tertentu. Sebenarnya, hal ini cukup untuk mendefinisikan integral. Untuk lebih spesifik, dengan menyatakan bahwa integral Riemann dari sama dengan jika kondisi berikut berlaku:

Untuk semua , terdapat sehingga untuk partisi bertanda dan yang hubungannya kurang dari , maka

.

Sayangnya, definisi ini sangat sulit digunakan. Hal ini akan membantu untuk mengembangkan definisi yang setara dari integral Riemann yang lebih mudah untuk dikerjakan. Kita mengembangkan definisi ini sekarang, dengan bukti kesetaraan berikut. Definisi baru kita mengatakan bahwa integral Riemann dari sama dengan jika syarat berikut berlaku:

Untuk semua , terdapat partisi bertanda dan sehingga untuk setiap partisi bertanda dan yang merupakan penghalusan dari dan , kita mempunyai

Pada akhirnya, kedua hal ini berarti bahwa jumlah Riemann dari berhubung dengan setiap partisi akan terungkap dekat . Karena ini benar maupun tidak peduli seberapa dekat kita menuntut jumlah terungkap, kita mengatakan bahwa jumlah Riemann konvergen ke . Definisi ini sebenarnya merupakan kasus khusus dari konsep yang lebih umum yaitu sebuah jaring.

Seperti yang kita nyatakan sebelumnya, kedua definisi ini adalah ekuivalen. Dengan kata lain, berfungsi dalam definisi pertama jika dan hanya jika berfungsi dalam definisi kedua. Untuk menunjukkan bahwa definisi pertama menyatakan definisi kedua, mulailah dengan , dan pilih yang memenuhi kondisi. Pilih partisi bertanda yang hubungannya kurang dari . Jumlah Riemann-nya berada dalam dari , dan setiap penghalusan dari partisi ini juga akan memiliki hubungan kurang dari , jadi jumlah Riemann dari penghalusan juga akan berada dalam dari .

Untuk menunjukkan bahwa definisi kedua menyatakan definisi pertama, paling mudah menggunakan integral Darboux. Pertama, satu menunjukkan bahwa definisi kedua setara dengan definisi integral Darboux; untuk ini lihat artikel integral Darboux. Sekarang kita akan menunjukkan bahwa fungsi integral Darboux memenuhi definisi pertama. Menetapkan , dan pilih partisi sehingga jumlah Darboux bawah dan atas sehubungan dengan partisi ini berada dalam dari nilai integral Darboux. Maka

.

Jika , maka adalah fungsi nol, yang jelas merupakan integral Darboux dan Riemann dengan integral nol. Oleh karena itu, kita akan mengasumsikan bahwa . Jika , maka kita memilih sehingga

Jika , maka kita memilih kurang dari satu. Pilih partisi bertanda dan dengan hubungan lebih kecil dari . Kita harus menunjukkan bahwa jumlah Riemann berada dalam dari .

Untuk melihat ini, pilih selang . Jika selang ini terdapat dalam beberapa , maka

dimana dan , infimum dan supremum dari pada . Jika semua selang memiliki sifat ini, maka ini akan menyimpulkan buktinya, karena setiap suku dalam jumlah Riemann akan dibatasi oleh suku yang bersesuaian dalam jumlah Darboux, dan kita memilih jumlah Darboux yang mendekati . Ini adalah kasus ketika menjadi bukti yang selesai dalam kasus itu.

Oleh karena itu, kita dapat mengasumsikan . Dalam hal ini, mungkin salah satu dari tidak terkandung dalam [yj, yj + 1]. Sebaliknya, hal tersebut mungkin membentang dua selang yang ditentukan oleh . Hal itu tidak dapat memenuhi tiga interval karena diasumsikan lebih kecil dari panjang salah satu interval. Dalam simbol, maka

.

Kita berasumsi bahwa semua pertidaksamaan ketat karena jika tidak, kita berada dalam kasus sebelumnya dengan asumsi panjang . Ini bisa saja terbukti paling banyak mengkali .

Untuk menangani kasus ini, kita akan memperkirakan perbedaan antara jumlah Riemann dan jumlah Darboux dengan membagi partisi di . Penyebutan dalam jumlah Riemann dibagi menjadi dua penyebut:

Misalkan, tanpa kehilangan keumuman, bahwa . Maka

,

jadi suku ini dibatasi oleh suku yang bersesuaian dalam jumlah Darboux untuk . Untuk mengikat bentuk lainnya, perhatikan bahwa

,

Oleh karena itu, untuk suatu (memang ada) ,

.

Karena ini terjadi paling banyak mengkali , jarak antara jumlah Riemann dan jumlah Darboux paling banyak . Oleh karena itu, jarak antara jumlah Riemann dan paling banyak ε.

Misalkan sebagai fungsi yang mengambil nilai 1 setiap titik. Setiap jumlah Riemann dari pada akan memiliki nilai 1, oleh karena itu integral Riemann dari pada [0, 1] adalah 1.

Misalkan sebagai fungsi indikator dari bilangan rasional di ; yaitu, mengambil nilai 1 pada bilangan rasional dan 0 pada bilangan irasional. Fungsi ini tidak memiliki integral Riemann. Untuk membuktikan ini, kita akan menunjukkan bagaimana membangun partisi bertanda yang jumlah Riemannnya mendekati nol dan satu secara berurutan.

Untuk memulai, maka dan menjadi partisi bertanda (setiap diantara dan ). Pilihlah . telah dipilih, dan nilai tidak dapat diubah pada titik tersebut. Tetapi jika kita memotong partisi menjadi potongan-potongan kecil disekitar , kita dapat meminimalkan efek . Kemudian, dengan memilih tanda baru secara hati-hati, kita dapat membuat nilai penjumlahan Riemann berada dalam dari nol atau satu.

Langkah pertama kita adalah memotong partisi. Ada dari , dan ingin efek totalnya kurang dari . Jika membatasi masing-masing dari mereka ke selang yang panjangnya kurang dari , maka kontribusi dari setiap pada jumlah Riemann paling sedikit dan paling banyak . Ini setidaknya membuat jumlah total nol dan paling banyak dari . Jadi δ menjadi bilangan positif yang kurang dari . Jika kebetulan dua dari berada dalam δ satu sama lain, pilihlah lebih kecil. Jika terjadi bahwa beberapa berada dalam δ dari beberapa xj, dan ti tidak sama dengan , pilihlah δ lebih kecil. Karena hanya ada dan , kita selalu dapat memilih secukupnya kecil.

Sekarang kita tambahkan dua potongan ke partisi untuk setiap . Salah satu potongan berada di , dan yang lainnya akan berada di . Jika salah satu dari ini meninggalkan selang maka kita tinggalkan. akan menjadi tanda yang sesuai dengan sub-selang

.

Jika berada tepat diatas salah satunya , maka kita misalkan sebagai tanda untuk kedua selang:

dan .

Kita harus memilih tanda untuk sub-selang lainnya. Apabila memilih mereka dalam dua cara yang berbeda. Cara pertama adalah selalu memilih tititk rasional, sehingga jumlah Riemann sebesar mungkin. Ini akan membuat nilai jumlah Riemann setidaknya . Cara kedua adalah selalu memilih titik irasional, sehingga jumlah Riemann sekecil mungkin. Ini akan membuat nilai jumlah Riemann banyak .

Karena baru memulai dari partisi sembarang dan berakhir sedekat yang diinginkan dengan nol atau satu, salah satunya salah untuk mengatakan bahwa akhirnya terjebak dekat suatu bilangan , maka fungsi ini tidak diintegrasikan Riemann. Namun, ini adalah integral Lebesgue. Dalam pengertian Lebesgue integralnya adalah nol, karena fungsinya adalah nol hampir di mana-mana. Tapi ini adalah fakta yang berada di luar jangkauan integral Riemann.

Ada contoh yang buruk lagi. setara (yaitu, hampir sama di semua tempat) dengan fungsi integral Riemann, tetapi ada fungsi-fungsi hingga tak-terintegrasi Riemann yang tak-ekuivalen dengan fungsi-fungsi tak-terintegrasi Riemann mana pun. Misalnya, menjadi himpunan Smith–Volterra–Cantor, dan menjadi fungsi indikatornya. Karena tak-terukur Jordan, maka tidak dapat diintegrasikan Riemann. Selain itu, tidak ada fungsi yang setara dengan yang dapat diintegrasikan Riemann: , seperti yang harus nol pada himpunan rapat, jadi seperti pada contoh sebelumnya, setiap jumlah Riemann dari memiliki penghalusan yang berada dalam dari 0 untuk bilangan positif suatu . Tetapi jika integral Riemann dari memang ada, maka ia harus sama dengan integral Lebesgue dari , yaitu . Oleh karena itu, tidak dapat diintegrasikan Riemann.

Konsep serupa

[sunting | sunting sumber]

Sangat populer untuk mendefinisikan integral Riemann sebagai integral Darboux. Ini karena integral Darboux secara teknis lebih sederhana dan karena suatu fungsi dapat terintegral (secara) Riemann jika dan hanya jika terintegral (secara) Darboux.

Beberapa buku kalkulus tidak menggunakan partisi bertanda umum, tetapi limit-diri pada jenis tertentu dari partisi bertanda. Jika jenis partisi memiliki banyak limit, beberapa fungsi tak-terintegralkan mungkin tampak terintegralkan.

Salah satu limit terkenal adalah penggunaan jumlah Riemann "-kiri" dan "-kanan". Dalam jumlah Riemann kiri, untuk semua i, dan dalam jumlah Riemann kanan, untuk semua . Pembatasan ini saja tidak menimbulkan masalah: dapat diperbaiki partisi dengan cara menjadikannya jumlah kiri atau kanan dengan membagi setiap ti. Dalam bahasa formal, himpunan dari semua jumlah Riemann kiri dan himpunan dari semua jumlah Riemann kanan adalah kofinal pada himpunan semua partisi bertanda.

Batasan terkenal lainnya adalah penggunaan sub-pembagi reguler dari suatu selang. Misalnya, subdivisi reguler ke- dari terdiri dari interval

.

Sekali lagi, batasan ini hanya saja tidak menimbulkan masalah, tetapi penalaran yang diperlukan untuk melihat penyesuaian ini lebih sulit daripada dalam kasus penjumlahan Riemann kiri dan kanan.

Namun, menggabungkan batasan ini, sehingga hanya menggunakan jumlah Riemann kiri atau tangan kanan pada selang bertanda reguler, adalah bahaya. Jika suatu fungsi diketahui sebelumnya sebagai integral Riemann, maka teknik ini akan memberikan nilai integral yang benar. Tetapi pada kondisi ini fungsi indikator akan tampak terintegralkan pada dengan integral sama dengan satu: Setiap titik akhir dari setiap sub-selang akan menjadi bilangan rasional, jadi fungsi dievaluasi pada bilangan rasional, dan karena itu akan tampak selalu sama dengan satu. Masalah dengan definisi ini menjadi jelas ketika kita mencoba membagi integral menjadi dua bagian. Persamaan berikutnya berlaku:

.

Jika kita menggunakan pembagian biasa dan jumlah Riemann kiri atau kanan, maka dua suku sebelah kiri sama dengan nol, karena setiap titik akhir kecuali 0 dan 1 akan irasional, tetapi seperti yang telah kita lihat, suku sebelah kanan akan sama dengan 1.

Seperti yang didefinisikan di atas, integral Riemann menghindari masalah ini dengan tidak menggunakan untuk mengintegrasikan Integral Lebesgue didefinisikan sedemikian rupa sehingga semua integral ini adalah 0.

Linearitas

[sunting | sunting sumber]

Integral Riemann adalah transformasi linear; yaitu, jika dan terintegralkan dengan Riemann pada dan dan adalah konstanta, maka

.

Karena integral Riemann dari suatu fungsi adalah bilangan, ini membuat integral Riemann menjadi fungsional linear pada ruang vektor dari fungsi integral Riemann.

Lihat pula

[sunting | sunting sumber]
  1. ^ Integral Riemann diperkenalkan dalam makalah Bernhard Riemann "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (terjemahan: Tentang keterwakilan suatu fungsi oleh deret trigonometri; yaitu, ketika suatu fungsi diwakili oleh deret trigonometri). Makalah ini diajukan ke Universitas Göttingen pada tahun 1854 sebagai Habilitationsschrift oleh Riemann (kualifikasi untuk menjadi instruktur). Yang diterbitkan pada tahun 1868 di Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen (Prosiding Royal Philosophical Society di Göttingen), vol. 13, halaman 87-132. (Tersedia online disini.) Untuk definisi Riemann tentang integralnya, lihat bagian 4, "Über den Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (terjemahan: Tentang konsep integral tertentu dan tingkatan validitasnya), halaman 101-103.
  2. ^ "An Open Letter to Authors of Calculus Books". Diakses tanggal 27 Februari 2014. 
  3. ^ Krantz, Steven G. (1991). Real Analysis and Foundations. CRC Press. hlm. 173. ; 2005 edition. ISBN 9781584884835. 
  4. ^ Taylor, Michael E. (2006). Measure Theory and Integration. American Mathematical Society. hlm. 1. ISBN 9780821872468. 

Referensi

[sunting | sunting sumber]
  • Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.
  • Apostol, Tom (1974), Mathematical Analysis, Addison-Wesley 

Pranala luar

[sunting | sunting sumber]

Templat:Integral Templat:Bernhard Riemann