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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Vector space with a partial order}}
{{Short description|Vector space with a partial order}}
[[File:Ordered space illustration.svg|right|thumb|एक बिंदु <math>x</math> में <math>\Reals^2</math> और सभी का [[सेट (गणित)]]। <math>y</math> ऐसा है कि <math>x \leq y</math> (लाल)। यहाँ आदेश है <math>x \leq y</math> अगर और केवल अगर <math>x_1 \leq y_1</math> और <math>x_2 \leq y_2.</math>]]गणित में, क्रमित सदिश समष्टि या आंशिक रूप से क्रमित सदिश समष्टि आंशिक क्रम से सुसज्जित सदिश समष्टि है जो सदिश समष्टि संचालन के साथ संगत है।                                                     
[[File:Ordered space illustration.svg|right|thumb|एक बिंदु <math>x</math> में <math>\Reals^2</math> और सभी का [[सेट (गणित)|समुच्चय  (गणित)]]। <math>y</math> ऐसा है कि <math>x \leq y</math> (लाल)। यहाँ आदेश है <math>x \leq y</math> यदि और केवल यदि <math>x_1 \leq y_1</math> और <math>x_2 \leq y_2.</math>]]गणित में, क्रमित सदिश समष्टि या आंशिक रूप से क्रमित सदिश समष्टि आंशिक क्रम से सुसज्जित सदिश समष्टि है जो सदिश समष्टि संचालन के साथ संगत है।                                                     


==परिभाषा                        ==
==परिभाषा                        ==


[[वास्तविक संख्या]] से अधिक <math>\Reals</math> सदिश स्थान <math>X</math> दिया गया है और [[पूर्व आदेश]] सेट <math>\,\leq\,</math>  दिया गया है <math>X,</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>\,\leq\,</math> की सदिश अंतरिक्ष संरचना के साथ संगत आंशिक क्रम है <math>X</math> तब <math>(X, \leq)</math> क्रमित सदिश समष्टि कहलाती है और <math>\,\leq\,</math> को सदिश आंशिक क्रम कहा जाता है <math>X.</math> दो सिद्धांतों का अर्थ है कि [[अनुवाद (ज्यामिति)]] और [[सकारात्मक समरूपता]] क्रम संरचना और मानचित्रण की [[स्वचालितता]]एं हैं <math>x \mapsto -x</math> [[द्वैत (आदेश सिद्धांत)]] के लिए समरूपता है। क्रमबद्ध वेक्टर रिक्त स्थान उनके अतिरिक्त ऑपरेशन के तहत क्रमबद्ध समूह हैं।
# <math>y \leq x</math> तात्पर्य <math>r y \leq r x.</math>  
ध्यान दें कि <math>x \leq y</math> अगर और केवल अगर <math>-y \leq -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>C</math> सदिश स्थान का <math>X</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>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>C</math> सदिश स्थान में <math>X</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>\,\leq\,</math> पर <math>X</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>C</math> सदिश स्थान का <math>X</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>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>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>X</math> जो कि वेक्टर स्पेस संरचना के अनुकूल है <math>X.</math> सदिश समष्टि पर कुल सदिश क्रमों का परिवार <math>X</math> सभी उचित शंकुओं के परिवार के साथ एक-से-एक पत्राचार में है जो सेट समावेशन के तहत अधिकतम हैं।{{sfn|Schaefer|Wolff|1999|pp=250-257}}
कुल वेक्टर क्रम [[आर्किमिडीज़ आदेश]] नहीं हो सकता है यदि इसका [[आयाम (वेक्टर स्थान)]], जब वास्तविक पर वेक्टर स्थान माना जाता है, 1 से अधिक है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}


अगर <math>R</math> और <math>S</math> धनात्मक शंकु वाले सदिश समष्टि के दो क्रम हैं <math>P</math> और <math>Q,</math> क्रमशः, तो हम ऐसा कहते हैं <math>R</math> से बेहतर है <math>S</math> अगर <math>P \subseteq Q.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
<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>X</math> से है जो कि सदिश समिष्ट संरचना <math>X.</math> के अनुकूल है तथा  सदिश समष्टि पर कुल सदिश क्रमों का परिवार <math>X</math> सभी उचित शंकुओं के परिवार के साथ वन-से-वन पत्राचार में है जो समुच्चय  समावेशन के तहत अधिकतम हैं।{{sfn|Schaefer|Wolff|1999|pp=250-257}} कुल सदिश क्रम [[आर्किमिडीज़ आदेश]] नहीं हो सकता है यदि इसका [[आयाम (वेक्टर स्थान)|आयाम (सदिश समिष्ट)]], जब वास्तविक पर सदिश समिष्ट माना जाता है, 1 से अधिक है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}
 
