डिफियोमोर्फिज्म: Difference between revisions

Latest revision as of 11:08, 20 March 2023

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

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

परिभाषा

दो गुण दिए गए हैं $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$ यदि यह विशेषण चिकना है और इसका व्युत्क्रम चिकना है, तो इसे भिन्नता कहा जाता है।

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

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

यदि $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$ रैखिक परिवर्तन है, मूल को ठीक करना और विशेष प्रकार की जटिल संख्या की क्रिया के रूप में अभिव्यक्त करना। जब डीएक्स,-डीई को उस प्रकार की जटिल संख्या के रूप में भी व्याख्या किया जाता है, तो क्रिया उचित जटिल संख्या विमान में जटिल गुणन की होती है। जैसे, प्रकार का कोण , अतिशयोक्तिपूर्ण कोण , ढलान है जो इस प्रकार के गुणन में संरक्षित है। D f व्युत्क्रमणीय होने के कारण सम्मिश्र संख्या का प्रकार सतह पर समान होता है। परिणाम स्वरुप , सतहों के विरूपण और भिन्नता के संरक्षण उचित प्रकार के कोणों की 'अनुरूप संपत्ति' होती है।

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

माना कि $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$ -सघन और पूर्ण भिन्नता समूह दो सांस्थिति में से किसी के लिए स्थानीय रूप से अनुबंधित नहीं है। विविधता समूह प्राप्त करने के लिए अनंत के पास की पहचान से विचलन को नियंत्रित करके समूह को प्रतिबंधित करना होगा जो कि कई परतों है। देखो (मिकोर & ममफोर्ड 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सांस्थिति में मानचित्रण वर्ग समूह खिंचाव मोड़,मैक्स डेहन , डब्ल्यू.बी.आर. लिकोरिश, एलन हैचर द्वारा उत्पन्न सूक्ष्म रूप से प्रस्तुत समूह है। मैक्स डेहन और जैकब नीलसन (गणितज्ञ) ने दिखाया कि इसे सतह के मौलिक समूह के बाहरी ऑटोमोर्फिज़्म समूह के साथ पहचाना जा सकता है।

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

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

डिफियोमोर्फिज्म का समूह $S^{2}$ उपसमूह का होमोटोपी-प्रकार $O(3)$ है। यह स्टीव गंध द्वारा सिद्ध किया गया था।^[2] टोरस के डिफोमोर्फिज्म समूह में इसके रैखिक ऑटोमोर्फिज्म का होमोटोपी-प्रकार है। $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}$ जो विभेदक सांस्थितिको लागू $\mathbb {R} ^{4}$ नहीं करता है।

यह भी देखें

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

संदर्भ

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

[1] Steven G. Krantz; Harold R. Parks (2013). The implicit function theorem: history, theory, and applications. p. Theorem 6.2.4. ISBN 978-1-4614-5980-4.

[2] Smale (1959). "Diffeomorphisms of the 2-sphere". Proc. Amer. Math. Soc. 10 (4): 621–626. doi:10.1090/s0002-9939-1959-0112149-8.

[1]

[2]

@@ Line 1: / Line 1: @@
-"डिफियो" यहां पुनर्निर्देश करता है। कंपनी के लिए, डिफियो (कंपनी) देखें।{{Group theory sidebar |top/lie}}
+{{Group theory sidebar |शीर्ष / झूठ}}
 {{Lie groups |अन्य}}
-गणित में डिफेओमोर्फिज्म चिकने मैनिफोल्ड्स का   [[ समाकृतिकता |समाकृतिकता]] है। यह   व्युत्क्रम फ़ंक्शन (गणित) है जो   अलग-अलग कई गुना मैप करता है जैसे कि फ़ंक्शन और इसके व्युत्क्रम फ़ंक्शन दोनों अलग-अलग होते हैं।
+गणित में, डिफेओमोर्फिज्म चिकनी प्रतिलिपि का [[समाकृतिकता]] है। यह व्युत्क्रम फ़ंक्शन गणित है जो अलग-अलग कई परतों मानचित्र करता है, जैसे कि फ़ंक्शन और इसके व्युत्क्रम अवकलनीय हैं।
-[[File:Diffeomorphism of a square.svg|right|thumb|वर्ग पर   आयताकार ग्रिड की [[ छवि (गणित) |छवि (गणित)]]   वर्ग के तहत   वर्ग से स्वयं पर   भिन्नता के तहत।]]
+[[File:Diffeomorphism of a square.svg|right|thumb|वर्ग पर आयताकार ग्रिड की [[ छवि (गणित) |छवि (गणित)]] वर्ग के अनुसार वर्ग से स्वयं पर भिन्नता के अनुसार ।]]
 == परिभाषा ==
-दो गुण दिए गए हैं <math>M</math> और <math>N</math>,   अवकलनीय मैनिफोल्ड विभेदक फलन मानचित्र (गणित) <math>f \colon M \rightarrow N </math> यदि यह   आक्षेप और इसका व्युत्क्रम है, तो इसे डिफियोमोर्फिज्म कहा जाता है <math>f^{-1} \colon N \rightarrow M</math> अवकलनीय भी है। यदि ये कार्य हैं <math>r</math> समय लगातार अलग-अलग, <math>f</math> ए कहा जाता है <math>C^r</math>-विरूपण।
+दो गुण दिए गए हैं <math>M</math> और <math>N</math>, अवकलनीय फलन मानचित्र (गणित) <math>f \colon M \rightarrow N </math> यदि आक्षेप और इसका व्युत्क्रम है, तो इसे डिफियोमोर्फिज्म कहा जाता है ।<math>f^{-1} \colon N \rightarrow M</math> यह अवकलनीय भी है। यदि ये कार्य हैं <math>r</math> समय लगातार अलग-अलग, <math>f</math> ए कहा जाता है <math>C^r</math>-विरूपण है।
-दो कई गुना <math>M</math> और <math>N</math> डिफियोमॉर्फिक हैं (आमतौर पर निरूपित <math>M \simeq N</math>) अगर कोई भिन्नता है <math>f</math> से <math>M</math> को <math>N</math>. वे हैं <math>C^r</math>-डिफियोमॉर्फिक अगर कोई है <math> r </math> उनके बीच बार लगातार अलग-अलग विशेषण मानचित्र जिसका व्युत्क्रम भी है <math>r</math> बार लगातार अलग-अलग।
+दो कई परतों <math>M</math> और <math>N</math> डिफियोमॉर्फिक हैं सामान्यतः निरूपित <math>M \simeq N</math>) यदि कोई भिन्नता है <math>f</math> से <math>M</math> को <math>N</math>. वे हैं <math>C^r</math>-डिफियोमॉर्फिक यदि कोई है <math> r </math> उनके बीच बार लगातार अलग-अलग विशेषण मानचित्र जिसका व्युत्क्रम भी है <math>r</math> बार लगातार अलग-अलग है।
-== मैनिफोल्ड्स के [[ सबसेट |सबसेट]] का डिफियोमोर्फिज्म ==
+== कई परतों के [[ सबसेट |उप-समूचय]] का डिफियोमोर्फिज्म ==
-उपसमुच्चय दिया <math>X</math> कई गुना <math>M</math> और   उपसमुच्चय <math>Y</math> कई गुना <math>N</math>,   समारोह <math>f:X\to Y</math> कहा जाता है कि अगर सभी के लिए चिकना हो <math>p</math> में <math>X</math>   पड़ोस है (गणित) <math>U\subset M</math> का <math>p</math> और   चिकना कार्य <math>g:U\to N</math> ऐसा है कि [[ प्रतिबंध (गणित) |प्रतिबंध (गणित)]] सहमत हैं: <math>g_{|U \cap X} = f_{|U \cap X}</math> (ध्यान दें कि <math>g</math> का विस्तार है <math>f</math>). कार्यक्रम <math>f</math> यदि यह विशेषण, चिकना है और इसका व्युत्क्रम चिकना है, तो इसे   भिन्नता कहा जाता है।
+उपसमुच्चय दिया <math>X</math> कई परतों <math>M</math> और उपसमुच्चय <math>Y</math> कई परतों <math>N</math>, फंक्शन <math>f:X\to Y</math> कहा जाता है कि यदि सभी के लिए चिकना हो <math>p</math> में <math>X</math> निकट है गणित <math>U\subset M</math> का <math>p</math> और चिकना कार्य <math>g:U\to N</math> ऐसा है कि [[ प्रतिबंध (गणित) |प्रतिबंध (गणित)]] सहमत हैं। <math>g_{|U \cap X} = f_{|U \cap X}</math> ध्यान दें कि <math>g</math> का विस्तार है <math>f</math> . कार्यक्रम <math>f</math> यदि यह विशेषण चिकना है और इसका व्युत्क्रम चिकना है, तो इसे भिन्नता कहा जाता है।
 == स्थानीय विवरण ==
 ; हैडमार्ड-कैसिओपोली प्रमेय<ref>{{cite book |author1=Steven G. Krantz |author2=Harold R. Parks |title=The implicit function theorem: history, theory, and applications |date=2013 |isbn=978-1-4614-5980-4 |page=Theorem 6.2.4}}</ref>
