Ukuran luar

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, ${\mu }^{\ast }$, secara formalnya adalah fungsi yang didefinisikan pada himpunan kuasa, $𝒫(X)$ pada himpunan $X$ yang dipetakan menuju $[0,\mathrm{\infty }]$ (lihat bilangan real diperluas), dan memenuhi sifat-sifat:

• Himpunan kosong berukuran nol:

${\mu }^{\ast }(\varnothing )=0;$

• Kemononotonan; jika $A\subset B\subset X$ maka

${\mu }^{\ast }(A)\le {\mu }^{\ast }(B)$

• Subaditifitas: jika $A_1$, $A_2$, $A_3$, ... suatu barisan terhitung dari himpunan bagian $X$, maka

${\mu }^{\ast }\left(\bigcup _{i=1}^{\mathrm{\infty }}{A}_i\right)\le \sum _{i=1}^{\mathrm{\infty }}{\mu }^{\ast }(A_i).$

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 22594213 (2023-01-09T03:17:34Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.