एलपी स्पेस

For the sequence space ℓ^p, see Sequence space § ℓp spaces.

गणित में एलपी स्पेस समारोह का विशेष स्थान हैं जिन्हें सामान्य गत पी साधरणतया प्राकृतिक सामान्यीकरण का उपयोग करके परिभाषित गया है पी परिमित आयामी सदिश के लिए मानदंड है उन्हें कभी-कभी लेबेस्गु स्पेस भी कहा जाता है जिसका नाम हेनरी लेबेस्ग्यू के नाम पर रखा गया है जबकि निकोलस बोरबाकी समूह के बोर बाकी 1927वें सबसे पहले फ्राइजेस रेज्जि द्वारा पेश किए गए। ([[#CITEREF|]]).

एम्बेडिंग

बोलचाल में अगर $1\leq p<q\leq \infty ,$ तब इसमें ऐसे $L^{p}(S,\mu )$ कार्य सम्मिलित हैं जो अधिक स्थानीय रूप से एकवचन हैं जबकि ये तत्व $L^{q}(S,\mu )$ अधिक फैलाया जा सकता है अर्ध रेखा पर लेबेस्गु माप पर विचार करें $(0,\infty ).$ इसमें एक सतत कार्य $L^{1}$ होता है लेकिन अनंत की ओर पर्याप्त तेजी से क्षय होना चाहिए जो दूसरी ओर निरंतर कार्य करता है $L^{\infty }$ को बिल्कुल भी क्षय की आवश्यकता नहीं है लेकिन विस्फोट की अनुमति नहीं है नई तकनीकी परिणाम निम्नलिखित है। लगता है कि $0<p<q\leq \infty .$ तब

1. $L^{q}(S,\mu )\subseteq L^{p}(S,\mu )$ अगर $S$ परिमित के समूह नहीं होते हैं लेकिन मनमाने ढंग से बड़े माप उदाहरण के लिए कोई परिमित माप
2. $L^{p}(S,\mu )\subseteq L^{q}(S,\mu )$ अगर और केवल अगर $S$ गैर-शून्य के समूह सम्मिलित नहीं हैं लेकिन मनमाने ढंग से छोटे होते हैं।

माप के साथ वास्तविक रेखा के लिए कोई भी शर्त नहीं है जबकि दोनों स्थितियाँ किसी परिमित समूह पर गिनती माप के लिए हैं दोनों ही जगहों में व्याख्या निरंतर है जिसमें पहचान चालक एक सीमित रैखिक मानचित्र है $L^{q}$ को $L^{p}$ पहले जगहों में और $L^{p}$ को $L^{q}$ क्षण में यह बंद ग्राफ प्रमेय और गुणों का परिणाम है तथा $L^{p}$ रिक्त स्थान अगर डोमेन $S$ परिमित माप है

$$\ \|\mathbf {1} f^{p}\|_{1}\leq \|\mathbf {1} \|_{q/(q-p)}\|f^{p}\|_{q/p}$$

तब

$$\ \|f\|_{p}\leq \mu (S)^{1/p-1/q}\|f\|_{q}.$$

उपरोक्त असमानता में दिखाई देने वाला निरंतर इष्टतम है इस अर्थ में कि पहचान का मानदंड $I:L^{q}(S,\mu )\to L^{p}(S,\mu )$ ठीक है

$$\|I\|_{q,p}=\mu (S)^{1/p-1/q}$$

समानता ठीक उसी समय प्राप्त किया जा रहा है $f=1$ $\mu$

सघन उपस्थान

इस पूरे खंड में हम यह मानते हैं $1\leq p<\infty .$ होने देना $(S,\Sigma ,\mu )$ एक माप स्थान बनें एक पूर्णांक सरल कार्य $f$ पर $S$ एक रूप है जो इस प्रकार है

$$f=\sum _{j=1}^{n}a_{j}\mathbf {1} _{A_{j}}$$

जब $a_{j}$ अदिश हैं $A_{j}\in \Sigma$ परिमित उपाय है और ${\mathbf {1} }_{A_{j}}$ समूह का सूचक कार्य है $A_{j},$के लिए $j=1,\dots ,n.$ एकीकरण के निर्माण से समाकलनीय सरल फलनों का सदिश स्थान सघन होता है $L^{p}(S,\Sigma ,\mu ).$

अगर $S$ बढ़ते अनुक्रम द्वारा निर्धारित किया जा सकता है $(V_{n})$ खुले समूहों का परिमित माप है फिर स्थान $p$-अभिन्न निरंतर कार्य सघन है $L^{p}(S,\Sigma ,\mu ).$ अधिक रूप से कोई भी सीमित निरंतर कार्यों का उपयोग कर सकता है जो खुले समूहों में से एक के बाहर गायब हो जाते हैं $V_{n}.$ यह विशेष रूप से तब लागू होता है जब $S=\mathbb {R} ^{d}$ और जब $\mu$ लेबेस्ग उपाय है निरंतर और कुछ रूप से समर्थित कार्यों का स्थान सघन है $L^{p}(\mathbb {R} ^{d}).$ इसी तरह यह स्थान परिबद्ध अंतरालों के संकेतक कार्यों की रैखिक अवधि है जब $d=1,$ घिरे हुए आयतों का तथा $d=2$ और आमतौर पर परिबद्ध अंतरालों के उत्पादों के रूप में होता है।

इसमें सामान्य कार्यों के कई गुण $L^{p}(\mathbb {R} ^{d})$ पहले निरंतर रूप से समर्थित कार्यों के लिए सिद्ध होते हैं फिर घनत्व द्वारा सभी कार्यों के लिए विस्तारित होते हैं उदाहरण के लिए यह इस तरह सिद्ध होता है कि अनुवाद निरंतर जारी है जो निम्नलिखित अर्थ में है

$$\forall f\in L^{p}\left(\mathbb {R} ^{d}\right):\quad \left\|\tau _{t}f-f\right\|_{p}\to 0,\quad {\text{as }}\mathbb {R} ^{d}\ni t\to 0,$$

तब

$$(\tau _{t}f)(x)=f(x-t).$$

बंद उप-स्थान

अगर $\mu$ मापने योग्य स्थान पर एक संभाव्यता माप है $(S,\Sigma ),$ $0<p<\infty$ कोई सकारात्मक वास्तविक संख्या है, और $V\subseteq L^{\infty }(\mu )$ एक सदिश उपसमष्टि है, तब $V$ की बंद उपसमष्टि है $L^{p}(\mu )$ अगर और केवल अगर $V$ परिमित-आयामी है (ध्यान दें कि $V$ से स्वतंत्र चुना गया था $p$). इस प्रमेय में, जो अलेक्जेंडर ग्रोथेंडिक के कारण है, यह महत्वपूर्ण है कि सदिश स्थान $V$ का उपसमुच्चय हो $L^{\infty }$ क्योंकि अनंत-विमीय बंद सदिश उपसमष्टि का निर्माण संभव है $L^{1}\left(S^{1},{\tfrac {1}{2\pi }}\lambda \right)$ (यह भी का एक सबसेट है $L^{4}$), कहाँ $\lambda$ यूनिट सर्कल पर Lebesgue माप है $S^{1}$ और ${\tfrac {1}{2\pi }}\lambda$ संभाव्यता माप है जो इसे इसके द्रव्यमान से विभाजित करने का परिणाम है $\lambda (S^{1})=2\pi .$

L^p (0 < p < 1)

होने देना $(S,\Sigma ,\mu )$ एक माप स्थान बनें। अगर $0<p<1,$ तब $L^{p}(\mu )$ ऊपर के रूप में परिभाषित किया जा सकता है: यह उन औसत दर्जे के कार्यों का भागफल वेक्टर स्थान है $f$ ऐसा है कि

$$N_{p}(f)=\int _{S}|f|^{p}\,d\mu <\infty .$$

पहले की तरह, हम पेश कर सकते हैं $p$-आदर्श $\|f\|_{p}=N_{p}(f)^{1/p},$ लेकिन $\|\cdot \|_{p}$ इस मामले में त्रिभुज असमानता को संतुष्ट नहीं करता है, और केवल अर्ध-मानक को परिभाषित करता है। असमानता $(a+b)^{p}\leq a^{p}+b^{p},$ के लिए मान्य $a,b\geq 0,$ इसका आशय है (Rudin 1991, §1.47)

$$N_{p}(f+g)\leq N_{p}(f)+N_{p}(g)$$

और इसलिए समारोह

$$d_{p}(f,g)=N_{p}(f-g)=\|f-g\|_{p}^{p}$$

पर एक मीट्रिक है $L^{p}(\mu ).$ परिणामी मीट्रिक स्थान पूर्ण मीट्रिक स्थान है; सत्यापन परिचित समान है जब $p\geq 1.$ गेंदें

$$B_{r}=\{f\in L^{p}:N_{p}(f)<r\}$$

इस टोपोलॉजी के मूल में एक स्थानीय आधार बनाते हैं, जैसे $r>0$ सकारात्मक वास्तविकताओं की सीमा होती है। ये गेंदें संतुष्ट करती हैं $B_{r}=r^{1/p}B_{1}$ सभी वास्तविक के लिए $r>0,$ जो विशेष रूप से दर्शाता है $B_{1}$ उत्पत्ति का एक घिरा हुआ सेट (टोपोलॉजिकल वेक्टर स्पेस) पड़ोस है; दूसरे शब्दों में, यह स्थान स्थानीय रूप से बँधा हुआ है, वैसे ही हर आदर्श स्थान के बावजूद $\|\cdot \|_{p}$ आदर्श नहीं होना।

इस सेटिंग में $L^{p}$ विपरीत मिन्कोव्स्की असमानता को संतुष्ट करता है, जो कि के लिए है $u,v\in L^{p}$

$${\Big \|}|u|+|v|{\Big \|}_{p}\geq \|u\|_{p}+\|v\|_{p}$$

टोपोलॉजी को किसी भी मीट्रिक द्वारा परिभाषित किया जा सकता है $d$ फार्म का

$$d(f,g)=\int _{S}\varphi {\bigl (}|f(x)-g(x)|{\bigr )}\,\mathrm {d} \mu (x)$$

कहाँ $\varphi$ निरंतर अवतल और गैर-घटते हुए घिरा हुआ है $[0,\infty ),$ साथ $\varphi (0)=0$ और $\varphi (t)>0$ कब $t>0$ (उदाहरण के लिए, $\varphi (t)=\min(t,1).$ इस तरह के एक मीट्रिक को पॉल लेवी (गणितज्ञ) कहा जाता है|लेवी-मीट्रिक के लिए $L^{0}.$ इस मीट्रिक के तहत अंतरिक्ष $L^{0}$ पूरा हो गया है (यह फिर से एक एफ-स्पेस है)। अंतरिक्ष $L^{0}$ सामान्य रूप से स्थानीय रूप से बाध्य नहीं है, और स्थानीय रूप से उत्तल नहीं है।

अनंत Lebesgue उपाय के लिए $\lambda$ पर $\mathbb {R} ^{n},$ पड़ोस की मूलभूत प्रणाली की परिभाषा को निम्नानुसार संशोधित किया जा सकता है

$$W_{\varepsilon }=\left\{f:\lambda \left(\left\{x:|f(x)|>\varepsilon {\text{ and }}|x|<{\tfrac {1}{\varepsilon }}\right\}\right)<\varepsilon \right\}$$

परिणामी स्थान $L^{0}(\mathbb {R} ^{n},\lambda )$ टोपोलॉजिकल वेक्टर स्पेस के साथ मेल खाता है $L^{0}(\mathbb {R} ^{n},g(x)\,\mathrm {d} \lambda (x)),$ किसी सकारात्मक के लिए $\lambda$-पूर्ण घनत्व $g.$

सामान्यीकरण और विस्तार

कमजोर L^p

होने देना $(S,\Sigma ,\mu )$ एक माप स्थान बनें, और $f$ वास्तविक या जटिल मूल्यों के साथ एक औसत दर्जे का कार्य $S.$ का संचयी वितरण समारोह $f$ के लिए परिभाषित किया गया है $t\geq 0$ द्वारा

$$\lambda _{f}(t)=\mu \{x\in S:|f(x)|>t\}.$$

अगर $f$ में है $L^{p}(S,\mu )$ कुछ के लिए $p$ साथ $1\leq p<\infty ,$ फिर मार्कोव की असमानता से,

$$\lambda _{f}(t)\leq {\frac {\|f\|_{p}^{p}}{t^{p}}}$$

एक समारोह $f$ अंतरिक्ष में कमजोर कहा जाता है $L^{p}(S,\mu )$, या $L^{p,w}(S,\mu ),$ यदि कोई स्थिरांक है $C>0$ ऐसा कि, सभी के लिए $T>0,$

$$\lambda _{f}(t)\leq {\frac {C^{p}}{t^{p}}}$$

सबसे अच्छा स्थिरांक $C$ इस असमानता के लिए है $L^{p,w}$-मानक $f,$ और द्वारा दर्शाया गया है

$$\|f\|_{p,w}=\sup _{t>0}~t\lambda _{f}^{1/p}(t).$$

कमज़ोर $L^{p}$ लोरेंत्ज़ रिक्त स्थान के साथ मेल खाता है $L^{p,\infty },$ इसलिए इस संकेतन का उपयोग उन्हें निरूपित करने के लिए भी किया जाता है। $L^{p,w}$वें>-मानदंड सही मानदंड नहीं है, क्योंकि त्रिकोण असमानता धारण करने में विफल रहती है। फिर भी, के लिए $f$ में $L^{p}(S,\mu ),$

$$\|f\|_{p,w}\leq \|f\|_{p}$$

खास तरीके से $L^{p}(S,\mu )\subset L^{p,w}(S,\mu ).$ वास्तव में, एक है

$$\|f\|_{L^{p}}^{p}=\int |f(x)|^{p}d\mu (x)\geq \int _{\{|f(x)|>t\}}t^{p}+\int _{\{|f(x)|\leq t\}}|f|^{p}\geq t^{p}\mu (\{|f|>t\}),$$

और सत्ता में वृद्धि $1/p$ और सुप्रीमम को अंदर ले जाना $t$ किसी के पास

$$\|f\|_{L^{p}}\geq \sup _{t>0}t\;\mu (\{|f|>t\})^{1/p}=\|f\|_{L^{p,w}}.$$

सम्मेलन के तहत कि दो कार्य समान हैं यदि वे समान हैं $\mu$ लगभग हर जगह, फिर रिक्त स्थान $L^{p,w}$ पूर्ण हैं (Grafakos 2004).

किसी के लिए $0<r<p$ इजहार

$$\||f|\|_{L^{p,\infty }}=\sup _{0<\mu (E)<\infty }\mu (E)^{-1/r+1/p}\left(\int _{E}|f|^{r}\,d\mu \right)^{1/r}$$

की तुलना में है $L^{p,w}$-आदर्श। मामले में आगे $p>1,$ यह अभिव्यक्ति एक मानदंड को परिभाषित करती है $r=1.$ इसलिए के लिए $p>1$ कमज़ोर $L^{p}$ रिक्त स्थान बनच स्थान हैं (Grafakos 2004).

एक प्रमुख परिणाम जो उपयोग करता है $L^{p,w}$-स्पेस मार्सिंक्यूविज़ इंटरपोलेशन है, जिसमें हार्मोनिक विश्लेषण और एकवचन इंटीग्रल के अध्ययन के लिए व्यापक अनुप्रयोग हैं।

भारित L^p रिक्त स्थान

पहले की तरह, माप स्थान पर विचार करें $(S,\Sigma ,\mu ).$ होने देना $w:S\to [a,\infty ),a>0$ एक मापने योग्य कार्य हो। $w$वें> भारित $L^{p}$ अंतरिक्ष के रूप में परिभाषित किया गया है $L^{p}(S,w\,\mathrm {d} \mu ),$ कहाँ $w\,\mathrm {d} \mu$ मतलब पैमाना $\nu$ द्वारा परिभाषित

$$\nu (A)\equiv \int _{A}w(x)\,\mathrm {d} \mu (x),\qquad A\in \Sigma ,$$

या, रैडॉन-निकोडिम प्रमेय के संदर्भ में | रैडॉन-निकोडीम व्युत्पन्न, $w={\tfrac {\mathrm {d} \nu }{\mathrm {d} \mu }}$ के लिए सामान्य (गणित)। $L^{p}(S,w\,\mathrm {d} \mu )$ स्पष्ट रूप से है

$$\|u\|_{L^{p}(S,w\,\mathrm {d} \mu )}\equiv \left(\int _{S}w(x)|u(x)|^{p}\,\mathrm {d} \mu (x)\right)^{1/p}$$

जैसा $L^{p}$-स्पेस, वेटेड स्पेस में कुछ खास नहीं है, क्योंकि $L^{p}(S,w\,\mathrm {d} \mu )$ के बराबर है $L^{p}(S,\mathrm {d} \nu ).$ लेकिन वे हार्मोनिक विश्लेषण में कई परिणामों के लिए प्राकृतिक रूपरेखा हैं (Grafakos 2004); वे उदाहरण के लिए मुकेनहोउट वजन: फॉर में दिखाई देते हैं $1<p<\infty ,$ शास्त्रीय हिल्बर्ट परिवर्तन पर परिभाषित किया गया है $L^{p}(\mathbf {T} ,\lambda )$ कहाँ $\mathbf {T}$ यूनिट सर्कल को दर्शाता है और $\lambda$ लेबेस्ग उपाय; (नॉनलाइनियर) हार्डी-लिटिलवुड मैक्सिमल ऑपरेटर बाउंडेड है $L^{p}(\mathbb {R} ^{n},\lambda ).$ मकेनहाउप्ट प्रमेय वजन का वर्णन करता है $w$ ऐसा है कि हिल्बर्ट परिवर्तन पर बँधा रहता है $L^{p}(\mathbf {T} ,w\,\mathrm {d} \lambda )$ और अधिकतम ऑपरेटर चालू $L^{p}(\mathbb {R} ^{n},w\,\mathrm {d} \lambda ).$

L^p कई गुना पर रिक्त स्थान

कोई रिक्त स्थान भी परिभाषित कर सकता है $L^{p}(M)$ कई गुना पर आंतरिक कहा जाता है $L^{p}$ मैनिफोल्ड पर घनत्व का उपयोग करते हुए मैनिफोल्ड के रिक्त स्थान निम्न हैं।

वेक्टर-मूल्यवान L^p रिक्त स्थान

एक माप स्थान दिया गया $(\Omega ,\Sigma ,\mu )$ और स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थान $E$ (यहां पूर्ण टोपोलॉजिकल वेक्टर स्पेस माना जाता है), इसके रिक्त स्थान को परिभाषित करना संभव है $p$-पूर्ण करने योग्य $E$-मूल्यवान कार्यों पर $\Omega$ कई तरह से। एक तरीका यह है कि Bochner इंटीग्रल और पेटीस अभिन्न फ़ंक्शंस के स्पेस को परिभाषित किया जाए, और फिर उन्हें स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस वेक्टर टोपोलॉजी के साथ संपन्न किया जाए। TVS-टोपोलॉजी जो (प्रत्येक अपने तरीके से) सामान्य का एक प्राकृतिक सामान्यीकरण है $L^{p}$ टोपोलॉजी। दूसरे तरीके में टोपोलॉजिकल टेन्सर उत्पाद शामिल हैं $L^{p}(\Omega ,\Sigma ,\mu )$ साथ $E.$ वेक्टर अंतरिक्ष का तत्व $L^{p}(\Omega ,\Sigma ,\mu )\otimes E$ सरल टेन्सर के परिमित योग हैं $f_{1}\otimes e_{1}+\cdots +f_{n}\otimes e_{n},$ जहां प्रत्येक साधारण टेन्सर $f\times e$ समारोह से पहचाना जा सकता है $\Omega \to E$ जो भेजता है $x\mapsto ef(x).$ यह टेंसर उत्पाद $L^{p}(\Omega ,\Sigma ,\mu )\otimes E$ इसके बाद स्थानीय रूप से उत्तल टोपोलॉजी के साथ संपन्न होता है जो इसे एक टोपोलॉजिकल टेन्सर उत्पाद में बदल देता है, जिनमें से सबसे आम प्रक्षेपी टेन्सर उत्पाद हैं, जिन्हें इसके द्वारा निरूपित किया जाता है $L^{p}(\Omega ,\Sigma ,\mu )\otimes _{\pi }E,$ और इंजेक्शन टेन्सर उत्पाद, द्वारा निरूपित $L^{p}(\Omega ,\Sigma ,\mu )\otimes _{\varepsilon }E.$ सामान्य तौर पर, इनमें से कोई भी स्थान पूर्ण नहीं होता है, इसलिए उनका पूर्ण टोपोलॉजिकल वेक्टर स्थान निर्मित होता है, जिसे क्रमशः निरूपित किया जाता है $L^{p}(\Omega ,\Sigma ,\mu ){\widehat {\otimes }}_{\pi }E$ और $L^{p}(\Omega ,\Sigma ,\mu ){\widehat {\otimes }}_{\varepsilon }E$ (यह स्केलर-मूल्यवान सरल कार्यों की जगह के समान है $\Omega ,$ जब किसी के द्वारा अर्धवृत्ताकार $\|\cdot \|_{p},$ पूर्ण नहीं है इसलिए एक पूर्णता का निर्माण किया जाता है, जिसके द्वारा उद्धृत किए जाने के बाद $\ker \|\cdot \|_{p},$ बनच स्थान के लिए आइसोमेट्रिक रूप से आइसोमोर्फिक है $L^{p}(\Omega ,\mu )$). अलेक्जेंडर ग्रोथेंडिक ने दिखाया कि कब $E$ एक परमाणु स्थान है (एक अवधारणा जिसे उन्होंने पेश किया), फिर ये दो निर्माण क्रमशः, कैनोनिक रूप से टीवीएस-आइसोमॉर्फिक हैं, जिसमें बोचनर और पेटीस अभिन्न कार्यों के स्थान पहले उल्लेखित हैं; संक्षेप में, वे अप्रभेद्य हैं।

संदर्भ

• Adams, Robert A.; Fournier, John F. (2003), Sobolev Spaces (Second ed.), Academic Press, ISBN 978-0-12-044143-3.
• Bahouri, Hajer; Chemin, Jean-Yves; Danchin, Raphaël (2011). Fourier Analysis and Nonlinear Partial Differential Equations. Grundlehren der mathematischen Wissenschaften. Vol. 343. Berlin, Heidelberg: Springer. ISBN 978-3-642-16830-7. OCLC 704397128.
• Bourbaki, Nicolas (1987), Topological vector spaces, Elements of mathematics, Berlin: Springer-Verlag, ISBN 978-3-540-13627-9.
• DiBenedetto, Emmanuele (2002), Real analysis, Birkhäuser, ISBN 3-7643-4231-5.
• Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators, volume I, Wiley-Interscience.
• Duren, P. (1970), Theory of H^p-Spaces, New York: Academic Press
• Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Pearson Education, Inc., pp. 253–257, ISBN 0-13-035399-X.
• Hewitt, Edwin; Stromberg, Karl (1965), Real and abstract analysis, Springer-Verlag.
• Kalton, Nigel J.; Peck, N. Tenney; Roberts, James W. (1984), An F-space sampler, London Mathematical Society Lecture Note Series, vol. 89, Cambridge: Cambridge University Press, doi:10.1017/CBO9780511662447, ISBN 0-521-27585-7, MR 0808777
• Riesz, Frigyes (1910), "Untersuchungen über Systeme integrierbarer Funktionen", Mathematische Annalen, 69 (4): 449–497, doi:10.1007/BF01457637, S2CID 120242933
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
• Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw-Hill, ISBN 978-0-07-054234-1, MR 0924157
• Titchmarsh, EC (1976), The theory of functions, Oxford University Press, ISBN 978-0-19-853349-8

बाहरी संबंध

• "Lebesgue space", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Proof that L^p spaces are complete