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

गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, स्टीफन बानाच के नाम पर बानाच बीजगणित वास्तविक संख्या या जटिल संख्याओं (या एक गैर-आर्किमिडीयन पूर्ण मानक क्षेत्र पर) पर एक सहयोगी बीजगणित $$A$$ है जो एक ही समय में एक बानाच स्थान भी है, अर्थात, एक मानक स्थान जो मानक से प्रेरित मीट्रिक में पूर्ण मीट्रिक स्थान है। मानक को पूरा करना आवश्यक है $$\|x \, y\| \ \leq \|x\| \, \|y\| \quad \text{ for all } x, y \in A.$$ यह सुनिश्चित करता है कि गुणन ऑपरेशन निरंतर कार्य (टोपोलॉजी) है।

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

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

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

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


 * वास्तविक (या सम्मिश्र) संख्याओं का समुच्चय बानाच बीजगणित है जिसका मान निरपेक्ष मान द्वारा दिया जाता है।
 * सभी वास्तविक या जटिल का सेट $$n$$-द्वारा-$$n$$ मैट्रिक्स (गणित) इकाई बीजगणित बानाच बीजगणित बन जाता है यदि हम इसे उप-गुणक मैट्रिक्स मानदंड से लैस करते हैं।
 * मानक $$\|x\| = \max_{} |x_i|$$ के साथ बनच स्पेस $$\R^n$$ (या $$\Complex^n$$) बनाएं और गुणन को घटकवार परिभाषित करें: $$\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).$$
 * चतुर्भुज 4-आयामी वास्तविक बानाच बीजगणित बनाते हैं, जिसमें मानदंड चतुर्भुजों के निरपेक्ष मान द्वारा दिए जाते हैं।
 * किसी सेट पर परिभाषित सभी सीमित वास्तविक या जटिल-मूल्यवान कार्यों का बीजगणित (बिंदुवार गुणन और सर्वोच्च मानदंड के साथ) यूनिटल बानाच बीजगणित है।
 * कुछ स्थानीय रूप स्थानीय रूप से सघन स्थान पर सभी बंधे हुए निरंतर फ़ंक्शन (टोपोलॉजी) के वास्तविक या जटिल-मूल्य वाले फ़ंक्शन का बीजगणित (फिर से बिंदुवार संचालन और सर्वोच्च मानदंड के साथ) बानाच बीजगणित है।
 * बानाच स्पेस $$E$$ पर सभी निरंतर रैखिक परिवर्तन का बीजगणित (गुणन के रूप में कार्यात्मक संरचना और मानक के रूप में ऑपरेटर मानदंड के साथ) एक यूनिटल बानाच बीजगणित है। $$E$$ पर सभी कॉम्पैक्ट ऑपरेटरों का सेट एक बनच बीजगणित और संवृत आदर्श है। यदि $$\dim E = \infty$$ है तो यह बिना पहचान के है।
 * यदि $$G$$ स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ अंतरिक्ष टोपोलॉजिकल समूह है और $$\mu$$ इसका Haar माप है, तो $$G$$ पर सभी $$\mu$$-अभिन्न कार्यों का बनच स्पेस $$L^1(G)$$ $$x, y \in L^1(G)$$ के लिए कनवल्शन $$x y(g) = \int x(h) y\left(h^{-1} g\right) d \mu(h)$$ के अनुसार बानाच बीजगणित बन जाता है
 * समान बीजगणित: एक बानाच बीजगणित जो सर्वोच्च मानदंड के साथ जटिल बीजगणित $$C(X)$$ का एक उप-बीजगणित है और इसमें स्थिरांक शामिल हैं और $$X$$ (जो कॉम्पैक्ट हॉसडॉर्फ स्थान होना चाहिए) के बिंदुओं को अलग करता है।
 * प्राकृतिक बैनाच फ़ंक्शन बीजगणित: एक समान बीजगणित जिसके सभी वर्ण $$X$$ के बिंदुओं पर मूल्यांकन हैं।
 * C*-बीजगणित: बानाच बीजगणित जो कुछ हिल्बर्ट स्थान पर परिबद्ध संचालकों के बीजगणित का संवृत *-उपबीजगणित है।
 * बीजगणित को मापें: बैनाच बीजगणित जिसमें कुछ स्थानीय रूप से कॉम्पैक्ट समूह पर सभी रेडॉन माप शामिल होते हैं, जहां दो उपायों का उत्पाद कन्वोल्यूशन # माप द्वारा दिया जाता है।
 * चतुर्भुज का बीजगणित $$\H$$ वास्तविक बानाच बीजगणित है, किन्तु यह जटिल बीजगणित नहीं है (और इसलिए जटिल बानाच बीजगणित नहीं है) इसका सरल कारण यह है कि चतुर्भुज का केंद्र वास्तविक संख्याएँ हैं, जिनमें जटिल संख्याओं की प्रतिलिपि नहीं हो सकती है।
 * एफ़िनॉइड बीजगणित गैर-आर्किमिडीयन क्षेत्र पर निश्चित प्रकार का बानाच बीजगणित है। एफ़िनॉइड बीजगणित कठोर विश्लेषणात्मक स्थान में बुनियादी निर्माण खंड हैं।

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

