आदेशित सदिश स्थान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 4: Line 4:
==परिभाषा                        ==
==परिभाषा                        ==


[[वास्तविक संख्या]] <math>\Reals</math> से अधिक  सदिश समिष्ट <math>X</math> दिया गया है और [[पूर्व आदेश]] समुच्चय <math>X,</math> पर प्रीऑर्डर्ड <math>\,\leq\,</math>  दिया गया है जोड़ी <math>(X, \leq)</math> है प्रीऑर्डर्ड सदिश समिष्ट कहा जाता है और हम कहते हैं कि प्रीऑर्डर <math>\,\leq\,</math> <math>X</math> की सदिश अंतरिक्ष संरचना के साथ संगत है  और <math>\,\leq\,</math> कॉल करें सदिश प्रीऑर्डर कहा जाता है <math>X</math> यदि सभी के लिए <math>x, y, z \in X</math> और <math>r \in \Reals</math> साथ <math>r \geq 0</math> निम्नलिखित दो सिद्धांत संतुष्ट हैं
[[वास्तविक संख्या]] <math>\Reals</math> से अधिक  सदिश समिष्ट <math>X</math> दिया गया है और [[पूर्व आदेश]] समुच्चय <math>X,</math> पर प्रीऑर्डर्ड <math>\,\leq\,</math>  दिया गया है जोड़ी <math>(X, \leq)</math> है प्रीऑर्डर्ड सदिश समिष्ट कहा जाता है और हम कहते हैं कि प्रीऑर्डर <math>\,\leq\,</math> <math>X</math> की सदिश समिष्ट  संरचना के साथ संगत है  और <math>\,\leq\,</math> कॉल करें सदिश प्रीऑर्डर कहा जाता है <math>X</math> यदि सभी के लिए <math>x, y, z \in X</math> और <math>r \in \Reals</math> साथ <math>r \geq 0</math> निम्नलिखित दो सिद्धांत संतुष्ट हैं


# <math>x \leq y</math> तात्पर्य <math>x + z \leq y + z,</math>
# <math>x \leq y</math> तात्पर्य <math>x + z \leq y + z,</math>
# <math>y \leq x</math> तात्पर्य <math>r y \leq r x.</math>  
# <math>y \leq x</math> तात्पर्य <math>r y \leq r x.</math>  
यदि <math>\,\leq\,</math> <math>X</math> की सदिश अंतरिक्ष संरचना के साथ संगत आंशिक क्रम है  तब <math>(X, \leq)</math> क्रमित सदिश समष्टि कहलाती है और <math>\,\leq\,</math> को <math>X</math> सदिश आंशिक क्रम कहा जाता है  दो सिद्धांतों का अर्थ है कि अनुवाद और धनात्मक समरूपताएं ऑटोमोर्फिज्म हैं ऑर्डर संरचना और मानचित्रण <math>x \mapsto -x</math> [[द्वैत (आदेश सिद्धांत)]] के लिए एक समरूपता है। क्रमबद्ध वेक्टर रिक्त समिष्ट उनके अतिरिक्त ऑपरेशन के तहत क्रमबद्ध समूह हैं।
यदि <math>\,\leq\,</math> <math>X</math> की सदिश समिष्ट  संरचना के साथ संगत आंशिक क्रम है  तब <math>(X, \leq)</math> क्रमित सदिश समष्टि कहलाती है और <math>\,\leq\,</math> को <math>X</math> सदिश आंशिक क्रम कहा जाता है  दो सिद्धांतों का अर्थ है कि अनुवाद और धनात्मक समरूपताएं ऑटोमोर्फिज्म हैं ऑर्डर संरचना और मानचित्रण <math>x \mapsto -x</math> [[द्वैत (आदेश सिद्धांत)]] के लिए एक समरूपता है। क्रमबद्ध वेक्टर रिक्त समिष्ट उनके अतिरिक्त ऑपरेशन के तहत क्रमबद्ध समूह हैं।


ध्यान दें कि <math>x \leq y</math> यदि और केवल यदि <math>-y \leq -x.</math>
ध्यान दें कि <math>x \leq y</math> यदि और केवल यदि <math>-y \leq -x.</math>
Line 16: Line 16:
सदिश समिष्ट का <math>X</math> का उपसमुच्चय <math>C</math> है जिन्हें शंकु कहा जाता है यदि यह वास्तव के लिए <math>r > 0,</math> <math>r C \subseteq C.</math> में इसे शंकु को नुकीला कहा जाता है यदि उसमें मूल बिंदु सम्मिलित हो। शंकु <math>C</math> उत्तल है यदि और केवल यदि <math>C + C \subseteq C.</math> शंकु के किसी भी गैर-रिक्त परिवार (सम्मानित उत्तल शंकु) का [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय  सिद्धांत)]] फिर से शंकु (सम्मानित उत्तल शंकु) है; शंकुओं (सम्मान उत्तल शंकु) के बढ़ते (उपसमुच्चय के तहत) परिवार के [[संघ (सेट सिद्धांत)|संघ (समुच्चय  सिद्धांत)]] के बारे में भी यही सच है। सदिश समिष्ट में <math>X</math> में शंकु <math>C</math> को उत्पन्न करने वाला माना जाता है  <math>X = C - C.</math>{{sfn|Schaefer|Wolff|1999|pp=250-257}} एक धनात्मक शंकु तभी उत्पन्न होता है जब यह <math>\,\leq.</math> [[निर्देशित सेट|निर्देशित]] समुच्चय  होता है   
सदिश समिष्ट का <math>X</math> का उपसमुच्चय <math>C</math> है जिन्हें शंकु कहा जाता है यदि यह वास्तव के लिए <math>r > 0,</math> <math>r C \subseteq C.</math> में इसे शंकु को नुकीला कहा जाता है यदि उसमें मूल बिंदु सम्मिलित हो। शंकु <math>C</math> उत्तल है यदि और केवल यदि <math>C + C \subseteq C.</math> शंकु के किसी भी गैर-रिक्त परिवार (सम्मानित उत्तल शंकु) का [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय  सिद्धांत)]] फिर से शंकु (सम्मानित उत्तल शंकु) है; शंकुओं (सम्मान उत्तल शंकु) के बढ़ते (उपसमुच्चय के तहत) परिवार के [[संघ (सेट सिद्धांत)|संघ (समुच्चय  सिद्धांत)]] के बारे में भी यही सच है। सदिश समिष्ट में <math>X</math> में शंकु <math>C</math> को उत्पन्न करने वाला माना जाता है  <math>X = C - C.</math>{{sfn|Schaefer|Wolff|1999|pp=250-257}} एक धनात्मक शंकु तभी उत्पन्न होता है जब यह <math>\,\leq.</math> [[निर्देशित सेट|निर्देशित]] समुच्चय  होता है   


