Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
2.4k kez görüntülendi
Lisans Matematik kategorisinde (3.7k puan) tarafından  | 2.4k kez görüntülendi

1 cevap

0 beğenilme 0 beğenilmeme

Tanım: $(X,\mathcal{A})$, $(Y,\mathcal{B})$ iki ölçüm uzayı, $f: X\mapsto Y$ de bir fonksiyon olsun. Eğer her $B\in \mathcal{B}$ için $f^{-1}(B)\in \mathcal{A}$ geçerli ise, $f$'ye ($\mathcal{A}$-$\mathcal{B}$-) ölçülebilir fonksiyon denir.

Özel olarak $f:X\mapsto \mathbb{R}$ durumunda eğer her $t$ sayısı için katman kümesi $S_f(t):=\{x\in X:f(x)>t\}\in \mathcal{A}$ ise, $f$'ye ($\mathcal{A}$'ya göre) ölçülebilir fonksiyon denir (katman kümesinin tanımında $>$ yerine $<$, $\geq$ ya da $\leq$ koyulması fark yaratmaz). $f:X\mapsto \mathbb{C}$'nin ölçülebilir olması için de, aynı şekilde, $Ref$ ve $Imf$'nin ölçülebilir olması gereklidir.

Not: $f$'ye $\mathcal{A}$-ölçülebilir yerine -eğer $\mathcal{A}$ üzerinde bir $\mu$ ölçüsü tanımlıysa- $\mu$-ölçülebilir denildiği olur. Ama ölçülebilirlik için bir ölçü gerekmez.

Ayrıca bkz.image $\sigma$-cebiri nedir? $\mathbb{R}$ üzerinde tanımlı Borel $\sigma$-cebiri nedir?


(1.2k puan) tarafından 
tarafından düzenlendi
20,200 soru
21,726 cevap
73,275 yorum
1,887,769 kullanıcı