यदि <math>R</math> और <math>S</math> धनात्मक शंकु वाले सदिश समष्टि के दो क्रम क्रमशः <math>P</math> और <math>Q,</math> हैं , तो हम ऐसा कहते हैं <math>R</math> से बेहतर है <math>S</math> यदि <math>P \subseteq Q.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}


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


सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध वेक्टर स्थान बनाती हैं। सभी [[पूर्णांक]]ों के लिए <math>n \geq 0,</math> [[यूक्लिडियन स्थान]] <math>\Reals^n</math> [[शब्दकोषीय क्रम]] के साथ वास्तविकताओं पर सदिश स्थान के रूप में माना जाता है, पूर्व-क्रमित सदिश स्थान बनता है जिसका क्रम आर्किमिडीयन द्वारा आदेशित सदिश स्थान है यदि और केवल यदि <math>n = 1</math>.{{sfn|Narici|Beckenstein|2011|pp=139-153}}
सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध सदिश समिष्ट बनाती हैं। सभी [[पूर्णांक|पूर्णांकों]] <math>n \geq 0,</math> के लिए [[यूक्लिडियन स्थान|यूक्लिडियन समिष्ट]] <math>\Reals^n</math> [[शब्दकोषीय क्रम]] के साथ वास्तविकताओं पर सदिश समिष्ट के रूप में माना जाता है, जो कि पूर्व-क्रमित सदिश समिष्ट बनता है जिसका क्रम आर्किमिडीयन द्वारा आदेशित सदिश समिष्ट है यदि और केवल यदि <math>n = 1</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>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>\ell^\infty(S, \Reals)</math> [[परिबद्ध कार्य]] के वास्तविक-मूल्यवान मानचित्रों पर <math>S.</math>
* अंतरिक्ष <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>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>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>\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 display=block>\begin{alignat}{4}
<math display=block>\begin{alignat}{4}
[a, b] &= \{x : a \leq x \leq b\}, \\[0.1ex]
[a, b] &= \{x : a \leq x \leq b\}, \\[0.1ex]
Line 52: Line 50:
उपरोक्त अभिगृहीतों 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}}
एक उपसमुच्चय को ऑर्डर बाउंड कहा जाता है यदि वह किसी ऑर्डर अंतराल में समाहित हो।{{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 \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, 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}}
* <math>x \leq y</math> अगर और केवल अगर <math>-y \leq -x.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>x \leq y</math> यदि और केवल यदि <math>-y \leq -x.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>x \leq y</math> और <math>r < 0</math> मतलब <math>r x \geq r y.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>x \leq y</math> और <math>r < 0</math> कारण  <math>r x \geq r y.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>x \leq y</math> अगर और केवल अगर <math>y = \sup \{x, y\}</math> अगर और केवल अगर <math>x = \inf \{x, y\}</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>x \leq y</math> यदि और केवल यदि <math>y = \sup \{x, y\}</math> यदि और केवल यदि <math>x = \inf \{x, y\}</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>\sup \{x, y\}</math> अस्तित्व में है यदि और केवल यदि <math>\inf \{-x, -y\}</math> मौजूद है, किस स्थिति में <math>\inf \{-x, -y\} = - \sup \{x, y\}.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>\sup \{x, y\}</math> अस्तित्व में है यदि और केवल यदि <math>\inf \{-x, -y\}</math> उपस्तिथ  है, किस स्थिति में <math>\inf \{-x, -y\} = - \sup \{x, y\}.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>\sup \{x, y\}</math> अस्तित्व में है यदि और केवल यदि <math>\inf \{x, y\}</math> मौजूद है, इस मामले में सभी के लिए <math>z \in X,</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>\sup \{x, y\}</math> अस्तित्व में है यदि और केवल यदि <math>\inf \{x, y\}</math> उपस्तिथ  है, इस मामले में सभी के लिए <math>z \in X,</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
** <math>\sup \{x + z, y + z\} = z + \sup \{x, y\},</math> और
** <math>\sup \{x + z, y + z\} = z + \sup \{x, y\},</math> और
** <math>\inf \{x + z, y + z\} = z + \inf \{x, y\}</math>
** <math>\inf \{x + z, y + z\} = z + \inf \{x, y\}</math>
** <math>x + y = \inf\{x, y\} + \sup \{x, y\}.</math>
** <math>x + y = \inf\{x, y\} + \sup \{x, y\}.</math>
* <math>X</math> सदिश जाली है यदि और केवल यदि <math>\sup \{0, x\}</math> सभी के लिए मौजूद है <math>x \in X.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
* <math>X</math> सदिश जाली है यदि और केवल यदि <math>\sup \{0, x\}</math> सभी के लिए उपस्तिथ  है <math>x \in X.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}