-यदि <math>U</math>, <math>V</math> [[ जुड़ा हुआ स्थान |जुड़ा हुआ स्थान]] का [[ खुला सेट |खुला सेट]] हैं <math>\R^n</math> ऐसा है कि <math>V</math> [[ बस जुड़ा हुआ है |बस जुड़ा हुआ है]] ,   [[ यौगिक |यौगिक]] मैप <math>f:U\to V</math> यदि यह उचित मानचित्र है और यदि [[ पुशफॉरवर्ड (अंतर) |पुशफॉरवर्ड (अंतर)]] है तो यह   भिन्नता है <math>Df_x:\R^n\to\R^n</math> प्रत्येक बिंदु पर विशेषण (और इसलिए   [[ रैखिक समरूपता |रैखिक समरूपता]] ) है <math>x</math> में <math>U</math>.
+यदि <math>U</math>, <math>V</math> [[ जुड़ा हुआ स्थान |जुड़ा हुआ स्थान]] का [[ खुला सेट |खुला]] समूह हैं <math>\R^n</math> ऐसा है कि <math>V</math> [[ बस जुड़ा हुआ है |बस जुड़ा हुआ है]] , [[ यौगिक |यौगिक]] मानचित्र <math>f:U\to V</math> यदि यह उचित मानचित्र है और यदि [[ पुशफॉरवर्ड (अंतर) |बढ़ना (अंतर)]] है तो यह भिन्नता है <math>Df_x:\R^n\to\R^n</math> प्रत्येक बिंदु पर विशेषण और इसलिए [[ रैखिक समरूपता |रैखिक समरूपता]] है <math>x</math> में <math>U</math>.
-<ब्लॉककोट>
 ; पहली टिप्पणी
-के लिए अति आवश्यक है <math>V</math> समारोह के लिए बस जुड़े रहने के लिए <math>f</math> विश्व स्तर पर उलटा होना ( मात्र शर्त के तहत कि इसका व्युत्पन्न प्रत्येक बिंदु पर   विशेषण मानचित्र हो)। उदाहरण के लिए, [[ जटिल संख्या |जटिल संख्या]] स्क्वायर फ़ंक्शन की प्राप्ति पर विचार करें
+के लिए अति आवश्यक है <math>V</math> फंक्शन के लिए बस जुड़े रहने के लिए <math>f</math> विश्व स्तर पर उलटा होना मात्र स्थिति के अनुसार कि इसका व्युत्पन्न प्रत्येक बिंदु पर विशेषण मानचित्र हो। उदाहरण के लिए, [[ जटिल संख्या |जटिल संख्या]] वर्ग फ़ंक्शन की प्राप्ति पर विचार करें
 : <math>\begin{cases}
 f : \R^2 \setminus \{(0,0)\} \to \R^2 \setminus \{(0,0)\} \\
 (x,y)\mapsto(x^2-y^2,2xy).
 \end{cases}</math> फिर <math>f</math> [[ विशेषण |विशेषण]] है और यह संतुष्ट करता है
-: <math>\det Df_x = 4(x^2+y^2) \neq 0.</math> इस प्रकार, यद्यपि <math>Df_x</math> प्रत्येक बिंदु पर विशेषण है, <math>f</math> व्युत्क्रमणीय नहीं है क्योंकि यह अंतःक्षेपी होने में विफल रहता है (उदा. <math>f(1,0)=(1,0)=f(-1,0)</math>).
+: <math>\det Df_x = 4(x^2+y^2) \neq 0.</math> इस प्रकार, यद्यपि <math>Df_x</math> प्रत्येक बिंदु पर विशेषण है, <math>f</math> व्युत्क्रमणीय नहीं है क्योंकि यह अंतःक्षेपी होने में विफल रहता है। उदाहरण<math>f(1,0)=(1,0)=f(-1,0)</math>).
-</ब्लॉककोट>
-<ब्लॉककोट>
 ; दूसरी टिप्पणी
-बिंदु पर अंतर के बाद से (  अलग समारोह के लिए)
+बिंदु पर अंतर के बाद से अलग फंक्शन के लिए,
-: <math>Df_x : T_xU \to T_{f(x)}V</math>   [[ रैखिक नक्शा |रैखिक नक्शा]] है, इसमें   अच्छी तरह से परिभाषित उलटा है अगर और केवल अगर <math>Df_x</math>   आपत्ति है। [[ मैट्रिक्स (गणित) |मैट्रिक्स (गणित)]] का प्रतिनिधित्व <math>Df_x</math> है <math>n\times n</math> प्रथम-क्रम आंशिक डेरिवेटिव का मैट्रिक्स जिसकी प्रविष्टि में <math>i</math>-वीं पंक्ति और <math>j</math>-वाँ स्तंभ है <math>\partial f_i / \partial x_j</math>. यह तथाकथित [[ जैकबियन मैट्रिक्स |जैकबियन मैट्रिक्स]] अक्सर स्पष्ट संगणनाओं के लिए उपयोग किया जाता है।
+: <math>Df_x : T_xU \to T_{f(x)}V</math> [[ रैखिक नक्शा |रैखिक]] मानचित्र है, इसमें अच्छी प्रकार से परिभाषित उलटा है, केवल यदि <math>Df_x</math> आपत्ति है। [[ मैट्रिक्स (गणित) |आव्यूह (गणित)]] का प्रतिनिधित्व <math>Df_x</math> है <math>n\times n</math> प्रथम-क्रम आंशिक व्युत्पन्न का आव्यूह जिसकी प्रविष्टि में <math>i</math>-वीं पंक्ति और <math>j</math>-वाँ स्तंभ है <math>\partial f_i / \partial x_j</math>. यह तथाकथित [[ जैकबियन मैट्रिक्स |जैकबियन आव्यूह]] अधिकांशतः स्पष्ट संगणनाओं के लिए उपयोग किया जाता है।
-</ब्लॉककोट>
-<ब्लॉककोट>
 ; तीसरी टिप्पणी
-डिफियोमोर्फिज्म अनिवार्य रूप से   ही [[ आयाम |आयाम]] के कई गुना के बीच होते हैं। कल्पना करना <math>f</math> आयाम से जा रहा है <math>n</math> आयाम के लिए <math>k</math>. यदि <math>n<k</math> तब <math>Df_x</math> कभी भी विशेषण नहीं हो सकता, और यदि <math>n>k</math> तब <math>Df_x</math> इंजेक्शन कभी नहीं हो सकता। इसलिए, दोनों ही मामलों में <math>Df_x</math>   आपत्ति होने में विफल रहता है।
+'''डिफियोमोर्फिज्म''' अनिवार्य रूप से ही [[ आयाम |आयाम]] के कई परतों के बीच होते हैं। कल्पना करना <math>f</math> आयाम से जा रहा है <math>n</math> आयाम के लिए <math>k</math>. यदि <math>n<k</math> तब <math>Df_x</math> कभी भी विशेषण नहीं हो सकता और यदि <math>n>k</math> तब <math>Df_x</math> अन्तःक्षेपण कभी नहीं हो सकता। इसलिए, दोनों ही स्थितियों में <math>Df_x</math> आपत्ति होने में विफल रहता है।
 ; चौथी टिप्पणी
-यदि <math>Df_x</math> पर आपत्ति है <math>x</math> तब <math>f</math>   [[ स्थानीय भिन्नता |स्थानीय भिन्नता]] कहा जाता है (चूंकि, निरंतरता से, <math>Df_y</math> भी सभी के लिए विशेषण होगा <math>y</math> काफी करीब <math>x</math>).
+यदि <math>Df_x</math> पर आपत्ति है <math>x</math> तब <math>f</math> [[ स्थानीय भिन्नता |स्थानीय भिन्नता]] कहा जाता है चूंकि, निरंतरता से <math>Df_y</math> भी सभी के लिए विशेषण <math>y</math> और <math>x</math>बहुत समीप होगा।
 ; पांचवीं टिप्पणी
-आयाम से   सहज नक्शा दिया <math>n</math> आयाम के लिए <math>k</math>, यदि <math>Df</math> (या, स्थानीय रूप से, <math>Df_x</math>) विशेषण है, <math>f</math>   जलमग्न (गणित) (या, स्थानीय रूप से,   स्थानीय जलमग्न) कहा जाता है; और अगर <math>Df</math> (या, स्थानीय रूप से, <math>Df_x</math>) इंजेक्शन है, <math>f</math>   [[ विसर्जन (गणित) |विसर्जन (गणित)]] (या, स्थानीय रूप से,   स्थानीय विसर्जन) कहा जाता है।
+आयाम से सरल मानचित्र दिया <math>n</math> आयाम के लिए <math>k</math>, यदि <math>Df</math> , स्थानीय रूप से, <math>Df_x</math> विशेषण है, <math>f</math> जलमग्न गणित, स्थानीय रूप से स्थानीय जलमग्न कहा जाता है और यदि <math>Df</math> , स्थानीय रूप से <math>Df_x</math> अन्तःक्षेपण है, <math>f</math> [[ विसर्जन (गणित) |विसर्जन (गणित)]] , स्थानीय रूप से, स्थानीय विसर्जन कहा जाता है।
 ; छठी टिप्पणी
