नॉर्मड वेक्टर स्पेस

See also: मानदंड (गणित) and बानाख समष्टि

गणितीय रिक्त स्थान का पदानुक्रम। मानकित सदिश समष्टि आंतरिक उत्पाद समष्टि का अधिसमुच्चय है और मीट्रिक रिक्त स्थान का एक उपसमुच्चय, जो बदले में सांस्थितिकीय रिक्त स्थान का एक उपसमुच्चय है।

गणित में, एक मानक सदिश स्थान या आदर्श स्थान वास्तविक संख्या या जटिल संख्या संख्याओं पर एक सदिश स्थान होता है, जिस पर मानक (गणित) परिभाषित किया जाता है। मानक वास्तविक (भौतिक) दुनिया में लंबाई की सहज धारणा के वास्तविक सदिश रिक्त स्थान के लिए औपचारिकता और सामान्यीकरण है। मानदंड एक वास्तविक-मूल्यवान कार्य है जो सदिश स्थान पर परिभाषित होता है जिसे सामान्यतः $x\mapsto \|x\|$ निरूपित किया जाता है और इसके निम्नलिखित गुण हैं:

1. यह नकारात्मक नहीं है, इसका मतलब प्रत्येक सदिश $x.$ के लिए $\|x\|\geq 0$ है
2. यह शून्येतर सदिशों पर धनात्मक है, अर्थात,
   $$\|x\|=0{\text{ implies }}x=0.$$
3. हर सदिश $x,$ और हर अदिश $\alpha ,$ के लिए
   $$\|\alpha x\|=|\alpha |\,\|x\|.$$
4. त्रिभुज असमानता रखती है; यानी हर सदिश $x$ और $y$ के लिए
   $$\|x+y\|\leq \|x\|+\|y\|.$$

मानदंड एक मीट्रिक (गणित) को प्रेरित करता है, जिसे निम्न सूत्र द्वारा इसका (मानदंड) प्रेरित मात्रिक कहा जाता है,

$$d(x,y)=\|y-x\|.$$

जो किसी भी मानकित सदिश समष्टि को मेट्रिक समष्टि और सांस्थितिक सदिश समष्टि बनाता है। अगर यह मेट्रिक समष्टि पूर्ण मीट्रिक स्थान है तो मानकित समष्टि एक बनच समष्टि है। प्रत्येक मानक सदिश स्थान को विशिष्ट रूप से बनच स्थान तक विस्तारित किया जा सकता है, जो आदर्श स्थान को बनच स्थान से घनिष्ठ रूप से संबंधित बनाता है। प्रत्येक बनच स्थान एक आदर्श स्थान है लेकिन इसका विलोम सत्य नहीं है। उदाहरण के लिए, वास्तविक संख्याओं के परिमित अनुक्रमों के समुच्चय को यूक्लिडियन मानदंड के साथ आदर्श बनाया जा सकता है, लेकिन यह इस मानदंड के लिए पूर्ण नहीं है।

एक आंतरिक उत्पाद स्थान एक मानक सदिश स्थान है जिसका मानदंड एक सदिश और स्वयं के आंतरिक उत्पाद का वर्गमूल है। यूक्लिडियन सदिश स्थान की यूक्लिडियन मानदंड एक विशेष स्तिथि है जो सूत्र द्वारा यूक्लिडियन दूरी को परिभाषित करने की अनुमति देती है

$$d(A,B)=\|{\overrightarrow {AB}}\|.$$

नॉर्मड समष्टि और बनच समष्टि का अध्ययन कार्यात्मक विश्लेषण का एक मूलभूत हिस्सा है, जो गणित का एक प्रमुख उपक्षेत्र है।

परिभाषा

See also: सेमिनोर्म्ड समष्टि

एक मानकित सदिश समष्टि एक मानदंड (गणित) से लैस एक सदिश समष्टि है। सेमीनॉर्मड सदिश समष्टि एक सदिश स्थान है जो एक सेमिनोर्म से सुसज्जित है।