==रैखिक मानचित्रों का स्थान==
==रैखिक मानचित्रों का समिष्ट==
{{Main|Positive linear operator}}
{{Main|Positive linear operator}}


एक शंकु <math>C</math> कहा जाता है कि यदि उत्पन्न हो रहा है <math>C - C</math> संपूर्ण सदिश समष्टि के बराबर है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक शंकु <math>C</math> कहा जाता है कि यदि उत्पन्न हो रहा है <math>C - C</math> संपूर्ण सदिश समष्टि के बराबर है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
अगर <math>X</math> और <math>W</math> संबंधित सकारात्मक शंकु के साथ दो गैर-तुच्छ क्रमित वेक्टर स्थान हैं <math>P</math> और <math>Q,</math> तब <math>P</math> में उत्पन्न हो रहा है <math>X</math> यदि और केवल यदि सेट <math>C = \{u \in L(X; W) : u(P) \subseteq Q\}</math> में उचित शंकु है <math>L(X; W),</math> जो सभी रैखिक मानचित्रों का स्थान है <math>X</math> में <math>W.</math> इस मामले में, द्वारा परिभाषित आदेश <math>C</math> का विहित क्रम कहा जाता है <math>L(X; W).</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यदि <math>X</math> और <math>W</math> संबंधित धनात्मक शंकु के साथ दो गैर-तुच्छ क्रमित सदिश समिष्ट हैं <math>P</math> और <math>Q,</math> तब <math>P</math> में उत्पन्न हो रहा है <math>X</math> यदि और केवल यदि समुच्चय  <math>C = \{u \in L(X; W) : u(P) \subseteq Q\}</math> में उचित शंकु है <math>L(X; W),</math> जो सभी रैखिक मानचित्रों का समिष्ट है <math>X</math> में <math>W.</math> इस मामले में, द्वारा परिभाषित आदेश <math>C</math> का विहित क्रम कहा जाता है <math>L(X; W).</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
अधिक सामान्यतः, यदि <math>M</math> का कोई सदिश उपसमष्टि है <math>L(X; W)</math> ऐसा है कि <math>C \cap M</math> उचित शंकु है, द्वारा परिभाषित क्रम <math>C \cap M</math> का विहित क्रम कहा जाता है <math>M.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
अधिक सामान्यतः, यदि <math>M</math> का कोई सदिश उपसमष्टि है <math>L(X; W)</math> ऐसा है कि <math>C \cap M</math> उचित शंकु है, द्वारा परिभाषित क्रम <math>C \cap M</math> का विहित क्रम कहा जाता है <math>M.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}


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


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


# <math>x \geq 0</math> तात्पर्य <math>f(x) \geq 0.</math>
# <math>x \geq 0</math> तात्पर्य <math>f(x) \geq 0.</math>
# अगर <math>x \leq y</math> तब <math>f(x) \leq f(y).</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}
# यदि <math>x \leq y</math> तब <math>f(x) \leq f(y).</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}}