-अलग-अलग आक्षेप जरूरी नहीं कि   भिन्नता है। <math>f(x)=x^3</math>, उदाहरण के लिए, से   भिन्नता नहीं है <math>\R</math> क्योंकि इसका व्युत्पन्न 0 पर लुप्त हो जाता है (और इसलिए इसका व्युत्क्रम 0 पर अवकलनीय नहीं है)। यह [[ होमियोमोर्फिज्म |होमियोमोर्फिज्म]] का   उदाहरण है जो डिफियोमोर्फिज्म नहीं है।
+अलग-अलग आक्षेप जरूरी नहीं कि भिन्नता है। <math>f(x)=x^3</math>, उदाहरण के लिए से भिन्नता नहीं है, <math>\R</math> क्योंकि इसका व्युत्पन्न 0 पर लुप्त हो जाता है और इसलिए इसका व्युत्क्रम 0 पर अवकलनीय नहीं है। यह [[ होमियोमोर्फिज्म |होमियोमोर्फिज्म]] का उदाहरण है जो डिफियोमोर्फिज्म नहीं है।
 ; सातवीं टिप्पणी
-कब <math>f</math> डिफरेंशियल मैनिफोल्ड्स के बीच   मैप है,   डिफियोमॉर्फिक <math>f</math> होमियोमॉर्फिक की तुलना में   मजबूत स्थिति है <math>f</math>. डिफियोमोर्फिज्म के लिए, <math>f</math> और इसके व्युत्क्रम को डिफरेंशियल मैनिफोल्ड डिफरेंशियल फंक्शन होना चाहिए; होमियोमोर्फिज्म के लिए, <math>f</math> और इसके व्युत्क्रम को केवल [[ निरंतर कार्य |निरंतर कार्य]] होना चाहिए। प्रत्येक भिन्नता   होमियोमोर्फिज्म है, लेकिन प्रत्येक होमियोमोर्फिज्म   भिन्नता नहीं है।
+कब <math>f</math> अवकल कई परतों के बीच मानचित्र है, डिफियोमॉर्फिक <math>f</math> होमियोमॉर्फिक की तुलना में शक्तिशाली स्थिति है <math>f</math>. डिफियोमोर्फिज्म के लिए, <math>f</math> और इसके व्युत्क्रम को अवकल कई परत अवकल फंक्शन होना चाहिए, होमियोमोर्फिज्म के लिए, <math>f</math> और इसके व्युत्क्रम को केवल [[ निरंतर कार्य |निरंतर कार्य]] होना चाहिए। प्रत्येक भिन्नता होमियोमोर्फिज्म है, किन्तु प्रत्येक होमियोमोर्फिज्म भिन्नता नहीं है।
-<math>f:M\to N</math> डिफियोमोर्फिज्म कहा जाता है, यदि मैनिफोल्ड डिफरेंशिएबल मैनिफोल्ड्स में, यह उपरोक्त परिभाषा को पूरा करता है। अधिक सटीक: का कोई भी कवर चुनें <math>M</math> संगत मैनिफोल्ड द्वारा # अलग-अलग मैनिफोल्ड और इसके लिए भी ऐसा ही करें <math>N</math>. होने देना <math>\phi</math> और <math>\psi</math> क्रमशः चार्ट बनें, <math>M</math> और <math>N</math>, साथ <math>U</math> और <math>V</math> के रूप में, क्रमशः, की छवियां <math>\phi</math> और <math>\psi</math>. वो नक्शा <math>\psi f\phi^{-1}:U\to V</math> ऊपर की परिभाषा के अनुसार, जब भी,   भिन्नता है <math>f(\phi^{-1}(U))\subseteq\psi^{-1}(V)</math>.
+<math>f:M\to N</math> डिफियोमोर्फिज्म कहा जाता है, यदि कई परत किन्तुविभेदक कई परतों में, यह उपरोक्त परिभाषा को पूरा करता है। अधिक सटीक का कोई भी आवरण चुनें <math>M</math> संगत कई परत द्वारा अलग-अलग कई परत और इसके लिए भी ऐसा ही करें <math>N</math>. माना कि <math>\phi</math> और <math>\psi</math> क्रमशः चार्ट बनें, <math>M</math> और <math>N</math>, साथ <math>U</math> और <math>V</math> के रूप में, क्रमशः, छवियां <math>\phi</math> और <math>\psi</math>. वो मानचित्र <math>\psi f\phi^{-1}:U\to V</math> ऊपर की परिभाषा के अनुसार, जब भी, भिन्नता है <math>f(\phi^{-1}(U))\subseteq\psi^{-1}(V)</math>.
 == उदाहरण ==
-चूंकि किसी भी मैनिफोल्ड को स्थानीय रूप से पैरामीट्रिज किया जा सकता है, इसलिए हम कुछ स्पष्ट मानचित्रों पर विचार कर सकते हैं <math>\R^2</math> में <math>\R^2</math>.
+चूंकि किसी भी कई परत को स्थानीय रूप से पैरामिट्रीकृत किया जा सकता है, इसलिए हम कुछ स्पष्ट मानचित्रों पर विचार कर सकते हैं <math>\R^2</math> में <math>\R^2</math>.
-* होने देना
+* माना कि
-:: <math>f(x,y) = \left (x^2 + y^3, x^2 - y^3 \right ).</math> : हम जैकबियन मैट्रिक्स की गणना कर सकते हैं।
+:: <math>f(x,y) = \left (x^2 + y^3, x^2 - y^3 \right ).</math> हम जैकबियन आव्यूह की गणना कर सकते हैं।
 :: <math> J_f = \begin{pmatrix} 2x & 3y^2 \\ 2x & -3y^2 \end{pmatrix} . </math>
-: जेकोबियन आव्यूह में शून्य सारणिक होता है यदि और केवल यदि <math>xy=0</math>. हम देखते है कि <math>f</math> से केवल   भिन्नता हो सकती है <math>x</math>-अक्ष और <math>y</math>- ्सिस। हालांकि, <math>f</math> के बाद से विशेषण नहीं है <math>f(x,y)=f(-x,y)</math>, और इस प्रकार यह   भिन्नता नहीं हो सकती।
+: जेकोबियन आव्यूह में शून्य सारणिक होता है यदि और केवल यदि <math>xy=0</math>. हम देखते है कि <math>f</math> से केवल भिन्नता हो सकती है <math>x</math>-अक्ष और <math>y</math>- अक्ष। चूँकि, <math>f</math> के बाद से विशेषण नहीं है <math>f(x,y)=f(-x,y)</math>, और इस प्रकार यह भिन्नता नहीं हो सकती।
-* होने देना
+* माना कि
-:: <math>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 )</math> : जहां <math>a_{i,j}</math> और <math>b_{i,j}</math> मनमाना [[ वास्तविक संख्या |वास्तविक संख्या]] एं हैं, और छोड़े गए शब्द x और y में कम से कम दो डिग्री के हैं। हम जैकबियन मैट्रिक्स की गणना '0' पर कर सकते हैं:
+:: <math>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 )</math> : जहां <math>a_{i,j}</math> और <math>b_{i,j}</math> मनमाना [[ वास्तविक संख्या |वास्तविक संख्या]] एं हैं, और छोड़े गए शब्द x और y में कम से कम दो डिग्री के हैं। हम जैकबियन आव्यूह की गणना '0' पर कर सकते हैं।
 :: <math> J_g(0,0) = \begin{pmatrix} a_{1,0} & a_{0,1} \\ b_{1,0} & b_{0,1} \end{pmatrix}. </math>
-: हम देखते हैं कि जी '0' पर   स्थानीय भिन्नता है, अगर और केवल अगर,
+: हम देखते हैं कि जी '0' पर स्थानीय भिन्नता है, यदि और केवल यदि,
 :: <math>a_{1,0}b_{0,1} - a_{0,1}b_{1,0} \neq 0,</math>
-: यानी जी के घटकों में रैखिक शब्द [[ बहुपद |बहुपद]] के रूप में [[ रैखिक रूप से स्वतंत्र |रैखिक रूप से स्वतंत्र]] हैं।
+: अर्थात जी के घटकों में रैखिक शब्द [[ बहुपद |बहुपद]] के रूप में [[ रैखिक रूप से स्वतंत्र |रैखिक रूप से स्वतंत्र]] हैं।
-* होने देना
+* माना कि
 :: <math>h(x,y) = \left (\sin(x^2 + y^2), \cos(x^2 + y^2) \right ).</math>
-: हम जैकबियन मैट्रिक्स की गणना कर सकते हैं:
+: हम जैकबियन आव्यूह की गणना कर सकते हैं।
 :: <math> 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} . </math>
-: जेकोबियन मैट्रिक्स में हर जगह शून्य निर्धारक है! वास्तव में हम देखते हैं कि h का प्रतिबिम्ब इकाई वृत्त है।
+: जेकोबियन आव्यूह में हर जगह शून्य निर्धारक है! वास्तव में हम देखते हैं कि h का प्रतिबिम्ब इकाई वृत्त है।
 === सतह विकृति ===
