Ölçü (matematik)

Şablon:Ortala

Matematiğin bir alt dalı olana analizde ölçü bir kümeye ve bu kümenin uygun altkümelerine negatif olmayan bir genişletilmiş sayı atayan bir fonksiyondur. Ölçü kavramı, uzunluk, alan ve hacim kavramlarının sistemli bir genellemesidir. Önemli ölçü örneklerinden birisi Şablon:Matematik-boyutlu Öklid uzayı Şablon:Matematik'nin uygun alt kümelerine Öklid geometrisindeki geleneksel uzunluk, alan ve hacim gibi kavramlarına karşılık gelen sayıları atayan Lebesgue ölçüsüdür. Örneğin, gerçek sayılardaki Şablon:Matematik aralığının Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur; diğer deyişle, Şablon:Matematik aralığının ölçüsü 1'dir.

Ölçülerin fonksiyonların integrallerinin alınması ile yakından ilgisi vardır ve Lebesgue integrali gibi modern integral kavramlarının temelini oluştururlar. Ölçülerin oluşturulması, özellikleri ve ölçülere göre integral almayı konu edinen matematik kuramına ölçü kuramı veya ölçü teorisi denir.

Teknik olarak, ölçü, bir Şablon:Mvar kümesinin (belirli) alt kümelerine negatif olmayan bir gerçel sayı veya Şablon:Math atayan bir fonksiyondur (aşağıdaki Tanıma bakınız). Ayrıca sayılabilir şekilde toplanır olmalıdır: Sonlu (veya sayılabilir olarak sonsuz) sayıda "daha küçük" ayrık alt kümelere ayrıştırılabilen "büyük" bir alt kümenin ölçüsü, bu "daha küçük" alt kümelerin ölçülerinin toplamına eşittir. Genel olarak, bir ölçünün diğer aksiyomlarını yerine getirirken belirli bir kümenin her bir alt kümesiyle tutarlı bir boyutu ilişkilendirilmek istenirse, yalnızca sayma ölçüsü gibi önemsiz örnekler bulunur. Bu problem, ölçüsü bir [[Sigma-cebir|Şablon:Matematik-cebir]] oluşturmak için gerekli olan ölçülebilir alt kümeler olarak adlandırılan, yalnızca tüm alt kümelerin bir alt koleksiyonu üzerinde tanımlayarak çözüldü. Bu, sayılabilir birliklerin, sayılabilir kesişimlerin ve ölçülebilir alt kümelerin tamamlayıcılarının ölçülebilir olduğu anlamına gelir. Üzerinde Lebesgue ölçüsünün tutarlı bir şekilde tanımlanamadığı bir Öklid uzayındaki ölçülemeyen kümeler, tamamlayıcıları ile kötü bir şekilde karıştırılma anlamında zorunlu olarak karmaşıktır. Aslında onların varlığı, seçim aksiyomunun en az bir değişkeni sıfırdan farklı olan (non-trivial) bir sonucudur.

Ölçüm teorisi, 19. yüzyılın sonları ve 20. yüzyılın başlarında diğerlerinin yanı sıra Émile Borel, Henri Lebesgue, Johann Radon ve Maurice Fréchet tarafından birbirini takip eden aşamalarda geliştirildi. Ölçülerin ana uygulamaları, Lebesgue integralinin temelleri içinde, Andrey Kolmogorov'un belitleştirilmesine ait olasılık teorisinde ve ergodik teoride yer almaktadır. Entegrasyon teorisinde, bir ölçü belirtmek, Öklid uzayının alt kümelerinden daha genel uzaylar üzerindeki integrallerin tanımlamasına izin verir; dahası, Öklid uzayları üzerine Lebesgue ölçümü ile ilgili integral daha geneldir ve selefi Riemann integralinden daha zengin bir teoriye sahiptir. Olasılık teorisi, tüm kümeye 1 büyüklüğünü atayan ölçüleri dikkate alır ve ölçülebilir alt kümeleri olasılıkları ölçü tarafından verilen olaylar olarak kabul eder. Ergodik teori, bir dinamik sistem altında değişmeyen veya doğal olarak ortaya çıkan ölçüleri dikkate alır.

Tanım

Şablon:Ortala

