ब्लो अप: Difference between revisions
From Vigyanwiki
(Created page with "{{About|the mathematical concept of blowing up|information about the physical/chemical process|Explosion|other uses of "Blow up"|Blow up (disambiguation)}} Image:Blowup.png|...") |
No edit summary |
||
| (6 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{About| | {{About|ब्लो अप की गणितीय अवधारणा|भौतिक/रासायनिक प्रक्रिया के बारे में जानकारी|विस्फोट|"ब्लो अप" के अन्य उपयोग|ब्लो अप (बहुविकल्पी)}} | ||
[[Image:Blowup.png|thumb|एफ़ाइन विमान का विस्फोट।]]गणित में | [[Image:Blowup.png|thumb|एफ़ाइन विमान का विस्फोट।]]गणित में '''ब्लो अप''' एक प्रकार का ज्यामितीय परिवर्तन है जो किसी दिए गए स्थान के उप-स्थान को उस उप-स्थान से बाहर की ओर इंगित करते हुए सभी दिशाओं से परिवर्तित कर देता है। उदाहरण के लिए किसी विमान में एक बिंदु का [[विस्फोट]] बिंदु को उस बिंदु पर प्रक्षेपित [[स्पर्शरेखा स्थान]] से परिवर्तित कर देता है। इस प्रकार किसी रूपक के विस्फोट का प्रदर्शन करने के अतिरिक्त चित्र के भाग को बड़ा करने के लिए तस्वीर पर ज़ूम इन करने का तरीका है। | ||
ब्लोअप द्विवार्षिक ज्यामिति में सबसे मौलिक परिवर्तन हैं, क्योंकि प्रक्षेपी | '''ब्लोअप''' द्विवार्षिक ज्यामिति में सबसे मौलिक परिवर्तन हैं, क्योंकि इसके प्रक्षेपी प्रकारों के बीच प्रत्येक द्विवार्षिक रूपवाद विस्फोट का रूप ले लेता हैं। इस प्रकार किसी कमजोर गुणनखंड वाली प्रमेय को प्रदर्शित करता है जो इस प्रकार हैं कि प्रत्येक द्विभाजित मानचित्र को विशेष रूप से सरल ब्लोअप की संरचना के रूप में कारक बनाया जाता है। इस प्रकार [[क्रेमोना समूह]] विमान के [[बायरेशनल मोर्फिज़्म]] का समूह ब्लोअप द्वारा उत्पन्न होता है। | ||
द्विपक्षीय परिवर्तनों का वर्णन करने में उनके महत्व के | द्विपक्षीय परिवर्तनों का वर्णन करने में उनके महत्व के अतिरिक्त ब्लूप-अप भी नए स्थानों के निर्माण के लिए महत्वपूर्ण विधि है। इस प्रकार उदाहरण के लिए विलक्षणताओं के समाधान के लिए अधिकांश प्रक्रियाएँ विलक्षणताओं को तब तक ब्लो अप करके आगे बढ़ाती हैं जब तक कि वे सहज न हो जाएँ। इसका मुख्य परिणाम यह है कि ब्लोअप का उपयोग बायरेशनल मैप्स की विलक्षणताओं को हल करने के लिए किया जाता हैं। | ||
मौलिक रूप से, ब्लूप-अप को बाहरी रूप से परिभाषित किया गया था, पहले निर्देशांक में स्पष्ट निर्माण का उपयोग करके [[ प्रक्षेपण स्थान |प्रक्षेपण स्थान]] जैसे रिक्त स्थान पर ब्लूप-अप को परिभाषित करके और फिर इस प्रकार एम्बेडिंग के संदर्भ में अन्य रिक्त स्थान पर ब्लोअप को परिभाषित करने के लिए किया जाता हैं। यह कुछ शब्दावली के कारण इसमें परिलक्षित किया जाता हैं, जैसे कि मौलिक शब्द ''मोनोइडल स्थानांनतरण इसका मुख्य उदाहरण हैं''। इसके समकालीन बीजगणितीय ज्यामिति ब्लोइंग को बीजगणितीय विविधता पर इसके लिए आंतरिक संक्रिया के रूप में माना जाता हैं। इस प्रकार इस दृष्टिकोण से किसी उप-वर्ग को [[कार्टियर भाजक]] में परिवर्तित करने के लिए विस्फोट सार्वभौमिक ([[श्रेणी सिद्धांत]] के अर्थ में) विधि के रूप में उपयोग किया जाता हैं। | |||
किसी ब्लोअप को ''मोनॉयडल स्थानांनतरण'', ''लोकल क्वाड्रैटिक स्थानांनतरण'', ''सूचक'', σ-''प्रक्रिया'', या ''हॉफ मैप'' भी कहा जा सकता है। | |||
== | == विमान में किसी बिंदु के कारण विस्फोट == | ||
विस्फोट का सबसे सरल | विस्फोट का सबसे सरल स्थिति विमान में ऐसे बिंदु का विस्फोट है। जिसके उदाहरण में ब्लोइंग की अधिकांश सामान्य विशेषताएं देखी जा सकती हैं। | ||
ब्लोअप की इस घटना को पत्राचार के रूप में सिंथेटिक विवरण के रूप में माना जाता हैं। इस प्रकार यहाँ पर याद रखें कि [[ ग्रासमानियन |ग्रासमानियन]] G (1,2) विमान में बिंदु के माध्यम से सभी लाइनों के समूहों को पैरामीट्रिज करता है। इस प्रकार[[ प्रक्षेपी विमान ]] P<sup>2</sup> का ब्लोअप बिंदु P पर, जिसे हम X निरूपित करते हैं- | |||
:<math>X = \{ (Q, \ell) \mid P,\,Q \in \ell\} \subseteq \mathbf{P}^2 \times \mathbf{G}(1,2).</math> | :<math>X = \{ (Q, \ell) \mid P,\,Q \in \ell\} \subseteq \mathbf{P}^2 \times \mathbf{G}(1,2).</math> | ||
यहाँ Q एक अन्य बिंदु और | यहाँ Q एक अन्य बिंदु और <math>\ell</math> को दर्शाता है जो ग्रासमैनियन का तत्व है। इस प्रकार X प्रक्षेपी प्रकार है क्योंकि यह प्रक्षेपी प्रकारों के उत्पाद की विवृत उप-प्रकार को प्रकट करता है। यह प्राकृतिक संरचना π से 'P<sup>2</sup>' तक आता है जो <math>(Q, \ell)</math> Q के लिए संयोजन के रूप में उपयोग किया जाता है। यह संरचना सभी बिंदुओं के संवृत्त उपसमुच्चय पर समरूपता को प्रकट करता है, इस प्रकार <math>(Q, \ell)</math> Q ≠ P के साथ रेखा <math>\ell</math> उन दो बिंदुओं से निर्धारित होता है। जब Q = P होता हैं तब इस रेखा <math>\ell</math> P से होकर जाने वाली रेखा हो सकती है। इस प्रकार ये रेखाएँ P से होकर जाने वाली दिशाओं के स्थान के अनुरूप हैं, जो 'P' के समरूपी है। इस प्रकार P<sup>1</sup> को असाधारण विभाजक कहा जाता है, और इस परिभाषा के अनुसार यह प्रक्षेपित सामान्य समूह P पर सामान्य परिभाषा को प्रकट करता हैं। क्योंकि P ऐसा बिंदु है जिसमें सामान्य स्थानों की स्पर्शरेखा के लिए यह स्थान समान रहता हैं, इसलिए [[असाधारण भाजक]] P पर प्रक्षेपित स्पर्शरेखा स्थान पर आइसोमोर्फिक रूप में होता है। | ||
ब्लूप-अप पर निर्देशांक देने के लिए हम उपरोक्त घटनाओं के पत्राचार के लिए समीकरण लिख सकते हैं। इस प्रकार 'P<sup>2</sup>' के मान के अनुसार [[सजातीय निर्देशांक]] [X<sub>0</sub>:X<sub>1</sub>:X<sub>2</sub>] होने पर P बिंदु [P<sub>0</sub>:P<sub>1</sub>:P<sub>2</sub>] है। इस प्रकार [[प्रक्षेपी द्वैत]] बिन्दु G(1,2) P<sup>2</sup> के लिए तुल्याकारी है, इसलिए हम इसे सजातीय निर्देशांक [L<sub>0</sub>: L<sub>1</sub>: L<sub>2</sub>] दे सकते हैं। किसी पंक्ति <math>\ell_0 = [L_0:L_1:L_2]</math> के सभी समूहों का मान [X<sub>0</sub>:X<sub>1</sub>:X<sub>2</sub>] है जो इस प्रकार हैं कि X<sub>0</sub>L<sub>0</sub> + X<sub>1</sub>L<sub>1</sub> + X<sub>2</sub>L<sub>2</sub> = 0 के समान होता हैं। इस प्रकार इसे विस्फोट के रूप में वर्णित किया जा सकता है | |||
:<math>X = \{ ([X_0:X_1:X_2],[L_0:L_1:L_2]) \mid P_0L_0 + P_1L_1 + P_2L_2 = 0,\, X_0L_0 + X_1L_1 + X_2L_2 = 0 \} \subseteq \mathbf{P}^2 \times \mathbf{P}^2.</math> | :<math>X = \{ ([X_0:X_1:X_2],[L_0:L_1:L_2]) \mid P_0L_0 + P_1L_1 + P_2L_2 = 0,\, X_0L_0 + X_1L_1 + X_2L_2 = 0 \} \subseteq \mathbf{P}^2 \times \mathbf{P}^2.</math> | ||
ब्लोअप P से दूर आइसोमोर्फिज्म को प्रकट करने में सहयोगी होता है, और प्रोजेक्टिव समतल के अतिरिक्त एफाइन समतल में कार्य करके, हम ब्लोअप के लिए सरल समीकरण दे सकते हैं। प्रक्षेपी रूपांतरण के बाद, हम मान सकते हैं कि P = [0:0:1]। एफिन समतल X पर निर्देशांक के लिए x और y लिखें<sub>2</sub>≠0। स्थिति P ∈ <math>\ell</math> तात्पर्य यह है कि L<sub>2</sub> = 0, इसलिए हम ग्रासमैनियन को P<sup>1 से परिवर्तित कर सकते हैं। इस कारण ब्लोअप विविधता कुछ इस प्रकार होता है- | |||
:<math>\{ ((x,y),[z:w]) \mid xz + yw = 0 \} \subseteq \mathbf{A}^2 \times \mathbf{P}^1.</math> | :<math>\{ ((x,y),[z:w]) \mid xz + yw = 0 \} \subseteq \mathbf{A}^2 \times \mathbf{P}^1.</math> | ||
संकेतों में से किसी एक को | इन संकेतों में से किसी एक को व्युत्क्रम करने के लिए उचित निर्देशांकों को परिवर्तित करना अधिक सामान्य है। इस कारण ब्लूप-अप को इस रूप में लिखा जा सकता है | ||
:<math>\left \{ ((x,y),[z:w]) \mid \det\begin{bmatrix}x&y\\w&z\end{bmatrix} = 0 \right \}.</math> | :<math>\left \{ ((x,y),[z:w]) \mid \det\begin{bmatrix}x&y\\w&z\end{bmatrix} = 0 \right \}.</math> | ||
यह समीकरण पिछले वाले की तुलना में सामान्यीकृत करना | यह समीकरण पिछले वाले की तुलना में सामान्यीकृत करना सरल है। | ||
यदि हम ग्रासमैनियन के अनंत बिंदु को हटा दें, तो विस्फोट को सरली से देखा जा सकता है, उदाहरण के लिए w = 1 समूह और 3D समतल में मानक सैडल पॉइंट सैडल सतह y = xz प्राप्त करें। | |||
ब्लोअप को सामान्य स्थान से बिंदु तक सीधे निर्देशांक का उपयोग करके वर्णित किया जा सकता है। इस प्रकार इसे पुनः हम एफाइन समतल 'A<sup>2' पर कार्य करते हैं। इसके मूल बिंदु के लिए सामान्य स्थान सदिश स्थान m/m<sup>2 के रूप में प्रकट होता हैं, जहाँ m = (x, y) मूल बिंदु की उच्चिष्ठ गुणक के रूप में प्रकट होता हैं। इस कारण बीजगणितीय रूप से इस सदिश स्थान का प्रक्षेपीकरण इसके सममित बीजगणित का गुणनफल है, अर्थात, | |||
:<math>X = \operatorname{Proj} \bigoplus_{r=0}^\infty \operatorname{Sym}^r_{k[x,y]} \mathfrak{m}/\mathfrak{m}^2.</math> | :<math>X = \operatorname{Proj} \bigoplus_{r=0}^\infty \operatorname{Sym}^r_{k[x,y]} \mathfrak{m}/\mathfrak{m}^2.</math> | ||
इस उदाहरण में, इसका | इस उदाहरण में, इसका ठोस विवरण है | ||
:<math>X = \operatorname{Proj} k[x,y][z,w]/(xz - yw),</math> | :<math>X = \operatorname{Proj} k[x,y][z,w]/(xz - yw),</math> | ||
जहां x और y की डिग्री 0 है और z और w की डिग्री 1 है। | जहां x और y की डिग्री 0 है और z और w की डिग्री 1 है। | ||
वास्तविक या जटिल संख्याओं के ऊपर, | वास्तविक या जटिल संख्याओं के ऊपर, ब्लूप-अप का संबंधित योग के रूप में एक सांस्थितिकीय विवरण <math>\mathbf{P}^2\#\mathbf{P}^2</math> होता है। इस प्रकार मान लें कि P 'A'<sup>2</sup> ⊆ P<sup>2</sup> में मूल है, और अनंत पर रेखा के लिए L को उपयोग करते हैं। इस प्रकार 'A'<sup>2</sup>\{0} में व्युत्क्रम मैप T को प्रकट करता हैं जो (x, y) को (x/(|x|)<sup>2</sup> + |y|<sup>2</sup>), y/(|x|<sup>2</sup> + |y|<sup>2</sup>)) के रूप में प्रकट करता है। इस प्रकार T इकाई क्षेत्र S के संबंध में वृत्त उलटा होता है: यह S को सही करता है, इस मूल के माध्यम से प्रत्येक पंक्ति को संरक्षित करता है, और बाहर के साथ गोले के अंदर का आदान-प्रदान करता है। यहाँ पर T सतत मानचित्र 'P'<sup>2</sup> \ {0} → A<sup>2</sup> तक फैला हुआ है, इस मूल बिंदु पर अनंत पर रेखा भेजकर इसे प्राप्त करते हैं। यह विस्तार मुख्य रूप से जिसे हम T भी कहते हैं, इसका उपयोग ब्लोअप के निर्माण के लिए किया जा सकता है। इस प्रकार C यूनिट बॉल के पूरक को दर्शाता है। ब्लोअप X S के साथ C की दो प्रतियों को संलग्न करके प्राप्त किया गया कई गुना है। X मानचित्र π से 'P'<sup>2</sup> के साथ आता है जो C की पहली प्रति पर पहचान है और C की दूसरी प्रति पर T है। यह प्रारूप P से दूर आइसोमोर्फिज्म के रूप में प्रयोग किया जाता हैं, और P पर फाइबर C की दूसरी प्रति में अनंतता पर रेखा द्वारा निरूपित करता हैं। इस रेखा में प्रत्येक बिंदु उत्पत्ति के माध्यम से अद्वितीय रेखा से मेल खाता है, इसलिए π से अधिक फाइबर उत्पत्ति के माध्यम से संभावित सामान्य दिशाओं से मेल खाता है। | ||
' | 'CP<sup>2</sup>' के लिए इस प्रक्रिया को ओरिएंटेड मैनिफोल्ड का उत्पादन करने के लिए उपयोग करना चाहिए। ऐसा करने के लिए C की दो प्रतियों को विपरीत अभिविन्यास दिया जाना चाहिए। इन प्रतीकों में X का उपयोग किया जाता है, इस प्रकार <math>\mathbf{CP}^2\#\overline{\mathbf{CP}^2}</math>, जहाँ <math>\overline{\mathbf{CP}^2}</math> CP<sup>2</sup> है उसे मानक अभिविन्यास के विपरीत माना जाता हैं। | ||
== जटिल | == जटिल स्थानों पर ब्लो का कारण == | ||
Z को n-डायमेंशनल [[ जटिल संख्या ]] समतल में मूल होने दें, इस प्रकार 'C'<sup>n</sup> अर्थात्, Z वह बिंदु है जहाँ n निर्देशांक कार्य करता है, जो <math>x_1, \ldots, x_n</math> के साथ ही लुप्त हो जाते हैं। इस प्रकार P<sup>n - 1</sup> होने पर (n - 1)-सजातीय निर्देशांक के साथ आयामी जटिल प्रक्षेपी स्थान <math>y_1, \ldots, y_n</math> के रूप में प्रकट होते हैं। इस प्रकार इसी क्रम में <math>\tilde{\mathbf{C}^n}</math> C<sup>n</sup> × 'P'<sup>n - 1</sup> का उपसमुच्चय हैं जो किसी समीकरण को संतुष्ट करता है <math>x_i y_j = x_j y_i </math> i, J = 1, ..., n के लिए उपयोग किया जाता हैं। इसका प्रक्षेपण इस प्रकार हैं। | |||
:<math>\pi : \mathbf{C}^n \times \mathbf{P}^{n - 1} \to \mathbf{C}^n</math> | :<math>\pi : \mathbf{C}^n \times \mathbf{P}^{n - 1} \to \mathbf{C}^n</math> | ||
स्वाभाविक रूप से | स्वाभाविक रूप से [[होलोमॉर्फिक फ़ंक्शन]] मैप को प्रेरित करता है | ||
:<math>\pi : \tilde{\mathbf{C}^n} \to \mathbf{C}^n.</math> | :<math>\pi : \tilde{\mathbf{C}^n} \to \mathbf{C}^n.</math> | ||
यह | यह प्रारूप π (या, अधिकांशतः, समतल <math>\tilde{\mathbf{C}^n}</math>) को C<sup>n</sup> का ब्लो-अप (विभिन्न आयाम वाले ब्लो अप या ब्लोअप) कहा जाता है। | ||
'असाधारण विभाजक' E को π के | 'असाधारण विभाजक' E को π के अनुसार ब्लो-अप लोकस Z की व्युत्क्रम छवि के रूप में परिभाषित किया गया है। इसे देखना सरल है | ||
:<math>E = Z \times \mathbf{P}^{n - 1} \subseteq \mathbf{C}^n \times \mathbf{P}^{n - 1}</math> | :<math>E = Z \times \mathbf{P}^{n - 1} \subseteq \mathbf{C}^n \times \mathbf{P}^{n - 1}</math> | ||
प्रोजेक्टिव | प्रोजेक्टिव समतल की मुख्य प्रति इस प्रकार है। यह प्रभावी वि[[भाजक (बीजीय ज्यामिति)]] है। इसे E से दूर करके π के बीच तुल्याकारिता <math>\tilde{\mathbf{C}^n} \setminus E</math> और C<sup>n के रूप में प्रकट करते हैं। इस प्रकार Z को इस बीच का एक द्विभाजित प्रारूप <math>\tilde{\mathbf{C}^n}</math> और C<sup>n मान लेते हैं। | ||
यदि इसके | यदि इसके अतिरिक्त हम होलोमोर्फिक प्रक्षेपण को प्रकट करते हैं- | ||
:<math>q\colon \tilde{\mathbf{C}^n} \to \mathbf{P}^{n-1}</math> | :<math>q\colon \tilde{\mathbf{C}^n} \to \mathbf{P}^{n-1}</math> | ||
हम का [[टॉटोलॉजिकल लाइन बंडल]] | हम का [[टॉटोलॉजिकल लाइन बंडल|टॉटोलॉजिकल लाइन समूह]] <math>\mathbf{P}^{n-1}</math> प्राप्त करते हैं और इसी प्रकार हम असाधारण भाजक <math> \lbrace Z\rbrace\times\mathbf{P}^{n-1}</math> की पहचान कर सकते हैं। इसके शून्य खंड के साथ अर्थात् <math>\mathbf{0}\colon \mathbf{P}^{n-1}\to\mathcal{O}_{\mathbf{P}^{n-1}}</math> जो प्रत्येक बिंदु को <math>p</math> शून्य तत्व <math>\mathbf{0}_p</math> फाइबर ओवर में <math>p</math> के रूप में उपयोग करता है। | ||
== जटिल मैनिफोल्ड्स में सबमनिफोल्ड्स को | == जटिल मैनिफोल्ड्स में सबमनिफोल्ड्स को ब्लो करना == | ||
अधिक | अधिक सामान्यतः में कोई भी कोडिमेंशन-K [[जटिल कई गुना|जटिल अवस्था में कई गुना]] होने पर 'C<sup>n</sup>' का मान Z के रूप में ब्लो कर सकता है। इस प्रकार मान लीजिए कि Z समीकरणों का स्थान <math>x_1 = \cdots = x_k = 0</math> है, और जाने <math>y_1, \ldots, y_k</math> यह बिंदु P पर सजातीय निर्देशांक K - 1 प्रकट करता हैं। इस प्रकार <math>\tilde{\mathbf{C}}^n</math> समीकरणों का स्थान <math>x_i y_j = x_j y_i</math> है, जो सभी i और j के लिए, समतल 'C'<sup>n × 'P'<sup>K - 1 के रूप में प्रकट होता हैं। | ||
सामान्यतः कोई भी इस निर्माण को स्थानीय रूप से लागू करके किसी भी जटिल कई गुना X के किसी भी सबमनीफोल्ड को ब्लो कर सकता है। इस प्रभाव के कारण पहले की तरह असाधारण विभाजक E के साथ ब्लो-अप लोकस Z को परिवर्तित करने के लिए इसका उपयोग किया जाता है। दूसरे शब्दों में, ब्लो-अप मैप को इस समीकरण के अनुसार प्रकट करते हैं। | |||
:<math>\pi : \tilde X \to X</math> | :<math>\pi : \tilde X \to X</math> | ||
किसी बायरेशनल मैपिंग को इस प्रकार प्रकट करते हैं कि जो E से दूर होने पर आइसोमोर्फिज्म को प्रेरित करती है, और E पर, फाइबर 'P' के साथ स्थानीय रूप से [[ कंपन ]]<sup>K - 1 को मुख्यतः प्रतिबंध <math>\pi|_E : E \to Z</math> स्वाभाविक रूप से X में Z के [[सामान्य बंडल|सामान्य समूह]] के प्रक्षेपण के रूप में देखा जाता है। | |||
चूँकि E एक | चूँकि E एक समतल भाजक है, इसका सामान्य समूह रेखा समूह के समान है। यह दर्शाना कठिन नहीं है कि E स्वयं को ऋणात्मक रूप से प्रतिच्छेद करता है। इसका अर्थ है कि इसके सामान्य समूह में कोई होलोमोर्फिक सेक्शन E नहीं है, इस प्रकार अपने [[समरूपता (गणित)]] वर्ग का एकमात्र सहज जटिल प्रतिनिधि <math>\tilde X</math> करता है, ( इस प्रकार मान लें कि E को उसी वर्ग में एक और जटिल सबमेनिफोल्ड से विचलित किया जा सकता है। फिर दो सबमेनिफोल्ड सकारात्मक रूप से विचलित करते हैं- जैसा कि जटिल सबमनिफोल्ड सदैव करते हैं - E के ऋणात्मक आत्म-प्रतिच्छेदन का विरोध करते हैं।) यही कारण है कि विभाजक को असाधारण कहा जाता है। | ||
V को Z के | |||