डिफियोमोर्फिज्म

"डिफियो" यहां पुनर्निर्देश करता है। कंपनी के लिए, डिफियो (कंपनी) देखें।

गणित में डिफेओमोर्फिज्म चिकने कई परतों का समाकृतिकता है। यह व्युत्क्रम फ़ंक्शन गणित है जो अलग-अलग कई परतों मानचित्र करता है, जैसे कि फ़ंक्शन और इसके व्युत्क्रम फ़ंक्शन दोनों अलग-अलग होते हैं।

File:Diffeomorphism of a square.svg

वर्ग पर आयताकार ग्रिड की छवि (गणित) वर्ग के अनुसार वर्ग से स्वयं पर भिन्नता के अनुसार ।

परिभाषा

दो गुण दिए गए हैं $M$ और $N$, अवकलनीय कई परत विभेदक फलन मानचित्र (गणित) $f\colon M\rightarrow N$ यदि यह आक्षेप और इसका व्युत्क्रम है, तो इसे डिफियोमोर्फिज्म कहा जाता है ।$f^{-1}\colon N\rightarrow M$ अवकलनीय भी है। यदि ये कार्य हैं $r$ समय लगातार अलग-अलग, $f$ ए कहा जाता है $C^{r}$-विरूपण है।

दो कई परतों $M$ और $N$ डिफियोमॉर्फिक हैं सामान्यतः निरूपित $M\simeq N$) यदि कोई भिन्नता है $f$ से $M$ को $N$. वे हैं $C^{r}$-डिफियोमॉर्फिक यदि कोई है $r$ उनके बीच बार लगातार अलग-अलग विशेषण मानचित्र जिसका व्युत्क्रम भी है $r$ बार लगातार अलग-अलग है।

कई परतों के उप-समूचय का डिफियोमोर्फिज्म

उपसमुच्चय दिया $X$ कई परतों $M$ और उपसमुच्चय $Y$ कई परतों $N$, फंक्शन $f:X\to Y$ कहा जाता है कि यदि सभी के लिए चिकना हो $p$ में $X$ पड़ोस है गणित $U\subset M$ का $p$ और चिकना कार्य $g:U\to N$ ऐसा है कि प्रतिबंध (गणित) सहमत हैं। $g_{|U\cap X}=f_{|U\cap X}$ ध्यान दें कि $g$ का विस्तार है $f$ . कार्यक्रम $f$ यदि यह विशेषण चिकना है और इसका व्युत्क्रम चिकना है, तो इसे भिन्नता कहा जाता है।

स्थानीय विवरण

हैडमार्ड-कैसिओपोली प्रमेय

यदि $U$, $V$ जुड़ा हुआ स्थान का खुला सेट हैं $\mathbb {R} ^{n}$ ऐसा है कि $V$ बस जुड़ा हुआ है , यौगिक मानचित्र $f:U\to V$ यदि यह उचित मानचित्र है और यदि बढ़ना (अंतर) है तो यह भिन्नता है $Df_{x}:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$ प्रत्येक बिंदु पर विशेषण और इसलिए रैखिक समरूपता है $x$ में $U$.

पहली टिप्पणी

के लिए अति आवश्यक है $V$ फंक्शन के लिए बस जुड़े रहने के लिए $f$ विश्व स्तर पर उलटा होना मात्र शर्त के अनुसार कि इसका व्युत्पन्न प्रत्येक बिंदु पर विशेषण मानचित्र हो। उदाहरण के लिए, जटिल संख्या वर्ग फ़ंक्शन की प्राप्ति पर विचार करें

${\begin{cases}f:\mathbb {R} ^{2}\setminus \{(0,0)\}\to \mathbb {R} ^{2}\setminus \{(0,0)\}\\(x,y)\mapsto (x^{2}-y^{2},2xy).\end{cases}}$ फिर $f$ विशेषण है और यह संतुष्ट करता है

$\det Df_{x}=4(x^{2}+y^{2})\neq 0.$ इस प्रकार, यद्यपि $Df_{x}$ प्रत्येक बिंदु पर विशेषण है, $f$ व्युत्क्रमणीय नहीं है क्योंकि यह अंतःक्षेपी होने में विफल रहता है। उदाहरण$f(1,0)=(1,0)=f(-1,0)$).

