बानाच बीजगणित: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Particular kind of algebraic structure}} गणित में, विशेष रूप से कार्यात्मक विश्लेषण...")
 
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>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> और क्रम[[विनिमेय]] यदि इसका गुणन क्रमविनिमेय है।
बानाच बीजगणित को इकाईक कहा जाता है यदि इसमें गुणन के लिए [[पहचान तत्व]] होता है जिसका मानदंड है <math>1,</math> और क्रम[[विनिमेय]] यदि इसका गुणन क्रमविनिमेय है।
कोई बनच बीजगणित <math>A</math> (चाहे इसमें कोई पहचान तत्व हो या नहीं) [[आइसोमेट्री]] को यूनिटल बानाच बीजगणित में एम्बेड किया जा सकता है <math>A_e</math> ताकि एक [[बंद सेट]] [[आदर्श (बीजगणित)]] बनाया जा सके <math>A_e</math>. अक्सर कोई यह मान लेता है कि विचाराधीन बीजगणित एकात्मक है: क्योंकि कोई इस पर विचार करके अधिकांश सिद्धांत विकसित कर सकता है <math>A_e</math> और फिर परिणाम को मूल बीजगणित में लागू करना। हालाँकि, हर समय ऐसा नहीं होता है। उदाहरण के लिए, कोई भी बिना पहचान के बनच बीजगणित में सभी त्रिकोणमितीय कार्यों को परिभाषित नहीं कर सकता है।
कोई बनच बीजगणित <math>A</math> (चाहे इसमें कोई पहचान तत्व हो या नहीं) [[आइसोमेट्री]] को यूनिटल बानाच बीजगणित में एम्बेड किया जा सकता है <math>A_e</math> ताकि [[बंद सेट]] [[आदर्श (बीजगणित)]] बनाया जा सके <math>A_e</math>. अक्सर कोई यह मान लेता है कि विचाराधीन बीजगणित एकात्मक है: क्योंकि कोई इस पर विचार करके अधिकांश सिद्धांत विकसित कर सकता है <math>A_e</math> और फिर परिणाम को मूल बीजगणित में लागू करना। हालाँकि, हर समय ऐसा नहीं होता है। उदाहरण के लिए, कोई भी बिना पहचान के बनच बीजगणित में सभी त्रिकोणमितीय कार्यों को परिभाषित नहीं कर सकता है।


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


बानाच बीजगणित को पी-एडिक संख्या के क्षेत्रों पर भी परिभाषित किया जा सकता है<math>p</math>-एडिक नंबर. यह पी-एडिक विश्लेषण का हिस्सा है|<math>p</math>-एडिक विश्लेषण.
बानाच बीजगणित को पी-एडिक संख्या के क्षेत्रों पर भी परिभाषित किया जा सकता है<math>p</math>-एडिक नंबर. यह पी-एडिक विश्लेषण का हिस्सा है|<math>p</math>-एडिक विश्लेषण.
Line 13: Line 13:
==उदाहरण==
==उदाहरण==


