Ölçülebilir fonksiyon

Matematikte, özellikle ölçü kuramında, bir ölçülebilir fonksiyon, iki ölçülebilir uzay arasındaki temel kümeler üzerinde tanımlı ve bu uzayların yapısını koruyan bir fonksiyondur: her ölçülebilir kümenin ters görüntüsü yine ölçülebilirdir. Bu durum, topolojik uzaylar arasındaki açık bir kümenin ters görüntüsü açık olur tanımını gerektiren sürekli fonksiyon tanımıyla doğrudan benzerdir.

Gerçel analizde, ölçülebilir fonksiyonlar Lebesgue integralinin tanımında kullanılır. Olasılık kuramında ise, bir olasılık uzayı üzerindeki ölçülebilir fonksiyonlara rasgele değişken denir.
Tanım
 ve  ölçülebilir uzaylar olsun. Burada  ve , sırasıyla  ve  σ-cebirleri ile donatılmış kümelerdir.

Bir  fonksiyonu, eğer her  için ters görüntüsü  olacak şekilde tanımlanmışsa, ölçülebilir olarak adlandırılır. Yani:

Başka bir ifadeyle,  olmalıdır; burada ,  tarafından oluşturulan σ-cebirini ifade eder.

Fonksiyonun ölçülebilir olduğunu vurgulamak için genellikle şöyle yazılır:

Terim kullanımı

Tanımda geçen -cebirlerinin seçimi bağlama göre değişebilir. Örneğin, ,  veya başka bir topolojik uzayda, genellikle Borel cebiri kullanılır (tüm açık kümeler tarafından oluşturulan σ-cebiri). Bazı kaynaklar, ölçülebilir fonksiyonu yalnızca Borel cebiri bağlamında tanımlar.

Eğer fonksiyonun değerleri sonsuz boyutlu vektör uzayında yer alıyorsa, zayıf ölçülebilirlik ve Bochner ölçülebilirliği gibi eşdeğer olmayan başka tanımlar da mevcuttur.

Önemli ölçülebilir fonksiyon sınıfları

 Rasgele değişkenler tanım gereği, olasılık uzayları üzerinde tanımlı ölçülebilir fonksiyonlardır.
 Eğer  ve  Borel uzayı ise,  fonksiyonu Borel fonksiyonu olarak adlandırılır. Her sürekli fonksiyon bir Borel fonksiyonudur, ancak tersi doğru değildir. Yine de, ölçülebilir fonksiyonlar neredeyse sürekli fonksiyonlardır (bkz. Luzin teoremi).
 Lebesgue ölçülebilir bir fonksiyon,  biçiminde bir fonksiyondur. Burada , gerçel sayı doğrusundaki Lebesgue ölçülebilir kümeleri belirleyen σ-cebiri ve , karmaşık sayılar üzerindeki Borel cebiridir. Bu tür fonksiyonlar integrallenebilir niteliktedir.

 biçimindeki bir fonksiyonun ölçülebilir olması, aşağıdaki ifadelerden herhangi birinin sağlanmasıyla eşdeğerdir:
  ölçülebilirdir (her  için),
  kümeleri ölçülebilirdir,
 herhangi bir açık kümenin ters görüntüsü ölçülebilirdir.

Sürekli fonksiyonlar, monoton fonksiyonlar, basamak fonksiyonları, yarı-sürekli fonksiyonlar, Riemann integrallenebilir fonksiyonlar ve sınırlı değişimli fonksiyonların tümü Lebesgue ölçülebilirdir.

Bir  fonksiyonunun ölçülebilir olması ancak ve ancak gerçel ve sanal ksımlarının ölçülebilir olmasıyla mümkündür.

Ölçülebilir fonksiyonların özellikleri

 İki karmaşık değerli ölçülebilir fonksiyonun toplamı ve çarpımı ölçülebilirdir. Sıfıra bölme içermediği sürece bölümleri de ölçülebilirdir.
  ve  ölçülebilir fonksiyonlar ise, bileşkeleri  de ölçülebilirdir.
 Ancak,  fonksiyonu  yerine daha büyük bir σ-cebiriyle tanımlıysa, bileşke her zaman ölçülebilir olmayabilir.
 Gerçel değerli ölçülebilir fonksiyonlardan oluşan bir dizinin noktasal üst sınırı, alt sınırı, en küçük üst sınırı  ve en büyük alt sınır  ölçülebilirdir.
 Eğer  ölçülebilir fonksiyonlar dizisi,  metrik bir uzaysa (Borel cebiriyle birlikte), noktasal limit fonksiyon da ölçülebilirdir. Bu durum,  metrik olmayan bir uzay olduğunda genellikle geçerli değildir. Sürekli fonksiyonlar için benzer ifadenin geçerli olabilmesi için, noktasal yakınsamadan daha güçlü koşullar gereklidir; örneğin, tekbiçimli yakınsama gibi.

Ölçülemez fonksiyonlar

Uygulamalarda karşılaşılan çoğu gerçel değerli fonksiyon ölçülebilirdir; ancak seçim aksiyomu kullanılarak ölçülemez fonksiyonların varlığı kolayca gösterilebilir. Bu tür örneklerin çoğu, Zermelo–Fraenkel küme kuramı içinde seçim aksiyomunu gerektirir.

Eğer  bir ölçü uzayı ve  ölçülemez bir küme ise, o zaman 'nın gösterge fonksiyonu ölçülemez olur:

Bu fonksiyon  üzerindeki Borel cebirine göre ölçülemezdir çünkü 'in ters görüntüsü ölçülemez olan 'dır.

Başka bir örnek:  olan aşikar σ-cebiri için tanımlı ve sabit olmayan herhangi bir  fonksiyonu da ölçülemezdir.

Ayrıca bakınız



  – Ölçülebilir fonksiyonlardan oluşan vektör uzayları




Kaynakça

Dış bağlantılar

 Ölçülebilir fonksiyon – Matematik Ansiklopedisi
 Borel fonksiyonu – Matematik Ansiklopedisi

Kategori:Ölçü teorisi
Kategori:Fonksiyon türleri