Düzenli Borel ölçüsü

Matematiğin bir alt dalı olan gerçel analizde, özellikle ölçü kuramında, düzenli Borel ölçüsü bir topolojik uzayda Borel kümelerini ölçülebilir kılan bir dış ölçüdür. Düzenli Borel ölçüsünün değişik Borel ölçüsü tanımlarından sebepli değişik tanımları mevcuttur.

Düzenli Borel ölçüsü terimi, Borel kümesi, Borel ölçüsü gibi kavramlara da adı verilen  Émile Borel'in adını taşımaktadır.
 Tanımı 
Düzenli Borel ölçüsünün üç değişik esas tanımı bulunmaktadır ve bunların her biri Borel ölçüsünün tanımlarına göre değişiklik göstermektedir:
Birinci tanıma göre düzenli Borel ölçüsü kapalı her Borel kümesi  için

eşitliğini sağlayan Borel ölçülerine verilen addır.
İkinci bir tanıma göre düzenli Borel ölçüsü herhangi Borel kümesi  için

ve 

eşitliklerini sağlayan Borel ölçülerine verilen addır.P.R. Halmos, "Measure theory" , v. Nostrand (1950)
Üçüncü bir tanıma göre ise düzenli Borel ölçüsü topolojik bir  uzayındaki her  için  eşitliğini sağlayacak bir  Borel kümesinin varlığını gerçekleyen Borel dış ölçüsüdür.P. Mattila, "Geometry of sets and measures in euclidean spaces". Cambridge Studies in Advanced Mathematics, 44. Cambridge University Press, Cambridge, 1995. Bu tanımda,  kümesine ölçülebilir şartı getirilmesi gerekmediğine dikkat edilmelidir. Çünkü,  dış ölçü olduğu için,  ifadesi iyi tanımlıdır.

 Özellikler 
 'deki Lebesgue dış ölçüsü düzenli Borel ölçüsüdür. 
 Eğer bir Borel ölçüsü hem içeriden hem dışarıdan düzenli ve yerel sonlu ölçüyse, o zaman bu ölçüye Radon ölçüsü adı verilir.

 Kaynakça 

Kategori:Ölçü teorisi