बानाच बीजगणित का प्रोटोटाइप उदाहरण है <math>C_0(X)</math>, स्थानीय रूप [[स्थानीय रूप से सघन]] ([[हॉसडॉर्फ़ स्थान]]) स्थान पर (जटिल-मूल्यवान) निरंतर कार्यों का स्थान जो अनंत पर गायब हो जाता है। <math>C_0(X)</math> इकाई है यदि और केवल यदि <math>X</math> [[सघनता]] है. [[जटिल संयुग्मन]] एक समावेशन (गणित) है, <math>C_0(X)</math> वास्तव में एक C*-बीजगणित है। अधिक सामान्यतः, प्रत्येक C*-बीजगणित परिभाषा के अनुसार एक बनच बीजगणित है।
बानाच बीजगणित का प्रोटोटाइप उदाहरण है <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>\R^n</math> (या <math>\Complex^n</math>) मानक के साथ <math>\|x\| = \max_{} |x_i|</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>
* बानाच स्थान लें <math>\R^n</math> (या <math>\Complex^n</math>) मानक के साथ <math>\|x\| = \max_{} |x_i|</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>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> इसका हार माप है, फिर बानाच स्थान <math>L^1(G)</math> के सभी <math>\mu</math>-अभिन्न कार्य चालू <math>G</math> [[कनवल्शन]] के तहत बनच बीजगणित बन जाता है <math>x y(g) = \int x(h) y\left(h^{-1} g\right) d \mu(h)</math> के लिए <math>x, y \in L^1(G).</math><ref name="harvnb conway 1990 example VII.1.9.">{{harvnb|Conway|1990|loc=Example VII.1.9.}}</ref>
* अगर <math>G</math> स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ अंतरिक्ष [[टोपोलॉजिकल समूह]] है और <math>\mu</math> इसका हार माप है, फिर बानाच स्थान <math>L^1(G)</math> के सभी <math>\mu</math>-अभिन्न कार्य चालू <math>G</math> [[कनवल्शन]] के तहत बनच बीजगणित बन जाता है <math>x y(g) = \int x(h) y\left(h^{-1} g\right) d \mu(h)</math> के लिए <math>x, y \in L^1(G).</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>C(X)</math> सर्वोच्च मानदंड के साथ और जिसमें स्थिरांक शामिल हैं और बिंदुओं को अलग करता है <math>X</math> (जो कॉम्पैक्ट हॉसडॉर्फ स्थान होना चाहिए)।
* समान बीजगणित: एक समान बीजगणित जिसके सभी वर्णों का मूल्यांकन बिंदुओं पर किया जाता है <math>X.</math>
* समान बीजगणित: समान बीजगणित जिसके सभी वर्णों का मूल्यांकन बिंदुओं पर किया जाता है <math>X.</math>
* सी*-बीजगणित: एक बानाच बीजगणित जो कुछ [[हिल्बर्ट स्थान]] पर परिबद्ध संचालकों के बीजगणित का एक बंद *-उपबीजगणित है।
* सी*-बीजगणित: बानाच बीजगणित जो कुछ [[हिल्बर्ट स्थान]] पर परिबद्ध संचालकों के बीजगणित का बंद *-उपबीजगणित है।
* [[बीजगणित को मापें]]: एक बैनाच बीजगणित जिसमें कुछ स्थानीय रूप से कॉम्पैक्ट समूह पर सभी [[रेडॉन माप]] शामिल होते हैं, जहां दो उपायों का उत्पाद कन्वोल्यूशन # माप द्वारा दिया जाता है।<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 33: Line 33:
पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बनच बीजगणित में मान्य रहता है। [[द्विपद प्रमेय]] बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है।
पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बनच बीजगणित में मान्य रहता है। [[द्विपद प्रमेय]] बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है।


किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट एक [[खुला सेट]] है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए एक होमोमोर्फिज्म है), ताकि यह गुणन के तहत एक टोपोलॉजिकल समूह बना सके।<ref>{{harvnb|Conway|1990|loc=Theorem VII.2.2.}}</ref>
किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट [[खुला सेट]] है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए होमोमोर्फिज्म है), ताकि यह गुणन के तहत टोपोलॉजिकल समूह बना सके।<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>
* प्रत्येक इकाई वास्तविक बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, और जिसमें प्रत्येक [[प्रमुख आदर्श]] बंद सेट है, वास्तविक, कॉम्प्लेक्स या चतुर्भुज के लिए आइसोमोर्फिक है।<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>
* प्रत्येक क्रमविनिमेय वास्तविक इकाई [[नोथेरियन अंगूठी]] बनच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है।
* प्रत्येक क्रमविनिमेय वास्तविक इकाई [[नोथेरियन अंगूठी]] बनच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है।
* प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है।
* प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है।
* बनच बीजगणित में स्थायी रूप से एकवचन तत्व शून्य के टोपोलॉजिकल विभाजक हैं, अर्थात, विस्तार पर विचार करते हुए <math>B</math> बानाच बीजगणित का <math>A</math> कुछ तत्व जो दिए गए बीजगणित में एकवचन हैं <math>A</math> बानाच बीजगणित विस्तार में एक गुणात्मक व्युत्क्रम तत्व है <math>B.</math> शून्य इंच के टोपोलॉजिकल विभाजक <math>A</math> किसी भी बनच एक्सटेंशन में स्थायी रूप से एकवचन होते हैं <math>B</math> का <math>A.</math>
* बनच बीजगणित में स्थायी रूप से एकवचन तत्व शून्य के टोपोलॉजिकल विभाजक हैं, अर्थात, विस्तार पर विचार करते हुए <math>B</math> बानाच बीजगणित का <math>A</math> कुछ तत्व जो दिए गए बीजगणित में एकवचन हैं <math>A</math> बानाच बीजगणित विस्तार में गुणात्मक व्युत्क्रम तत्व है <math>B.</math> शून्य इंच के टोपोलॉजिकल विभाजक <math>A</math> किसी भी बनच एक्सटेंशन में स्थायी रूप से एकवचन होते हैं <math>B</math> का <math>A.</math>