पूर्व-आदेशित सदिश समिष्ट <math>X</math> दिया गया| सभी '''तत्वों'''  <math>x</math> उपसमुच्चय <math>X^+</math> में <math>(X, \leq)</math> संतुष्टि देने वाला <math>x \geq 0</math> शीर्ष के साथ नुकीला [[उत्तल शंकु]] है <math>0</math> (अर्थात इसमें सम्मिलित  है <math>0</math>) जिसे  <math>X</math> का धनात्मक शंकु कहलाता है  और <math>\operatorname{PosCone} X.</math> द्वारा निरूपित किया गया | धनात्मक शंकु के तत्वों को धनात्मक कहा जाता है। यदि <math>x</math> और <math>y</math> पूर्वक्रमित सदिश समष्टि के तत्व हैं <math>(X, \leq),</math> तब <math>x \leq y</math> यदि और केवल यदि <math>y - x \in X^+.</math> शीर्ष <math>C</math>  के साथ किसी भी नुकीले उत्तल शंकु को देखते हुए <math>0,</math> कोई <math>X</math> प्रीऑर्डर <math>\,\leq\,</math> को परिभाषित कर सकता है  जो सभी के लिए घोषणा करके <math>X</math> के सदिश समिष्ट संरचना के अनुकूल है  <math>x, y \in X,</math> वह <math>x \leq y</math> यदि और केवल यदि <math>y - x \in C;</math> इस परिणामी पूर्वक्रमित सदिश समष्टि का धनात्मक शंकु है <math>C.</math> इस प्रकार शीर्ष <math>0</math> के साथ नुकीले उत्तल शंकुओं  और <math>X                                                                                                                                                            </math> पर सदिश प्री-ऑर्डर के बीच एक-से-एक पत्राचार होता है{{sfn|Schaefer|Wolff|1999|pp=250-257}} यदि <math>X</math> पूर्व-आदेश दिया गया है तो हम <math>X</math> को  परिभाषित करके <math>x</math> पर तुल्यता संबंध बना सकते हैं तथा <math>y</math> यदि और केवल यदि <math>x \leq y</math> और <math>y \leq x;</math> यदि <math>N</math> तब मूल से युक्त [[तुल्यता वर्ग]] है <math>N</math>, <math>X</math> का सदिश उपसमष्टि है  और <math>X / N</math> संबंध के अंतर्गत क्रमित सदिश समष्टि है: <math>A \leq B</math>  यदि और केवल वहाँ  <math>a \in A</math> और <math>b \in B</math> अस्तित्व है <math>a \leq b.</math> ऐसा है{{sfn|Schaefer|Wolff|1999|pp=250-257}}  
पूर्व-आदेशित सदिश समिष्ट <math>X</math> दिया गया| सभी '''अवयव ों'''  <math>x</math> उपसमुच्चय <math>X^+</math> में <math>(X, \leq)</math> संतुष्टि देने वाला <math>x \geq 0</math> शीर्ष के साथ नुकीला [[उत्तल शंकु]] है <math>0</math> (अर्थात इसमें सम्मिलित  है <math>0</math>) जिसे  <math>X</math> का धनात्मक शंकु कहलाता है  और <math>\operatorname{PosCone} X.</math> द्वारा निरूपित किया गया | धनात्मक शंकु के अवयव ों को धनात्मक कहा जाता है। यदि <math>x</math> और <math>y</math> पूर्वक्रमित सदिश समष्टि के अवयव  हैं <math>(X, \leq),</math> तब <math>x \leq y</math> यदि और केवल यदि <math>y - x \in X^+.</math> शीर्ष <math>C</math>  के साथ किसी भी नुकीले उत्तल शंकु को देखते हुए <math>0,</math> कोई <math>X</math> प्रीऑर्डर <math>\,\leq\,</math> को परिभाषित कर सकता है  जो सभी के लिए घोषणा करके <math>X</math> के सदिश समिष्ट संरचना के अनुकूल है  <math>x, y \in X,</math> वह <math>x \leq y</math> यदि और केवल यदि <math>y - x \in C;</math> इस परिणामी पूर्वक्रमित सदिश समष्टि का धनात्मक शंकु है <math>C.</math> इस प्रकार शीर्ष <math>0</math> के साथ नुकीले उत्तल शंकुओं  और <math>X                                                                                                                                                            </math> पर सदिश प्री-ऑर्डर के बीच एक-से-एक पत्राचार होता है{{sfn|Schaefer|Wolff|1999|pp=250-257}} यदि <math>X</math> पूर्व-आदेश दिया गया है तो हम <math>X</math> को  परिभाषित करके <math>x</math> पर तुल्यता संबंध बना सकते हैं तथा <math>y</math> यदि और केवल यदि <math>x \leq y</math> और <math>y \leq x;</math> यदि <math>N</math> तब मूल से युक्त [[तुल्यता वर्ग]] है <math>N</math>, <math>X</math> का सदिश उपसमष्टि है  और <math>X / N</math> संबंध के अंतर्गत क्रमित सदिश समष्टि है: <math>A \leq B</math>  यदि और केवल वहाँ  <math>a \in A</math> और <math>b \in B</math> अस्तित्व है <math>a \leq b.</math> ऐसा है{{sfn|Schaefer|Wolff|1999|pp=250-257}}  


