बानाच बीजगणित: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Particular kind of algebraic structure}} | {{Short description|Particular kind of algebraic structure}} | ||
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, स्टीफन बानाच के नाम पर | गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, स्टीफन बानाच के नाम पर '''बानाच बीजगणित''' [[वास्तविक संख्या]] या [[जटिल संख्या|जटिल संख्याओं]] (या एक गैर-आर्किमिडीयन पूर्ण मानक क्षेत्र पर) पर एक सहयोगी बीजगणित <math>A</math> है जो एक ही समय में एक बानाच स्थान भी है, अर्थात, एक [[मानक स्थान]] जो मानक से प्रेरित मीट्रिक में [[पूर्ण मीट्रिक स्थान]] है। मानक को पूरा करना आवश्यक है | ||
<math display=block>\|x \, y\| \ \leq \|x\| \, \|y\| \quad \text{ for all } x, y \in A.</math> | <math display=block>\|x \, y\| \ \leq \|x\| \, \|y\| \quad \text{ for all } x, y \in A.</math> | ||
यह सुनिश्चित करता है कि गुणन ऑपरेशन निरंतर कार्य (टोपोलॉजी) है। | यह सुनिश्चित करता है कि गुणन ऑपरेशन निरंतर कार्य (टोपोलॉजी) है। | ||
एक बानाच बीजगणित को इकाईक कहा जाता है यदि इसमें गुणन के लिए एक पहचान तत्व होता है जिसका मानदंड <math>1</math> है, और यदि इसका गुणन[[विनिमेय|क्रमविनिमेय]] है तो इसे क्रमविनिमेय कहा जाता है। किसी भी बानाच बीजगणित A (तथापि इसमें कोई पहचान तत्व हो या नहीं) को एकल बानाच बीजगणित <math>A_e</math> में [[आइसोमेट्री]] रूप से एम्बेड किया जा सकता है जिससे <math>A_e</math> का एक [[बंद सेट]] [[आदर्श (बीजगणित)]] बनाया जा सके। अधिकांश कोई यह मान लेता है कि विचाराधीन बीजगणित एकात्मक है: क्योंकि <math>A_e</math> पर विचार करके और फिर परिणाम को मूल बीजगणित में लागू करके अधिकांश सिद्धांत विकसित कर सकता है। चूँकि, प्रत्येक समय ऐसा नहीं होता है। उदाहरण के लिए, कोई भी बिना पहचान के बानाच बीजगणित में सभी त्रिकोणमितीय कार्यों को परिभाषित नहीं कर सकता है। | एक बानाच बीजगणित को इकाईक कहा जाता है यदि इसमें गुणन के लिए एक पहचान तत्व होता है जिसका मानदंड <math>1</math> है, और यदि इसका गुणन[[विनिमेय|क्रमविनिमेय]] है तो इसे क्रमविनिमेय कहा जाता है। किसी भी बानाच बीजगणित A (तथापि इसमें कोई पहचान तत्व हो या नहीं) को एकल बानाच बीजगणित <math>A_e</math> में [[आइसोमेट्री]] रूप से एम्बेड किया जा सकता है जिससे <math>A_e</math> का एक [[बंद सेट|संवृत सेट]] [[आदर्श (बीजगणित)]] बनाया जा सके। अधिकांश कोई यह मान लेता है कि विचाराधीन बीजगणित एकात्मक है: क्योंकि <math>A_e</math> पर विचार करके और फिर परिणाम को मूल बीजगणित में लागू करके अधिकांश सिद्धांत विकसित कर सकता है। चूँकि, प्रत्येक समय ऐसा नहीं होता है। उदाहरण के लिए, कोई भी बिना पहचान के बानाच बीजगणित में सभी त्रिकोणमितीय कार्यों को परिभाषित नहीं कर सकता है। | ||
वास्तविक बानाच बीजगणित का सिद्धांत जटिल बानाच बीजगणित के सिद्धांत से बहुत भिन्न हो सकता है। उदाहरण के लिए, असतहीय जटिल बानाच बीजगणित के एक तत्व का [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] कभी भी खाली नहीं हो सकता है, जबकि वास्तविक बानाच बीजगणित में यह कुछ तत्वों के लिए खाली हो सकता है। | वास्तविक बानाच बीजगणित का सिद्धांत जटिल बानाच बीजगणित के सिद्धांत से बहुत भिन्न हो सकता है। उदाहरण के लिए, असतहीय जटिल बानाच बीजगणित के एक तत्व का [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] कभी भी खाली नहीं हो सकता है, जबकि वास्तविक बानाच बीजगणित में यह कुछ तत्वों के लिए खाली हो सकता है। | ||
Line 12: | Line 12: | ||
==उदाहरण== | ==उदाहरण== | ||
बानाच बीजगणित का प्रोटोटाइप उदाहरण | बानाच बीजगणित का प्रोटोटाइप उदाहरण <math>C_0(X)</math> है, जो [[स्थानीय रूप से सघन|स्थानीय रूप से कॉम्पैक्ट]] ([[हॉसडॉर्फ़ स्थान]]) स्थान पर (जटिल-मूल्यवान) निरंतर कार्यों का स्थान जो अनंत पर लुप्त हो जाता है। <math>C_0(X)</math> इकाई है यदि और केवल यदि <math>X</math> [[सघनता]] है। [[जटिल संयुग्मन]] समावेशन (गणित) है, <math>C_0(X)</math> वास्तव में C*-बीजगणित है। अधिक सामान्यतः, प्रत्येक C*-बीजगणित परिभाषा के अनुसार बानाच बीजगणित है। | ||
* वास्तविक (या सम्मिश्र) संख्याओं का समुच्चय | * वास्तविक (या सम्मिश्र) संख्याओं का समुच्चय बानाच बीजगणित है जिसका मान निरपेक्ष मान द्वारा दिया जाता है। | ||
* सभी वास्तविक या जटिल का सेट <math>n</math>-द्वारा-<math>n</math> [[मैट्रिक्स (गणित)]] [[इकाई बीजगणित]] बानाच बीजगणित बन जाता है यदि हम इसे उप-गुणक [[मैट्रिक्स मानदंड]] से लैस करते हैं। | * सभी वास्तविक या जटिल का सेट <math>n</math>-द्वारा-<math>n</math> [[मैट्रिक्स (गणित)]] [[इकाई बीजगणित]] बानाच बीजगणित बन जाता है यदि हम इसे उप-गुणक [[मैट्रिक्स मानदंड]] से लैस करते हैं। | ||
* | * मानक <math>\|x\| = \max_{} |x_i|</math> के साथ बनच स्पेस <math>\R^n</math> (या <math>\Complex^n</math>) बनाएं और गुणन को घटकवार परिभाषित करें: <math>\left(x_1, \ldots, x_n\right) \left(y_1, \ldots, y_n\right) = \left(x_1 y_1, \ldots, x_n y_n\right).</math> | ||
* चतुर्भुज 4-आयामी वास्तविक बानाच बीजगणित बनाते हैं, जिसमें मानदंड चतुर्भुजों के निरपेक्ष मान द्वारा दिए जाते हैं। | * चतुर्भुज 4-आयामी वास्तविक बानाच बीजगणित बनाते हैं, जिसमें मानदंड चतुर्भुजों के निरपेक्ष मान द्वारा दिए जाते हैं। | ||
* किसी सेट पर परिभाषित सभी सीमित वास्तविक या जटिल-मूल्यवान कार्यों का बीजगणित (बिंदुवार गुणन और सर्वोच्च मानदंड के साथ) यूनिटल बानाच बीजगणित है। | * किसी सेट पर परिभाषित सभी सीमित वास्तविक या जटिल-मूल्यवान कार्यों का बीजगणित (बिंदुवार गुणन और सर्वोच्च मानदंड के साथ) यूनिटल बानाच बीजगणित है। | ||
* कुछ स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] पर सभी बंधे हुए निरंतर फ़ंक्शन (टोपोलॉजी) के वास्तविक या जटिल-मूल्य वाले फ़ंक्शन का बीजगणित (फिर से बिंदुवार संचालन और सर्वोच्च मानदंड के साथ) बानाच बीजगणित है। | * कुछ स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] पर सभी बंधे हुए निरंतर फ़ंक्शन (टोपोलॉजी) के वास्तविक या जटिल-मूल्य वाले फ़ंक्शन का बीजगणित (फिर से बिंदुवार संचालन और सर्वोच्च मानदंड के साथ) बानाच बीजगणित है। | ||
* | * बानाच स्पेस <math>E</math> पर सभी निरंतर [[रैखिक परिवर्तन]] का बीजगणित (गुणन के रूप में कार्यात्मक संरचना और मानक के रूप में [[ऑपरेटर मानदंड]] के साथ) एक यूनिटल बानाच बीजगणित है। <math>E</math> पर सभी [[कॉम्पैक्ट ऑपरेटर|कॉम्पैक्ट ऑपरेटरों]] का सेट एक बनच बीजगणित और संवृत आदर्श है। यदि <math>\dim E = \infty</math> है तो यह बिना पहचान के है।<ref>{{harvnb|Conway|1990|loc=Example VII.1.8.}}</ref> | ||
* | *यदि <math>G</math> स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ अंतरिक्ष [[टोपोलॉजिकल समूह]] है और <math>\mu</math> इसका Haar माप है, तो <math>G</math> पर सभी <math>\mu</math>-अभिन्न कार्यों का बनच स्पेस <math>L^1(G)</math> <math>x, y \in L^1(G)</math> के लिए [[कनवल्शन]] <math>x y(g) = \int x(h) y\left(h^{-1} g\right) d \mu(h)</math> के अनुसार बानाच बीजगणित बन जाता है <ref name="harvnb conway 1990 example VII.1.9.">{{harvnb|Conway|1990|loc=Example VII.1.9.}}</ref> | ||
* समान बीजगणित: बानाच बीजगणित जो जटिल बीजगणित | * समान बीजगणित: एक बानाच बीजगणित जो सर्वोच्च मानदंड के साथ जटिल बीजगणित <math>C(X)</math> का एक उप-बीजगणित है और इसमें स्थिरांक शामिल हैं और <math>X</math> (जो कॉम्पैक्ट हॉसडॉर्फ स्थान होना चाहिए) के बिंदुओं को अलग करता है। | ||
* | * प्राकृतिक बैनाच फ़ंक्शन बीजगणित: एक समान बीजगणित जिसके सभी वर्ण <math>X</math> के बिंदुओं पर मूल्यांकन हैं। | ||
* | * C*-बीजगणित: बानाच बीजगणित जो कुछ [[हिल्बर्ट स्थान]] पर परिबद्ध संचालकों के बीजगणित का संवृत *-उपबीजगणित है। | ||
* [[बीजगणित को मापें]]: बैनाच बीजगणित जिसमें कुछ स्थानीय रूप से कॉम्पैक्ट समूह पर सभी [[रेडॉन माप]] शामिल होते हैं, जहां दो उपायों का उत्पाद कन्वोल्यूशन # माप द्वारा दिया जाता है।<ref name="harvnb conway 1990 example VII.1.9." />* चतुर्भुज का बीजगणित <math>\H</math> वास्तविक बानाच बीजगणित है, | * [[बीजगणित को मापें]]: बैनाच बीजगणित जिसमें कुछ स्थानीय रूप से कॉम्पैक्ट समूह पर सभी [[रेडॉन माप]] शामिल होते हैं, जहां दो उपायों का उत्पाद कन्वोल्यूशन # माप द्वारा दिया जाता है।<ref name="harvnb conway 1990 example VII.1.9." /> | ||
*चतुर्भुज का बीजगणित <math>\H</math> वास्तविक बानाच बीजगणित है, किन्तु यह जटिल बीजगणित नहीं है (और इसलिए जटिल बानाच बीजगणित नहीं है) इसका सरल कारण यह है कि चतुर्भुज का केंद्र वास्तविक संख्याएँ हैं, जिनमें जटिल संख्याओं की प्रतिलिपि नहीं हो सकती है। | |||
* एफ़िनॉइड बीजगणित गैर-आर्किमिडीयन क्षेत्र पर निश्चित प्रकार का बानाच बीजगणित है। एफ़िनॉइड बीजगणित [[कठोर विश्लेषणात्मक स्थान]] में बुनियादी निर्माण खंड हैं। | * एफ़िनॉइड बीजगणित गैर-आर्किमिडीयन क्षेत्र पर निश्चित प्रकार का बानाच बीजगणित है। एफ़िनॉइड बीजगणित [[कठोर विश्लेषणात्मक स्थान]] में बुनियादी निर्माण खंड हैं। | ||
Line 32: | Line 33: | ||
पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बानाच बीजगणित में मान्य रहता है। [[द्विपद प्रमेय]] बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है। | पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बानाच बीजगणित में मान्य रहता है। [[द्विपद प्रमेय]] बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है। | ||
किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट [[खुला सेट]] है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए होमोमोर्फिज्म है), जिससे यह गुणन के | किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट [[खुला सेट]] है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए होमोमोर्फिज्म है), जिससे यह गुणन के अनुसार टोपोलॉजिकल समूह बना सके।<ref>{{harvnb|Conway|1990|loc=Theorem VII.2.2.}}</ref> | ||
यदि बानाच बीजगणित में इकाई है <math>\mathbf{1},</math> तब <math>\mathbf{1}</math> [[कम्यूटेटर (रिंग सिद्धांत)]] नहीं हो सकता; वह है, <math>xy - yx \neq \mathbf{1}</math>किसी के लिए <math>x, y \in A.</math> यह है क्योंकि <math>x y</math> और <math>y x</math> संभवतः को छोड़कर समान स्पेक्ट्रम (कार्यात्मक विश्लेषण) है <math>0.</math> | यदि बानाच बीजगणित में इकाई है <math>\mathbf{1},</math> तब <math>\mathbf{1}</math> [[कम्यूटेटर (रिंग सिद्धांत)]] नहीं हो सकता; वह है, <math>xy - yx \neq \mathbf{1}</math>किसी के लिए <math>x, y \in A.</math> यह है क्योंकि <math>x y</math> और <math>y x</math> संभवतः को छोड़कर समान स्पेक्ट्रम (कार्यात्मक विश्लेषण) है <math>0.</math> | ||
ऊपर दिए गए उदाहरणों में दिए गए कार्यों के विभिन्न बीजगणित में वास्तविक जैसे बीजगणित के मानक उदाहरणों से बहुत अलग गुण हैं। उदाहरण के लिए: | ऊपर दिए गए उदाहरणों में दिए गए कार्यों के विभिन्न बीजगणित में वास्तविक जैसे बीजगणित के मानक उदाहरणों से बहुत अलग गुण हैं। उदाहरण के लिए: | ||
* प्रत्येक वास्तविक बानाच बीजगणित जो कि [[विभाजन बीजगणित]] है, वास्तविक, संकुल, या चतुर्भुज के समरूपी है। इसलिए, एकमात्र जटिल बानाच बीजगणित जो विभाजन बीजगणित है, वह कॉम्प्लेक्स है। (इसे गेलफैंड-मज़ूर प्रमेय के रूप में जाना जाता है।) | * प्रत्येक वास्तविक बानाच बीजगणित जो कि [[विभाजन बीजगणित]] है, वास्तविक, संकुल, या चतुर्भुज के समरूपी है। इसलिए, एकमात्र जटिल बानाच बीजगणित जो विभाजन बीजगणित है, वह कॉम्प्लेक्स है। (इसे गेलफैंड-मज़ूर प्रमेय के रूप में जाना जाता है।) | ||
* प्रत्येक इकाई वास्तविक बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, और जिसमें प्रत्येक [[प्रमुख आदर्श]] | * प्रत्येक इकाई वास्तविक बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, और जिसमें प्रत्येक [[प्रमुख आदर्श]] संवृत सेट है, वास्तविक, कॉम्प्लेक्स या चतुर्भुज के लिए आइसोमोर्फिक है।<ref>{{Cite journal|last1=García|first1=Miguel Cabrera|last2=Palacios|first2=Angel Rodríguez|date=1995|title=गेलफ़ैंड-मज़ूर-कप्लांस्की प्रमेय का एक नया सरल प्रमाण|url=https://www.jstor.org/stable/2160559|journal=Proceedings of the American Mathematical Society|volume=123|issue=9|pages=2663–2666|doi=10.2307/2160559|jstor=2160559|issn=0002-9939}}</ref> | ||
* प्रत्येक क्रमविनिमेय वास्तविक इकाई [[नोथेरियन अंगूठी]] बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है। | * प्रत्येक क्रमविनिमेय वास्तविक इकाई [[नोथेरियन अंगूठी]] बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है। | ||
* प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है। | * प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है। | ||
Line 46: | Line 47: | ||
{{Main|Spectral theory}} | {{Main|Spectral theory}} | ||
जटिल क्षेत्र पर यूनिटल बानाच बीजगणित वर्णक्रमीय सिद्धांत विकसित करने के लिए सामान्य सेटिंग प्रदान करते हैं। किसी तत्व का स्पेक्ट्रम <math>x \in A,</math> द्वारा चिह्नित <math>\sigma(x)</math>, उन सभी जटिल [[अदिश (गणित)]] से मिलकर बना है <math>\lambda</math> ऐसा है कि <math>x - \lambda \mathbf{1}</math> में उलटा नहीं है <math>A.</math> किसी भी तत्व का स्पेक्ट्रम <math>x</math> में | जटिल क्षेत्र पर यूनिटल बानाच बीजगणित वर्णक्रमीय सिद्धांत विकसित करने के लिए सामान्य सेटिंग प्रदान करते हैं। किसी तत्व का स्पेक्ट्रम <math>x \in A,</math> द्वारा चिह्नित <math>\sigma(x)</math>, उन सभी जटिल [[अदिश (गणित)]] से मिलकर बना है <math>\lambda</math> ऐसा है कि <math>x - \lambda \mathbf{1}</math> में उलटा नहीं है <math>A.</math> किसी भी तत्व का स्पेक्ट्रम <math>x</math> में संवृत डिस्क का संवृत उपसमुच्चय है <math>\Complex</math> त्रिज्या के साथ <math>\|x\|</math> और केंद्र <math>0,</math> और इस प्रकार [[ सघन स्थान |सघन स्थान]] है। इसके अलावा, स्पेक्ट्रम <math>\sigma(x)</math> तत्व का <math>x</math> गैर-रिक्त है और [[वर्णक्रमीय त्रिज्या]] सूत्र को संतुष्ट करता है: | ||
<math display=block>\sup \{|\lambda| : \lambda \in \sigma(x)\} = \lim_{n \to \infty} \|x^n\|^{1/n}.</math> | <math display=block>\sup \{|\lambda| : \lambda \in \sigma(x)\} = \lim_{n \to \infty} \|x^n\|^{1/n}.</math> | ||
दिया गया <math>x \in A,</math> [[होलोमोर्फिक कार्यात्मक कैलकुलस]] परिभाषित करने की अनुमति देता है <math>f(x) \in A</math> किसी भी समारोह के लिए <math>f</math> के पड़ोस में [[होलोमोर्फिक फ़ंक्शन]] <math>\sigma(x).</math> इसके अलावा, वर्णक्रमीय मानचित्रण प्रमेय मानता है:<ref>{{harvnb|Takesaki|1979|loc=Proposition 2.8.}}</ref> | दिया गया <math>x \in A,</math> [[होलोमोर्फिक कार्यात्मक कैलकुलस]] परिभाषित करने की अनुमति देता है <math>f(x) \in A</math> किसी भी समारोह के लिए <math>f</math> के पड़ोस में [[होलोमोर्फिक फ़ंक्शन]] <math>\sigma(x).</math> इसके अलावा, वर्णक्रमीय मानचित्रण प्रमेय मानता है:<ref>{{harvnb|Takesaki|1979|loc=Proposition 2.8.}}</ref> | ||
Line 61: | Line 62: | ||
होने देना <math>A</math> इकाई क्रमविनिमेय बानाच बीजगणित बनें <math>\Complex.</math> तब से <math>A</math> फिर इकाई के साथ क्रमविनिमेय वलय है, जिसका प्रत्येक गैर-उलटा तत्व है <math>A</math> के कुछ [[अधिकतम आदर्श]] से संबंधित है <math>A.</math> अधिकतम आदर्श के बाद से <math>\mathfrak m</math> में <math>A</math> बन्द है, <math>A / \mathfrak m</math> बानाच बीजगणित है जो क्षेत्र है, और यह गेलफैंड-मज़ूर प्रमेय से निम्नानुसार है कि सभी अधिकतम आदर्शों के सेट के बीच आपत्ति है <math>A</math> और सेट <math>\Delta(A)</math> से सभी गैर-शून्य समरूपताएँ <math>A</math> को <math>\Complex.</math> सेट <math>\Delta(A)</math> का [[संरचना स्थान]] या वर्ण स्थान कहा जाता है <math>A,</math> और इसके सदस्यों के पात्र। | होने देना <math>A</math> इकाई क्रमविनिमेय बानाच बीजगणित बनें <math>\Complex.</math> तब से <math>A</math> फिर इकाई के साथ क्रमविनिमेय वलय है, जिसका प्रत्येक गैर-उलटा तत्व है <math>A</math> के कुछ [[अधिकतम आदर्श]] से संबंधित है <math>A.</math> अधिकतम आदर्श के बाद से <math>\mathfrak m</math> में <math>A</math> बन्द है, <math>A / \mathfrak m</math> बानाच बीजगणित है जो क्षेत्र है, और यह गेलफैंड-मज़ूर प्रमेय से निम्नानुसार है कि सभी अधिकतम आदर्शों के सेट के बीच आपत्ति है <math>A</math> और सेट <math>\Delta(A)</math> से सभी गैर-शून्य समरूपताएँ <math>A</math> को <math>\Complex.</math> सेट <math>\Delta(A)</math> का [[संरचना स्थान]] या वर्ण स्थान कहा जाता है <math>A,</math> और इसके सदस्यों के पात्र। | ||
चरित्र <math>\chi</math> पर रैखिक कार्यात्मक है <math>A</math> वह ही समय में गुणक है, <math>\chi(a b) = \chi(a) \chi(b),</math> और संतुष्ट करता है <math>\chi(\mathbf{1}) = 1.</math> प्रत्येक वर्ण स्वचालित रूप से निरंतर है <math>A</math> को <math>\Complex,</math> चूँकि किसी चरित्र का कर्नेल अधिकतम आदर्श है, जो | चरित्र <math>\chi</math> पर रैखिक कार्यात्मक है <math>A</math> वह ही समय में गुणक है, <math>\chi(a b) = \chi(a) \chi(b),</math> और संतुष्ट करता है <math>\chi(\mathbf{1}) = 1.</math> प्रत्येक वर्ण स्वचालित रूप से निरंतर है <math>A</math> को <math>\Complex,</math> चूँकि किसी चरित्र का कर्नेल अधिकतम आदर्श है, जो संवृत है। इसके अलावा, चरित्र का मानदंड (अर्थात, ऑपरेटर मानदंड) है। बिंदुवार अभिसरण की टोपोलॉजी से सुसज्जित <math>A</math> (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी <math>A^*</math>), चरित्र स्थान, <math>\Delta(A),</math> हॉसडॉर्फ़ कॉम्पैक्ट स्पेस है। | ||
किसी के लिए <math>x \in A,</math> | किसी के लिए <math>x \in A,</math> | ||
Line 82: | Line 83: | ||
कुछ लेखक इस सममितीय गुण को बानाच *-बीजगणित की परिभाषा में शामिल करते हैं। | कुछ लेखक इस सममितीय गुण को बानाच *-बीजगणित की परिभाषा में शामिल करते हैं। | ||
बानाच *-बीजगणित संतोषजनक <math>\|x^* x\| = \|x^*\| \|x\|</math> C*-बीजगणित | बानाच *-बीजगणित संतोषजनक <math>\|x^* x\| = \|x^*\| \|x\|</math> C*-बीजगणित है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 11:19, 21 July 2023
गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, स्टीफन बानाच के नाम पर बानाच बीजगणित वास्तविक संख्या या जटिल संख्याओं (या एक गैर-आर्किमिडीयन पूर्ण मानक क्षेत्र पर) पर एक सहयोगी बीजगणित है जो एक ही समय में एक बानाच स्थान भी है, अर्थात, एक मानक स्थान जो मानक से प्रेरित मीट्रिक में पूर्ण मीट्रिक स्थान है। मानक को पूरा करना आवश्यक है
एक बानाच बीजगणित को इकाईक कहा जाता है यदि इसमें गुणन के लिए एक पहचान तत्व होता है जिसका मानदंड है, और यदि इसका गुणनक्रमविनिमेय है तो इसे क्रमविनिमेय कहा जाता है। किसी भी बानाच बीजगणित A (तथापि इसमें कोई पहचान तत्व हो या नहीं) को एकल बानाच बीजगणित में आइसोमेट्री रूप से एम्बेड किया जा सकता है जिससे का एक संवृत सेट आदर्श (बीजगणित) बनाया जा सके। अधिकांश कोई यह मान लेता है कि विचाराधीन बीजगणित एकात्मक है: क्योंकि पर विचार करके और फिर परिणाम को मूल बीजगणित में लागू करके अधिकांश सिद्धांत विकसित कर सकता है। चूँकि, प्रत्येक समय ऐसा नहीं होता है। उदाहरण के लिए, कोई भी बिना पहचान के बानाच बीजगणित में सभी त्रिकोणमितीय कार्यों को परिभाषित नहीं कर सकता है।
वास्तविक बानाच बीजगणित का सिद्धांत जटिल बानाच बीजगणित के सिद्धांत से बहुत भिन्न हो सकता है। उदाहरण के लिए, असतहीय जटिल बानाच बीजगणित के एक तत्व का स्पेक्ट्रम (कार्यात्मक विश्लेषण) कभी भी खाली नहीं हो सकता है, जबकि वास्तविक बानाच बीजगणित में यह कुछ तत्वों के लिए खाली हो सकता है।
बानाच बीजगणित को -एडिक संख्याओं के क्षेत्रों में भी परिभाषित किया जा सकता है। यह -एडिक विश्लेषण का भाग है।
उदाहरण
बानाच बीजगणित का प्रोटोटाइप उदाहरण है, जो स्थानीय रूप से कॉम्पैक्ट (हॉसडॉर्फ़ स्थान) स्थान पर (जटिल-मूल्यवान) निरंतर कार्यों का स्थान जो अनंत पर लुप्त हो जाता है। इकाई है यदि और केवल यदि सघनता है। जटिल संयुग्मन समावेशन (गणित) है, वास्तव में C*-बीजगणित है। अधिक सामान्यतः, प्रत्येक C*-बीजगणित परिभाषा के अनुसार बानाच बीजगणित है।
- वास्तविक (या सम्मिश्र) संख्याओं का समुच्चय बानाच बीजगणित है जिसका मान निरपेक्ष मान द्वारा दिया जाता है।
- सभी वास्तविक या जटिल का सेट -द्वारा- मैट्रिक्स (गणित) इकाई बीजगणित बानाच बीजगणित बन जाता है यदि हम इसे उप-गुणक मैट्रिक्स मानदंड से लैस करते हैं।
- मानक के साथ बनच स्पेस (या ) बनाएं और गुणन को घटकवार परिभाषित करें:
- चतुर्भुज 4-आयामी वास्तविक बानाच बीजगणित बनाते हैं, जिसमें मानदंड चतुर्भुजों के निरपेक्ष मान द्वारा दिए जाते हैं।
- किसी सेट पर परिभाषित सभी सीमित वास्तविक या जटिल-मूल्यवान कार्यों का बीजगणित (बिंदुवार गुणन और सर्वोच्च मानदंड के साथ) यूनिटल बानाच बीजगणित है।
- कुछ स्थानीय रूप स्थानीय रूप से सघन स्थान पर सभी बंधे हुए निरंतर फ़ंक्शन (टोपोलॉजी) के वास्तविक या जटिल-मूल्य वाले फ़ंक्शन का बीजगणित (फिर से बिंदुवार संचालन और सर्वोच्च मानदंड के साथ) बानाच बीजगणित है।
- बानाच स्पेस पर सभी निरंतर रैखिक परिवर्तन का बीजगणित (गुणन के रूप में कार्यात्मक संरचना और मानक के रूप में ऑपरेटर मानदंड के साथ) एक यूनिटल बानाच बीजगणित है। पर सभी कॉम्पैक्ट ऑपरेटरों का सेट एक बनच बीजगणित और संवृत आदर्श है। यदि है तो यह बिना पहचान के है।[1]
- यदि स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ अंतरिक्ष टोपोलॉजिकल समूह है और इसका Haar माप है, तो पर सभी -अभिन्न कार्यों का बनच स्पेस के लिए कनवल्शन के अनुसार बानाच बीजगणित बन जाता है [2]
- समान बीजगणित: एक बानाच बीजगणित जो सर्वोच्च मानदंड के साथ जटिल बीजगणित का एक उप-बीजगणित है और इसमें स्थिरांक शामिल हैं और (जो कॉम्पैक्ट हॉसडॉर्फ स्थान होना चाहिए) के बिंदुओं को अलग करता है।
- प्राकृतिक बैनाच फ़ंक्शन बीजगणित: एक समान बीजगणित जिसके सभी वर्ण के बिंदुओं पर मूल्यांकन हैं।
- C*-बीजगणित: बानाच बीजगणित जो कुछ हिल्बर्ट स्थान पर परिबद्ध संचालकों के बीजगणित का संवृत *-उपबीजगणित है।
- बीजगणित को मापें: बैनाच बीजगणित जिसमें कुछ स्थानीय रूप से कॉम्पैक्ट समूह पर सभी रेडॉन माप शामिल होते हैं, जहां दो उपायों का उत्पाद कन्वोल्यूशन # माप द्वारा दिया जाता है।[2]
- चतुर्भुज का बीजगणित वास्तविक बानाच बीजगणित है, किन्तु यह जटिल बीजगणित नहीं है (और इसलिए जटिल बानाच बीजगणित नहीं है) इसका सरल कारण यह है कि चतुर्भुज का केंद्र वास्तविक संख्याएँ हैं, जिनमें जटिल संख्याओं की प्रतिलिपि नहीं हो सकती है।
- एफ़िनॉइड बीजगणित गैर-आर्किमिडीयन क्षेत्र पर निश्चित प्रकार का बानाच बीजगणित है। एफ़िनॉइड बीजगणित कठोर विश्लेषणात्मक स्थान में बुनियादी निर्माण खंड हैं।
गुण
पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बानाच बीजगणित में मान्य रहता है। द्विपद प्रमेय बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है।
किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट खुला सेट है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए होमोमोर्फिज्म है), जिससे यह गुणन के अनुसार टोपोलॉजिकल समूह बना सके।[3] यदि बानाच बीजगणित में इकाई है तब कम्यूटेटर (रिंग सिद्धांत) नहीं हो सकता; वह है, किसी के लिए यह है क्योंकि और संभवतः को छोड़कर समान स्पेक्ट्रम (कार्यात्मक विश्लेषण) है ऊपर दिए गए उदाहरणों में दिए गए कार्यों के विभिन्न बीजगणित में वास्तविक जैसे बीजगणित के मानक उदाहरणों से बहुत अलग गुण हैं। उदाहरण के लिए:
- प्रत्येक वास्तविक बानाच बीजगणित जो कि विभाजन बीजगणित है, वास्तविक, संकुल, या चतुर्भुज के समरूपी है। इसलिए, एकमात्र जटिल बानाच बीजगणित जो विभाजन बीजगणित है, वह कॉम्प्लेक्स है। (इसे गेलफैंड-मज़ूर प्रमेय के रूप में जाना जाता है।)
- प्रत्येक इकाई वास्तविक बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, और जिसमें प्रत्येक प्रमुख आदर्श संवृत सेट है, वास्तविक, कॉम्प्लेक्स या चतुर्भुज के लिए आइसोमोर्फिक है।[4]
- प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन अंगूठी बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है।
- प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है।
- बानाच बीजगणित में स्थायी रूप से एकवचन तत्व शून्य के टोपोलॉजिकल विभाजक हैं, अर्थात, विस्तार पर विचार करते हुए बानाच बीजगणित का कुछ तत्व जो दिए गए बीजगणित में एकवचन हैं बानाच बीजगणित विस्तार में गुणात्मक व्युत्क्रम तत्व है शून्य इंच के टोपोलॉजिकल विभाजक किसी भी बानाच एक्सटेंशन में स्थायी रूप से एकवचन होते हैं का
वर्णक्रमीय सिद्धांत
जटिल क्षेत्र पर यूनिटल बानाच बीजगणित वर्णक्रमीय सिद्धांत विकसित करने के लिए सामान्य सेटिंग प्रदान करते हैं। किसी तत्व का स्पेक्ट्रम द्वारा चिह्नित , उन सभी जटिल अदिश (गणित) से मिलकर बना है ऐसा है कि में उलटा नहीं है किसी भी तत्व का स्पेक्ट्रम में संवृत डिस्क का संवृत उपसमुच्चय है त्रिज्या के साथ और केंद्र और इस प्रकार सघन स्थान है। इसके अलावा, स्पेक्ट्रम तत्व का गैर-रिक्त है और वर्णक्रमीय त्रिज्या सूत्र को संतुष्ट करता है:
होने देना जटिल इकाई बानाच बीजगणित बनें जिसमें प्रत्येक गैर-शून्य तत्व हो व्युत्क्रमणीय (विभाजन बीजगणित) है। हरएक के लिए वहाँ है ऐसा है कि उलटा नहीं है (क्योंकि का स्पेक्ट्रम खाली नहीं है) इसलिए यह बीजगणित स्वाभाविक रूप से समरूपी है (गेलफैंड-मज़ूर प्रमेय का जटिल मामला)।
आदर्श और चरित्र
होने देना इकाई क्रमविनिमेय बानाच बीजगणित बनें तब से फिर इकाई के साथ क्रमविनिमेय वलय है, जिसका प्रत्येक गैर-उलटा तत्व है के कुछ अधिकतम आदर्श से संबंधित है अधिकतम आदर्श के बाद से में बन्द है, बानाच बीजगणित है जो क्षेत्र है, और यह गेलफैंड-मज़ूर प्रमेय से निम्नानुसार है कि सभी अधिकतम आदर्शों के सेट के बीच आपत्ति है और सेट से सभी गैर-शून्य समरूपताएँ को सेट का संरचना स्थान या वर्ण स्थान कहा जाता है और इसके सदस्यों के पात्र।
चरित्र पर रैखिक कार्यात्मक है वह ही समय में गुणक है, और संतुष्ट करता है प्रत्येक वर्ण स्वचालित रूप से निरंतर है को चूँकि किसी चरित्र का कर्नेल अधिकतम आदर्श है, जो संवृत है। इसके अलावा, चरित्र का मानदंड (अर्थात, ऑपरेटर मानदंड) है। बिंदुवार अभिसरण की टोपोलॉजी से सुसज्जित (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी ), चरित्र स्थान, हॉसडॉर्फ़ कॉम्पैक्ट स्पेस है।
किसी के लिए
बनाच *-बीजगणित
बानाच *-बीजगणित मानचित्र के साथ सम्मिश्र संख्याओं के क्षेत्र पर बानाच बीजगणित है जिसमें निम्नलिखित गुण हैं:
- सभी के लिए (इसलिए नक्शा इनवोलुशन (गणित) है)।
- सभी के लिए
- हरएक के लिए और हर यहाँ, के जटिल संयुग्म को दर्शाता है
- सभी के लिए
दूसरे शब्दों में, बानाच *-बीजगणित बानाच बीजगणित है वह भी *-बीजगणित है।
अधिकांश प्राकृतिक उदाहरणों में, किसी का यह भी मानना है कि इन्वोल्यूशन आइसोमेट्री है, अर्थात,
कुछ लेखक इस सममितीय गुण को बानाच *-बीजगणित की परिभाषा में शामिल करते हैं।
बानाच *-बीजगणित संतोषजनक C*-बीजगणित है।
यह भी देखें
- Approximate identity
- Kaplansky's conjecture
- Operator algebra – Branch of functional analysis
- Shilov boundary
टिप्पणियाँ
- ↑ Proof: Since every element of a commutative C*-algebra is normal, the Gelfand representation is isometric; in particular, it is injective and its image is closed. But the image of the Gelfand representation is dense by the Stone–Weierstrass theorem.
संदर्भ
- ↑ Conway 1990, Example VII.1.8.
- ↑ 2.0 2.1 Conway 1990, Example VII.1.9.
- ↑ Conway 1990, Theorem VII.2.2.
- ↑ García, Miguel Cabrera; Palacios, Angel Rodríguez (1995). "गेलफ़ैंड-मज़ूर-कप्लांस्की प्रमेय का एक नया सरल प्रमाण". Proceedings of the American Mathematical Society. 123 (9): 2663–2666. doi:10.2307/2160559. ISSN 0002-9939. JSTOR 2160559.
- ↑ Takesaki 1979, Proposition 2.8.
- Bollobás, B (1990). Linear Analysis. Cambridge University Press. ISBN 0-521-38729-9.
- Bonsall, F. F.; Duncan, J. (1973). Complete Normed Algebras. New York: Springer-Verlag. ISBN 0-387-06386-2.
- Conway, J. B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics. Vol. 96. Springer Verlag. ISBN 0-387-97245-5.
- Dales, H. G.; Aeina, P.; Eschmeier, J; Laursen, K.; Willis, G. A. (2003). Introduction to Banach Algebras, Operators and Harmonic Analysis. Cambridge University Press. ISBN 0-521-53584-0.
- Mosak, R. D. (1975). Banach algebras. Chicago Lectures in Mathematics. University of Chicago Press). ISBN 0-226-54203-3.
- Takesaki, M. (1979). Theory of Operator Algebras I. Encyclopaedia of Mathematical Sciences. Vol. 124 (1st ed.). Berlin Heidelberg: Springer-Verlag. ISBN 978-3-540-42248-8. ISSN 0938-0396.