Şablon:Mvar bir küme ve Şablon:Mvar, Şablon:Mvar üzerinde bir [[Sigma-cebir|Şablon:Matematik-cebir]] olsun. Şablon:Mvar'dan genişletilmiş gerçek sayı doğrusuna bir Şablon:Mvar fonksiyonuna, aşağıdaki özellikleri sağlıyorsa ölçü denir:

• Negatif olmama: Σ'daki tüm Şablon:Matematik'ler için, Şablon:Matematik'dir.
• Sıfır boş küme: $\mu (\varnothing )=0$.
• Sayılabilir toplanırlık (veya [[Sigma toplanırlık|Şablon:Matematik-toplanırlık]]): Σ'de tüm sayılabilir koleksiyonlar $\{E_k{\}}_{k=1}^{\mathrm{\infty }}$ için ikili ayrık kümeler,

$\mu \left(\underset{k=1}{\overset{\mathrm{\infty }}{⨆}}{E}_k\right)=\sum _{k=1}^{\mathrm{\infty }}\mu (E_k).$

En az bir küme $E$ sonlu bir ölçüye sahipse, $\mu (\varnothing )=0$ otomatik olarak karşılanır. Nitekim sayılabilir toplanırlık vasıtasıyla,

$\mu (E)=\mu (E\cup \varnothing )=\mu (E)+\mu (\varnothing ),$

ve bu nedenle $\mu (\varnothing )=0.$

Yukarıdaki ölçü tanımının yalnızca ikinci ve üçüncü koşulları karşılanırsa ve Şablon:Mvar, Şablon:Matematik değerlerinden en fazla birini alırsa, Şablon:Mvar işaretli ölçü olarak adlandırılır.

Şablon:Matematik çifti, bir ölçülebilir uzay olarak adlandırılır, Σ'nın üyelerine ölçülebilir kümeler denir. Eğer $(X,{\mathrm{\Sigma }}_X)$ ve $(Y,{\mathrm{\Sigma }}_Y)$ iki ölçülebilir uzay ise, eğer her Şablon:Matematik-ölçülebilir küme $B\in {\mathrm{\Sigma }}_Y$ için, ters görüntü Şablon:Mvar ölçülebilir -yani: $f^{(-1)}(B)\in {\mathrm{\Sigma }}_X$ ise, ardından bir fonksiyon $f:X\to Y$ ölçülebilir olarak adlandırılır. Bu kurulumda, ölçülebilir fonksiyonların bileşimi ölçülebilirdir ve ölçülebilir uzaylar ile ölçülebilir fonksiyonlar, nesneler olarak ölçülebilir uzaylar ve oklar gibi ölçülebilir fonksiyonlar kümesini bir kategori haline getirir. Ayrıca başka bir kurulumla ilgili bkz. Ölçülebilir fonksiyon#Terim kullanım varyasyonları.

Bir Şablon:Matematik üçlüsü ölçü uzayı olarak adlandırılır. Bir olasılık ölçüsü, toplam ölçüsü bir olan bir ölçüdür - yani Şablon:Matematik . Olasılık uzayı, olasılık ölçüsüne sahip bir ölçü uzayıdır.

Aynı zamanda topolojik uzay olan ölçü uzayları için, ölçü ve topoloji için çeşitli uyumluluk koşulları yerleştirilebilir. Pratikte analizde (ve çoğu durumda olasılık teorisinde de) karşılaşılan ölçülerin çoğu Radon ölçüleridir. Radon ölçüleri, kompakt destekli sürekli fonksiyonların yerel dışbükey uzayında doğrusal fonksiyonlar açısından alternatif bir tanıma sahiptir. Bu yaklaşım Bourbaki (2004) ve bir dizi başka kaynak tarafından alınmıştır. Daha fazla ayrıntı için Radon ölçüleri hakkındaki makaleye bakın.

Örnekler

Bazı önemli ölçüler burada listelenmiştir.