<math>X</math> को  [[उचित शंकु]] कहा जाता है यदि यह शीर्ष <math>C</math> का उत्तल शंकु है इसका उपसमुच्चय सदिश समिष्ट का होता है तो इसे <math>0</math> संतुष्टि देने वाला <math>C \cap (- C) = \{0\}.</math> है तथा स्पष्ट रूप से, <math>C</math> उचित शंकु है यदि (1) <math>C + C \subseteq C,</math> (2) <math>r C \subseteq C</math> सभी <math>r > 0,</math> के लिए और (3) <math>C \cap (- C) = \{0\}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}} उचित शंकुओं के किसी भी गैर-रिक्त परिवार का प्रतिच्छेदन फिर से उचित शंकु है। प्रत्येक उचित शंकु वास्तविक सदिश समष्टि में परिभाषित करके सदिश समष्टि पर क्रम उत्पन्न करता है  <math>C</math> <math>x \leq y</math> यदि और केवल यदि <math>y - x \in C,</math> और इसके अलावा, इस क्रमित सदिश समष्टि का धनात्मक शंकु होगा <math>C.</math> इसलिए, उचित उत्तल शंकुओं के बीच वन-से-वन पत्राचार उपस्तिथ <math>X</math> है  और सदिश आंशिक आदेश <math>X.</math> पर होते है   
<math>X</math> को  [[उचित शंकु]] कहा जाता है यदि यह शीर्ष <math>C</math> का उत्तल शंकु है इसका उपसमुच्चय सदिश समिष्ट का होता है तो इसे <math>0</math> संतुष्टि देने वाला <math>C \cap (- C) = \{0\}.</math> है तथा स्पष्ट रूप से, <math>C</math> उचित शंकु है यदि (1) <math>C + C \subseteq C,</math> (2) <math>r C \subseteq C</math> सभी <math>r > 0,</math> के लिए और (3) <math>C \cap (- C) = \{0\}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}} उचित शंकुओं के किसी भी गैर-रिक्त परिवार का प्रतिच्छेदन फिर से उचित शंकु है। प्रत्येक उचित शंकु वास्तविक सदिश समष्टि में परिभाषित करके सदिश समष्टि पर क्रम उत्पन्न करता है  <math>C</math> <math>x \leq y</math> यदि और केवल यदि <math>y - x \in C,</math> और इसके अलावा, इस क्रमित सदिश समष्टि का धनात्मक शंकु होगा <math>C.</math> इसलिए, उचित उत्तल शंकुओं के बीच वन-से-वन पत्राचार उपस्तिथ <math>X</math> है  और सदिश आंशिक आदेश <math>X.</math> पर होते है   
Line 30: Line 30:
===बिंदुवार क्रम                      ===
===बिंदुवार क्रम                      ===


