ऊनविम पृष्ठ: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Manifold or algebraic variety of dimension n in a space of dimension n+1}}
{{Short description|Manifold or algebraic variety of dimension n in a space of dimension n+1}}
[[ज्यामिति]] में, हाइपरसफेस [[Index.php?title= हाइपरप्लेन|हाइपरप्लेन]], [[समतल वक्र]] और [[सतह (गणित)]] की अवधारणाओं का एक सामान्यीकरण है। एक हाइपरसफेस कई गुना या एक [[बीजगणितीय किस्म]] का आयाम है {{math|''n'' − 1}}, जो आयाम के परिवेश स्थान में सन्निहित है {{math|''n''}}, आम तौर पर एक [[यूक्लिडियन अंतरिक्ष]], एक सजातीय स्थान या एक प्रक्षेप्य स्थान।<ref>{{cite book |first=Jeffrey |last=Lee |title=कई गुना और विभेदक ज्यामिति|chapter=Curves and Hypersurfaces in Euclidean Space |location=Providence |publisher=American Mathematical Society |year=2009 |pages=143–188 |isbn=978-0-8218-4815-9 |chapter-url=https://books.google.com/books?id=QqHdHy9WsEoC&pg=PA143 }}</ref>
[[ज्यामिति]] में, ऊनविम पृष्ठ-[[Index.php?title= हाइपरप्लेन|हाइपरप्लेन]], [[समतल वक्र]] और [[सतह (गणित)|सतह(गणित)]] की अवधारणाओं का व्यापकीकरण है। ऊनविम पृष्ठ एक [[बीजगणितीय किस्म]] का आयाम({{math|''n'' − 1}}) है, जो आयाम {{math|''n''}} के परिवेश स्थान में सन्निहित है(सामान्यतः [[यूक्लिडियन अंतरिक्ष]], सजातीय स्थान या प्रक्षेप्य स्थान)।<ref>{{cite book |first=Jeffrey |last=Lee |title=कई गुना और विभेदक ज्यामिति|chapter=Curves and Hypersurfaces in Euclidean Space |location=Providence |publisher=American Mathematical Society |year=2009 |pages=143–188 |isbn=978-0-8218-4815-9 |chapter-url=https://books.google.com/books?id=QqHdHy9WsEoC&pg=PA143 }}</ref>, अंतरिक्ष में तीन-आयामी सतहों के साथ, कम से कम स्थानीय रूप से(हर बिंदु के पास), और कभी-कभी विश्व स्तर पर अंतर्[[निहित समीकरण]] द्वारा परिभाषित होने की संपत्ति, ऊनविम पृष्ठ साझा करते हैं।
हाइपरसर्फ्स साझा करते हैं, तीन-आयामी अंतरिक्ष में सतहों के साथ, कम से कम स्थानीय रूप से (हर बिंदु के पास), और कभी-कभी विश्व स्तर पर एक अंतर्[[निहित समीकरण]] द्वारा परिभाषित होने की संपत्ति।
 
आयाम दो के एक (यूक्लिडियन, एफाइन, या प्रोजेक्टिव) स्थान में एक हाइपरसफेस एक समतल वक्र है। आयाम तीन की जगह में, यह एक सतह है।


उदाहरण के लिए, समीकरण
उदाहरण के लिए, समीकरण
:<math>x_1^2+x_2^2+\cdots+x_n^2-1=0</math>
:<math>x_1^2+x_2^2+\cdots+x_n^2-1=0</math>
एक बीजगणितीय विविधता के आयाम के बीजगणितीय हाइपरसफेस को परिभाषित करता है {{math|''n'' − 1}} आयाम के यूक्लिडियन स्थान में {{math|''n''}}. यह हाइपरसफेस भी एक [[चिकना कई गुना]] है, और इसे [[अति क्षेत्र]] या एन-स्फीयर कहा जाता है{{math|(''n'' 1)}}-वृत्त।
''आयाम n'' के यूक्लिडियन स्थान में आयाम ''n'' − 1 के बीजगणितीय ऊनविम पृष्ठ को परिभाषित करता है। यह ऊनविम पृष्ठ भी एक [[चिकना कई गुना|समतलीय बहुविध]] है, और इसे [[अति क्षेत्र|हाइपरस्फीयर]] या( ''एन'' -1) -स्फीयर कहा जाता है ।


== चिकनी हाइपरसफेस ==
== निर्विघ्ऩ ऊनविम पृष्ठ ==


एक हाइपरसतह जो एक चिकनी कई गुना है, एक चिकनी हाइपरसफेस कहलाती है।
ऊनविम पृष्ठ जो समतलीय [[चिकना कई गुना|बहुविध]] है, समतलीय ऊनविम पृष्ठ कहलाती है।


में {{math|'''R'''<sup>''n''</sup>}}, एक चिकनी हाइपरसफेस [[उन्मुखता]] है।<ref>[[Hans Samelson]] (1969) [https://www.ams.org/journals/proc/1969-022-01/S0002-9939-1969-0245026-9/S0002-9939-1969-0245026-9.pdf "Orientability of hypersurfaces in '''R'''<sup>''n''</sup>]", ''[[Proceedings of the American Mathematical Society]]'' 22(1): 301,2 </ref> हर [[जुड़ा हुआ स्थान]] [[कॉम्पैक्ट जगह]] स्मूथ हाइपरसर्फेस एक [[लेवल सेट]] है, और R को अलग करता है<sup>n</sup> दो जुड़े हुए घटकों में; यह जॉर्डन वक्र प्रमेय#प्रमाण और सामान्यीकरण से संबंधित है|जॉर्डन-ब्रूवर पृथक्करण प्रमेय।<ref name="Lima">{{cite journal |first=Elon L. |last=Lima |title=चिकनी हाइपरसर्फ्स के लिए जॉर्डन-ब्रूवर पृथक्करण प्रमेय|journal=The American Mathematical Monthly |volume=95 |issue=1 |year=1988 |pages=39–42 |doi=10.1080/00029890.1988.11971963 }}</ref>
{{math|'''R'''<sup>''n''</sup>}} में, समतलीय बहुविध पृष्ठ [[उन्मुखता]] है।<ref>[[Hans Samelson]] (1969) [https://www.ams.org/journals/proc/1969-022-01/S0002-9939-1969-0245026-9/S0002-9939-1969-0245026-9.pdf "Orientability of hypersurfaces in '''R'''<sup>''n''</sup>]", ''[[Proceedings of the American Mathematical Society]]'' 22(1): 301,2 </ref> हर [[जुड़ा हुआ स्थान]] [[कॉम्पैक्ट जगह]] स्मूथ ऊनविम पृष्ठ [[लेवल सेट]] है, और R<sup>n</sup> को दो जुड़े हुए घटकों में अलग करता है; यह जॉर्डन-ब्रूवर पृथक्करण प्रमेय से संबंधित है।<ref name="Lima">{{cite journal |first=Elon L. |last=Lima |title=चिकनी हाइपरसर्फ्स के लिए जॉर्डन-ब्रूवर पृथक्करण प्रमेय|journal=The American Mathematical Monthly |volume=95 |issue=1 |year=1988 |pages=39–42 |doi=10.1080/00029890.1988.11971963 }}</ref>
== सजातीय बीजगणितीय ऊनविम पृष्ठ {{anchor|Algebraic hypersurface}}==


बीजगणितीय ऊनविम पृष्ठ एक बीजगणितीय विविधता है जिसे प्रपत्र के एकल अंतर्निहित समीकरण द्वारा परिभाषित किया जा सकता है


== Affine बीजगणितीय हाइपरसफेस {{anchor|Algebraic hypersurface}}==
<math>p(x_1, \ldots, x_n)=0,</math>


एक बीजगणितीय हाइपरसफेस एक बीजगणितीय विविधता है जिसे फॉर्म के एकल अंतर्निहित समीकरण द्वारा परिभाषित किया जा सकता है
जहाँ पे {{mvar|p}} [[बहुभिन्नरूपी बहुपद]] है। सामान्यतः बहुपद को [[अलघुकरणीय बहुपद]] माना जाता है। जब ऐसा नहीं होता है, तो ऊनविम पृष्ठ बीजगणितीय विविधता नहीं है, बल्कि केवल [[बीजगणितीय सेट]] है। यह लेखकों पर निर्भर है कि क्या कम करने योग्य बहुपद एक ऊनविम पृष्ठ को परिभाषित करता है। अस्पष्टता से बचने के लिए, अलघुकरणीय ऊनविम पृष्ठ शब्द का प्रयोग प्रायः किया जाता है।
:<math>p(x_1, \ldots, x_n)=0,</math>
कहाँ पे {{mvar|p}} एक [[बहुभिन्नरूपी बहुपद]] है। आम तौर पर बहुपद को [[अलघुकरणीय बहुपद]] माना जाता है। जब ऐसा नहीं होता है, तो हाइपरसफेस एक बीजगणितीय विविधता नहीं है, बल्कि केवल एक [[बीजगणितीय सेट]] है। यह लेखकों या संदर्भ पर निर्भर हो सकता है कि क्या एक कम करने योग्य बहुपद एक हाइपरसफेस को परिभाषित करता है। अस्पष्टता से बचने के लिए, अलघुकरणीय हाइपरसफेस शब्द का प्रयोग प्रायः किया जाता है।


बीजगणितीय किस्मों के लिए, परिभाषित बहुपद के गुणांक किसी निश्चित [[क्षेत्र (गणित)]] से संबंधित हो सकते हैं {{mvar|k}}, और हाइपरसफेस के बिंदु एक फ़ंक्शन के शून्य हैं {{mvar|p}} एफ़िन स्पेस में <math>K^n,</math> कहाँ पे {{mvar|K}} का एक [[बीजगणितीय रूप से बंद विस्तार]] है {{mvar|k}}.
बीजगणितीय किस्मों के लिए, परिभाषित बहुपद के गुणांक किसी निश्चित [[क्षेत्र (गणित)|क्षेत्र(गणित)]] {{mvar|k}} से संबंधित हो सकते हैं, और ऊनविम पृष्ठ के सजातीय बिंदु स्थान में p शून्य हैं। <math>K^n,</math> जहाँ पे {{mvar|K}} का [[बीजगणितीय रूप से बंद विस्तार|बीजगणितीय रूप से विस्तार]] है।


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


=== गुण ===
=== गुण ===
हाइपरसर्फ्स में कुछ विशिष्ट गुण होते हैं जो अन्य बीजगणितीय किस्मों के साथ साझा नहीं किए जाते हैं।
ऊनविम पृष्ठ में कुछ विशिष्ट गुण होते हैं जो अन्य बीजगणितीय किस्मों के साथ साझा नहीं किए जाते हैं।


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


इस प्रमेय का एक उपप्रमेय यह है कि, यदि दो अलघुकरणीय बहुपद (या अधिक आम तौर पर दो [[वर्ग मुक्त बहुपद]]) एक ही हाइपरसर्फ परिभाषित करते हैं, तो एक गैर-शून्य स्थिरांक द्वारा दूसरे का उत्पाद होता है।
इस प्रमेय का एक उपप्रमेय यह है कि, यदि दो अलघुकरणीय बहुपद(या सामान्यतः दो [[वर्ग मुक्त बहुपद]]) एक ही ऊनविम पृष्ठ परिभाषित करते हैं, तो गैर-शून्य स्थिरांक द्वारा दूसरे का उत्पाद होता है।


Hypersurfaces वास्तव में एक बीजगणितीय किस्म के आयाम की उप-किस्में हैं {{math|''n'' – 1}} के आयाम के एक सघन स्थान का {{mvar|n}}. यह इस तथ्य की ज्यामितीय व्याख्या है कि, एक क्षेत्र पर एक बहुपद अंगूठी में, आदर्श की ऊंचाई (रिंग सिद्धांत) 1 है और केवल अगर आदर्श एक [[प्रमुख आदर्श]] है। संभावित रूप से कम करने योग्य हाइपरसर्फ्स के मामले में, इस परिणाम को निम्नानुसार पुनर्कथित किया जा सकता है: हाइपरसर्फेस बिल्कुल बीजगणितीय सेट होते हैं जिनके सभी अलघुकरणीय घटकों का आयाम होता है {{math|''n'' – 1}}.
ऊनविम पृष्ठ वास्तव में बीजगणितीय किस्म के आयाम({{math|''n'' – 1}}) की उप-किस्में हैं। यह इस तथ्य की ज्यामितीय व्याख्या है कि, एक क्षेत्र पर बहुपद वृत्त में, आदर्श की ऊंचाई(वृत्त सिद्धांत) है और आदर्श एक [[प्रमुख आदर्श]] है। संभावित रूप से कम करने योग्य ऊनविम पृष्ठ के मामले में, इस परिणाम को निम्नानुसार पुनर्कथित किया जा सकता है: ऊनविम पृष्ठ बिल्कुल बीजगणितीय सेट होते हैं जिनके सभी अलघुकरणीय घटकों का {{math|''n'' – 1}}आयाम होता है।


=== वास्तविक और तर्कसंगत बिंदु ===
=== वास्तविक और तर्कसंगत बिंदु ===
एक वास्तविक हाइपरसफेस एक हाइपरसफेस है जिसे [[वास्तविक संख्या]] गुणांक वाले बहुपद द्वारा परिभाषित किया जाता है। इस मामले में बीजगणितीय रूप से बंद क्षेत्र जिस पर अंक परिभाषित होते हैं, वह आम तौर पर क्षेत्र होता है <math>\mathbb C</math> जटिल संख्याओं का। एक वास्तविक हाइपरसफेस के वास्तविक बिंदु वे बिंदु हैं जो संबंधित हैं <math>\mathbb R^n \subset \mathbb C^n.</math> वास्तविक हाइपरसफेस के वास्तविक बिंदुओं का सेट हाइपरसफेस का वास्तविक हिस्सा है। प्रायः , यह संदर्भ पर छोड़ दिया जाता है कि हाइपरसर्फ शब्द सभी बिंदुओं को संदर्भित करता है या केवल वास्तविक भाग को संदर्भित करता है।
वास्तविक ऊनविम पृष्ठ एक ऊनविम पृष्ठ है जिसे [[वास्तविक संख्या]] गुणांक वाले बहुपद द्वारा परिभाषित किया जाता है। इस मामले में बीजगणितीय रूप से बंद क्षेत्र जिस पर अंक परिभाषित होते हैं, वह सामान्यतः जटिल संख्याओं <math>\mathbb C</math> का क्षेत्र होता है। वास्तविक ऊनविम पृष्ठ के वास्तविक बिंदु वे बिंदु हैं जो <math>\mathbb R^n \subset \mathbb C^n</math> से संबंधित हैं। प्रायः, यह संदर्भ पर छोड़ दिया जाता है कि ऊनविम पृष्ठ शब्द सभी बिंदुओं को संदर्भित करता है या केवल वास्तविक भाग को संदर्भित करता है।


यदि परिभाषित बहुपद के गुणांक एक क्षेत्र से संबंधित हैं {{mvar|k}} वह बीजगणितीय रूप से बंद क्षेत्र नहीं है (आमतौर पर तर्कसंगत संख्याओं का क्षेत्र, [[परिमित क्षेत्र]] या [[संख्या क्षेत्र]]), एक कहता है कि हाइपरसफेस को परिभाषित किया गया है {{mvar|k}}, और बिंदु जो संबंधित हैं <math>k^n</math> अधिक तर्कसंगत हैं {{mvar|k}} (तर्कसंगत संख्याओं के क्षेत्र के मामले में, से अधिक {{mvar|k}}आम तौर पर छोड़ दिया जाता है)।
यदि परिभाषित बहुपद के गुणांक क्षेत्र {{mvar|k}} से संबंधित हैं जो बीजगणितीय रूप से बंद क्षेत्र नहीं है(आमतौर पर तर्कसंगत संख्याओं का क्षेत्र, [[परिमित क्षेत्र]] या [[संख्या क्षेत्र]]), तो ऊनविम पृष्ठ को {{mvar|k}} ''पर'' परिभाषित किया गया है।


उदाहरण के लिए, काल्पनिक एन-क्षेत्र |{{mvar|n}}-क्षेत्र समीकरण द्वारा परिभाषित
उदाहरण के लिए, काल्पनिक n-क्षेत्र समीकरण द्वारा परिभाषित
:<math>x_0^2 +\cdots+x_n^2 +1=0</math>
:<math>x_0^2 +\cdots+x_n^2 +1=0</math>
बिना किसी वास्तविक बिंदु के एक वास्तविक हाइपरसफेस है, जिसे परिमेय संख्याओं पर परिभाषित किया गया है। इसका कोई तर्कसंगत बिंदु नहीं है, लेकिन कई बिंदु हैं जो गॉसियन परिमेय पर तर्कसंगत हैं।
बिना किसी वास्तविक बिंदु के वास्तविक ऊनविम पृष्ठ है, जिसे परिमेय संख्याओं पर परिभाषित किया गया है। इसका कोई तर्कसंगत बिंदु नहीं है, लेकिन कई बिंदु हैं जो गॉसियन परिमेय पर तर्कसंगत हैं।


== प्रक्षेप्य बीजगणितीय हाइपरसफेस{{anchor|projective hypersurface}}==
== प्रक्षेप्य बीजगणितीय ऊनविम पृष्ठ{{anchor|projective hypersurface}}==


ए {{em|projective (algebraic) hypersurface}} आयाम का {{math|''n'' 1}} आयाम के एक प्रक्षेपी स्थान में {{mvar|n}} एक मैदान के ऊपर {{mvar|k}} एक [[सजातीय बहुपद]] द्वारा परिभाषित किया गया है <math>P(x_0, x_1, \ldots, x_n)</math> में {{math|''n'' + 1}} अनिश्चित। हमेशा की तरह, {{em|homogeneous polynomial}} का अर्थ है कि के सभी [[एकपद]]ी {{mvar|P}} एक ही डिग्री है, या, समकक्ष है <math>P(cx_0, cx_1, \ldots, cx_n)=c^dP(x_0, x_1, \ldots, x_n)</math> हर स्थिरांक के लिए {{mvar|c}}, कहाँ पे {{math|d}} बहुपद की डिग्री है। {{em|points}} }} हाइपरसफेस प्रोजेक्टिव स्पेस के बिंदु हैं जिनके प्रोजेक्टिव निर्देशांक शून्य हैं {{mvar|P}}.
एक क्षेत्र k पर आयाम n के प्रक्षेपी स्थान में आयाम ''n'' - 1 का एक ''प्रक्षेपी(बीजीय) ऊनविम पृष्ठ एक'' [[सजातीय बहुपद]] द्वारा परिभाषित किया गया है जो <math>P(x_0, x_1, \ldots, x_n)</math> {{math|''n'' + 1}} में अनिश्चित है। ''समांगी बहुपद का अर्थ है कि'' P के सभी [[एकपद]]ी की घात समान है या समतुल्य है <math>P(cx_0, cx_1, \ldots, cx_n)=c^dP(x_0, x_1, \ldots, x_n)</math> हर स्थिरांक {{mvar|c}} के लिए, जहाँ {{math|d}} बहुपद की घात है। ऊनविम पृष्ठ के ''बिंदु'' प्रोजेक्टिव स्पेस के बिंदु हैं जिनके प्रोजेक्टिव निर्देशांक पी शून्य हैं।


यदि कोई समीकरण के हाइपरप्लेन को चुनता है <math>x_0=0</math> अनंत पर हाइपरप्लेन के रूप में, इस हाइपरप्लेन का पूरक एक एफ़ाइन स्पेस है, और प्रोजेक्टिव हाइपरसफ़ेस के बिंदु जो इस एफ़िन स्पेस से संबंधित हैं, समीकरण का एक एफ़िन हाइपरसफ़ेस बनाते हैं <math>P(1, x_1, \ldots, x_n) = 0.</math> इसके विपरीत, समीकरण की एक सजातीय हाइपरसफेस दी गई है <math>p(x_1, \ldots, x_n)=0,</math> यह एक प्रोजेक्टिव हाइपरसफेस को परिभाषित करता है, जिसे इसका कहा जाता है {{em|projective completion}}, जिसका समीकरण सजातीय बहुपद #Homogenization द्वारा प्राप्त किया जाता है {{mvar|p}}. अर्थात्, प्रक्षेप्य पूर्णता का समीकरण है <math>P(x_0, x_1, \ldots, x_n) = 0,</math> साथ
यदि कोई समीकरण के हाइपरप्लेन को चुनता है <math>x_0=0</math> अनंत पर हाइपरप्लेन के रूप में, इस हाइपरप्लेन का पूरक एक एफ़ाइन स्पेस है, और प्रोजेक्टिव ऊनविम पृष्ठ के बिंदु जो इस एफ़िन स्पेस से संबंधित हैं, समीकरण का एफ़िन ऊनविम पृष्ठ बनाते हैं <math>P(1, x_1, \ldots, x_n) = 0.</math> इसके विपरीत, समीकरण की सजातीय ऊनविम पृष्ठ दी गई है <math>p(x_1, \ldots, x_n)=0,</math> यह प्रोजेक्टिव ऊनविम पृष्ठ को परिभाषित करता <math>P(x_0, x_1, \ldots, x_n) = 0,</math>  
:<math>P(x_0, x_1, \ldots, x_n) = x_0^dp(x_1/x_0, \ldots, x_n/x_0),</math> कहाँ पे {{mvar|d}} की उपाधि है {{mvar|P}}.
:<math>P(x_0, x_1, \ldots, x_n) = x_0^dp(x_1/x_0, \ldots, x_n/x_0),</math> जहां {{mvar|d}}, {{mvar|P}} की घात है.


ये दो प्रक्रियाएं प्रोजेक्टिव पूर्णता और एक एफ़िन सबस्पेस के लिए प्रतिबंध एक दूसरे के विपरीत हैं। इसलिए, एक affine hypersurface और इसके प्रक्षेपी पूर्णता में अनिवार्य रूप से समान गुण होते हैं, और प्रायः एक ही hypersurface के लिए दो दृष्टिकोणों के रूप में माना जाता है।
ये दो प्रक्रियाएं प्रोजेक्टिव पूर्णता और एफ़िन सबस्पेस एक दूसरे के विपरीत हैं। इसलिए, एफ़िन ऊनविम पृष्ठ और इसके प्रक्षेपी पूर्णता में अनिवार्य रूप से समान गुण होते हैं, और प्रायः एक ही ऊनविम पृष्ठ के लिए दो दृष्टिकोणों के रूप में माना जाता है।


हालांकि, ऐसा हो सकता है कि एक affine hypersurface एक बीजगणितीय किस्म का एकवचन बिंदु है, जबकि इसकी प्रक्षेप्य पूर्णता में एकवचन बिंदु हैं। इस मामले में, एक का कहना है कि affine सतह है {{em|singular at infinity}}. उदाहरण के लिए, समीकरण का गोलाकार बेलन
हालांकि, ऐसा हो सकता है कि एक एफ़िन ऊनविम पृष्ठ बीजगणितीय किस्म का एकवचन बिंदु है, जबकि इसकी प्रक्षेप्य पूर्णता में एकवचन बिंदु हैं। उदाहरण के लिए, समीकरण का गोलाकार बेलन
:<math>x^2+y^2-1=0</math> आयाम तीन के संबंध स्थान में एक अनूठा विलक्षण बिंदु है, जो दिशा में अनंत पर है {{math|1=''x'' = 0, ''y'' = 0}}.
:<math>x^2+y^2-1=0</math> आयाम तीन के संबंध स्थान में एक अनूठा विलक्षण बिंदु है, जो दिशा में अनंत पर है {{math|1=''x'' = 0, ''y'' = 0}}.


== यह भी देखें ==
== यह भी देखें ==
* [[एफ़िन क्षेत्र]]
* [[एफ़िन क्षेत्र]]
* [[कोबल हाइपरसफेस]]
* [[कोबल हाइपरसफेस|कोबल ऊनविम पृष्ठ]]
* डवर्क परिवार
* डीवर्क परिवार
* [[अशक्त हाइपरसफेस]]
* [[अशक्त हाइपरसफेस|अशक्त ऊनविम पृष्ठ]]
* [[ध्रुवीय हाइपरसफेस]]
* [[ध्रुवीय हाइपरसफेस|ध्रुवीय ऊनविम पृष्ठ]]
 
 
==इस पेज में लापता आंतरिक लिंक की सूची==
 
*विविध
*affine अंतरिक्ष
*प्रक्षेपण स्थान
*त्रि-आयामी स्थान
*एक बीजगणितीय विविधता का आयाम
*एक समारोह का शून्य
*एक बीजगणितीय किस्म का एकवचन बिंदु
*आदर्श (अंगूठी सिद्धांत)
*ऊंचाई (अंगूठी सिद्धांत)
*परिमेय संख्या
*बीजीय रूप से बंद क्षेत्र
*गॉसियन तर्कसंगत
*प्रक्षेपी निर्देशांक
*हाइपरप्लेन अनंत पर
*गोलाकार सिलेंडर
*डीवर्क परिवार
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
*{{Springer|id=H/h048520|title=Hypersurface}}
*{{Springer|id=H/h048520|title=Hypersurface}}
* [[Shoshichi Kobayashi]] and [[Katsumi Nomizu]] (1969), [[Foundations of Differential Geometry]] Vol II, [[Wiley Interscience]]
* [[Shoshichi Kobayashi]] and [[Katsumi Nomizu]](1969), [[Foundations of Differential Geometry]] Vol II, [[Wiley Interscience]]
* P.A. Simionescu & D. Beal (2004) [https://dx.doi.org/10.1007/s00371-004-0260-4 Visualization of hypersurfaces and multivariable (objective) functions by partial globalization], ''The Visual Computer'' 20(10):665&ndash;81.
* P.A. Simionescu & D. Beal(2004) [[doi:10.1007/s00371-004-0260-4|Visualization of hypersurfaces and multivariable(objective) functions by partial globalization]], ''The Visual Computer'' 20(10):665&ndash;81.


{{Dimension topics}}
{{Dimension topics}}
[[Category:Articles with short description]]
[[Category:Collapse templates]]
[[Category:Created On 24/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:बहु-आयामी ज्यामिति]]
[[Category:बीजगणितीय ज्यामिति]]
[[Category:बीजगणितीय ज्यामिति]]
[[Category: बहु-आयामी ज्यामिति]]
[[Category:सतह]]
[[Category:सतह]]
[[Category: Machine Translated Page]]
[[Category:Created On 24/11/2022]]

Latest revision as of 10:06, 7 December 2022

ज्यामिति में, ऊनविम पृष्ठ-हाइपरप्लेन, समतल वक्र और सतह(गणित) की अवधारणाओं का व्यापकीकरण है। ऊनविम पृष्ठ एक बीजगणितीय किस्म का आयाम(n − 1) है, जो आयाम n के परिवेश स्थान में सन्निहित है(सामान्यतः यूक्लिडियन अंतरिक्ष, सजातीय स्थान या प्रक्षेप्य स्थान)।[1], अंतरिक्ष में तीन-आयामी सतहों के साथ, कम से कम स्थानीय रूप से(हर बिंदु के पास), और कभी-कभी विश्व स्तर पर अंतर्निहित समीकरण द्वारा परिभाषित होने की संपत्ति, ऊनविम पृष्ठ साझा करते हैं।

उदाहरण के लिए, समीकरण

आयाम n के यूक्लिडियन स्थान में आयाम n − 1 के बीजगणितीय ऊनविम पृष्ठ को परिभाषित करता है। यह ऊनविम पृष्ठ भी एक समतलीय बहुविध है, और इसे हाइपरस्फीयर या( एन -1) -स्फीयर कहा जाता है ।

निर्विघ्ऩ ऊनविम पृष्ठ

ऊनविम पृष्ठ जो समतलीय बहुविध है, समतलीय ऊनविम पृष्ठ कहलाती है।

Rn में, समतलीय बहुविध पृष्ठ उन्मुखता है।[2] हर जुड़ा हुआ स्थान कॉम्पैक्ट जगह स्मूथ ऊनविम पृष्ठ लेवल सेट है, और Rn को दो जुड़े हुए घटकों में अलग करता है; यह जॉर्डन-ब्रूवर पृथक्करण प्रमेय से संबंधित है।[3]

सजातीय बीजगणितीय ऊनविम पृष्ठ

बीजगणितीय ऊनविम पृष्ठ एक बीजगणितीय विविधता है जिसे प्रपत्र के एकल अंतर्निहित समीकरण द्वारा परिभाषित किया जा सकता है

जहाँ पे p बहुभिन्नरूपी बहुपद है। सामान्यतः बहुपद को अलघुकरणीय बहुपद माना जाता है। जब ऐसा नहीं होता है, तो ऊनविम पृष्ठ बीजगणितीय विविधता नहीं है, बल्कि केवल बीजगणितीय सेट है। यह लेखकों पर निर्भर है कि क्या कम करने योग्य बहुपद एक ऊनविम पृष्ठ को परिभाषित करता है। अस्पष्टता से बचने के लिए, अलघुकरणीय ऊनविम पृष्ठ शब्द का प्रयोग प्रायः किया जाता है।

बीजगणितीय किस्मों के लिए, परिभाषित बहुपद के गुणांक किसी निश्चित क्षेत्र(गणित) k से संबंधित हो सकते हैं, और ऊनविम पृष्ठ के सजातीय बिंदु स्थान में p शून्य हैं। जहाँ पे K का बीजगणितीय रूप से विस्तार है।

ऊनविम पृष्ठ में बीजगणितीय विविधता का एकवचन बिंदु हो सकता है, जो परिभाषित बहुपद और इसके आंशिक साधित के सामान्य शून्य हैं। विशेष रूप से, वास्तविक बीजगणितीय ऊनविम पृष्ठ आवश्यक रूप से विविध नहीं है।

गुण

ऊनविम पृष्ठ में कुछ विशिष्ट गुण होते हैं जो अन्य बीजगणितीय किस्मों के साथ साझा नहीं किए जाते हैं।

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

इस प्रमेय का एक उपप्रमेय यह है कि, यदि दो अलघुकरणीय बहुपद(या सामान्यतः दो वर्ग मुक्त बहुपद) एक ही ऊनविम पृष्ठ परिभाषित करते हैं, तो गैर-शून्य स्थिरांक द्वारा दूसरे का उत्पाद होता है।

ऊनविम पृष्ठ वास्तव में बीजगणितीय किस्म के आयाम(n – 1) की उप-किस्में हैं। यह इस तथ्य की ज्यामितीय व्याख्या है कि, एक क्षेत्र पर बहुपद वृत्त में, आदर्श की ऊंचाई(वृत्त सिद्धांत) है और आदर्श एक प्रमुख आदर्श है। संभावित रूप से कम करने योग्य ऊनविम पृष्ठ के मामले में, इस परिणाम को निम्नानुसार पुनर्कथित किया जा सकता है: ऊनविम पृष्ठ बिल्कुल बीजगणितीय सेट होते हैं जिनके सभी अलघुकरणीय घटकों का n – 1आयाम होता है।

वास्तविक और तर्कसंगत बिंदु

वास्तविक ऊनविम पृष्ठ एक ऊनविम पृष्ठ है जिसे वास्तविक संख्या गुणांक वाले बहुपद द्वारा परिभाषित किया जाता है। इस मामले में बीजगणितीय रूप से बंद क्षेत्र जिस पर अंक परिभाषित होते हैं, वह सामान्यतः जटिल संख्याओं का क्षेत्र होता है। वास्तविक ऊनविम पृष्ठ के वास्तविक बिंदु वे बिंदु हैं जो से संबंधित हैं। प्रायः, यह संदर्भ पर छोड़ दिया जाता है कि ऊनविम पृष्ठ शब्द सभी बिंदुओं को संदर्भित करता है या केवल वास्तविक भाग को संदर्भित करता है।

यदि परिभाषित बहुपद के गुणांक क्षेत्र k से संबंधित हैं जो बीजगणितीय रूप से बंद क्षेत्र नहीं है(आमतौर पर तर्कसंगत संख्याओं का क्षेत्र, परिमित क्षेत्र या संख्या क्षेत्र), तो ऊनविम पृष्ठ को k पर परिभाषित किया गया है।

उदाहरण के लिए, काल्पनिक n-क्षेत्र समीकरण द्वारा परिभाषित

बिना किसी वास्तविक बिंदु के वास्तविक ऊनविम पृष्ठ है, जिसे परिमेय संख्याओं पर परिभाषित किया गया है। इसका कोई तर्कसंगत बिंदु नहीं है, लेकिन कई बिंदु हैं जो गॉसियन परिमेय पर तर्कसंगत हैं।

प्रक्षेप्य बीजगणितीय ऊनविम पृष्ठ

एक क्षेत्र k पर आयाम n के प्रक्षेपी स्थान में आयाम n - 1 का एक प्रक्षेपी(बीजीय) ऊनविम पृष्ठ एक सजातीय बहुपद द्वारा परिभाषित किया गया है जो n + 1 में अनिश्चित है। समांगी बहुपद का अर्थ है कि P के सभी एकपदी की घात समान है या समतुल्य है हर स्थिरांक c के लिए, जहाँ d बहुपद की घात है। ऊनविम पृष्ठ के बिंदु प्रोजेक्टिव स्पेस के बिंदु हैं जिनके प्रोजेक्टिव निर्देशांक पी शून्य हैं।

यदि कोई समीकरण के हाइपरप्लेन को चुनता है अनंत पर हाइपरप्लेन के रूप में, इस हाइपरप्लेन का पूरक एक एफ़ाइन स्पेस है, और प्रोजेक्टिव ऊनविम पृष्ठ के बिंदु जो इस एफ़िन स्पेस से संबंधित हैं, समीकरण का एफ़िन ऊनविम पृष्ठ बनाते हैं इसके विपरीत, समीकरण की सजातीय ऊनविम पृष्ठ दी गई है यह प्रोजेक्टिव ऊनविम पृष्ठ को परिभाषित करता

जहां d, P की घात है.

ये दो प्रक्रियाएं प्रोजेक्टिव पूर्णता और एफ़िन सबस्पेस एक दूसरे के विपरीत हैं। इसलिए, एफ़िन ऊनविम पृष्ठ और इसके प्रक्षेपी पूर्णता में अनिवार्य रूप से समान गुण होते हैं, और प्रायः एक ही ऊनविम पृष्ठ के लिए दो दृष्टिकोणों के रूप में माना जाता है।

हालांकि, ऐसा हो सकता है कि एक एफ़िन ऊनविम पृष्ठ बीजगणितीय किस्म का एकवचन बिंदु है, जबकि इसकी प्रक्षेप्य पूर्णता में एकवचन बिंदु हैं। उदाहरण के लिए, समीकरण का गोलाकार बेलन

आयाम तीन के संबंध स्थान में एक अनूठा विलक्षण बिंदु है, जो दिशा में अनंत पर है x = 0, y = 0.

यह भी देखें

संदर्भ

  1. Lee, Jeffrey (2009). "Curves and Hypersurfaces in Euclidean Space". कई गुना और विभेदक ज्यामिति. Providence: American Mathematical Society. pp. 143–188. ISBN 978-0-8218-4815-9.
  2. Hans Samelson (1969) "Orientability of hypersurfaces in Rn", Proceedings of the American Mathematical Society 22(1): 301,2
  3. Lima, Elon L. (1988). "चिकनी हाइपरसर्फ्स के लिए जॉर्डन-ब्रूवर पृथक्करण प्रमेय". The American Mathematical Monthly. 95 (1): 39–42. doi:10.1080/00029890.1988.11971963.