Line 47: 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>\Complex</math> त्रिज्या के साथ <math>\|x\|</math> और केंद्र <math>0,</math> और इस प्रकार [[ सघन स्थान ]] है। इसके अलावा, स्पेक्ट्रम <math>\sigma(x)</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>
<math display=block>\sigma(f(x)) = f(\sigma(x)).</math>
<math display=block>\sigma(f(x)) = f(\sigma(x)).</math>
जब बनच बीजगणित <math>A</math> बीजगणित है <math>L(X)</math> एक जटिल बानाच स्थान पर बंधे हुए रैखिक ऑपरेटरों का <math>X</math> (उदाहरण के लिए, वर्ग मैट्रिक्स का बीजगणित), स्पेक्ट्रम की धारणा <math>A</math> [[ऑपरेटर सिद्धांत]] में सामान्य के साथ मेल खाता है। के लिए <math>f \in C(X)</math> (एक कॉम्पैक्ट हॉसडॉर्फ स्पेस के साथ <math>X</math>), कोई यह देखता है:
जब बनच बीजगणित <math>A</math> बीजगणित है <math>L(X)</math> जटिल बानाच स्थान पर बंधे हुए रैखिक ऑपरेटरों का <math>X</math> (उदाहरण के लिए, वर्ग मैट्रिक्स का बीजगणित), स्पेक्ट्रम की धारणा <math>A</math> [[ऑपरेटर सिद्धांत]] में सामान्य के साथ मेल खाता है। के लिए <math>f \in C(X)</math> (कॉम्पैक्ट हॉसडॉर्फ स्पेस के साथ <math>X</math>), कोई यह देखता है:
<math display=block>\sigma(f) = \{f(t) : t \in X\}.</math>
<math display=block>\sigma(f) = \{f(t) : t \in X\}.</math>
एक सामान्य तत्व का आदर्श <math>x</math> C*-बीजगणित का वर्णक्रमीय त्रिज्या से मेल खाता है। यह सामान्य ऑपरेटरों के लिए एक समान तथ्य का सामान्यीकरण करता है।
सामान्य तत्व का आदर्श <math>x</math> C*-बीजगणित का वर्णक्रमीय त्रिज्या से मेल खाता है। यह सामान्य ऑपरेटरों के लिए समान तथ्य का सामान्यीकरण करता है।