दूसरी टिप्पणी

बिंदु पर अंतर के बाद से अलग फंक्शन के लिए,

$Df_{x}:T_{x}U\to T_{f(x)}V$ रैखिक मानचित्र है, इसमें अच्छी प्रकार से परिभाषित उलटा है, केवल यदि $Df_{x}$ आपत्ति है। आव्यूह (गणित) का प्रतिनिधित्व $Df_{x}$ है $n\times n$ प्रथम-क्रम आंशिक व्युत्पन्न का आव्यूह जिसकी प्रविष्टि में $i$-वीं पंक्ति और $j$-वाँ स्तंभ है $\partial f_{i}/\partial x_{j}$. यह तथाकथित जैकबियन आव्यूह अधिकांशतः स्पष्ट संगणनाओं के लिए उपयोग किया जाता है।

तीसरी टिप्पणी

डिफियोमोर्फिज्म अनिवार्य रूप से ही आयाम के कई परतों के बीच होते हैं। कल्पना करना $f$ आयाम से जा रहा है $n$ आयाम के लिए $k$. यदि $n<k$ तब $Df_{x}$ कभी भी विशेषण नहीं हो सकता और यदि $n>k$ तब $Df_{x}$ अन्तःक्षेपण कभी नहीं हो सकता। इसलिए, दोनों ही स्थितियों में $Df_{x}$ आपत्ति होने में विफल रहता है।

चौथी टिप्पणी

यदि $Df_{x}$ पर आपत्ति है $x$ तब $f$ स्थानीय भिन्नता कहा जाता है चूंकि, निरंतरता से $Df_{y}$ भी सभी के लिए विशेषण $y$ और $x$बहुत समीप होगा।

पांचवीं टिप्पणी

आयाम से सरल मानचित्र दिया $n$ आयाम के लिए $k$, यदि $Df$ , स्थानीय रूप से, $Df_{x}$ विशेषण है, $f$ जलमग्न गणित, स्थानीय रूप से स्थानीय जलमग्न कहा जाता है और यदि $Df$ , स्थानीय रूप से $Df_{x}$ अन्तःक्षेपण है, $f$ विसर्जन (गणित) , स्थानीय रूप से, स्थानीय विसर्जन कहा जाता है।

छठी टिप्पणी

अलग-अलग आक्षेप जरूरी नहीं कि भिन्नता है। $f(x)=x^{3}$, उदाहरण के लिए से भिन्नता नहीं है, $\mathbb {R}$ क्योंकि इसका व्युत्पन्न 0 पर लुप्त हो जाता है और इसलिए इसका व्युत्क्रम 0 पर अवकलनीय नहीं है। यह होमियोमोर्फिज्म का उदाहरण है जो डिफियोमोर्फिज्म नहीं है।

सातवीं टिप्पणी

कब $f$ अवकल कई परतों के बीच मानचित्र है, डिफियोमॉर्फिक $f$ होमियोमॉर्फिक की तुलना में शक्तिशाली स्थिति है $f$. डिफियोमोर्फिज्म के लिए, $f$ और इसके व्युत्क्रम को अवकल कई परत अवकल फंक्शन होना चाहिए, होमियोमोर्फिज्म के लिए, $f$ और इसके व्युत्क्रम को केवल निरंतर कार्य होना चाहिए। प्रत्येक भिन्नता होमियोमोर्फिज्म है, किन्तु प्रत्येक होमियोमोर्फिज्म भिन्नता नहीं है।

$f:M\to N$ डिफियोमोर्फिज्म कहा जाता है, यदि कई परत किन्तुविभेदक कई परतों में, यह उपरोक्त परिभाषा को पूरा करता है। अधिक सटीक का कोई भी आवरण चुनें $M$ संगत कई परत द्वारा अलग-अलग कई परत और इसके लिए भी ऐसा ही करें $N$. होने देना $\phi$ और $\psi$ क्रमशः चार्ट बनें, $M$ और $N$, साथ $U$ और $V$ के रूप में, क्रमशः, छवियां $\phi$ और $\psi$. वो मानचित्र $\psi f\phi ^{-1}:U\to V$ ऊपर की परिभाषा के अनुसार, जब भी, भिन्नता है $f(\phi ^{-1}(U))\subseteq \psi ^{-1}(V)$.

उदाहरण