धनात्मक शंकु वाले सदिश समष्टि पर सभी धनात्मक रैखिक रूपों का समुच्चय <math>C,</math> [[द्वैत शंकु और ध्रुवीय शंकु]] कहा जाता है और इसे द्वारा निरूपित किया जाता है <math>C^*,</math> के ध्रुवीय समुच्चय के बराबर शंकु है <math>-C.</math> रैखिक कार्यात्मकताओं के स्थान पर दोहरे शंकु द्वारा प्रेरित प्रीऑर्डर <math>X</math> कहा जाता है{{visible anchor|dual preorder}}.{{sfn|Narici|Beckenstein|2011|pp=139-153}}
धनात्मक शंकु वाले सदिश समष्टि पर सभी धनात्मक रैखिक रूपों का समुच्चय <math>C,</math> [[द्वैत शंकु और ध्रुवीय शंकु]] कहा जाता है और इसे द्वारा निरूपित किया जाता है <math>C^*,</math> के ध्रुवीय समुच्चय के बराबर शंकु है <math>-C.</math> रैखिक कार्यात्मकताओं के समिष्ट पर दोहरे शंकु द्वारा प्रेरित प्रीऑर्डर <math>X</math> कहा जाता है{{visible anchor|dual preorder}}.{{sfn|Narici|Beckenstein|2011|pp=139-153}}


एक क्रमित सदिश समष्टि का क्रम दोहरा (कार्यात्मक विश्लेषण)। <math>X</math> समुच्चय है, जिसे द्वारा दर्शाया गया है <math>X^+,</math> द्वारा परिभाषित <math>X^+ := C^* - C^*.</math> यद्यपि <math>X^+ \subseteq X^b,</math> वहां क्रमबद्ध वेक्टर रिक्त स्थान मौजूद हैं जिनके लिए सेट समानता मौजूद है {{em|not}} पकड़ना।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक क्रमित सदिश समष्टि का क्रम दोहरा (कार्यात्मक विश्लेषण)। <math>X</math> समुच्चय है, जिसे द्वारा दर्शाया गया है <math>X^+,</math> द्वारा परिभाषित <math>X^+ := C^* - C^*.</math> यद्यपि <math>X^+ \subseteq X^b,</math> वहां क्रमबद्ध सदिश रिक्त समिष्ट उपस्तिथ  हैं जिनके लिए समुच्चय  समानता उपस्तिथ  है {{em|not}} पकड़ना।{{sfn|Schaefer|Wolff|1999|pp=205–209}}


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


होने देना <math>X</math> क्रमबद्ध सदिश समष्टि हो। हम कहते हैं कि क्रमित सदिश समष्टि <math>X</math> क्या आर्किमिडीज़ ने सदिश समष्टि का आदेश दिया है और इसका क्रम क्या है <math>X</math> आर्किमिडीयन है यदि जब भी <math>x</math> में <math>X</math> इस प्रकार कि <math>\{n x : n \in \N\}</math> [[प्रमुखीकरण]] है (अर्थात, कुछ मौजूद है <math>y \in X</math> ऐसा है कि <math>n x \leq y</math> सभी के लिए <math>n \in \N</math>) तब <math>x \leq 0.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
होने देना <math>X</math> क्रमबद्ध सदिश समष्टि हो। हम कहते हैं कि क्रमित सदिश समष्टि <math>X</math> क्या आर्किमिडीज़ ने सदिश समष्टि का आदेश दिया है और इसका क्रम क्या है <math>X</math> आर्किमिडीयन है यदि जब भी <math>x</math> में <math>X</math> इस प्रकार कि <math>\{n x : n \in \N\}</math> [[प्रमुखीकरण]] है (अर्थात, कुछ उपस्तिथ  है <math>y \in X</math> ऐसा है कि <math>n x \leq y</math> सभी के लिए <math>n \in \N</math>) तब <math>x \leq 0.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक [[टोपोलॉजिकल वेक्टर स्पेस]] (टीवीएस) जो कि ऑर्डर किया गया वेक्टर स्पेस है, आवश्यक रूप से आर्किमिडीयन है यदि इसका सकारात्मक शंकु बंद है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
एक [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल सदिश समिष्ट]] (टीवीएस) जो कि ऑर्डर किया गया सदिश समिष्ट है, आवश्यक रूप से आर्किमिडीयन है यदि इसका धनात्मक शंकु बंद है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}