होने देना <math>A</math> एक जटिल इकाई बनच बीजगणित बनें जिसमें प्रत्येक गैर-शून्य तत्व हो <math>x</math> व्युत्क्रमणीय (एक विभाजन बीजगणित) है। हरएक के लिए <math>a \in A,</math> वहाँ है <math>\lambda \in \Complex</math> ऐसा है कि
होने देना <math>A</math> जटिल इकाई बनच बीजगणित बनें जिसमें प्रत्येक गैर-शून्य तत्व हो <math>x</math> व्युत्क्रमणीय (विभाजन बीजगणित) है। हरएक के लिए <math>a \in A,</math> वहाँ है <math>\lambda \in \Complex</math> ऐसा है कि
<math>a - \lambda \mathbf{1}</math> उलटा नहीं है (क्योंकि का स्पेक्ट्रम <math>a</math> खाली नहीं है) इसलिए <math>a = \lambda \mathbf{1}:</math> यह बीजगणित <math>A</math> स्वाभाविक रूप से समरूपी है <math>\Complex</math> (गेलफैंड-मज़ूर प्रमेय का जटिल मामला)।
<math>a - \lambda \mathbf{1}</math> उलटा नहीं है (क्योंकि का स्पेक्ट्रम <math>a</math> खाली नहीं है) इसलिए <math>a = \lambda \mathbf{1}:</math> यह बीजगणित <math>A</math> स्वाभाविक रूप से समरूपी है <math>\Complex</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>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>A</math> (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी <math>A^*</math>), चरित्र स्थान, <math>\Delta(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>A</math> (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी <math>A^*</math>), चरित्र स्थान, <math>\Delta(A),</math> हॉसडॉर्फ़ कॉम्पैक्ट स्पेस है।


किसी के लिए <math>x \in A,</math>
किसी के लिए <math>x \in A,</math>
Line 68: Line 68:
कहाँ <math>\hat x</math> गेलफैंड का प्रतिनिधित्व है <math>x</math> इस प्रकार परिभाषित: <math>\hat x</math> से सतत कार्य है <math>\Delta(A)</math> को <math>\Complex</math> द्वारा दिए गए <math>\hat x(\chi) = \chi(x).</math> का स्पेक्ट्रम <math>\hat x,</math> उपरोक्त सूत्र में, बीजगणित के तत्व के रूप में स्पेक्ट्रम है <math>C(\Delta(A))</math> कॉम्पैक्ट स्पेस पर जटिल निरंतर कार्यों का <math>\Delta(A).</math> स्पष्ट रूप से,
कहाँ <math>\hat x</math> गेलफैंड का प्रतिनिधित्व है <math>x</math> इस प्रकार परिभाषित: <math>\hat x</math> से सतत कार्य है <math>\Delta(A)</math> को <math>\Complex</math> द्वारा दिए गए <math>\hat x(\chi) = \chi(x).</math> का स्पेक्ट्रम <math>\hat x,</math> उपरोक्त सूत्र में, बीजगणित के तत्व के रूप में स्पेक्ट्रम है <math>C(\Delta(A))</math> कॉम्पैक्ट स्पेस पर जटिल निरंतर कार्यों का <math>\Delta(A).</math> स्पष्ट रूप से,
<math display=block>\sigma(\hat x) = \{\chi(x) : \chi \in \Delta(A)\}.</math>
<math display=block>\sigma(\hat x) = \{\chi(x) : \chi \in \Delta(A)\}.</math>
एक बीजगणित के रूप में, एक इकाई क्रमविनिमेय बानाच बीजगणित [[अर्धसरल बीजगणित]] है (अर्थात्, इसका [[ जैकबसन कट्टरपंथी ]] शून्य है) यदि और केवल यदि इसके गेलफैंड प्रतिनिधित्व में तुच्छ कर्नेल है। ऐसे बीजगणित का एक महत्वपूर्ण उदाहरण क्रमविनिमेय C*-बीजगणित है। दरअसल, जब <math>A</math> एक क्रमविनिमेय इकाई C*-बीजगणित है, गेलफैंड प्रतिनिधित्व तब एक सममितीय *-समरूपता है <math>A</math> और <math>C(\Delta(A)).</math>{{efn-la|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]].}}
बीजगणित के रूप में, इकाई क्रमविनिमेय बानाच बीजगणित [[अर्धसरल बीजगणित]] है (अर्थात्, इसका [[ जैकबसन कट्टरपंथी ]] शून्य है) यदि और केवल यदि इसके गेलफैंड प्रतिनिधित्व में तुच्छ कर्नेल है। ऐसे बीजगणित का महत्वपूर्ण उदाहरण क्रमविनिमेय C*-बीजगणित है। दरअसल, जब <math>A</math> क्रमविनिमेय इकाई C*-बीजगणित है, गेलफैंड प्रतिनिधित्व तब सममितीय *-समरूपता है <math>A</math> और <math>C(\Delta(A)).</math>{{efn-la|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]].}}


==बनाच *-बीजगणित==
==बनाच *-बीजगणित==


