ऊनविम पृष्ठ: 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>
''आयाम n'' के यूक्लिडियन स्थान में आयाम ''n'' − 1 के एक बीजगणितीय हाइपरसफेस को परिभाषित करता है । यह हाइपरसफेस भी एक [[चिकना कई गुना|चिकनी मैनिफोल्ड]] है, और इसे [[अति क्षेत्र|हाइपरस्फीयर]] या( ''एन'' -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}}==
== सजातीय बीजगणितीय ऊनविम पृष्ठ {{anchor|Algebraic hypersurface}}==


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


<math>p(x_1, \ldots, x_n)=0,</math>
<math>p(x_1, \ldots, x_n)=0,</math>


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


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


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


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


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


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


हाइपरसर्फफेस वास्तव में बीजगणितीय किस्म के आयाम {{math|''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}} ''पर'' परिभाषित किया गया है।
यदि परिभाषित बहुपद के गुणांक क्षेत्र {{mvar|k}} से संबंधित हैं जो बीजगणितीय रूप से बंद क्षेत्र नहीं है(आमतौर पर तर्कसंगत संख्याओं का क्षेत्र, [[परिमित क्षेत्र]] या [[संख्या क्षेत्र]]), तो ऊनविम पृष्ठ को {{mvar|k}} ''पर'' परिभाषित किया गया है।


उदाहरण के लिए, काल्पनिक 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}}==


एक क्षेत्र 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}} बहुपद की घात है।  हाइपरसफेस के ''बिंदु'' प्रोजेक्टिव स्पेस के बिंदु हैं जिनके प्रोजेक्टिव निर्देशांक पी शून्य हैं।
एक क्षेत्र 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> यह प्रोजेक्टिव हाइपरसफेस को परिभाषित करता <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}} की घात है.


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


हालांकि, ऐसा हो सकता है कि एक एफ़िन हाइपरसर्फफेस बीजगणितीय किस्म का एकवचन बिंदु है, जबकि इसकी प्रक्षेप्य पूर्णता में एकवचन बिंदु हैं। उदाहरण के लिए, समीकरण का गोलाकार बेलन
हालांकि, ऐसा हो सकता है कि एक एफ़िन ऊनविम पृष्ठ बीजगणितीय किस्म का एकवचन बिंदु है, जबकि इसकी प्रक्षेप्य पूर्णता में एकवचन बिंदु हैं। उदाहरण के लिए, समीकरण का गोलाकार बेलन
:<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}}.


== यह भी देखें ==
== यह भी देखें ==
* [[एफ़िन क्षेत्र]]
* [[एफ़िन क्षेत्र]]
* [[कोबल हाइपरसफेस]]
* [[कोबल हाइपरसफेस|कोबल ऊनविम पृष्ठ]]
* डीवर्क परिवार
* डीवर्क परिवार
* [[अशक्त हाइपरसफेस]]
* [[अशक्त हाइपरसफेस|अशक्त ऊनविम पृष्ठ]]
* [[ध्रुवीय हाइपरसफेस]]
* [[ध्रुवीय हाइपरसफेस|ध्रुवीय ऊनविम पृष्ठ]]
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}

Revision as of 11:41, 3 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.