चूंकि किसी भी कई परत को स्थानीय रूप से पैरामिट्रीकृत किया जा सकता है, इसलिए हम कुछ स्पष्ट मानचित्रों पर विचार कर सकते हैं $\mathbb {R} ^{2}$ में $\mathbb {R} ^{2}$.

• होने देना

$f(x,y)=\left(x^{2}+y^{3},x^{2}-y^{3}\right).$ हम जैकबियन आव्यूह की गणना कर सकते हैं।

$J_{f}={\begin{pmatrix}2x&3y^{2}\\2x&-3y^{2}\end{pmatrix}}.$

जेकोबियन आव्यूह में शून्य सारणिक होता है यदि और केवल यदि $xy=0$. हम देखते है कि $f$ से केवल भिन्नता हो सकती है $x$-अक्ष और $y$- अक्ष। चूँकि, $f$ के बाद से विशेषण नहीं है $f(x,y)=f(-x,y)$, और इस प्रकार यह भिन्नता नहीं हो सकती।

• होने देना

$g(x,y)=\left(a_{0}+a_{1,0}x+a_{0,1}y+\cdots ,\ b_{0}+b_{1,0}x+b_{0,1}y+\cdots \right)$ : जहां $a_{i,j}$ और $b_{i,j}$ मनमाना वास्तविक संख्या एं हैं, और छोड़े गए शब्द x और y में कम से कम दो डिग्री के हैं। हम जैकबियन आव्यूह की गणना '0' पर कर सकते हैं।

$J_{g}(0,0)={\begin{pmatrix}a_{1,0}&a_{0,1}\\b_{1,0}&b_{0,1}\end{pmatrix}}.$

हम देखते हैं कि जी '0' पर स्थानीय भिन्नता है, यदि और केवल यदि,

$a_{1,0}b_{0,1}-a_{0,1}b_{1,0}\neq 0,$

यानी जी के घटकों में रैखिक शब्द बहुपद के रूप में रैखिक रूप से स्वतंत्र हैं।

• होने देना

$h(x,y)=\left(\sin(x^{2}+y^{2}),\cos(x^{2}+y^{2})\right).$

हम जैकबियन आव्यूह की गणना कर सकते हैं।

$J_{h}={\begin{pmatrix}2x\cos(x^{2}+y^{2})&2y\cos(x^{2}+y^{2})\\-2x\sin(x^{2}+y^{2})&-2y\sin(x^{2}+y^{2})\end{pmatrix}}.$

जेकोबियन आव्यूह में हर जगह शून्य निर्धारक है! वास्तव में हम देखते हैं कि h का प्रतिबिम्ब इकाई वृत्त है।

सतह विकृति

यांत्रिकी में, तनाव-प्रेरित परिवर्तन को विरूपण (यांत्रिकी) कहा जाता है और इसे भिन्नता द्वारा वर्णित किया जा सकता है। भिन्नता $f:U\to V$ दो सतह (टोपोलॉजी) के बीच $U$ और $V$ जैकबियन आव्यूह है $Df$ यह उलटा आव्यूह है। वास्तव में, यह आवश्यक है कि के लिए $p$ में $U$, का पड़ोस (टोपोलॉजी) है $p$ जिसमें जैकोबियन $Df$ उलटा आव्यूह | गैर- वचन रहता है। मान लीजिए कि सतह के चार्ट में, $f(x,y)=(u,v).$ यू का कुल अंतर है

$du={\frac {\partial u}{\partial x}}dx+{\frac {\partial u}{\partial y}}dy$, और इसी प्रकार वी के लिए।

फिर छवि $(du,dv)=(dx,dy)Df$ रैखिक परिवर्तन है, मूल को ठीक करना, और विशेष प्रकार की जटिल संख्या की क्रिया के रूप में अभिव्यक्त करना। जब (डी ्स,-डीई) को उस प्रकार की जटिल संख्या के रूप में भी व्याख्या किया जाता है, तो क्रिया उचित जटिल संख्या विमान में जटिल गुणन की होती है। जैसे, प्रकार का कोण (कोण, अतिशयोक्तिपूर्ण कोण , या ढलान ) है जो इस प्रकार के गुणन में संरक्षित है। Df व्युत्क्रमणीय होने के कारण सम्मिश्र संख्या का प्रकार सतह पर समान होता है। नतीजतन, सतहों के सतह विरूपण या भिन्नता के संरक्षण (उचित प्रकार के) कोणों की 'अनुरूप संपत्ति' होती है।

