आइसोमेट्री: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(11 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Distance-preserving mathematical transformation}}
गणित में, कोई '''आइसोमेट्री''' (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक समष्टि के बीच की [[ दूरी |दूरी]]-संरक्षण परिवर्तन है, जिसे सामान्यतः [[ द्विभाजन |द्विभाजन]] माना जाता है।{{efn| name=CoxeterIsometryDef|
{{About|दूरी-संरक्षण फलन|अन्य गणितीय उपयोग|आइसोमेट्री (बहुविकल्पी)|गैर-गणितीय उपयोग|आइसोमेट्रिक (बहुविकल्पी){{!}}आइसोमेट्रिक}}
{{Distinguish| आइसोमेट्रिक प्रक्षेपण}}
{{refimprove|date=June 2016}}
गणित में, एक आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक स्पेस के बीच एक [[ दूरी ]]-संरक्षण परिवर्तन है, जिसे सामान्यतः [[ द्विभाजन ]] माना जाता है।{{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&nbsp;..." — Coxeter (1969) p.&nbsp;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&nbsp;..." — Coxeter (1969) p.&nbsp;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|दो विपरीत आइसोमेट्री की संरचना एक प्रत्यक्ष आइसोमेट्री है। एक रेखा में एक प्रतिबिंब एक विपरीत आइसोमेट्री है, जैसे छवि पर {{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>]]
[[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|
द्वि-आयामी या त्रि-आयामी यूक्लिडियन समष्टि में, दो ज्यामितीय आंकड़े कोई आइसोमेट्री द्वारा संबंधित हो तो वह [[ सर्वांगसमता (ज्यामिति) |सर्वांगसम (ज्यामिति)]] होते है,{{efn|
<p>'''3.11''' ''Any two congruent triangles are related by a unique isometry.''— Coxeter (1969) p.&nbsp;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.&nbsp;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>\ 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>\ f:X \to Y\ </math>को एक आइसोमेट्री या दूरी को संरक्षित करने वाला कहा जाता है यदि किसी के लिए <math>\ a, b \in X\ </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 को एक ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।
कोई आइसोमेट्री स्वचालित रूप से इंजेक्शन फलन है,{{efn| name=CoxeterIsometryDef}} अन्यथा दो अलग-अलग बिंदुओं, a और b को ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।


यह प्रमाण साक्ष्य के समान है कि [[ आंशिक रूप से आदेशित सेट |आंशिक रूप से आदेशित सेटों]] के बीच एम्बेडिंग ऑर्डर इंजेक्शन है। स्पष्ट रूप से, मीट्रिक स्पेस के बीच प्रत्येक आइसोमेट्री एक टोपोलॉजिकल एम्बेडिंग है।
यह प्रमाण साक्ष्य के समान है कि आंशिक रूप से आदेशित समुच्चय के बीच एम्बेडिंग ऑर्डर इंजेक्शन है। स्पष्ट रूप से, मीट्रिक समष्टि के बीच प्रत्येक आइसोमेट्री टोपोलॉजिकल एम्बेडिंग है।


एक 'वैश्विक आइसोमेट्री', 'आइसोमेट्रिक आइसोमोर्फिज्म' या 'सर्वांगसमता मैपिंग' एक विशेषण आइसोमेट्री है। किसी भी अन्य आपत्ति की तरह, एक वैश्विक आइसोमेट्री में एक फ़ंक्शन व्युत्क्रम होता है।
एक 'वैश्विक आइसोमेट्री', 'आइसोमेट्रिक आइसोमोर्फिज्म' या 'सर्वांगसमता मैपिंग' विशेषण आइसोमेट्री है। किसी भी अन्य आपत्ति की तरह, वैश्विक आइसोमेट्री में फलन व्युत्क्रम होता है।


वैश्विक आइसोमेट्री का व्युत्क्रम भी एक वैश्विक आइसोमेट्री है।
वैश्विक आइसोमेट्री का व्युत्क्रम भी वैश्विक आइसोमेट्री है।


दो मीट्रिक स्पेस X और Y को 'आइसोमेट्रिक' कहा जाता है यदि X से Y तक एक विशेषण आइसोमेट्री है।
दो मीट्रिक समष्टि X और Y को 'आइसोमेट्रिक' कहा जाता है यदि X से Y तक विशेषण आइसोमेट्री है।


मेट्रिक स्पेस से [[ द्विभाजित | द्विभाजित]] आइसोमेट्रीज़ का [[ सेट (गणित) |सेट (गणित)]] फ़ंक्शन संरचना के संबंध में एक [[ समूह (गणित) | समूह (गणित)]] बनाता है, जिसे '[[ आइसोमेट्री समूह | आइसोमेट्री समूह]] ' कहा जाता है।
मेट्रिक समष्टि से [[ द्विभाजित |द्विभाजित]] आइसोमेट्रीज़ का [[ सेट (गणित) |समुच्चय (गणित)]] फलन संरचना के संबंध में [[ समूह (गणित) |समूह (गणित)]] बनाता है, जिसे '[[ आइसोमेट्री समूह | आइसोमेट्री समूह]] ' कहा जाता है।


पथ आइसोमेट्री या आर्कवाइज आइसोमेट्री की दुर्बल धारणा भी है:
पथ आइसोमेट्री या आर्कवाइज आइसोमेट्री की दुर्बल धारणा भी है:


एक 'पाथ आइसोमेट्री' या 'आर्कवाइज़ आइसोमेट्री' एक माप है जो वक्रों की लंबाई को संरक्षित करता है; इस तरह का माप आवश्यक रूप से दूरी के संरक्षण के अर्थ में एक आइसोमेट्री नहीं है, और यह आवश्यक रूप से विशेषण या इंजेक्शन भी नहीं है।
एक 'पाथ आइसोमेट्री' या 'आर्कवाइज़ आइसोमेट्री' माप है जो वक्रों की लंबाई को संरक्षित करता है, इस तरह का माप आवश्यक रूप से दूरी के संरक्षण के अर्थ में आइसोमेट्री नहीं है, और यह आवश्यक रूप से विशेषण या इंजेक्शन भी नहीं है।


यह शब्द अधिकांश केवल आइसोमेट्री के लिए संक्षिप्त होता है, इसलिए किसी को संदर्भ से निर्धारित करने के लिए सर्तकता रहना चाहिए कि किस प्रकार का उद्देश्य है।
यह शब्द अधिकांश केवल आइसोमेट्री के लिए संक्षिप्त होता है, इसलिए किसी को संदर्भ से निर्धारित करने के लिए सर्तकता रहना चाहिए कि किस प्रकार का उद्देश्य है।


;उदाहरण
;उदाहरण
* यूक्लिडियन स्पेस पर कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और [[ रोटेशन ]] एक वैश्विक आइसोमेट्री है। [[ यूक्लिडियन समूह ]] और {{slink|यूक्लिडियन स्पेस |आइसोमेट्रीज़}} भी देखें।
* यूक्लिडियन समष्टि पर कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और [[ रोटेशन |घूर्णन]] वैश्विक आइसोमेट्री है। [[ यूक्लिडियन समूह |यूक्लिडियन समूह]] और {{slink|यूक्लिडियन स्पेस |आइसोमेट्रीज़}} भी देखें।
* वो माप <math>\ x \mapsto |x|\ </math> में <math>\ \mathbb{R}\ </math> एक पथ आइसोमेट्री है लेकिन (सामान्य) आइसोमेट्री नहीं है। ध्यान दें कि आइसोमेट्री के विपरीत, इस पथ आइसोमेट्री को इंजेक्शन होने की आवश्यकता नहीं है।
* वो माप <math>\ x \mapsto |x|\ </math> में <math>\ \mathbb{R}\ </math> पथ आइसोमेट्री है लेकिन (सामान्य) आइसोमेट्री नहीं है। ध्यान दें कि आइसोमेट्री के विपरीत, इस पथ आइसोमेट्री को इंजेक्शन होने की आवश्यकता नहीं है।


== आदर्श स्पेसों के बीच आइसोमेट्री ==
== आदर्श समष्टिों के बीच आइसोमेट्री ==


निम्नलिखित प्रमेय मजूर और उलम के कारण है।
निम्नलिखित प्रमेय मजूर और उलम के कारण है।


:परिभाषा:{{sfn | Narici|Beckenstein | 2011 | pp=275–339}} दो तत्वों का मध्यबिंदु {{mvar|x}} और {{mvar|y}} सदिश स्पेस में सदिश {{math|{{sfrac|1|2}}(''x'' + ''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 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}} ''नहीं'' है जिसे ''लीनियर'' आइसोमेट्री माना जाता है।
मान लें कि {{math|''A'' : ''X'' → ''Y''}} [[सामान्य समष्टि]] के बीच एक विशेषण आइसोमेट्री है जो 0 से 0 ([[स्टीफन बानाच]] को मैप करता है जिसे इस तरह कहा जाता है मैप '''रोटेशन''') जहां ध्यान दें कि {{mvar|A}} ''नहीं'' है जिसे ''लीनियर'' आइसोमेट्री माना जाता है।
फिर {{mvar|A}} मध्यबिंदुओं को मध्यबिंदुओं के लिए मैप करता है और वास्तविक संख्याओं के मैप  <math>\mathbb{R}</math> के रूप में रैखिक है।
फिर {{mvar|A}} मध्यबिंदुओं को मध्यबिंदुओं के लिए मैप करता है और वास्तविक संख्याओं के मैप  <math>\mathbb{R}</math> के रूप में रैखिक है।
यदि {{mvar|X}} और {{mvar|Y}} जटिल सदिश स्थान हैं तो {{mvar|A}} <math>\mathbb{C}</math> पर मैप के रूप में रैखिक होने में विफल हो सकता है।  
यदि {{mvar|X}} और {{mvar|Y}} जटिल सदिश स्थान हैं तो {{mvar|A}} <math>\mathbb{C}</math> पर मैप के रूप में रैखिक होने में विफल हो सकता है।  
Line 79: Line 75:
=== रेखीय समरूपता ===
=== रेखीय समरूपता ===


दो मानक सदिश स्पेस <math> V </math> और <math> W </math> दिए गए हैं एक रेखीय समरूपता एक रेखीय माप <math> A : V \to W </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>\ 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>
Line 93: Line 89:
रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, चूंकि, इसके लिए अतिरिक्त रूप से <math>V = W </math> और <math> A A^\dagger = \operatorname{I}_V\ </math>इसकी आवश्यकता होती है
रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, चूंकि, इसके लिए अतिरिक्त रूप से <math>V = W </math> और <math> A A^\dagger = \operatorname{I}_V\ </math>इसकी आवश्यकता होती है


मज़ूर-उलम प्रमेय के अनुसार, <math> \mathbb{R} </math> पर मानक वेक्टर स्पेस का कोई भी आइसोमेट्री सजातीय परिवर्तन है।
मज़ूर-उलम प्रमेय के अनुसार, <math> \mathbb{R} </math> पर मानक वेक्टर समष्टि का कोई भी आइसोमेट्री सजातीय परिवर्तन है।


;उदाहरण
;उदाहरण


* <math> \mathbb{C}^n </math> से एक रेखीय माप अपने आप में एक आइसोमेट्री है ([[ डॉट उत्पाद ]] के लिए) यदि और केवल यदि इसका मैट्रिक्स [[ एकात्मक मैट्रिक्स ]] है।<ref>
* <math> \mathbb{C}^n </math> से कोई रेखीय माप अपने आप में आइसोमेट्री है ([[ डॉट उत्पाद | डॉट उत्पाद]] के लिए) यदि और केवल यदि इसका मैट्रिक्स [[ एकात्मक मैट्रिक्स |एकात्मक मैट्रिक्स]] है।<ref>
{{cite journal
{{cite journal
  | last1 = Roweis | first1 = S.T.
  | last1 = Roweis | first1 = S.T.
Line 119: 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>\ 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>\ 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>\ g = f^{*} g'\ ,</math> तब <math>f</math> स्थानीय आइसोमेट्री कहा जाता है।
यदि <math>\ f\ </math> [[ स्थानीय भिन्नता |समष्टिीय भिन्नता]] है जैसे कि <math>\ g = f^{*} g'\ ,</math> तब <math>f</math> समष्टिीय आइसोमेट्री कहा जाता है।


=== गुण ===
=== गुण ===
आइसोमेट्री का संग्रह सामान्यतः एक समूह, आइसोमेट्री समूह बनाता है। जब समूह एक सतत समूह होता है, तो समूह के अतिसूक्ष्म जनरेटर [[ हत्या वेक्टर क्षेत्र | किलिंग सदिश क्षेत्र]] होता है।
आइसोमेट्री का संग्रह सामान्यतः समूह, आइसोमेट्री समूह बनाता है। जब समूह सतत समूह होता है, तो समूह के अतिसूक्ष्म जनरेटर किलिंग सदिश क्षेत्र होता है।


मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का एक दूसरा रूप बताता है कि रिमेंनियन मैनिफोल्ड का आइसोमेट्री समूह एक [[ झूठ समूह ]] है।
मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का दूसरा रूप बताता है कि रिमेंनियन मैनिफोल्ड का आइसोमेट्री समूह [[ झूठ समूह |झूठ समूह]] है।


रिमेंनियन मैनिफोल्ड्स जिनमें हर बिंदु पर परिभाषित आइसोमेट्री हैं, [[ सममित स्थान | सममित स्पेस]] कहलाते हैं।
रिमेंनियन मैनिफोल्ड्स जिनमें हर बिंदु पर परिभाषित आइसोमेट्री हैं, सममित समष्टि कहलाते हैं।


== सामान्यीकरण ==
== सामान्यीकरण ==
* एक सकारात्मक वास्तविक संख्या ε दी गई है, एक ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे [[ फेलिक्स हॉसडॉर्फ ]] सन्निकटन भी कहा जाता है) एक माप <math>\ f \colon X \to Y\ </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>\ x \in X</math> के साथ <math>d_Y(y, f(x)) < \varepsilon\ </math>उपस्थित होता है
*# किसी भी बिंदु के लिए <math>y \in Y</math> बिन्दु <math>\ x \in X</math> के साथ <math>d_Y(y, f(x)) < \varepsilon\ </math>उपस्थित होता है
: अर्थात् एक {{mvar|ε}}-आइसोमेट्री {{mvar|ε}} के अन्दर की दूरियों को निरंतर रखती है और डोमेन के एक तत्व की छवि से दूर {{mvar|ε}} से आगे कोडोमेन का कोई तत्व नहीं छोड़ता है। ध्यान दें कि {{mvar|ε}}-आइसोमेट्री को [[ निरंतर कार्य ]] नहीं माना जाता है।
: अर्थात् कोई {{mvar|ε}}-आइसोमेट्री {{mvar|ε}} के अन्दर की दूरियों को निरंतर रखती है और डोमेन के कोई तत्व की प्रतिबिम्ब से दूर {{mvar|ε}} से आगे कोडोमेन का कोई तत्व नहीं छोड़ता है। ध्यान दें कि {{mvar|ε}}-आइसोमेट्री को [[ निरंतर कार्य |निरंतर कार्य]] नहीं माना जाता है।


* [[ प्रतिबंधित आइसोमेट्री संपत्ति ]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
* [[ प्रतिबंधित आइसोमेट्री संपत्ति | प्रतिबंधित आइसोमेट्री संपत्ति]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
* [[ अर्ध isometry | अर्ध आइसोमेट्री]] एक अन्य उपयोगी सामान्यीकरण है।
* [[ अर्ध isometry | अर्ध आइसोमेट्री]] अन्य उपयोगी सामान्यीकरण है।
* एक तत्व को एक सार यूनिटल C*-बीजगणित में एक आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है:
* कोई तत्व को सार यूनिटल C*-बीजगणित में आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है:
*:<math>\ a \in \mathfrak{A}\ </math> एक आइसोमेट्री है यदि और केवल यदि <math>\ a^* \cdot a = 1\ .</math>
*:<math>\ a \in \mathfrak{A}\ </math> आइसोमेट्री है यदि और केवल यदि <math>\ a^* \cdot a = 1\ .</math>
*:ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्यतः यह नहीं होता है कि बाएं व्युत्क्रम एक सही व्युत्क्रम है।
*:ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्यतः यह नहीं होता है कि बाएं व्युत्क्रम सही व्युत्क्रम है।


* [[ छद्म-यूक्लिडियन अंतरिक्ष | स्यूडो-यूक्लिडियन अंतरिक्ष]] पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला एक रेखीय आक्षेप है। द्विघात स्पेस भी देखें।
* [[ छद्म-यूक्लिडियन अंतरिक्ष | स्यूडो-यूक्लिडियन समष्टि]] पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला रेखीय आक्षेप है। द्विघात समष्टि भी देखें।


== यह भी देखें ==
== यह भी देखें ==
* बेकमैन-क्वार्ल्स प्रमेय
* बेकमैन-क्वार्ल्स प्रमेय
* {{annotated link|अनुरूप मैप}}
* {{annotated link|अनुरूप मैप}}
* डुअल नॉर्म# द सेकंड ड्यूल ऑफ़ अ बैनाच स्पेस
* डुअल नॉर्म द सेकंड ड्यूल ऑफ़ अ बैनाच समष्टि
* [[ यूक्लिडियन प्लेन आइसोमेट्री ]]
* [[ यूक्लिडियन प्लेन आइसोमेट्री ]]
* फ्लैट (ज्यामिति)
* फ्लैट (ज्यामिति)
Line 171: Line 165:
* [[ गति (ज्यामिति) ]]
* [[ गति (ज्यामिति) ]]
* मायर्स-स्टीनरोड प्रमेय
* मायर्स-स्टीनरोड प्रमेय
* ओर्थोगोनल ग्रुप#3डी आइसोमेट्रीज जो मूल को स्थिर छोड़ देते हैं
* ओर्थोगोनल ग्रुप 3डी आइसोमेट्रीज जो मूल को स्थिर छोड़ देते हैं
* [[ आंशिक आइसोमेट्री ]]
* [[ आंशिक आइसोमेट्री ]]
* [[ स्केलिंग (ज्यामिति) ]]
* [[ स्केलिंग (ज्यामिति) ]]
* [[ अर्ध निश्चित एम्बेडिंग ]]
* [[ अर्ध निश्चित एम्बेडिंग ]]
* [[ अंतरिक्ष समूह ]]
* [[ अंतरिक्ष समूह | समष्टि समूह]]
* [[ गणित में समरूपता ]]
* [[ गणित में समरूपता ]]
{{div col end}}
== फुटनोट्स ==
== फुटनोट्स ==
{{notelist}}
{{notelist}}


== संदर्भ ==
== संदर्भ ==
Line 218: Line 208:
</ref>
</ref>


}} <!-- end "refs=" -->
}}<nowiki> </nowiki>
==ग्रन्थसूची==