Integral Lebesgue: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan |
k →top: clean up, added underlinked tag |
||
(17 revisi perantara oleh 7 pengguna tidak ditampilkan) | |||
Baris 1:
{{Underlinked|date=Januari 2023}}
'''Integral Lebesgue''' dalam matematika modern suatu konsep integral.▼
{{gabung|Integrasi Lebesgue-Stieltjes}}
[[Berkas:Integral-area-under-curve.svg|thumb|The integral of a positive function can be interpreted as the area under a curve.|alt=|261x261px]]
{{Kalkulus|Integral}}
== Konstruksi ==
=== Ruang ukuran ===
Integral Lebesgue dapat definisikan untuk fungsi pada suatu [[
=== Integral dari fungsi sederhana ===
'''Fungsi karakteristik''' <math> \chi _A
:<math> \
Suatu fungsi <math> \phi
:<math> \phi = \sum _{i=1} ^n \alpha _i \chi _{A _i} </math>
untuk <math> \alpha _1
Kita mendefinisikan integral Lebesgue dari fungsi sederhana <math> \phi = \sum _{i=1} ^n \alpha _i \chi _{A _i} </math> sebagai
:<math> \int _X \phi\, d \mu = \sum _{i=1} ^n \, \alpha _i \mu (
=== Integral dari fungsi tak negatif ===
Misalnya <math> f: (X, \Sigma) \rightarrow (\mathbb{R}, \mathcal{B} (\mathbb{R})) </math> suatu fungsi terukur dan tak negatif, di mana <math> \mathcal{B} (\mathbb{R}) </math> aljabar σ Borel. Maka, mendefinisikan integralnya sebagai
:<math> \int _X f \, d \mu = \sup \left\{ \int _X \phi \, d \mu: \phi \text{ sederhana, } 0 \leq \phi \leq f \right\} .</math>
Perhatikan bahwa <math> \int _X f \, d \mu \in [ 0, \infty ] </math>.
=== Integral dari fungsi terukur sembarang ===
Misalnya <math> f: (X, \Sigma) \rightarrow (\mathbb{R}, \mathcal{B} (\mathbb{R})) </math> suatu fungsi terukur.
Selanjutnya fungsi tak negatif <math> f ^+ </math> dan <math> f^- </math> adalah didefinisikan tik demi tik sebagai <math> f ^+ = \max \{ f, 0 \} </math> dan <math> f ^- = \max \{ - f, 0 \} </math>.
Perhatikan bahwa <math> f = f ^+ - f ^- </math> dan <math> | f | = f ^+ + f ^- </math>.
Jika <math> \int _X f ^+ \, d \mu < \infty </math> dan <math> \int _X f ^- \, d \mu < \infty </math>, maka <math> f </math> dikatakan '''terintegralkan''' dan kita mendefinisikan
:<math> \int _X f \, d \mu = \int _X f ^+ \, d \mu - \int _X f ^- \, d \mu .</math>
Jelas, <math> f </math> terintegralkan jika dan hanya jika <math> \int | f | \, d \mu < \infty </math>.
== Sifat-sifat dasar ==
* Integral itu linear, yaitu jika <math> \alpha, \beta \in \mathbb{R} </math> dan <math> f, g </math> fungsi terintegralkan, maka <math> \alpha f + \beta g </math> juga terintegralkan dengan
:<math> \int _X \alpha f + \beta g \, d \mu = \alpha \int _X f \, d \mu + \beta \int _X g \, d \mu .</math>
* Integral itu monoton, yaitu jika <math> f,g </math> fungsi terintegralkan dan <math> f \leq g </math>, maka
:<math> \int _X f \, d \mu \leq \int _X g \, d \mu .</math>
{{Authority control}}
[[Kategori:Matematika]]
|