-[[ यांत्रिकी | यांत्रिकी]] में,   तनाव-प्रेरित परिवर्तन को [[ विरूपण (यांत्रिकी) |विरूपण (यांत्रिकी)]] कहा जाता है और इसे   भिन्नता द्वारा वर्णित किया जा सकता है।
+[[ यांत्रिकी | यांत्रिकी]] में तनाव-प्रेरित परिवर्तन को [[ विरूपण (यांत्रिकी) |विरूपण (यांत्रिकी)]] कहा जाता है और इसे भिन्नता द्वारा वर्णित किया जा सकता है। भिन्नता <math>f:U\to V</math> दो [[ सतह (टोपोलॉजी) |सतह (सांस्थिति)]] के बीच <math>U</math> और <math>V</math> जैकबियन आव्यूह है <math>Df</math> यह [[ उलटा मैट्रिक्स |उलटा आव्यूह]] है। वास्तव में यह आवश्यक है कि <math>p</math> में <math>U</math>, का [[ पड़ोस (टोपोलॉजी) |निकट (सांस्थिति)]] है <math>p</math> जिसमें जैकोबियन <math>Df</math> उलटा आव्यूह | अ- वचन रहता है। मान लीजिए कि सतह के चार्ट में, <math>f(x,y) = (u,v).</math>यू का [[ कुल अंतर |कुल अंतर]] है
-भिन्नता <math>f:U\to V</math> दो [[ सतह (टोपोलॉजी) |सतह (टोपोलॉजी)]] के बीच <math>U</math> और <math>V</math> जैकबियन मैट्रिक्स है <math>Df</math> यह   [[ उलटा मैट्रिक्स |उलटा मैट्रिक्स]] है। वास्तव में, यह आवश्यक है कि के लिए <math>p</math> में <math>U</math>, का   [[ पड़ोस (टोपोलॉजी) |पड़ोस (टोपोलॉजी)]] है <math>p</math> जिसमें जैकोबियन <math>Df</math> उलटा मैट्रिक्स | गैर- वचन रहता है। मान लीजिए कि सतह के   चार्ट में, <math>f(x,y) = (u,v).</math>
+:<math>du = \frac{\partial u}{\partial x} dx +  \frac{\partial u}{\partial y} dy</math>, और इसी प्रकार वी के लिए।
-यू का [[ कुल अंतर |कुल अंतर]] है
+फिर छवि <math> (du, dv) = (dx, dy) Df </math> [[ रैखिक परिवर्तन |रैखिक परिवर्तन]] है, मूल को ठीक करना और विशेष प्रकार की जटिल संख्या की क्रिया के रूप में अभिव्यक्त करना। जब डीएक्स,-डीई को उस प्रकार की जटिल संख्या के रूप में भी व्याख्या किया जाता है, तो क्रिया उचित जटिल संख्या विमान में जटिल गुणन की होती है। जैसे, प्रकार का [[ कोण |कोण]] , [[ अतिशयोक्तिपूर्ण कोण |अतिशयोक्तिपूर्ण कोण]] , [[ ढलान |ढलान]] है जो इस प्रकार के गुणन में संरक्षित है। D f व्युत्क्रमणीय होने के कारण सम्मिश्र संख्या का प्रकार सतह पर समान होता है। परिणाम स्वरुप , सतहों के विरूपण और भिन्नता के संरक्षण उचित प्रकार के कोणों की 'अनुरूप संपत्ति' होती है।
-:<math>du = \frac{\partial u}{\partial x} dx +  \frac{\partial u}{\partial y} dy</math>, और इसी तरह वी के लिए।
-फिर छवि <math> (du, dv) = (dx, dy) Df </math>   [[ रैखिक परिवर्तन |रैखिक परिवर्तन]] है, मूल को ठीक करना, और   विशेष प्रकार की जटिल संख्या की क्रिया के रूप में अभिव्यक्त करना। जब (डी ्स,-डीई) को उस प्रकार की जटिल संख्या के रूप में भी व्याख्या किया जाता है, तो क्रिया उचित जटिल संख्या विमान में जटिल गुणन की होती है। जैसे,   प्रकार का [[ कोण |कोण]] (कोण, [[ अतिशयोक्तिपूर्ण कोण |अतिशयोक्तिपूर्ण कोण]] , या [[ ढलान |ढलान]] ) है जो इस तरह के गुणन में संरक्षित है। Df व्युत्क्रमणीय होने के कारण सम्मिश्र संख्या का प्रकार सतह पर  समान होता है। नतीजतन, सतहों के   सतह विरूपण या भिन्नता के संरक्षण (उचित प्रकार के) कोणों की 'अनुरूप संपत्ति' होती है।
 == डिफियोमोर्फिज्म समूह ==
-होने देना <math>M</math>   अलग करने योग्य कई गुना हो जो कि दूसरी-गणनीय और हौसडॉर्फ अंतरिक्ष है। द डिफियोमोर्फिज्म ग्रुप ऑफ <math>M</math> सभी का [[ समूह (गणित) |समूह (गणित)]] है <math>C^r</math> के डिफियोमोर्फिज्म <math>M</math> खुद के लिए, द्वारा निरूपित <math>\text{Diff}^r(M)</math> या जब <math>r</math> विदित है, <math>\text{Diff}(M)</math>. यह   बड़ा समूह है, इस अर्थ में कि—प्रदान किया गया <math>M</math> शून्य-आयामी नहीं है—यह स्थानीय रूप से सघन नहीं है।
+माना कि <math>M</math> अलग करने योग्य कई परतों हो जो कि दूसरी-गणनीय और हौसडॉर्फ स्थान है। डिफियोमोर्फिज्म समूह <math>M</math> सभी का [[ समूह (गणित) |समूह (गणित)]] है <math>C^r</math> के डिफियोमोर्फिज्म <math>M</math> स्वयं के लिए द्वारा निरूपित <math>\text{Diff}^r(M)</math>, जब <math>r</math> विदित है, <math>\text{Diff}(M)</math>. यह बड़ा समूह है, इस अर्थ में कि—प्रदान किया गया <math>M</math> शून्य-आयामी नहीं है—यह स्थानीय रूप से सघन नहीं है।
-=== टोपोलॉजी ===
+=== सांस्थिति ===
-डिफियोमोर्फिज्म समूह में दो प्राकृतिक [[ टोपोलॉजिकल स्पेस |टोपोलॉजिकल स्पेस]] हैं। कमजोर और मजबूत {{harv|Hirsch|1997}}। जब मैनिफोल्ड [[ कॉम्पैक्ट जगह |कॉम्पैक्ट जगह]] होता है, तो ये दो टोपोलॉजी सहमत होती हैं। कमजोर टोपोलॉजी हमेशा [[ मेट्रिजेबल स्पेस |मेट्रिजेबल स्पेस]] होती है। जब मैनिफोल्ड कॉम्पैक्ट नहीं होता है, तो मजबूत टोपोलॉजी अनंत पर कार्यों के व्यवहार को पकड़ लेती है और मेट्रिजेबल नहीं होती है। हालाँकि, यह अभी भी [[ बाहर की जगह |बाहर की जगह]] है।
+डिफियोमोर्फिज्म समूह में दो प्राकृतिक [[संस्थागत सिद्धांत|संस्थानिक स्थान]] हैं। कमजोर और शक्तिशाली {{harv|Hirsch|1997}}। जब कई परत [[ कॉम्पैक्ट जगह |सघन जगह]] होता है, तो ये दो सांस्थिति सहमत होती हैं। कमजोर सांस्थिति सदैव [[ मेट्रिजेबल स्पेस |मेट्रिजेबल जगह]] होती है। जब कई परत सघन नहीं होता है, तो शक्तिशाली सांस्थिति अनंत पर कार्यों के व्यवहार को पकड़ लेती है और मेट्रिजेबल नहीं होती है। चूंकि, यह अभी भी [[ बाहर की जगह |बाहर की जगह]] है।
-[[ रिमेंनियन मीट्रिक | रिमेंनियन मीट्रिक]] चालू कर रहा हूँ <math>M</math>कमजोर टोपोलॉजी मेट्रिक्स के परिवार द्वारा प्रेरित टोपोलॉजी है
+[[ रिमेंनियन मीट्रिक | रिमेंनियन दशांश]] चालू कर रहा हूँ <math>M</math> कमजोर सांस्थिति मेट्रिक्स के परिवार द्वारा प्रेरित सांस्थिति है।
 : <math>d_K(f,g) = \sup\nolimits_{x\in K} d(f(x),g(x)) + \sum\nolimits_{1\le p\le r} \sup\nolimits_{x\in K} \left \|D^pf(x) - D^pg(x) \right \|</math>
-जैसा <math>K</math> के कॉम्पैक्ट सबसेट में भिन्न होता है <math>M</math>. दरअसल, तब से <math>M</math> है <math>\sigma</math>-कॉम्पैक्ट, कॉम्पैक्ट सबसेट का   क्रम है <math>K_n</math> जिसका [[ संघ (सेट सिद्धांत) |संघ (सेट सिद्धांत)]] है <math>M</math>. फिर:
+जैसा <math>K</math> के सघन उप-समूचय में भिन्न होता है <math>M</math>. वास्तव में तब से <math>M</math> है <math>\sigma</math>-सघन उप-समूचय का क्रम है <math>K_n</math> जिसका [[ संघ (सेट सिद्धांत) |संघ (समूह सिद्धांत)]] है <math>M</math>. फिर।
 : <math>d(f,g) = \sum\nolimits_n 2^{-n}\frac{d_{K_n}(f,g)}{1+d_{K_n}(f,g)}.</math>