एक उपयोगी त्रिभुज असमानता त्रिकोण असमानता निम्न है

$$\|x-y\|\geq |\|x\|-\|y\||$$

किसी भी सदिश $x$ और $y$ के लिए इससे यह भी पता चलता है कि सदिश मानदंड एक (समान रूप से) निरंतर कार्य है।

विशेषता 3 अदिश के क्षेत्र में मानदंड $|\alpha |$ की पसंद पर निर्भर करती है। जब अदिश क्षेत्र $\mathbb {R}$ (या अधिक सामान्यतः इसका एक सबसमुच्चय $\mathbb {C}$) है, इसे सामान्यतः सामान्य पूर्ण मान के रूप में लिया जाता है, लेकिन अन्य विकल्प संभव हैं। उदाहरण के लिए, एक सदिश स्थान $\mathbb {Q}$ के लिए $|\alpha |$ को $p$-एडिक निरपेक्ष मूल्य लिया जा सकता है |

सामयिक संरचना

अगर $(V,\|\,\cdot \,\|)$ एक आदर्श सदिश स्थान है, आदर्श $\|\,\cdot \,\|$ एक मीट्रिक (गणित) (दूरी की एक धारणा) और इसलिए एक सांस्थिति $V$ को प्रेरित करता है इस मीट्रिक को प्राकृतिक तरीके से परिभाषित किया गया है: दो सदिशों $\|\mathbf {u} -\mathbf {v} \|.$ के बीच की दूरी $\mathbf {u}$ और $\mathbf {v}$ द्वारा दिया गया है यह सांस्थिति सबसे दुर्बल सांस्थिति है जो $\|\,\cdot \,\|$ को निरंतर बनाती है और जो की रैखिक संरचना के अनुकूल निम्नलिखित अर्थ में $V$ है  :

1. सदिश जोड़ $\,+\,:V\times V\to V$ इस सांस्थिति के संबंध में संयुक्त रूप से निरंतर है। यह त्रिभुज असमानता से सीधे अनुसरण करता है।
2. अदिश गुणन $\,\cdot \,:\mathbb {K} \times V\to V,$ जहाँ $\mathbb {K}$ का अंतर्निहित अदिश क्षेत्र $V$ संयुक्त रूप से निरंतर है। यह त्रिभुज असमानता और आदर्श की एकरूपता से अनुसरण करता है।

इसी प्रकार, किसी भी सेमिनोर्म्ड सदिश समष्टि के लिए हम दो सदिशों $\mathbf {u}$ और $\mathbf {v}$ के बीच की दूरी को $\|\mathbf {u} -\mathbf {v} \|$ द्वारा परिभाषित कर सकते हैं, जैसा यह सेमीनॉर्मड समष्टि को एक स्यूडोमेट्रिक समष्टि में बदल देता है (ध्यान दें कि यह मीट्रिक से दुर्बल है) और निरंतर प्रकार्य (सांस्थिति) और प्रकार्य की सीमा जैसे विचारों की परिभाषा की अनुमति देता है।

इसे और अधिक सारगर्भित रूप से रखने के लिए प्रत्येक सेमीनॉर्मड सदिश समष्टि एक सांस्थितिक सदिश समष्टि है और इस प्रकार एक सांस्थितिक संरचना होती है जो अर्ध-नॉर्म से प्रेरित होती है।

विशेष रुचि पूर्ण स्थान मानक स्थान हैं, जिन्हें बनच समष्टि रूप में जाना जाता है।

हर मानकित सदिश समष्टि $V$ कुछ बनच अंतरिक्ष के अंदर घने उप-स्थान के रूप में बैठता है; यह बनच स्थान अनिवार्य रूप से विशिष्ट रूप से परिभाषित है $V$ और कहा जाता है completion का $V.$

एक ही सदिश समष्टि पर दो मानदंड कहलाते हैं equivalent यदि वे समान सांस्थिति (संरचना) को परिभाषित करते हैं। एक परिमित-आयामी सदिश अंतरिक्ष पर, सभी मानदंड समान हैं लेकिन अनंत आयामी सदिश रिक्त स्थान के लिए यह सच नहीं है।

