सांस्थितिक प्रदिश गुणनफल

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

प्रेरणा

टोपोलॉजिकल टेंसर उत्पादों ${\hat {\otimes }}$ के लिए मूल प्रेरणाओं में से एक यह तथ्य है कि $\mathbb {R} ^{n}$ पर सुचारू कार्यों के स्थानों के टेंसर उत्पाद अपेक्षा के अनुरूप व्यवहार नहीं करते हैं। एक इंजेक्शन है

$C^{\infty }(\mathbb {R} ^{n})\otimes C^{\infty }(\mathbb {R} ^{m})\hookrightarrow C^{\infty }(\mathbb {R} ^{n+m})$

किन्तु यह एक समरूपता नहीं है. उदाहरण के लिए, फ़ंक्शन $f(x,y)=e^{xy}$ को $C^{\infty }(\mathbb {R} _{x})\otimes C^{\infty }(\mathbb {R} _{y}).$ में सुचारु कार्यों के एक सीमित रैखिक संयोजन के रूप में व्यक्त नहीं किया जा सकता है। हमें केवल टोपोलॉजिकल टेंसर उत्पाद के निर्माण के बाद एक समरूपता मिलती है; अर्थात।,

$C^{\infty }(\mathbb {R} ^{n})\mathop {\hat {\otimes }} C^{\infty }(\mathbb {R} ^{m})\cong C^{\infty }(\mathbb {R} ^{n+m}).$

यह लेख सबसे पहले बानाच अंतरिक्ष स्थिति में निर्माण का विवरण देता है। $C^{\infty }(\mathbb {R} ^{n})$ कोई बानाच स्थान नहीं है और आगे के स्थितियों पर अंत में विचार की जाती है।

हिल्बर्ट रिक्त स्थान के टेंसर उत्पाद

Main article: हिल्बर्ट रिक्त स्थान का टेंसर उत्पाद

दो हिल्बर्ट रिक्त स्थान A और B के बीजगणितीय टेंसर उत्पाद में A और B के सेसक्विलिनियर फॉर्म से प्रेरित एक प्राकृतिक सकारात्मक निश्चित सेसक्विलिनियर रूप (स्केलर उत्पाद) होता है। इसलिए विशेष रूप से इसमें एक प्राकृतिक सकारात्मक निश्चित द्विघात रूप होता है, और संबंधित पूर्णता एक होती है हिल्बर्ट स्पेस A ⊗ B, जिसे A और B का (हिल्बर्ट स्पेस) टेंसर उत्पाद कहा जाता है।

यदि सदिश a_i और b_j j, A और B के ऑर्थोनॉर्मल आधारों से होकर निकलते हैं, तो सदिश a_i⊗b_j A ⊗ B का ऑर्थोनॉर्मल आधार बनाते हैं।

बैनाच रिक्त स्थान के क्रॉस मानदंड और टेंसर उत्पाद

हम से संकेतन का उपयोग करेंगे (Ryan 2002) इस खंड में। दो बैनाच स्थानों के टेंसर उत्पाद को परिभाषित करने का स्पष्ट तरीका $A$ और $B$ हिल्बर्ट रिक्त स्थान के लिए विधि की प्रतिलिपि बनाना है: बीजगणितीय टेंसर उत्पाद पर एक मानदंड परिभाषित करें, फिर इस मानदंड में पूर्णता लें। समस्या यह है कि टेंसर उत्पाद पर एक मानदंड को परिभाषित करने के लिए एक से अधिक प्राकृतिक विधि हैं।

अगर $A$ और $B$ बानाच रिक्त स्थान बीजगणितीय टेंसर उत्पाद हैं $A$ और $B$ का मतलब टेंसर उत्पाद है $A$ और $B$ सदिश रिक्त स्थान के रूप में और द्वारा निरूपित किया जाता है $A\otimes B.$ बीजगणितीय टेंसर उत्पाद $A\otimes B$ सभी परिमित राशियों से मिलकर बना है।

$$x=\sum _{i=1}^{n}a_{i}\otimes b_{i},$$

कहाँ $n$ के आधार पर एक प्राकृतिक संख्या है $x$ और $a_{i}\in A$ और $b_{i}\in B$ के लिए $i=1,\ldots ,n.$ कब $A$ और $B$ बानाच स्थान हैं, एcrossnorm (याcross norm) $p$ बीजगणितीय टेंसर उत्पाद पर $A\otimes B$ शर्तों को पूरा करने वाला एक आदर्श है।