किसी भी यूनिटल बानाच बीजगणित में व्युत्क्रमणीय तत्वों का सेट विवृत सेट है, और इस सेट पर व्युत्क्रम संचालन निरंतर (और इसलिए होमोमोर्फिज्म है) होता है, जिससे यह गुणन के अनुसार टोपोलॉजिकल समूह बना सके।

यदि बानाच बीजगणित में इकाई $$\mathbf{1}$$ है, तो $$\mathbf{1}$$ कम्यूटेटर (रिंग सिद्धांत) नहीं हो सकता; अर्थात्, किसी भी $$x, y \in A.$$ के लिए $$xy - yx \neq \mathbf{1}$$ हैं। ऐसा इसलिए है क्योंकि संभवतः $$0$$ को छोड़कर $$x y$$ और $$y x$$ का स्पेक्ट्रम (कार्यात्मक विश्लेषण) समान है।

ऊपर दिए गए उदाहरणों में दिए गए कार्यों के विभिन्न बीजगणित में वास्तविक जैसे बीजगणित के मानक उदाहरणों से बहुत अलग गुण हैं। उदाहरण के लिए:


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

वर्णक्रमीय सिद्धांत
जटिल क्षेत्र पर यूनिटल बानाच बीजगणित वर्णक्रमीय सिद्धांत विकसित करने के लिए एक सामान्य सेटिंग प्रदान करते हैं। $$\sigma(x)$$ द्वारा दर्शाए गए तत्व $$x \in A,$$ के स्पेक्ट्रम में वे सभी जटिल अदिश (गणित) $$\lambda$$ शामिल हैं, जैसे कि $$x - \lambda \mathbf{1}$$ $$A$$ में व्युत्क्रम नहीं है। किसी भी तत्व $$x$$ का स्पेक्ट्रम त्रिज्या $$\|x\|$$ के साथ $$\Complex$$ में बंद डिस्क का एक बंद उपसमुच्चय है। और केंद्र $$0,$$, और इस प्रकार सघन स्थान है। इसके अतिरिक्त, तत्व $$x$$ का स्पेक्ट्रम $$\sigma(x)$$ गैर-रिक्त है और वर्णक्रमीय त्रिज्या सूत्र को संतुष्ट करता है:

$$\sup \{|\lambda| : \lambda \in \sigma(x)\} = \lim_{n \to \infty} \|x^n\|^{1/n}.$$

$$x \in A,$$ को देखते हुए, होलोमोर्फिक कार्यात्मक कैलकुलस $$\sigma(x).$$ के निकट में किसी भी फ़ंक्शन $$f$$ होलोमोर्फिक फ़ंक्शन के लिए $$f(x) \in A$$ को परिभाषित करने की अनुमति देता है। इसके अतिरिक्त, वर्णक्रमीय मानचित्रण प्रमेय मानता है: $$\sigma(f(x)) = f(\sigma(x)).$$ जब बानाच बीजगणित $$A$$ एक जटिल बानाच स्पेस $$X$$ (उदाहरण के लिए, वर्ग मैट्रिक्स का बीजगणित) पर बंधे रैखिक ऑपरेटरों का बीजगणित $$L(X)$$ है, तो $$A$$ में स्पेक्ट्रम की धारणा ऑपरेटर सिद्धांत में सामान्य के साथ मेल खाती है। $$f \in C(X)$$ के लिए (कॉम्पैक्ट हॉसडॉर्फ स्पेस $$X$$ के साथ), कोई यह देख सकता है: $$\sigma(f) = \{f(t) : t \in X\}.$$ सामान्य तत्व का आदर्श $$x$$ C*-बीजगणित का वर्णक्रमीय त्रिज्या से मेल खाता है। यह सामान्य ऑपरेटरों के लिए समान तथ्य का सामान्यीकरण करता है।