• Sayma ölçüsü Şablon:Matematik = Şablon:Matematik öğelerin sayısı ile tanımlanır.
• Şablon:Matematik üzerindeki Lebesgue ölçüsü, Şablon:Matematik Şablon:Matematik aralıkları içeren bir σ-cebirinde bir tam öteleme-değişmez ölçüdür; ve bu özelliklere sahip diğer her ölçü Lebesgue ölçüsünü genişletir.
• Dairesel açı ölçüsü, döndürme altında değişmez ve hiperbolik açı ölçüsü, sıkıştırma dönüşümü altında değişmez.
• Bir yerel tıkız topolojik grup için Haar ölçüsü, Lebesgue ölçüsünün (ve ayrıca sayma ölçüsü ve dairesel açı ölçüsünün) bir genellemesidir ve benzer benzersizlik özelliklerine sahiptir.
• Hausdorff ölçüsü, Lebesgue ölçüsünün tam sayı olmayan boyutlu kümelere, özellikle fraktal kümelere bir genellemesidir.
• Her olasılık uzayı, tüm uzayda 1 değerini alan (ve dolayısıyla tüm değerlerini [0, 1] birim aralığında alan) bir ölçüye yol açar. Böyle bir ölçüme olasılık ölçüsü denir. Olasılık aksiyomlarına bakın.
• Dirac ölçüsü δ_a (cf. Dirac delta fonksiyonu), χ_S Şablon:Matematik'nin gösterge fonksiyonu olmak üzere δ_a(S) = χ_S(a) ile verilir. Bir kümenin ölçüsü, eğer Şablon:Matematik noktasını içeriyorsa 1, aksi takdirde 0'dır.

Çeşitli teorilerde kullanılan diğer 'adlandırılmış' ölçüler şunları içerir: Borel ölçüsü, Jordan ölçüsü, ergodik ölçü, Euler ölçüsü, Gauss ölçüsü, Baire ölçüsü, Radon ölçüsü, Young ölçüsü ve Loeb ölçüsü.

Fizikte bir ölçüye örnek olarak kütlenin uzamsal dağılımı (örneğin, yerçekimi potansiyeline bakınız) veya korunan başka bir negatif olmayan kapsamlı özellik gösterilebilir (bunların bir listesi için korunum yasasına bakınız). Negatif değerler, işaretli ölçümlere yol açar, aşağıdaki "genellemeler" bölümüne bakın.

• Semplektik bir manifolddaki doğal hacim formu olarak da bilinen Liouville ölçüsü, klasik istatistiksel ve Hamilton mekaniğinde faydalıdır.
• Gibbs ölçüsü, istatistiksel mekanikte, genellikle kanonik topluluk adı altında yaygın olarak kullanılmaktadır.

Temel özellikler

Şablon:Mvar bir ölçü olsun.

Monotonluk

Eğer Şablon:Matematik ve Şablon:Matematik, Şablon:Matematik olmak üzere ölçülebilir kümeler ise,

$\mu (E_1)\le \mu (E_2).$

Sayılabilir birleşim ve kesişimlerin ölçüsü

Alt toplanırlık

Σ'deki (mutlaka ayrık olmayan) Şablon:Matematik ölçülebilir kümelerinin herhangi bir sayılabilir Şablon:Matematik dizisi için:

$\mu \left(\bigcup _{i=1}^{\mathrm{\infty }}{E}_i\right)\le \sum _{i=1}^{\mathrm{\infty }}\mu (E_i).$

Alttan süreklilik

Şablon:Matematik ölçülebilir kümeler ve $E_n\subseteq E_{n+1}$ ise tüm Şablon:Matematik, Şablon:Matematik kümelerinin birleşimi ölçülebilirdir ve aşağıdaki ifade geçerlidir:

$\mu \left(\bigcup _{i=1}^{\mathrm{\infty }}{E}_i\right)=\underset{i\to \mathrm{\infty }}{\lim }\mu (E_i).$

Üstten süreklilik

Şablon:Matematik ölçülebilir kümeler ise ve tüm Şablon:Matematik, $E_{n+1}\subseteq E_n$ için, Şablon:Matematik kümelerinin kesişimi ölçülebilirdir; ayrıca, en az bir Şablon:Matematik sonlu bir ölçüye sahipse, o zaman

$\mu \left(\bigcap _{i=1}^{\mathrm{\infty }}{E}_i\right)=\underset{i\to \mathrm{\infty }}{\lim }\mu (E_i).$

Bu özellik, en az bir Şablon:Matematik'nin sonlu ölçüye sahip olduğu varsayımı olmaksızın yanlıştır. Örneğin, her Şablon:Matematik, Şablon:Matematik, bunların hepsi sonsuz Lebesgue ölçüsüne sahiptir, ancak kesişim boştur.