एक बनच *-बीजगणित <math>A</math> एक मानचित्र के साथ सम्मिश्र संख्याओं के क्षेत्र पर एक बानाच बीजगणित है <math>{}^* : A \to A</math> जिसमें निम्नलिखित गुण हैं:
बनच *-बीजगणित <math>A</math> मानचित्र के साथ सम्मिश्र संख्याओं के क्षेत्र पर बानाच बीजगणित है <math>{}^* : A \to A</math> जिसमें निम्नलिखित गुण हैं:
# <math>\left(x^*\right)^* = x</math> सभी के लिए <math>x \in A</math> (इसलिए नक्शा एक इनवोलुशन (गणित) है)।
# <math>\left(x^*\right)^* = x</math> सभी के लिए <math>x \in A</math> (इसलिए नक्शा इनवोलुशन (गणित) है)।
# <math>(x + y)^* = x^* + y^*</math> सभी के लिए <math>x, y \in A.</math>
# <math>(x + y)^* = x^* + y^*</math> सभी के लिए <math>x, y \in A.</math>
# <math>(\lambda x)^* = \bar{\lambda}x^*</math> हरएक के लिए <math>\lambda \in \Complex</math> और हर <math>x \in A;</math> यहाँ, <math>\bar{\lambda}</math> के जटिल संयुग्म को दर्शाता है <math>\lambda.</math>
# <math>(\lambda x)^* = \bar{\lambda}x^*</math> हरएक के लिए <math>\lambda \in \Complex</math> और हर <math>x \in A;</math> यहाँ, <math>\bar{\lambda}</math> के जटिल संयुग्म को दर्शाता है <math>\lambda.</math>
# <math>(x y)^* = y^* x^*</math> सभी के लिए <math>x, y \in A.</math>
# <math>(x y)^* = y^* x^*</math> सभी के लिए <math>x, y \in A.</math>
दूसरे शब्दों में, एक बनच *-बीजगणित एक बनच बीजगणित है <math>\Complex</math> वह भी एक [[*-बीजगणित]] है।
दूसरे शब्दों में, बनच *-बीजगणित बनच बीजगणित है <math>\Complex</math> वह भी [[*-बीजगणित]] है।


अधिकांश प्राकृतिक उदाहरणों में, किसी का यह भी मानना ​​है कि इन्वोल्यूशन आइसोमेट्री है, अर्थात,
अधिकांश प्राकृतिक उदाहरणों में, किसी का यह भी मानना ​​है कि इन्वोल्यूशन आइसोमेट्री है, अर्थात,
Line 83: Line 83:
कुछ लेखक इस सममितीय गुण को बनच *-बीजगणित की परिभाषा में शामिल करते हैं।
कुछ लेखक इस सममितीय गुण को बनच *-बीजगणित की परिभाषा में शामिल करते हैं।


एक बनच *-बीजगणित संतोषजनक <math>\|x^* x\| = \|x^*\| \|x\|</math> एक C*-बीजगणित है.
बनच *-बीजगणित संतोषजनक <math>\|x^* x\| = \|x^*\| \|x\|</math> C*-बीजगणित है.


==यह भी देखें==
==यह भी देखें==

Revision as of 09:57, 21 July 2023

गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, बानाच बीजगणित, जिसका नाम स्टीफ़न बानाच के नाम पर रखा गया है, सहयोगी बीजगणित है वास्तविक संख्या या जटिल संख्या संख्याओं पर (या गैर-आर्किमिडीयन क्षेत्र पर | गैर-आर्किमिडीयन पूर्ण नॉर्म (गणित)) जो ही समय में बानाच स्थान भी है, अर्थात, मानक स्थान जो मीट्रिक में पूर्ण मीट्रिक स्थान है ( गणित) आदर्श से प्रेरित है। मानक को पूरा करना आवश्यक है

यह सुनिश्चित करता है कि गुणन ऑपरेशन निरंतर कार्य (टोपोलॉजी) है।

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

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

बानाच बीजगणित को पी-एडिक संख्या के क्षेत्रों पर भी परिभाषित किया जा सकता है-एडिक नंबर. यह पी-एडिक विश्लेषण का हिस्सा है|-एडिक विश्लेषण.

उदाहरण

