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

From Vigyanwiki
No edit summary
No edit summary
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}}.


Line 59: Line 56:
* [[एफ़िन क्षेत्र]]
* [[एफ़िन क्षेत्र]]
* [[कोबल हाइपरसफेस]]
* [[कोबल हाइपरसफेस]]
* डवर्क परिवार
* डीवर्क परिवार
* [[अशक्त हाइपरसफेस]]
* [[अशक्त हाइपरसफेस]]
* [[ध्रुवीय हाइपरसफेस]]
* [[ध्रुवीय हाइपरसफेस]]
==इस पेज में लापता आंतरिक लिंक की सूची==
==इस पेज में लापता आंतरिक लिंक की सूची==


*विविध
*विविध
*affine अंतरिक्ष
*एफ़िन अंतरिक्ष
*प्रक्षेपण स्थान
*प्रक्षेपण स्थान
*त्रि-आयामी स्थान
*त्रि-आयामी स्थान
*एक बीजगणितीय विविधता का आयाम
*बीजगणितीय विविधता का आयाम
*एक समारोह का शून्य
*एक समारोह का शून्य
*एक बीजगणितीय किस्म का एकवचन बिंदु
*बीजगणितीय किस्म का एकवचन बिंदु
*आदर्श (अंगूठी सिद्धांत)
*आदर्श (अंगूठी सिद्धांत)
*ऊंचाई (अंगूठी सिद्धांत)
*ऊंचाई (अंगूठी सिद्धांत)

Revision as of 19:39, 1 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.