-अपनी कमजोर टोपोलॉजी से लैस डिफोमोर्फिज्म समूह स्थानीय रूप से अंतरिक्ष के लिए होमोमोर्फिक है <math>C^r</math> वेक्टर क्षेत्र {{harv|Leslie|1967}}. के   कॉम्पैक्ट सबसेट पर <math>M</math>, इसके बाद रिमेंनियन मेट्रिक को फिक्स किया जाता है <math>M</math> और उस मीट्रिक के लिए घातीय मानचित्र (रीमैनियन ज्यामिति) का उपयोग करना। यदि <math>r</math> परिमित है और कई गुना कॉम्पैक्ट है, सदिश क्षेत्रों का स्थान   [[ बनच स्थान |बनच स्थान]] है। इसके अलावा, इस एटलस के   चार्ट से दूसरे चार्ट में संक्रमण के नक्शे सुचारू हैं, जो डिफियोमोर्फिज्म समूह को   [[ बनच कई गुना |बनच कई गुना]] में सुचारू रूप से सही अनुवाद के साथ बनाते हैं; बाएं अनुवाद और व्युत्क्रम केवल निरंतर हैं। यदि <math>r=\infty</math>, सदिश क्षेत्रों का स्थान   फ्रेचेट स्थान है। इसके अलावा, ट्रांज़िशन मैप सुचारू हैं, डिफियोमोर्फिज्म समूह को   फ्रेचेट मैनिफोल्ड में और यहां तक कि   सुविधाजनक वेक्टर स्पेस#रेगुलर लाइ ग्रुप्स|रेगुलर फ्रेचेट लाइ ग्रुप में बनाते हैं। अगर कई गुना है <math>\sigma</math>-कॉम्पैक्ट और कॉम्पैक्ट नहीं, पूर्ण भिन्नता समूह दो टोपोलॉजी में से किसी के लिए स्थानीय रूप से अनुबंधित नहीं है।   विविधता समूह प्राप्त करने के लिए अनंत के पास की पहचान से विचलन को नियंत्रित करके समूह को प्रतिबंधित करना होगा जो कि कई गुना है; देखो {{harv|Michor|Mumford|2013}}.
+अपनी कमजोर सांस्थिति से लैस डिफोमोर्फिज्म समूह स्थानीय रूप से स्थान के लिए होमोमोर्फिक है। <math>C^r</math> वेक्टर क्षेत्र {{harv|Leslie|1967}}. के सघन उप-समूचय पर <math>M</math>, इसके बाद रिमेंनियन मेट्रिक को निश्चित किया जाता है <math>M</math> और उस दशांश के लिए घातीय मानचित्र रीमैनियन ज्यामिति का उपयोग करना। यदि <math>r</math> परिमित है और कई परतों सघन है, सदिश क्षेत्रों का स्थान [[ बनच स्थान |बनच स्थान]] है। इसके अतिरिक्त, इस एटलस के चार्ट से दूसरे चार्ट में संक्रमण के मानचित्र सुचारू हैं, जो डिफियोमोर्फिज्म समूह को [[ बनच कई गुना |बनच कई परतों]] में सुचारू रूप से सही अनुवाद के साथ बनाते हैं, बाएं अनुवाद और व्युत्क्रम केवल निरंतर हैं। यदि <math>r=\infty</math>, सदिश क्षेत्रों का स्थान फ्रेचेट स्थान है। इसके अतिरिक्त, संक्रमण मानचित्र सुचारू हैं, डिफियोमोर्फिज्म समूह को फ्रेचेट कई परत में और यहां तक कि सुविधाजनक वेक्टर जगह नियमित झूठ समूह में बनाते हैं। यदि कई परतों है <math>\sigma</math>-सघन और पूर्ण भिन्नता समूह दो सांस्थिति में से किसी के लिए स्थानीय रूप से अनुबंधित नहीं है। विविधता समूह प्राप्त करने के लिए अनंत के पास की पहचान से विचलन को नियंत्रित करके समूह को प्रतिबंधित करना होगा जो कि कई परतों है। देखो {{harv|मिकोर|ममफोर्ड|2013}}.
 === [[ झूठ बीजगणित ]] ===
-डिफियोमोर्फिज्म समूह का झूठ बीजगणित <math>M</math> सभी [[ वेक्टर क्षेत्र |वेक्टर क्षेत्र]] शामिल हैं <math>M</math> सदिश क्षेत्रों के लेट ब्रैकेट से सुसज्जित। कुछ हद तक औपचारिक रूप से, इसे निर्देशांक में   छोटा परिवर्तन करके देखा जाता है <math>x</math> अंतरिक्ष में प्रत्येक बिंदु पर:
+डिफियोमोर्फिज्म समूह का झूठ बीजगणित <math>M</math> सभी [[ वेक्टर क्षेत्र |वेक्टर क्षेत्र]] सम्मलित हैं <math>M</math> सदिश क्षेत्रों के देर ब्रैकेट से सुसज्जित है। कुछ सीमा तक औपचारिक रूप से इसे निर्देशांक में छोटा परिवर्तन करके देखा जाता है। <math>x</math> स्थान में प्रत्येक बिंदु पर:
 : <math>x^{\mu} \mapsto x^{\mu} + \varepsilon h^{\mu}(x)</math>
-अत: अतिसूक्ष्म जनित्र सदिश क्षेत्र हैं
+अत: अतिसूक्ष्म जनित्र सदिश क्षेत्र हैं,
 : <math> L_{h} = h^{\mu}(x)\frac{\partial}{\partial x^\mu}.</math>
 === उदाहरण ===
-* कब <math>M=G</math>   [[ झूठ समूह |झूठ समूह]] है, का   स्वाभाविक समावेश है <math>G</math> वाम-अनुवाद के माध्यम से अपने स्वयं के डिफोमोर्फिज्म समूह में। होने देना <math>\text{Diff}(G)</math> के डिफोमोर्फिज्म समूह को निरूपित करें <math>G</math>, तब विभाजन होता है <math>\text{Diff}(G)\simeq G\times\text{Diff}(G,e)</math>, कहां <math>\text{Diff}(G,e)</math> का [[ उपसमूह |उपसमूह]] है <math>\text{Diff}(G)</math> जो समूह के [[ पहचान तत्व |पहचान तत्व]] को ठीक करता है।
+* जब <math>M=G</math> [[ झूठ समूह |झूठ समूह]] स्वाभाविक समावेश है <math>G</math> वाम-अनुवाद के माध्यम से अपने स्वयं के डिफोमोर्फिज्म समूह में। माना कि <math>\text{Diff}(G)</math> के डिफोमोर्फिज्म समूह को निरूपित करें <math>G</math>, तब विभाजन होता है <math>\text{Diff}(G)\simeq G\times\text{Diff}(G,e)</math>, जहां <math>\text{Diff}(G,e)</math> का [[ उपसमूह |उपसमूह]] है <math>\text{Diff}(G)</math> जो समूह के [[ पहचान तत्व |पहचान तत्व]] को ठीक करता है।
-* यूक्लिडियन अंतरिक्ष का डिफियोमोर्फिज्म समूह <math>\R^n</math> इसमें दो घटक होते हैं, जिसमें ओरिएंटेशन-संरक्षण और ओरिएंटेशन-रिवर्सिंग डिफियोमोर्फिज्म शामिल हैं। वास्तव में, सामान्य रेखीय समूह उपसमूह का   विरूपण पीछे हटना है <math>\text{Diff}(\R^n,0)</math> नक्शे के नीचे उत्पत्ति को ठीक करने वाले डिफियोमोर्फिज्म <math>f(x)\to f(tx)/t, t\in(0,1]</math>. विशेष रूप से, सामान्य रेखीय समूह भी पूर्ण अंतररूपता समूह का   विरूपण प्रतिगमन है।
+* यूक्लिडियन स्थान का डिफियोमोर्फिज्म समूह <math>\R^n</math> इसमें दो घटक होते हैं, जिसमें अभिविन्यास-संरक्षण और अभिविन्यास-उलटा चला डिफियोमोर्फिज्म सम्मलित हैं। वास्तव में सामान्य रेखीय समूह उपसमूह का विरूपण पीछे हटना है। <math>\text{Diff}(\R^n,0)</math> मानचित्र के नीचे उत्पत्ति को ठीक करने वाले डिफियोमोर्फिज्म <math>f(x)\to f(tx)/t, t\in(0,1]</math>. विशेष रूप से, सामान्य रेखीय समूह भी पूर्ण अंतररूपता समूह का विरूपण प्रतिगमन है।
-* अंकों के   परिमित [[ सेट (गणित) |सेट (गणित)]] के लिए, भिन्नता समूह केवल [[ सममित समूह |सममित समूह]] है। इसी प्रकार यदि <math>M</math> क्या कई गुना है   [[ समूह विस्तार |समूह विस्तार]] है <math>0\to\text{Diff}_0(M)\to\text{Diff}(M)\to\Sigma(\pi_0(M))</math>. यहां <math>\text{Diff}_0(M)</math> का उपसमूह है <math>\text{Diff}(M)</math> जो सभी घटकों को सुरक्षित रखता है <math>M</math>, और <math>\Sigma(\pi_0(M))</math> सेट का क्रमपरिवर्तन समूह है <math>\pi_0(M)</math> (के घटक <math>M</math>). इसके अलावा, मानचित्र की छवि <math>\text{Diff}(M)\to\Sigma(\pi_0(M))</math> की आपत्ति है <math>\pi_0(M)</math> जो डिफोमोर्फिज्म क्लासेस को संरक्षित करता है।
+* अंकों के परिमित [[ सेट (गणित) |समूह (गणित)]] के लिए भिन्नता समूह केवल [[ सममित समूह |सममित समूह]] है। इसी प्रकार यदि <math>M</math> क्या कई परतों है [[ समूह विस्तार |समूह विस्तार]] है <math>0\to\text{Diff}_0(M)\to\text{Diff}(M)\to\Sigma(\pi_0(M))</math>. यहां <math>\text{Diff}_0(M)</math> का उपसमूह है <math>\text{Diff}(M)</math> जो सभी घटकों को सुरक्षित रखता है <math>M</math>, और <math>\Sigma(\pi_0(M))</math> समूह का क्रमपरिवर्तन समूह है <math>\pi_0(M)</math> के घटक <math>M</math>। इसके अतिरिक्त मानचित्र की छवि <math>\text{Diff}(M)\to\Sigma(\pi_0(M))</math> की आपत्ति है <math>\pi_0(M)</math> जो डिफोमोर्फिज्म क्लासेस को संरक्षित करता है।
 ===संक्रमणशीलता===
