आइसोमेट्री

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

परिचय
एक मीट्रिक स्थान (ढीला, एक सेट और सेट के तत्वों के बीच दूरी निर्दिष्ट करने के लिए एक योजना) को देखते हुए, एक आइसोमेट्री एक परिवर्तन (ज्यामिति)  है जो तत्वों को उसी या किसी अन्य मीट्रिक स्थान पर मैप करता है जैसे कि छवि तत्वों के बीच की दूरी नया मीट्रिक स्थान मूल मीट्रिक स्थान में तत्वों के बीच की दूरी के बराबर है। द्वि-आयामी या त्रि-आयामी यूक्लिडियन अंतरिक्ष  में, दो ज्यामितीय आंकड़े  सर्वांगसमता (ज्यामिति)  होते हैं यदि वे एक आइसोमेट्री द्वारा संबंधित होते हैं; आइसोमेट्री जो उन्हें संबंधित करती है वह या तो एक कठोर गति (अनुवाद या रोटेशन) है, या एक कठोर गति और एक प्रतिबिंब (गणित) की एक क्रिया संरचना है। आइसोमेट्री का उपयोग अक्सर निर्माण में किया जाता है जहां एक स्थान दूसरे स्थान में एम्बेडिंग  होता है। उदाहरण के लिए, पूर्ण स्थान#मीट्रिक स्थान का समापन $$\ M\ $$ से एक आइसोमेट्री शामिल है $$\ M\ $$ में $$\ M'\ ,$$  कॉची अनुक्रम ों के स्थान का एक भागफल सेट $$\ M\ .$$ मूल स्थान $$\ M\ $$ इस प्रकार एक  पूर्ण मीट्रिक स्थान  के उप-स्थान के लिए आइसोमेट्रिक रूप से समरूपता है, और इसे आमतौर पर इस उप-स्थान के साथ पहचाना जाता है। अन्य एम्बेडिंग निर्माणों से पता चलता है कि प्रत्येक मीट्रिक स्थान कुछ मानक सदिश स्थान के एक बंद सेट  के लिए आइसोमेट्रिक रूप से  समाकृतिकता  है और यह कि प्रत्येक पूर्ण मीट्रिक स्पेस कुछ  बनच स्थान  के बंद उपसमुच्चय के लिए आइसोमेट्रिक रूप से आइसोमोर्फिक है।

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

परिभाषा
होने देना $$\ X\ $$ और $$\ Y\ $$ मेट्रिक्स के साथ मीट्रिक स्पेस बनें (जैसे, दूरियां) $$\ d_X\ $$ और $$\ d_Y\ .$$ एक  समारोह (गणित)  $$\ f:X \to Y\ $$एक आइसोमेट्री कहा जाता है या यदि कोई हो तो दूरी को संरक्षित करता है $$\ a, b \in X\ $$किसी के पास

एक आइसोमेट्री स्वचालित रूप से इंजेक्शन समारोह  है; अन्यथा दो अलग-अलग बिंदुओं, ए और बी को एक ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है। यह सबूत सबूत के समान है कि आंशिक रूप से आदेशित सेट ों के बीच एम्बेडिंग ऑर्डर इंजेक्शन है। स्पष्ट रूप से, मीट्रिक रिक्त स्थान के बीच प्रत्येक आइसोमेट्री एक टोपोलॉजिकल एम्बेडिंग है।
 * $$d_X(a,b)=d_Y\!\left(f(a),f(b)\right).$$

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

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

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

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


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

आदर्श स्थानों के बीच आइसोमेट्री
निम्नलिखित प्रमेय मजूर और उलम के कारण है।


 * परिभाषा: दो तत्वों का मध्यबिंदु $P$ और $P'$ सदिश स्थान में सदिश है $R_{ 1}$.

$T$

रेखीय समरूपता
दो नॉर्म्ड वेक्टर स्पेस दिए गए हैं $$ V $$ और $$ W ,$$ एक रेखीय समरूपता एक रेखीय नक्शा है $$ A : V \to W $$ जो मानदंडों को संरक्षित करता है:
 * $$\|Av\| = \|v\| $$

सबके लिए $$\ v \in V\ .$$ रैखिक आइसोमेट्री उपरोक्त अर्थों में दूरी-संरक्षित मानचित्र हैं। वे वैश्विक आइसोमेट्री हैं अगर और केवल अगर वे विशेषण  हैं।

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


 * $$\langle v, v \rangle = \langle Av, Av \rangle $$

सबके लिए $$ v \in V\ ,$$ जो ऐसा कहने के बराबर है $$\ A^\dagger A = \operatorname{I}_V\ .$$ इसका तात्पर्य यह भी है कि आइसोमेट्री आंतरिक उत्पादों को संरक्षित करती है, जैसे


 * $$\langle A u, A v \rangle = \langle u, A^\dagger A v \rangle = \langle u, v \rangle\ .$$

