# Ö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.
(X,Σ) ve (Y,Τ) ölçülebilir uzaylar olsun. Burada X ve Y, sırasıyla Σ ve Τ σ-cebirleri ile donatılmış kümelerdir.
Bir f : X →Y fonksiyonu, eğer her E ∈Τ için ters görüntüsü f^-1(E) ∈Σ olacak şekilde tanımlanmışsa, ölçülebilir olarak adlandırılır. Yani:
f^-1(E) := { x ∈X : f(x) ∈E } ∈Σ.
Başka bir ifadeyle, σ(f) ⊆Σ olmalıdır; burada σ(f), f tarafından oluşturulan σ-cebirini ifade eder.
Fonksiyonun ölçülebilir olduğunu vurgulamak için genellikle şöyle yazılır:
f (X, Σ) →(Y, Τ).


## 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 (X, Σ) ve (Y, T) Borel uzayı ise, f : (X, Σ) →(Y, T) 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, f : (, ℒ) →(, ℬ_) 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.
f : X → biçimindeki bir fonksiyonun ölçülebilir olması, aşağıdaki ifadelerden herhangi birinin sağlanmasıyla eşdeğerdir:
  - {x ∈X : f(x) gt  α} ölçülebilirdir (her α∈ için),
  - {f ≥α}, {f lt  α}, {f ≤α} 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 f : X → 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.
  - f : (X, Σ_1) →(Y, Σ_2) ve g : (Y, Σ_2) →(Z, Σ_3) ölçülebilir fonksiyonlar ise, bileşkeleri g ∘f de ölçülebilirdir.
  - Ancak, g fonksiyonu Σ_3 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ı lim sup ve en büyük alt sınır lim inf ölçülebilirdir.
  - Eğer f_n : X →Y ölçülebilir fonksiyonlar dizisi, Y metrik bir uzaysa (Borel cebiriyle birlikte), noktasal limit fonksiyon da ölçülebilirdir. Bu durum, Y 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 (X, Σ) bir ölçü uzayı ve A ⊂X ölçülemez bir küme ise, o zaman A'nın gösterge fonksiyonu ölçülemez olur:
1_A(x) = 1 amp; eğer x ∈A 
 0 amp; aksi halde 
Bu fonksiyon üzerindeki Borel cebirine göre ölçülemezdir çünkü {1}'in ters görüntüsü ölçülemez olan A'dır.
Başka bir örnek: Σ= {∅, X} olan aşikar σ-cebiri için tanımlı ve sabit olmayan herhangi bir f : X → fonksiyonu da ölçülemezdir.