होने देना $$A$$ जटिल इकाई बानाच बीजगणित बनें जिसमें प्रत्येक गैर-शून्य तत्व हो $$x$$ व्युत्क्रमणीय (विभाजन बीजगणित) है। हरएक के लिए $$a \in A,$$ वहाँ है $$\lambda \in \Complex$$ ऐसा है कि $$a - \lambda \mathbf{1}$$ उलटा नहीं है (क्योंकि का स्पेक्ट्रम $$a$$ खाली नहीं है) इसलिए $$a = \lambda \mathbf{1}:$$ यह बीजगणित $$A$$ स्वाभाविक रूप से समरूपी है $$\Complex$$ (गेलफैंड-मज़ूर प्रमेय का जटिल मामला)।

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

चरित्र $$\chi$$ पर रैखिक कार्यात्मक है $$A$$ वह ही समय में गुणक है, $$\chi(a b) = \chi(a) \chi(b),$$ और संतुष्ट करता है $$\chi(\mathbf{1}) = 1.$$ प्रत्येक वर्ण स्वचालित रूप से निरंतर है $$A$$ को $$\Complex,$$ चूँकि किसी चरित्र का कर्नेल अधिकतम आदर्श है, जो संवृत है। इसके अतिरिक्त, चरित्र का मानदंड (अर्थात, ऑपरेटर मानदंड) है। बिंदुवार अभिसरण की टोपोलॉजी से सुसज्जित $$A$$ (अर्थात, कमजोर-* टोपोलॉजी से प्रेरित टोपोलॉजी $$A^*$$), चरित्र स्थान, $$\Delta(A),$$ हॉसडॉर्फ़ कॉम्पैक्ट स्पेस है।

किसी के लिए $$x \in A,$$ $$\sigma(x) = \sigma(\hat x)$$ कहाँ $$\hat x$$ गेलफैंड का प्रतिनिधित्व है $$x$$ इस प्रकार परिभाषित: $$\hat x$$ से सतत कार्य है $$\Delta(A)$$ को $$\Complex$$ द्वारा दिए गए $$\hat x(\chi) = \chi(x).$$ का स्पेक्ट्रम $$\hat x,$$ उपरोक्त सूत्र में, बीजगणित के तत्व के रूप में स्पेक्ट्रम है $$C(\Delta(A))$$ कॉम्पैक्ट स्पेस पर जटिल निरंतर कार्यों का $$\Delta(A).$$ स्पष्ट रूप से, $$\sigma(\hat x) = \{\chi(x) : \chi \in \Delta(A)\}.$$ बीजगणित के रूप में, इकाई क्रमविनिमेय बानाच बीजगणित अर्धसरल बीजगणित है (अर्थात्, इसका जैकबसन कट्टरपंथी शून्य है) यदि और केवल यदि इसके गेलफैंड प्रतिनिधित्व में सतहीय कर्नेल है। ऐसे बीजगणित का महत्वपूर्ण उदाहरण क्रमविनिमेय C*-बीजगणित है। दरअसल, जब $$A$$ क्रमविनिमेय इकाई C*-बीजगणित है, गेलफैंड प्रतिनिधित्व तब सममितीय *-समरूपता है $$A$$ और $$C(\Delta(A)).$$

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

अधिकांश प्राकृतिक उदाहरणों में, किसी का यह भी मानना ​​है कि इन्वोल्यूशन आइसोमेट्री है, अर्थात, $$\|x^*\| = \|x\| \quad \text{ for all } x \in A.$$ कुछ लेखक इस सममितीय गुण को बानाच *-बीजगणित की परिभाषा में शामिल करते हैं।

बानाच *-बीजगणित संतोषजनक $$\|x^* x\| = \|x^*\| \|x\|$$ C*-बीजगणित है।