यदि <math>S</math> क्या कोई समुच्चय  है और यदि <math>X</math> वास्तविक-मूल्यवान [[फ़ंक्शन (गणित)]] का सदिश समिष्ट (वास्तविकता पर) है <math>S,</math> तत्पश्चात बिन्दुवार क्रम जारी करें <math>X</math> द्वारा, सभी के लिए दिया गया है <math>f, g \in X,</math> <math>f \leq g</math> यदि और केवल यदि <math>f(s) \leq g(s)</math> सभी के लिए <math>s \in S.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
यदि <math>S</math> क्या कोई समुच्चय  है और यदि <math>X</math> वास्तविक-मूल्यवान [[फ़ंक्शन (गणित)|फलन  (गणित)]] का सदिश समिष्ट <math>S,</math>(वास्तविकता पर) है  तत्पश्चात <math>X</math> द्वारा बिन्दुवार क्रम जारी करें , <math>f, g \in X,</math> सभी <math>f \leq g</math> के लिए दिया गया है  यदि और केवल यदि <math>f(s) \leq g(s)</math> सभी <math>s \in S.</math> के लिए यही होगा | {{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>S                                  </math> पर [[परिबद्ध कार्य]] के वास्तविक-मूल्यवान मानचित्रों पर समिष्ट  <math>\ell^\infty(S, \Reals)</math> होता है |
* वास्तविक-मूल्यवान अनुक्रमों की समिष्ट  <math>c_0(\Reals)</math> जो किसी <math>0.</math>[[अनुक्रम की सीमा]] को सीमित करते हैं 
*[[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समिष्ट]] <math>S.</math> पर [[सतत कार्य (टोपोलॉजी)]] के वास्तविक-मूल्यवान कार्य समिष्ट  <math>C(S, \Reals)</math> होता है |
* किसी भी गैर-नकारात्मक पूर्णांक <math>n,</math> के लिए  यूक्लिडियन समिष्ट <math>\Reals^n</math> जब समिष्ट <math>C(\{1, \dots, n\}, \Reals)</math>  के रूप में माना जाता है जहाँ  <math>S = \{1, \dots, n\}</math> [[असतत टोपोलॉजी]] दी गई है।


जिन समिष्टों को आम तौर पर यह क्रम सौंपा गया है उनमें सम्मिलित हैं:
समिष्ट <math>\mathcal{L}^\infty(\Reals, \Reals)</math> सभी मापने योग्य फलन  [[लगभग हर जगह]] वास्तविक-मूल्यवान <math>\Reals,</math> मानचित्रों से बंधे होते हैं जहां सभी <math>f, g \in \mathcal{L}^\infty(\Reals, \Reals)</math> के लिए प्रीऑर्डर <math>f \leq g</math> द्वारा  रिभाषित किया गया है यदि और केवल यदि <math>f(s) \leq g(s)</math> लगभग हर जगह होता है ।{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* अंतरिक्ष <math>\ell^\infty(S, \Reals)</math> [[परिबद्ध कार्य]] के वास्तविक-मूल्यवान मानचित्रों पर <math>S.</math>
* अंतरिक्ष <math>c_0(\Reals)</math> वास्तविक-मूल्यवान अनुक्रमों की जो किसी [[अनुक्रम की सीमा]] को सीमित करते हैं <math>0.</math> * अंतरिक्ष <math>C(S, \Reals)</math> [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समिष्ट]] पर [[सतत कार्य (टोपोलॉजी)]] के वास्तविक-मूल्यवान कार्य <math>S.</math>
* किसी भी गैर-नकारात्मक पूर्णांक के लिए <math>n,</math> यूक्लिडियन समिष्ट <math>\Reals^n</math> जब अंतरिक्ष के रूप में माना जाता है <math>C(\{1, \dots, n\}, \Reals)</math> कहाँ <math>S = \{1, \dots, n\}</math> [[असतत टोपोलॉजी]] दी गई है।


अंतरिक्ष <math>\mathcal{L}^\infty(\Reals, \Reals)</math> सभी मापने योग्य फ़ंक्शन [[लगभग हर जगह]] वास्तविक-मूल्यवान मानचित्रों से बंधे होते हैं <math>\Reals,</math> जहां सभी के लिए प्रीऑर्डर परिभाषित किया गया है <math>f, g \in \mathcal{L}^\infty(\Reals, \Reals)</math> द्वारा <math>f \leq g</math> यदि और केवल यदि <math>f(s) \leq g(s)</math> लगभग हर जगह।{{sfn|Narici|Beckenstein|2011|pp=139-153}}
==अंतराल और क्रमबद्ध दोहरा                                                                                 ==
 
==अंतराल और क्रमबद्ध दोहरा==


पूर्व-क्रमित सदिश समष्टि में क्रम अंतराल प्रपत्र का समुच्चय  होता है
पूर्व-क्रमित सदिश समष्टि में क्रम अंतराल प्रपत्र का समुच्चय  होता है
Line 48: Line 47:
]a, b[ &= \{x : a <    x <    b\}. \\
]a, b[ &= \{x : a <    x <    b\}. \\
\end{alignat}</math>
\end{alignat}</math>
उपरोक्त अभिगृहीतों 1 और 2 से यह निष्कर्ष निकलता है <math>x, y \in [a, b]</math> और <math>0 < t < 1</math> तात्पर्य <math>t x + (1 - t) y</math> से संबंधित <math>[a, b];</math> इस प्रकार ये क्रम अंतराल उत्तल हैं।
उपरोक्त अभिगृहीतों 1 और 2 से यह निष्कर्ष निकलता है कि <math>x, y \in [a, b]</math> और <math>0 < t < 1</math> से  तात्पर्य है कि <math>t x + (1 - t) y</math> से संबंधित है <math>[a, b];</math> इस प्रकार ये क्रम अंतराल उत्तल हैं। एक उपसमुच्चय को ऑर्डर बाउंड कहा जाता है यदि वह किसी ऑर्डर अंतराल में समाहित हो।{{sfn|Schaefer|Wolff|1999|pp=205–209}} एक पूर्व-आदेशित वास्तविक सदिश समिष्ट में, यदि <math>x \geq 0</math> के लिए है तो  फिर <math>[-x, x]</math> रूप  का अंतराल  [[संतुलित सेट|संतुलित]] समुच्चय  है.{{sfn|Schaefer|Wolff|1999|pp=205–209}} पूर्व-क्रमित सदिश समष्टि की क्रम इकाई कोई भी अवयव  है <math>x</math> ऐसे कि समुच्चय  <math>[-x, x]</math> [[अवशोषक सेट|अवशोषक]] समुच्चय  है.{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक उपसमुच्चय को ऑर्डर बाउंड कहा जाता है यदि वह किसी ऑर्डर अंतराल में समाहित हो।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक पूर्व-आदेशित वास्तविक सदिश समिष्ट में, यदि के लिए <math>x \geq 0</math> फिर फॉर्म का अंतराल <math>[-x, x]</math> [[संतुलित सेट|संतुलित]] समुच्चय  है.{{sfn|Schaefer|Wolff|1999|pp=205–209}}
पूर्व-क्रमित सदिश समष्टि की क्रम इकाई कोई भी तत्व है <math>x</math> ऐसे कि समुच्चय  <math>[-x, x]</math> [[अवशोषक सेट|अवशोषक]] समुच्चय  है.{{sfn|Schaefer|Wolff|1999|pp=205–209}}


पूर्व-क्रमित सदिश समष्टि पर सभी [[रैखिक कार्यात्मक]]ताओं का समुच्चय <math>X</math> प्रत्येक ऑर्डर अंतराल को बाउंडेड समुच्चय  में मैप करने को [[ आदेश बाध्य दोहरी |आदेश बाध्य दोहरी]] कहा जाता है <math>X</math> और द्वारा निरूपित किया गया <math>X^{\operatorname{b}}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
पूर्व-क्रमित सदिश समष्टि पर सभी [[रैखिक कार्यात्मक]]ताओं का समुच्चय <math>X</math> प्रत्येक ऑर्डर अंतराल को बाउंडेड समुच्चय  में मानचित्ररण करने को [[ आदेश बाध्य दोहरी |आदेश बाध्य दोहरी]] कहा जाता है और  <math>X</math> द्वारा <math>X^{\operatorname{b}}.</math> निरूपित किया गया {{sfn|Schaefer|Wolff|1999|pp=205–209}} यदि किसी समिष्ट को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का सदिश उपसमष्टि होता है।
यदि किसी समिष्ट को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का सदिश उपसमष्टि होता है।


उपसमुच्चय <math>A</math> क्रमबद्ध सदिश समष्टि का <math>X</math> यदि प्रत्येक गैर-रिक्त उपसमुच्चय के लिए ऑर्डर पूर्ण कहा जाता है <math>B \subseteq A</math> ऐसा है कि <math>B</math> आदेश में बंधा हुआ है <math>A,</math> दोनों <math>\sup B</math> और <math>\inf B</math> उपस्तिथ  हैं और के तत्व हैं <math>A.</math> हम कहते हैं कि क्रमित सदिश समष्टि <math>X</math> क्या ऑर्डर पूरा है <math>X</math> का ऑर्डर पूर्ण उपसमुच्चय है <math>X.</math>{{sfn|Schaefer|Wolff|1999|pp=204-214}}
उपसमुच्चय <math>A</math> क्रमबद्ध सदिश समष्टि का <math>X</math> यदि प्रत्येक गैर-रिक्त उपसमुच्चय के लिए ऑर्डर पूर्ण कहा जाता है <math>B \subseteq A</math> ऐसा है कि <math>B</math> आदेश में बंधा हुआ है <math>A,</math> है दोनों <math>\sup B</math> और <math>\inf B</math> उपस्तिथ  हैं और <math>A.</math> के अवयव हैं हम कहते हैं कि क्रमित सदिश समष्टि <math>X</math> क्या ऑर्डर पूरा <math>X</math> हैतथा इसका ऑर्डर पूर्ण उपसमुच्चय <math>X.</math> है {{sfn|Schaefer|Wolff|1999|pp=204-214}}


===उदाहरण===
===उदाहरण                                                       ===


यदि <math>(X, \leq)</math> ऑर्डर इकाई के साथ वास्तविकताओं पर पूर्व-आदेशित सदिश समिष्ट है <math>u,</math> फिर नक्शा <math>p(x) := \inf \{t \in \Reals : x \leq t u\}</math> [[सबलीनियर कार्यात्मक]]ता है।{{sfn|Narici|Beckenstein|2011|pp=139-153}}
यदि <math>(X, \leq)</math> ऑर्डर इकाई के साथ वास्तविकताओं पर पूर्व-आदेशित सदिश समिष्ट <math>u,</math> है  फिर मानचित्र  <math>p(x) := \inf \{t \in \Reals : x \leq t u\}</math> [[सबलीनियर कार्यात्मक]]ता है।{{sfn|Narici|Beckenstein|2011|pp=139-153}}


==गुण==
==गुण                 ==


यदि <math>X</math> सभी के लिए पूर्व-आदेशित सदिश समिष्ट है <math>x, y \in X,</math> * <math>x \geq 0</math> और <math>y \geq 0</math> कारण  <math>x + y \geq 0.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
यदि <math>X</math> सभी के लिए पूर्व-आदेशित सदिश समिष्ट है <math>x, y \in X,</math> * <math>x \geq 0</math> और <math>y \geq 0</math> कारण  <math>x + y \geq 0.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
Line 101: Line 96:
यह संपत्ति गारंटी देती है कि आदेशित सदिश समिष्टों का अध्ययन करने के लिए द्वंद्व के उपकरणों का सफलतापूर्वक उपयोग करने में सक्षम होने के लिए पर्याप्त रूप से कई धनात्मक रैखिक रूप हैं।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यह संपत्ति गारंटी देती है कि आदेशित सदिश समिष्टों का अध्ययन करने के लिए द्वंद्व के उपकरणों का सफलतापूर्वक उपयोग करने में सक्षम होने के लिए पर्याप्त रूप से कई धनात्मक रैखिक रूप हैं।{{sfn|Schaefer|Wolff|1999|pp=205–209}}


यदि सभी तत्वों के लिए क्रमित सदिश समष्टि को सदिश जालक कहा जाता है <math>x</math> और <math>y,</math> उच्चतम <math>\sup (x, y)</math> और सबसे निचला <math>\inf (x, y)</math> अस्तित्व।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यदि सभी अवयव ों के लिए क्रमित सदिश समष्टि को सदिश जालक कहा जाता है <math>x</math> और <math>y,</math> उच्चतम <math>\sup (x, y)</math> और सबसे निचला <math>\inf (x, y)</math> अस्तित्व।{{sfn|Schaefer|Wolff|1999|pp=205–209}}


==उपसमिष्ट, भागफल, और उत्पाद==
==उपसमिष्ट, भागफल, और उत्पाद==

Revision as of 12:54, 26 July 2023

एक बिंदु में और सभी का समुच्चय (गणित) ऐसा है कि (लाल)। यहाँ आदेश है यदि और केवल यदि और

गणित में, क्रमित सदिश समष्टि या आंशिक रूप से क्रमित सदिश समष्टि आंशिक क्रम से सुसज्जित सदिश समष्टि है जो सदिश समष्टि संचालन के साथ संगत है।

परिभाषा

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

  1. तात्पर्य
  2. तात्पर्य

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

ध्यान दें कि यदि और केवल यदि

धनात्मक शंकु और क्रम के अनुसार उनकी तुल्यता

सदिश समिष्ट का का उपसमुच्चय है जिन्हें शंकु कहा जाता है यदि यह वास्तव के लिए में इसे शंकु को नुकीला कहा जाता है यदि उसमें मूल बिंदु सम्मिलित हो। शंकु उत्तल है यदि और केवल यदि शंकु के किसी भी गैर-रिक्त परिवार (सम्मानित उत्तल शंकु) का प्रतिच्छेदन (समुच्चय सिद्धांत) फिर से शंकु (सम्मानित उत्तल शंकु) है; शंकुओं (सम्मान उत्तल शंकु) के बढ़ते (उपसमुच्चय के तहत) परिवार के संघ (समुच्चय सिद्धांत) के बारे में भी यही सच है। सदिश समिष्ट में में शंकु को उत्पन्न करने वाला माना जाता है [1] एक धनात्मक शंकु तभी उत्पन्न होता है जब यह निर्देशित समुच्चय होता है

पूर्व-आदेशित सदिश समिष्ट दिया गया| सभी अवयव ों उपसमुच्चय में संतुष्टि देने वाला शीर्ष के साथ नुकीला उत्तल शंकु है (अर्थात इसमें सम्मिलित है ) जिसे का धनात्मक शंकु कहलाता है और द्वारा निरूपित किया गया | धनात्मक शंकु के अवयव ों को धनात्मक कहा जाता है। यदि और पूर्वक्रमित सदिश समष्टि के अवयव हैं तब यदि और केवल यदि शीर्ष के साथ किसी भी नुकीले उत्तल शंकु को देखते हुए कोई प्रीऑर्डर को परिभाषित कर सकता है जो सभी के लिए घोषणा करके के सदिश समिष्ट संरचना के अनुकूल है वह यदि और केवल यदि इस परिणामी पूर्वक्रमित सदिश समष्टि का धनात्मक शंकु है इस प्रकार शीर्ष के साथ नुकीले उत्तल शंकुओं और पर सदिश प्री-ऑर्डर के बीच एक-से-एक पत्राचार होता है[1] यदि पूर्व-आदेश दिया गया है तो हम को परिभाषित करके पर तुल्यता संबंध बना सकते हैं तथा यदि और केवल यदि और यदि तब मूल से युक्त तुल्यता वर्ग है , का सदिश उपसमष्टि है और संबंध के अंतर्गत क्रमित सदिश समष्टि है: यदि और केवल वहाँ और अस्तित्व है ऐसा है[1]

को उचित शंकु कहा जाता है यदि यह शीर्ष का उत्तल शंकु है इसका उपसमुच्चय सदिश समिष्ट का होता है तो इसे संतुष्टि देने वाला है तथा स्पष्ट रूप से, उचित शंकु है यदि (1) (2) सभी के लिए और (3) [2] उचित शंकुओं के किसी भी गैर-रिक्त परिवार का प्रतिच्छेदन फिर से उचित शंकु है। प्रत्येक उचित शंकु वास्तविक सदिश समष्टि में परिभाषित करके सदिश समष्टि पर क्रम उत्पन्न करता है यदि और केवल यदि और इसके अलावा, इस क्रमित सदिश समष्टि का धनात्मक शंकु होगा इसलिए, उचित उत्तल शंकुओं के बीच वन-से-वन पत्राचार उपस्तिथ है और सदिश आंशिक आदेश पर होते है

कुल सदिश क्रम से हमारा कारण कुल ऑर्डर से है जो कि सदिश समिष्ट संरचना के अनुकूल है तथा सदिश समष्टि पर कुल सदिश क्रमों का परिवार सभी उचित शंकुओं के परिवार के साथ वन-से-वन पत्राचार में है जो समुच्चय समावेशन के तहत अधिकतम हैं।[1] कुल सदिश क्रम आर्किमिडीज़ आदेश नहीं हो सकता है यदि इसका आयाम (सदिश समिष्ट), जब वास्तविक पर सदिश समिष्ट माना जाता है, 1 से अधिक है।[1]

यदि और धनात्मक शंकु वाले सदिश समष्टि के दो क्रम क्रमशः और हैं , तो हम ऐसा कहते हैं से बेहतर है यदि [2]

उदाहरण

सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध सदिश समिष्ट बनाती हैं। सभी पूर्णांकों के लिए यूक्लिडियन समिष्ट शब्दकोषीय क्रम के साथ वास्तविकताओं पर सदिश समिष्ट के रूप में माना जाता है, जो कि पूर्व-क्रमित सदिश समिष्ट बनता है जिसका क्रम आर्किमिडीयन द्वारा आदेशित सदिश समिष्ट है यदि और केवल यदि .[3]

बिंदुवार क्रम

यदि क्या कोई समुच्चय है और यदि वास्तविक-मूल्यवान फलन (गणित) का सदिश समिष्ट (वास्तविकता पर) है तत्पश्चात द्वारा बिन्दुवार क्रम जारी करें , सभी के लिए दिया गया है यदि और केवल यदि सभी के लिए यही होगा | [3]

  • पर परिबद्ध कार्य के वास्तविक-मूल्यवान मानचित्रों पर समिष्ट होता है |
  • वास्तविक-मूल्यवान अनुक्रमों की समिष्ट जो किसी अनुक्रम की सीमा को सीमित करते हैं
  • टोपोलॉजिकल समिष्ट पर सतत कार्य (टोपोलॉजी) के वास्तविक-मूल्यवान कार्य समिष्ट होता है |
  • किसी भी गैर-नकारात्मक पूर्णांक के लिए यूक्लिडियन समिष्ट जब समिष्ट के रूप में माना जाता है जहाँ असतत टोपोलॉजी दी गई है।

समिष्ट सभी मापने योग्य फलन लगभग हर जगह वास्तविक-मूल्यवान मानचित्रों से बंधे होते हैं जहां सभी के लिए प्रीऑर्डर द्वारा रिभाषित किया गया है यदि और केवल यदि लगभग हर जगह होता है ।[3]

अंतराल और क्रमबद्ध दोहरा

पूर्व-क्रमित सदिश समष्टि में क्रम अंतराल प्रपत्र का समुच्चय होता है

उपरोक्त अभिगृहीतों 1 और 2 से यह निष्कर्ष निकलता है कि और से तात्पर्य है कि से संबंधित है इस प्रकार ये क्रम अंतराल उत्तल हैं। एक उपसमुच्चय को ऑर्डर बाउंड कहा जाता है यदि वह किसी ऑर्डर अंतराल में समाहित हो।[2] एक पूर्व-आदेशित वास्तविक सदिश समिष्ट में, यदि के लिए है तो फिर रूप का अंतराल संतुलित समुच्चय है.[2] पूर्व-क्रमित सदिश समष्टि की क्रम इकाई कोई भी अवयव है ऐसे कि समुच्चय अवशोषक समुच्चय है.[2]

पूर्व-क्रमित सदिश समष्टि पर सभी रैखिक कार्यात्मकताओं का समुच्चय प्रत्येक ऑर्डर अंतराल को बाउंडेड समुच्चय में मानचित्ररण करने को आदेश बाध्य दोहरी कहा जाता है और द्वारा निरूपित किया गया [2] यदि किसी समिष्ट को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का सदिश उपसमष्टि होता है।

उपसमुच्चय क्रमबद्ध सदिश समष्टि का यदि प्रत्येक गैर-रिक्त उपसमुच्चय के लिए ऑर्डर पूर्ण कहा जाता है ऐसा है कि आदेश में बंधा हुआ है है दोनों और उपस्तिथ हैं और के अवयव हैं हम कहते हैं कि क्रमित सदिश समष्टि क्या ऑर्डर पूरा हैतथा इसका ऑर्डर पूर्ण उपसमुच्चय है [4]

उदाहरण

यदि ऑर्डर इकाई के साथ वास्तविकताओं पर पूर्व-आदेशित सदिश समिष्ट है फिर मानचित्र सबलीनियर कार्यात्मकता है।[3]

गुण

यदि सभी के लिए पूर्व-आदेशित सदिश समिष्ट है * और कारण [3]

  • यदि और केवल यदि [3]
  • और कारण [3]
  • यदि और केवल यदि यदि और केवल यदि [3]
  • अस्तित्व में है यदि और केवल यदि उपस्तिथ है, किस स्थिति में [3]
  • अस्तित्व में है यदि और केवल यदि उपस्तिथ है, इस मामले में सभी के लिए [3]
    • और
  • सदिश जाली है यदि और केवल यदि सभी के लिए उपस्तिथ है [3]

रैखिक मानचित्रों का समिष्ट

एक शंकु कहा जाता है कि यदि उत्पन्न हो रहा है संपूर्ण सदिश समष्टि के बराबर है।[2] यदि और संबंधित धनात्मक शंकु के साथ दो गैर-तुच्छ क्रमित सदिश समिष्ट हैं और तब में उत्पन्न हो रहा है यदि और केवल यदि समुच्चय में उचित शंकु है जो सभी रैखिक मानचित्रों का समिष्ट है में इस मामले में, द्वारा परिभाषित आदेश का विहित क्रम कहा जाता है [2] अधिक सामान्यतः, यदि का कोई सदिश उपसमष्टि है ऐसा है कि उचित शंकु है, द्वारा परिभाषित क्रम का विहित क्रम कहा जाता है [2]

धनात्मक कार्य और क्रम दोहरा

एक रैखिक कार्य पूर्व-आदेशित सदिश समिष्ट को धनात्मक कहा जाता है यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को संतुष्ट करता है:

  1. तात्पर्य
  2. यदि तब [3]

धनात्मक शंकु वाले सदिश समष्टि पर सभी धनात्मक रैखिक रूपों का समुच्चय द्वैत शंकु और ध्रुवीय शंकु कहा जाता है और इसे द्वारा निरूपित किया जाता है के ध्रुवीय समुच्चय के बराबर शंकु है रैखिक कार्यात्मकताओं के समिष्ट पर दोहरे शंकु द्वारा प्रेरित प्रीऑर्डर कहा जाता हैdual preorder.[3]

एक क्रमित सदिश समष्टि का क्रम दोहरा (कार्यात्मक विश्लेषण)। समुच्चय है, जिसे द्वारा दर्शाया गया है द्वारा परिभाषित यद्यपि वहां क्रमबद्ध सदिश रिक्त समिष्ट उपस्तिथ हैं जिनके लिए समुच्चय समानता उपस्तिथ है not पकड़ना।[2]

विशेष प्रकार के क्रमित सदिश समष्टि

होने देना क्रमबद्ध सदिश समष्टि हो। हम कहते हैं कि क्रमित सदिश समष्टि क्या आर्किमिडीज़ ने सदिश समष्टि का आदेश दिया है और इसका क्रम क्या है आर्किमिडीयन है यदि जब भी में इस प्रकार कि प्रमुखीकरण है (अर्थात, कुछ उपस्तिथ है ऐसा है कि सभी के लिए ) तब [2] एक टोपोलॉजिकल सदिश समिष्ट (टीवीएस) जो कि ऑर्डर किया गया सदिश समिष्ट है, आवश्यक रूप से आर्किमिडीयन है यदि इसका धनात्मक शंकु बंद है।[2]

हम कहते हैं कि पूर्व-आदेशित सदिश समष्टि नियमित रूप से आदेश दिया जाता है और यदि यह आर्किमिडीयन आदेश दिया गया है तो इसका आदेश नियमित है में बिंदुओं को अलग करता है [2] यह संपत्ति गारंटी देती है कि आदेशित सदिश समिष्टों का अध्ययन करने के लिए द्वंद्व के उपकरणों का सफलतापूर्वक उपयोग करने में सक्षम होने के लिए पर्याप्त रूप से कई धनात्मक रैखिक रूप हैं।[2]

यदि सभी अवयव ों के लिए क्रमित सदिश समष्टि को सदिश जालक कहा जाता है और उच्चतम और सबसे निचला अस्तित्व।[2]

उपसमिष्ट, भागफल, और उत्पाद

पूरे चलो धनात्मक शंकु के साथ पूर्व-आदेशित सदिश समष्टि हो उपसमिष्ट

यदि का सदिश उपसमष्टि है फिर विहित आदेश चालू प्रेरक का धनात्मक शंकु नुकीले उत्तल शंकु द्वारा प्रेरित आंशिक क्रम है यदि यह शंकु उचित है उचित है.[2]

भागफल समिष्ट

होने देना क्रमित सदिश समष्टि का सदिश उपसमष्टि बनें विहित प्रक्षेपण हो, और चलो तब में शंकु है जो भागफल समिष्ट (रैखिक बीजगणित) पर विहित प्रीऑर्डरिंग को प्रेरित करता है यदि में उचित शंकु है तब बनाता है क्रमबद्ध सदिश समिष्ट में।[2] यदि शंकु-संतृप्त है|-फिर संतृप्त के विहित क्रम को परिभाषित करता है [1] ध्यान दें कि क्रमित सदिश समष्टि का उदाहरण प्रदान करता है जहाँ उचित शंकु नहीं है.

यदि टोपोलॉजिकल सदिश समिष्ट (टीवीएस) भी है और यदि प्रत्येक पड़ोस के लिए (गणित) में उत्पत्ति का वहाँ पड़ोस उपस्तिथ है उत्पत्ति की ऐसी कि तब भागफल टोपोलॉजी के लिए सामान्य शंकु (कार्यात्मक विश्लेषण) है।[1]

यदि टोपोलॉजिकल सदिश जाली है और का बंद ठोस समुच्चय उप-जाल है तब यह टोपोलॉजिकल सदिश जाली भी है।[1]

उत्पाद

यदि क्या कोई समुच्चय है फिर समिष्ट? से सभी कार्यों का में उचित शंकु द्वारा विहित रूप से आदेश दिया गया है [2]

लगता है कि पूर्वक्रमित सदिश समिष्टों का परिवार है और इसका धनात्मक शंकु है है तब में नुकीला उत्तल शंकु है जो विहित क्रम निर्धारित करता है यदि सभी हों तो उचित शंकु है उचित शंकु हैं.[2]

बीजीय प्रत्यक्ष योग

बीजगणितीय प्रत्यक्ष योग का का सदिश उपसमष्टि है जिसे विहित उप-समिष्ट क्रम विरासत में मिला है [2] यदि क्रमित सदिश समष्टि के क्रमित सदिश उपसमष्टि हैं तब यदि विहित बीजगणितीय समरूपता है तो इन उप-समिष्टों का क्रमबद्ध प्रत्यक्ष योग है पर (विहित उत्पाद क्रम के साथ) क्रम समरूपता है।[2]

उदाहरण

  • सामान्य क्रम वाली वास्तविक संख्याएँ क्रमित सदिश समष्टि होती हैं।
  • के साथ क्रमित सदिश समष्टि है संबंध को निम्नलिखित में से किसी भी तरीके से परिभाषित किया गया है (बढ़ती ताकत के क्रम में, यानी जोड़े के घटते समुच्चय ):
    • शब्दावली क्रम: यदि और केवल यदि या यह कुल ऑर्डर है. धनात्मक शंकु द्वारा दिया गया है या अर्थात्, ध्रुवीय समन्वय प्रणाली में, कोणीय निर्देशांक वाले बिंदुओं का समुच्चय संतोषजनक होता है उत्पत्ति के साथ.
    • यदि और केवल यदि और (की दो प्रतियों का उत्पाद क्रम साथ ). यह आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है और अर्थात्, ध्रुवीय निर्देशांक में उत्पत्ति के साथ.
    • यदि और केवल यदि या (प्रत्यक्ष उत्पाद का प्रतिवर्ती समापन#दो प्रतियों के द्विआधारी संबंधों का प्रत्यक्ष उत्पाद < के साथ)। यह भी आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है या अर्थात्, ध्रुवीय निर्देशांक में, उत्पत्ति के साथ.
केवल दूसरा क्रम, के उपसमुच्चय के रूप में है बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया समुच्चय #टोपोलॉजिकल समिष्ट में आंशिक ऑर्डर देखें।
तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित समुच्चय #अंतराल खुले समुच्चय हैं जो टोपोलॉजी उत्पन्न करते हैं।
  • के साथ क्रमित सदिश समष्टि है संबंध को इसी तरह परिभाषित किया गया है। उदाहरण के लिए, ऊपर उल्लिखित दूसरे आदेश के लिए:
    • यदि और केवल यदि के लिए * रिज़्ज़ समिष्ट ऑर्डर किया गया सदिश समिष्ट है जहां ऑर्डर जाली (ऑर्डर) को जन्म देता है।
  • निरंतर कार्यों का समिष्ट कहाँ यदि और केवल यदि सभी के लिए में


यह भी देखें

संदर्भ


ग्रन्थसूची

  • Aliprantis, Charalambos D; Burkinshaw, Owen (2003). Locally solid Riesz spaces with applications to economics (Second ed.). Providence, R. I.: American Mathematical Society. ISBN 0-8218-3408-8.
  • Bourbaki, Nicolas; Elements of Mathematics: Topological Vector Spaces; ISBN 0-387-13627-4.
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
  • Wong (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN 3-540-09513-6. OCLC 5126158.