Silindir seti ölçüsü - Cylinder set measure - Wikipedia

İçinde matematik, silindir set ölçü (veya Promeasureveya önceden ölçmekveya yarı ölçüveya CSM) bir tür prototiptir ölçü sonsuz boyutlu vektör alanı. Bir örnek, Gauss silindir seti ölçüsü Hilbert uzayı.

Silindir seti ölçüleri genel olarak değil önlemler (ve özellikle olması gerekmez sayılabilir katkı maddesi ama sadece sonlu katkı ), ancak ölçüleri tanımlamak için kullanılabilir, örneğin klasik Wiener ölçüsü başlangıç ​​noktasından başlayan sürekli yollar kümesinde Öklid uzayı.

Tanım

İzin Vermek E olmak ayrılabilir, gerçek, topolojik vektör uzayı. İzin Vermek hepsinin koleksiyonunu göster örten, sürekli doğrusal haritalar T : E → FT üzerinde tanımlanmış E kimin görüntüsü bazı sonlu boyutlu gerçek vektör uzayıdır FT:

Bir silindir set ölçü açık E bir koleksiyon olasılık ölçüleri

nerede μT bir olasılık ölçüsüdür FT. Bu önlemler aşağıdaki tutarlılık koşulunu sağlamak için gereklidir: πST : FS → FT bir örten projeksiyon, sonra ilerletmek tedbir aşağıdaki gibidir:

Uyarılar

Tutarlılık koşulu

gerçek ölçülerin ileriye götürdüğü şekilde modellenmiştir (bkz. silindir seti ölçülerine karşı gerçek ölçüler ). Bununla birlikte, silindir seti ölçümleri söz konusu olduğunda, bunun bir sonuç değil, tanımın parçası olan bir gereklilik olduğunu anlamak önemlidir.

Bir silindir seti ölçüsü, sezgisel olarak, üzerinde sonlu bir toplama işlevi tanımladığı şeklinde anlaşılabilir. silindir setleri topolojik vektör uzayının E. silindir setleri bunlar ön görüntüler içinde E ölçülebilir kümelerin FT: Eğer gösterir σ-cebir açık FT hangisinde μT tanımlanır, o zaman

Pratikte sık sık olmak Borel σ-cebir açık FT. Bu durumda ne zaman E bir ayrılabilir Banach alanı, silindir setleri tarafından üretilen σ-cebiri tam olarak Borel σcebiri E:

Silindir seti ölçüleri ölçülere karşı

Bir silindir seti ölçüsü E aslında bir ölçü değil E: tüm sonlu boyutlu görüntülerde tanımlanan ölçülerin bir koleksiyonudur. E. Eğer E olasılık ölçüsü var μ zaten üzerinde tanımlanmış, o zaman μ bir silindir seti ölçüsüne yol açar E ileri itmeyi kullanma: set μT = T(μ) üzerinde FT.

Bir ölçü olduğunda μ açık E öyle ki μT = T(μ) bu şekilde, gelenekseldir kötüye kullanım notasyonu hafifçe ve silindir setinin ölçüsünün ölçü " μ.

Hilbert uzaylarında silindir seti ölçüleri

Banach alanı E aslında bir Hilbert uzayı H, var kanonik Gauss silindir seti ölçüsü γH ortaya çıkan iç ürün yapı üzerinde H. Spesifik olarak, eğer ⟨,⟩ üzerindeki iç çarpımı gösterir H, İzin Vermek ⟨ , ⟩T belirtmek bölüm iç çarpımı açık FT. Ölçüm γTH açık FT daha sonra standart olarak tanımlanır Gauss ölçüsü açık FT:

nerede ben : Rsönük (FT) → FT bir izometri Hilbert alanlarının Öklid iç çarpım Rsönük (FT) iç ürüne ⟨,⟩T açık FT, ve γn standarttır Gauss ölçüsü açık Rn.

Kanonik Gauss silindir seti sonsuz boyutlu ayrılabilir Hilbert uzayında ölçüm yapar H gerçek ölçüye karşılık gelmiyor H. Kanıt oldukça basit: yarıçaplı top r (ve merkez 0) en fazla yarıçaplı topunkine eşit ölçüye sahiptir r içinde nboyutlu Hilbert uzayı ve bu 0'a n sonsuzluğa meyillidir. Yani yarıçaplı top r 0 ölçüsüne sahiptir; Hilbert uzayı bu tür topların sayılabilir bir birleşimi olduğundan, aynı zamanda bir çelişki olan 0 ölçüsüne sahiptir.

Gauss silindir seti ölçüsünün bir ölçü olmadığının alternatif bir kanıtı, Cameron-Martin teoremi ve bir sonuç ölçülerin yarı değişmezliği. Eğer γH = γ gerçekten bir ölçüdü, sonra kimlik işlevi açık H olur radonize etmek bu ölçü, böylece id:H → H Içine soyut Wiener alanı. Cameron-Martin teoremine göre, γ daha sonra herhangi bir unsur tarafından çeviri altında yarı değişmez olacaktır Hbu da şu anlama gelir H sonlu boyutlu mu yoksa bu γ sıfır ölçüdür. Her iki durumda da bir çelişkimiz var.

Sazonov teoremi hangi koşullar altında ilerletmek kanonik bir Gauss silindir seti ölçüsü gerçek bir ölçüye dönüştürülebilir.

Nükleer uzaylar ve silindir seti ölçüleri

Bir'in ikilisinde bir silindir seti ölçüsü nükleer Fréchet uzay Fourier dönüşümü sürekli ise otomatik olarak bir ölçüye genişler.

Misal: İzin Vermek S alanı olmak Schwartz fonksiyonları sonlu boyutlu bir vektör uzayında; bu nükleerdir. Hilbert uzayında bulunur H nın-nin L2 fonksiyonlar, ki bu da uzayda yer alır tavlanmış dağılımlar S′, İkilisi nükleer Fréchet alanı S:

Gauss silindir seti ölçüm H Tavlanmış dağılımların uzayında bir ölçüye kadar uzanan, tavlanmış dağılımların alanı üzerine bir silindir seti ölçüsü verir, S′.

Hilbert uzayı H 0 inç ölçüsü var S′, Kanonik Gauss silindirinin ölçüyü ayarladığını göstermek için yukarıda kullanılan ilk argüman ile H bir ölçüye kadar uzanmaz H.

Ayrıca bakınız

Referanslar

  • I.M. Gel'fand, N.Ya. Vilenkin, Genelleştirilmiş fonksiyonlar. Harmonik analiz uygulamaları, Cilt 4, Acad. Basın (1968)
  • R.A. Minlos (2001) [1994], "silindirik ölçü", Matematik Ansiklopedisi, EMS Basın
  • R.A. Minlos (2001) [1994], "silindir seti", Matematik Ansiklopedisi, EMS Basın
  • L. Schwartz, Radon ölçümleri.