हम कहते हैं कि पूर्व-आदेशित सदिश समष्टि <math>X</math> नियमित रूप से आदेश दिया जाता है और यदि यह आर्किमिडीयन आदेश दिया गया है तो इसका आदेश नियमित है <math>X^+</math> में बिंदुओं को अलग करता है <math>X.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
हम कहते हैं कि पूर्व-आदेशित सदिश समष्टि <math>X</math> नियमित रूप से आदेश दिया जाता है और यदि यह आर्किमिडीयन आदेश दिया गया है तो इसका आदेश नियमित है <math>X^+</math> में बिंदुओं को अलग करता है <math>X.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यह संपत्ति गारंटी देती है कि आदेशित वेक्टर स्थानों का अध्ययन करने के लिए द्वंद्व के उपकरणों का सफलतापूर्वक उपयोग करने में सक्षम होने के लिए पर्याप्त रूप से कई सकारात्मक रैखिक रूप हैं।{{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}}


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


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


अगर <math>M</math> का सदिश उपसमष्टि है <math>X</math> फिर विहित आदेश चालू <math>M</math> प्रेरक <math>X</math>का सकारात्मक शंकु <math>C</math> नुकीले उत्तल शंकु द्वारा प्रेरित आंशिक क्रम है <math>C \cap M,</math> यदि यह शंकु उचित है <math>C</math> उचित है.{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यदि <math>M</math> का सदिश उपसमष्टि है <math>X</math> फिर विहित आदेश चालू <math>M</math> प्रेरक <math>X</math>का धनात्मक शंकु <math>C</math> नुकीले उत्तल शंकु द्वारा प्रेरित आंशिक क्रम है <math>C \cap M,</math> यदि यह शंकु उचित है <math>C</math> उचित है.{{sfn|Schaefer|Wolff|1999|pp=205–209}}


भागफल स्थान
भागफल समिष्ट


होने देना <math>M</math> क्रमित सदिश समष्टि का सदिश उपसमष्टि बनें <math>X,</math> <math>\pi : X \to X / M</math> विहित प्रक्षेपण हो, और चलो <math>\hat{C} := \pi(C).</math> तब <math>\hat{C}</math> में शंकु है <math>X / M</math> जो [[भागफल स्थान (रैखिक बीजगणित)]] पर विहित प्रीऑर्डरिंग को प्रेरित करता है <math>X / M.</math> अगर <math>\hat{C}</math> में उचित शंकु है<math>X / M</math> तब <math>\hat{C}</math> बनाता है <math>X / M</math> क्रमबद्ध सदिश स्थान में।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
होने देना <math>M</math> क्रमित सदिश समष्टि का सदिश उपसमष्टि बनें <math>X,</math> <math>\pi : X \to X / M</math> विहित प्रक्षेपण हो, और चलो <math>\hat{C} := \pi(C).</math> तब <math>\hat{C}</math> में शंकु है <math>X / M</math> जो [[भागफल स्थान (रैखिक बीजगणित)|भागफल समिष्ट (रैखिक बीजगणित)]] पर विहित प्रीऑर्डरिंग को प्रेरित करता है <math>X / M.</math> यदि <math>\hat{C}</math> में उचित शंकु है<math>X / M</math> तब <math>\hat{C}</math> बनाता है <math>X / M</math> क्रमबद्ध सदिश समिष्ट में।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
अगर <math>M</math> शंकु-संतृप्त है|<math>C</math>-फिर संतृप्त <math>\hat{C}</math> के विहित क्रम को परिभाषित करता है <math>X / M.</math>{{sfn|Schaefer|Wolff|1999|pp=250-257}}
यदि <math>M</math> शंकु-संतृप्त है|<math>C</math>-फिर संतृप्त <math>\hat{C}</math> के विहित क्रम को परिभाषित करता है <math>X / M.</math>{{sfn|Schaefer|Wolff|1999|pp=250-257}}
ध्यान दें कि <math>X = \Reals^2_0</math> क्रमित सदिश समष्टि का उदाहरण प्रदान करता है जहाँ <math>\pi(C)</math> उचित शंकु नहीं है.
ध्यान दें कि <math>X = \Reals^2_0</math> क्रमित सदिश समष्टि का उदाहरण प्रदान करता है जहाँ <math>\pi(C)</math> उचित शंकु नहीं है.


अगर <math>X</math> टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) भी है और यदि प्रत्येक पड़ोस के लिए (गणित) <math>V</math> में उत्पत्ति का <math>X</math> वहाँ पड़ोस मौजूद है <math>U</math> उत्पत्ति की ऐसी कि <math>[(U + N) \cap C] \subseteq V + N</math> तब <math>\hat{C}</math> [[भागफल टोपोलॉजी]] के लिए [[सामान्य शंकु (कार्यात्मक विश्लेषण)]] है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}
यदि <math>X</math> टोपोलॉजिकल सदिश समिष्ट (टीवीएस) भी है और यदि प्रत्येक पड़ोस के लिए (गणित) <math>V</math> में उत्पत्ति का <math>X</math> वहाँ पड़ोस उपस्तिथ  है <math>U</math> उत्पत्ति की ऐसी कि <math>[(U + N) \cap C] \subseteq V + N</math> तब <math>\hat{C}</math> [[भागफल टोपोलॉजी]] के लिए [[सामान्य शंकु (कार्यात्मक विश्लेषण)]] है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}


