Ölçü (matematik)

Matematiksel analizde, küme üzerindeki bir ölçü, bu kümenin her bir uygun alt kümesine bir sayı atamanın sistematik bir yoludur ve sezgisel olarak kümenin boyutu olarak yorumlanır. Bu anlamda ölçü, uzunluk, alan ve hacim kavramlarının bir genellemesidir. Özellikle önemli bir örnek, Öklid geometrisinin geleneksel uzunluğunu, alanını ve hacmini n-boyutlu Öklid uzayının Rⁿ uygun alt kümelerine atayan bir Öklid uzayındaki . Örneğin, gerçek sayılardaki [0, 1] Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur ve tam olarak 1'dir.

Gayri resmi olarak, bir ölçü olma özelliğine sahiptir, yani A, B’nin bir alt kümesi ise, A’nın ölçüsü B’nin ölçüsünden küçük veya ona eşittir. Ayrıca, boş kümenin ölçüsünün 0 olması gerekir.

Teknik olarak, ölçü, bir X kümesinin (belirli) alt kümelerine negatif olmayan bir gerçel sayı veya +∞ atayan bir fonksiyondur (aşağıdaki Tanıma bakınız). Ayrıca 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ü, "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 gibi önemsiz örnekler bulunur. Bu problem, ölçüsü bir 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 ölçülebilir olduğu anlamına gelir. Üzerinde Lebesgue ölçüsünün tutarlı bir şekilde tanımlanamadığı bir Öklid uzayındaki , 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, ve tarafından birbirini takip eden aşamalarda geliştirildi. Ölçülerin ana uygulamaları, Lebesgue integralinin temelleri içinde, Andrey Kolmogorov'un ait olasılık teorisinde ve 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. , bir dinamik sistem altında değişmeyen veya doğal olarak ortaya çıkan ölçüleri dikkate alır.

Tanım

Bir μ ölçüsü için sayılabilir toplanırlık: Sayılabilir ayrık birleşimin ölçüsü, her bir alt kümenin tüm ölçülerinin toplamı ile aynıdır.

X bir küme ve Σ, X üzerinde bir olsun. Σ'dan bir μ fonksiyonuna, aşağıdaki özellikleri sağlıyorsa ölçü denir:

• Negatif olmama: Σ'daki tüm E'ler için, μ(E) ≥ 0'dir.
• Sıfır boş küme: ${\displaystyle \mu (\varnothing )=0}$.
• Sayılabilir toplanırlık (veya ): Σ'de tüm sayılabilir koleksiyonlar ${\displaystyle \{E_{k}\}_{k=1}^{\infty }}$ için ikili ayrık kümeler,

${\displaystyle \mu \left(\bigsqcup _{k=1}^{\infty }E_{k}\right)=\sum _{k=1}^{\infty }\mu (E_{k}).}$

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

${\displaystyle \mu (E)=\mu (E\cup \varnothing )=\mu (E)+\mu (\varnothing ),}$

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

Yukarıdaki ölçü tanımının yalnızca ikinci ve üçüncü koşulları karşılanırsa ve μ, ±∞ değerlerinden en fazla birini alırsa, μ olarak adlandırılır.

(X, Σ) çifti, bir olarak adlandırılır, Σ'nın üyelerine ölçülebilir kümeler denir. Eğer ${\displaystyle \left(X,\Sigma _{X}\right)}$ ve ${\displaystyle \left(Y,\Sigma _{Y}\right)}$ iki ölçülebilir uzay ise, eğer her Y-ölçülebilir küme ${\displaystyle B\in \Sigma _{Y}}$ için, ters görüntü X ölçülebilir -yani: ${\displaystyle f^{(-1)}(B)\in \Sigma _{X}}$ ise, ardından bir fonksiyon ${\displaystyle 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. .

Bir (X, Σ, μ) üçlüsü olarak adlandırılır. Bir , toplam ölçüsü bir olan bir ölçüdür - yani μ(X) = 1 . 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çüleri, sürekli fonksiyonların 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 hakkındaki makaleye bakın.

Örnekler

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

• μ(S) = S öğelerin sayısı ile tanımlanır.
• R üzerindeki , μ([0, 1]) = 1 R içeren bir σ-cebirinde bir ö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 ölçüsü, altında değişmez.
• Bir için , 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.
• , 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] 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.
• δ_a (cf. Dirac delta fonksiyonu), χ_SS'nin olmak üzere δ_a(S) = χ_S(a) ile verilir. Bir kümenin ölçüsü, eğer a 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: , , , , , , , ve .

Fizikte bir ölçüye örnek olarak kütlenin uzamsal dağılımı (örneğin, yerçekimi potansiyeline bakınız) veya başka bir negatif olmayan 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 , klasik istatistiksel ve Hamilton mekaniğinde faydalıdır.
• , istatistiksel mekanikte, genellikle adı altında yaygın olarak kullanılmaktadır.

Temel özellikler

μ bir ölçü olsun.

Monotonluk

Eğer E₁ ve E₂, E₁ ⊆ E₂ olmak üzere ölçülebilir kümeler ise,

${\displaystyle \mu (E_{1})\leq \mu (E_{2}).}$

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

Alt toplanırlık

Σ'deki (mutlaka ayrık olmayan) E_n ölçülebilir kümelerinin herhangi bir sayılabilir E₁, E₂, E₃, ... dizisi için:

${\displaystyle \mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)\leq \sum _{i=1}^{\infty }\mu (E_{i}).}$

