ट्रांसवर्सलिटी प्रमेय

अवकल सांस्थिति में ट्रांसवर्सलिटी प्रमेय या अनुप्रस्थ प्रमेय, जिसे फ्रांसीसी गणितज्ञ रेने थॉम के बाद से थॉम अनुप्रस्थ प्रमेय के रूप में भी जाना जाता है इसका एक प्रमुख परिणाम है जो समतल मानचित्र के समतल समूह के अनुप्रस्थ प्रतिच्छेदन गुणों का वर्णन करता है यह कहता है कि अनुप्रस्थ (गणित) एक सामान्य संपत्ति है किसी भी समतल मानचित्र $$f\colon X\rightarrow Y$$ को अपेक्षाकृत रूप से छोटी राशि से एक मानचित्र में विकृत किया जा सकता है जो किसी दिए गए बहुआयामी $$Z \subseteq Y$$ के लिए अनुप्रस्थ है पोंट्रीगिन-थॉम निर्माण के साथ, यह सह-बोर्डवाद सिद्धांत का तकनीकी मुख्य भाग है और शल्य सिद्धांत के लिए प्रारम्भिक बिंदु है अनुप्रस्थ प्रमेय का परिमित-आयामी संस्करण भी एक संपत्ति की सामान्यता स्थापित करने के लिए बहुत ही उपयोगी उपकरण है जो वास्तविक मापदंडों की एक सीमित संख्या पर निर्भर होता है और जो गैर-रैखिक समीकरणों की एक प्रणाली का उपयोग करके व्यक्त किया जा सकता है अनुप्रस्थ प्रमेय के अनंत-आयामी संस्करण का उपयोग करके इसे एक अनंत-आयामी प्राचलीकरण तक विस्तृत किया जा सकता है।

पूर्ववर्ती परिभाषाएँ
माना कि $$f\colon X\rightarrow Y$$ समतल बहुआयामी के बीच एक समतल मानचित्र है और माना कि $$Z$$ का बहुआयामी $$Y$$ है तब $$f$$ का अनुप्रस्थ $$Z$$ है इस प्रकार से $$f \pitchfork Z$$ को निर्धारित किया गया है यदि प्रत्येक के लिए $$x\in f^{-1}\left(Z\right)$$ है तब:
 * $$\operatorname{im}\left( df_x \right) + T_{f\left(x\right)} Z = T_{f\left(x\right)} Y$$.

यह अनुप्रस्थ के विषय में एक महत्वपूर्ण परिणाम बताता है कि यदि एक सुगम मानचित्र $$f$$ के अनुप्रस्थ $$Z$$ है तब $$f^{-1}\left(Z\right)$$ का एक नियमित बहुआयामी $$X$$ है।

यदि $$X$$ सीमा के साथ बहुआयामी है तो हम मानचित्र के प्रतिबंध को $$f$$ सीमा तक परिभाषित कर सकते हैं जैसे $$\partial f\colon\partial X \rightarrow Y$$ मानचित्र $$\partial f$$ के लिए सहज है और यह हमें पिछले परिणाम का विस्तार करने की स्वीकृति देता है यदि दोनों $$f \pitchfork Z$$ और $$\partial f \pitchfork Z$$ है तब $$f^{-1}\left(Z\right)$$ का $$X$$ सीमा के साथ एक नियमित बहुआयामी है:
 * $$\partial f^{-1}\left( Z \right) = f^{-1}\left( Z \right) \cap \partial X$$.

पैरामीट्रिक अनुप्रस्थ प्रमेय
मानचित्र $$F\colon X\times S \rightarrow Y$$ पर विचार करें और $$f_s\left(x\right) = F\left(x,s\right)$$ को परिभाषित करें कि यह मानचित्र का एक समुच्चय $$f_s\colon X\rightarrow Y$$ उत्पन्न करता है हमें आवश्यकता है कि $$S$$ को एक (समतल) बहुआयामी और $$F$$ को समतल मानकर समुच्चय समतल रूप से भिन्न हो जिसके लिए पैरामीट्रिक अनुप्रस्थ प्रमेय का एक कथन है:

मान लीजिए कि $$F\colon X \times S \rightarrow Y$$ बहुआयामी का एक समतल मानचि है जहाँ $$X$$ केवल सीमा है और माना $$Z$$ का कोई उप बहुआयामी $$Y$$ हो और यदि दोनों $$F$$ और $$\partial F$$ के अनुप्रस्थ $$Z$$ हैं तो लगभग प्रत्येक $$s\in S$$ के लिए दोनों $$f_s$$ और $$\partial f_s$$ का अनुप्रस्थ $$Z$$ होता है।

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