अगर <math>X</math> [[टोपोलॉजिकल वेक्टर जाली]] है और <math>M</math> का बंद ठोस समुच्चय उप-जाल है <math>X</math> तब <math>X / L</math> यह टोपोलॉजिकल वेक्टर जाली भी है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}
यदि <math>X</math> [[टोपोलॉजिकल वेक्टर जाली|टोपोलॉजिकल सदिश जाली]] है और <math>M</math> का बंद ठोस समुच्चय उप-जाल है <math>X</math> तब <math>X / L</math> यह टोपोलॉजिकल सदिश जाली भी है।{{sfn|Schaefer|Wolff|1999|pp=250-257}}


उत्पाद
उत्पाद


अगर <math>S</math> क्या कोई सेट है फिर स्पेस? <math>X^S</math> से सभी कार्यों का <math>S</math> में <math>X</math> उचित शंकु द्वारा विहित रूप से आदेश दिया गया है <math>\left\{f \in X^S : f(s) \in C \text{ for all } s \in S\right\}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यदि <math>S</math> क्या कोई समुच्चय  है फिर समिष्ट? <math>X^S</math> से सभी कार्यों का <math>S</math> में <math>X</math> उचित शंकु द्वारा विहित रूप से आदेश दिया गया है <math>\left\{f \in X^S : f(s) \in C \text{ for all } s \in S\right\}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}


लगता है कि <math>\left\{X_\alpha : \alpha \in A\right\}</math> पूर्वक्रमित सदिश स्थानों का परिवार है और इसका धनात्मक शंकु है <math>X_\alpha</math> है <math>C_\alpha.</math> तब <math display="inline">C := \prod_\alpha C_\alpha</math> में नुकीला उत्तल शंकु है <math display="inline">\prod_\alpha X_\alpha,</math> जो विहित क्रम निर्धारित करता है <math display="inline">\prod_\alpha X_\alpha;</math>  
लगता है कि <math>\left\{X_\alpha : \alpha \in A\right\}</math> पूर्वक्रमित सदिश समिष्टों का परिवार है और इसका धनात्मक शंकु है <math>X_\alpha</math> है <math>C_\alpha.</math> तब <math display="inline">C := \prod_\alpha C_\alpha</math> में नुकीला उत्तल शंकु है <math display="inline">\prod_\alpha X_\alpha,</math> जो विहित क्रम निर्धारित करता है <math display="inline">\prod_\alpha X_\alpha;</math>  
<math>C</math> यदि सभी हों तो उचित शंकु है <math>C_\alpha</math> उचित शंकु हैं.{{sfn|Schaefer|Wolff|1999|pp=205–209}}
<math>C</math> यदि सभी हों तो उचित शंकु है <math>C_\alpha</math> उचित शंकु हैं.{{sfn|Schaefer|Wolff|1999|pp=205–209}}


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