परिमित-आयामी सदिश स्थान पर सभी मानदंड एक सांस्थितिक दृष्टिकोण से समतुल्य हैं क्योंकि वे समान सांस्थिति को प्रेरित करते हैं (हालांकि परिणामी मीट्रिक रिक्त स्थान समान होने की आवश्यकता नहीं है)। और चूंकि कोई भी यूक्लिडियन स्थान पूर्ण है, इसलिए हम यह निष्कर्ष निकाल सकते हैं कि सभी परिमित-आयामी आदर्श सदिश स्थान बनच स्थान हैं। एक नॉर्मड सदिश समष्टि $V$ स्थानीय रूप से कॉम्पैक्ट है अगर और केवल अगर यूनिट बॉल $B=\{x:\|x\|\leq 1\}$ कॉम्पैक्ट जगह है, जो कि अगर और केवल अगर स्तिथि है $V$ परिमित आयामी है; यह रिज्ज़ की लेम्मा का परिणाम है। (वास्तव में, एक अधिक सामान्य परिणाम सत्य है: एक सांस्थितिक सदिश समष्टि स्थानीय रूप से कॉम्पैक्ट है अगर और केवल अगर यह परिमित-आयामी है। यहां बिंदु यह है कि हम यह नहीं मानते हैं कि सांस्थिति एक मानक से आती है।)

सेमीनॉर्मड सदिश समष्टि की सांस्थिति में कई अच्छे गुण हैं। एक पड़ोस प्रणाली को देखते हुए ${\mathcal {N}}(0)$ 0 के आस-पास हम अन्य सभी नेबरहुड सिस्टम का निर्माण कर सकते हैं

$${\mathcal {N}}(x)=x+{\mathcal {N}}(0):=\{x+N:N\in {\mathcal {N}}(0)\}$$

साथ

$$x+N:=\{x+n:n\in N\}.$$

इसके अलावा, अवशोषक समुच्चय और उत्तल समुच्चयों की उत्पत्ति के लिए पड़ोस का आधार मौजूद है। चूंकि यह संपत्ति कार्यात्मक विश्लेषण में बहुत उपयोगी है, इस संपत्ति के साथ आदर्श सदिश रिक्त स्थान के सामान्यीकरण का अध्ययन स्थानीय रूप से उत्तल रिक्त स्थान के नाम से किया जाता है।

एक आदर्श (या सेमिनोर्म) $\|\cdot \|$ एक सांस्थितिक सदिश समष्टि पर $(X,\tau )$ निरंतर है अगर और केवल अगर सांस्थिति $\tau _{\|\cdot \|}$ वह $\|\cdot \|$ प्रवृत्त करता है $X$ की तुलना में सांस्थिति की तुलना है $\tau$ (अर्थ, $\tau _{\|\cdot \|}\subseteq \tau$), जो तब होता है जब कुछ खुली गेंद मौजूद होती है $B$ में $(X,\|\cdot \|)$ (जैसे शायद $\{x\in X:\|x\|<1\}$ उदाहरण के लिए) जो में खुला है $(X,\tau )$ (अलग कहा, ऐसा है कि $B\in \tau$).

सामान्य स्थान

See also: Metrizable topological vector space § Normability

एक सांस्थितिक सदिश समष्टि $(X,\tau )$ मानक मौजूद होने पर सामान्य कहा जाता है $\|\cdot \|$ पर $X$ जैसे कि विहित मीट्रिक $(x,y)\mapsto \|y-x\|$ सांस्थिति को प्रेरित करता है $\tau$ पर $X.$ निम्नलिखित प्रमेय एंड्री कोलमोगोरोव के कारण है:

कोल्मोगोरोव की सामान्यता कसौटी: हॉउसडॉर्फ सांस्थितिक सदिश समष्टि नॉर्मल है अगर और केवल अगर कोई उत्तल मौजूद है, वॉन न्यूमैन बाउंडेड घिरा हुआ पड़ोस $0\in X.$ सामान्य स्थानों के एक परिवार का एक उत्पाद सामान्य है अगर और केवल अगर बहुत से रिक्त स्थान गैर-तुच्छ हैं (अर्थात, $\neq \{0\}$). इसके अलावा, एक सामान्य स्थान का भागफल $X$ एक बंद सदिश उप-स्थान द्वारा $C$ सामान्य है, और यदि इसके अतिरिक्त $X$की सांस्थिति एक मानक द्वारा दी गई है $\|\,\cdot ,\|$ फिर नक्शा $X/C\to \mathbb {R}$ द्वारा दिए गए ${\textstyle x+C\mapsto \inf _{c\in C}\|x+c\|}$ पर एक अच्छी तरह से परिभाषित मानदंड है $X/C$ जो भागफल सांस्थिति को प्रेरित करता है $X/C.$

अगर $X$ एक हॉसडॉर्फ स्थानीय रूप से उत्तल सांस्थितिक सदिश समष्टि सांस्थितिक सदिश समष्टि है तो निम्नलिखित समतुल्य हैं:

1. $X$ सामान्य है।
2. $X$ मूल का एक परिबद्ध पड़ोस है।
3. मजबूत दोहरी जगह $X_{b}^{\prime }$ का $X$ सामान्य है।
4. मजबूत दोहरी जगह $X_{b}^{\prime }$ का $X$ मेट्रिजेबल सांस्थितिक सदिश समष्टि है।

आगे, $X$ परिमित आयामी है अगर और केवल अगर $X_{\sigma }^{\prime }$ सामान्य है (यहाँ $X_{\sigma }^{\prime }$ अर्थ है $X^{\prime }$ दुर्बल- * सांस्थिति से संपन्न)।

सांस्थिति $\tau$ फ्रेचेट अंतरिक्ष की $C^{\infty }(K),$ जैसा कि परीक्षण कार्यों और वितरणों के रिक्त स्थान पर आलेख में परिभाषित किया गया है, मानदंडों के एक गणनीय परिवार द्वारा परिभाषित किया गया है लेकिन यह है not एक सामान्य स्थान क्योंकि कोई मानदंड मौजूद नहीं है $\|\cdot \|$ पर $C^{\infty }(K)$ ऐसा है कि यह मानदंड प्रेरित करने वाली सांस्थिति के बराबर है $\tau .$ यहां तक ​​​​कि अगर एक मेट्रिजेबल सांस्थितिक सदिश समष्टि में एक सांस्थिति है जो मानदंडों के एक परिवार द्वारा परिभाषित की जाती है, तो यह अभी भी आदर्श स्थान होने में विफल हो सकता है (जिसका अर्थ है कि इसकी सांस्थिति को किसी भी तरह से परिभाषित नहीं किया जा सकता है। single मानदंड)। ऐसी जगह का एक उदाहरण फ्रेचेट समष्टि है $C^{\infty }(K),$ जिसकी परिभाषा लेख में परीक्षण कार्यों और वितरण के स्थान पर पाई जा सकती है, क्योंकि इसकी सांस्थिति $\tau$ मानदंडों के एक गणनीय परिवार द्वारा परिभाषित किया गया है लेकिन यह है not एक सामान्य स्थान क्योंकि कोई मानदंड मौजूद नहीं है $\|\cdot \|$ पर $C^{\infty }(K)$ ऐसा है कि यह मानदंड प्रेरित करने वाली सांस्थिति के बराबर है $\tau .$ वास्तव में, स्थानीय रूप से उत्तल सांस्थितिक सदिश समष्टि की सांस्थिति $X$ के परिवार द्वारा परिभाषित किया जा सकता है norms पर $X$ अगर और केवल अगर मौजूद है at least one निरंतर मानदंड $X.$

रेखीय मानचित्र और दोहरे स्थान

दो मानक सदिश स्थानों के बीच सबसे महत्वपूर्ण मानचित्र सतत कार्य (सांस्थिति) रैखिक परिवर्तन हैं। इन मानचित्रों के साथ, मानक सदिश स्थान एक श्रेणी सिद्धांत बनाते हैं।

