आदेशित सदिश स्थान: Difference between revisions
(Created page with "{{Short description|Vector space with a partial order}} File:Ordered space illustration.svg|right|thumb|एक बिंदु <math>x</math> में <math>\Reals^2</math>...") |
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>X</math> [[वास्तविक संख्या]] से अधिक <math>\Reals</math> और | एक सदिश स्थान दिया गया है <math>X</math> [[वास्तविक संख्या]] से अधिक <math>\Reals</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>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>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>x \leq y</math> अगर और केवल अगर <math>-y \leq -x.</math> | ध्यान दें कि <math>x \leq y</math> अगर और केवल अगर <math>-y \leq -x.</math> | ||
==सकारात्मक शंकु और क्रम के अनुसार उनकी तुल्यता== | ==सकारात्मक शंकु और क्रम के अनुसार उनकी तुल्यता == | ||
उपसमुच्चय <math>C</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>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>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>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>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>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}} | कुल वेक्टर क्रम [[आर्किमिडीज़ आदेश]] नहीं हो सकता है यदि इसका [[आयाम (वेक्टर स्थान)]], जब वास्तविक पर वेक्टर स्थान माना जाता है, 1 से अधिक है।{{sfn|Schaefer|Wolff|1999|pp=250-257}} | ||
Line 28: | Line 28: | ||
==उदाहरण== | ==उदाहरण== | ||
सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध वेक्टर स्थान बनाती हैं। सभी [[पूर्णांक]]ों के लिए <math>n \geq 0,</math> [[यूक्लिडियन स्थान]] <math>\Reals^n</math> [[शब्दकोषीय क्रम]] के साथ वास्तविकताओं पर | सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध वेक्टर स्थान बनाती हैं। सभी [[पूर्णांक]]ों के लिए <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>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}} | ||
जिन स्थानों को आम तौर पर यह क्रम सौंपा गया है उनमें शामिल हैं: | जिन स्थानों को आम तौर पर यह क्रम सौंपा गया है उनमें शामिल हैं: | ||
Line 43: | Line 43: | ||
==अंतराल और क्रमबद्ध दोहरा== | ==अंतराल और क्रमबद्ध दोहरा== | ||
पूर्व-क्रमित सदिश समष्टि में | पूर्व-क्रमित सदिश समष्टि में क्रम अंतराल प्रपत्र का सेट होता है | ||
<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] | ||
[a, b[ &= \{x : a \leq x < b\}, \\ | [a, b[ &= \{x : a \leq x < b\}, \\ | ||
Line 53: | Line 53: | ||
एक उपसमुच्चय को ऑर्डर बाउंड कहा जाता है यदि वह किसी ऑर्डर अंतराल में समाहित हो।{{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</math> प्रत्येक ऑर्डर अंतराल को बाउंडेड सेट में मैप करने को [[ आदेश बाध्य दोहरी |आदेश बाध्य दोहरी]] कहा जाता है <math>X</math> और द्वारा निरूपित किया गया <math>X^{\operatorname{b}}.</math>{{sfn|Schaefer|Wolff|1999|pp=205–209}} | ||
यदि किसी स्थान को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का | यदि किसी स्थान को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का सदिश उपसमष्टि होता है। | ||
उपसमुच्चय <math>A</math> | उपसमुच्चय <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>(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</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}} | ||
Line 75: | Line 75: | ||
** <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>X</math> सदिश जाली है यदि और केवल यदि <math>\sup \{0, x\}</math> सभी के लिए मौजूद है <math>x \in X.</math>{{sfn|Narici|Beckenstein|2011|pp=139-153}} | ||
==रैखिक मानचित्रों का स्थान== | ==रैखिक मानचित्रों का स्थान== | ||
Line 81: | Line 81: | ||
एक शंकु <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>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>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>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}} | ||
Line 97: | Line 97: | ||
==विशेष प्रकार के क्रमित सदिश समष्टि== | ==विशेष प्रकार के क्रमित सदिश समष्टि== | ||
होने देना <math>X</math> | होने देना <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}} | ||
हम कहते हैं कि | हम कहते हैं कि पूर्व-आदेशित सदिश समष्टि <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>X</math> धनात्मक शंकु के साथ पूर्व-आदेशित सदिश समष्टि हो <math>C.</math> उपस्थान | ||
अगर <math>M</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>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>X = \Reals^2_0</math> क्रमित सदिश समष्टि का उदाहरण प्रदान करता है जहाँ <math>\pi(C)</math> उचित शंकु नहीं है. | ||
अगर <math>X</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>X</math> [[टोपोलॉजिकल वेक्टर जाली]] है और <math>M</math> का बंद ठोस समुच्चय उप-जाल है <math>X</math> तब <math>X / L</math> यह टोपोलॉजिकल वेक्टर जाली भी है।{{sfn|Schaefer|Wolff|1999|pp=250-257}} | ||
उत्पाद | उत्पाद | ||
Line 125: | Line 125: | ||
अगर <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>\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</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">\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_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>\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> उत्पत्ति के साथ. | ||
Line 142: | Line 142: | ||
:केवल दूसरा क्रम, के उपसमुच्चय के रूप में है <math>\Reals^4,</math> बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया सेट#टोपोलॉजिकल स्पेस में आंशिक ऑर्डर देखें। | :केवल दूसरा क्रम, के उपसमुच्चय के रूप में है <math>\Reals^4,</math> बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया सेट#टोपोलॉजिकल स्पेस में आंशिक ऑर्डर देखें। | ||
:तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित सेट#अंतराल <math>p < x < q</math> खुले सेट हैं जो टोपोलॉजी उत्पन्न करते हैं। | :तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित सेट#अंतराल <math>p < x < q</math> खुले सेट हैं जो टोपोलॉजी उत्पन्न करते हैं। | ||
* <math>\Reals^n</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 07:41, 26 July 2023
गणित में, क्रमित सदिश समष्टि या आंशिक रूप से क्रमित सदिश समष्टि आंशिक क्रम से सुसज्जित सदिश समष्टि है जो सदिश समष्टि संचालन के साथ संगत है।
परिभाषा
एक सदिश स्थान दिया गया है वास्तविक संख्या से अधिक और पूर्व आदेश सेट पर (गणित) जोड़ी इसे प्रीऑर्डर्ड वेक्टर स्पेस कहा जाता है और हम कहते हैं कि प्रीऑर्डर की वेक्टर अंतरिक्ष संरचना के साथ संगत है और कॉल करें वेक्टर प्रीऑर्डर चालू है यदि सभी के लिए और साथ निम्नलिखित दो सिद्धांत संतुष्ट हैं
- तात्पर्य
- तात्पर्य अगर की सदिश अंतरिक्ष संरचना के साथ संगत आंशिक क्रम है तब क्रमित सदिश समष्टि कहलाती है और को सदिश आंशिक क्रम कहा जाता है दो सिद्धांतों का अर्थ है कि अनुवाद (ज्यामिति) और सकारात्मक समरूपता क्रम संरचना और मानचित्रण की स्वचालितताएं हैं द्वैत (आदेश सिद्धांत) के लिए समरूपता है। क्रमबद्ध वेक्टर रिक्त स्थान उनके अतिरिक्त ऑपरेशन के तहत क्रमबद्ध समूह हैं।
ध्यान दें कि अगर और केवल अगर
सकारात्मक शंकु और क्रम के अनुसार उनकी तुल्यता
उपसमुच्चय सदिश स्थान का यदि यह वास्तव में है तो इसे शंकु कहा जाता है शंकु को नुकीला कहा जाता है यदि उसमें मूल बिंदु शामिल हो। शंकु उत्तल है यदि और केवल यदि शंकु के किसी भी खाली सेट | गैर-रिक्त परिवार (सम्मानित उत्तल शंकु) का प्रतिच्छेदन (सेट सिद्धांत) फिर से शंकु (सम्मानित उत्तल शंकु) है; शंकुओं (सम्मान उत्तल शंकु) के बढ़ते (उपसमुच्चय के तहत) परिवार के संघ (सेट सिद्धांत) के बारे में भी यही सच है। शंकु सदिश स्थान में कहा जाता है कि यदि उत्पन्न हो रहा है [1] एक सकारात्मक शंकु तभी उत्पन्न होता है जब यह निर्देशित सेट होता है पूर्व-आदेशित सदिश स्थान दिया गया उपसमुच्चय सभी तत्वों का में संतुष्टि देने वाला शीर्ष के साथ नुकीला उत्तल शंकु है (अर्थात इसमें शामिल है ) का धनात्मक शंकु कहलाता है और द्वारा निरूपित किया गया धनात्मक शंकु के तत्वों को धनात्मक कहा जाता है। अगर और पूर्वक्रमित सदिश समष्टि के तत्व हैं तब अगर और केवल अगर किसी भी नुकीले उत्तल शंकु को देखते हुए शीर्ष के साथ कोई प्रीऑर्डर परिभाषित कर सकता है पर जो कि वेक्टर स्पेस संरचना के अनुकूल है सभी के लिए घोषणा करके वह अगर और केवल अगर इस परिणामी पूर्वक्रमित सदिश समष्टि का धनात्मक शंकु है इस प्रकार शीर्ष के साथ नुकीले उत्तल शंकुओं के बीच एक-से-एक पत्राचार होता है और वेक्टर प्री-ऑर्डर चालू हैं [1] अगर पूर्व-आदेश दिया गया है तो हम तुल्यता संबंध बना सकते हैं परिभाषित करके के बराबर है अगर और केवल अगर और अगर तब मूल से युक्त तुल्यता वर्ग है का सदिश उपसमष्टि है और संबंध के अंतर्गत क्रमित सदिश समष्टि है: यदि और केवल वहाँ अस्तित्व है और ऐसा है कि [1]
का उपसमुच्चय सदिश स्थान का यदि यह शीर्ष का उत्तल शंकु है तो इसे उचित शंकु कहा जाता है संतुष्टि देने वाला स्पष्ट रूप से, उचित शंकु है यदि (1) (2) सभी के लिए और (3) [2] उचित शंकुओं के किसी भी गैर-रिक्त परिवार का प्रतिच्छेदन फिर से उचित शंकु है। प्रत्येक उचित शंकु वास्तविक सदिश समष्टि में परिभाषित करके सदिश समष्टि पर क्रम उत्पन्न करता है अगर और केवल अगर और इसके अलावा, इस क्रमित सदिश समष्टि का धनात्मक शंकु होगा इसलिए, उचित उत्तल शंकुओं के बीच एक-से-एक पत्राचार मौजूद है और वेक्टर आंशिक आदेश पर कुल वेक्टर क्रम से हमारा मतलब कुल ऑर्डर से है जो कि वेक्टर स्पेस संरचना के अनुकूल है सदिश समष्टि पर कुल सदिश क्रमों का परिवार सभी उचित शंकुओं के परिवार के साथ एक-से-एक पत्राचार में है जो सेट समावेशन के तहत अधिकतम हैं।[1] कुल वेक्टर क्रम आर्किमिडीज़ आदेश नहीं हो सकता है यदि इसका आयाम (वेक्टर स्थान), जब वास्तविक पर वेक्टर स्थान माना जाता है, 1 से अधिक है।[1]
अगर और धनात्मक शंकु वाले सदिश समष्टि के दो क्रम हैं और क्रमशः, तो हम ऐसा कहते हैं से बेहतर है अगर [2]
उदाहरण
सामान्य क्रम के साथ वास्तविक संख्याएँ पूरी तरह से क्रमबद्ध वेक्टर स्थान बनाती हैं। सभी पूर्णांकों के लिए यूक्लिडियन स्थान शब्दकोषीय क्रम के साथ वास्तविकताओं पर सदिश स्थान के रूप में माना जाता है, पूर्व-क्रमित सदिश स्थान बनता है जिसका क्रम आर्किमिडीयन द्वारा आदेशित सदिश स्थान है यदि और केवल यदि .[3]
बिंदुवार क्रम
अगर क्या कोई सेट है और यदि वास्तविक-मूल्यवान फ़ंक्शन (गणित) का वेक्टर स्थान (वास्तविकता पर) है तत्पश्चात बिन्दुवार क्रम जारी करें द्वारा, सभी के लिए दिया गया है अगर और केवल अगर सभी के लिए [3]
जिन स्थानों को आम तौर पर यह क्रम सौंपा गया है उनमें शामिल हैं:
- अंतरिक्ष परिबद्ध कार्य के वास्तविक-मूल्यवान मानचित्रों पर
- अंतरिक्ष वास्तविक-मूल्यवान अनुक्रमों की जो किसी अनुक्रम की सीमा को सीमित करते हैं * अंतरिक्ष टोपोलॉजिकल स्पेस पर सतत कार्य (टोपोलॉजी) के वास्तविक-मूल्यवान कार्य
- किसी भी गैर-नकारात्मक पूर्णांक के लिए यूक्लिडियन स्थान जब अंतरिक्ष के रूप में माना जाता है कहाँ असतत टोपोलॉजी दी गई है।
अंतरिक्ष सभी मापने योग्य फ़ंक्शन लगभग हर जगह वास्तविक-मूल्यवान मानचित्रों से बंधे होते हैं जहां सभी के लिए प्रीऑर्डर परिभाषित किया गया है द्वारा अगर और केवल अगर लगभग हर जगह।[3]
अंतराल और क्रमबद्ध दोहरा
पूर्व-क्रमित सदिश समष्टि में क्रम अंतराल प्रपत्र का सेट होता है
पूर्व-क्रमित सदिश समष्टि पर सभी रैखिक कार्यात्मकताओं का समुच्चय प्रत्येक ऑर्डर अंतराल को बाउंडेड सेट में मैप करने को आदेश बाध्य दोहरी कहा जाता है और द्वारा निरूपित किया गया [2] यदि किसी स्थान को क्रमबद्ध किया जाता है तो उसका क्रमबद्ध दोहरा उसके बीजगणितीय दोहरे का सदिश उपसमष्टि होता है।
उपसमुच्चय क्रमबद्ध सदिश समष्टि का यदि प्रत्येक गैर-रिक्त उपसमुच्चय के लिए ऑर्डर पूर्ण कहा जाता है ऐसा है कि आदेश में बंधा हुआ है दोनों और मौजूद हैं और के तत्व हैं हम कहते हैं कि क्रमित सदिश समष्टि क्या ऑर्डर पूरा है का ऑर्डर पूर्ण उपसमुच्चय है [4]
उदाहरण
अगर ऑर्डर इकाई के साथ वास्तविकताओं पर पूर्व-आदेशित वेक्टर स्थान है फिर नक्शा सबलीनियर कार्यात्मकता है।[3]
गुण
अगर सभी के लिए पूर्व-आदेशित सदिश स्थान है * और मतलब [3]
- अगर और केवल अगर [3]
- और मतलब [3]
- अगर और केवल अगर अगर और केवल अगर [3]
- अस्तित्व में है यदि और केवल यदि मौजूद है, किस स्थिति में [3]
- अस्तित्व में है यदि और केवल यदि मौजूद है, इस मामले में सभी के लिए [3]
- और
- सदिश जाली है यदि और केवल यदि सभी के लिए मौजूद है [3]
रैखिक मानचित्रों का स्थान
एक शंकु कहा जाता है कि यदि उत्पन्न हो रहा है संपूर्ण सदिश समष्टि के बराबर है।[2] अगर और संबंधित सकारात्मक शंकु के साथ दो गैर-तुच्छ क्रमित वेक्टर स्थान हैं और तब में उत्पन्न हो रहा है यदि और केवल यदि सेट में उचित शंकु है जो सभी रैखिक मानचित्रों का स्थान है में इस मामले में, द्वारा परिभाषित आदेश का विहित क्रम कहा जाता है [2] अधिक सामान्यतः, यदि का कोई सदिश उपसमष्टि है ऐसा है कि उचित शंकु है, द्वारा परिभाषित क्रम का विहित क्रम कहा जाता है [2]
सकारात्मक कार्य और क्रम दोहरा
एक रैखिक कार्य पूर्व-आदेशित वेक्टर स्थान को सकारात्मक कहा जाता है यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को संतुष्ट करता है:
- तात्पर्य
- अगर तब [3]
धनात्मक शंकु वाले सदिश समष्टि पर सभी धनात्मक रैखिक रूपों का समुच्चय द्वैत शंकु और ध्रुवीय शंकु कहा जाता है और इसे द्वारा निरूपित किया जाता है के ध्रुवीय समुच्चय के बराबर शंकु है रैखिक कार्यात्मकताओं के स्थान पर दोहरे शंकु द्वारा प्रेरित प्रीऑर्डर कहा जाता हैdual preorder.[3]
एक क्रमित सदिश समष्टि का क्रम दोहरा (कार्यात्मक विश्लेषण)। समुच्चय है, जिसे द्वारा दर्शाया गया है द्वारा परिभाषित यद्यपि वहां क्रमबद्ध वेक्टर रिक्त स्थान मौजूद हैं जिनके लिए सेट समानता मौजूद है not पकड़ना।[2]
विशेष प्रकार के क्रमित सदिश समष्टि
होने देना क्रमबद्ध सदिश समष्टि हो। हम कहते हैं कि क्रमित सदिश समष्टि क्या आर्किमिडीज़ ने सदिश समष्टि का आदेश दिया है और इसका क्रम क्या है आर्किमिडीयन है यदि जब भी में इस प्रकार कि प्रमुखीकरण है (अर्थात, कुछ मौजूद है ऐसा है कि सभी के लिए ) तब [2] एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) जो कि ऑर्डर किया गया वेक्टर स्पेस है, आवश्यक रूप से आर्किमिडीयन है यदि इसका सकारात्मक शंकु बंद है।[2]
हम कहते हैं कि पूर्व-आदेशित सदिश समष्टि नियमित रूप से आदेश दिया जाता है और यदि यह आर्किमिडीयन आदेश दिया गया है तो इसका आदेश नियमित है में बिंदुओं को अलग करता है [2] यह संपत्ति गारंटी देती है कि आदेशित वेक्टर स्थानों का अध्ययन करने के लिए द्वंद्व के उपकरणों का सफलतापूर्वक उपयोग करने में सक्षम होने के लिए पर्याप्त रूप से कई सकारात्मक रैखिक रूप हैं।[2]
यदि सभी तत्वों के लिए क्रमित सदिश समष्टि को सदिश जालक कहा जाता है और उच्चतम और सबसे निचला अस्तित्व।[2]
उपस्थान, भागफल, और उत्पाद
पूरे चलो धनात्मक शंकु के साथ पूर्व-आदेशित सदिश समष्टि हो उपस्थान
अगर का सदिश उपसमष्टि है फिर विहित आदेश चालू प्रेरक का सकारात्मक शंकु नुकीले उत्तल शंकु द्वारा प्रेरित आंशिक क्रम है यदि यह शंकु उचित है उचित है.[2]
भागफल स्थान
होने देना क्रमित सदिश समष्टि का सदिश उपसमष्टि बनें विहित प्रक्षेपण हो, और चलो तब में शंकु है जो भागफल स्थान (रैखिक बीजगणित) पर विहित प्रीऑर्डरिंग को प्रेरित करता है अगर में उचित शंकु है तब बनाता है क्रमबद्ध सदिश स्थान में।[2] अगर शंकु-संतृप्त है|-फिर संतृप्त के विहित क्रम को परिभाषित करता है [1] ध्यान दें कि क्रमित सदिश समष्टि का उदाहरण प्रदान करता है जहाँ उचित शंकु नहीं है.
अगर टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) भी है और यदि प्रत्येक पड़ोस के लिए (गणित) में उत्पत्ति का वहाँ पड़ोस मौजूद है उत्पत्ति की ऐसी कि तब भागफल टोपोलॉजी के लिए सामान्य शंकु (कार्यात्मक विश्लेषण) है।[1]
अगर टोपोलॉजिकल वेक्टर जाली है और का बंद ठोस समुच्चय उप-जाल है तब यह टोपोलॉजिकल वेक्टर जाली भी है।[1]
उत्पाद
अगर क्या कोई सेट है फिर स्पेस? से सभी कार्यों का में उचित शंकु द्वारा विहित रूप से आदेश दिया गया है [2]
लगता है कि पूर्वक्रमित सदिश स्थानों का परिवार है और इसका धनात्मक शंकु है है तब में नुकीला उत्तल शंकु है जो विहित क्रम निर्धारित करता है यदि सभी हों तो उचित शंकु है उचित शंकु हैं.[2]
बीजीय प्रत्यक्ष योग
बीजगणितीय प्रत्यक्ष योग का का सदिश उपसमष्टि है जिसे विहित उप-स्थान क्रम विरासत में मिला है [2] अगर क्रमित सदिश समष्टि के क्रमित सदिश उपसमष्टि हैं तब यदि विहित बीजगणितीय समरूपता है तो इन उप-स्थानों का क्रमबद्ध प्रत्यक्ष योग है पर (विहित उत्पाद क्रम के साथ) क्रम समरूपता है।[2]
उदाहरण
- सामान्य क्रम वाली वास्तविक संख्याएँ क्रमित सदिश समष्टि होती हैं।
- के साथ क्रमित सदिश समष्टि है संबंध को निम्नलिखित में से किसी भी तरीके से परिभाषित किया गया है (बढ़ती ताकत के क्रम में, यानी जोड़े के घटते सेट):
- शब्दावली क्रम: अगर और केवल अगर या यह कुल ऑर्डर है. धनात्मक शंकु द्वारा दिया गया है या अर्थात्, ध्रुवीय समन्वय प्रणाली में, कोणीय निर्देशांक वाले बिंदुओं का समुच्चय संतोषजनक होता है उत्पत्ति के साथ.
- अगर और केवल अगर और (की दो प्रतियों का उत्पाद क्रम साथ ). यह आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है और अर्थात्, ध्रुवीय निर्देशांक में उत्पत्ति के साथ.
- अगर और केवल अगर या (प्रत्यक्ष उत्पाद का प्रतिवर्ती समापन#दो प्रतियों के द्विआधारी संबंधों का प्रत्यक्ष उत्पाद < के साथ)। यह भी आंशिक आदेश है. धनात्मक शंकु द्वारा दिया गया है या अर्थात्, ध्रुवीय निर्देशांक में, उत्पत्ति के साथ.
- केवल दूसरा क्रम, के उपसमुच्चय के रूप में है बंद किया हुआ; आंशिक रूप से ऑर्डर किया गया सेट#टोपोलॉजिकल स्पेस में आंशिक ऑर्डर देखें।
- तीसरे क्रम के लिए द्वि-आयामी आंशिक रूप से क्रमित सेट#अंतराल खुले सेट हैं जो टोपोलॉजी उत्पन्न करते हैं।
- के साथ क्रमित सदिश समष्टि है संबंध को इसी तरह परिभाषित किया गया है। उदाहरण के लिए, ऊपर उल्लिखित दूसरे आदेश के लिए:
- अगर और केवल अगर के लिए * रिज़्ज़ स्थान ऑर्डर किया गया वेक्टर स्पेस है जहां ऑर्डर जाली (ऑर्डर) को जन्म देता है।
- निरंतर कार्यों का स्थान कहाँ अगर और केवल अगर सभी के लिए में
यह भी देखें
- Order topology (functional analysis)
- Ordered field
- Ordered group
- Ordered ring
- Ordered topological vector space
- Partially ordered space
- Product order
- Riesz space
- Topological vector lattice
- Vector lattice
संदर्भ
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Schaefer & Wolff 1999, pp. 250–257.
- ↑ 2.00 2.01 2.02 2.03 2.04 2.05 2.06 2.07 2.08 2.09 2.10 2.11 2.12 2.13 2.14 2.15 2.16 2.17 2.18 2.19 2.20 Schaefer & Wolff 1999, pp. 205–209.
- ↑ 3.00 3.01 3.02 3.03 3.04 3.05 3.06 3.07 3.08 3.09 3.10 3.11 3.12 Narici & Beckenstein 2011, pp. 139–153.
- ↑ Schaefer & Wolff 1999, pp. 204–214.
ग्रन्थसूची
- 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.