डिफियोमोर्फिज्म समूह

होने देना $M$ अलग करने योग्य कई परतों हो जो कि दूसरी-गणनीय और हौसडॉर्फ अंतरिक्ष है। द डिफियोमोर्फिज्म ग्रुप ऑफ $M$ सभी का समूह (गणित) है $C^{r}$ के डिफियोमोर्फिज्म $M$ खुद के लिए, द्वारा निरूपित ${\text{Diff}}^{r}(M)$ या जब $r$ विदित है, ${\text{Diff}}(M)$. यह बड़ा समूह है, इस अर्थ में कि—प्रदान किया गया $M$ शून्य-आयामी नहीं है—यह स्थानीय रूप से सघन नहीं है।

टोपोलॉजी

डिफियोमोर्फिज्म समूह में दो प्राकृतिक टोपोलॉजिकल स्पेस हैं। कमजोर और शक्तिशाली (Hirsch 1997)। जब कई परत कॉम्पैक्ट जगह होता है, तो ये दो टोपोलॉजी सहमत होती हैं। कमजोर टोपोलॉजी हमेशा मेट्रिजेबल स्पेस होती है। जब कई परत कॉम्पैक्ट नहीं होता है, तो शक्तिशाली टोपोलॉजी अनंत पर कार्यों के व्यवहार को पकड़ लेती है और मेट्रिजेबल नहीं होती है। हालाँकि, यह अभी भी बाहर की जगह है।

रिमेंनियन मीट्रिक चालू कर रहा हूँ $M$कमजोर टोपोलॉजी मेट्रिक्स के परिवार द्वारा प्रेरित टोपोलॉजी है

$d_{K}(f,g)=\sup \nolimits _{x\in K}d(f(x),g(x))+\sum \nolimits _{1\leq p\leq r}\sup \nolimits _{x\in K}\left\|D^{p}f(x)-D^{p}g(x)\right\|$

जैसा $K$ के कॉम्पैक्ट उप-समूचय में भिन्न होता है $M$. दरअसल, तब से $M$ है $\sigma$-कॉम्पैक्ट, कॉम्पैक्ट उप-समूचय का क्रम है $K_{n}$ जिसका संघ (सेट सिद्धांत) है $M$. फिर:

$d(f,g)=\sum \nolimits _{n}2^{-n}{\frac {d_{K_{n}}(f,g)}{1+d_{K_{n}}(f,g)}}.$

अपनी कमजोर टोपोलॉजी से लैस डिफोमोर्फिज्म समूह स्थानीय रूप से अंतरिक्ष के लिए होमोमोर्फिक है $C^{r}$ वेक्टर क्षेत्र (Leslie 1967). के कॉम्पैक्ट उप-समूचय पर $M$, इसके बाद रिमेंनियन मेट्रिक को फिक्स किया जाता है $M$ और उस मीट्रिक के लिए घातीय मानचित्र (रीमैनियन ज्यामिति) का उपयोग करना। यदि $r$ परिमित है और कई परतों कॉम्पैक्ट है, सदिश क्षेत्रों का स्थान बनच स्थान है। इसके अलावा, इस एटलस के चार्ट से दूसरे चार्ट में संक्रमण के नक्शे सुचारू हैं, जो डिफियोमोर्फिज्म समूह को बनच कई परतों में सुचारू रूप से सही अनुवाद के साथ बनाते हैं; बाएं अनुवाद और व्युत्क्रम केवल निरंतर हैं। यदि $r=\infty$, सदिश क्षेत्रों का स्थान फ्रेचेट स्थान है। इसके अलावा, ट्रांज़िशन मानचित्र सुचारू हैं, डिफियोमोर्फिज्म समूह को फ्रेचेट कई परत में और यहां तक ​​कि सुविधाजनक वेक्टर स्पेस#रेगुलर लाइ ग्रुप्स|रेगुलर फ्रेचेट लाइ ग्रुप में बनाते हैं। यदि कई परतों है $\sigma$-कॉम्पैक्ट और कॉम्पैक्ट नहीं, पूर्ण भिन्नता समूह दो टोपोलॉजी में से किसी के लिए स्थानीय रूप से अनुबंधित नहीं है। विविधता समूह प्राप्त करने के लिए अनंत के पास की पहचान से विचलन को नियंत्रित करके समूह को प्रतिबंधित करना होगा जो कि कई परतों है; देखो (Michor & Mumford 2013).

