Ölçülebilir fonksiyon olabilmesi için 2 şart sağlamalı
1)Fonksiyonumuzun tanım kümesi ölçülebilir olmalı.Şunu biliyoruz $m^{\ast }()=0$ ise küme lebesgue ölçülebilir kümedir.1.koşul sağlandı.
2) Bildiğimiz 4 tane önermemiz var bu 4 önermeden bir tanesi sağladığını göstermemiz yeterli.
$\{ x\in E:f\left( x\right) >c\}$ onlardan bir tanesi bu.Bunu nasıl gösterebilirim ?
Hangi fonksiyonun ölçülebilir olduğu gösterilecek?
dış ölçümü 0 olan bir kümenin
Dış ölçümü 0 olan kümenin ölçümü kaç olur?
sıfır olmalı
$\{ x\in E:f\left( x\right) >c\}$ Buradaki E ne?
Ölçülebilir bir kümenin her alt kümesi ölçülebilir mıdır?
R nin her alt kümesi ölçülebilir mi?
Şimdi oldu. e nin ölçümünün 0 olması burada kritik.