$$p(a\otimes b)=\|a\|\|b\|,$$

$$p'(a'\otimes b')=\|a'\|\|b'\|.$$

यहाँ $a^{\prime }$ और $b^{\prime }$ के सतत दोहरे स्थान के तत्व हैं $A$ और $B,$ क्रमशः, और $p^{\prime }$ का दोहरा मानदंड है $p.$ शब्दreasonable crossnorm का उपयोग उपरोक्त परिभाषा के लिए भी किया जाता है।

एक क्रॉस मानदंड है $\pi$ प्रक्षेप्य क्रॉस मानदंड कहा जाता है, द्वारा दिया गया

$$\pi (x)=\inf \left\{\sum _{i=1}^{n}\|a_{i}\|\|b_{i}\|:x=\sum _{i=1}^{n}a_{i}\otimes b_{i}\right\},$$

कहाँ $x\in A\otimes B.$ यह पता चला है कि प्रक्षेप्य क्रॉस मानदंड सबसे बड़े क्रॉस मानदंड से सहमत है ((Ryan 2002), प्रस्ताव 2.1).

एक क्रॉस मानदंड है $\varepsilon$ इंजेक्शन क्रॉस नॉर्म कहा जाता है, द्वारा दिया गया

$$\varepsilon (x)=\sup \left\{\left|(a'\otimes b')(x)\right|:a'\in A',b'\in B',\|a'\|=\|b'\|=1\right\}$$

कहाँ $x\in A\otimes B.$ यहाँ $A^{\prime }$ और $B^{\prime }$ के टोपोलॉजिकल दोहरे को निरूपित करें $A$ और $B,$ क्रमश।

यहां ध्यान दें कि इंजेक्टिव क्रॉस मानदंड केवल कुछ उचित अर्थों में सबसे छोटा है।

इन दो मानदंडों में बीजगणितीय टेंसर उत्पाद की पूर्णता को प्रक्षेप्य और इंजेक्टिव टेंसर उत्पाद कहा जाता है, और इन्हें निरूपित किया जाता है $A\operatorname {\hat {\otimes }} _{\pi }B$ और $A\operatorname {\hat {\otimes }} _{\varepsilon }B.$ कब $A$ और $B$ हिल्बर्ट स्पेस हैं, उनके हिल्बर्ट स्पेस टेंसर उत्पाद के लिए उपयोग किया जाने वाला मानदंड सामान्य रूप से इनमें से किसी भी मानदंड के बराबर नहीं है। कुछ लेखक इसे निरूपित करते हैं $\sigma ,$ तो उपरोक्त अनुभाग में हिल्बर्ट स्पेस टेंसर उत्पाद होगा $A\operatorname {\hat {\otimes }} _{\sigma }B.$ एuniform crossnorm $\alpha$ प्रत्येक जोड़ी के लिए एक असाइनमेंट है $(X,Y)$ एक उचित क्रॉसनॉर्म के बानाच रिक्त स्थान पर $X\otimes Y$ ताकि यदि $X,W,Y,Z$ सभी (निरंतर रैखिक) ऑपरेटरों के लिए मनमाना बैनाच स्थान हैं $S:X\to W$ और $T:Y\to Z$ परिचालक $S\otimes T:X\otimes _{\alpha }Y\to W\otimes _{\alpha }Z$ निरंतर है और $\|S\otimes T\|\leq \|S\|\|T\|.$ अगर $A$ और $B$ दो बानाच स्थान हैं और $\alpha$ तो यह एक समान क्रॉस मानदंड है $\alpha$ बीजगणितीय टेंसर उत्पाद पर एक उचित क्रॉस मानदंड परिभाषित करता है $A\otimes B.$ उपकरण द्वारा प्राप्त मानकीकृत रैखिक स्थान $A\otimes B$ उस मानक के साथ निरूपित किया जाता है $A\otimes _{\alpha }B.$ का पूरा होना $A\otimes _{\alpha }B,$ जो एक बानाच स्थान है, द्वारा दर्शाया गया है $A\operatorname {\hat {\otimes }} _{\alpha }B.$ द्वारा दिए गए मानदंड का मान $\alpha$ पर $A\otimes B$ और पूर्ण टेंसर उत्पाद पर $A\operatorname {\hat {\otimes }} _{\alpha }B$ एक तत्व के लिए $x$ में $A\operatorname {\hat {\otimes }} _{\alpha }B$ (या $A\otimes _{\alpha }B$) द्वारा दर्शाया गया है $\alpha _{A,B}(x){\text{ or }}\alpha (x).$ एक समान क्रॉसनॉर्म $\alpha$ बताया गयाfinitely generated यदि, प्रत्येक जोड़ी के लिए $(X,Y)$ बानाच स्थानों और प्रत्येक का $u\in X\otimes Y,$