झूठ बीजगणित

डिफियोमोर्फिज्म समूह का झूठ बीजगणित $M$ सभी वेक्टर क्षेत्र शामिल हैं $M$ सदिश क्षेत्रों के लेट ब्रैकेट से सुसज्जित। कुछ हद तक औपचारिक रूप से, इसे निर्देशांक में छोटा परिवर्तन करके देखा जाता है $x$ अंतरिक्ष में प्रत्येक बिंदु पर:

$x^{\mu }\mapsto x^{\mu }+\varepsilon h^{\mu }(x)$

अत: अतिसूक्ष्म जनित्र सदिश क्षेत्र हैं

$L_{h}=h^{\mu }(x){\frac {\partial }{\partial x^{\mu }}}.$

उदाहरण

• कब $M=G$ झूठ समूह है, का स्वाभाविक समावेश है $G$ वाम-अनुवाद के माध्यम से अपने स्वयं के डिफोमोर्फिज्म समूह में। होने देना ${\text{Diff}}(G)$ के डिफोमोर्फिज्म समूह को निरूपित करें $G$, तब विभाजन होता है ${\text{Diff}}(G)\simeq G\times {\text{Diff}}(G,e)$, कहां ${\text{Diff}}(G,e)$ का उपसमूह है ${\text{Diff}}(G)$ जो समूह के पहचान तत्व को ठीक करता है।
• यूक्लिडियन अंतरिक्ष का डिफियोमोर्फिज्म समूह $\mathbb {R} ^{n}$ इसमें दो घटक होते हैं, जिसमें ओरिएंटेशन-संरक्षण और ओरिएंटेशन-रिवर्सिंग डिफियोमोर्फिज्म शामिल हैं। वास्तव में, सामान्य रेखीय समूह उपसमूह का विरूपण पीछे हटना है ${\text{Diff}}(\mathbb {R} ^{n},0)$ नक्शे के नीचे उत्पत्ति को ठीक करने वाले डिफियोमोर्फिज्म $f(x)\to f(tx)/t,t\in (0,1]$. विशेष रूप से, सामान्य रेखीय समूह भी पूर्ण अंतररूपता समूह का विरूपण प्रतिगमन है।
• अंकों के परिमित सेट (गणित) के लिए, भिन्नता समूह केवल सममित समूह है। इसी प्रकार यदि $M$ क्या कई परतों है समूह विस्तार है $0\to {\text{Diff}}_{0}(M)\to {\text{Diff}}(M)\to \Sigma (\pi _{0}(M))$. यहां ${\text{Diff}}_{0}(M)$ का उपसमूह है ${\text{Diff}}(M)$ जो सभी घटकों को सुरक्षित रखता है $M$, और $\Sigma (\pi _{0}(M))$ सेट का क्रमपरिवर्तन समूह है $\pi _{0}(M)$ (के घटक $M$). इसके अलावा, मानचित्र की छवि ${\text{Diff}}(M)\to \Sigma (\pi _{0}(M))$ की आपत्ति है $\pi _{0}(M)$ जो डिफोमोर्फिज्म क्लासेस को संरक्षित करता है।

संक्रमणशीलता

जुड़े कई परतों के लिए $M$, डिफियोमोर्फिज्म ग्रुप ग्रुप ्शन (गणित) Group_action#Types_of_actions on $M$. अधिक आम तौर पर, भिन्नता समूह विन्यास स्थान (भौतिकी) पर सकर्मक रूप से कार्य करता है $C_{k}M$. यदि $M$ कम से कम द्वि-आयामी है, डिफोमोर्फिज्म समूह विन्यास स्थान (भौतिकी) पर सकर्मक रूप से कार्य करता है $F_{k}M$ और कार्रवाई चालू $M$ समूह क्रिया है (गणित)#कार्रवाई के प्रकार (Banyaga 1997, p. 29).

डिफियोमोर्फिज्म का विस्तार

