Aljabar sigma: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
Baris 2: | Baris 2: | ||
== Definisi == |
== Definisi == |
||
Misalkan <math> X </math> himpunan dan <math> \mathcal{P}(X) </math> [[Himpunan (matematika)#Himpunan kuasa| himpunan |
Misalkan <math> X </math> himpunan dan <math> \mathcal{P}(X) </math> [[Himpunan (matematika)#Himpunan kuasa| himpunan kuasa]]. Keluarga bagian <math> \Sigma \subseteq \mathcal{P} (X) </math> disebut '''aljabar-σ''', jika memenuhi sifat-sifat: |
||
# <math> X \in \Sigma </math>. |
# <math> X \in \Sigma </math>. |
||
# Jika <math> A \in \Sigma </math>, maka <math> X \setminus A \in \Sigma </math>. |
# Jika <math> A \in \Sigma </math>, maka <math> X \setminus A \in \Sigma </math>. |
Revisi per 8 April 2016 21.30
Dalam matematika, aljabar-σ adalah konsep keluarga himpunan yang penting.
Definisi
Misalkan himpunan dan himpunan kuasa. Keluarga bagian disebut aljabar-σ, jika memenuhi sifat-sifat:
- .
- Jika , maka .
- Jika , maka .
Dalam teori ukuran, pasangan disebut ruang terkur.
Contoh
- Untuk suatu himpunan , aljabar-σ yang terkecil dan aljabar-σ yang terbesar.
- Untuk suatu ruang topologi , aljabar Borel adalah aljabar-σ terkecil yang memuat semua himpunan dari .