Sigma-sonlu ölçüler

Şablon:Matematik sonlu bir gerçek sayı ise (∞ yerine) bir Şablon:Matematik ölçü uzayına sonlu denir. Sıfır olmayan sonlu ölçüler, herhangi bir sonlu ölçü Şablon:Mvar, olasılık ölçüsü ile orantılıdır; $\frac{1}{\mu (X)}\mu$ anlamında olasılık ölçüsüne benzer. Şablon:Mvar ölçüsü, Şablon:Mvar ölçülebilir sonlu ölçü kümelerinin sayılabilir bir birleşimine ayrıştırılabiliyorsa, σ-sonlu olarak adlandırılır. Benzer şekilde, bir ölçü uzayındaki bir kümenin, sonlu ölçülü kümelerin sayılabilir bir birleşimi ise, bir σ-sonlu ölçüsü olduğu söylenir.

Örneğin, standart Lebesgue ölçüsüne sahip reel sayılar σ-sonludur, ancak sonlu değildir. Tüm Şablon:Matematik tam sayıları için kapalı aralıkları Şablon:Matematik düşünün; sayılabilecek bu tür aralıklar vardır, her birinin ölçüsü 1'dir ve bunların birleşimi tüm gerçek doğrudur. Alternatif olarak, her sonlu gerçekler kümesine kümedeki nokta sayısını atayan sayma ölçüsü ile gerçek sayıları düşünün. Bu ölçü uzayı σ-sonlu değildir, çünkü sonlu ölçülü her küme yalnızca sonlu sayıda nokta içerir ve tüm gerçek doğruyu kaplamak için sayılamayacak kadar çok sayıda küme gerekir. Σ-sonlu ölçü uzaylarının bazı çok uygun özellikleri vardır; σ-sonluluğu bu bağlamda topolojik uzayların Lindelöf özelliği ile karşılaştırılabilir. Bir ölçü uzayının 'sayılamayan ölçüye' sahip olabileceği fikrinin belirsiz bir genellemesi olarak da düşünülebilirler.

s-sonlu ölçüler

Bir ölçü, sınırlı ölçülerin sayılabilir bir toplamı ise, s-sonlu olduğu söylenir. S-sonlu ölçüler sigma-sonlu ölçülerden daha geneldir ve stokastik süreçler teorisinde uygulamaları vardır.

Tamlık

Ölçülebilir Şablon:Mvar kümesi, Şablon:Matematik ise boş küme olarak adlandırılır. Boş kümenin bir alt kümesine ihmal edilebilir küme denir. İhmal edilebilir bir kümenin ölçülebilir olması gerekmez, ancak ölçülebilir her ihmal edilebilir küme otomatik olarak bir boş kümedir. Her ihmal edilebilir küme ölçülebilir ise bir ölçü eksiksiz olarak adlandırılır.

Ölçülebilir bir Şablon:Mvar kümesinden ihmal edilebilir bir küme kadar farklılık gösteren Şablon:Matematik alt kümelerinin σ-cebiri dikkate alınarak, yani Şablon:Mvar ve Şablon:Matematik simetri farkı bir sıfır kümede yer alacak şekilde bir ölçü, tam bir ölçü olarak genişletilebilir. Bu, Şablon:Matematik'yi Şablon:Matematik'e eşit olarak tanımlar.

Toplanırlık

Ölçümlerin sayılabilecek şekilde toplanır olması gerekmektedir. Ancak durum aşağıdaki şekilde güçlendirilebilir. Herhangi bir $I$ kümesi ve herhangi bir negatif olmayan $r_i,i\in I$ için;

$\sum _{i\in I}{r}_i=\sup \{\sum _{i\in J}{r}_i:|J|<{\mathrm{\aleph }}_0,J\subseteq I\}.$

Yani, $r_i$ toplamını, sonlu birçoğunun tüm toplamlarının eküsü (supremum) olarak tanımlıyoruz.

$\mathrm{\Sigma }$'da bir $\mu$ ölçüsü, eğer herhangi bir $\lambda <\kappa$ ve herhangi bir ayrık küme ailesi $X_{\alpha },\alpha <\lambda$ için aşağıdaki sağlanırsa $\kappa$-toplanır'dır:

$\bigcup _{\alpha \in \lambda }{X}_{\alpha }\in \mathrm{\Sigma }$

$\mu \left(\bigcup _{\alpha \in \lambda }{X}_{\alpha }\right)=\sum _{\alpha \in \lambda }\mu \left(X_{\alpha }\right).$

İkinci koşulun, boş kümelerin idealinin $\kappa$-tam olduğu ifadeye eşdeğer olduğuna dikkat edin.

Ölçülemeyen kümeler

Seçim aksiyomunun doğru olduğu varsayılırsa, Öklid uzayının tüm alt kümelerinin Lebesgue ölçülebilir olmadığı kanıtlanabilir; Bu tür kümelerin örnekleri arasında Vitali kümesi ve Hausdorff paradoksu ve Banach-Tarski paradoksu tarafından öne sürülen ölçülemeyen kümeler bulunur.

Genellemeler

Belirli amaçlar için, değerleri negatif olmayan gerçeklerle veya sonsuzlukla sınırlı olmayan bir "ölçüye" sahip olmak yararlıdır. Örneğin, değerleri (işaretli) gerçek sayılarda olan sayılabilir bir toplanır küme fonksiyonuna işaretli ölçü, karmaşık sayılarda değerlere sahip böyle bir fonksiyona ise karmaşık ölçü denir. Banach uzaylarında değer alan ölçüler kapsamlı bir şekilde çalışılmıştır. Bir Hilbert uzayında kendine eşlenik izdüşümler kümesindeki değerleri alan bir ölçüye, izdüşüm değerli ölçü adı verilir; bunlar, spektral teorem için fonksiyonel analizde kullanılır. Negatif olmayan değerler alan olağan ölçüleri genellemelerden ayırmak gerektiğinde, pozitif ölçü terimi kullanılır. Pozitif ölçüler, konik kombinasyon altında kapatılır, ancak genel doğrusal kombinasyon değil, işaretli ölçüler pozitif ölçülerin doğrusal kapanmasıdır.

Diğer bir genelleme, içerik olarak da bilinen sonlu toplanır ölçüdür. Bu, sayılabilir toplanırlığa ihtiyaç duymak yerine sadece sonlu toplanırlığa ihtiyacımız olması dışında bir ölçü ile aynıdır. Tarihsel olarak, bu tanım ilk önce kullanıldı. Genel olarak, sonlu toplanır ölçümlerin Banach limitleri, L^∞ ikilisi ve Stone-Čech kompaktlaştırma gibi kavramlarla bağlantılı olduğu ortaya çıktı. Tüm bunlar bir şekilde seçim aksiyomuna bağlıdır. Geometrik ölçü teorisindeki bazı teknik problemlerde içerik yararlı olmaya devam etmektedir; bu Banach ölçülerinin teorisidir.

Bir yük, her iki yöndeki bir genellemedir: Sonlu toplanırlığa sahip, işaretli bir ölçüdür.

Ayrıca bakınız

• Lebesgue integrali
• Kaldırma teorisi (Lifting theory)
• İleri itme ölçüsü (Pushforward measure)
• Yoğunluk biçimi (Volume form)

Bibliyografya

• Robert G. Bartle (1995) The Elements of Integration and Lebesgue Measure, Wiley Interscience.
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak Chapter III.
• R. M. Dudley, 2002. Real Analysis and Probability. Cambridge University Press.
• Şablon:Kaynak Second edition.
• Federer, Herbert. Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp.
• D. H. Fremlin, 2000. Measure Theory Şablon:Webarşiv. Torres Fremlin.
• Şablon:Kaynak
• R. Duncan Luce & Louis Narens (1987). "measurement, theory of," The New Palgrave: A Dictionary of Economics, v.3, ss. 428–32.
• M. E. Munroe, 1953. Introduction to Measure and Integration. Addison Wesley.
• Şablon:Kaynak
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. Şablon:ISBN. Emphasizes the Daniell integral.
• Şablon:Kaynak
• Şablon:Kitap kaynağı
• Şablon:Kitap kaynağı

Dış bağlantılar

• Şablon:Springer
• Tutorial: Measure Theory for Dummies Şablon:Webarşiv (Eğitim dokümanı: Aptallar için Ölçü Teorisi)