बानाच बीजगणित का प्रोटोटाइप उदाहरण है , स्थानीय रूप स्थानीय रूप से सघन (हॉसडॉर्फ़ स्थान) स्थान पर (जटिल-मूल्यवान) निरंतर कार्यों का स्थान जो अनंत पर गायब हो जाता है। इकाई है यदि और केवल यदि सघनता है. जटिल संयुग्मन समावेशन (गणित) है, वास्तव में C*-बीजगणित है। अधिक सामान्यतः, प्रत्येक C*-बीजगणित परिभाषा के अनुसार बनच बीजगणित है।

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

गुण

पावर श्रृंखला के माध्यम से परिभाषित कार्यों की कई सूची किसी भी यूनिटल बानाच बीजगणित में परिभाषित की जा सकती है; उदाहरणों में घातांकीय फलन और त्रिकोणमितीय फलन, और सामान्यतः कोई भी संपूर्ण फलन शामिल हैं। (विशेष रूप से, घातीय मानचित्र का उपयोग अमूर्त सूचकांक समूहों को परिभाषित करने के लिए किया जा सकता है।) ज्यामितीय श्रृंखला का सूत्र सामान्य इकाई बनच बीजगणित में मान्य रहता है। द्विपद प्रमेय बानाच बीजगणित के दो आने वाले तत्वों के लिए भी मान्य है।

किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट खुला सेट है, और इस सेट पर व्युत्क्रम संचालन निरंतर होता है (और इसलिए होमोमोर्फिज्म है), ताकि यह गुणन के तहत टोपोलॉजिकल समूह बना सके।[3] यदि बनच बीजगणित में इकाई है तब कम्यूटेटर (रिंग सिद्धांत) नहीं हो सकता; वह है, किसी के लिए यह है क्योंकि और संभवतः को छोड़कर समान स्पेक्ट्रम (कार्यात्मक विश्लेषण) है ऊपर दिए गए उदाहरणों में दिए गए कार्यों के विभिन्न बीजगणित में वास्तविक जैसे बीजगणित के मानक उदाहरणों से बहुत अलग गुण हैं। उदाहरण के लिए:

  • प्रत्येक वास्तविक बानाच बीजगणित जो कि विभाजन बीजगणित है, वास्तविक, संकुल, या चतुर्भुज के समरूपी है। इसलिए, एकमात्र जटिल बानाच बीजगणित जो विभाजन बीजगणित है, वह कॉम्प्लेक्स है। (इसे गेलफैंड-मज़ूर प्रमेय के रूप में जाना जाता है।)
  • प्रत्येक इकाई वास्तविक बानाच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, और जिसमें प्रत्येक प्रमुख आदर्श बंद सेट है, वास्तविक, कॉम्प्लेक्स या चतुर्भुज के लिए आइसोमोर्फिक है।[4]
  • प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन अंगूठी बनच बीजगणित जिसमें कोई शून्य विभाजक नहीं है, वास्तविक या जटिल संख्याओं के लिए समरूपी है।
  • प्रत्येक क्रमविनिमेय वास्तविक इकाई नोथेरियन बानाच बीजगणित (संभवतः शून्य भाजक वाला) परिमित-आयामी है।
  • बनच बीजगणित में स्थायी रूप से एकवचन तत्व शून्य के टोपोलॉजिकल विभाजक हैं, अर्थात, विस्तार पर विचार करते हुए बानाच बीजगणित का कुछ तत्व जो दिए गए बीजगणित में एकवचन हैं बानाच बीजगणित विस्तार में गुणात्मक व्युत्क्रम तत्व है शून्य इंच के टोपोलॉजिकल विभाजक किसी भी बनच एक्सटेंशन में स्थायी रूप से एकवचन होते हैं का


वर्णक्रमीय सिद्धांत

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