1926 में, टिबोर राडो ने पूछा कि क्या यूनिट डिस्क के यूनिट सर्कल के किसी भी होमोमोर्फिज्म या डिफियोमोर्फिज्म का पोइसन अभिन्न ओपन डिस्क पर डिफियोमोर्फिज्म पैदा करता है। कुछ ही समय बाद हेलमथ केसर द्वारा सुंदर प्रमाण प्रदान किया गया। 1945 में, गुस्ताव चॉक्वेट, जाहिर तौर पर इस परिणाम से अनभिज्ञ थे, उन्होंने पूरी प्रकार से अलग प्रमाण प्रस्तुत किया।

सर्कल का (अभिविन्यास-संरक्षण) डिफियोमोर्फिज्म समूह पथ के अनुसार जुड़ा हुआ है। इसे इस बात पर ध्यान देकर देखा जा सकता है कि इस प्रकार के किसी भी भिन्नता को भिन्नता के रूप में उठाया जा सकता है $f$ वास्तविक संतोषजनक $[f(x+1)=f(x)+1]$; यह स्थान उत्तल है और इसलिए पथ से जुड़ा हुआ है। पहचान के लिए चिकनी, अंततः निरंतर पथ सर्कल से ओपन यूनिट डिस्क ( अलेक्जेंडर चाल का विशेष मामला) के लिए भिन्नता का विस्तार करने का दूसरा और प्राथमिक तरीका देता है। इसके अलावा, सर्कल के डिफोमोर्फिज्म ग्रुप में ऑर्थोगोनल समूह का होमोटॉपी-टाइप है $O(2)$.

उच्च-आयामी क्षेत्रों के डिफियोमोर्फिज्म के लिए संगत विस्तार समस्या $S^{n-1}$ 1950 और 1960 के दशक में रेने थॉम, जॉन मिल्नोर और स्टीफन स्मेल के उल्लेखनीय योगदान के साथ बहुत अधिक अध्ययन किया गया था। परिमित एबेलियन समूह द्वारा इस प्रकार के विस्तार में बाधा दी जाती है $\Gamma _{n}$, ्सोटिक स्फेयर#ट्विस्टेड स्फीयर, गेंद के डिफियोमोर्फिज्म तक फैले वर्गों के उपसमूह द्वारा डिफेओमोर्फिज्म समूह के एबेलियन घटक समूह के भागफल समूह के रूप में परिभाषित किया गया $B^{n}$.

जुड़ाव

कई परतों के लिए, भिन्नता समूह सामान्यतः जुड़ा नहीं होता है। इसके घटक समूह को मानचित्रण वर्ग समूह कहा जाता है। डायमेंशन 2 (यानी सरफेस (टोपोलॉजी)) में, मैपिंग क्लास ग्रुप स्ट्रेच ट्विस्ट (मैक्स डेहन , डब्ल्यू.बी.आर. लिकोरिश, एलन हैचर ) द्वारा उत्पन्न सूक्ष्म रूप से प्रस्तुत समूह है। मैक्स डेहन और जैकब नीलसन (गणितज्ञ) ने दिखाया कि इसे सतह के मौलिक समूह के बाहरी ऑटोमोर्फिज़्म समूह के साथ पहचाना जा सकता है।