रैखिक आइसोमेट्री हमेशा एकात्मक ऑपरेटर नहीं होते हैं, हालांकि, इसके अतिरिक्त इसकी आवश्यकता होती है $$V = W $$ और $$ A A^\dagger = \operatorname{I}_V\ .$$ मज़ूर-उलम प्रमेय द्वारा, मानक वेक्टर रिक्त स्थान का कोई भी आइसोमेट्री खत्म हो गया है $$ \mathbb{R} $$ Affine परिवर्तन है।


 * उदाहरण


 * से एक रेखीय नक्शा $$ \mathbb{C}^n $$ अपने आप में एक आइसोमेट्री है ( डॉट उत्पाद के लिए) अगर और केवल अगर इसका मैट्रिक्स  एकात्मक मैट्रिक्स  है।

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

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

परिभाषा
होने देना $$\ R = (M, g)\ $$ और $$\ R' = (M', g')\ $$ दो (छद्म-) रीमैनियन कई गुना हो, और चलो $$\ f : R \to R'\ $$ एक भिन्नता हो। फिर $$\ f\ $$ एक आइसोमेट्री (या आइसोमेट्रिक आइसोमोर्फिज्म) कहा जाता है यदि


 * $$\ g = f^{*} g', \ $$

कहां $$\ f^{*} g'\ $$ रैंक (0, 2) मीट्रिक टेन्सर के पुलबैक (अंतर ज्यामिति) को दर्शाता है $$\ g'\ $$ द्वारा $$\ f\ .$$ समान रूप से, पुशफॉरवर्ड (अंतर) के संदर्भ में $$\ f_{*}\ ,$$ हमारे पास किन्हीं भी दो सदिश क्षेत्रों के लिए है $$\ v, w\ $$ पर $$\ M\ $$ (यानी स्पर्शरेखा बंडल  के खंड $$\ \mathrm{T} M\ $$),


 * $$\ g(v, w) = g' \left( f_{*} v, f_{*} w \right)\ .$$

यदि $$\ f\ $$ एक स्थानीय भिन्नता  है जैसे कि $$\ g = f^{*} g'\ ,$$ तब $$f$$ स्थानीय आइसोमेट्री कहा जाता है।

गुण
आइसोमेट्री का संग्रह आमतौर पर एक समूह, आइसोमेट्री समूह बनाता है। जब समूह एक सतत समूह होता है, तो समूह का झूठा समूह हत्या वेक्टर क्षेत्र  होता है।

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

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

सामान्यीकरण

 * एक सकारात्मक वास्तविक संख्या ε दी गई है, एक ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे फेलिक्स हॉसडॉर्फ  सन्निकटन भी कहा जाता है) एक नक्शा है $$\ f \colon X \to Y\ $$ मीट्रिक रिक्त स्थान के बीच जैसे कि
 * के लिए $$x, x' \in X$$ किसी के पास $$\ |d_Y(f(x),f(x')) - d_X(x,x')| < \varepsilon\ ,$$ और
 * किसी भी बिंदु के लिए $$y \in Y$$ एक बिन्दु होता है $$\ x \in X$$ साथ $$d_Y(y, f(x)) < \varepsilon\ $$
 * यानी ए $p$-आइसोमेट्री भीतर की दूरियों को बरकरार रखती है $q$ और आगे कोडोमेन का कोई तत्व नहीं छोड़ता है $Tp$ डोमेन के एक तत्व की छवि से दूर। ध्यान दें कि $Tq$-आइसोमेट्री को निरंतर कार्य  नहीं माना जाता है।


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


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

यह भी देखें

 * बेकमैन-क्वार्ल्स प्रमेय
 * डुअल नॉर्म# द सेकंड ड्यूल ऑफ़ अ बैनाच स्पेस
 * यूक्लिडियन प्लेन आइसोमेट्री
 * फ्लैट (ज्यामिति)
 * होमोमोर्फिज्म समूह
 * इन्वोल्यूशन (गणित)
 * आइसोमेट्री समूह
 * गति (ज्यामिति)
 * मायर्स-स्टीनरोड प्रमेय
 * ओर्थोगोनल ग्रुप#3डी आइसोमेट्रीज जो मूल को स्थिर छोड़ देते हैं
 * आंशिक आइसोमेट्री
 * स्केलिंग (ज्यामिति)
 * अर्ध निश्चित एम्बेडिंग
 * अंतरिक्ष समूह
 * गणित में समरूपता
 * गणित में समरूपता