बैनाक मैनिफोल्ड

गणित में, एक बैनाक मैनिफोल्ड एक मैनिफोल्ड है | जो कि बैनाक स्पेस पर आधारित है। इस प्रकार यह एक सामयिक स्पेस है | जिसमें प्रत्येक बिंदु में एक बैनाक स्पेस में एक खुले समुच्चय के लिए होमियोमॉर्फिक नेबरहुड (गणित) है (एक अधिक सम्मिलित और औपचारिक परिभाषा नीचे दी गई है)। बैनाक मैनिफोल्ड्स मैनिफोल्ड्स को अनंतता आयाम तक विस्तारित करने की एक संभावना है।

एक और सामान्यीकरण फ़्रेचेट मैनिफोल्ड्स के लिए बैनाक स्पेस कों फ़्रेचेट स्पेस द्वारा बदलना है | दूसरी ओर, एक हिल्बर्ट मैनिफोल्ड एक बैनाक मैनिफोल्ड की एक विशेष स्थिति है | जिसमें मैनिफोल्ड हिल्बर्ट स्पेस पर स्पेसीय रूप से तैयार किया गया है।

परिभाषा
माना $$X$$ एक समुच्चय (गणित) है। जो $$X$$ पर वर्ग $$C^r,$$ $$r \geq 0,$$ का एक एटलस (टोपोलॉजी) जोड़ियों (चार्ट्स कहा जाता है) का एक संग्रह है | $$\left(U_i, \varphi_i\right),$$ $$i \in I,$$ जैसे कि

⁡ कोई तब दिखा सकता है कि $$X$$ एक अद्वितीय टोपोलॉजी चालू है | जैसे कि प्रत्येक $$U_i$$ खुला है और प्रत्येक $$\varphi_i$$ एक होमियोमोर्फिज्म है। अधिकतर,इस सामयिक स्पेस को हॉसडॉर्फ स्पेस माना जाता है | किन्तु औपचारिक परिभाषा के दृष्टिकोण से यह आवश्यक नहीं है।
 * 1) प्रत्येक $$U_i$$ $$X$$ का उपसमुच्चय है और $$U_i$$ संघ (समुच्चय सिद्धांत) संपूर्ण $$X$$ है |
 * 2) प्रत्येक $$\varphi_i$$$$U_i$$ से एक खुले उपसमुच्चय $$\varphi_i\left(U_i\right)$$ पर आपत्ति है | $$E_i,$$ और किसी भी सूचकांक के लिए $$i \text{ and } j,$$ $$\varphi_i\left(U_i \cap U_j\right)$$ $$E_i;$$ में खुला है |
 * 3) क्रॉसओवर नक्शा एक सरल फलन है |
 * $$\varphi_j \circ \varphi_i^{-1} : \varphi_i\left(U_i \cap U_j\right) \to \varphi_j\left(U_i \cap U_j\right)$$
 * प्रत्येक $$i, j \in I;$$ के लिए $$r$$ निरंतर अवकलनीय कार्य वह यह है कि $$r$$वें फ्रेचेट व्युत्पन्न उपस्थित है |
 * $$\mathrm{d}^r\left(\varphi_j \circ \varphi_i^{-1}\right) : \varphi_i\left(U_i \cap U_j\right) \to \mathrm{Lin}\left(E_i^r; E_j\right)$$
 * $$E_i$$ इसके संबंध में एक सतत कार्य है | $$E_i$$-नॉर्म (गणित) के सबसमुच्चय पर टोपोलॉजी और $$\operatorname{Lin}\left(E_i^r; E_j\right).$$ ऑपरेटर मानदंड टोपोलॉजी चालू है |

यदि सभी बैनाक स्पेस $$E_i$$ समान स्पेस $$E,$$ के समान हैं तो $$E$$-एटलस कहा जाता है। चूँकि, यह 'ह प्राथमिक रूप से आवश्यक नहीं है कि बैनाक स्पेस $$E_i$$ टोपोलॉजिकल सदिश स्पेस के समान स्पेस, या यहां तक ​​​​कि समरूप हो। चूँकि, यदि दो चार्ट $$\left(U_i, \varphi_i\right)$$ और $$\left(U_j, \varphi_j\right)$$ ऐसे हैं | $$U_i$$ और $$U_j$$ एक गैर-खाली प्रतिच्छेदन (समुच्चय सिद्धांत) है,| जो क्रॉसओवर मानचित्र के डेरिवेटिव (सामान्यीकरण) की एक त्वरित परीक्षा है | $$\varphi_j \circ \varphi_i^{-1} : \varphi_i\left(U_i \cap U_j\right) \to \varphi_j\left(U_i \cap U_j\right)$$ दिखाता है कि $$E_i$$ और $$E_j$$ टोपोलॉजिकल सदिश स्पेस के रूप में वास्तव में समरूपी होना चाहिए। इसके अतिरिक्त, अंक का समुच्चय $$x \in X$$ जिसके लिए एक चार्ट है | $$\left(U_i, \varphi_i\right)$$ साथ $$x$$ में $$U_i$$ और $$E_i$$ किसी दिए गए बैनाक स्पेस के लिए आइसोमॉर्फिक $$E$$ खुला और बंद दोनों उपसमुच्चय है। इसलिए, व्यापकता के हानि के बिना कोई यह मान सकता है | कि,$$X,$$ प्रत्येक जुड़ा हुआ स्पेस पर $$E$$-एटलस कुछ निश्चित $$E.$$ के लिए एटलस एक है |