विलियम थर्स्टन ने नीलसन-थर्स्टन वर्गीकरण द्वारा इस विश्लेषण को तीन प्रकारों में परिष्कृत किया: वे आवधिक कार्य के समतुल्य #आवधिक मानचित्रण भिन्नता; साधारण बंद वक्र अपरिवर्तनीय छोड़ने वाले डिफियोमोर्फिज्म के समतुल्य; और छद्म-अनोसोव मानचित्र|छद्म-अनोसोव डिफेओमोर्फिज्म के समतुल्य। टोरस्र्स के मामले में $S^{1}\times S^{1}=\mathbb {R} ^{2}/\mathbb {Z} ^{2}$, मैपिंग क्लास ग्रुप केवल मॉड्यूलर समूह है ${\text{SL}}(2,\mathbb {Z} )$ और वर्गीकरण मोबियस ट्रांसफॉर्मेशन#एलिप्टिक ट्रांसफॉर्मेशन, मोबियस ट्रांसफॉर्मेशन#पैराबोलिक ट्रांसफॉर्मेशन और मोबियस ट्रांसफॉर्मेशन#हाइपरबोलिक ट्रांसफॉर्म मैट्रिसेस के संदर्भ में शास्त्रीय हो जाता है। थर्स्टन ने यह देखते हुए अपने वर्गीकरण को पूरा किया कि मानचित्रण वर्ग समूह ने स्वाभाविक रूप से टेकमुलर अंतरिक्ष के संघनन (गणित) पर कार्य किया; चूंकि यह बढ़ा हुआ स्थान बंद गेंद के लिए होमियोमॉर्फिक था, इसलिए ब्रोवर फिक्स्ड-पॉइंट प्रमेय लागू हो गया। स्मेल ने अनुमान लगाया कि यदि $M$ ओरिएंटेबिलिटी है # ओरिएंटेबिलिटी_ऑफ_कई परतों स्मूथ क्लोज्ड कई परत, ओरिएंटेशन-प्रिजर्विंग डिफियोमोर्फिज्म के समूह का पहचान घटक सरल समूह है। यह पहली बार मिशेल हरमन द्वारा हलकों के उत्पाद के लिए सिद्ध किया गया था; यह थर्स्टन द्वारा पूर्ण सामान्यता में सिद्ध किया गया था।

समरूपता प्रकार

• का डिफियोमोर्फिज्म समूह $S^{2}$ उपसमूह का होमोटोपी-प्रकार है $O(3)$. यह स्टीव स्मेल द्वारा सिद्ध किया गया था। * टोरस के डिफोमोर्फिज्म समूह में इसके रैखिक automorphism का होमोटोपी-प्रकार है: $S^{1}\times S^{1}\times {\text{GL}}(2,\mathbb {Z} )$.
• जीनस (गणित) की उन्मुख सतहों के भिन्नता समूह $g>1$ उनके मानचित्रण वर्ग समूहों का होमोटॉपी-प्रकार है (अर्थात घटक संविदात्मक हैं)।
• इवानोव, हैचर, गबाई और रुबिनस्टीन के काम के माध्यम से 3-कई परतों के डिफोमोर्फिज्म समूहों के होमोटोपी-प्रकार को काफी अच्छी प्रकार से समझा जाता है, चूँकि कुछ उत्कृष्ट खुले मामले हैं (मुख्य रूप से परिमित मौलिक समूहों के साथ 3-कई परत)।
• होमोटॉपी-प्रकार के डिफियोमोर्फिज्म समूह $n$- के लिए कई परतों $n>3$ खराब समझे जाते हैं। उदाहरण के लिए, यह खुली समस्या है या नहीं ${\text{Diff}}(S^{4})$ दो से अधिक घटक हैं। मिलनोर, क्हान और एंटोनेली के माध्यम से, चूँकि, यह ज्ञात है कि प्रदान किया गया $n>6$, ${\text{Diff}}(S^{n})$ परिमित स.ग.-जटिल का होमोटॉपी-प्रकार नहीं है।

होमोमोर्फिज्म और डिफियोमोर्फिज्म

चूंकि प्रत्येक भिन्नता होमोमोर्फिज्म है, प्रत्येक डिफियोमोर्फिक कई परत होमोमोर्फिक हैं, किन्तु इसका विलोम सत्य नहीं है। जबकि होमियोमॉर्फिज्म को ढूंढना आसान है जो गैर-डिफियोमोर्फिज्म हैं, होमियोमॉर्फिक कई परतों की जोड़ी को ढूंढना अधिक कठिन है जो डिफियोमॉर्फिक नहीं हैं। आयाम 1, 2 और 3 में, होमियोमॉर्फिक स्मूथ कई परतों की कोई भी जोड़ी अलग-अलग होती है। आयाम 4 या उससे अधिक में, होमियोमॉर्फिक के उदाहरण हैं, किन्तु डिफियोमॉर्फिक जोड़े नहीं पाए गए हैं। इस प्रकार का पहला उदाहरण जॉन मिल्नोर द्वारा आयाम 7 में बनाया गया था। उन्होंने चिकनी 7-आयामी कई परत (जिसे अब मिलनोर का गोला कहा जाता है) का निर्माण किया जो कि मानक 7-गोले के लिए होमियोमॉर्फिक है, किन्तु इसके लिए भिन्न नहीं है। वास्तव में, 7-गोले के लिए कई परतों होमोमोर्फिक के 28 उन्मुख भिन्नता वर्ग हैं (उनमें से प्रत्येक 4-गोले पर फाइबर बंडल का कुल स्थान है जिसमें 3-क्षेत्र फाइबर के रूप में है)।