बीजगणितीय प्रत्यक्ष योग <math display="inline">\bigoplus_\alpha X_\alpha</math> का <math>\left\{X_\alpha : \alpha \in A\right\}</math> का सदिश उपसमष्टि है <math display="inline">\prod_\alpha X_\alpha</math> जिसे विहित उप-स्थान क्रम विरासत में मिला है <math display="inline">\prod_\alpha X_\alpha.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
बीजगणितीय प्रत्यक्ष योग <math display="inline">\bigoplus_\alpha X_\alpha</math> का <math>\left\{X_\alpha : \alpha \in A\right\}</math> का सदिश उपसमष्टि है <math display="inline">\prod_\alpha X_\alpha</math> जिसे विहित उप-समिष्ट क्रम विरासत में मिला है <math display="inline">\prod_\alpha X_\alpha.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}}
अगर <math>X_1, \dots, X_n</math> क्रमित सदिश समष्टि के क्रमित सदिश उपसमष्टि हैं <math>X</math> तब <math>X</math> यदि विहित बीजगणितीय समरूपता है तो इन उप-स्थानों का क्रमबद्ध प्रत्यक्ष योग है <math>X</math> पर <math>\prod_\alpha X_\alpha</math> (विहित उत्पाद क्रम के साथ) क्रम समरूपता है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}
यदि <math>X_1, \dots, X_n</math> क्रमित सदिश समष्टि के क्रमित सदिश उपसमष्टि हैं <math>X</math> तब <math>X</math> यदि विहित बीजगणितीय समरूपता है तो इन उप-समिष्टों का क्रमबद्ध प्रत्यक्ष योग है <math>X</math> पर <math>\prod_\alpha X_\alpha</math> (विहित उत्पाद क्रम के साथ) क्रम समरूपता है।{{sfn|Schaefer|Wolff|1999|pp=205–209}}


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