$$\alpha (u;X\otimes Y)=\inf\{\alpha (u;M\otimes N):\dim M,\dim N<\infty \}.$$

एक समान क्रॉसनॉर्म $\alpha$ हैcofinitely generated यदि, प्रत्येक जोड़ी के लिए $(X,Y)$ बानाच स्थानों और प्रत्येक का $u\in X\otimes Y,$

$$\alpha (u)=\sup\{\alpha ((Q_{E}\otimes Q_{F})u;(X/E)\otimes (Y/F)):\dim X/E,\dim Y/F<\infty \}.$$

एtensor norm को एक सूक्ष्म रूप से उत्पन्न एकसमान क्रॉसनॉर्म के रूप में परिभाषित किया गया है। प्रक्षेप्य क्रॉस मानदंड $\pi$ और इंजेक्शन क्रॉस मानदंड $\varepsilon$ ऊपर परिभाषित टेंसर मानदंड हैं और उन्हें क्रमशः प्रोजेक्टिव टेंसर मानदंड और इंजेक्टिव टेंसर मानदंड कहा जाता है।

अगर $A$ और $B$ मनमाने ढंग से बनच स्थान हैं और $\alpha$ तो यह एक मनमाना समान क्रॉस मानदंड है

$$\varepsilon _{A,B}(x)\leq \alpha _{A,B}(x)\leq \pi _{A,B}(x).$$

स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्थानों के टेंसर उत्पाद

See also: Injective tensor product and Projective tensor product

स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्थानों की टोपोलॉजी $A$ और $B$ सेमिनोर्म ्स के परिवारों द्वारा दिए गए हैं। सेमिनॉर्म के प्रत्येक विकल्प के लिए $A$ और पर $B$ हम बीजगणितीय टेंसर उत्पाद पर क्रॉस मानदंडों के संबंधित परिवार को परिभाषित कर सकते हैं $A\otimes B,$ और प्रत्येक परिवार से एक क्रॉस मानदंड चुनने पर हमें कुछ क्रॉस मानदंड प्राप्त होते हैं $A\otimes B,$ टोपोलॉजी को परिभाषित करना. सामान्यतः ऐसा करने के बहुत सारे विधि हैं। दो सबसे महत्वपूर्ण विधि सभी प्रक्षेप्य क्रॉस मानदंडों, या सभी इंजेक्शन क्रॉस मानदंडों को लेना है। परिणामी टोपोलॉजी की पूर्णताएँ चालू हैं $A\otimes B$ प्रक्षेप्य और इंजेक्टिव टेंसर उत्पाद कहलाते हैं, और इनके द्वारा निरूपित होते हैं $A\otimes _{\gamma }B$ और $A\otimes _{\lambda }B.$ से एक प्राकृतिक मानचित्र है $A\otimes _{\gamma }B$ को $A\otimes _{\lambda }B.$ अगर $A$ या $B$ एक परमाणु स्थान है तो प्राकृतिक मानचित्र से $A\otimes _{\gamma }B$ को $A\otimes _{\lambda }B$ एक समरूपता है. मोटे तौर पर कहें तो इसका मतलब यह है कि अगर $A$ या $B$ परमाणु है, तो इसका केवल एक समझदार टेंसर उत्पाद है $A$ और $B$. यह गुण परमाणु स्थानों की विशेषता बताता है।

यह भी देखें

• Fréchet space
• Fredholm kernel
• Inductive tensor product
• Injective tensor product
• Projective tensor product
• Projective topology
• Tensor product of Hilbert spaces

संदर्भ

• Ryan, R.A. (2002), Introduction to Tensor Products of Banach Spaces, New York: Springer.
• Grothendieck, A. (1955), "Produits tensoriels topologiques et espaces nucléaires", Memoirs of the American Mathematical Society, 16.