अनौपचारिक रूप से, अनुप्रस्थ प्रमेय कहता है कि मानचित्र का समुच्चय जो किसी दिए गए उप बहुआयामी के लिए अनुप्रस्थ है एक सघन या कुछ स्थितियों में केवल सघन $$G_\delta$$) मानचित्र के समुच्चय का उप समुच्चय है इस प्रकार के कथन को शुद्ध बनाने के लिए, मानचित्र के विचाराधीन समष्टि को परिभाषित करना आवश्यक है और इसमें सांस्थिति क्या है कई संभावनाएं हैं इसके लिए हिर्श की पुस्तक देखें।

सामान्यतः थॉम्स अनुप्रस्थ प्रमेय द्वारा जो समझा जाता है वह जेट (गणित) अनुप्रस्थ के विषय में एक अधिक प्रभावशाली कथन है हिर्श, गोलूबिट्स्की और गुइलेमिन की पुस्तकें देखें। जिसका मूल संदर्भ थॉम बीओएल एसओसी मैट मेक्सिकाना (2) 1 (1956) पीपी. 59-71 है।

जॉन माथेर (गणितज्ञ) ने 1970 के दशक में एक और भी सामान्य परिणाम सिद्ध किया जिसे बहुआयामी जेट अनुप्रस्थ प्रमेय कहा जाता है जिसके लिए गोलूबित्सकी और गुइलेमिन की पुस्तक देखें।

अनंत-आयामी संस्करण
अनुप्रस्थ प्रमेय का अनंत-आयामी संस्करण इस विषय को ध्यान में रखता है कि बहुआयामी को बानाख बीजगणित समष्टि में मॉडल किया जा सकता है।

औपचारिक कथन
मान लीजिए कि $$F: X \times S \to Y$$ बनाच बहुआयामी का एक $$C^k$$ मानचित्र है।

मान लीजिए:


 * 1) $$X, S$$ और $$Y$$ गैर-रिक्त हैं और $$C^\infty$$ एक क्षेत्र में रिक्त समष्टि के साथ बनाच बहुआयामी $$\mathbb{K}$$ है।
 * 2) $$C^k$$ मानचित्र $$F:X \times S \to Y$$ के साथ $$k\geq 1$$ में नियमित मान के रूप में $$y$$ है।
 * 3) प्रत्येक पैरामीटर के लिए $$s\in S$$, मानचित्र $$f_s(x) = F(x,s)$$ का एक फ्रेडहोम संक्रियक है जहाँ $$\operatorname{ind} Df_s(x)<k$$ प्रत्येक के लिए $$x\in f_{s}^{-1}(\{y\})$$ है।
 * 4) अभिसरण $$s_n \to s$$ पर $$S$$ जैसा कि $$n \to \infty$$ और $$F(x_n,s_n) = y$$ सभी के लिए $$n$$ एक अभिसरण अनुक्रम के अस्तित्व का तात्पर्य यह है कि $$x_n \to x$$ जैसा $$n \to \infty$$ साथ $$x\in X$$ है।

यदि (1)-(4) को प्रयुक्त करें, तो $$S_0 \subset S$$ एक विवृत सघन उप समुच्चय सम्मिलित है जैसे कि $$y$$ प्रत्येक पैरामीटर $$s\in S_0.$$ के लिए $$f_s$$ का एक नियमित मान है।

अब, एक तत्व $$s\in S_0$$ को ठीक करें यदि कोई संख्या $$n\geq 0$$ सम्मिलित है साथ ही $$\operatorname{ind} Df_s(x) = n$$ के सभी समाधान के लिए $$x\in X$$ का $$f_s(x) = y$$, फिर समाधान समुच्चय $$f_s^{-1}(\{y\})$$ एक के लिए $$n$$ बहुआयामी हैं और $$C^k$$ बनाच बहुआयामी या समाधान रिक्त समुच्चय है।

ध्यान दें कि यदि $$\operatorname{ind} Df_s(x) = 0$$ के सभी समाधान के लिए $$f_s(x) = y,$$ है तो वहाँ एक विवृत सघन उपसमुच्चय $$S_0$$ का $$S$$ सम्मिलित है जैसे कि प्रत्येक निश्चित पैरामीटर के लिए अधिक से अधिक सूक्ष्म रूप से कई समाधान $$s\in S_0$$ हैं इसके अतिरिक्त ये सभी समाधान नियमित हैं।