आइसोमेट्री: Difference between revisions
No edit summary |
No edit summary |
||
(18 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, कोई '''आइसोमेट्री''' (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक समष्टि के बीच की [[ दूरी |दूरी]]-संरक्षण परिवर्तन है, जिसे सामान्यतः [[ द्विभाजन |द्विभाजन]] माना जाता है।{{efn| name=CoxeterIsometryDef| | |||
गणित में, | |||
<p>"We shall find it convenient to use the word ''transformation'' in the special sense of a one-to-one correspondence <math>\ P \to P'\ </math> among all points in the plane (or in space), that is, a rule for associating pairs of points, with the understanding that each pair has a first member {{mvar|P}} and a second member {{mvar|P'}} and that every point occurs as the first member of just one pair and also as the second member of just one pair...</p><p>In particular, an ''isometry'' (or "congruent transformation," or "congruence") is a transformation which preserves length ..." — Coxeter (1969) p. 29<ref>{{harvnb|Coxeter|1969|page=29}}</ref></p> | <p>"We shall find it convenient to use the word ''transformation'' in the special sense of a one-to-one correspondence <math>\ P \to P'\ </math> among all points in the plane (or in space), that is, a rule for associating pairs of points, with the understanding that each pair has a first member {{mvar|P}} and a second member {{mvar|P'}} and that every point occurs as the first member of just one pair and also as the second member of just one pair...</p><p>In particular, an ''isometry'' (or "congruent transformation," or "congruence") is a transformation which preserves length ..." — Coxeter (1969) p. 29<ref>{{harvnb|Coxeter|1969|page=29}}</ref></p> | ||
}} आइसोमेट्री शब्द प्राचीन ग्रीक से लिया गया है: ἴσος isos जिसका अर्थ बराबर होता है, और μέτρον metron जिसका अर्थ माप होता है। | }}आइसोमेट्री शब्द प्राचीन ग्रीक से लिया गया है: ἴσος isos जिसका अर्थ बराबर होता है, और μέτρον metron जिसका अर्थ माप होता है। | ||
[[File:Academ Reflections with parallel axis on wallpaper.svg|thumb|upright=1.4|दो | [[File:Academ Reflections with parallel axis on wallpaper.svg|thumb|upright=1.4|दो विपरीत आइसोमेट्री की संरचना प्रत्यक्ष आइसोमेट्री है। रेखा में प्रतिबिंब विपरीत आइसोमेट्री है, जैसे प्रतिबिम्ब पर {{math|''R''<sub> 1</sub>}} या {{math|''R''<sub> 2</sub>}}। [[ अनुवाद (ज्यामिति) |अनुवाद (ज्यामिति)]] {{math|''T''}} प्रत्यक्ष आइसोमेट्री है: दृढ़ पिंड की गति।<ref>{{harvnb|Coxeter|1969|p=46}} <p>'''3.51''' ''Any direct isometry is either a translation or a rotation. Any opposite isometry is either a reflection or a glide reflection.''</p></ref>]] | ||
== परिचय == | == परिचय == | ||
मीट्रिक समष्टि (अस्पष्ट, समुच्चय और समुच्चय के तत्वों के बीच दूरी निर्दिष्ट करने के लिए योजना) को देखते हुए, कोई आइसोमेट्री [[ परिवर्तन (ज्यामिति) |परिवर्तन (ज्यामिति)]] है जो तत्वों को उसी या किसी अन्य मीट्रिक समष्टि पर माप करता है जैसे कि नई मीट्रिक समष्टि में प्रतिबिम्ब तत्वों के बीच की दूरी मूल मीट्रिक समष्टि में तत्वों के बीच की दूरी के बराबर है। | |||
द्वि-आयामी या त्रि-आयामी | द्वि-आयामी या त्रि-आयामी यूक्लिडियन समष्टि में, दो ज्यामितीय आंकड़े कोई आइसोमेट्री द्वारा संबंधित हो तो वह [[ सर्वांगसमता (ज्यामिति) |सर्वांगसम (ज्यामिति)]] होते है,{{efn| | ||
<p>'''3.11''' ''Any two congruent triangles are related by a unique isometry.''— Coxeter (1969) p. 39<ref>{{harvnb|Coxeter|1969|page=39}}</ref></p> | <p>'''3.11''' ''Any two congruent triangles are related by a unique isometry.''— Coxeter (1969) p. 39<ref>{{harvnb|Coxeter|1969|page=39}}</ref></p> | ||
}} | }} | ||
आइसोमेट्री जो उन्हें संबंधित करती है वह या तो | आइसोमेट्री जो उन्हें संबंधित करती है वह या तो दृढ़ गति (अनुवाद या घूर्णन) है, या दृढ़ गति और प्रतिबिंब (गणित) की क्रिया संरचना होती है। | ||
आइसोमेट्री का उपयोग | आइसोमेट्री का उपयोग अधिकांश उन निर्माणों में किया जाता है जहां समष्टि एक दूसरे समष्टि में [[ एम्बेडिंग |एम्बेडिंग]] होता है। उदाहरण के लिए, मीट्रिक समष्टि <math>\ M\ </math> के पूरा होने में <math>\ M\ </math> से <math>\ M'\ </math>में कोई आइसोमेट्री सम्मिलित है, जो <math>\ M\ </math>पर [[ कॉची अनुक्रम |कॉची अनुक्रमों]] के समष्टि का भागफल समुच्चय है। मूल समष्टि <math>\ M\ </math> इस प्रकार पूर्ण मीट्रिक समष्टि के उप-समष्टि के लिए आइसोमेट्रिक रूप से समरूपता है, और इसे सामान्यतः इस उप-समष्टि के साथ पहचाना जाता है। | ||
अन्य एम्बेडिंग निर्माणों से पता चलता है कि प्रत्येक मीट्रिक | अन्य एम्बेडिंग निर्माणों से पता चलता है कि प्रत्येक मीट्रिक समष्टि कुछ मानक सदिश समष्टि के [[ बंद सेट |बंद सबसमुच्चय]] के लिए आइसोमेट्रिक रूप से [[ समाकृतिकता |आइसोमोर्फिक]] है और यह कि प्रत्येक पूर्ण मीट्रिक समष्टि आइसोमेट्रिक रूप से आइसोमोर्फिक है जो कुछ [[ बनच स्थान |बनच समष्टि]] के बंद उपसमुच्चय के लिए है। | ||
[[ हिल्बर्ट अंतरिक्ष ]] पर | कोई[[ हिल्बर्ट अंतरिक्ष | हिल्बर्ट समष्टि]] पर आइसोमेट्रिक सर्जेक्टिव लीनियर ऑपरेटर को एकात्मक ऑपरेटर कहा जाता है। | ||
== परिभाषा | == परिभाषा == | ||
<math>\ X\ </math> और <math>\ Y\ </math> को मेट्रिक्स (जैसे, दूरियां) <math>\ d_X\ </math> और <math>\ d_Y\ </math>के साथ मीट्रिक | <math>\ X\ </math> और <math>\ Y\ </math> को मेट्रिक्स (जैसे, दूरियां) <math>\ d_X\ </math> और <math>\ d_Y\ </math>के साथ मीट्रिक समष्टि मान ले. [[ समारोह (गणित) |फलन (गणित)]] <math>\ f:X \to Y\ </math>को कोई आइसोमेट्री या दूरी को संरक्षित करने वाला कहा जाता है यदि किसी के लिए <math>\ a, b \in X\ </math>किसी के पास है | ||
:<math>d_X(a,b)=d_Y\!\left(f(a),f(b)\right).</math><ref name=Beckman-Quarles-1953> | :<math>d_X(a,b)=d_Y\!\left(f(a),f(b)\right).</math><ref name=Beckman-Quarles-1953> | ||
Line 43: | Line 39: | ||
<br>Let {{mvar|T}} be a transformation (possibly many-valued) of <math>E^n</math> (<math>2\leq n < \infty</math>) into itself.<br>Let <math>d(p,q)</math> be the distance between points {{mvar|p}} and {{mvar|q}} of <math>E^n</math>, and let {{mvar|Tp}}, {{mvar|Tq}} be any images of {{mvar|p}} and {{mvar|q}}, respectively.<br>If there is a length {{mvar|a}} > 0 such that <math>d(Tp,Tq)=a</math> whenever <math>d(p,q)=a</math>, then {{mvar|T}} is a Euclidean transformation of <math>E^n</math> onto itself.<ref name=Beckman-Quarles-1953/> | <br>Let {{mvar|T}} be a transformation (possibly many-valued) of <math>E^n</math> (<math>2\leq n < \infty</math>) into itself.<br>Let <math>d(p,q)</math> be the distance between points {{mvar|p}} and {{mvar|q}} of <math>E^n</math>, and let {{mvar|Tp}}, {{mvar|Tq}} be any images of {{mvar|p}} and {{mvar|q}}, respectively.<br>If there is a length {{mvar|a}} > 0 such that <math>d(Tp,Tq)=a</math> whenever <math>d(p,q)=a</math>, then {{mvar|T}} is a Euclidean transformation of <math>E^n</math> onto itself.<ref name=Beckman-Quarles-1953/> | ||
}} | }} | ||
कोई आइसोमेट्री स्वचालित रूप से इंजेक्शन फलन है,{{efn| name=CoxeterIsometryDef}} अन्यथा दो अलग-अलग बिंदुओं, a और b को ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है। | |||
यह प्रमाण साक्ष्य के समान है कि आंशिक रूप से आदेशित समुच्चय के बीच एम्बेडिंग ऑर्डर इंजेक्शन है। स्पष्ट रूप से, मीट्रिक समष्टि के बीच प्रत्येक आइसोमेट्री टोपोलॉजिकल एम्बेडिंग है। | |||
एक 'वैश्विक आइसोमेट्री', 'आइसोमेट्रिक आइसोमोर्फिज्म' या 'सर्वांगसमता मैपिंग' विशेषण आइसोमेट्री है। किसी भी अन्य आपत्ति की तरह, वैश्विक आइसोमेट्री में फलन व्युत्क्रम होता है। | |||
वैश्विक आइसोमेट्री का व्युत्क्रम भी वैश्विक आइसोमेट्री है। | |||
एक 'पाथ आइसोमेट्री' या 'आर्कवाइज़ आइसोमेट्री' | दो मीट्रिक समष्टि X और Y को 'आइसोमेट्रिक' कहा जाता है यदि X से Y तक विशेषण आइसोमेट्री है। | ||
यह शब्द | |||
मेट्रिक समष्टि से [[ द्विभाजित |द्विभाजित]] आइसोमेट्रीज़ का [[ सेट (गणित) |समुच्चय (गणित)]] फलन संरचना के संबंध में [[ समूह (गणित) |समूह (गणित)]] बनाता है, जिसे '[[ आइसोमेट्री समूह | आइसोमेट्री समूह]] ' कहा जाता है। | |||
पथ आइसोमेट्री या आर्कवाइज आइसोमेट्री की दुर्बल धारणा भी है: | |||
एक 'पाथ आइसोमेट्री' या 'आर्कवाइज़ आइसोमेट्री' माप है जो वक्रों की लंबाई को संरक्षित करता है, इस तरह का माप आवश्यक रूप से दूरी के संरक्षण के अर्थ में आइसोमेट्री नहीं है, और यह आवश्यक रूप से विशेषण या इंजेक्शन भी नहीं है। | |||
यह शब्द अधिकांश केवल आइसोमेट्री के लिए संक्षिप्त होता है, इसलिए किसी को संदर्भ से निर्धारित करने के लिए सर्तकता रहना चाहिए कि किस प्रकार का उद्देश्य है। | |||
;उदाहरण | ;उदाहरण | ||
* कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और [[ रोटेशन ]] | * यूक्लिडियन समष्टि पर कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और [[ रोटेशन |घूर्णन]] वैश्विक आइसोमेट्री है। [[ यूक्लिडियन समूह |यूक्लिडियन समूह]] और {{slink|यूक्लिडियन स्पेस |आइसोमेट्रीज़}} भी देखें। | ||
* वो | * वो माप <math>\ x \mapsto |x|\ </math> में <math>\ \mathbb{R}\ </math> पथ आइसोमेट्री है लेकिन (सामान्य) आइसोमेट्री नहीं है। ध्यान दें कि आइसोमेट्री के विपरीत, इस पथ आइसोमेट्री को इंजेक्शन होने की आवश्यकता नहीं है। | ||
== आदर्श | == आदर्श समष्टिों के बीच आइसोमेट्री == | ||
निम्नलिखित प्रमेय मजूर और उलम के कारण है। | निम्नलिखित प्रमेय मजूर और उलम के कारण है। | ||
:परिभाषा:{{sfn | Narici|Beckenstein | 2011 | pp=275–339}} दो तत्वों का मध्यबिंदु {{mvar|x}} और {{mvar|y}} सदिश | :परिभाषा:{{sfn | Narici|Beckenstein | 2011 | pp=275–339}} दो तत्वों का मध्यबिंदु {{mvar|x}} और {{mvar|y}} सदिश समष्टि में सदिश {{math|{{sfrac|1|2}}(''x'' + ''y'')}} है. | ||
{{Math theorem|name=प्रमेय{{sfn | Narici|Beckenstein | 2011 | pp=275–339}}{{sfn | Wilansky | 2013 | pp=21–26}}|math_statement= | |||
मान लें कि {{math|''A'' : ''X'' → ''Y''}} [[सामान्य समष्टि]] के बीच एक विशेषण आइसोमेट्री है जो 0 से 0 ([[स्टीफन बानाच]] को मैप करता है जिसे इस तरह कहा जाता है मैप '''रोटेशन''') जहां ध्यान दें कि {{mvar|A}} ''नहीं'' है जिसे ''लीनियर'' आइसोमेट्री माना जाता है। | |||
फिर {{mvar|A}} मध्यबिंदुओं को मध्यबिंदुओं के लिए मैप करता है और वास्तविक संख्याओं के मैप <math>\mathbb{R}</math> के रूप में रैखिक है। | |||
यदि {{mvar|X}} और {{mvar|Y}} जटिल सदिश स्थान हैं तो {{mvar|A}} <math>\mathbb{C}</math> पर मैप के रूप में रैखिक होने में विफल हो सकता है। | |||
}} | }} | ||
=== रेखीय समरूपता === | === रेखीय समरूपता === | ||
दो | दो मानक सदिश समष्टि <math> V </math> और <math> W </math> दिए गए हैं रेखीय समरूपता रेखीय माप <math> A : V \to W </math> है जो मानदंडों को संरक्षित करता है: | ||
:<math>\|Av\| = \|v\| </math> | :<math>\|Av\| = \|v\| </math> | ||
सभी <math>\ v \in V\ </math>के लिए<ref name="Thomsen 2017 p125">{{cite book |last=Thomsen |first=Jesper Funch |year=2017 |title=लीनियर अलजेब्रा|trans-title=Linear Algebra |page=125 |lang=da |location=Århus |publisher=Aarhus University |series=Department of Mathematics}}</ref> रैखिक आइसोमेट्री उपरोक्त अर्थों में दूरी-संरक्षित माप हैं। | |||
वे वैश्विक आइसोमेट्री हैं | |||
वे वैश्विक आइसोमेट्री हैं यदि और केवल यदि वे [[ विशेषण |विशेषण]] हैं। | |||
एक [[ आंतरिक उत्पाद स्थान ]] में, उपरोक्त परिभाषा कम हो जाती है | एक [[ आंतरिक उत्पाद स्थान |आंतरिक उत्पाद समष्टि]] में, उपरोक्त परिभाषा कम हो जाती है | ||
:<math>\langle v, v \rangle = \langle Av, Av \rangle </math> | :<math>\langle v, v \rangle = \langle Av, Av \rangle </math> | ||
सभी <math> v \in V\ </math> के लिये जो यह कहने के बराबर है कि <math>\ A^\dagger A = \operatorname{I}_V\ .</math> इसका तात्पर्य यह भी है कि आइसोमेट्री आंतरिक उत्पादों को संरक्षित करती है, जैसे | |||
:<math>\langle A u, A v \rangle = \langle u, A^\dagger A v \rangle = \langle u, v \rangle\ .</math> | :<math>\langle A u, A v \rangle = \langle u, A^\dagger A v \rangle = \langle u, v \rangle\ .</math> | ||
रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, | रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, चूंकि, इसके लिए अतिरिक्त रूप से <math>V = W </math> और <math> A A^\dagger = \operatorname{I}_V\ </math>इसकी आवश्यकता होती है | ||
मज़ूर-उलम प्रमेय | |||
मज़ूर-उलम प्रमेय के अनुसार, <math> \mathbb{R} </math> पर मानक वेक्टर समष्टि का कोई भी आइसोमेट्री सजातीय परिवर्तन है। | |||
;उदाहरण | ;उदाहरण | ||
* | * <math> \mathbb{C}^n </math> से कोई रेखीय माप अपने आप में आइसोमेट्री है ([[ डॉट उत्पाद | डॉट उत्पाद]] के लिए) यदि और केवल यदि इसका मैट्रिक्स [[ एकात्मक मैट्रिक्स |एकात्मक मैट्रिक्स]] है।<ref> | ||
{{cite journal | {{cite journal | ||
| last1 = Roweis | first1 = S.T. | | last1 = Roweis | first1 = S.T. | ||
Line 113: | Line 115: | ||
}} | }} | ||
</ref><ref name=Zhang-Zha-2004/><ref name=Zhang-Wang-2006/> | </ref><ref name=Zhang-Zha-2004/><ref name=Zhang-Wang-2006/> | ||
== मैनिफोल्ड == | |||
मैनिफोल्ड की आइसोमेट्री उस मैनिफोल्ड की किसी भी (चिकनी) मैपिंग को अपने आप में या किसी अन्य मैनिफोल्ड में है जो बिंदुओं के बीच की दूरी की धारणा को संरक्षित करती है। | |||
आइसोमेट्री की परिभाषा के लिए मैनिफोल्ड पर [[ मीट्रिक (गणित) |मीट्रिक (गणित)]] की धारणा की आवश्यकता होती है, (सकारात्मक-निश्चित) मीट्रिक वाला मैनिफोल्ड रीमैनियन मैनिफोल्ड है, अनिश्चित मीट्रिक वाला मैनिफोल्ड स्यूडो-रीमैनियन मैनिफोल्ड है। इस प्रकार, आइसोमेट्री का अध्ययन रीमैनियन ज्यामिति में किया जाता है। | |||
एक | एक ( स्यूडो-रीमैनियन मैनिफोल्ड) रीमैनियन मैनिफोल्ड से दूसरे में समष्टिीय आइसोमेट्री माप है जो [[ मीट्रिक टेंसर |मीट्रिक टेंसर]] को दूसरे मैनिफोल्ड पर पहले मैट्रिक टेंसर पर वापस खींचता (डिफरेंशियल ज्योमेट्री) है। जब ऐसा माप में भी भिन्नता हो, तो ऐसे माप को आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है, और रीमैनियन मैनिफोल्ड्स की [[ श्रेणी सिद्धांत |श्रेणी सिद्धांत]] आरएम में आइसोमोर्फिज्म (समानता) की धारणा प्रदान करता है। | ||
=== परिभाषा === | === परिभाषा === | ||
मान लीजिये <math>\ R = (M, g)\ </math> और <math>\ R' = (M', g')\ </math> दो (स्यूडो-) रीमैनियन मैनिफोल्ड हो, और <math>\ f : R \to R'\ </math> कोई भिन्नता हो। तब <math>\ f\ </math> आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है यदि | |||
:<math>\ g = f^{*} g', \ </math> | :<math>\ g = f^{*} g', \ </math> | ||
जहां <math>\ f^{*} g'\ </math> रैंक (0, 2) मीट्रिक टेन्सर<math>\ g'\ </math>द्वारा<math>\ f\ </math>के पुलबैक (अंतर ज्यामिति) को दर्शाता है समान रूप से, पुशफॉरवर्ड (अंतर) के संदर्भ में <math>\ f_{*}\ ,</math> हमारे पास किन्हीं भी दो सदिश क्षेत्रों<math>\ v, w\ </math> पर <math>\ M\ </math> (अर्थात् [[ स्पर्शरेखा बंडल |स्पर्शरेखा बंडल]] के खंड <math>\ \mathrm{T} M\ </math>) के लिए है, | |||
:<math>\ g(v, w) = g' \left( f_{*} v, f_{*} w \right)\ .</math> | :<math>\ g(v, w) = g' \left( f_{*} v, f_{*} w \right)\ .</math> | ||
यदि <math>\ f\ </math> | यदि <math>\ f\ </math> [[ स्थानीय भिन्नता |समष्टिीय भिन्नता]] है जैसे कि <math>\ g = f^{*} g'\ ,</math> तब <math>f</math> समष्टिीय आइसोमेट्री कहा जाता है। | ||
=== गुण === | === गुण === | ||
आइसोमेट्री का संग्रह | आइसोमेट्री का संग्रह सामान्यतः समूह, आइसोमेट्री समूह बनाता है। जब समूह सतत समूह होता है, तो समूह के अतिसूक्ष्म जनरेटर किलिंग सदिश क्षेत्र होता है। | ||
मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का | मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का दूसरा रूप बताता है कि रिमेंनियन मैनिफोल्ड का आइसोमेट्री समूह [[ झूठ समूह |झूठ समूह]] है। | ||
रिमेंनियन मैनिफोल्ड्स जिनमें हर बिंदु पर परिभाषित आइसोमेट्री हैं, सममित समष्टि कहलाते हैं। | |||
== सामान्यीकरण == | == सामान्यीकरण == | ||
* एक सकारात्मक वास्तविक संख्या ε दी गई है, | * एक सकारात्मक वास्तविक संख्या ε दी गई है, ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे [[ फेलिक्स हॉसडॉर्फ |फेलिक्स हॉसडॉर्फ]] सन्निकटन भी कहा जाता है) माप <math>\ f \colon X \to Y\ </math>है मीट्रिक समष्टि के बीच जैसे कि | ||
*# के लिए <math>x, x' \in X</math> किसी के पास <math>\ |d_Y(f(x),f(x')) - d_X(x,x')| < \varepsilon\ ,</math> और | *# के लिए <math>x, x' \in X</math> किसी के पास <math>\ |d_Y(f(x),f(x')) - d_X(x,x')| < \varepsilon\ ,</math> और | ||
*# किसी भी बिंदु के लिए <math>y \in Y</math> | *# किसी भी बिंदु के लिए <math>y \in Y</math> बिन्दु <math>\ x \in X</math> के साथ <math>d_Y(y, f(x)) < \varepsilon\ </math>उपस्थित होता है | ||
: | : अर्थात् कोई {{mvar|ε}}-आइसोमेट्री {{mvar|ε}} के अन्दर की दूरियों को निरंतर रखती है और डोमेन के कोई तत्व की प्रतिबिम्ब से दूर {{mvar|ε}} से आगे कोडोमेन का कोई तत्व नहीं छोड़ता है। ध्यान दें कि {{mvar|ε}}-आइसोमेट्री को [[ निरंतर कार्य |निरंतर कार्य]] नहीं माना जाता है। | ||
* [[ प्रतिबंधित आइसोमेट्री संपत्ति ]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है। | * [[ प्रतिबंधित आइसोमेट्री संपत्ति | प्रतिबंधित आइसोमेट्री संपत्ति]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है। | ||
* [[ अर्ध isometry ]] | * [[ अर्ध isometry | अर्ध आइसोमेट्री]] अन्य उपयोगी सामान्यीकरण है। | ||
* | * कोई तत्व को सार यूनिटल C*-बीजगणित में आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है: | ||
*:<math>\ a \in \mathfrak{A}\ </math> | *:<math>\ a \in \mathfrak{A}\ </math> आइसोमेट्री है यदि और केवल यदि <math>\ a^* \cdot a = 1\ .</math> | ||
*:ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्यतः यह नहीं होता है कि बाएं व्युत्क्रम सही व्युत्क्रम है। | |||
* [[ छद्म-यूक्लिडियन अंतरिक्ष ]] पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला | * [[ छद्म-यूक्लिडियन अंतरिक्ष | स्यूडो-यूक्लिडियन समष्टि]] पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला रेखीय आक्षेप है। द्विघात समष्टि भी देखें। | ||
== यह भी देखें == | == यह भी देखें == | ||
* बेकमैन-क्वार्ल्स प्रमेय | * बेकमैन-क्वार्ल्स प्रमेय | ||
* {{annotated link| | * {{annotated link|अनुरूप मैप}} | ||
* डुअल नॉर्म | * डुअल नॉर्म द सेकंड ड्यूल ऑफ़ अ बैनाच समष्टि | ||
* [[ यूक्लिडियन प्लेन आइसोमेट्री ]] | * [[ यूक्लिडियन प्लेन आइसोमेट्री ]] | ||
* फ्लैट (ज्यामिति) | * फ्लैट (ज्यामिति) | ||
Line 164: | Line 165: | ||
* [[ गति (ज्यामिति) ]] | * [[ गति (ज्यामिति) ]] | ||
* मायर्स-स्टीनरोड प्रमेय | * मायर्स-स्टीनरोड प्रमेय | ||
* ओर्थोगोनल ग्रुप | * ओर्थोगोनल ग्रुप 3डी आइसोमेट्रीज जो मूल को स्थिर छोड़ देते हैं | ||
* [[ आंशिक आइसोमेट्री ]] | * [[ आंशिक आइसोमेट्री ]] | ||
* [[ स्केलिंग (ज्यामिति) ]] | * [[ स्केलिंग (ज्यामिति) ]] | ||
* [[ अर्ध निश्चित एम्बेडिंग ]] | * [[ अर्ध निश्चित एम्बेडिंग ]] | ||
* [[ अंतरिक्ष समूह ]] | * [[ अंतरिक्ष समूह | समष्टि समूह]] | ||
* [[ गणित में समरूपता ]] | * [[ गणित में समरूपता ]] | ||
== फुटनोट्स == | == फुटनोट्स == | ||
{{notelist}} | {{notelist}} | ||
== संदर्भ == | == संदर्भ == | ||
Line 211: | Line 208: | ||
</ref> | </ref> | ||
}} < | }}<nowiki> </nowiki> | ||
==ग्रन्थसूची== | |||
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} | |||
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} | |||
* {{Trèves François Topological vector spaces, distributions and kernels}} | |||
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} | |||
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} | |||
* {{Trèves François Topological vector spaces, distributions and kernels}} | |||
* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}} | * {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}} | ||
* {{cite book |last=Coxeter|first=H. S. M.|author-link1=Harold Scott MacDonald Coxeter|title=Introduction to Geometry, Second edition|year=1969|publisher=[[John Wiley & Sons|Wiley]]|isbn=9780471504580 }} | * {{cite book |last=Coxeter|first=H. S. M.|author-link1=Harold Scott MacDonald Coxeter|title=Introduction to Geometry, Second edition|year=1969|publisher=[[John Wiley & Sons|Wiley]]|isbn=9780471504580 }} | ||
* {{cite book | last=Lee |first= Jeffrey M. | title=Manifolds and Differential Geometry |location=Providence, RI |publisher=American Mathematical Society | year=2009 |isbn=978-0-8218-4815-9 |url=https://books.google.com/books?id=QqHdHy9WsEoC }} | * {{cite book | last=Lee |first= Jeffrey M. | title=Manifolds and Differential Geometry |location=Providence, RI |publisher=American Mathematical Society | year=2009 |isbn=978-0-8218-4815-9 |url=https://books.google.com/books?id=QqHdHy9WsEoC }} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:CS1 dansk-language sources (da)]] | |||
[[Category:Created On 27/12/2022]] | [[Category:Created On 27/12/2022]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] |
Latest revision as of 12:42, 2 November 2023
गणित में, कोई आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक समष्टि के बीच की दूरी-संरक्षण परिवर्तन है, जिसे सामान्यतः द्विभाजन माना जाता है।[lower-alpha 1]आइसोमेट्री शब्द प्राचीन ग्रीक से लिया गया है: ἴσος isos जिसका अर्थ बराबर होता है, और μέτρον metron जिसका अर्थ माप होता है।
परिचय
मीट्रिक समष्टि (अस्पष्ट, समुच्चय और समुच्चय के तत्वों के बीच दूरी निर्दिष्ट करने के लिए योजना) को देखते हुए, कोई आइसोमेट्री परिवर्तन (ज्यामिति) है जो तत्वों को उसी या किसी अन्य मीट्रिक समष्टि पर माप करता है जैसे कि नई मीट्रिक समष्टि में प्रतिबिम्ब तत्वों के बीच की दूरी मूल मीट्रिक समष्टि में तत्वों के बीच की दूरी के बराबर है।
द्वि-आयामी या त्रि-आयामी यूक्लिडियन समष्टि में, दो ज्यामितीय आंकड़े कोई आइसोमेट्री द्वारा संबंधित हो तो वह सर्वांगसम (ज्यामिति) होते है,[lower-alpha 2]
आइसोमेट्री जो उन्हें संबंधित करती है वह या तो दृढ़ गति (अनुवाद या घूर्णन) है, या दृढ़ गति और प्रतिबिंब (गणित) की क्रिया संरचना होती है।
आइसोमेट्री का उपयोग अधिकांश उन निर्माणों में किया जाता है जहां समष्टि एक दूसरे समष्टि में एम्बेडिंग होता है। उदाहरण के लिए, मीट्रिक समष्टि के पूरा होने में से में कोई आइसोमेट्री सम्मिलित है, जो पर कॉची अनुक्रमों के समष्टि का भागफल समुच्चय है। मूल समष्टि इस प्रकार पूर्ण मीट्रिक समष्टि के उप-समष्टि के लिए आइसोमेट्रिक रूप से समरूपता है, और इसे सामान्यतः इस उप-समष्टि के साथ पहचाना जाता है।
अन्य एम्बेडिंग निर्माणों से पता चलता है कि प्रत्येक मीट्रिक समष्टि कुछ मानक सदिश समष्टि के बंद सबसमुच्चय के लिए आइसोमेट्रिक रूप से आइसोमोर्फिक है और यह कि प्रत्येक पूर्ण मीट्रिक समष्टि आइसोमेट्रिक रूप से आइसोमोर्फिक है जो कुछ बनच समष्टि के बंद उपसमुच्चय के लिए है।
कोई हिल्बर्ट समष्टि पर आइसोमेट्रिक सर्जेक्टिव लीनियर ऑपरेटर को एकात्मक ऑपरेटर कहा जाता है।
परिभाषा
और को मेट्रिक्स (जैसे, दूरियां) और के साथ मीट्रिक समष्टि मान ले. फलन (गणित) को कोई आइसोमेट्री या दूरी को संरक्षित करने वाला कहा जाता है यदि किसी के लिए किसी के पास है
कोई आइसोमेट्री स्वचालित रूप से इंजेक्शन फलन है,[lower-alpha 1] अन्यथा दो अलग-अलग बिंदुओं, a और b को ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।
यह प्रमाण साक्ष्य के समान है कि आंशिक रूप से आदेशित समुच्चय के बीच एम्बेडिंग ऑर्डर इंजेक्शन है। स्पष्ट रूप से, मीट्रिक समष्टि के बीच प्रत्येक आइसोमेट्री टोपोलॉजिकल एम्बेडिंग है।
एक 'वैश्विक आइसोमेट्री', 'आइसोमेट्रिक आइसोमोर्फिज्म' या 'सर्वांगसमता मैपिंग' विशेषण आइसोमेट्री है। किसी भी अन्य आपत्ति की तरह, वैश्विक आइसोमेट्री में फलन व्युत्क्रम होता है।
वैश्विक आइसोमेट्री का व्युत्क्रम भी वैश्विक आइसोमेट्री है।
दो मीट्रिक समष्टि X और Y को 'आइसोमेट्रिक' कहा जाता है यदि X से Y तक विशेषण आइसोमेट्री है।
मेट्रिक समष्टि से द्विभाजित आइसोमेट्रीज़ का समुच्चय (गणित) फलन संरचना के संबंध में समूह (गणित) बनाता है, जिसे ' आइसोमेट्री समूह ' कहा जाता है।
पथ आइसोमेट्री या आर्कवाइज आइसोमेट्री की दुर्बल धारणा भी है:
एक 'पाथ आइसोमेट्री' या 'आर्कवाइज़ आइसोमेट्री' माप है जो वक्रों की लंबाई को संरक्षित करता है, इस तरह का माप आवश्यक रूप से दूरी के संरक्षण के अर्थ में आइसोमेट्री नहीं है, और यह आवश्यक रूप से विशेषण या इंजेक्शन भी नहीं है।
यह शब्द अधिकांश केवल आइसोमेट्री के लिए संक्षिप्त होता है, इसलिए किसी को संदर्भ से निर्धारित करने के लिए सर्तकता रहना चाहिए कि किस प्रकार का उद्देश्य है।
- उदाहरण
- यूक्लिडियन समष्टि पर कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और घूर्णन वैश्विक आइसोमेट्री है। यूक्लिडियन समूह और यूक्लिडियन स्पेस § आइसोमेट्रीज़ भी देखें।
- वो माप में पथ आइसोमेट्री है लेकिन (सामान्य) आइसोमेट्री नहीं है। ध्यान दें कि आइसोमेट्री के विपरीत, इस पथ आइसोमेट्री को इंजेक्शन होने की आवश्यकता नहीं है।
आदर्श समष्टिों के बीच आइसोमेट्री
निम्नलिखित प्रमेय मजूर और उलम के कारण है।
- परिभाषा:[5] दो तत्वों का मध्यबिंदु x और y सदिश समष्टि में सदिश 1/2(x + y) है.
प्रमेय[5][6] — मान लें कि A : X → Y सामान्य समष्टि के बीच एक विशेषण आइसोमेट्री है जो 0 से 0 (स्टीफन बानाच को मैप करता है जिसे इस तरह कहा जाता है मैप रोटेशन) जहां ध्यान दें कि A नहीं है जिसे लीनियर आइसोमेट्री माना जाता है। फिर A मध्यबिंदुओं को मध्यबिंदुओं के लिए मैप करता है और वास्तविक संख्याओं के मैप के रूप में रैखिक है। यदि X और Y जटिल सदिश स्थान हैं तो A पर मैप के रूप में रैखिक होने में विफल हो सकता है।
रेखीय समरूपता
दो मानक सदिश समष्टि और दिए गए हैं रेखीय समरूपता रेखीय माप है जो मानदंडों को संरक्षित करता है:
सभी के लिए[7] रैखिक आइसोमेट्री उपरोक्त अर्थों में दूरी-संरक्षित माप हैं।
वे वैश्विक आइसोमेट्री हैं यदि और केवल यदि वे विशेषण हैं।
एक आंतरिक उत्पाद समष्टि में, उपरोक्त परिभाषा कम हो जाती है
सभी के लिये जो यह कहने के बराबर है कि इसका तात्पर्य यह भी है कि आइसोमेट्री आंतरिक उत्पादों को संरक्षित करती है, जैसे
रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, चूंकि, इसके लिए अतिरिक्त रूप से और इसकी आवश्यकता होती है
मज़ूर-उलम प्रमेय के अनुसार, पर मानक वेक्टर समष्टि का कोई भी आइसोमेट्री सजातीय परिवर्तन है।
- उदाहरण
- से कोई रेखीय माप अपने आप में आइसोमेट्री है ( डॉट उत्पाद के लिए) यदि और केवल यदि इसका मैट्रिक्स एकात्मक मैट्रिक्स है।[8][9][10][11]
मैनिफोल्ड
मैनिफोल्ड की आइसोमेट्री उस मैनिफोल्ड की किसी भी (चिकनी) मैपिंग को अपने आप में या किसी अन्य मैनिफोल्ड में है जो बिंदुओं के बीच की दूरी की धारणा को संरक्षित करती है।
आइसोमेट्री की परिभाषा के लिए मैनिफोल्ड पर मीट्रिक (गणित) की धारणा की आवश्यकता होती है, (सकारात्मक-निश्चित) मीट्रिक वाला मैनिफोल्ड रीमैनियन मैनिफोल्ड है, अनिश्चित मीट्रिक वाला मैनिफोल्ड स्यूडो-रीमैनियन मैनिफोल्ड है। इस प्रकार, आइसोमेट्री का अध्ययन रीमैनियन ज्यामिति में किया जाता है।
एक ( स्यूडो-रीमैनियन मैनिफोल्ड) रीमैनियन मैनिफोल्ड से दूसरे में समष्टिीय आइसोमेट्री माप है जो मीट्रिक टेंसर को दूसरे मैनिफोल्ड पर पहले मैट्रिक टेंसर पर वापस खींचता (डिफरेंशियल ज्योमेट्री) है। जब ऐसा माप में भी भिन्नता हो, तो ऐसे माप को आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है, और रीमैनियन मैनिफोल्ड्स की श्रेणी सिद्धांत आरएम में आइसोमोर्फिज्म (समानता) की धारणा प्रदान करता है।
परिभाषा
मान लीजिये और दो (स्यूडो-) रीमैनियन मैनिफोल्ड हो, और कोई भिन्नता हो। तब आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है यदि
जहां रैंक (0, 2) मीट्रिक टेन्सरद्वाराके पुलबैक (अंतर ज्यामिति) को दर्शाता है समान रूप से, पुशफॉरवर्ड (अंतर) के संदर्भ में हमारे पास किन्हीं भी दो सदिश क्षेत्रों पर (अर्थात् स्पर्शरेखा बंडल के खंड ) के लिए है,
यदि समष्टिीय भिन्नता है जैसे कि तब समष्टिीय आइसोमेट्री कहा जाता है।
गुण
आइसोमेट्री का संग्रह सामान्यतः समूह, आइसोमेट्री समूह बनाता है। जब समूह सतत समूह होता है, तो समूह के अतिसूक्ष्म जनरेटर किलिंग सदिश क्षेत्र होता है।
मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का दूसरा रूप बताता है कि रिमेंनियन मैनिफोल्ड का आइसोमेट्री समूह झूठ समूह है।
रिमेंनियन मैनिफोल्ड्स जिनमें हर बिंदु पर परिभाषित आइसोमेट्री हैं, सममित समष्टि कहलाते हैं।
सामान्यीकरण
- एक सकारात्मक वास्तविक संख्या ε दी गई है, ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे फेलिक्स हॉसडॉर्फ सन्निकटन भी कहा जाता है) माप है मीट्रिक समष्टि के बीच जैसे कि
- के लिए किसी के पास और
- किसी भी बिंदु के लिए बिन्दु के साथ उपस्थित होता है
- अर्थात् कोई ε-आइसोमेट्री ε के अन्दर की दूरियों को निरंतर रखती है और डोमेन के कोई तत्व की प्रतिबिम्ब से दूर ε से आगे कोडोमेन का कोई तत्व नहीं छोड़ता है। ध्यान दें कि ε-आइसोमेट्री को निरंतर कार्य नहीं माना जाता है।
- प्रतिबंधित आइसोमेट्री संपत्ति विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
- अर्ध आइसोमेट्री अन्य उपयोगी सामान्यीकरण है।
- कोई तत्व को सार यूनिटल C*-बीजगणित में आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है:
- आइसोमेट्री है यदि और केवल यदि
- ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्यतः यह नहीं होता है कि बाएं व्युत्क्रम सही व्युत्क्रम है।
- स्यूडो-यूक्लिडियन समष्टि पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला रेखीय आक्षेप है। द्विघात समष्टि भी देखें।
यह भी देखें
- बेकमैन-क्वार्ल्स प्रमेय
- अनुरूप मैप
- डुअल नॉर्म द सेकंड ड्यूल ऑफ़ अ बैनाच समष्टि
- यूक्लिडियन प्लेन आइसोमेट्री
- फ्लैट (ज्यामिति)
- होमोमोर्फिज्म समूह
- इन्वोल्यूशन (गणित)
- आइसोमेट्री समूह
- गति (ज्यामिति)
- मायर्स-स्टीनरोड प्रमेय
- ओर्थोगोनल ग्रुप 3डी आइसोमेट्रीज जो मूल को स्थिर छोड़ देते हैं
- आंशिक आइसोमेट्री
- स्केलिंग (ज्यामिति)
- अर्ध निश्चित एम्बेडिंग
- समष्टि समूह
- गणित में समरूपता
फुटनोट्स
- ↑ 1.0 1.1
"We shall find it convenient to use the word transformation in the special sense of a one-to-one correspondence among all points in the plane (or in space), that is, a rule for associating pairs of points, with the understanding that each pair has a first member P and a second member P' and that every point occurs as the first member of just one pair and also as the second member of just one pair...
In particular, an isometry (or "congruent transformation," or "congruence") is a transformation which preserves length ..." — Coxeter (1969) p. 29[1]
- ↑
3.11 Any two congruent triangles are related by a unique isometry.— Coxeter (1969) p. 39[3]
- ↑
Let T be a transformation (possibly many-valued) of () into itself.
Let be the distance between points p and q of , and let Tp, Tq be any images of p and q, respectively.
If there is a length a > 0 such that whenever , then T is a Euclidean transformation of onto itself.[4]
संदर्भ
- ↑ Coxeter 1969, p. 29
- ↑ Coxeter 1969, p. 46
3.51 Any direct isometry is either a translation or a rotation. Any opposite isometry is either a reflection or a glide reflection.
- ↑ Coxeter 1969, p. 39
- ↑ 4.0 4.1
Beckman, F.S.; Quarles, D.A., Jr. (1953). "On isometries of Euclidean spaces" (PDF). Proceedings of the American Mathematical Society. 4 (5): 810–815. doi:10.2307/2032415. JSTOR 2032415. MR 0058193.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - ↑ 5.0 5.1 Narici & Beckenstein 2011, pp. 275–339.
- ↑ Wilansky 2013, pp. 21–26.
- ↑ Thomsen, Jesper Funch (2017). लीनियर अलजेब्रा [Linear Algebra]. Department of Mathematics (in dansk). Århus: Aarhus University. p. 125.
- ↑ Roweis, S.T.; Saul, L.K. (2000). "Nonlinear dimensionality reduction by locally linear embedding". Science. 290 (5500): 2323–2326. CiteSeerX 10.1.1.111.3313. doi:10.1126/science.290.5500.2323. PMID 11125150.
- ↑
Saul, Lawrence K.; Roweis, Sam T. (June 2003). "Think globally, fit locally: Unsupervised learning of nonlinear manifolds". Journal of Machine Learning Research. 4 (June): 119–155.
Quadratic optimisation of (page 135) such that
- ↑ Zhang, Zhenyue; Zha, Hongyuan (2004). "Principal manifolds and nonlinear dimension reduction via local tangent space alignment". SIAM Journal on Scientific Computing. 26 (1): 313–338. CiteSeerX 10.1.1.211.9957. doi:10.1137/s1064827502419154.
- ↑
Zhang, Zhenyue; Wang, Jing (2006). "MLLE: Modified locally linear embedding using multiple weights". In Schölkopf, B.; Platt, J.; Hoffman, T. (eds.). Advances in Neural Information Processing Systems. NIPS 2006. NeurIPS Proceedings. Vol. 19. pp. 1593–1600. ISBN 9781622760381.
It can retrieve the ideal embedding if MLLE is applied on data points sampled from an isometric manifold.
ग्रन्थसूची
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
- Coxeter, H. S. M. (1969). Introduction to Geometry, Second edition. Wiley. ISBN 9780471504580.
- Lee, Jeffrey M. (2009). Manifolds and Differential Geometry. Providence, RI: American Mathematical Society. ISBN 978-0-8218-4815-9.