Dalam matematika terutama teori ukuran, ukuran luar secara formalnya adalah fungsi yang didefinisikan pada semua himpunan bagian dari suatu himpunan tertentu dan dipetakan ke bilangan real dipeluas yang memenuhi beberapa syarat tertentu. Diperkenalkan oleh Constantin Carathéodory pada tahun 1914. Konsep ukuran luar memberi kemudahan untuk membangun ukuran
Definisi
Suatu ukuran luar,
μ
∗
{\displaystyle \mu ^{*}\,}
![{\displaystyle [0,\infty ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52088d5605716e18068a460dec118214954a68e9)
- Himpunan kosong berukuran nol:
-
μ
∗
(
∅
)
=
0
;
{\displaystyle \mu ^{*}(\varnothing )=0;}
-
μ
∗
(
∅
)
=
0
;
{\displaystyle \mu ^{*}(\varnothing )=0;}
- Kemononotonan; jika
A
⊂
B
⊂
X
{\displaystyle A\subset B\subset X}
maka
-
μ
∗
(
A
)
≤
μ
∗
(
B
)
{\displaystyle \mu ^{*}(A)\leq \mu ^{*}(B)}
-
μ
∗
(
A
)
≤
μ
∗
(
B
)
{\displaystyle \mu ^{*}(A)\leq \mu ^{*}(B)}
- Subaditifitas: jika
A
1
{\displaystyle A_{1}\,}
, A 2 {\displaystyle A_{2}\,}
, A 3 {\displaystyle A_{3}\,}
, ... suatu barisan terhitung dari himpunan bagian X {\displaystyle X\,}
-
μ
∗
(
⋃
i
=
1
∞
A
i
)
≤
∑
i
=
1
∞
μ
∗
(
A
i
)
.
{\displaystyle \mu ^{*}\left(\bigcup _{i=1}^{\infty }A_{i}\right)\leq \sum _{i=1}^{\infty }\mu ^{*}(A_{i}).}
-
μ
∗
(
⋃
i
=
1
∞
A
i
)
≤
∑
i
=
1
∞
μ
∗
(
A
i
)
.
{\displaystyle \mu ^{*}\left(\bigcup _{i=1}^{\infty }A_{i}\right)\leq \sum _{i=1}^{\infty }\mu ^{*}(A_{i}).}
Referensi
- Halmos, Paul R. (2013-12-19). Measure Theory (dalam bahasa Inggris). Springer. ISBN 978-1-4684-9440-2.
- Papadimitrakis, Mihalis (2004). Notes on Measure Theory (PDF). Heraklion: University of Crete.
{{cite book}}: Pemeliharaan CS1: Status URL (link)