एक नया चार्ट $$(U, \varphi)$$ दिए गए एटलस $$\left\{\left(U_i, \varphi_i\right) : i \in I\right\}$$ के साथ संगत कहा जाता है | $$\varphi_i \circ \varphi^{-1} : \varphi\left(U \cap U_i\right) \to \varphi_i\left(U \cap U_i\right)$$ यदि क्रॉसओवर मानचित्र एक $$r$$ प्रत्येक के लिए बार-बार लगातार अलग-अलग कार्य $$i \in I.$$ दो एटलस को संगत कहा जाता है | यदि एक में प्रत्येक चार्ट दूसरे एटलस के साथ संगत हो। संगतता सभी संभावित एटलस के वर्ग पर $$X.$$ एक समानता संबंध को परिभाषित करती है |

ए $$C^r$$-मैनिफोल्ड संरचना पर $$X$$ इसके बाद एटलस के समतुल्य वर्ग के विकल्प के रूप में परिभाषित किया जाता है | कक्षा $$X$$ का $$C^r.$$ यदि सभी बैनाक स्पेस $$E_i$$ टोपोलॉजिकल सदिश स्पेस के रूप में समरूपी हैं | (जो कि स्थिति होने की गारंटी है $$X$$ कनेक्टेड स्पेस है), तो एक समतुल्य एटलस पाया जा सकता है,| जिसके लिए वे सभी कुछ बैनाक स्पेस के समान हैं | $$E.$$ $$X$$ फिर $$E$$-मैनिफोल्ड, एक कहा जाता है या $$X$$ कोई ऐसा कहता है पर प्रतिरूपित $$E.$$ पर किया जाता है |

उदाहरण

 * यदि $$(X, \|\,\cdot\,\|)$$ एक बैनाक स्पेस है, फिर $$X$$ एक एकल, विश्व स्तर पर परिभाषित चार्ट (पहचान फलन) वाले एटलस के साथ एक बैनाच मैनिफोल्ड है।
 * इसी प्रकार यदि $$U$$ तब कुछ बैनाक स्पेस का एक खुला उपसमुच्चय है | $$U$$ एक बैनाक मैनिफोल्ड है। (नीचे वर्गीकरण प्रमेय देखें।)

होमोमोर्फिज्म तक वर्गीकरण
यह किसी भी तरह से सही नहीं है कि आयाम का परिमित-आयामी मैनिफोल्ड $$n$$ है | विश्व स्तर पर होमियोमॉर्फिक से $$\R^n,$$ या यहां तक ​​कि का एक खुला उपसमुच्चय $$\R^n.$$ है | चूँकि, एक अनंत-आयामी समुच्चयिंग में, होमोमोर्फिज्म तक अच्छी तरह से व्यवहार किए गए बैनाक मैनिफोल्ड्स को काफी अच्छी तरह से वर्गीकृत करना संभव है। डेविड हेंडरसन के 1969 के प्रमेय में कहा गया है कि प्रत्येक अनंत-आयामी, वियोज्य अंतरिक्ष, आव्युह अंतरिक्ष बैनाक मैनिफोल्ड $$X$$ अनंत-आयामी, वियोज्य हिल्बर्ट अंतरिक्ष के एक खुले उपसमुच्चय के रूप में एम्बेडिंग हो सकता है,| $$H$$ (रैखिक समरूपता तक, केवल एक ही ऐसा स्पेस होता है | जिसे सामान्यतः $$\ell^2$$ पहचाना जाता है) | वास्तव में, हेंडरसन का परिणाम अधिक शक्तिशाली है | एक ही निष्कर्ष किसी भी आव्युह मैनिफोल्ड के लिए अलग-अलग अनंत-आयामी फ्रेचेट स्पेस पर आधारित है।

एच (रैखिक समरूपता तक केवल एक ही ऐसा स्थान होता है जिसे आमतौर पर \ell ^{2}) से पहचाना जाता है। वास्तव में हेंडरसन का परिणाम अधिक मजबूत है: एक ही निष्कर्ष किसी भी मीट्रिक मैनिफोल्ड के लिए अलग-अलग अनंत-आयामी फ्रेचेट स्पेस पर आधारित है।

एम्बेडिंग होमोमोर्फिज्म का उपयोग वैश्विक चार्ट के रूप में किया जा सकता है | इस प्रकार $$X.$$ अनंत-आयामी, वियोज्य, आव्युह स्थिति में, केवल बैनाक मैनिफोल्ड ही हिल्बर्ट अंतरिक्ष के खुले उपसमुच्चय हैं।