मानदंड अपने सदिश स्थान पर एक सतत कार्य है। परिमित आयामी सदिश स्थानों के बीच सभी रेखीय मानचित्र भी निरंतर होते हैं।

दो आदर्श सदिश समष्टियों के बीच की सममिति एक रेखीय मानचित्र है $f$ जो आदर्श को संरक्षित करता है (अर्थ $\|f(\mathbf {v} )\|=\|\mathbf {v} \|$ सभी सदिश के लिए $\mathbf {v}$). आइसोमेट्री हमेशा निरंतर और इंजेक्शन वाली होती है। आदर्श सदिश समष्टियों के बीच एक विशेषण समरूपता $V$ और $W$ एक आइसोमेट्रिक आइसोमोर्फिज्म कहा जाता है, और $V$ और $W$ आइसोमेट्रिक रूप से आइसोमोर्फिक कहलाते हैं। आइसोमेट्रिकली आइसोमोर्फिक मानकित सदिश समष्टि सभी व्यावहारिक उद्देश्यों के लिए समान हैं।

मानकित सदिश समष्टि की बात करते समय, हम नॉर्म को ध्यान में रखने के लिए दोहरी जगह की धारणा को बढ़ाते हैं। द्वैत $V^{\prime }$ एक नॉर्मड सदिश समष्टि का $V$ से सभी निरंतर रैखिक मानचित्रों का स्थान है $V$ आधार क्षेत्र के लिए (जटिल या वास्तविक) - ऐसे रैखिक मानचित्रों को कार्यात्मक कहा जाता है। एक कार्यात्मक का मानदंड $\varphi$ की सर्वोच्चता के रूप में परिभाषित किया गया है $|\varphi (\mathbf {v} )|$ कहाँ $\mathbf {v}$ सभी यूनिट सदिश (यानी, आदर्श के सदिश) पर पर्वतमाला $1$) में $V.$ यह मुड़ता है $V^{\prime }$ एक नॉर्मड सदिश समष्टि में। मानक सदिश स्थानों पर निरंतर रैखिक क्रियाओं के बारे में एक महत्वपूर्ण प्रमेय हैन-बनाक प्रमेय है।

सेमिनोर्म्ड समष्टि के कोयंट समष्टि के रूप में मानकित समष्टि

कई आदर्श स्थानों की परिभाषा (विशेष रूप से, बनच रिक्त स्थान) में एक सदिश स्थान पर परिभाषित एक सेमिनोर्म शामिल होता है और फिर आदर्श स्थान को सेमिनोर्म शून्य के तत्वों के उप-स्थान द्वारा कोटिएंट समष्टि (रैखिक बीजगणित) के रूप में परिभाषित किया जाता है। उदाहरण के लिए, एलपी समष्टि | के साथ$L^{p}$ रिक्त स्थान, द्वारा परिभाषित प्रकार्य

$$\|f\|_{p}=\left(\int |f(x)|^{p}\;dx\right)^{1/p}$$

सभी कार्यों के सदिश स्थान पर एक सेमिनोर्म है जिस पर दाहिने हाथ की ओर लेबेस्ग इंटीग्रल परिभाषित और परिमित है। हालांकि, लेबेस्ग उपाय शून्य के समुच्चय पर किसी भी प्रकार्य समर्थन (गणित) के लिए सेमिनोर्म शून्य के बराबर है। ये फलन एक उपसमष्टि बनाते हैं जिसे हम भागफल देते हैं, जिससे वे शून्य फलन के तुल्य बन जाते हैं।

परिमित उत्पाद स्थान

दिया गया $n$ अर्धवृत्ताकार स्थान $\left(X_{i},q_{i}\right)$ सेमिनोर्म्स के साथ $q_{i}:X_{i}\to \mathbb {R} ,$ द्वारा उत्पाद स्थान को निरूपित करें