-जुड़े कई गुना के लिए <math>M</math>, डिफियोमोर्फिज्म ग्रुप ग्रुप  ्शन (गणित) Group_action#Types_of_actions on <math>M</math>. अधिक आम तौर पर, भिन्नता समूह [[ विन्यास स्थान (भौतिकी) |विन्यास स्थान (भौतिकी)]] पर सकर्मक रूप से कार्य करता है <math>C_k M</math>. यदि <math>M</math> कम से कम द्वि-आयामी है, डिफोमोर्फिज्म समूह विन्यास स्थान (भौतिकी) पर सकर्मक रूप से कार्य करता है <math>F_k M</math> और कार्रवाई चालू <math>M</math> समूह क्रिया है (गणित)#कार्रवाई के प्रकार {{harv|Banyaga|1997|p=29}}.
+जुड़े कई परतों के लिए <math>M</math>, डिफियोमोर्फिज्म ग्रुप ग्रुप ्शन (गणित) Group_action#Types_of_actions on <math>M</math>. अधिक आम तौर पर, भिन्नता समूह [[ विन्यास स्थान (भौतिकी) |विन्यास स्थान (भौतिकी)]] पर सकर्मक रूप से कार्य करता है <math>C_k M</math>. यदि <math>M</math> कम से कम द्वि-आयामी है, डिफोमोर्फिज्म समूह विन्यास स्थान (भौतिकी) पर सकर्मक रूप से कार्य करता है <math>F_k M</math> और कार्रवाई चालू <math>M</math> समूह क्रिया है (गणित)#कार्रवाई के प्रकार {{harv|Banyaga|1997|p=29}}.
 === डिफियोमोर्फिज्म का विस्तार ===
-में, टिबोर राडो ने पूछा कि क्या [[ यूनिट डिस्क |यूनिट डिस्क]] के यूनिट सर्कल के किसी भी होमोमोर्फिज्म या डिफियोमोर्फिज्म का [[ पोइसन अभिन्न |पोइसन अभिन्न]] ओपन डिस्क पर डिफियोमोर्फिज्म पैदा करता है। कुछ ही समय बाद [[ हेलमथ केसर |हेलमथ केसर]] द्वारा   सुंदर प्रमाण प्रदान किया गया। 1945 में, गुस्ताव चॉक्वेट, जाहिर तौर पर इस परिणाम से अनभिज्ञ थे, उन्होंने   पूरी तरह से अलग प्रमाण प्रस्तुत किया।
+में टिबोर राडो ने पूछा कि क्या [[ यूनिट डिस्क |इकाई डिस्क]] के इकाई वृत्त के किसी भी होमोमोर्फिज्म और डिफियोमोर्फिज्म का [[ पोइसन अभिन्न |पोइसन अभिन्न]] विवृत डिस्क पर डिफियोमोर्फिज्म उत्पन्न करता है। कुछ ही समय बाद [[ हेलमथ केसर |हेलमथ केसर]] द्वारा सुंदर प्रमाण प्रदान किया गया। 1945 में, गुस्ताव चॉक्वेट, स्पष्ट रूप से इस परिणाम से अनभिज्ञ थे, उन्होंने पूरी प्रकार से अलग प्रमाण प्रस्तुत किया।
-सर्कल का (अभिविन्यास-संरक्षण) डिफियोमोर्फिज्म समूह पथ के अनुसार जुड़ा हुआ है। इसे इस बात पर ध्यान देकर देखा जा सकता है कि इस तरह के किसी भी भिन्नता को   भिन्नता के रूप में उठाया जा सकता है <math>f</math> वास्तविक संतोषजनक <math>[f(x+1)=f(x)+1]</math>; यह स्थान उत्तल है और इसलिए पथ से जुड़ा हुआ है। पहचान के लिए   चिकनी, अंततः निरंतर पथ सर्कल से ओपन यूनिट डिस्क ([[ अलेक्जेंडर चाल | अलेक्जेंडर चाल]] का   विशेष मामला) के लिए   भिन्नता का विस्तार करने का दूसरा और प्राथमिक तरीका देता है। इसके अलावा, सर्कल के डिफोमोर्फिज्म ग्रुप में [[ ऑर्थोगोनल समूह |ऑर्थोगोनल समूह]] का होमोटॉपी-टाइप है <math>O(2)</math>.
+वृत्त का अभिविन्यास-संरक्षण डिफियोमोर्फिज्म समूह पथ के अनुसार जुड़ा हुआ है। इसे इस बात पर ध्यान देकर देखा जा सकता है कि इस प्रकार के किसी भी भिन्नता को भिन्नता के रूप में उठाया जा सकता है <math>f</math> वास्तविक संतोषजनक <math>[f(x+1)=f(x)+1]</math>, यह स्थान उत्तल है और इसलिए पथ से जुड़ा हुआ है। पहचान के लिए चिकनी, अंततः निरंतर पथ वृत्त से विवृत इकाई डिस्क [[ अलेक्जेंडर चाल |अलेक्जेंडर चाल]] का विशेष स्थिति के लिए भिन्नता का विस्तार करने का दूसरा और प्राथमिक विधि देता है। इसके अतिरिक्त, वृत्त के डिफोमोर्फिज्म ग्रुप में [[ ऑर्थोगोनल समूह |ऑर्थोगोनल समूह]] का होमोटॉपी-प्रकार <math>O(2)</math> है।
-उच्च-आयामी क्षेत्रों के डिफियोमोर्फिज्म के लिए संगत विस्तार समस्या <math>S^{n-1}</math> 1950 और 1960 के दशक में रेने थॉम, [[ जॉन मिल्नोर |जॉन मिल्नोर]] और [[ स्टीफन स्मेल |स्टीफन स्मेल]] के उल्लेखनीय योगदान के साथ बहुत अधिक अध्ययन किया गया था। परिमित [[ एबेलियन समूह |एबेलियन समूह]] द्वारा इस तरह के विस्तार में बाधा दी जाती है <math>\Gamma_n</math>,  ्सोटिक स्फेयर#ट्विस्टेड स्फीयर, गेंद के डिफियोमोर्फिज्म तक फैले वर्गों के उपसमूह द्वारा डिफेओमोर्फिज्म समूह के एबेलियन [[ घटक समूह |घटक समूह]] के भागफल समूह के रूप में परिभाषित किया गया <math>B^n</math>.
+उच्च-आयामी क्षेत्रों के डिफियोमोर्फिज्म के लिए संगत विस्तार समस्या <math>S^{n-1}</math> 1950 और 1960 के दशक में रेने थॉम, [[ जॉन मिल्नोर |जॉन मिल्नोर]] और [[ स्टीफन स्मेल |स्टीफन गंध]] के उल्लेखनीय योगदान के साथ बहुत अधिक अध्ययन किया गया था। परिमित [[ एबेलियन समूह |एबेलियन समूह]] द्वारा इस प्रकार के विस्तार में बाधा दी जाती है <math>\Gamma_n</math>,विदेशी क्षेत्र मुड़ क्षेत्र, गेंद के डिफियोमोर्फिज्म तक फैले वर्गों के उपसमूह द्वारा डिफेओमोर्फिज्म समूह के एबेलियन [[ घटक समूह |घटक समूह]] <math>B^n</math> के भागफल समूह के रूप में परिभाषित किया गया।
 === जुड़ाव ===