Alttan süreklilik

E₁, E₂, E₃, ... ölçülebilir kümeler ve ${\displaystyle E_{n}\subseteq E_{n+1}}$ ise tüm n, E_n kümelerinin birleşimi ölçülebilirdir ve aşağıdaki ifade geçerlidir:

${\displaystyle \mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }\mu (E_{i}).}$

Üstten süreklilik

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

${\displaystyle \mu \left(\bigcap _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }\mu (E_{i}).}$

Bu özellik, en az bir E_n'nin sonlu ölçüye sahip olduğu varsayımı olmaksızın yanlıştır. Örneğin, her n ∈ N, E_n = [n, ∞) ⊂ R, bunların hepsi sonsuz Lebesgue ölçüsüne sahiptir, ancak kesişim boştur.

Sigma-sonlu ölçüler

μ(X) sonlu bir gerçek sayı ise (∞ yerine) bir (X, Σ, μ) ölçü uzayına sonlu denir. Sıfır olmayan sonlu ölçüler, herhangi bir sonlu ölçü μ, olasılık ölçüsü ile orantılıdır; ${\displaystyle {\frac {1}{\mu (X)}}\mu }$ anlamında benzer. μ ölçüsü, X ö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 sahip reel sayılar σ-sonludur, ancak sonlu değildir. Tüm k tam sayıları için [k, k+1] 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 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 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 X kümesi, μ(X) = 0 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 X kümesinden ihmal edilebilir bir küme kadar farklılık gösteren Y alt kümelerinin σ-cebiri dikkate alınarak, yani X ve Y bir sıfır kümede yer alacak şekilde bir ölçü, tam bir ölçü olarak genişletilebilir. Bu, μ(Y)'yi μ(X)'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 ${\displaystyle I}$ kümesi ve herhangi bir negatif olmayan ${\displaystyle r_{i},i\in I}$ için;

${\displaystyle \sum _{i\in I}r_{i}=\sup \left\lbrace \sum _{i\in J}r_{i}:|J|<\aleph _{0},J\subseteq I\right\rbrace .}$

Yani, ${\displaystyle r_{i}}$ toplamını, sonlu birçoğunun tüm toplamlarının eküsü (supremum) olarak tanımlıyoruz.

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

${\displaystyle \bigcup _{\alpha \in \lambda }X_{\alpha }\in \Sigma }$

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

İkinci koşulun, boş kümelerin ${\displaystyle \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 olmadığı kanıtlanabilir; Bu tür kümelerin örnekleri arasında ve ve 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 , karmaşık sayılarda değerlere sahip böyle bir fonksiyona ise denir. 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, adı verilir; bunlar, 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, 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, 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 , L^∞ ikilisi ve gibi kavramlarla bağlantılı olduğu ortaya çıktı. Tüm bunlar bir şekilde seçim aksiyomuna bağlıdır. bazı teknik problemlerde içerik yararlı olmaya devam etmektedir; bu teorisidir.

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

Ayrıca bakınız

• Lebesgue integrali
• (Lifting theory)
• (Pushforward measure)
• (Volume form)

Kaynakça

1. ^ (1950), Measure theory, Van Nostrand and Co.
2. ^ Rao, M. M. (2012), Random and Vector Measures, Series on Multivariate Analysis, 9, World Scientific, ISBN , MR 2840012 .

Bibliyografya

• (1995) The Elements of Integration and Lebesgue Measure, Wiley Interscience.
• Bauer, H. (2001), Measure and Integration Theory, Berlin: de Gruyter, ISBN  
• Bear, H.S. (2001), A Primer of Lebesgue Integration, San Diego: Academic Press, ISBN  
• Bogachev, V. I. (2006), Measure theory, Berlin: Springer, ISBN  
• Bourbaki, Nicolas (2004), Integration I, Springer Verlag, ISBN   Chapter III.
• R. M. Dudley, 2002. Real Analysis and Probability. Cambridge University Press.
• Folland, Gerald B. (1999), Real Analysis: Modern Techniques and Their Applications, John Wiley and Sons, ISBN   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 31 Ocak 2021 tarihinde Wayback Machine sitesinde .. Torres Fremlin.
• Jech, Thomas (2003), Set Theory: The Third Millennium Edition, Revised and Expanded, Springer Verlag, ISBN  
• & Louis Narens (1987). "measurement, theory of," The , v.3, ss. 428–32.
• M. E. Munroe, 1953. Introduction to Measure and Integration. Addison Wesley.
• K. P. S. Bhaskara Rao and M. Bhaskara Rao (1983), Theory of Charges: A Study of Finitely Additive Measures, Londra: Academic Press, ss. x + 315, ISBN  
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. . Emphasizes the .
• , Topics in Real and Functional Analysis, (lecture notes), 10 Eylül 2018 tarihinde kaynağından , erişim tarihi: 29 Aralık 2020 
• Tao, Terence (2011). An Introduction to Measure Theory. Providence, R.I.: American Mathematical Society. ISBN . 
• Weaver, Nik (2013). Measure Theory and Functional Analysis. World Scientific. ISBN . 

Dış bağlantılar

Vikisözlük'te measurable ile ilgili tanım bulabilirsiniz.

• Hazewinkel, Michiel, (Ed.) (2001), "Measure", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN  
• Tutorial: Measure Theory for Dummies 17 Ocak 2021 tarihinde Wayback Machine sitesinde . (Eğitim dokümanı: Aptallar için Ölçü Teorisi)