आइसोमेट्री
This article needs additional citations for verification. (June 2016) (Learn how and when to remove this template message) |
गणित में, एक आइसोमेट्री (या सर्वांगसमता, या सर्वांगसम परिवर्तन) मीट्रिक स्पेस के बीच एक दूरी -संरक्षण परिवर्तन है, जिसे आमतौर पर द्विभाजन माना जाता है।[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) मीट्रिक टेन्सर के पुलबैक (अंतर ज्यामिति) को दर्शाता है द्वारा समान रूप से, पुशफॉरवर्ड (अंतर) के संदर्भ में हमारे पास किन्हीं भी दो सदिश क्षेत्रों के लिए है पर (यानी स्पर्शरेखा बंडल के खंड ),
यदि एक स्थानीय भिन्नता है जैसे कि तब स्थानीय आइसोमेट्री कहा जाता है।
गुण
आइसोमेट्री का संग्रह आमतौर पर एक समूह, आइसोमेट्री समूह बनाता है। जब समूह एक सतत समूह होता है, तो समूह का झूठा समूह हत्या वेक्टर क्षेत्र होता है।
मायर्स-स्टीनरोड प्रमेय में कहा गया है कि दो जुड़े रिमेंनियन मैनिफोल्ड के बीच प्रत्येक आइसोमेट्री चिकनी (विभेदक) है। इस प्रमेय का एक दूसरा रूप बताता है कि रिमेंनियन मैनिफोल्ड का आइसोमेट्री समूह एक झूठ समूह है।
Riemannian मैनिफोल्ड्स जिनमें हर बिंदु पर परिभाषित आइसोमेट्री हैं, सममित स्थान कहलाते हैं।
सामान्यीकरण
- एक सकारात्मक वास्तविक संख्या ε दी गई है, एक ε-आइसोमेट्री या लगभग आइसोमेट्री (जिसे फेलिक्स हॉसडॉर्फ सन्निकटन भी कहा जाता है) एक माप है मीट्रिक स्पेस के बीच जैसे कि
- के लिए किसी के पास और
- किसी भी बिंदु के लिए एक बिन्दु होता है साथ
- यानी ए ε-आइसोमेट्री भीतर की दूरियों को बरकरार रखती है ε और आगे कोडोमेन का कोई तत्व नहीं छोड़ता है ε डोमेन के एक तत्व की छवि से दूर। ध्यान दें कि ε-आइसोमेट्री को निरंतर कार्य नहीं माना जाता है।
- प्रतिबंधित आइसोमेट्री संपत्ति विरल वैक्टर के लिए लगभग आइसोमेट्रिक मैट्रिसेस की विशेषता है।
- अर्ध isometry एक अन्य उपयोगी सामान्यीकरण है।
- एक तत्व को एक सार यूनिटल C*-बीजगणित में एक आइसोमेट्री के रूप में भी परिभाषित किया जा सकता है:
- एक आइसोमेट्री है अगर और केवल अगर : ध्यान दें कि जैसा कि परिचय में उल्लेख किया गया है, यह आवश्यक रूप से एकात्मक तत्व नहीं है क्योंकि सामान्य तौर पर यह नहीं होता है कि बाएं व्युत्क्रम एक सही व्युत्क्रम है।
- छद्म-यूक्लिडियन अंतरिक्ष पर, आइसोमेट्री शब्द का अर्थ परिमाण को संरक्षित करने वाला एक रेखीय आक्षेप है। द्विघात रूप#द्विघात स्थान भी देखें।
यह भी देखें
- बेकमैन-क्वार्ल्स प्रमेय
- Conformal map
- डुअल नॉर्म# द सेकंड ड्यूल ऑफ़ अ बैनाच स्पेस
- यूक्लिडियन प्लेन आइसोमेट्री
- फ्लैट (ज्यामिति)
- होमोमोर्फिज्म समूह
- इन्वोल्यूशन (गणित)
- आइसोमेट्री समूह
- गति (ज्यामिति)
- मायर्स-स्टीनरोड प्रमेय
- ओर्थोगोनल ग्रुप#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.
ग्रन्थसूची
- Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
- 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.
श्रेणी: कार्य और मापण श्रेणी:मीट्रिक ज्यामिति श्रेणी:समरूपता श्रेणी: तुल्यता (गणित) श्रेणी: रीमानियन ज्यामिति