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

From Vigyanwiki
No edit summary
No edit summary
Line 3: Line 3:
{{Distinguish| आइसोमेट्रिक प्रक्षेपण}}
{{Distinguish| आइसोमेट्रिक प्रक्षेपण}}
{{refimprove|date=June 2016}}
{{refimprove|date=June 2016}}
गणित में, आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक स्पेस के बीच एक [[ दूरी | दूरी]]-संरक्षण परिवर्तन है, जिसे सामान्यतः [[ द्विभाजन ]] माना जाता है।{{efn| name=CoxeterIsometryDef|
गणित में, कोई आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक स्पेस के बीच एक [[ दूरी | दूरी]]-संरक्षण परिवर्तन है, जिसे सामान्यतः [[ द्विभाजन ]] माना जाता है।{{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 जिसका अर्थ माप होता है।
Line 10: Line 10:
== परिचय ==
== परिचय ==


एक मीट्रिक स्पेस (अस्पष्ट, एक सेट और सेट के तत्वों के बीच दूरी निर्दिष्ट करने के लिए एक योजना) को देखते हुए, एक आइसोमेट्री [[ परिवर्तन (ज्यामिति) ]] है जो तत्वों को उसी या किसी अन्य मीट्रिक स्पेस पर माप करता है जैसे कि नई मीट्रिक अंतरिक्ष में छवि तत्वों के बीच की दूरी मूल मीट्रिक स्पेस में तत्वों के बीच की दूरी के बराबर है।
एक मीट्रिक स्पेस (अस्पष्ट, एक सेट और सेट के तत्वों के बीच दूरी निर्दिष्ट करने के लिए एक योजना) को देखते हुए, कोई आइसोमेट्री [[ परिवर्तन (ज्यामिति) ]] है जो तत्वों को उसी या किसी अन्य मीट्रिक स्पेस पर माप करता है जैसे कि नई मीट्रिक अंतरिक्ष में छवि तत्वों के बीच की दूरी मूल मीट्रिक स्पेस में तत्वों के बीच की दूरी के बराबर है।


द्वि-आयामी या त्रि-आयामी [[ यूक्लिडियन अंतरिक्ष | यूक्लिडियन अंतरिक्ष]] में, दो ज्यामितीय आंकड़े एक आइसोमेट्री द्वारा संबंधित हो तो वह [[ सर्वांगसमता (ज्यामिति) | सर्वांगसम (ज्यामिति)]] होते है;{{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>
}}
}}
Line 18: Line 18:
आइसोमेट्री जो उन्हें संबंधित करती है वह या तो एक दृढ़ गति (अनुवाद या घूर्णन) है, या एक दृढ़ गति और एक प्रतिबिंब (गणित) की क्रिया संरचना होती है।
आइसोमेट्री जो उन्हें संबंधित करती है वह या तो एक दृढ़ गति (अनुवाद या घूर्णन) है, या एक दृढ़ गति और एक प्रतिबिंब (गणित) की क्रिया संरचना होती है।


आइसोमेट्री का उपयोग अधिकांश उन निर्माणों में किया जाता है जहां एक स्पेस दूसरे स्पेस में [[ एम्बेडिंग | एम्बेडिंग]] होता है। उदाहरण के लिए, मीट्रिक स्पेस <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 43:
<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 को एक ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।


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


* <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 150: Line 150:
*# के लिए <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|ε}}-आइसोमेट्री को [[ निरंतर कार्य ]] नहीं माना जाता है।


* [[ प्रतिबंधित आइसोमेट्री संपत्ति ]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
* [[ प्रतिबंधित आइसोमेट्री संपत्ति ]] विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।

Revision as of 07:55, 9 January 2023

गणित में, कोई आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक स्पेस के बीच एक दूरी-संरक्षण परिवर्तन है, जिसे सामान्यतः द्विभाजन माना जाता है।[lower-alpha 1] आइसोमेट्री शब्द प्राचीन ग्रीक से लिया गया है: ἴσος isos जिसका अर्थ बराबर होता है, और μέτρον metron जिसका अर्थ माप होता है।

दो विपरीत आइसोमेट्री की संरचना एक प्रत्यक्ष आइसोमेट्री है। एक रेखा में एक प्रतिबिंब एक विपरीत आइसोमेट्री है, जैसे छवि पर R 1 या R 2अनुवाद (ज्यामिति) T एक प्रत्यक्ष आइसोमेट्री है: एक दृढ़ पिंड की गति।[2]

परिचय

एक मीट्रिक स्पेस (अस्पष्ट, एक सेट और सेट के तत्वों के बीच दूरी निर्दिष्ट करने के लिए एक योजना) को देखते हुए, कोई आइसोमेट्री परिवर्तन (ज्यामिति) है जो तत्वों को उसी या किसी अन्य मीट्रिक स्पेस पर माप करता है जैसे कि नई मीट्रिक अंतरिक्ष में छवि तत्वों के बीच की दूरी मूल मीट्रिक स्पेस में तत्वों के बीच की दूरी के बराबर है।

द्वि-आयामी या त्रि-आयामी यूक्लिडियन अंतरिक्ष में, दो ज्यामितीय आंकड़े कोई आइसोमेट्री द्वारा संबंधित हो तो वह सर्वांगसम (ज्यामिति) होते है;[lower-alpha 2]

आइसोमेट्री जो उन्हें संबंधित करती है वह या तो एक दृढ़ गति (अनुवाद या घूर्णन) है, या एक दृढ़ गति और एक प्रतिबिंब (गणित) की क्रिया संरचना होती है।

आइसोमेट्री का उपयोग अधिकांश उन निर्माणों में किया जाता है जहां एक स्पेस दूसरे स्पेस में एम्बेडिंग होता है। उदाहरण के लिए, मीट्रिक स्पेस के पूरा होने में से में कोई आइसोमेट्री सम्मिलित है, जो पर कॉची अनुक्रमों के स्पेस का भागफल सेट है। मूल स्पेस इस प्रकार एक पूर्ण मीट्रिक स्पेस के उप-स्थान के लिए आइसोमेट्रिक रूप से समरूपता है, और इसे सामान्यतः इस उप-स्थान के साथ पहचाना जाता है।

अन्य एम्बेडिंग निर्माणों से पता चलता है कि प्रत्येक मीट्रिक स्पेस कुछ मानक सदिश स्पेस के एक बंद सबसेट के लिए आइसोमेट्रिक रूप से आइसोमोर्फिक है और यह कि प्रत्येक पूर्ण मीट्रिक स्पेस आइसोमेट्रिक रूप से आइसोमोर्फिक है जो कुछ बनच स्पेस के बंद उपसमुच्चय के लिए है।

कोईहिल्बर्ट अंतरिक्ष पर एक आइसोमेट्रिक सर्जेक्टिव लीनियर ऑपरेटर को एकात्मक ऑपरेटर कहा जाता है।

परिभाषा

और को मेट्रिक्स (जैसे, दूरियां) और के साथ मीट्रिक स्पेस मान ले. एक फलन (गणित) को कोई आइसोमेट्री या दूरी को संरक्षित करने वाला कहा जाता है यदि किसी के लिए किसी के पास है

[4][lower-alpha 3]

कोई आइसोमेट्री स्वचालित रूप से इंजेक्शन फलन है;[lower-alpha 1] अन्यथा दो अलग-अलग बिंदुओं, a और b को एक ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।

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

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

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

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

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

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

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

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

उदाहरण
  • यूक्लिडियन स्पेस पर कोई भी प्रतिबिंब (गणित), अनुवाद (ज्यामिति) और घूर्णन एक वैश्विक आइसोमेट्री है। यूक्लिडियन समूह और यूक्लिडियन स्पेस § आइसोमेट्रीज़ भी देखें।
  • वो माप में एक पथ आइसोमेट्री है लेकिन (सामान्य) आइसोमेट्री नहीं है। ध्यान दें कि आइसोमेट्री के विपरीत, इस पथ आइसोमेट्री को इंजेक्शन होने की आवश्यकता नहीं है।

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

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

परिभाषा:[5] दो तत्वों का मध्यबिंदु x और y सदिश स्पेस में सदिश 1/2(x + y) है.

प्रमेय[5][6] — मान लें कि A : XY सामान्य स्थान के बीच एक विशेषण आइसोमेट्री है जो 0 से 0 (स्टीफन बानाच को मैप करता है जिसे इस तरह कहा जाता है मैप रोटेशन) जहां ध्यान दें कि A नहीं है जिसे लीनियर आइसोमेट्री माना जाता है। फिर A मध्यबिंदुओं को मध्यबिंदुओं के लिए मैप करता है और वास्तविक संख्याओं के मैप के रूप में रैखिक है। यदि X और Y जटिल सदिश स्थान हैं तो A पर मैप के रूप में रैखिक होने में विफल हो सकता है।

रेखीय समरूपता

दो मानक सदिश स्पेस और दिए गए हैं एक रेखीय समरूपता एक रेखीय माप है जो मानदंडों को संरक्षित करता है:

सभी के लिए[7] रैखिक आइसोमेट्री उपरोक्त अर्थों में दूरी-संरक्षित माप हैं।

वे वैश्विक आइसोमेट्री हैं यदि और केवल यदि वे विशेषण हैं।

एक आंतरिक उत्पाद स्पेस में, उपरोक्त परिभाषा कम हो जाती है

सभी के लिये जो यह कहने के बराबर है कि इसका तात्पर्य यह भी है कि आइसोमेट्री आंतरिक उत्पादों को संरक्षित करती है, जैसे

रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, चूंकि, इसके लिए अतिरिक्त रूप से और इसकी आवश्यकता होती है

मज़ूर-उलम प्रमेय के अनुसार, पर मानक वेक्टर स्पेस का कोई भी आइसोमेट्री सजातीय परिवर्तन है।

उदाहरण


मैनिफोल्ड

मैनिफोल्ड की एक आइसोमेट्री उस मैनिफोल्ड की किसी भी (चिकनी) मैपिंग को अपने आप में या किसी अन्य मैनिफोल्ड में है जो बिंदुओं के बीच की दूरी की धारणा को संरक्षित करती है।

आइसोमेट्री की परिभाषा के लिए मैनिफोल्ड पर एक मीट्रिक (गणित) की धारणा की आवश्यकता होती है; एक (सकारात्मक-निश्चित) मीट्रिक वाला मैनिफोल्ड एक रीमैनियन मैनिफोल्ड है, एक अनिश्चित मीट्रिक वाला मैनिफोल्ड स्यूडो-रीमैनियन मैनिफोल्ड है। इस प्रकार, आइसोमेट्री का अध्ययन रीमैनियन ज्यामिति में किया जाता है।

एक ( स्यूडो-रीमैनियन मैनिफोल्ड -) रीमैनियन मैनिफोल्ड से दूसरे में एक स्थानीय आइसोमेट्री माप है जो मीट्रिक टेंसर को दूसरे मैनिफोल्ड पर पहले मैट्रिक टेंसर पर वापस खींचता (डिफरेंशियल ज्योमेट्री) है। जब ऐसा माप में भी भिन्नता हो, तो ऐसे माप को आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है, और रीमैनियन मैनिफोल्ड्स की श्रेणी सिद्धांत आरएम में आइसोमोर्फिज्म (समानता) की धारणा प्रदान करता है।

परिभाषा

मान लीजिये और दो (स्यूडो-) रीमैनियन मैनिफोल्ड हो, और कोई भिन्नता हो। तब एक आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है यदि

जहां रैंक (0, 2) मीट्रिक टेन्सरद्वाराके पुलबैक (अंतर ज्यामिति) को दर्शाता है समान रूप से, पुशफॉरवर्ड (अंतर) के संदर्भ में हमारे पास किन्हीं भी दो सदिश क्षेत्रों पर (अर्थात् स्पर्शरेखा बंडल के खंड ) के लिए है,

यदि एक स्थानीय भिन्नता है जैसे कि तब स्थानीय आइसोमेट्री कहा जाता है।

गुण

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

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

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

सामान्यीकरण

  • एक सकारात्मक वास्तविक संख्या ε दी गई है, एक ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे फेलिक्स हॉसडॉर्फ सन्निकटन भी कहा जाता है) एक माप है मीट्रिक स्पेस के बीच जैसे कि
    1. के लिए किसी के पास और
    2. किसी भी बिंदु के लिए एक बिन्दु के साथ उपस्थित होता है
अर्थात् कोई ε-आइसोमेट्री ε के अन्दर की दूरियों को निरंतर रखती है और डोमेन के कोई तत्व की छवि से दूर ε से आगे कोडोमेन का कोई तत्व नहीं छोड़ता है। ध्यान दें कि ε-आइसोमेट्री को निरंतर कार्य नहीं माना जाता है।
  • प्रतिबंधित आइसोमेट्री संपत्ति विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
  • अर्ध आइसोमेट्री एक अन्य उपयोगी सामान्यीकरण है।
  • कोई तत्व को एक सार यूनिटल C*-बीजगणित में आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है:
    एक आइसोमेट्री है यदि और केवल यदि
    ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्यतः यह नहीं होता है कि बाएं व्युत्क्रम एक सही व्युत्क्रम है।

यह भी देखें


फुटनोट्स

  1. 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]

  2. 3.11 Any two congruent triangles are related by a unique isometry.— Coxeter (1969) p. 39[3]


  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]


संदर्भ

  1. Coxeter 1969, p. 29
  2. 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.

  3. Coxeter 1969, p. 39
  4. 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. 5.0 5.1 Narici & Beckenstein 2011, pp. 275–339.
  6. Wilansky 2013, pp. 21–26.
  7. Thomsen, Jesper Funch (2017). लीनियर अलजेब्रा [Linear Algebra]. Department of Mathematics (in dansk). Århus: Aarhus University. p. 125.
  8. 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.
  9. 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
  10. 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.
  11. 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.


ग्रन्थसूची

श्रेणी: कार्य और मापण श्रेणी:मीट्रिक ज्यामिति श्रेणी:समरूपता श्रेणी: तुल्यता (गणित) श्रेणी: रीमानियन ज्यामिति