Matematik'te Lp uzayı, sonlu boyutlu vektör uzayı için p-norm'un doğal bir genelleme kullanarak tanımlı fonksiyon uzayı'dır.Bazen Lebesque uzayı denir.İlk (Riesz 1910) tarafından Bourbaki grubu Bourbaki 1987 olarak tanıtılmasına rağmen,(Henri Lebesgue) Dunford & Schwartz 1958, III.3, adına ithaf edilmiştir. 'de 'nın ve topolojik vektör uzaylarının önemli bir sınıfını Lp uzayı formu oluşturur.Lebesgue uzayının fizik, istatistik, finans, mühendislik ve diğer disiplinlerde uygulamaları var.
Sonlu boyutlu içinde p-norm
![image](https://www.wikipedia.tr-tr.nina.az/image/aHR0cHM6Ly93d3cud2lraXBlZGlhLnRyLXRyLm5pbmEuYXovaW1hZ2UvYUhSMGNITTZMeTkxY0d4dllXUXVkMmxyYVcxbFpHbGhMbTl5Wnk5M2FXdHBjR1ZrYVdFdlkyOXRiVzl1Y3k5MGFIVnRZaTgwTHpSa0wxWmxZM1J2Y2w5dWIzSnRjeTV6ZG1jdk1UUXdjSGd0Vm1WamRHOXlYMjV2Y20xekxuTjJaeTV3Ym1jPS5wbmc=.png)
![image](https://www.wikipedia.tr-tr.nina.az/image/aHR0cHM6Ly93d3cud2lraXBlZGlhLnRyLXRyLm5pbmEuYXovaW1hZ2UvYUhSMGNITTZMeTkxY0d4dllXUXVkMmxyYVcxbFpHbGhMbTl5Wnk5M2FXdHBjR1ZrYVdFdlkyOXRiVzl1Y3k5MGFIVnRZaTh4THpFekwxTjFjR1Z5Wld4c2FYQnpaVjl5YjNWdVpHVmtYMlJwWVcxdmJtUXVjM1puTHpJeU1IQjRMVk4xY0dWeVpXeHNhWEJ6WlY5eWIzVnVaR1ZrWDJScFlXMXZibVF1YzNabkxuQnVadz09LnBuZw==.png)
'u tarafından n-boyutlu gerçel vektör uzayı Rn içinde verilen bir vektörün uzunluğu x = (x1, x2, …, xn) genellikle:
Öklid uzunluğu x ve y gibi iki nokta arasındaki düz çizginin uzunluğudur,birçok durum içinde,Öklid uzaklığı belirli bir alanda gerçek mesafeleri yakalamak için yetersizdir.örneğin,taksi sürücüleri için Manhattan uzunluk ölçüsü gitmesi gereken yerlere düz çizgi uzunluğu açısından değildir,ama terimlerinin içinde sokakların birbirine dik veya paralel olduğu dikkate alınır. p-norm sınıflarının genellemesi burada iki örnektir ve matematik,fizik ve bilgisayar bilimleri'nin birçok parçasının içindeki uygulamalar bolcadır.
Tanım
Bir gerçel sayı p ≥ 1 için, p-norm veya Lp-norm
tarafından x ın tanımıdır.
Yukarıdan Öklid norm bu sınıfa düşer ve 2-normdur ve 1-norm karşılık gelen norm 'dir
L∞-norm veya (veya tektip norm) için Lp-normları limitidir.Bu limitin aşağıdaki tanım eşdeğer olduğu ortaya çıktı:
Bütün p ≥ 1 için,p-normlar ve maksimum norm olarak yukarıda tanımlanan gerçekten bir "uzunluk fonksiyonu" özelliklerini karşılayacak bir (veya ), normda şunlar vardır:
- Sadece sıfır vektörü sıfır uzunluğu vardır
- Vektör uzunluğu skaler çarpımına göre pozitif homojen olduğu ve
- İki vektör toplamının uzunluğu vektörlerin uzunlukları toplamından daha büyük değildir ((üçgen eşitsizliği)).
teorik olarak, bunun anlamı Rn ile beraber p-norm bir 'dır. Bu Banach uzayı Rn üzerinde bir Lp-uzayıdır.
p-normlar arasındaki ilişkiler
Bu iki nokta arasındaki grid uzaklığı ("Manhattan uzaklığı") aralarında çizgi parçasının uzunluğu asla daha kısa değildir bu sezgisel açıktır (mesafe "kuş uçuşu" Öklid veya),biçimsel olarak, herhangi bir vektör öklid norm olan 1-norm ile sınırlı olduğu anlamına gelir
Bu p-norm içerisinde p-normlar olduğu gerçeğini yaygınlaştırıyor herhangi bir x vektörün p ile büyümez:
herhangi bir vektör x ve gerçek sayılar p ≥ 1 ve a ≥ 0 için. (Aslında bu 1>p>0 ve a ≥ 0 için doğru kalır.)
Ters yön için, 1-norm ve 2-norm arasında aşağıdaki ilişki bilinmektedir:
Bu eşitsizlik boyut temel vektör alanı n e bağlıdır ve aşağıdaki ile doğrudan,
genel olarak p > r > 0 için burada vektörler :
0 < p < 1 ise
![image](https://www.wikipedia.tr-tr.nina.az/image/aHR0cHM6Ly93d3cud2lraXBlZGlhLnRyLXRyLm5pbmEuYXovaW1hZ2UvYUhSMGNITTZMeTkxY0d4dllXUXVkMmxyYVcxbFpHbGhMbTl5Wnk5M2FXdHBjR1ZrYVdFdlkyOXRiVzl1Y3k5MGFIVnRZaTh3THpBekwwRnpkSEp2YVdRdWMzWm5Mekl5TUhCNExVRnpkSEp2YVdRdWMzWm5MbkJ1Wnc9PS5wbmc=.png)
n > 1 için Rn içinde,formül
0 < p < 1için derece 1'in mutlak bir tanımlanır; bununla birlikte bir sonuç fonksiyon tanımlamaz, çünkü bu değildir. n > 1 için Rn içinde, 0 < p < 1 için formül
bir altoplamsal fonksiyon tanımlıyor, bu bir F-norm tanımlıyor. Bu F-norm p derecenin homojenidir.
Bununla birlikte, fonksiyon
bir tanımlıyor.Metrik uzay (Rn, dp) ℓnp ile ifade ediliyor.
Gerçi bu metrik içinde çıkış Bnp çevresinde p-birim top "içbükey"dir, topoloji dp metrik ile Rn üzerinde tanımlanır ve Rn 'nın topolojisi genel vektör uzayıdır, bu nedenle ℓnp bir topolojik vektör uzaydır. Bu niteliksel beyanı ötesinde,ℓnp'in dışbükeyliğinin eksikliğini ölçmeye bir nicel yol p-birim top'un C Bnp gibi çoklu Cp(n) ile ifade edilen C en küçük sabiti Bnp'nin dışbükey gövdesini içerir.Bn1 ya eşittir.p < 1 sabitlemek için aslında elimizde
var.Bu da gösteriyorki aşağıda tanımlanan sonsuz-boyutlu dizi uzay ℓp artık yerel dışbükeydir.
p = 0 ise
Burada bir l0 normdur ve diğer fonksiyon l0 "norm" udur(tırnak işaretleri ile).
norm l0 'ın matematiksel tanımı tarafından ile kurulmuştur. Bu dizisinin tarafından sağlanan bir tam metrik topolojisi idi. ,Metrik Doğrusal Uzaylar içinde Stefan Rolewicz tarafından verilen derslerdir. Bu l0-normlu uzay fonksiyonel analizde çalışılmıştır, olasılık teorisi ve harmonik analizde.
Diğer fonksiyon l0 "norm" olarak adlandırılmıştı tarafından —tırnak işareti olan bu fonksiyonun uygun bir norm olmadığına gösterir— x vektörünün sıfır-olmayan sayı girişidir. Birçok yazarın tırnak işaretleri atlanması ile 'dir .00 = 0 tanımı, xın sıfır "norm"u ya eşittir.Bu bir değildir.(B-norm, "B" ile için)çünkü homojen değildir. Matematiksel bir norm olarak bu hatalarına rağmen, sıfır-dışı sayılabilir "norm" , bilgi teorisi ve (istatistikler) – özellikle (sıkıştırılmış algılama)'da 'de ve bilişimsel (harmonik yerel analiz)'de kullanımı vardır.
p-sayılabilir sonsuz boyutlarda norm
p-norm bileşenlerin sonsuz sayıda vektörleri genişletilebilir, alanı sağlar ki,bu gibi özel durumlarda içerir:
, seri dizilerinin uzayı ,
, kare-toplanabilir uzayın dizisi,bu bir Hilbert uzayı'dır,ve
, uzayı.
Dizilerin uzayı koordinat toplama ve skaler çarpımın koordinatlara uygulanmasıyla doğal bir vektör uzayı bir yapıya sahip olur. açıkça, (gerçel veya karmaşık) sayıların bir sonsuz dizi'si için vektör toplamı olarak tanımlanır
yardımıyla skaler hareket verilirken
p-normun tanımı
Burada,bir komplikasyon ortaya çıkar, yani bu ;gerçekten her zaman yakınsak değildir, örneğin, tek olanlar dizisi oluşur,Her sonlu p ≥ 1 için (1, 1, 1, …), p-norm (uzunluk) sonsuz olacaktır . ℓp uzayı ardından p-norm sonlu olduğu gibi gerçek (ya da karmaşık) sayıların tüm sonsuz sıraları kümesi olarak tanımlanır.
Bir bu kadar kontrol edebilirsiniz p artar, ℓp kümesi büyüdükçe. Örneğin,dizi
ℓ1 içinde değildir,ama p > 1 için ℓp içindedir, seri olarak
p = 1 için ıraksak (), ama p > 1 için yakınsaktır.
Bir de kullanarak ∞-norm tanımlamaktadır:
ve Tüm sınırlı dizilerin ℓ∞ karşılık gelen uzayı. Bu çıkıyor ki
Böylece,sağ taraf sonlu ya da sol taraf sonsuz ise ℓp için 1 ≤ p ≤ ∞ alanları dikkate alacaktır.
p-norm böylece ℓp üzerinde tanımlı gerçek bir normdur ve ℓp ile beraber bu norm bir . Tam genel olarak Lp uzayı elde edilir. — aşağıda görüldüğü gibi —, sonlu ya da sayılabilir-sonsuz birçok bileşenleri değil sadece vektörleri dikkate alınarak,fakat " keyfi birçok bileşen"; başka bir deyişle, .Bir integral bunun yerine bir p-norm toplamı tanımlamak için kullanılır.
Lp uzayları
Diyelim ki 1 ≤ p < ∞ ve (S, Σ, μ) bir olsun, tüm 'ların kümesini düşünün S den C ye(veya R) olan mutlak değer yükseltilmiş p-inci kuvvetten sonlu integral idi veya eşdeğeri, şudur
Bu fonksiyonlar kümesi aşağıdaki doğal işlemleri ile, her skaler λ için bir vektör uzayı oluşturur:
Bu ikisinin toplamı S integrallenebilir fonksiyonların gücü yine pi güç integrallenebilir aşağıdaki eşitsizliğinden |f + g|p ≤ 2p-1 (|f|p + |g|p). Aslında, daha doğrudur denilen (üçgen eşitsizliği) içinde geçerlidir · p. Böylece pinci güç integrallenebilir fonksiyonların kümesi, ile birlikte bu fonksiyon · p, bir 'lu vektör uzayıdır, ile ifade edilir.
Bu standart bir şekilde bir normlu vektör uzayı içine yapılabilir; biri sadece alır sırası ile · p' nin 'dir durum bu iken herhangi ölçülebilir fonksiyon f için, bizim fp = 0 var, yalnız ve yalnız f = 0 , · p'in çekirdeği bağlı değildir p,
Bölüm Uzayda, iki fonksiyon f ve g ayrı ayrı eğer f = g ise hemen hemen her yerdedir. Sonucu normlu vektör uzayının, tanımından,
p = ∞ için, the space L∞(S, μ) uzayı aşağıda tanımlanmıştır. Tüm ölçülebilir fonksiyonların seti ile başlarız S den C ye (veya R ye) temelde sınırlıdır, yani ölçümü sıfır olan bir küme ile sınırlanmış. Yine iki tür fonksiyonlar ayrıştırlırsa bu hemen hemen her yerde eşittir. Bu kümeyi gösterelim L∞(S, μ). L∞(S, μ) içindeki f, bu uygun bir norm olarak sunulmaktadır:
Daha önce olduğu gibi, elimizdeki
bazı q < ∞ için f ∈ L∞(S, μ) ∩ Lq(S, μ)ise,
1 ≤ p ≤ ∞, Lp(S, μ) için . Gerçek şu ki Lptam dır sık sık ne başvurulur. Tamlık Lebesgue integral için yakınsama teoremleri kullanılarak kontrol edilebilir. Temel ölçüm aralığı S anlaşıldığı zaman, Lp(S, μ) genellikle kısaltılmıştır Lp(μ) veya sadece Lp. Yukarıdaki tanımlar 'na genellenebilir.
Özel durumlar
p = 2; ise ℓ2 gibi uzay, bu uzay L2 yalnızca bu sınıfın Hilbert uzayı'dır. Karmaşık durumda, iç-çarpım olarak L2 tanımlanırsa,
Ek iç çarpım yapısı uygulamaları ile daha zengin bir teori sağlar, örneğin, (Fourier serileri) ve kuantum mekaniği. L2 içindeki fonksiyonlara integrallenebilir kare fonksiyonlar denir, 'karesi integrallenebilir fonksiyonlar veya 'toplanabilir kare fonksiyonlar- ama bazen bu koşulları, Riemann integrali böyle bir anlamında diğer bazı anlamda karesi integrallenebilir işlevleri, için ayrılmıştır Titchmarsh 1976.
Eğer karmaşık-değerli fonksiyonlar kullanıyorsak, L∞ uzayı noktasal çarpım ve birleşme ile bir 'dir.Birçok ölçüm uzayları için, tüm sigma-sonlu olanlar dahilinde,bu aslında bir birleşmeli bir 'dir. L∞ nin ögesiyle herhangi Lp uzayı üzerinde bir tanımlar.
ℓp uzayı (1 ≤ p ≤ ∞) Lp uzayının bir özel durumudur,S ise, N pozitif tam sayı kümesidir ve μ ölçüsü N in 'üdür. Daha genel olarak, L p uzayının sayılabilir ölçüm sonuçlarının kümesi ile S beraber düşünüldüğünde ℓp(S) ile ifade edilir. örneğin, ℓp(Z) uzayı tam sayılarla indislenmiş uzaydır ve öyleyse bir uzay olarak p-norm tüm tam sayılar üzerinde bir toplamları ile tanımlanır ℓp(n) uzayı, burada n ögeli bir kümedir,Rn ile p-norm olarak yukarıda tanımlanmıştır.Herhangi bir Hilbert uzayı olarak, her L2 uzayı doğrusal uygun bir için izometrik ℓ2(I),burada özel olarak L2 nin bir keyfi Hilbertyen tabanının I kümesi önemlidir
Lp uzayın özellikleri
Çift uzay
Lp(μ)'nin (sürekli doğrusal tüm fonksiyonellerin uzayı) 1 < p < ∞ için Lq(μ) ile doğal bir izomorfizm idi.,burada q 1/p + 1/q = 1 sağlar, g ∈ Lq(μ) ile κp(g) yi ilişkilendiren fonksiyonel ∈ Lp(μ)∗ tanımı ile aşağıdadır.
Aslında κp(g) si iyi tanımlanmış ve sürekli (Hölder eşitsizliği) aşağıdadır. κp göndermesi Lq(μ)'den Lp(μ)∗ ye doğrusal gönderme içindedir,Hölder eşitsizliği ile bir .Bunu ('i ile göstermek de mümkündür, bkz) bu herhangi G ∈ Lp(μ)∗ bağıntısı ile gösterilebilir:yani,bu κpüzerindedir. böylece κp üzerinde ve izometrik ve bir 'nın bir 'idir . Birlikte bu (izometrik:şekil değiştirme yok) izomorfizmi hatırlayın,basitçe söylemek gerekirse Lp nin çifti Lq "dir" ise 1 < p < ∞, Lp(μ) uzayı . Diyelimki κp yukarıdaki gönderme ve diyelimki κq doğrusal izometri olsun karşılığı Lp(μ) den Lq(μ)∗üzerinedir
Lp(μ)'dan Lp(μ)∗∗ 'ya, bir düzen ile elde edilir κq ile κp'nın birbirlerinin tersidir. (veya eşlenik),Lp(μ) nin sıklığı ile J kendi ikinci sıra duali içine,dahası, jp göndermesi üzerinedir, iki üzerine izometrinin uyumu olarak,ve bu yansıtılabilirliği kanıtlıyor.
Eğer ölçü μ olarak S ise L1(μ) dualdir L∞(μ)'ya izometrik izomorftur(daha doğrusu, κ1 haritasıp = 1 karşılar bir izometridir L∞(μ)'dan L1(μ)∗) üzerinedir.
L∞'nin bu çifti zekicedir. (L∞(μ))∗'nin ögesi ayrıştırılabilir ile sınır işareti sonluluk toplamsal ölçüsü olarak S bu ile sırası μ yedir,daha detay için bak .Biz seçimin aksiyomu varsayarsak, L1(μ) içinde bazı önemsiz durumlar dışında bu uzay çok daha büyüktür.Ancak, Zermelo-Fraenkel küme teorisi nispeten tutarlı uzantıları vardır ve ℓ∞nin duali ℓ1dir.Bu, Shelah'nın bir sonucudur.Eric Schechter'in dersleri içinde Analizin el kitabı ve temelleri'dir
Gömmeler
Halk dilinde olan bir terim, eğer 1 ≤ p < q ≤ ∞, Lp(S, μ) ise daha yerel tekil olan işlevler içerir, Lq(S, μ) elemanları ise daha yayılmış olabilir. (0, ∞) yarım satırı üzerinde Lebesgue ölçümü düşünün.L1 içindeki sürekli bir fonksiyondur,0'a yakınsa havaya uçurmak gerekir ama sonsuza doğru yeterli oranda hızlı çürüme gerekir. Öte yandan, L∞ içindeki sürekli fonksiyonlardır,hiç çürümeye gerek yok ama şişirmeye izin verilir.Kesin bir teknik sonuç şudur:
- Diyelimki 0 ≤ p < q ≤ ∞. Lq(S, μ) içeriyor yani Lp(S, μ) ancak ve ancak S içindedir, keyfi büyük ölçüde kümeleri içermez ve,
- Diyelimki 0 ≤ p < q ≤ ∞. Lp(S, μ) içeriyor Lq(S, μ) S ancak ve ancak sıfırdan küçük keyfi ölçüde kümeleri içermez.
Özellikle,bağlı olan etki alanı S ise sonlu ölçü, ('nin bir sonucu)
Lq uzayının anlamı Lp içinde kesintisiz gömülüdür.Demek ki,kimlik operatörü sınırlı doğrusal harita Lq dan Lp ye'dir. Yukarıdaki eşitsizlik görünen sabit en uygunudur, I : Lq(S, μ) → Lp(S, μ) is kesin olarak
f = 1 a.e.[μ].eşitlik durumu tam olarak ne zaman elde ediliyor?
Yoğunluk altuzayı
1 ≤ p < ∞ Bu bölüm boyunca.
olduğu kabul edilmektedir Diyelimki (S, Σ, μ) be bir uzay uzunluğudur.Bir integrallenebilir basit bir fonksiyon f olarak S formunun biridir
burada aj skalerdir ve Aj ∈ Σ sonlu ölçü idi,j = 1, …, n için.'inin yapısı tarafından,Lp(S, Σ, μ) içinde integrallenebilir basit fonksiyonların vektör uzayında yoğundur.
Dahası S bir topolojik uzay ve Σ dır.Bu 'dir, yani,S alt kümesinin daraltılmış σ–cebrinin 'ni içeriyor.
Varsayalımki V ⊂ S bir açık küme ile μ(V) < ∞ dir.Her Borel kümesi için sağlanabilir V içinde,A ∈ Σ içeren ve her ε > 0 için, burada bir kapalı küme F vardır ve bir açık küme U dur böylece
Bu S sürekli φ var olduğunda aşağıdaki şöyledir
Eğer açık kümelerin sonlu ölçüde artan dizisi tarafından karşılanabilir (Vn) S var,ise p–integrallenebilir sürekli fonksiyonlar uzayının Lp(S, Σ, μ) içindeki yoğunluktur,daha doğrusu, açık kümelerin bir Vn dışında kaybolan sınırlı sürekli fonksiyonları kullanılabilir.
Bu özellik geçerli olduğunda S = Rd ve eğer μ Lebesgue ölçüsü ise,sürekli ve tıkız desteklenen fonksiyonlar uzayı Lp(Rd) yoğundur. Benzer şekilde,integrallenebilirlerin uzayı basamak fonksiyonu dur. Lp(Rd) içindeki yoğunluktur.Bu uzay sınırlı aralıkların göstergesinin fonksiyonlarının doğrusal süresi d = 1 ise, sınırlı dikdörtgenlerin d = 2 ise ve daha genel olarak sınırlı aralıklarının çarpımları ise;
Genel fonksiyonları çeşitli özellikleri Lp(Rd) içindedir.İlki (bazen basamak fonksiyonlar için) sürekli ve tıkız desteklenen işlevler için kanıtlandı,sonraki tüm fonksiyonlara yoğunluk tarafından genişletilmiştir.Örneğin,ötelemenin sürekli olduğu Lp(Rd) şeklindede kanıtlanmıştır aşağıdaki anlamda:her f ∈ Lp(Rd),için
t ∈ Rd ise 0'a gider, burada
tarafından çevrilen fonksiyon olarak tanımlanır.
Uygulamalar
Lp uzaylar yaygın olarak matematik ve uygulamalarında kullanılır.
Hausdorff–Young eşitsizliği
Fourier dönüşümü için gerçek çizgi(sırası ile. periyodik fonksiyonlar için, cf. Fourier serisi) haritaları Lp(R) ya Lq(R) (resp. Lp(T) ya ℓq), burada 1 ≤ p ≤ 2 ve 1/p + 1/q = 1. Bu,'nin bir sonucudur ve ile hassas yapılır.
buna karşılık eğer p > 2, Fourier dönüşümü Lq haritası içine olmuyor
Hilbert uzayı
Hilbert uzayı birçok uygulamanın merkezindedir, kuantum mekaniği'nden 'na kadar. Bu L2 ve ℓ2 her iki uzay Hilbert uzayıdır.aslında seçilen bir Hilbert tabanın,ℓ2(E) tüm Hilbert uzayları için izometrik olduğu görülür burada E uygun bir önem düzeyi olan bir kümedir.
İstatistik
İstatistikde, bu, ortalama, medyan ve standart sapma olarak ve ölçüleri Lp ölçümleri açısından tanımlanır ve merkezi eğilim ölçüleri olarak karakterize edilebilir.
0 < p < 1 için Lp
Diyelimki (S, Σ, μ) bir ölçü uzayıdır. eğer 0 < p < 1, ise Lp(μ) aşağıdaki tanımlanabilir: ölçülebilir böyle fonksiyonların vektör uzayı f böylece
.
Daha önce olduğu gibi, p-norm'u tanıtabiliriz f p = Np(f)1/p, ama || · ||p bu durumda, üçgen eşitsizliği doyurucu değildir ve yalnızca bir tanımlıyor. (a + b)p ≤ ap + bp eşitsizliği, a ≥ 0 için değeri ve b ≥ 0 implies that Rudin 1991, §1.47
ve böylece fonksiyon
bir Lp(μ) bir metrik ve sonuç olarak metrik uzaydır doğrulama ailevi duruma benzer ise p ≥ 1 dir.
Lp çerçevesi içerisinde bir ters Minkowski eşitsizliği uygundur böylece u ve v için in Lp
Bu sonuç kullanıcıya Clarkson eşitsizliğini sağlar, which are in turn used to establish the of Lp uzayının 1 < p < ∞ için Adams & Fournier 2003.
0 < p < 1 Lp uzayı için bir şudur:o bir tam öteleme-değişmezi metrik sırasıyla vektör uzayı için süreklilik operasyonu olduğunu kabul eder o ayrıca gibidir daha çok p ≥ 1 durumu gibidir. Bir prototip örneğidir ;en mantıklı ölçüm uzayı için, değildir: ℓp içinde veya Lp([0, 1]), her açık dışbükey küme 0 fonksiyon içeren p-sözde-norm için sınırlıdır; bu nedenle 0 vektör dışbükey komşuluğun bir temel sistemine sahip değildir.Özel olarak, bu pozitif ölçümün sonlu kümelerinin parçalarının bir sonsuz ailesi dahilinde ise S ölçüm uzayı doğru ölçülebilir.
Lp([0, 1]) içinde yalnızca boş olmayan açık kümenin tüm uzaydır Rudin 1991, §1.47. Belirli bir sonucu olarak, burada are no nonzero linear functionals on Lp([0, 1]): dual uzayı sıfır uzaydır.Doğal sayılar (dizi uzayı üreten Lp(μ) = ℓp) üzerinde durumu içinde sınırlı doğrusal fonksiyoneller ℓp olarak tam olarak budur ve ℓ1 sınırdır,yani bu verilen ℓ∞ içindeki dizi tarafından verilen ℓp ye rağmen önemsiz olmayan dışbükey açık kümeler içermektedir, bunların topolojisine yeteri kadar bir taban vermek için başarısız.
Doğrusal olmayan fonksiyonların durumu analiz yapma amaçları için son derece istenmeyendir. Rn olarak Lebesgue ölçüsünün durumu içinde yerine X yerine çalışan daha 0 < p < 1 için Lp, Hp ile çalışmak olasılığı daha sıktır,Bu pek çok doğrusal fonksiyonellerde olduğu gibi: birbirinden ayırt etmek için yeterli sayıdadır. Ancak, Hp içinde p < 1 Duren 1970, §7.5.için hala başarısız
L0, ölçülebilir fonksiyonların uzayı
(sınıfının eşdeğeri) ölçülebilir fonksiyonların vektör uzayı (S, Σ, μ) olarak L0(S, Σ, μ) ifade edilir. Kalton, Peck & Roberts 1984. Tanımıyla, bu tüm Lp , yi içerir ve topolojisi ile donanımlıdır, ise μ bir olasılık ölçüsü (yani., μ(S) = 1), dür.Bu yakınsaklığın modu olarak adlandırılır.Bu tanım μ ye yakın ise sonludur.
Eğer μ bir sonlu ölçü olarak (S, Σ),ise bu 0 fonksiyon bir ölçüde yakınsama komşuluğunda aşağıdaki temel sistem için kabul ediliyor
Topoloji d şeklinde herhangi bir metrik tarafından tanımlanabilir
burada φ sınırlı sürekli içbükey ve azalmayan olarak [0, ∞), ile φ(0) = 0 ve φ(t) > 0 ise t > 0 dır. (örnek için, φ(t) = min(t, 1)). Böyle bir metrik L0 için - olarak adlandırılır.L0 bu metrik uzayı altındadır ve tamdır. (o tekrar bir F-uzayıdır). Bu uzay L0 genel içindeki yerel sınır değildir ve yerel içbükey değildir.
Rn için sonsuz Lebesgue ölçüsü λ olarak,komşuluğundaki temel sistemin tanımı değiştirilmiş olarak aşağıdaki olabilir
Nihai uzay L0(Rn, λ) sıklık olarak topolojik vektör uzayı ile L0(Rn, g(x) dλ(x)) için herhangi pozitif λ–integrallenebilir yoğunluk g 'dir.
Zayıf Lp
Diyelimki (S, Σ, μ) be bir uzay ölçüsü ve f bir ile gerçek veya karmaşık değerler olarak S. f 'in t > 0 için tanımı aşağıdadır
Eğer Lp(S, μ) içindeki f(tir) için bazı p ile 1 ≤ p < ∞, ise ile,
Bir f fonksiyonu eğer burada bir sabit C > 0 ise zayıf Lp(S, μ) uzayı içinde veya Lp,w(S, μ) olduğu söylenir,böylece, bütün t > 0 için,
En iyi C sabiti bu eşitsizlik için f içindeki Lp,w-normudur,ve şu ifade ile gösteriilir
Zayıf Lp sıklığı ile Lp,∞, öyle ki bu gösterim ayrıca bunları belirtmek için kullanılır.
Lp,w-norm doğru bir norm değildir,dolayısıyla (üçgen eşitsizliği) korunamıyor. yine de Lp(S, μ) içinde f için
ve özel olarak Lp(S, μ) ⊂ Lp,w(S, μ). kuralı altındaki iki işlev eğer onlar μ hemen hemen her yerde eşit, ise uzayı Lp,w tamdır.Grafakos 2004.
Herhangi 0 < r < p için ifade
Lp,w-norm ile karşılaştırılabilir. durum içinde daha fazla p > 1, bu bir norm ifade eder eğer r = 1. Bundan dolayı p > 1 için zayıf Lp uzayı 'dır Grafakos 2004.
Kullanılan bir büyük sonuç Lp,w-uzayı 'dir, (harmonik analiz) ve çalışmalarında geniş uygulama alanı vardır
Ağırlıklı Lp uzayları
Daha önce olduğu gibi, bir (S, Σ, μ) düşünelim. Diyelimki w : S → [0, ∞) bir ölçülebilir fonksiyon olsun. w-ağırlıklı Lp uzayı Lp(S, w dμ) olarak tanımlanıyor, burada w dμ ölçüsü ν tanımı ile
veya terimleri içinde, w = dνdμ Lp(S, w dμ) için açıkçadır
Lp-uzayları olarak,ağırlıklı uzaylar özel değildir, dahası Lp(S, w dμ) Lp(S, dν) ya eşittir. Ama bu harmonik analiz Grafakos 2004 içinde bazı sonuçlar için doğal çerçevedir; bu içinde örnek için görüntüsü: 1 < p < ∞ için,klasik Lp(T, λ) üzerinde tanımlanan burada T ifadesi birim çember ve λ Lebesgue ölçüsüdür;(doğrusal olmayan) Lp(Rn, λ) üzerinde sınırlıdır. Muckenhoupt'un teoremi böylece Lp(T, w dλ) üzerinde ve Hilbert dönüşümü izleri Lp(Rn, w dλ) üzerinde maksimal operatörü w ağırlıkları tanımlar.
Lp uzayı olarak manifoldlar
bir manifold olarak uzaylarda tanımlayabiliriz, manifoldun iç Lp uzayı adını alır, kullanılıyor.
Ayrıca bakınız
-
- (Minkowski mesafesi)
Notlar
- ^ Rolewicz, Stefan (1987), Functional analysis and control theory: Linear systems, Mathematics and its Applications (East European Series), 29 (Translated from the Polish by Ewa Bednarczuk bas.), Dordrecht; Warsaw: D. Reidel Publishing Co.; PWN—Polish Scientific Publishers, ss. xvi+524, ISBN , MR 0920371, OCLC 13064804
- ^ , Elements of Functional Analysis (2.2 yıl=1988 bas.), Cambridge: CUP, page 16
- ^ , Real and Complex Analysis (2.2 yıl=1980 bas.), New Delhi: Tata McGraw-Hill, ISBN , Theorem 6.16
Kaynakça
- Adams, Robert A.; Fournier, John F. (2003), Sobolev Spaces (Second bas.), Academic Press, ISBN .
- Bourbaki, Nicolas (1987), Topological vector spaces, Elements of mathematics, Berlin: Springer-Verlag, ISBN .
- DiBenedetto, Emmanuele (2002), Real analysis, Birkhäuser, ISBN .
- Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators, volume I, Wiley-Interscience.
- Duren, P. (1970), Theory of Hp-Spaces, New York: Academic Press
- Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Pearson Education, Inc., ss. 253-257, ISBN .
- Hewitt, Edwin; Stromberg, Karl (1965), Real and abstract analysis, Springer-Verlag.
- ; Peck, N. Tenney; Roberts, James W. (1984), An F-space sampler, London Mathematical Society Lecture Note Series, 89, Cambridge: Cambridge University Press, ISBN , MR 0808777
- (1910), "Untersuchungen über Systeme integrierbarer Funktionen", Mathematische Annalen, 69 (4), ss. 449-497, doi:10.1007/BF01457637
- (1991), Functional Analysis, McGraw-Hill Science/Engineering/Math, ISBN
- (1987), Real and complex analysis (3.3 isbn=978-0-07-054234-1 bas.), New York: McGraw-Hill, MR 0924157
- (1976), The theory of functions, Oxford University Press, ISBN
Dış bağlantılar
- Hazewinkel, Michiel, (Ed.) (2001), "Lebesgue space", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN
- Lp uzayı, PlanetMath.org.
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar