ब्लो अप: 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
Line 1: Line 1:
{{About|the mathematical concept of blowing up|information about the physical/chemical process|Explosion|other uses of "Blow up"|Blow up (disambiguation)}}
{{About|ब्लो अप की गणितीय अवधारणा|भौतिक/रासायनिक प्रक्रिया के बारे में जानकारी|विस्फोट|"ब्लो अप" के अन्य उपयोग|ब्लो अप (बहुविकल्पी)}}
[[Image:Blowup.png|thumb|एफ़ाइन विमान का विस्फोट।]]गणित में, ब्लो अप या ब्लोअप एक प्रकार का ज्यामितीय परिवर्तन है जो किसी दिए गए स्थान के उप-स्थान को उस उप-स्थान से बाहर की ओर इशारा करते हुए सभी दिशाओं से बदल देता है। उदाहरण के लिए, एक विमान में एक बिंदु का [[विस्फोट]] बिंदु को उस बिंदु पर प्रक्षेपित [[स्पर्शरेखा स्थान]] से बदल देता है। रूपक एक विस्फोट का जिक्र करने के बजाय चित्र के हिस्से को बड़ा करने के लिए एक तस्वीर पर ज़ूम इन करने का है।
[[Image:Blowup.png|thumb|एफ़ाइन विमान का विस्फोट।]]गणित में '''ब्लो अप''' एक प्रकार का ज्यामितीय परिवर्तन है जो किसी दिए गए स्थान के उप-स्थान को उस उप-स्थान से बाहर की ओर इंगित करते हुए सभी दिशाओं से परिवर्तित कर देता है। उदाहरण के लिए किसी विमान में एक बिंदु का [[विस्फोट]] बिंदु को उस बिंदु पर प्रक्षेपित [[स्पर्शरेखा स्थान]] से परिवर्तित कर देता है। इस प्रकार किसी रूपक के विस्फोट का प्रदर्शन करने के अतिरिक्त चित्र के भाग को बड़ा करने के लिए तस्वीर पर ज़ूम इन करने का तरीका है।


ब्लोअप द्विवार्षिक ज्यामिति में सबसे मौलिक परिवर्तन हैं, क्योंकि प्रक्षेपी किस्मों के बीच प्रत्येक द्विवार्षिक रूपवाद एक विस्फोट है। कमजोर गुणनखंडन प्रमेय कहता है कि प्रत्येक द्विभाजित मानचित्र को विशेष रूप से सरल ब्लोअप की संरचना के रूप में कारक बनाया जा सकता है। [[क्रेमोना समूह]], विमान के [[बायरेशनल मोर्फिज़्म]] का समूह, ब्लोअप द्वारा उत्पन्न होता है।
'''ब्लोअप''' द्विवार्षिक ज्यामिति में सबसे मौलिक परिवर्तन हैं, क्योंकि इसके प्रक्षेपी प्रकारों के बीच प्रत्येक द्विवार्षिक रूपवाद विस्फोट का रूप ले लेता हैं। इस प्रकार किसी कमजोर गुणनखंड वाली प्रमेय को प्रदर्शित करता है जो इस प्रकार हैं कि प्रत्येक द्विभाजित मानचित्र को विशेष रूप से सरल ब्लोअप की संरचना के रूप में कारक बनाया जाता है। इस प्रकार [[क्रेमोना समूह]] विमान के [[बायरेशनल मोर्फिज़्म]] का समूह ब्लोअप द्वारा उत्पन्न होता है।


द्विपक्षीय परिवर्तनों का वर्णन करने में उनके महत्व के अलावा, ब्लूपअप भी नई जगहों के निर्माण का एक महत्वपूर्ण तरीका है। उदाहरण के लिए, विलक्षणताओं के समाधान के लिए अधिकांश प्रक्रियाएँ विलक्षणताओं को तब तक उड़ाते हुए आगे बढ़ती हैं जब तक कि वे सहज न हो जाएँ। इसका एक परिणाम यह है कि ब्लोअप का उपयोग बायरेशनल मैप्स की विलक्षणताओं को हल करने के लिए किया जा सकता है।
द्विपक्षीय परिवर्तनों का वर्णन करने में उनके महत्व के अतिरिक्त ब्लूप-अप भी नए स्थानों के निर्माण के लिए महत्वपूर्ण विधि है। इस प्रकार उदाहरण के लिए विलक्षणताओं के समाधान के लिए अधिकांश प्रक्रियाएँ विलक्षणताओं को तब तक ब्लो अप करके आगे बढ़ाती हैं जब तक कि वे सहज न हो जाएँ। इसका मुख्य परिणाम यह है कि ब्लोअप का उपयोग बायरेशनल मैप्स की विलक्षणताओं को हल करने के लिए किया जाता हैं।


शास्त्रीय रूप से, ब्लूपअप को बाहरी रूप से परिभाषित किया गया था, पहले निर्देशांक में एक स्पष्ट निर्माण का उपयोग करके [[ प्रक्षेपण स्थान ]] जैसे रिक्त स्थान पर ब्लूपअप को परिभाषित करके और फिर एम्बेडिंग के संदर्भ में अन्य रिक्त स्थान पर ब्लौअप को परिभाषित करना। यह कुछ शब्दावली में परिलक्षित होता है, जैसे कि शास्त्रीय शब्द ''मोनोइडल ट्रांसफॉर्मेशन''। समकालीन बीजगणितीय ज्यामिति ब्लोइंग को एक बीजगणितीय विविधता पर एक आंतरिक संक्रिया के रूप में मानती है। इस दृष्टिकोण से, एक उप-वर्ग को [[कार्टियर भाजक]] में बदलने के लिए एक विस्फोट सार्वभौमिक ([[श्रेणी सिद्धांत]] के अर्थ में) तरीका है।
मौलिक रूप से, ब्लूप-अप को बाहरी रूप से परिभाषित किया गया था, पहले निर्देशांक में स्पष्ट निर्माण का उपयोग करके [[ प्रक्षेपण स्थान |प्रक्षेपण स्थान]] जैसे रिक्त स्थान पर ब्लूप-अप को परिभाषित करके और फिर इस प्रकार एम्बेडिंग के संदर्भ में अन्य रिक्त स्थान पर ब्लोअप को परिभाषित करने के लिए किया जाता हैं। यह कुछ शब्दावली के कारण इसमें परिलक्षित किया जाता हैं, जैसे कि मौलिक शब्द ''मोनोइडल स्थानांनतरण इसका मुख्य उदाहरण हैं''। इसके समकालीन बीजगणितीय ज्यामिति ब्लोइंग को बीजगणितीय विविधता पर इसके लिए आंतरिक संक्रिया के रूप में माना जाता हैं। इस प्रकार इस दृष्टिकोण से किसी उप-वर्ग को [[कार्टियर भाजक]] में परिवर्तित करने के लिए विस्फोट सार्वभौमिक ([[श्रेणी सिद्धांत]] के अर्थ में) विधि के रूप में उपयोग किया जाता हैं।


एक ब्लौअप को ''मोनॉयडल ट्रांसफॉर्मेशन'', ''लोकली क्वाड्रैटिक ट्रांसफॉर्मेशन'', ''डिलेटेशन'', σ-''प्रोसेस'', या ''हॉफ मैप'' भी कहा जा सकता है।
किसी ब्लोअप को ''मोनॉयडल स्थानांनतरण'', ''लोकल क्वाड्रैटिक स्थानांनतरण'', ''सूचक'', σ-''प्रक्रिया'', या ''हॉफ मैप'' भी कहा जा सकता है।


== एक विमान में एक बिंदु का विस्फोट ==
== किसी विमान में किसी बिंदु का विस्फोट ==
विस्फोट का सबसे सरल मामला विमान में एक बिंदु का विस्फोट है। इस उदाहरण में ब्लोइंग की अधिकांश सामान्य विशेषताएं देखी जा सकती हैं।
विस्फोट का सबसे सरल स्थिति विमान में ऐसे बिंदु का विस्फोट है। जिसके उदाहरण में ब्लोइंग की अधिकांश सामान्य विशेषताएं देखी जा सकती हैं।


ब्लौअप का एक घटना पत्राचार के रूप में एक सिंथेटिक विवरण है। याद रखें कि [[ ग्रासमानियन ]] जी (1,2) विमान में एक बिंदु के माध्यम से सभी लाइनों के सेट को पैरामीट्रिज करता है। [[ प्रक्षेपी विमान ]] पी का ब्लौअप<sup>2</sup> बिंदु P पर, जिसे हम X निरूपित करेंगे, है
ब्लोअप की इस घटना को पत्राचार के रूप में सिंथेटिक विवरण के रूप में माना जाता हैं। इस प्रकार यहाँ पर याद रखें कि [[ ग्रासमानियन |ग्रासमानियन]] 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 एक अन्य बिंदु और को दर्शाता है <math>\ell</math> ग्रासमैनियन का एक तत्व है। X एक प्रक्षेपी किस्म है क्योंकि यह प्रक्षेपी किस्मों के उत्पाद की एक बंद उप-किस्म है। यह एक प्राकृतिक आकारिकी π से 'P' तक आता है<sup>2</sup> जो जोड़ी लेता है <math>(Q, \ell)</math> क्यू के लिए। यह आकृतिवाद सभी बिंदुओं के खुले उपसमुच्चय पर एक समरूपता है <math>(Q, \ell)</math> Q ≠ P के साथ क्योंकि रेखा <math>\ell</math> उन दो बिंदुओं से निर्धारित होता है। जब क्यू = पी, हालांकि, रेखा <math>\ell</math> P से होकर जाने वाली कोई भी रेखा हो सकती है। ये रेखाएँ P से होकर जाने वाली दिशाओं के स्थान के अनुरूप हैं, जो 'P' के समरूपी है।<sup>1</उप>। इस प्रो<sup>1</sup> को असाधारण विभाजक कहा जाता है, और परिभाषा के अनुसार यह प्रक्षेपित सामान्य बंडल #P पर सामान्य परिभाषा है। क्योंकि P एक बिंदु है, सामान्य स्थान स्पर्शरेखा स्थान के समान है, इसलिए [[असाधारण भाजक]] आइसोमोर्फिक है P पर प्रक्षेपित स्पर्शरेखा स्थान।
यहाँ 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 को असाधारण विभाजक कहा जाता है, और इस परिभाषा के अनुसार यह प्रक्षेपित सामान्य समूह P पर सामान्य परिभाषा को प्रकट करता हैं। क्योंकि P ऐसा बिंदु है जिसमें सामान्य स्थानों की स्पर्शरेखा के लिए यह स्थान समान रहता हैं, इसलिए [[असाधारण भाजक]] P पर प्रक्षेपित स्पर्शरेखा स्थान पर आइसोमोर्फिक रूप में होता है।


ब्लूपअप पर निर्देशांक देने के लिए, हम उपरोक्त घटनाओं के पत्राचार के लिए समीकरण लिख सकते हैं। 'पी' दें<sup>2</sup> [[सजातीय निर्देशांक]] [एक्स<sub>0</sub>:एक्स<sub>1</sub>:एक्स<sub>2</sub>] जिसमें P बिंदु है [P<sub>0</sub>:पी<sub>1</sub>:पी<sub>2</sub>][[प्रक्षेपी द्वैत]] द्वारा, G(1,2) P के लिए तुल्याकारी है<sup>2</sup>, इसलिए हम इसे सजातीय निर्देशांक दे सकते हैं [L<sub>0</sub>: एल<sub>1</sub>: एल<sub>2</sub>]। एक पंक्ति <math>\ell_0 = [L_0:L_1:L_2]</math> सभी का सेट है [एक्स<sub>0</sub>:एक्स<sub>1</sub>:एक्स<sub>2</sub>] ऐसा है कि X<sub>0</sub>L<sub>0</sub> + एक्स<sub>1</sub>L<sub>1</sub> + एक्स<sub>2</sub>L<sub>2</sub> = 0. इसलिए, विस्फोट के रूप में वर्णित किया जा सकता है
ब्लूप-अप पर निर्देशांक देने के लिए हम उपरोक्त घटनाओं के पत्राचार के लिए समीकरण लिख सकते हैं। इस प्रकार '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 = [0:0:1]। एफिन प्लेन एक्स पर निर्देशांक के लिए x और y लिखें<sub>2</sub>≠0। हालत पी ∈ <math>\ell</math> तात्पर्य यह है कि एल<sub>2</sub> = 0, इसलिए हम ग्रासमैनियन को P से बदल सकते हैं<sup>1</उप>। फिर ब्लोअप विविधता है
ब्लोअप 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 प्राप्त करें।
यदि हम ग्रासमैनियन के अनंत बिंदु को हटा दें, तो विस्फोट को सरली से देखा जा सकता है, उदाहरण के लिए w = 1 समूह और 3D समतल में मानक सैडल पॉइंट सैडल सतह y = xz प्राप्त करें।


ब्लौअप को सामान्य स्थान से बिंदु तक सीधे निर्देशांक का उपयोग करके भी वर्णित किया जा सकता है। फिर से हम एफाइन प्लेन 'ए' पर काम करते हैं<sup>2</उप>। मूल बिंदु के लिए सामान्य स्थान सदिश स्थान m/m है<sup>2</sup>, जहाँ m = (x, y) मूल बिंदु की उच्चिष्ठ गुणजावली है। बीजगणितीय रूप से, इस सदिश स्थान का प्रक्षेपीकरण इसके सममित बीजगणित का गुणनफल है, अर्थात,
ब्लोअप को सामान्य स्थान से बिंदु तक सीधे निर्देशांक का उपयोग करके वर्णित किया जा सकता है। इस प्रकार इसे पुनः हम एफाइन समतल '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>. मान लें कि पी '' में मूल है<sup>2</sup> ⊆ पी<sup>2</sup>, और अनंत पर रेखा के लिए L लिखें। ''<sup>2</sup> \ {0} में उलटा मैप टी है जो (x, y) को (x/(|x|) भेजता है<sup>2</sup> + |y|<sup>2</sup>), y/(|x|<sup>2</sup> + |y|<sup>2</sup>))। टी इकाई क्षेत्र एस के संबंध में सर्कल उलटा है: यह एस को ठीक करता है, मूल के माध्यम से प्रत्येक पंक्ति को संरक्षित करता है, और बाहर के साथ गोले के अंदर का आदान-प्रदान करता है। टी एक सतत मानचित्र 'पी' तक फैला हुआ है<sup>2</sup> \ {0} → <sup>2</sup> मूल बिंदु पर अनंत पर रेखा भेजकर। यह विस्तार, जिसे हम टी भी कहते हैं, का उपयोग ब्लौअप के निर्माण के लिए किया जा सकता है। चलो सी यूनिट बॉल के पूरक को दर्शाता है। ब्लौअप एक्स एस के साथ सी की दो प्रतियों को संलग्न करके प्राप्त किया गया कई गुना है। एक्स मानचित्र π से 'पी' के साथ आता है<sup>2</sup> जो सी की पहली प्रति पर पहचान है और सी की दूसरी प्रति पर टी है। यह नक्शा पी से दूर एक आइसोमोर्फिज्म है, और पी पर फाइबर सी की दूसरी प्रति में अनंतता पर रेखा है। इस रेखा में प्रत्येक बिंदु उत्पत्ति के माध्यम से एक अद्वितीय रेखा से मेल खाता है, इसलिए π से अधिक फाइबर उत्पत्ति के माध्यम से संभावित सामान्य दिशाओं से मेल खाता है।
वास्तविक या जटिल संख्याओं के ऊपर, ब्लूप-अप का संबंधित योग के रूप में एक सांस्थितिकीय विवरण <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 की दूसरी प्रति में अनंतता पर रेखा द्वारा निरूपित करता हैं। इस रेखा में प्रत्येक बिंदु उत्पत्ति के माध्यम से अद्वितीय रेखा से मेल खाता है, इसलिए π से अधिक फाइबर उत्पत्ति के माध्यम से संभावित सामान्य दिशाओं से मेल खाता है।


'सीपी' के लिए<sup>2</sup> इस प्रक्रिया को एक ओरिएंटेड मैनिफोल्ड का उत्पादन करना चाहिए। ऐसा करने के लिए, सी की दो प्रतियों को विपरीत अभिविन्यास दिया जाना चाहिए। प्रतीकों में, एक्स है <math>\mathbf{CP}^2\#\overline{\mathbf{CP}^2}</math>, कहाँ <math>\overline{\mathbf{CP}^2}</math> सीपी है<sup>2</sup> मानक अभिविन्यास के विपरीत।
'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> है उसे मानक अभिविन्यास के विपरीत माना जाता हैं।


== जटिल स्थान में बिंदुओं को उड़ाना ==
== जटिल स्थान में बिंदुओं को ब्लो करना ==


जेड को एन-डायमेंशनल [[ जटिल संख्या ]] स्पेस में मूल होने दें, 'सी'<sup>एन</sup>. अर्थात्, Z वह बिंदु है जहाँ n निर्देशांक कार्य करता है <math>x_1, \ldots, x_n</math> साथ ही लुप्त हो जाना। चलो पी<sup>n - 1</sup> हो (n - 1)-सजातीय निर्देशांक के साथ आयामी जटिल प्रक्षेपी स्थान <math>y_1, \ldots, y_n</math>. होने देना <math>\tilde{\mathbf{C}^n}</math> C का उपसमुच्चय हो<sup>n</sup> × 'पी'<sup>n - 1</sup> जो एक साथ समीकरणों को संतुष्ट करता है <math>x_i y_j = x_j y_i </math> मैं, जे = 1, ..., एन के लिए। प्रक्षेपण
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>एन</sup>.
यह प्रारूप π (या, अधिकांशतः, समतल <math>\tilde{\mathbf{C}^n}</math>) को C<sup>n</sup> का ब्लो-अप (विभिन्न आयाम वाले ब्लो अप या ब्लोअप) कहा जाता है।


'असाधारण विभाजक' E को π के तहत ब्लो-अप लोकस Z की व्युत्क्रम छवि के रूप में परिभाषित किया गया है। इसे देखना आसान है
'असाधारण विभाजक' 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> और सी<sup>एन </सुप> \ जेड; यह बीच का एक द्विभाजित नक्शा है <math>\tilde{\mathbf{C}^n}</math> और सी<sup>एन</sup>.
प्रोजेक्टिव समतल की मुख्य प्रति इस प्रकार है। यह प्रभावी वि[[भाजक (बीजीय ज्यामिति)]] है। इसे 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>.
हम का [[टॉटोलॉजिकल लाइन बंडल|टॉटोलॉजिकल लाइन समूह]] <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> के रूप में उपयोग करता है।


== जटिल मैनिफोल्ड्स में सबमनिफोल्ड्स को उड़ाना ==
== जटिल मैनिफोल्ड्स में सबमनिफोल्ड्स को ब्लो करना ==
अधिक आम तौर पर, कोई भी कोडिमेंशन-के [[जटिल कई गुना]] 'सी' का जेड उड़ा सकता है<sup>एन</sup>. मान लीजिए कि Z समीकरणों का स्थान है <math>x_1 = \cdots = x_k = 0</math>, और जाने <math>y_1, \ldots, y_k</math> पी पर सजातीय निर्देशांक हो<sup>के - 1</सुपा>. फिर धमाका <math>\tilde{\mathbf{C}}^n</math> समीकरणों का स्थान है <math>x_i y_j = x_j y_i</math> सभी i और j के लिए, अंतरिक्ष 'C' में<sup>n</sup> × 'पी'<sup>के - 1</सुपा>.
अधिक सामान्यतः में कोई भी कोडिमेंशन-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 के रूप में प्रकट होता हैं।


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


:<math>\pi : \tilde X \to X</math>
:<math>\pi : \tilde X \to X</math>
एक बायरेशनल मैपिंग है, जो से दूर, एक आइसोमोर्फिज्म को प्रेरित करता है, और पर, फाइबर 'पी' के साथ स्थानीय रूप से तुच्छ [[ कंपन ]]<sup>के - 1</सुपा>. दरअसल, प्रतिबंध <math>\pi|_E : E \to Z</math> स्वाभाविक रूप से X में Z के [[सामान्य बंडल]] के प्रक्षेपण के रूप में देखा जाता है।
किसी बायरेशनल मैपिंग को इस प्रकार प्रकट करते हैं कि जो E से दूर होने पर आइसोमोर्फिज्म को प्रेरित करती है, और E पर, फाइबर 'P' के साथ स्थानीय रूप से [[ कंपन ]]<sup>K - 1 को मुख्यतः प्रतिबंध <math>\pi|_E : E \to Z</math> स्वाभाविक रूप से X में Z के [[सामान्य बंडल|सामान्य समूह]] के प्रक्षेपण के रूप में देखा जाता है।


चूँकि E एक चिकना भाजक है, इसका सामान्य बंडल एक रेखा बंडल है। यह दर्शाना कठिन नहीं है कि E स्वयं को ऋणात्मक रूप से प्रतिच्छेद करता है। इसका मतलब है कि इसके सामान्य बंडल में कोई होलोमोर्फिक सेक्शन नहीं है; E अपने [[समरूपता (गणित)]] वर्ग का एकमात्र सहज जटिल प्रतिनिधि है <math>\tilde X</math>. (मान लें कि को उसी वर्ग में एक और जटिल सबमेनिफोल्ड से परेशान किया जा सकता है। फिर दो सबमेनिफोल्ड सकारात्मक रूप से छेड़छाड़ करेंगे - जैसा कि जटिल सबमनिफोल्ड हमेशा करते हैं - के नकारात्मक आत्म-प्रतिच्छेदन का विरोध करते हैं।) यही कारण है कि विभाजक को असाधारण कहा जाता है।
चूँकि E एक समतल भाजक है, इसका सामान्य समूह रेखा समूह के समान है। यह दर्शाना कठिन नहीं है कि E स्वयं को ऋणात्मक रूप से प्रतिच्छेद करता है। इसका अर्थ है कि इसके सामान्य समूह में कोई होलोमोर्फिक सेक्शन E नहीं है, इस प्रकार अपने [[समरूपता (गणित)]] वर्ग का एकमात्र सहज जटिल प्रतिनिधि <math>\tilde X</math> करता है, ( इस प्रकार मान लें कि E को उसी वर्ग में एक और जटिल सबमेनिफोल्ड से विचलित किया जा सकता है। फिर दो सबमेनिफोल्ड सकारात्मक रूप से विचलित करते हैं- जैसा कि जटिल सबमनिफोल्ड सदैव करते हैं - E के ऋणात्मक आत्म-प्रतिच्छेदन का विरोध करते हैं।) यही कारण है कि विभाजक को असाधारण कहा जाता है।


वी को ज़ेड के अलावा एक्स के कुछ सबमनीफोल्ड होने दें। यदि वी ज़ेड से अलग हो जाता है, तो यह ज़ेड के साथ उड़ने से अनिवार्य रूप से अप्रभावित होता है। हालांकि, अगर यह जेड को छेड़छाड़ करता है, तो विस्फोट में वी के दो अलग-अलग अनुरूप होते हैं <math>\tilde X</math>. एक उचित (या सख्त) परिवर्तन है, जो कि बंद है <math>\pi^{-1}(V \setminus Z)</math>; इसका सामान्य बंडल अंदर है <math>\tilde X</math> विशिष्ट रूप से X में V से भिन्न है। दूसरा 'कुल परिवर्तन' है, जिसमें कुछ या सभी E शामिल हैं; यह अनिवार्य रूप से [[सह-समरूपता]] में V का पुलबैक है।
V को Z के अतिरिक्त X के कुछ सबमनीफोल्ड के रूप में प्रकट करते हैं। इस प्रकार यदि V Z से अलग हो जाता है, तो यह Z के साथ ब्लो होने से अनिवार्य रूप से अप्रभावित होता है। चूंकि, यदि यह Z को विचलित करता है, तो विस्फोट में V के दो अलग-अलग अनुरूप <math>\tilde X</math> के समान होते हैं। यह उचित परिवर्तन को प्रदर्शित करता है, जो कि इस प्रकार विवृत  <math>\pi^{-1}(V \setminus Z)</math> है, इसका सामान्य समूह अंदर है, जो <math>\tilde X</math> विशिष्ट रूप से X में V से भिन्न है। दूसरा 'कुल परिवर्तन' है, जिसमें कुछ या सभी E सम्मिलित हैं, यह अनिवार्य रूप से [[सह-समरूपता]] में V को पुलबैक करता हैं।


== योजनाओं की धज्जियां उड़ाना ==
== योजनाओं की त्रुटि के अनुसार ब्लो करना ==
इसकी सबसे बड़ी व्यापकता में ब्लो-अप का पीछा करने के लिए, एक्स को एक [[योजना (गणित)]] होने दें, और दें <math>\mathcal{I}</math> एक्स पर आदर्शों का एक सुसंगत पूला बनें। एक्स के संबंध में झटका <math>\mathcal{I}</math> एक योजना है <math>\tilde{X}</math> एक रूपवाद के साथ
इसकी सबसे बड़ी व्यापकता में ब्लो-अप का पीछा करने के लिए, X को [[योजना (गणित)]] के रूप में प्रकट करते हैं, और <math>\mathcal{I}</math> X पर आदर्शों का सुसंगत प्रारूप बना देते हैं। इस प्रकार X के संबंध में <math>\mathcal{I}</math> को योजना <math>\tilde{X}</math> के रूप में प्रकट करते है। इसका प्रारूप इस प्रकार हैं-


:<math>\pi\colon \tilde{X} \rightarrow X</math>
:<math>\pi\colon \tilde{X} \rightarrow X</math>
ऐसा है कि <math>\pi^{-1} \mathcal{I} \cdot \mathcal{O}_{\tilde{X}}</math> इस [[सार्वभौमिक संपत्ति]] की विशेषता एक [[उलटा शीफ]] ​​है: किसी भी आकारिकी के लिए f: Y → X ऐसा है <math>f^{-1} \mathcal{I} \cdot \mathcal{O}_Y</math> एक व्युत्क्रमणीय शीफ है, f अद्वितीय रूप से π के माध्यम से कारक है।
इस प्रकार यह मान इस प्रकार है कि <math>\pi^{-1} \mathcal{I} \cdot \mathcal{O}_{\tilde{X}}</math> इस [[सार्वभौमिक संपत्ति]] की विशेषता को [[उलटा शीफ|व्युत्क्रम शीफ]] के समान प्रकट करता ​हैं: इस प्रकार किसी भी संरचना के लिए f: Y → X ऐसा है कि <math>f^{-1} \mathcal{I} \cdot \mathcal{O}_Y</math> मुख्य रूप से व्युत्क्रमणीय शीफ है, जो f अद्वितीय रूप से π के माध्यम से मुख्य कारक है।


नोटिस जो
इस प्रकार


:<math>\tilde{X}=\mathbf{Proj} \bigoplus_{n=0}^{\infty} \mathcal{I}^n</math>
:<math>\tilde{X}=\mathbf{Proj} \bigoplus_{n=0}^{\infty} \mathcal{I}^n</math>
यह संपत्ति है; इस तरह से ब्लो-अप का निर्माण किया जाता है। यहाँ प्रोज [[ग्रेडेड कम्यूटेटिव रिंग]] पर [[ प्रोज निर्माण ]] है।
यह मान इस प्रकार हैं कि इस तरह से ब्लो-अप का निर्माण किया जाता है। यहाँ प्रोज [[ग्रेडेड कम्यूटेटिव रिंग]] पर [[ प्रोज निर्माण ]] है।


=== असाधारण विभाजक ===
=== असाधारण विभाजक ===
एक विस्फोट का असाधारण विभाजक <math>\pi : \operatorname{Bl}_\mathcal{I} X \to X</math> आदर्श शीफ की उलटी छवि द्वारा परिभाषित उपयोजना है <math>\mathcal{I}</math>, जिसे कभी-कभी दर्शाया जाता है <math>\pi^{-1}\mathcal{I}\cdot\mathcal{O}_{\operatorname{Bl}_\mathcal{I} X}</math>. प्रोज के संदर्भ में ब्लो अप की परिभाषा से यह पता चलता है कि इस उपयोजना ई को आदर्श शीफ द्वारा परिभाषित किया गया है <math>\textstyle\bigoplus_{n=0}^\infty \mathcal{I}^{n+1}</math>. यह आदर्श पूला भी सापेक्ष है <math>\mathcal{O}(1)</math> π के लिए।
एक विस्फोट का असाधारण विभाजक <math>\pi : \operatorname{Bl}_\mathcal{I} X \to X</math> आदर्श शीफ के व्युत्क्रम दर्पण द्वारा परिभाषित उपयोजना <math>\mathcal{I}</math> है, जिसे <math>\pi^{-1}\mathcal{I}\cdot\mathcal{O}_{\operatorname{Bl}_\mathcal{I} X}</math> द्वारा दर्शाया जाता है। इस प्रकार प्रोज के संदर्भ में ब्लो अप की परिभाषा से यह पता चलता है कि इस उपयोजना ई को आदर्श शीफ <math>\textstyle\bigoplus_{n=0}^\infty \mathcal{I}^{n+1}</math> द्वारा परिभाषित किया गया है। इस प्रकार यह आदर्श प्रारूप भी <math>\mathcal{O}(1)</math> π के लिए सापेक्षता को प्रकट करता हैं।


π असाधारण भाजक से दूर एक समरूपता है, लेकिन असाधारण भाजक को π के असाधारण स्थान में नहीं होना चाहिए। अर्थात्, E पर π एक तुल्याकारिता हो सकती है। उदाहरण के लिए, यह तुच्छ स्थिति में होता है जहाँ <math>\mathcal{I}</math> पहले से ही एक उलटा पुलिंदा है। विशेष रूप से, ऐसे मामलों में रूपवाद π अपवादात्मक भाजक का निर्धारण नहीं करता है। एक और स्थिति जहां असाधारण विभाजक की तुलना में असाधारण स्थान सख्ती से छोटा हो सकता है, जब एक्स में विलक्षणताएं होती हैं। उदाहरण के लिए, एक्स को एफ़ाइन कोन ओवर होने दें {{nowrap|'''P'''<sup>1</sup> &times; '''P'''<sup>1</sup>}}. X को लुप्त स्थान के रूप में दिया जा सकता है {{nowrap|''xw'' &minus; ''yz''}} में एक<sup>4</उप>। आदर्श {{nowrap|(''x'', ''y'')}} और {{nowrap|(''x'', ''z'')}} दो तलों को परिभाषित करता है, जिनमें से प्रत्येक X के शीर्ष से होकर गुजरता है। शीर्ष से दूर, ये तल X में हाइपरसर्फफेस हैं, इसलिए विस्फोट वहां एक समरूपता है। इन विमानों में से किसी एक के विस्फोट का असाधारण स्थान इसलिए शंकु के शीर्ष पर केंद्रित है, और इसके परिणामस्वरूप यह असाधारण विभाजक से सख्ती से छोटा है।
π असाधारण भाजक से दूर एक समरूपता है, किन्तु असाधारण भाजक को π के असाधारण स्थान में नहीं होना चाहिए। इस प्रकार E पर π तुल्याकारिता हो सकती है। उदाहरण के लिए, यह तुच्छ स्थिति में होता है जहाँ <math>\mathcal{I}</math> पहले से ही व्युत्क्रम प्रारूप है। विशेष रूप से ऐसी स्थितियों में रूपवाद π अपवादात्मक भाजक का निर्धारण नहीं करता है। इस प्रकार इसकी इस स्थिति में जहां असाधारण विभाजक की तुलना में असाधारण स्थान कठोरता से छोटे हो सकते है, जब X में विलक्षणताएं होती हैं। उदाहरण के लिए, X को एफ़ाइन कोन ओवर {{nowrap|'''P'''<sup>1</sup> &times; '''P'''<sup>1</sup>}} होने देते हैं। इस कारण X को लुप्त स्थान के रूप में {{nowrap|''xw'' &minus; ''yz''}} में A<sup>4 दिया जा सकता है। इसके आदर्श रूप में {{nowrap|(''x'', ''y'')}} और {{nowrap|(''x'', ''z'')}} को दो तलों को परिभाषित करने में सहायक माना जाता हैं, जिनमें से प्रत्येक X के शीर्ष से होकर गुजरता है। इस प्रकार शीर्ष से दूर ये तल X में हाइपरसर्फफेस हैं, इसलिए विस्फोट वहां पर समरूपता को प्रकट करता है। इन विमानों में से किसी विस्फोट का असाधारण स्थान इसलिए शंकु के शीर्ष पर केंद्रित है, और इसके परिणामस्वरूप यह असाधारण विभाजक से छोटा है।


== आगे के उदाहरण ==
== आगे के उदाहरण ==


=== रैखिक उप-स्थानों का ब्लोअप ===
=== रैखिक उप-स्थानों का ब्लोअप ===
होने देना <math>\mathbf{P}^n</math> होना {{mvar|n}}-आयामी प्रोजेक्टिव स्पेस। एक रैखिक उप-स्थान को ठीक करें {{mvar|L}कोडिमेंशन का } {{mvar|d}}. के विस्फोट का वर्णन करने के कई स्पष्ट तरीके हैं <math>\mathbf{P}^n</math> साथ में {{mvar|L}}. लगता है कि <math>\mathbf{P}^n</math> निर्देशांक हैं <math>X_0, \dots, X_n</math>. निर्देशांक बदलने के बाद, हम यह मान सकते हैं <math>L = \{X_{n-d+1} = \dots = X_n = 0\}</math>. ब्लूपअप को एम्बेड किया जा सकता है <math>\mathbf{P}^n \times \mathbf{P}^{n-d}</math>. होने देना <math>Y_0, \dots, Y_{n-d}</math> दूसरे कारक पर निर्देशांक हो। क्योंकि {{mvar|L}} एक नियमित अनुक्रम द्वारा परिभाषित किया गया है, ब्लौअप मैट्रिक्स के दो-दो-दो नाबालिगों के गायब होने से निर्धारित होता है
इसके अनुसार <math>\mathbf{P}^n</math> को {{mvar|n}}<nowiki>-आयामी प्रोजेक्टिव समतल के रूप में प्रकट किया जाता हैं। इस प्रकार किसी रैखिक उप-स्थान को ठीक करें {{mvar|L}कोडिमेंशन का } </nowiki>{{mvar|d}} संतुलन के विस्फोट का वर्णन करने के कई स्पष्ट विधियाँ हैं जिसमें <math>\mathbf{P}^n</math> साथ में {{mvar|L}} को लगता है कि <math>\mathbf{P}^n</math> निर्देशांक <math>X_0, \dots, X_n</math> हैं। इन निर्देशांको के परिवर्तित होने के पश्चात हम यह मान सकते हैं कि <math>L = \{X_{n-d+1} = \dots = X_n = 0\}</math> मुख्य रूप से ब्लूप-अप को एम्बेड किया जा सकता है। इस प्रकार <math>\mathbf{P}^n \times \mathbf{P}^{n-d}</math> को हम <math>Y_0, \dots, Y_{n-d}</math> के दूसरे कारक पर निर्देशांक के रूप में प्रकट करते हैं। क्योंकि इस प्रकार {{mvar|L}} मुख्य रूप से नियमित अनुक्रम द्वारा परिभाषित किया गया है, ब्लोअप आव्यूह के 2x2 तत्वो के विलुप्त होने से निर्धारित होती है
<math display="block">\begin{pmatrix}
<math display="block">\begin{pmatrix}
X_0 & \cdots & X_{n-d} \\
X_0 & \cdots & X_{n-d} \\
Y_0 & \cdots & Y_{n-d}
Y_0 & \cdots & Y_{n-d}
\end{pmatrix}.</math>
\end{pmatrix}.</math>
समीकरणों की यह प्रणाली इस बात पर जोर देने के बराबर है कि दो पंक्तियाँ रैखिक रूप से निर्भर हैं। एक बिंदु <math>P \in \mathbf{P}^n</math> में है {{mvar|L}} अगर और केवल अगर, जब इसके निर्देशांक उपरोक्त मैट्रिक्स की पहली पंक्ति में प्रतिस्थापित किए जाते हैं, तो वह पंक्ति शून्य होती है। इस मामले में कोई शर्त नहीं है {{mvar|Q}}. यदि, हालांकि, वह पंक्ति गैर-शून्य है, तो रैखिक निर्भरता का अर्थ है कि दूसरी पंक्ति पहली की एक अदिश गुणक है और इसलिए एक अद्वितीय बिंदु है <math>Q \in \mathbf{P}^{n-d}</math> ऐसा है कि <math>(P, Q)</math> विस्फोट में है।
इस समीकरण की यह प्रणाली इस बात पर बल देने के समान है कि दो पंक्तियाँ रैखिक रूप से निर्भर हैं। इस प्रकार यह बिंदु <math>P \in \mathbf{P}^n</math> रूप को प्रकट करता है इसमें {{mvar|L}} को यदि माना जाए तो जब इसके निर्देशांक उपरोक्त आव्यूह की पहली पंक्ति में प्रतिस्थापित किए जाते हैं, तो वह पंक्ति शून्य होती है। इस स्थिति में {{mvar|Q}} रके लिए कोई शर्त नहीं होती है। इस प्रकार यदि इस पंक्ति गैर-शून्य स्थिति में मान लिया जाता हैं तो रैखिक निर्भरता का अर्थ है कि दूसरी पंक्ति पहली की एक अदिश गुणक है और इसलिए एक अद्वितीय बिंदु <math>Q \in \mathbf{P}^{n-d}</math> है जो इस प्रकार है कि <math>(P, Q)</math> विस्फोट का रूप ले लेते हैं।


इस विस्फोट को घटना पत्राचार के रूप में एक सिंथेटिक विवरण भी दिया जा सकता है
इस विस्फोट को घटना पत्राचार के रूप में एक सिंथेटिक विवरण भी दिया जा सकता है<math display="block">\{(P, M) \colon P \in M,\,L \subseteq M\} \subseteq \mathbf{P}^n \times \operatorname{Gr}(n, n - d + 1),</math>
<math display="block">\{(P, M) \colon P \in M,\,L \subseteq M\} \subseteq \mathbf{P}^n \times \operatorname{Gr}(n, n - d + 1),</math>
कहाँ <math>\operatorname{Gr}</math> के ग्रासमैनियन को दर्शाता है <math>(n - d + 1)</math>-आयामी उप-स्थान <math>\mathbf{P}^n</math>. पिछले समन्वय के साथ संबंध देखने के लिए, देखें कि सभी का सेट <math>M \in \operatorname{Gr}(n, n - d + 1)</math> जिसमें शामिल है {{mvar|L}} एक प्रोजेक्टिव स्पेस के लिए आइसोमोर्फिक है <math>\mathbf{P}^{n-d}</math>. ऐसा इसलिए है क्योंकि प्रत्येक उपक्षेत्र {{mvar|M}} का रैखिक जुड़ाव है {{mvar|L}} और एक बिंदु {{mvar|Q}} अंदर नही {{mvar|L}}, और दो अंक {{mvar|Q}} और {{mvar|Q'}} वही निर्धारित करें {{mvar|M}} अगर और केवल अगर उनके प्रक्षेपण के तहत एक ही छवि है <math>\mathbf{P}^n</math> से दूर {{mvar|L}}. इसलिए, ग्रासमानियन को इसकी एक प्रति द्वारा प्रतिस्थापित किया जा सकता है <math>\mathbf{P}^{n-d}</math>. कब <math>P \not\in L</math>, केवल एक उपसमष्टि है {{mvar|M}} युक्त {{mvar|P}}, का रैखिक जुड़ाव {{math|P}} और {{math|L}}. उपरोक्त निर्देशांक में, यह वह स्थिति है जहाँ <math>(X_0, \dots, X_{n-d})</math> शून्य सदिश नहीं है। मामला <math>P \in L</math> से मेल खाती है <math>(X_0, \dots, X_{n-d})</math> शून्य वेक्टर होने के नाते, और इस मामले में, कोई भी {{mvar|Q}} की अनुमति है, यानी कोई भी {{mvar|M}} युक्त {{mvar|L}} संभव है।


=== घटता योजना के चौराहों को उड़ाना-सैद्धांतिक रूप से ===
 
होने देना <math>f,g \in \mathbb{C}[x,y,z]</math> डिग्री के सामान्य सजातीय बहुपद बनें <math>d</math> (जिसका अर्थ है कि उनकी संबद्ध प्रक्षेपी किस्में प्रतिच्छेद करती हैं <math>d^2</math> बेज़ाउट के प्रमेय द्वारा अंक)। स्कीम (गणित) की बीजगणितीय ज्यामिति की निम्नलिखित शब्दावली ब्लोइंग का एक मॉडल देती है <math>\mathbb{P}^2</math> पर <math>d^2</math> अंक:<math display="block">\begin{matrix}
जहाँ <math>\operatorname{Gr}</math> के ग्रासमैनियन को दर्शाता है <math>(n - d + 1)</math>-आयामी उप-स्थान <math>\mathbf{P}^n</math>. पिछले समन्वय के साथ संबंध देखने के लिए, देखें कि सभी का समूह <math>M \in \operatorname{Gr}(n, n - d + 1)</math> जिसमें सम्मिलित है {{mvar|L}} एक प्रोजेक्टिव समतल के लिए आइसोमोर्फिक है <math>\mathbf{P}^{n-d}</math>. ऐसा इसलिए है क्योंकि प्रत्येक उपक्षेत्र {{mvar|M}} का रैखिक संयोजन {{mvar|L}} है और एक बिंदु {{mvar|Q}} अंदर नही {{mvar|L}}, और दो अंक {{mvar|Q}} और {{mvar|Q'}} वही {{mvar|M}} निर्धारित करें। इस स्थिति में उनके प्रक्षेपण के अनुसार एक ही छवि है जो <math>\mathbf{P}^n</math> से दूर {{mvar|L}} के समान हैं। इसलिए, ग्रासमानियन को इसकी एक प्रति <math>\mathbf{P}^{n-d}</math>  जहाँ पर <math>P \not\in L</math> इसे प्रतिस्थापित किया जा सकता है , केवल एक उपसमष्टि है तथा {{mvar|M}} युक्त {{mvar|P}} का मान रैखिक संयोजन {{math|P}} और {{math|L}} के रूप में प्रकट होता हैं। इस प्रकार उपरोक्त निर्देशांक में, यह वह स्थिति है जहाँ <math>(X_0, \dots, X_{n-d})</math> शून्य सदिश नहीं है। इस प्रकार इस स्थिति <math>P \in L</math> से मेल खाती है <math>(X_0, \dots, X_{n-d})</math> शून्य वेक्टर होने के अनुसार कोई भी {{mvar|Q}} की अनुमति को स्वीकार करता है, अर्ताथ कोई भी {{mvar|M}} युक्त {{mvar|L}} संभव है।
 
=== घटता योजना के चौराहों को ब्लो करना-सैद्धांतिक रूप से ===
होने देना <math>f,g \in \mathbb{C}[x,y,z]</math> डिग्री के सामान्य सजातीय बहुपद <math>d</math> बनाता हैं (जिसका अर्थ है कि उनकी संबद्ध प्रक्षेपी किस्में प्रतिच्छेदन <math>d^2</math> बेज़ाउट के प्रमेय द्वारा अंकित करता हैं )। इस क्रम में यह स्कीम (गणित) की बीजगणितीय ज्यामिति की निम्नलिखित शब्दावली ब्लोइंग का मॉडल <math>\mathbb{P}^2</math> पर <math>d^2</math> अंक देता है:<math display="block">\begin{matrix}
\textbf{Proj}\left( \dfrac{\mathbb{C}[s,t][x,y,z]}{(sf(x,y,z) + tg(x,y,z))} \right) \\
\textbf{Proj}\left( \dfrac{\mathbb{C}[s,t][x,y,z]}{(sf(x,y,z) + tg(x,y,z))} \right) \\
\downarrow \\
\downarrow \\
\textbf{Proj}(\mathbb{C}[x,y,z])
\textbf{Proj}(\mathbb{C}[x,y,z])
\end{matrix}</math>
\end{matrix}</math>
तंतुओं को देखने से पता चलता है कि यह सच क्यों है: यदि हम एक बिंदु लेते हैं <math>p = [x_0:x_1:x_2]</math> फिर पुलबैक आरेख
तंतुओं को देखने से पता चलता है कि यह सच क्यों है: यदि हम इस बिंदु को उपयोग करते हैं जिसमें <math>p = [x_0:x_1:x_2]</math> पर पुनः पुलबैक आरेख इस प्रकार प्रकट होता हैं-
<math display="block">\begin{matrix}
<math display="block">\begin{matrix}
\textbf{Proj}\left( \dfrac{\mathbb{C}[s,t]}{sf(p) + tg(p)} \right)& \rightarrow & \textbf{Proj}\left( \dfrac{\mathbb{C}[s,t][x,y,z]}{(sf(x,y,z) + tg(x,y,z))} \right) \\
\textbf{Proj}\left( \dfrac{\mathbb{C}[s,t]}{sf(p) + tg(p)} \right)& \rightarrow & \textbf{Proj}\left( \dfrac{\mathbb{C}[s,t][x,y,z]}{(sf(x,y,z) + tg(x,y,z))} \right) \\
Line 111: Line 112:
\textbf{Spec}(\mathbb{C})& \xrightarrow{[x_0:x_1:x_2]} & \textbf{Proj}(\mathbb{C}[x,y,z])
\textbf{Spec}(\mathbb{C})& \xrightarrow{[x_0:x_1:x_2]} & \textbf{Proj}(\mathbb{C}[x,y,z])
\end{matrix}</math>
\end{matrix}</math>
हमें बताता है कि जब भी फाइबर एक बिंदु होता है <math>f(p) \neq 0</math> या <math>g(p) \neq 0</math> और फाइबर है <math>\mathbb{P}^1</math> अगर <math>f(p) = g(p) = 0</math>.
यह हमें बताता है कि जब भी फाइबर बिंदु होता <math>f(p) \neq 0</math> या <math>g(p) \neq 0</math> है और फाइबर <math>\mathbb{P}^1</math> यदि <math>f(p) = g(p) = 0</math> का रूप ले लेता है।


== संबंधित निर्माण ==
== संबंधित निर्माण ==
सी के विस्फोट में<sup>n</sup> ऊपर वर्णित, सम्मिश्र संख्याओं के उपयोग के बारे में कुछ भी आवश्यक नहीं था; ब्लो-अप किसी भी [[क्षेत्र (गणित)]] पर किया जा सकता है। उदाहरण के लिए, 'आर' का वास्तविक विस्फोट<sup>2</sup> मोबियस पट्टी में मूल परिणाम पर; तदनुसार, दो-गोले S का झटका<sup>2</sup> का परिणाम वास्तविक प्रक्षेपी तल में होता है।
C<sup>n</sup> के विस्फोट के रूप में ऊपर वर्णित इन सम्मिश्र संख्याओं के उपयोग के बारे में कुछ भी आवश्यक नहीं था, इस ब्लो-अप को किसी भी [[क्षेत्र (गणित)]] पर उपयोग किया जा सकता है। उदाहरण के लिए, 'R<sup>2</sup>' का वास्तविक विस्फोट मोबियस पट्टी में मूल परिणाम पर तदानुसार दो-गोले S<sup>2</sup> के परिणाम के अनुसार वास्तविक प्रक्षेपी तल के रूप में प्रकट होता हैं।


सामान्य शंकु की विकृति एक ब्लो-अप तकनीक है जिसका उपयोग बीजगणितीय ज्यामिति में कई परिणामों को सिद्ध करने के लिए किया जाता है। एक योजना X और एक बंद उप-योजना V को देखते हुए, कोई विस्फोट करता है
सामान्य शंकु की विकृति को ब्लो-अप विधि द्वारा प्रकट किया जाता है जिसका उपयोग बीजगणितीय ज्यामिति में कई परिणामों को सिद्ध करने के लिए किया जाता है। इस प्रकार यह योजना X और विवृत उप-योजना V को देखते हुए प्रकट होती हैं, जिसे इस प्रकार विस्फोट किया जाता है


:<math>V \times \{0\} \ \text{in} \ Y = X \times \mathbf{C} \ \text{or} \ X \times \mathbf{P}^1</math>
:<math>V \times \{0\} \ \text{in} \ Y = X \times \mathbf{C} \ \text{or} \ X \times \mathbf{P}^1</math>
तब
इसके अनुसार-


:<math>\tilde Y \to \mathbf{C}</math>
:<math>\tilde Y \to \mathbf{C}</math>
एक कंपन है। सामान्य फाइबर एक्स के लिए स्वाभाविक रूप से आइसोमोर्फिक है, जबकि केंद्रीय फाइबर दो योजनाओं का एक संघ है: एक वी के साथ एक्स का ब्लो-अप है, और दूसरा वी का [[सामान्य शंकु]] है, जिसके तंतुओं को प्रोजेक्टिव स्पेस में पूरा किया गया है।
उक्त समीकरण मुख्य कंपन है। जिसमें सामान्य फाइबर X के लिए स्वाभाविक रूप से आइसोमोर्फिक है, जबकि केंद्रीय फाइबर दो योजनाओं का मुख्य संघ है: इसमें V के साथ X का ब्लो-अप प्रकट होता हैं, और दूसरा V का [[सामान्य शंकु]] है, जिसके तंतुओं को प्रोजेक्टिव समतल में पूरा किया गया है।


सहानुभूति श्रेणी में ब्लो-अप भी किया जा सकता है, एक संगत लगभग जटिल मैनिफोल्ड के साथ सहानुभूतिपूर्ण मैनिफोल्ड को समाप्त करके और एक जटिल ब्लो-अप के साथ आगे बढ़ना। यह विशुद्ध रूप से सामयिक स्तर पर समझ में आता है; हालाँकि, ब्लो-अप को एक सहानुभूतिपूर्ण रूप से समाप्त करने के लिए कुछ देखभाल की आवश्यकता होती है, क्योंकि कोई असाधारण विभाजक E में मनमाने ढंग से सहानुभूतिपूर्ण रूप का विस्तार नहीं कर सकता है। किसी को E के पड़ोस में सहानुभूतिपूर्ण रूप को बदलना चाहिए, या ब्लो-अप को काटकर निष्पादित करना चाहिए। Z का एक पड़ोस और सीमा को अच्छी तरह से परिभाषित तरीके से ढहाना। यह सहानुभूतिपूर्ण काटने की औपचारिकता का उपयोग करके सबसे अच्छी तरह से समझा जाता है, जिसमें से सहानुभूतिपूर्ण विस्फोट एक विशेष मामला है। [[ सहानुभूतिपूर्ण कटौती ]]िंग, [[सिंपलेक्टिक मैनिफोल्ड]] के व्युत्क्रम ऑपरेशन के साथ, एक स्मूथ डिवाइडर के साथ सामान्य शंकु के विरूपण का सिम्प्लेक्टिक एनालॉग है।
सहानुभूति श्रेणी में ब्लो-अप भी किया जा सकता है, इसके संगत लगभग जटिल मैनिफोल्ड के साथ सहानुभूतिपूर्ण मैनिफोल्ड को समाप्त करके और जटिल ब्लो-अप के साथ आगे बढ़ाया जाता हैं। यह विशुद्ध रूप से सामयिक स्तर पर समझ में आता है; चूंकि, ब्लो-अप को इस सहानुभूतिपूर्ण क्रम के रूप से समाप्त करने के लिए कुछ सुरक्षा की आवश्यकता होती है, क्योंकि इस प्रकार कोई असाधारण विभाजक E में अपने तरीके से सहानुभूतिपूर्ण रूप का विस्तार नहीं कर सकता है। इस प्रकार किसी को E के समीप में सहानुभूतिपूर्ण रूप को परिवर्तन करना आवश्यक होता हैं, या ब्लो-अप को काटकर निष्पादित करना आवश्यक होता हैं। इस प्रकार Z का समीपस्थ और सीमा को अच्छी तरह से परिभाषित विधि से संजोया जाता हैं। यह सहानुभूतिपूर्ण काटने की औपचारिकता का उपयोग करके सबसे अच्छी तरह से समझा जाता है, जिसमें से सहानुभूतिपूर्ण विस्फोट की विशेष स्थिति उतपादित होती है। इसके [[ सहानुभूतिपूर्ण कटौती ]], [[सिंपलेक्टिक मैनिफोल्ड]] के व्युत्क्रम प्रक्रिया के साथ स्मूथ डिवाइडर के साथ सामान्य शंकु के विरूपण का सिम्प्लेक्टिक n लॉग द्वारा प्रकट किया जाता है।


== यह भी देखें ==
== यह भी देखें ==
* [[असीम रूप से निकट बिंदु]]
* [[असीम रूप से निकट बिंदु|अधिकतम रूप से निकट बिंदु का प्रकट होना]]
* विलक्षणताओं का संकल्प
* विलक्षणताओं का संकल्प



Revision as of 00:06, 2 May 2023

एफ़ाइन विमान का विस्फोट।

गणित में ब्लो अप एक प्रकार का ज्यामितीय परिवर्तन है जो किसी दिए गए स्थान के उप-स्थान को उस उप-स्थान से बाहर की ओर इंगित करते हुए सभी दिशाओं से परिवर्तित कर देता है। उदाहरण के लिए किसी विमान में एक बिंदु का विस्फोट बिंदु को उस बिंदु पर प्रक्षेपित स्पर्शरेखा स्थान से परिवर्तित कर देता है। इस प्रकार किसी रूपक के विस्फोट का प्रदर्शन करने के अतिरिक्त चित्र के भाग को बड़ा करने के लिए तस्वीर पर ज़ूम इन करने का तरीका है।

ब्लोअप द्विवार्षिक ज्यामिति में सबसे मौलिक परिवर्तन हैं, क्योंकि इसके प्रक्षेपी प्रकारों के बीच प्रत्येक द्विवार्षिक रूपवाद विस्फोट का रूप ले लेता हैं। इस प्रकार किसी कमजोर गुणनखंड वाली प्रमेय को प्रदर्शित करता है जो इस प्रकार हैं कि प्रत्येक द्विभाजित मानचित्र को विशेष रूप से सरल ब्लोअप की संरचना के रूप में कारक बनाया जाता है। इस प्रकार क्रेमोना समूह विमान के बायरेशनल मोर्फिज़्म का समूह ब्लोअप द्वारा उत्पन्न होता है।

द्विपक्षीय परिवर्तनों का वर्णन करने में उनके महत्व के अतिरिक्त ब्लूप-अप भी नए स्थानों के निर्माण के लिए महत्वपूर्ण विधि है। इस प्रकार उदाहरण के लिए विलक्षणताओं के समाधान के लिए अधिकांश प्रक्रियाएँ विलक्षणताओं को तब तक ब्लो अप करके आगे बढ़ाती हैं जब तक कि वे सहज न हो जाएँ। इसका मुख्य परिणाम यह है कि ब्लोअप का उपयोग बायरेशनल मैप्स की विलक्षणताओं को हल करने के लिए किया जाता हैं।

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

किसी ब्लोअप को मोनॉयडल स्थानांनतरण, लोकल क्वाड्रैटिक स्थानांनतरण, सूचक, σ-प्रक्रिया, या हॉफ मैप भी कहा जा सकता है।

किसी विमान में किसी बिंदु का विस्फोट

विस्फोट का सबसे सरल स्थिति विमान में ऐसे बिंदु का विस्फोट है। जिसके उदाहरण में ब्लोइंग की अधिकांश सामान्य विशेषताएं देखी जा सकती हैं।

ब्लोअप की इस घटना को पत्राचार के रूप में सिंथेटिक विवरण के रूप में माना जाता हैं। इस प्रकार यहाँ पर याद रखें कि ग्रासमानियन G (1,2) विमान में बिंदु के माध्यम से सभी लाइनों के समूहों को पैरामीट्रिज करता है। इस प्रकारप्रक्षेपी विमान P2 का ब्लोअप बिंदु P पर, जिसे हम X निरूपित करते हैं-

यहाँ Q एक अन्य बिंदु और को दर्शाता है जो ग्रासमैनियन का तत्व है। इस प्रकार X प्रक्षेपी प्रकार है क्योंकि यह प्रक्षेपी प्रकारों के उत्पाद की विवृत उप-प्रकार को प्रकट करता है। यह प्राकृतिक संरचना π से 'P2' तक आता है जो Q के लिए संयोजन के रूप में उपयोग किया जाता है। यह संरचना सभी बिंदुओं के संवृत्त उपसमुच्चय पर समरूपता को प्रकट करता है, इस प्रकार Q ≠ P के साथ रेखा उन दो बिंदुओं से निर्धारित होता है। जब Q = P होता हैं तब इस रेखा P से होकर जाने वाली रेखा हो सकती है। इस प्रकार ये रेखाएँ P से होकर जाने वाली दिशाओं के स्थान के अनुरूप हैं, जो 'P' के समरूपी है। इस प्रकार P1 को असाधारण विभाजक कहा जाता है, और इस परिभाषा के अनुसार यह प्रक्षेपित सामान्य समूह P पर सामान्य परिभाषा को प्रकट करता हैं। क्योंकि P ऐसा बिंदु है जिसमें सामान्य स्थानों की स्पर्शरेखा के लिए यह स्थान समान रहता हैं, इसलिए असाधारण भाजक P पर प्रक्षेपित स्पर्शरेखा स्थान पर आइसोमोर्फिक रूप में होता है।

ब्लूप-अप पर निर्देशांक देने के लिए हम उपरोक्त घटनाओं के पत्राचार के लिए समीकरण लिख सकते हैं। इस प्रकार 'P2' के मान के अनुसार सजातीय निर्देशांक [X0:X1:X2] होने पर P बिंदु [P0:P1:P2] है। इस प्रकार प्रक्षेपी द्वैत बिन्दु G(1,2) P2 के लिए तुल्याकारी है, इसलिए हम इसे सजातीय निर्देशांक [L0: L1: L2] दे सकते हैं। किसी पंक्ति के सभी समूहों का मान [X0:X1:X2] है जो इस प्रकार हैं कि X0L0 + X1L1 + X2L2 = 0 के समान होता हैं। इस प्रकार इसे विस्फोट के रूप में वर्णित किया जा सकता है

ब्लोअप P से दूर आइसोमोर्फिज्म को प्रकट करने में सहयोगी होता है, और प्रोजेक्टिव समतल के अतिरिक्त एफाइन समतल में कार्य करके, हम ब्लोअप के लिए सरल समीकरण दे सकते हैं। प्रक्षेपी रूपांतरण के बाद, हम मान सकते हैं कि P = [0:0:1]। एफिन समतल X पर निर्देशांक के लिए x और y लिखें2≠0। स्थिति P ∈ तात्पर्य यह है कि L2 = 0, इसलिए हम ग्रासमैनियन को P1 से परिवर्तित कर सकते हैं। इस कारण ब्लोअप विविधता कुछ इस प्रकार होता है-

इन संकेतों में से किसी एक को व्युत्क्रम करने के लिए उचित निर्देशांकों को परिवर्तित करना अधिक सामान्य है। इस कारण ब्लूप-अप को इस रूप में लिखा जा सकता है

यह समीकरण पिछले वाले की तुलना में सामान्यीकृत करना सरल है।

यदि हम ग्रासमैनियन के अनंत बिंदु को हटा दें, तो विस्फोट को सरली से देखा जा सकता है, उदाहरण के लिए w = 1 समूह और 3D समतल में मानक सैडल पॉइंट सैडल सतह y = xz प्राप्त करें।

ब्लोअप को सामान्य स्थान से बिंदु तक सीधे निर्देशांक का उपयोग करके वर्णित किया जा सकता है। इस प्रकार इसे पुनः हम एफाइन समतल 'A2' पर कार्य करते हैं। इसके मूल बिंदु के लिए सामान्य स्थान सदिश स्थान m/m2 के रूप में प्रकट होता हैं, जहाँ m = (x, y) मूल बिंदु की उच्चिष्ठ गुणक के रूप में प्रकट होता हैं। इस कारण बीजगणितीय रूप से इस सदिश स्थान का प्रक्षेपीकरण इसके सममित बीजगणित का गुणनफल है, अर्थात,

इस उदाहरण में, इसका ठोस विवरण है

जहां x और y की डिग्री 0 है और z और w की डिग्री 1 है।

वास्तविक या जटिल संख्याओं के ऊपर, ब्लूप-अप का संबंधित योग के रूप में एक सांस्थितिकीय विवरण होता है। इस प्रकार मान लें कि P 'A'2 ⊆ P2 में मूल है, और अनंत पर रेखा के लिए L को उपयोग करते हैं। इस प्रकार 'A'2\{0} में व्युत्क्रम मैप T को प्रकट करता हैं जो (x, y) को (x/(|x|)2 + |y|2), y/(|x|2 + |y|2)) के रूप में प्रकट करता है। इस प्रकार T इकाई क्षेत्र S के संबंध में वृत्त उलटा होता है: यह S को सही करता है, इस मूल के माध्यम से प्रत्येक पंक्ति को संरक्षित करता है, और बाहर के साथ गोले के अंदर का आदान-प्रदान करता है। यहाँ पर T सतत मानचित्र 'P'2 \ {0} → A2 तक फैला हुआ है, इस मूल बिंदु पर अनंत पर रेखा भेजकर इसे प्राप्त करते हैं। यह विस्तार मुख्य रूप से जिसे हम T भी कहते हैं, इसका उपयोग ब्लोअप के निर्माण के लिए किया जा सकता है। इस प्रकार C यूनिट बॉल के पूरक को दर्शाता है। ब्लोअप X S के साथ C की दो प्रतियों को संलग्न करके प्राप्त किया गया कई गुना है। X मानचित्र π से 'P'2 के साथ आता है जो C की पहली प्रति पर पहचान है और C की दूसरी प्रति पर T है। यह प्रारूप P से दूर आइसोमोर्फिज्म के रूप में प्रयोग किया जाता हैं, और P पर फाइबर C की दूसरी प्रति में अनंतता पर रेखा द्वारा निरूपित करता हैं। इस रेखा में प्रत्येक बिंदु उत्पत्ति के माध्यम से अद्वितीय रेखा से मेल खाता है, इसलिए π से अधिक फाइबर उत्पत्ति के माध्यम से संभावित सामान्य दिशाओं से मेल खाता है।

'CP2' के लिए इस प्रक्रिया को ओरिएंटेड मैनिफोल्ड का उत्पादन करने के लिए उपयोग करना चाहिए। ऐसा करने के लिए C की दो प्रतियों को विपरीत अभिविन्यास दिया जाना चाहिए। इन प्रतीकों में X का उपयोग किया जाता है, इस प्रकार , जहाँ CP2 है उसे मानक अभिविन्यास के विपरीत माना जाता हैं।

जटिल स्थान में बिंदुओं को ब्लो करना

Z को n-डायमेंशनल जटिल संख्या समतल में मूल होने दें, इस प्रकार 'C'n अर्थात्, Z वह बिंदु है जहाँ n निर्देशांक कार्य करता है, जो के साथ ही लुप्त हो जाते हैं। इस प्रकार Pn - 1 होने पर (n - 1)-सजातीय निर्देशांक के साथ आयामी जटिल प्रक्षेपी स्थान के रूप में प्रकट होते हैं। इस प्रकार इसी क्रम में Cn × 'P'n - 1 का उपसमुच्चय हैं जो किसी समीकरण को संतुष्ट करता है i, J = 1, ..., n के लिए उपयोग किया जाता हैं। इसका प्रक्षेपण इस प्रकार हैं।

स्वाभाविक रूप से होलोमॉर्फिक फ़ंक्शन मैप को प्रेरित करता है

यह प्रारूप π (या, अधिकांशतः, समतल ) को Cn का ब्लो-अप (विभिन्न आयाम वाले ब्लो अप या ब्लोअप) कहा जाता है।

'असाधारण विभाजक' E को π के अनुसार ब्लो-अप लोकस Z की व्युत्क्रम छवि के रूप में परिभाषित किया गया है। इसे देखना सरल है

प्रोजेक्टिव समतल की मुख्य प्रति इस प्रकार है। यह प्रभावी विभाजक (बीजीय ज्यामिति) है। इसे E से दूर करके π के बीच तुल्याकारिता और Cn के रूप में प्रकट करते हैं। इस प्रकार Z को इस बीच का एक द्विभाजित प्रारूप और Cn मान लेते हैं।

यदि इसके अतिरिक्त हम होलोमोर्फिक प्रक्षेपण को प्रकट करते हैं-

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

जटिल मैनिफोल्ड्स में सबमनिफोल्ड्स को ब्लो करना

अधिक सामान्यतः में कोई भी कोडिमेंशन-K जटिल अवस्था में कई गुना होने पर 'Cn' का मान Z के रूप में ब्लो कर सकता है। इस प्रकार मान लीजिए कि Z समीकरणों का स्थान है, और जाने P पर सजातीय निर्देशांक K - 1होते हैं। इस प्रकार समीकरणों का स्थान है, जो सभी i और j के लिए, समतल 'C'n × 'P'K - 1 के रूप में प्रकट होता हैं।

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

किसी बायरेशनल मैपिंग को इस प्रकार प्रकट करते हैं कि जो E से दूर होने पर आइसोमोर्फिज्म को प्रेरित करती है, और E पर, फाइबर 'P' के साथ स्थानीय रूप से कंपन K - 1 को मुख्यतः प्रतिबंध स्वाभाविक रूप से X में Z के सामान्य समूह के प्रक्षेपण के रूप में देखा जाता है।

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

V को Z के अतिरिक्त X के कुछ सबमनीफोल्ड के रूप में प्रकट करते हैं। इस प्रकार यदि V Z से अलग हो जाता है, तो यह Z के साथ ब्लो होने से अनिवार्य रूप से अप्रभावित होता है। चूंकि, यदि यह Z को विचलित करता है, तो विस्फोट में V के दो अलग-अलग अनुरूप के समान होते हैं। यह उचित परिवर्तन को प्रदर्शित करता है, जो कि इस प्रकार विवृत है, इसका सामान्य समूह अंदर है, जो विशिष्ट रूप से X में V से भिन्न है। दूसरा 'कुल परिवर्तन' है, जिसमें कुछ या सभी E सम्मिलित हैं, यह अनिवार्य रूप से सह-समरूपता में V को पुलबैक करता हैं।

योजनाओं की त्रुटि के अनुसार ब्लो करना

इसकी सबसे बड़ी व्यापकता में ब्लो-अप का पीछा करने के लिए, X को योजना (गणित) के रूप में प्रकट करते हैं, और X पर आदर्शों का सुसंगत प्रारूप बना देते हैं। इस प्रकार X के संबंध में को योजना के रूप में प्रकट करते है। इसका प्रारूप इस प्रकार हैं-

इस प्रकार यह मान इस प्रकार है कि इस सार्वभौमिक संपत्ति की विशेषता को व्युत्क्रम शीफ के समान प्रकट करता ​हैं: इस प्रकार किसी भी संरचना के लिए f: Y → X ऐसा है कि मुख्य रूप से व्युत्क्रमणीय शीफ है, जो f अद्वितीय रूप से π के माध्यम से मुख्य कारक है।

इस प्रकार

यह मान इस प्रकार हैं कि इस तरह से ब्लो-अप का निर्माण किया जाता है। यहाँ प्रोज ग्रेडेड कम्यूटेटिव रिंग पर प्रोज निर्माण है।

असाधारण विभाजक

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

π असाधारण भाजक से दूर एक समरूपता है, किन्तु असाधारण भाजक को π के असाधारण स्थान में नहीं होना चाहिए। इस प्रकार E पर π तुल्याकारिता हो सकती है। उदाहरण के लिए, यह तुच्छ स्थिति में होता है जहाँ पहले से ही व्युत्क्रम प्रारूप है। विशेष रूप से ऐसी स्थितियों में रूपवाद π अपवादात्मक भाजक का निर्धारण नहीं करता है। इस प्रकार इसकी इस स्थिति में जहां असाधारण विभाजक की तुलना में असाधारण स्थान कठोरता से छोटे हो सकते है, जब X में विलक्षणताएं होती हैं। उदाहरण के लिए, X को एफ़ाइन कोन ओवर P1 × P1 होने देते हैं। इस कारण X को लुप्त स्थान के रूप में xwyz में A4 दिया जा सकता है। इसके आदर्श रूप में (x, y) और (x, z) को दो तलों को परिभाषित करने में सहायक माना जाता हैं, जिनमें से प्रत्येक X के शीर्ष से होकर गुजरता है। इस प्रकार शीर्ष से दूर ये तल X में हाइपरसर्फफेस हैं, इसलिए विस्फोट वहां पर समरूपता को प्रकट करता है। इन विमानों में से किसी विस्फोट का असाधारण स्थान इसलिए शंकु के शीर्ष पर केंद्रित है, और इसके परिणामस्वरूप यह असाधारण विभाजक से छोटा है।

आगे के उदाहरण

रैखिक उप-स्थानों का ब्लोअप

इसके अनुसार को n-आयामी प्रोजेक्टिव समतल के रूप में प्रकट किया जाता हैं। इस प्रकार किसी रैखिक उप-स्थान को ठीक करें {{mvar|L}कोडिमेंशन का } d संतुलन के विस्फोट का वर्णन करने के कई स्पष्ट विधियाँ हैं जिसमें साथ में L को लगता है कि निर्देशांक हैं। इन निर्देशांको के परिवर्तित होने के पश्चात हम यह मान सकते हैं कि मुख्य रूप से ब्लूप-अप को एम्बेड किया जा सकता है। इस प्रकार को हम के दूसरे कारक पर निर्देशांक के रूप में प्रकट करते हैं। क्योंकि इस प्रकार L मुख्य रूप से नियमित अनुक्रम द्वारा परिभाषित किया गया है, ब्लोअप आव्यूह के 2x2 तत्वो के विलुप्त होने से निर्धारित होती है

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

इस विस्फोट को घटना पत्राचार के रूप में एक सिंथेटिक विवरण भी दिया जा सकता है


जहाँ के ग्रासमैनियन को दर्शाता है -आयामी उप-स्थान . पिछले समन्वय के साथ संबंध देखने के लिए, देखें कि सभी का समूह जिसमें सम्मिलित है L एक प्रोजेक्टिव समतल के लिए आइसोमोर्फिक है . ऐसा इसलिए है क्योंकि प्रत्येक उपक्षेत्र M का रैखिक संयोजन L है और एक बिंदु Q अंदर नही L, और दो अंक Q और Q' वही M निर्धारित करें। इस स्थिति में उनके प्रक्षेपण के अनुसार एक ही छवि है जो से दूर L के समान हैं। इसलिए, ग्रासमानियन को इसकी एक प्रति जहाँ पर इसे प्रतिस्थापित किया जा सकता है , केवल एक उपसमष्टि है तथा M युक्त P का मान रैखिक संयोजन P और L के रूप में प्रकट होता हैं। इस प्रकार उपरोक्त निर्देशांक में, यह वह स्थिति है जहाँ शून्य सदिश नहीं है। इस प्रकार इस स्थिति से मेल खाती है शून्य वेक्टर होने के अनुसार कोई भी Q की अनुमति को स्वीकार करता है, अर्ताथ कोई भी M युक्त L संभव है।

घटता योजना के चौराहों को ब्लो करना-सैद्धांतिक रूप से

होने देना डिग्री के सामान्य सजातीय बहुपद बनाता हैं (जिसका अर्थ है कि उनकी संबद्ध प्रक्षेपी किस्में प्रतिच्छेदन बेज़ाउट के प्रमेय द्वारा अंकित करता हैं )। इस क्रम में यह स्कीम (गणित) की बीजगणितीय ज्यामिति की निम्नलिखित शब्दावली ब्लोइंग का मॉडल पर अंक देता है:

तंतुओं को देखने से पता चलता है कि यह सच क्यों है: यदि हम इस बिंदु को उपयोग करते हैं जिसमें पर पुनः पुलबैक आरेख इस प्रकार प्रकट होता हैं-
यह हमें बताता है कि जब भी फाइबर बिंदु होता या है और फाइबर यदि का रूप ले लेता है।

संबंधित निर्माण

Cn के विस्फोट के रूप में ऊपर वर्णित इन सम्मिश्र संख्याओं के उपयोग के बारे में कुछ भी आवश्यक नहीं था, इस ब्लो-अप को किसी भी क्षेत्र (गणित) पर उपयोग किया जा सकता है। उदाहरण के लिए, 'R2' का वास्तविक विस्फोट मोबियस पट्टी में मूल परिणाम पर तदानुसार दो-गोले S2 के परिणाम के अनुसार वास्तविक प्रक्षेपी तल के रूप में प्रकट होता हैं।

सामान्य शंकु की विकृति को ब्लो-अप विधि द्वारा प्रकट किया जाता है जिसका उपयोग बीजगणितीय ज्यामिति में कई परिणामों को सिद्ध करने के लिए किया जाता है। इस प्रकार यह योजना X और विवृत उप-योजना V को देखते हुए प्रकट होती हैं, जिसे इस प्रकार विस्फोट किया जाता है

इसके अनुसार-

उक्त समीकरण मुख्य कंपन है। जिसमें सामान्य फाइबर X के लिए स्वाभाविक रूप से आइसोमोर्फिक है, जबकि केंद्रीय फाइबर दो योजनाओं का मुख्य संघ है: इसमें V के साथ X का ब्लो-अप प्रकट होता हैं, और दूसरा V का सामान्य शंकु है, जिसके तंतुओं को प्रोजेक्टिव समतल में पूरा किया गया है।

सहानुभूति श्रेणी में ब्लो-अप भी किया जा सकता है, इसके संगत लगभग जटिल मैनिफोल्ड के साथ सहानुभूतिपूर्ण मैनिफोल्ड को समाप्त करके और जटिल ब्लो-अप के साथ आगे बढ़ाया जाता हैं। यह विशुद्ध रूप से सामयिक स्तर पर समझ में आता है; चूंकि, ब्लो-अप को इस सहानुभूतिपूर्ण क्रम के रूप से समाप्त करने के लिए कुछ सुरक्षा की आवश्यकता होती है, क्योंकि इस प्रकार कोई असाधारण विभाजक E में अपने तरीके से सहानुभूतिपूर्ण रूप का विस्तार नहीं कर सकता है। इस प्रकार किसी को E के समीप में सहानुभूतिपूर्ण रूप को परिवर्तन करना आवश्यक होता हैं, या ब्लो-अप को काटकर निष्पादित करना आवश्यक होता हैं। इस प्रकार Z का समीपस्थ और सीमा को अच्छी तरह से परिभाषित विधि से संजोया जाता हैं। यह सहानुभूतिपूर्ण काटने की औपचारिकता का उपयोग करके सबसे अच्छी तरह से समझा जाता है, जिसमें से सहानुभूतिपूर्ण विस्फोट की विशेष स्थिति उतपादित होती है। इसके सहानुभूतिपूर्ण कटौती , सिंपलेक्टिक मैनिफोल्ड के व्युत्क्रम प्रक्रिया के साथ स्मूथ डिवाइडर के साथ सामान्य शंकु के विरूपण का सिम्प्लेक्टिक n लॉग द्वारा प्रकट किया जाता है।

यह भी देखें

संदर्भ

  • Fulton, William (1998). Intersection Theory. Springer-Verlag. ISBN 0-387-98549-2.
  • Griffiths, Phillip; Harris, Joseph (1978). Principles of Algebraic Geometry. John Wiley & Sons. ISBN 0-471-32792-1.
  • Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9.
  • McDuff, Dusa; Salamon, Dietmar (1998). Introduction to Symplectic Topology. Oxford University Press. ISBN 0-19-850451-9.