-कई गुना के लिए, भिन्नता समूह आमतौर पर जुड़ा नहीं होता है। इसके घटक समूह को [[ मानचित्रण वर्ग समूह |मानचित्रण वर्ग समूह]] कहा जाता है। डायमेंशन 2 (यानी सरफेस (टोपोलॉजी)) में, मैपिंग क्लास ग्रुप [[ स्ट्रेच ट्विस्ट |स्ट्रेच ट्विस्ट]] ([[ मैक्स डेहन ]], डब्ल्यू.बी.आर. लिकोरिश, [[ एलन हैचर |एलन हैचर]] ) द्वारा उत्पन्न   सूक्ष्म रूप से प्रस्तुत समूह है। मैक्स डेहन और [[ जैकब नीलसन (गणितज्ञ) |जैकब नीलसन (गणितज्ञ)]] ने दिखाया कि इसे सतह के [[ मौलिक समूह |मौलिक समूह]] के बाहरी ऑटोमोर्फिज़्म समूह के साथ पहचाना जा सकता है।
+कई परतों के लिए भिन्नता समूह सामान्यतः जुड़ा नहीं होता है। इसके घटक समूह को [[ मानचित्रण वर्ग समूह |मानचित्रण वर्ग समूह]] कहा जाता है। आयाम 2 अर्थात सतह sसांस्थिति में मानचित्रण वर्ग समूह [[ स्ट्रेच ट्विस्ट |खिंचाव मोड़]],[[ मैक्स डेहन ]], [[डब्ल्यू.बी.आर. लिकोरिश]], [[ एलन हैचर |एलन हैचर]] द्वारा उत्पन्न सूक्ष्म रूप से प्रस्तुत समूह है। मैक्स डेहन और [[ जैकब नीलसन (गणितज्ञ) |जैकब नीलसन (गणितज्ञ)]] ने दिखाया कि इसे सतह के [[ मौलिक समूह |मौलिक समूह]] के बाहरी ऑटोमोर्फिज़्म समूह के साथ पहचाना जा सकता है।
-[[ विलियम थर्स्टन | विलियम थर्स्टन]] ने [[ नीलसन-थर्स्टन वर्गीकरण |नीलसन-थर्स्टन वर्गीकरण]] द्वारा इस विश्लेषण को तीन प्रकारों में परिष्कृत किया: वे   आवधिक कार्य के समतुल्य #आवधिक मानचित्रण भिन्नता;   साधारण बंद वक्र अपरिवर्तनीय छोड़ने वाले डिफियोमोर्फिज्म के समतुल्य; और छद्म-अनोसोव मानचित्र|छद्म-अनोसोव डिफेओमोर्फिज्म के समतुल्य। [[ टोरस्र्स |टोरस्र्स]] के मामले में <math>S^1\times S^1=\R^2/\Z^2</math>, मैपिंग क्लास ग्रुप केवल [[ मॉड्यूलर समूह |मॉड्यूलर समूह]] है <math>\text{SL}(2,\Z)</math> और वर्गीकरण मोबियस ट्रांसफॉर्मेशन#एलिप्टिक ट्रांसफॉर्मेशन, मोबियस ट्रांसफॉर्मेशन#पैराबोलिक ट्रांसफॉर्मेशन और मोबियस ट्रांसफॉर्मेशन#हाइपरबोलिक ट्रांसफॉर्म मैट्रिसेस के संदर्भ में शास्त्रीय हो जाता है। थर्स्टन ने यह देखते हुए अपने वर्गीकरण को पूरा किया कि मानचित्रण वर्ग समूह ने स्वाभाविक रूप से टेकमुलर अंतरिक्ष के   [[ संघनन (गणित) |संघनन (गणित)]] पर कार्य किया; चूंकि यह बढ़ा हुआ स्थान   बंद गेंद के लिए होमियोमॉर्फिक था, इसलिए [[ ब्रोवर फिक्स्ड-पॉइंट प्रमेय |ब्रोवर फिक्स्ड-पॉइंट प्रमेय]] लागू हो गया। स्मेल ने [[ अनुमान |अनुमान]] लगाया कि यदि <math>M</math>   ओरिएंटेबिलिटी है # ओरिएंटेबिलिटी_ऑफ_मैनिफोल्ड्स स्मूथ क्लोज्ड मैनिफोल्ड, ओरिएंटेशन-प्रिजर्विंग डिफियोमोर्फिज्म के समूह का [[ पहचान घटक |पहचान घटक]] सरल समूह है। यह पहली बार [[ मिशेल हरमन |मिशेल हरमन]] द्वारा हलकों के   उत्पाद के लिए सिद्ध किया गया था; यह थर्स्टन द्वारा पूर्ण सामान्यता में सिद्ध किया गया था।
+[[ विलियम थर्स्टन | विलियम थर्स्टन]] ने [[ नीलसन-थर्स्टन वर्गीकरण |नीलसन-थर्स्टन वर्गीकरण]] द्वारा इस विश्लेषण को तीन प्रकारों में परिष्कृत किया। वे आवधिक कार्य के समतुल्य आवधिक मानचित्रण भिन्नता, साधारण बंद वक्र अपरिवर्तनीय छोड़ने वाले डिफियोमोर्फिज्म के समतुल्य और छद्म-अनोसोव मानचित्र|छद्म-अनोसोव डिफेओमोर्फिज्म के समतुल्य [[ टोरस्र्स |टोरस्र्स]] के स्थितियों में <math>S^1\times S^1=\R^2/\Z^2</math>, मानचित्रण वर्ग समूह केवल [[ मॉड्यूलर समूह |मॉड्यूलर समूह]] है <math>\text{SL}(2,\Z)</math> और वर्गीकरण मोबियस परिवर्तन अण्डाकार परिवर्तन, परवलयिक परिवर्तन और मोबियस ट्रांसफॉर्मेशन हाइपरबोलिक ट्रांसफॉर्म मैट्रिसेस के संदर्भ में शास्त्रीय हो जाता है। थर्स्टन ने यह देखते हुए अपने वर्गीकरण को पूरा किया कि मानचित्रण वर्ग समूह ने स्वाभाविक रूप से टेकमुलर स्थान के [[ संघनन (गणित) |संघनन (गणित)]] पर कार्य किया। चूंकि यह बढ़ा हुआ स्थान बंद गेंद के लिए होमियोमॉर्फिक था, इसलिए [[ ब्रोवर फिक्स्ड-पॉइंट प्रमेय |ब्रोवर लगाना्ड-पॉइंट प्रमेय]] लागू हो गया। गंध ने [[ अनुमान |अनुमान]] लगाया कि यदि <math>M</math> उन्मुखता है उन्मुखता कई परतों चिकना बंद कई परत, अभिविन्यास-संरक्षण डिफियोमोर्फिज्म के समूह का [[ पहचान घटक |पहचान घटक]] सरल समूह है। यह पहली बार [[ मिशेल हरमन |मिशेल हरमन]] द्वारा हलकों के उत्पाद के लिए सिद्ध किया गया था, यह थर्स्टन द्वारा पूर्ण सामान्यता में सिद्ध किया गया था।
 === समरूपता प्रकार ===
-* का डिफियोमोर्फिज्म समूह <math>S^2</math> उपसमूह का होमोटोपी-प्रकार है <math>O(3)</math>. यह स्टीव स्मेल द्वारा सिद्ध किया गया था।<ref>{{cite journal | last1 = Smale | year = 1959 | title = Diffeomorphisms of the 2-sphere | journal = Proc. Amer. Math. Soc. | volume = 10 | issue = 4| pages = 621–626 | doi=10.1090/s0002-9939-1959-0112149-8| doi-access = free }}</ref> * टोरस के डिफोमोर्फिज्म समूह में इसके रैखिक [[ automorphism |automorphism]] का होमोटोपी-प्रकार है: <math>S^1\times S^1\times\text{GL}(2,\Z)</math>.
+* डिफियोमोर्फिज्म का समूह <math>S^2</math> उपसमूह का होमोटोपी-प्रकार <math>O(3)</math> है। यह स्टीव गंध द्वारा सिद्ध किया गया था।<ref>{{cite journal | last1 = Smale | year = 1959 | title = Diffeomorphisms of the 2-sphere | journal = Proc. Amer. Math. Soc. | volume = 10 | issue = 4| pages = 621–626 | doi=10.1090/s0002-9939-1959-0112149-8| doi-access = free }}</ref> टोरस के डिफोमोर्फिज्म समूह में इसके रैखिक [[ automorphism |ऑटोमोर्फिज्म]] का होमोटोपी-प्रकार है। <math>S^1\times S^1\times\text{GL}(2,\Z)</math>.
-* [[ जीनस (गणित) | जीनस (गणित)]] की उन्मुख सतहों के भिन्नता समूह <math>g>1</math> उनके मानचित्रण वर्ग समूहों का होमोटॉपी-प्रकार है (अर्थात घटक संविदात्मक हैं)।
+* [[ जीनस (गणित) | जीनस (गणित)]] की उन्मुख सतहों के भिन्नता समूह <math>g>1</math> उनके मानचित्रण वर्ग समूहों का होमोटॉपी-प्रकार है, अर्थात घटक संविदात्मक हैं।
-* इवानोव, हैचर, गबाई और रुबिनस्टीन के काम के माध्यम से 3-मैनिफोल्ड्स के डिफोमोर्फिज्म समूहों के होमोटोपी-प्रकार को काफी अच्छी तरह से समझा जाता है, हालांकि कुछ उत्कृष्ट खुले मामले हैं (मुख्य रूप से परिमित मौलिक समूहों के साथ 3-मैनिफोल्ड)।
+* इवानोव, हैचर, गबाई और रुबिनस्टीन के काम के माध्यम से 3-कई परतों के डिफोमोर्फिज्म समूहों के होमोटोपी-प्रकार को काफी अच्छी प्रकार से समझा जाता है, चूँकि कुछ उत्कृष्ट खुले स्थितियों हैं मुख्य रूप से परिमित मौलिक समूहों के साथ 3-कई परत है।
-* होमोटॉपी-प्रकार के डिफियोमोर्फिज्म समूह <math>n</math>- के लिए कई गुना <math>n>3</math> खराब समझे जाते हैं। उदाहरण के लिए, यह   खुली समस्या है या नहीं <math>\text{Diff}(S^4)</math> दो से अधिक घटक हैं। मिलनोर, क्हान और एंटोनेली के माध्यम से, हालांकि, यह ज्ञात है कि प्रदान किया गया <math>n>6</math>, <math>\text{Diff}(S^n)</math> परिमित [[ स.ग.-जटिल |स.ग.-जटिल]] का होमोटॉपी-प्रकार नहीं है।
+* होमोटॉपी-प्रकार के डिफियोमोर्फिज्म समूह <math>n</math>- के लिए कई परतों <math>n>3</math> खराब समझे जाते हैं। उदाहरण के लिए यह खुली समस्या है या नहीं <math>\text{Diff}(S^4)</math> दो से अधिक घटक हैं। मिलनोर, क्हान और एंटोनेली के माध्यम से, चूँकि, यह ज्ञात है कि प्रदान किया गया <math>n>6</math>, <math>\text{Diff}(S^n)</math> परिमित [[ स.ग.-जटिल |स.ग.-जटिल]] का होमोटॉपी-प्रकार नहीं है।
 == होमोमोर्फिज्म और डिफियोमोर्फिज्म ==