दिया गया होलोमोर्फिक कार्यात्मक कैलकुलस परिभाषित करने की अनुमति देता है किसी भी समारोह के लिए के पड़ोस में होलोमोर्फिक फ़ंक्शन इसके अलावा, वर्णक्रमीय मानचित्रण प्रमेय मानता है:[5]
जब बनच बीजगणित बीजगणित है जटिल बानाच स्थान पर बंधे हुए रैखिक ऑपरेटरों का (उदाहरण के लिए, वर्ग मैट्रिक्स का बीजगणित), स्पेक्ट्रम की धारणा ऑपरेटर सिद्धांत में सामान्य के साथ मेल खाता है। के लिए (कॉम्पैक्ट हॉसडॉर्फ स्पेस के साथ ), कोई यह देखता है:
सामान्य तत्व का आदर्श C*-बीजगणित का वर्णक्रमीय त्रिज्या से मेल खाता है। यह सामान्य ऑपरेटरों के लिए समान तथ्य का सामान्यीकरण करता है।

होने देना जटिल इकाई बनच बीजगणित बनें जिसमें प्रत्येक गैर-शून्य तत्व हो व्युत्क्रमणीय (विभाजन बीजगणित) है। हरएक के लिए वहाँ है ऐसा है कि उलटा नहीं है (क्योंकि का स्पेक्ट्रम खाली नहीं है) इसलिए यह बीजगणित स्वाभाविक रूप से समरूपी है (गेलफैंड-मज़ूर प्रमेय का जटिल मामला)।

आदर्श और चरित्र

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

चरित्र पर रैखिक कार्यात्मक है वह ही समय में गुणक है, और संतुष्ट करता है प्रत्येक वर्ण स्वचालित रूप से निरंतर है को चूँकि किसी चरित्र का कर्नेल अधिकतम आदर्श है, जो बंद है। इसके अलावा, चरित्र का मानदंड (अर्थात, ऑपरेटर मानदंड) है। बिंदुवार अभिसरण की टोपोलॉजी से सुसज्जित (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी ), चरित्र स्थान, हॉसडॉर्फ़ कॉम्पैक्ट स्पेस है।

किसी के लिए

कहाँ गेलफैंड का प्रतिनिधित्व है इस प्रकार परिभाषित: से सतत कार्य है को द्वारा दिए गए का स्पेक्ट्रम उपरोक्त सूत्र में, बीजगणित के तत्व के रूप में स्पेक्ट्रम है कॉम्पैक्ट स्पेस पर जटिल निरंतर कार्यों का स्पष्ट रूप से,
बीजगणित के रूप में, इकाई क्रमविनिमेय बानाच बीजगणित अर्धसरल बीजगणित है (अर्थात्, इसका जैकबसन कट्टरपंथी शून्य है) यदि और केवल यदि इसके गेलफैंड प्रतिनिधित्व में तुच्छ कर्नेल है। ऐसे बीजगणित का महत्वपूर्ण उदाहरण क्रमविनिमेय C*-बीजगणित है। दरअसल, जब क्रमविनिमेय इकाई C*-बीजगणित है, गेलफैंड प्रतिनिधित्व तब सममितीय *-समरूपता है और [lower-alpha 1]

बनाच *-बीजगणित

बनच *-बीजगणित मानचित्र के साथ सम्मिश्र संख्याओं के क्षेत्र पर बानाच बीजगणित है जिसमें निम्नलिखित गुण हैं:

  1. सभी के लिए (इसलिए नक्शा इनवोलुशन (गणित) है)।
  2. सभी के लिए
  3. हरएक के लिए और हर यहाँ, के जटिल संयुग्म को दर्शाता है
  4. सभी के लिए

दूसरे शब्दों में, बनच *-बीजगणित बनच बीजगणित है वह भी *-बीजगणित है।

अधिकांश प्राकृतिक उदाहरणों में, किसी का यह भी मानना ​​है कि इन्वोल्यूशन आइसोमेट्री है, अर्थात,

कुछ लेखक इस सममितीय गुण को बनच *-बीजगणित की परिभाषा में शामिल करते हैं।

बनच *-बीजगणित संतोषजनक C*-बीजगणित है.

यह भी देखें

टिप्पणियाँ

  1. 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.


संदर्भ

  1. Conway 1990, Example VII.1.8.
  2. 2.0 2.1 Conway 1990, Example VII.1.9.
  3. Conway 1990, Theorem VII.2.2.
  4. 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.
  5. Takesaki 1979, Proposition 2.8.