$$X:=\prod _{i=1}^{n}X_{i}$$

जहां सदिश जोड़ के रूप में परिभाषित किया गया है

$$\left(x_{1},\ldots ,x_{n}\right)+\left(y_{1},\ldots ,y_{n}\right):=\left(x_{1}+y_{1},\ldots ,x_{n}+y_{n}\right)$$

और अदिश गुणन के रूप में परिभाषित किया गया है

$$\alpha \left(x_{1},\ldots ,x_{n}\right):=\left(\alpha x_{1},\ldots ,\alpha x_{n}\right).$$

एक नया कार्य परिभाषित करें $q:X\to \mathbb {R}$ द्वारा

$$q\left(x_{1},\ldots ,x_{n}\right):=\sum _{i=1}^{n}q_{i}\left(x_{i}\right),$$

जो कि सेमीनार है $X.$ कार्यक्रम $q$ एक आदर्श है अगर और केवल अगर सभी $q_{i}$ मानदंड हैं।

अधिक सामान्यतः, प्रत्येक वास्तविक के लिए $p\geq 1$ वो नक्शा $q:X\to \mathbb {R}$ द्वारा परिभाषित

$$q\left(x_{1},\ldots ,x_{n}\right):=\left(\sum _{i=1}^{n}q_{i}\left(x_{i}\right)^{p}\right)^{\frac {1}{p}}$$

एक अर्ध मानक है। प्रत्येक के लिए $p$ यह समान सांस्थितिक समष्टि को परिभाषित करता है।

प्राथमिक रेखीय बीजगणित से जुड़े एक सीधे-सादे तर्क से पता चलता है कि केवल परिमित-आयामी सेमिनोर्म्ड रिक्त स्थान वे हैं जो एक आदर्श स्थान के उत्पाद स्थान के रूप में उत्पन्न होते हैं और तुच्छ सेमीनॉर्म के साथ एक स्थान है। नतीजतन, कई अधिक दिलचस्प उदाहरण और सेमिनोर्म्ड रिक्त स्थान के अनुप्रयोग अनंत-आयामी सदिश रिक्त स्थान के लिए होते हैं।

यह भी देखें

• बैनाच समष्टि, मानकित सदिश समष्टि जो मानदंड से प्रेरित मीट्रिक के संबंध में पूर्ण हैं
• Banach–Mazur compactum – Set of n-dimensional subspaces of a normed space made into a compact metric space.
• फिन्सलर कई गुना, जहां प्रत्येक स्पर्शरेखा सदिश की लंबाई एक मानक द्वारा निर्धारित की जाती है
• अंदरूनी प्रोडक्ट समष्टि, मानकित सदिश समष्टि जहां एक आंतरिक उत्पाद द्वारा मानदंड दिया जाता है
• Kolmogorov's normability criterion
• स्थानीय रूप से उत्तल सांस्थितिक सदिश समष्टि - उत्तल ओपन समुच्चय द्वारा परिभाषित सांस्थिति के साथ एक सदिश समष्टि
• अंतरिक्ष (गणित) - कुछ अतिरिक्त संरचना के साथ गणितीय समुच्चय
• Topological vector space

ग्रन्थसूची

• 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.
• Banach, Stefan (1932). Théorie des Opérations Linéaires [Theory of Linear Operations] (PDF). Monografie Matematyczne (in français). Vol. 1. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Archived from the original (PDF) on 2014-01-11. Retrieved 2020-07-11.
• Rolewicz, Stefan (1987), Functional analysis and control theory: Linear systems, Mathematics and its Applications (East European Series), vol. 29 (Translated from the Polish by Ewa Bednarczuk ed.), Dordrecht; Warsaw: D. Reidel Publishing Co.; PWN—Polish Scientific Publishers, pp. xvi+524, doi:10.1007/978-94-015-7758-8, ISBN 90-277-2186-6, MR 0920371, OCLC 13064804
• Schaefer, H. H. (1999). Topological Vector Spaces. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

बाहरी संबंध

• Media related to Normed spaces at Wikimedia Commons