* सामान्य क्रम वाली वास्तविक संख्याएँ क्रमित सदिश समष्टि होती हैं।
* सामान्य क्रम वाली वास्तविक संख्याएँ क्रमित सदिश समष्टि होती हैं।
* <math>\Reals^2</math> के साथ क्रमित सदिश समष्टि है <math>\,\leq\,</math> संबंध को निम्नलिखित में से किसी भी तरीके से परिभाषित किया गया है (बढ़ती ताकत के क्रम में, यानी जोड़े के घटते सेट):
* <math>\Reals^2</math> के साथ क्रमित सदिश समष्टि है <math>\,\leq\,</math> संबंध को निम्नलिखित में से किसी भी तरीके से परिभाषित किया गया है (बढ़ती ताकत के क्रम में, यानी जोड़े के घटते समुच्चय  ):
** [[शब्दावली क्रम]]: <math>(a, b) \leq (c, d)</math> अगर और केवल अगर <math>a < c</math> या <math>(a = c \text{ and } b \leq d).</math> यह कुल ऑर्डर है. धनात्मक शंकु द्वारा दिया गया है <math>x > 0</math> या <math>(x = 0 \text{ and } y \leq 0),</math> अर्थात्, [[ध्रुवीय समन्वय प्रणाली]] में, कोणीय निर्देशांक वाले बिंदुओं का समुच्चय संतोषजनक होता है <math>-\pi / 2 < \theta \leq \pi / 2,</math> उत्पत्ति के साथ.
** [[शब्दावली क्रम]]: <math>(a, b) \leq (c, d)</math> यदि और केवल यदि <math>a < c</math> या <math>(a = c \text{ and } b \leq d).</math> यह कुल ऑर्डर है. धनात्मक शंकु द्वारा दिया गया है <math>x > 0</math> या <math>(x = 0 \text{ and } y \leq 0),</math> अर्थात्, [[ध्रुवीय समन्वय प्रणाली]] में, कोणीय निर्देशांक वाले बिंदुओं का समुच्चय संतोषजनक होता है <math>-\pi / 2 < \theta \leq \pi / 2,</math> उत्पत्ति के साथ.
** <math>(a, b) \leq (c, d)</math> अगर और केवल अगर <math>a \leq c</math> और <math>b \leq d</math> (की दो प्रतियों का [[उत्पाद क्रम]] <math>\Reals</math> साथ <math>\leq</math>). यह आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है <math>x \geq 0</math> और <math>y \geq 0,</math> अर्थात्, ध्रुवीय निर्देशांक में <math>0 \leq \theta \leq \pi / 2,</math> उत्पत्ति के साथ.
** <math>(a, b) \leq (c, d)</math> यदि और केवल यदि <math>a \leq c</math> और <math>b \leq d</math> (की दो प्रतियों का [[उत्पाद क्रम]] <math>\Reals</math> साथ <math>\leq</math>). यह आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है <math>x \geq 0</math> और <math>y \geq 0,</math> अर्थात्, ध्रुवीय निर्देशांक में <math>0 \leq \theta \leq \pi / 2,</math> उत्पत्ति के साथ.
** <math>(a, b) \leq (c, d)</math> अगर और केवल अगर <math>(a < c \text{ and } b < d)</math> या <math>(a = c \text{ and } b = d)</math> (प्रत्यक्ष उत्पाद का [[प्रतिवर्ती समापन]]#दो प्रतियों के द्विआधारी संबंधों का प्रत्यक्ष उत्पाद <math>\Reals</math> < के साथ)। यह भी आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है <math>(x > 0 \text{ and } y > 0)</math> या <math>x = y = 0),</math> अर्थात्, ध्रुवीय निर्देशांक में, <math>0 < \theta < \pi / 2,</math> उत्पत्ति के साथ.
** <math>(a, b) \leq (c, d)</math> यदि और केवल यदि <math>(a < c \text{ and } b < d)</math> या <math>(a = c \text{ and } b = d)</math> (प्रत्यक्ष उत्पाद का [[प्रतिवर्ती समापन]]#दो प्रतियों के द्विआधारी संबंधों का प्रत्यक्ष उत्पाद <math>\Reals</math> < के साथ)। यह भी आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है <math>(x > 0 \text{ and } y > 0)</math> या <math>x = y = 0),</math> अर्थात्, ध्रुवीय निर्देशांक में, <math>0 < \theta < \pi / 2,</math> उत्पत्ति के साथ.
:केवल दूसरा क्रम, के उपसमुच्चय के रूप में है <math>\Reals^4,</math> बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया सेट#टोपोलॉजिकल स्पेस में आंशिक ऑर्डर देखें।
:केवल दूसरा क्रम, के उपसमुच्चय के रूप में है <math>\Reals^4,</math> बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया समुच्चय  #टोपोलॉजिकल समिष्ट में आंशिक ऑर्डर देखें।
:तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित सेट#अंतराल <math>p < x < q</math> खुले सेट हैं जो टोपोलॉजी उत्पन्न करते हैं।
:तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित समुच्चय  #अंतराल <math>p < x < q</math> खुले समुच्चय  हैं जो टोपोलॉजी उत्पन्न करते हैं।
* <math>\Reals^n</math> के साथ क्रमित सदिश समष्टि है <math>\,\leq\,</math> संबंध को इसी तरह परिभाषित किया गया है। उदाहरण के लिए, ऊपर उल्लिखित दूसरे आदेश के लिए:
* <math>\Reals^n</math> के साथ क्रमित सदिश समष्टि है <math>\,\leq\,</math> संबंध को इसी तरह परिभाषित किया गया है। उदाहरण के लिए, ऊपर उल्लिखित दूसरे आदेश के लिए:
** <math>x \leq y</math> अगर और केवल अगर <math>x_i \leq y_i</math> के लिए <math>i = 1, \dots, n.</math> * [[रिज़्ज़ स्थान]] ऑर्डर किया गया वेक्टर स्पेस है जहां ऑर्डर जाली (ऑर्डर) को जन्म देता है।
** <math>x \leq y</math> यदि और केवल यदि <math>x_i \leq y_i</math> के लिए <math>i = 1, \dots, n.</math> * [[रिज़्ज़ स्थान|रिज़्ज़ समिष्ट]] ऑर्डर किया गया सदिश समिष्ट है जहां ऑर्डर जाली (ऑर्डर) को जन्म देता है।
* निरंतर कार्यों का स्थान <math>[0, 1]</math> कहाँ <math>f \leq g</math> अगर और केवल अगर <math>f(x) \leq g(x)</math> सभी के लिए <math>x</math> में <math>[0, 1].</math>
* निरंतर कार्यों का समिष्ट <math>[0, 1]</math> कहाँ <math>f \leq g</math> यदि और केवल यदि <math>f(x) \leq g(x)</math> सभी के लिए <math>x</math> में <math>[0, 1].</math>





Revision as of 12:21, 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.