-चूंकि प्रत्येक भिन्नता   होमोमोर्फिज्म है, प्रत्येक डिफियोमोर्फिक मैनिफोल्ड होमोमोर्फिक हैं, लेकिन इसका विलोम सत्य नहीं है।
+चूंकि प्रत्येक भिन्नता होमोमोर्फिज्म है। प्रत्येक डिफियोमोर्फिक कई परत होमोमोर्फिक हैं, किन्तु इसका विलोम सत्य नहीं है। जबकि होमियोमॉर्फिज्म को ढूंढना आसान है जो अ-डिफियोमोर्फिज्म हैं, [[ होमियोमॉर्फिक |होमियोमॉर्फिक]] कई परतों की जोड़ी को ढूंढना अधिक कठिन है जो डिफियोमॉर्फिक नहीं हैं। आयाम 1, 2 और 3 में होमियोमॉर्फिक चिकना कई परतों की कोई भी जोड़ी अलग-अलग होती है। आयाम 4 और उससे अधिक में होमियोमॉर्फिक के उदाहरण हैं, किन्तु डिफियोमॉर्फिक जोड़े नहीं पाए गए हैं। इस प्रकार का पहला उदाहरण जॉन मिल्नोर द्वारा आयाम 7 में बनाया गया था। उन्होंने चिकनी 7-आयामी कई परत जिसे अब मिलनोर का गोला कहा जाता है आयाम का निर्माण किया जो कि मानक 7-गोले के लिए होमियोमॉर्फिक है, किन्तु इसके लिए भिन्न नहीं है। वास्तव में, 7-गोले के लिए कई परतों होमोमोर्फिक के 28 उन्मुख भिन्नता वर्ग हैं उनमें से प्रत्येक 4-गोले पर [[ फाइबर बंडल |फाइबर बंडल]] का कुल स्थान है जिसमें [[ 3-क्षेत्र |3-क्षेत्र]] फाइबर के रूप में है।
-जबकि होमियोमॉर्फिज्म को ढूंढना आसान है जो गैर-डिफियोमोर्फिज्म हैं, [[ होमियोमॉर्फिक |होमियोमॉर्फिक]] मैनिफोल्ड्स की   जोड़ी को ढूंढना अधिक कठिन है जो डिफियोमॉर्फिक नहीं हैं। आयाम 1, 2 और 3 में, होमियोमॉर्फिक स्मूथ मैनिफोल्ड्स की कोई भी जोड़ी अलग-अलग होती है। आयाम 4 या उससे अधिक में, होमियोमॉर्फिक के उदाहरण हैं, लेकिन डिफियोमॉर्फिक जोड़े नहीं पाए गए हैं। इस तरह का पहला उदाहरण जॉन मिल्नोर द्वारा आयाम 7 में बनाया गया था। उन्होंने   चिकनी 7-आयामी मैनिफोल्ड (जिसे अब मिलनोर का गोला कहा जाता है) का निर्माण किया जो कि मानक 7-गोले के लिए होमियोमॉर्फिक है, लेकिन इसके लिए भिन्न नहीं है। वास्तव में, 7-गोले के लिए कई गुना होमोमोर्फिक के 28 उन्मुख भिन्नता वर्ग हैं (उनमें से प्रत्येक 4-गोले पर   [[ फाइबर बंडल |फाइबर बंडल]] का कुल स्थान है जिसमें [[ 3-क्षेत्र |3-क्षेत्र]] फाइबर के रूप में है)।
-अधिक असामान्य घटनाएं [[ 4-कई गुना |4-कई गुना]] के लिए होती हैं। 1980 के दशक की शुरुआत में, [[ साइमन डोनाल्डसन |साइमन डोनाल्डसन]] और [[ माइकल फ्रीडमैन |माइकल फ्रीडमैन]] के परिणाम के संयोजन ने [[ विदेशी R4 |विदेशी R4]] की खोज का नेतृत्व किया <math>\R^4</math>: [[ बेशुमार सेट |बेशुमार सेट]] पेयर वाइज नॉन-डिफियोमॉर्फिक ओपन सबसेट हैं <math>\R^4</math> जिनमें से प्रत्येक होमोमोर्फिक है <math>\R^4</math>, और यह भी कि बेशुमार रूप से कई जोड़ीदार गैर-डिफियोमॉर्फिक डिफरेंशियल मैनिफोल्ड्स होमियोमॉर्फिक हैं <math>\R^4</math> जो #Differential_topology को एम्बेड नहीं करता है <math>\R^4</math>.
+अधिक असामान्य घटनाएं [[ 4-कई गुना |4-कई परतों]] के लिए होती हैं। 1980 के दशक की प्रारंभिक में, [[ साइमन डोनाल्डसन |साइमन डोनाल्डसन]] और [[ माइकल फ्रीडमैन |माइकल फ्रीडमैन]] के परिणाम के संयोजन ने [[ विदेशी R4 |विदेशी R4]] की खोज का नेतृत्व किया <math>\R^4</math>: [[ बेशुमार सेट |अगणनीय]] समूह जोड़ीदार अ-डिफियोमॉर्फिक विवृत उप-समूचय हैं <math>\R^4</math> जिनमें से प्रत्येक होमोमोर्फिक है <math>\R^4</math> और यह भी कि अगणनीय रूप से कई जोड़ीदार अ-डिफियोमॉर्फिक अवकल कई परतों होमियोमॉर्फिक हैं <math>\R^4</math> जो विभेदक सांस्थितिको लागू <math>\R^4</math>नहीं करता है।
 == यह भी देखें ==
-* [[ बड़ा अंतररूपवाद | बड़ा अंतररूपवाद]] जैसे कि अर्नोल्ड का कैट मैप
+* [[ बड़ा अंतररूपवाद | बड़ा अंतररूपवाद]] जैसे कि अर्नोल्ड का कैटमैप
-* डिफियो विसंगति को गुरुत्वीय विसंगति के रूप में भी जाना जाता है, [[ क्वांटम यांत्रिकी |क्वांटम यांत्रिकी]] में   प्रकार की [[ विसंगति (भौतिकी) |विसंगति (भौतिकी)]]
+* डिफियो विसंगति को गुरुत्वीय विसंगति के रूप में भी जाना जाता है, [[ क्वांटम यांत्रिकी |क्वांटम यांत्रिकी]] में प्रकार की [[ विसंगति (भौतिकी) |विसंगति (भौतिकी)]]
-* [[ डिफियोलॉजी ]],   सेट पर सुचारू पैरामीटरीकरण, जो   डिफोलॉजिकल स्पेस बनाता है
+* [[ डिफियोलॉजी ]], समूह पर सुचारू पैरामीटरीकरण, जो डिफोलॉजिकल जगह बनाता है
-* [[ डिफियोमोर्फोमेट्री ]], कम्प्यूटेशनल एनाटॉमी में आकार और रूप का मीट्रिक अध्ययन
+* [[ डिफियोमोर्फोमेट्री ]], अभिकलनात्मक एनाटॉमी में आकार और रूप का दशांश अध्ययन
 * एटेल मोर्फिज्म
 * विशाल भिन्नता
 * स्थानीय भिन्नता
-* [[ supermanifold ]]
+* [[ supermanifold |सुपरमानिफॉल्ड]]
 == टिप्पणियाँ ==
@@ Line 159: / Line 150: @@
 * {{citation |author-link=Hellmuth Kneser |last=Kneser |first=Hellmuth |title=Lösung der Aufgabe 41. |journal=Jahresbericht der Deutschen Mathematiker-Vereinigung |volume=35 |issue=2 |pages=123 |year=1926 |language=de}}
-{{Manifolds}}
+[[Category:CS1 Deutsch-language sources (de)]]
-[[Category:डिफियोमॉर्फिज्म |डिफियोमॉर्फिज्म ]][[श्रेणी: गणितीय भौतिकी]]
+[[Category:Collapse templates]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 05/01/2023]]
+[[Category:Harv and Sfn no-target errors]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics sidebar templates]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Physics sidebar templates]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]

Anonymous

Search

डिफियोमोर्फिज्म: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:08, 20 March 2023

Contents

परिभाषा

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

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