Ölçülebilir fonksiyon olabilmesi için 2 şart sağlamalı
1)Fonksiyonumuzun tanım kümesi ölçülebilir olmalı.Şunu biliyoruz m∗()=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∈E:f(x)>c} onlardan bir tanesi bu.Bunu nasıl gösterebilirim ?