आइसोमेट्री

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

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

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

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

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

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

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

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

कोई आइसोमेट्री स्वचालित रूप से इंजेक्शन फलन है; अन्यथा दो अलग-अलग बिंदुओं, a और b को एक ही बिंदु पर मैप किया जा सकता है, जिससे मीट्रिक डी के संयोग स्वयंसिद्ध का खंडन होता है।
 * $$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} $$ पर मानक वेक्टर स्पेस का कोई भी आइसोमेट्री सजातीय परिवर्तन है।


 * उदाहरण


 * $$ \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$$ स्थानीय आइसोमेट्री कहा जाता है।

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

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

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

सामान्यीकरण

 * एक सकारात्मक वास्तविक संख्या ε दी गई है, एक ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे फेलिक्स हॉसडॉर्फ  सन्निकटन भी कहा जाता है) एक माप  $$\ 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$-आइसोमेट्री को निरंतर कार्य  नहीं माना जाता है।


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


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

यह भी देखें

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