अधिक असामान्य घटनाएं 4-कई परतों के लिए होती हैं। 1980 के दशक की शुरुआत में, साइमन डोनाल्डसन और माइकल फ्रीडमैन के परिणाम के संयोजन ने विदेशी R4 की खोज का नेतृत्व किया $\mathbb {R} ^{4}$: बेशुमार सेट पेयर वाइज नॉन-डिफियोमॉर्फिक ओपन उप-समूचय हैं $\mathbb {R} ^{4}$ जिनमें से प्रत्येक होमोमोर्फिक है $\mathbb {R} ^{4}$, और यह भी कि बेशुमार रूप से कई जोड़ीदार गैर-डिफियोमॉर्फिक अवकल कई परतों होमियोमॉर्फिक हैं $\mathbb {R} ^{4}$ जो #Differential_topology को एम्बेड नहीं करता है $\mathbb {R} ^{4}$.

यह भी देखें

• बड़ा अंतररूपवाद जैसे कि अर्नोल्ड का कैट मैप
• डिफियो विसंगति को गुरुत्वीय विसंगति के रूप में भी जाना जाता है, क्वांटम यांत्रिकी में प्रकार की विसंगति (भौतिकी)
• डिफियोलॉजी , सेट पर सुचारू पैरामीटरीकरण, जो डिफोलॉजिकल स्पेस बनाता है
• डिफियोमोर्फोमेट्री , कम्प्यूटेशनल एनाटॉमी में आकार और रूप का मीट्रिक अध्ययन
• एटेल मोर्फिज्म
• विशाल भिन्नता
• स्थानीय भिन्नता
• supermanifold

संदर्भ

• Krantz, Steven G.; Parks, Harold R. (2013). The implicit function theorem: history, theory, and applications. Modern Birkhäuser classics. Boston. ISBN 978-1-4614-5980-4.{{cite book}}: CS1 maint: location missing publisher (link)
• Chaudhuri, Shyamoli; Kawai, Hikaru; Tye, S.-H. Henry (1987-08-15). "Path-integral formulation of closed strings" (PDF). Physical Review D. 36 (4): 1148–1168. Bibcode:1987PhRvD..36.1148C. doi:10.1103/physrevd.36.1148. ISSN 0556-2821. PMID 9958280. S2CID 41709882. Archived (PDF) from the original on 2018-07-21.
• Banyaga, Augustin (1997), The structure of classical diffeomorphism groups, Mathematics and its Applications, vol. 400, Kluwer Academic, ISBN 0-7923-4475-8
• Duren, Peter L. (2004), Harmonic Mappings in the Plane, Cambridge Mathematical Tracts, vol. 156, Cambridge University Press, ISBN 0-521-64121-7
• "Diffeomorphism", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Hirsch, Morris (1997), Differential Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90148-0
• Kriegl, Andreas; Michor, Peter (1997), The convenient setting of global analysis, Mathematical Surveys and Monographs, vol. 53, American Mathematical Society, ISBN 0-8218-0780-3
• Leslie, J. A. (1967), "On a differential structure for the group of diffeomorphisms", Topology, 6 (2): 263–271, doi:10.1016/0040-9383(67)90038-9, ISSN 0040-9383, MR 0210147
• Michor, Peter W.; Mumford, David (2013), "A zoo of diffeomorphism groups on Rⁿ.", Annals of Global Analysis and Geometry, 44 (4): 529–540, arXiv:1211.5704, doi:10.1007/s10455-013-9380-2, S2CID 118624866
• Milnor, John W. (2007), Collected Works Vol. III, Differential Topology, American Mathematical Society, ISBN 978-0-8218-4230-0
• Omori, Hideki (1997), Infinite-dimensional Lie groups, Translations of Mathematical Monographs, vol. 158, American Mathematical Society, ISBN 0-8218-4575-6
• Kneser, Hellmuth (1926), "Lösung der Aufgabe 41.", Jahresbericht der Deutschen Mathematiker-Vereinigung (in Deutsch), 35 (2): 123