निहित सतह

File:Torus-40-15.svg

निहित सतह टोरस (R = 40, a = 15).

Error creating thumbnail:

जीनस 2 की अंतर्निहित सतह।

File:Impl-flaeche-weinglas.svg

अंतर्निहित गैर-बीजीय सतह (शराब का गिलास)।

गणित में, एक निहित सतह एक समीकरण द्वारा परिभाषित यूक्लिडियन अंतरिक्ष में एक सतह है

$F(x,y,z)=0.$

एक निहित सतह तीन चर के एक फ़ंक्शन के शून्य का समूह है। निहित का अर्थ है कि समीकरण x या y या z के लिए हल नहीं किया गया है।

किसी फ़ंक्शन का ग्राफ़ प्रायः एक समीकरण $z=f(x,y)$ द्वारा वर्णित किया जाता है और इसे एक स्पष्ट निरूपण कहा जाता है। सतह का तीसरा आवश्यक विवरण पैरामीट्रिक है: $(x(s,t),y(s,t),z(s,t))$, जहां सतह बिंदुओं के x-, y- और z- निर्देशांक सामान्य पैरामीटर $s,t$ के आधार पर तीन फ़ंक्शन $x(s,t)\,,y(s,t)\,,z(s,t)$ द्वारा दर्शाए जाते हैं। प्रायः अभ्यावेदन का परिवर्तन केवल तभी सरल होता है जब स्पष्ट निरूपण $z=f(x,y)$ दिया जाता है: $z-f(x,y)=0$ (निहित ),$(s,t,f(s,t))$ (पैरामीट्रिक)।

उदाहरण:

1. समतल (ज्यामिति) $x+2y-3z+1=0.$
2. क्षेत्र (ज्यामिति) $x^{2}+y^{2}+z^{2}-4=0.$
3. द टोरस (गणित) $(x^{2}+y^{2}+z^{2}+R^{2}-a^{2})^{2}-4R^{2}(x^{2}+y^{2})=0.$
4. जीनस (गणित) की एक सतह 2: $2y(y^{2}-3x^{2})(1-z^{2})+(x^{2}+y^{2})^{2}-(9z^{2}-1)(1-z^{2})=0$ (रेखाचित्र देखें)।
5. क्रांति की सतह $x^{2}+y^{2}-(\ln(z+3.2))^{2}-0.02=0$ (वाइनग्लास रेखाचित्र देखें)।

समतल, गोले और टोरस के लिए सरल पैरामीट्रिक निरूपण मौजूद हैं। यह चौथे उदाहरण के लिए सही नहीं है।

अंतर्निहित कार्य प्रमेय (implicit function theorem) उन स्थितियों का वर्णन करता है जिसके तहत एक समीकरण$F(x,y,z)=0$ को x, y या z के लिए (कम से कम निहित रूप से) हल किया जा सकता है। लेकिन सामान्य तौर पर, समाधान स्पष्ट नहीं किया जा सकता है। यह प्रमेय एक सतह की आवश्यक ज्यामितीय विशेषताओं की गणना की कुंजी है: स्पर्शरेखा समतल, सतह सामान्य और वक्रता (नीचे देखें)। लेकिन उनमें एक आवश्यक कमी है: उनका विज़ुअलाइज़ेशन कठिन है।

यदि $F(x,y,z)$ x, y और z में बहुपद है, तो सतह को बीजगणितीय कहा जाता है। उदाहरण 5 गैर-बीजीय है।

विज़ुअलाइज़ेशन की कठिनाई के बावजूद, निहित सतहें सैद्धांतिक रूप से (जैसे स्टेनर सतह) और व्यावहारिक रूप से (नीचे देखें) दिलचस्प सतहों को उत्पन्न करने के लिए अपेक्षाकृत सरल तकनीक प्रदान करती हैं।

सूत्र

निम्नलिखित विचारों के दौरान, अन्तर्निहित सतह को एक समीकरण $F(x,y,z)=0$ द्वारा दर्शाया जाता है, जहाँ फ़ंक्शन $F$ अवकलनीयता की आवश्यक शर्तों को पूरा करता है।

$F$ के आंशिक अवकलज $F_{x},F_{y},F_{z},F_{xx},\ldots$ हैं

स्पर्शरेखा समतल (प्लेन) और सामान्य वेक्टर

एक सतह बिंदु $(x_{0},y_{0},z_{0})$ नियमित कहा जाता है अगर और केवल अगर की ढाल $F$ पर $(x_{0},y_{0},z_{0})$ शून्य सदिश नहीं है $(0,0,0)$, जिसका अर्थ है

$(F_{x}(x_{0},y_{0},z_{0}),F_{y}(x_{0},y_{0},z_{0}),F_{z}(x_{0},y_{0},z_{0}))\neq (0,0,0)$.

यदि सतह बिंदु $(x_{0},y_{0},z_{0})$ नियमित नहीं है, उसे 'एकवचन' कहते हैं।

एक नियमित बिंदु पर स्पर्शरेखा समतल का समीकरण $(x_{0},y_{0},z_{0})$ है

$F_{x}(x_{0},y_{0},z_{0})(x-x_{0})+F_{y}(x_{0},y_{0},z_{0})(y-y_{0})+F_{z}(x_{0},y_{0},z_{0})(z-z_{0})=0,$

और एक सामान्य वेक्टर है

$\mathbf {n} (x_{0},y_{0},z_{0})=(F_{x}(x_{0},y_{0},z_{0}),F_{y}(x_{0},y_{0},z_{0}),F_{z}(x_{0},y_{0},z_{0}))^{T}.$

सामान्य वक्रता

सूत्र को सरल रखने के लिए तर्क $(x_{0},y_{0},z_{0})$ छोड़े गए हैं:

$\kappa _{n}={\frac {\mathbf {v} ^{\top }H_{F}\mathbf {v} }{\|\operatorname {grad} F\|}}$

इकाई स्पर्शरेखा दिशा $\mathbf {v}$ के लिए एक नियमित बिंदु पर सतह की सामान्य वक्रता है। $H_{F}$, $F$ का हेसियन मैट्रिक्स है (दूसरा डेरिवेटिव का मैट्रिक्स)।

इस सूत्र का प्रमाण अंतर्निहित कार्य प्रमेय और एक पैरामीट्रिक सतह के सामान्य वक्रता के सूत्र पर निर्भर करता है (जैसा कि एक अंतर्निहित वक्र के मामले में)।

अंतर्निहित सतहों के अनुप्रयोग

निहित वक्रों के मामले में सरल आदिम पर बीजगणितीय संक्रियाओं (जोड़, गुणन) को लागू करके वांछित आकृतियों के साथ अंतर्निहित सतहों को उत्पन्न करना एक आसान काम है।

File:Epotfl-4ladung.svg

4 बिंदु आवेशों की समविभव सतह

बिन्दु आवेशों की समविभव सतह

बिंदु $\mathbf {p} _{i}=(x_{i},y_{i},z_{i})$ पर एक बिंदु आवेश $q_{i}$ की विद्युत क्षमता बिंदु $\mathbf {p} =(x,y,z)$ पर उत्पन्न होती है, संभावित (भौतिक स्थिरांक को छोड़कर)

$F_{i}(x,y,z)={\frac {q_{i}}{\|\mathbf {p} -\mathbf {p} _{i}\|}}.$

संभावित मान $c$ के लिए समविभव सतह अन्तर्निहित सतह $F_{i}(x,y,z)-c=0$ है जो बिंदु $\mathbf {p} _{i}$ पर केंद्र के साथ एक गोला है।

4 बिंदु आवेशों की क्षमता को$F(x,y,z)={\frac {q_{1}}{\|\mathbf {p} -\mathbf {p} _{1}\|}}+{\frac {q_{2}}{\|\mathbf {p} -\mathbf {p} _{2}\|}}+{\frac {q_{3}}{\|\mathbf {p} -\mathbf {p} _{3}\|}}+{\frac {q_{4}}{\|\mathbf {p} -\mathbf {p} _{4}\|}}$ द्वारा दर्शाया जाता है।

रेखाचित्र के लिए, चार आवेश 1 के बराबर हैं और बिंदुओं $(\pm 1,\pm 1,0)$ पर स्थित हैं। प्रदर्शित सतह समविभव सतह (अंतर्निहित सतह) $F(x,y,z)-2.8=0$ है।

लगातार दूरी उत्पाद सतह

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

रेखाचित्र में रूपांतरित ऊपरी बाएँ सतह इस नियम द्वारा उत्पन्न होती है: ${\begin{aligned}F(x,y,z)={}&{\Big (}{\sqrt {(x-1)^{2}+y^{2}+z^{2}}}\cdot {\sqrt {(x+1)^{2}+y^{2}+z^{2}}}\\&\qquad \cdot {\sqrt {x^{2}+(y-1)^{2}+z^{2}}}\cdot {\sqrt {x^{2}+(y+1)^{2}+z^{2}}}{\Big )}\end{aligned}}$ के साथ स्थिर दूरी उत्पाद सतह $F(x,y,z)-1.1=0$ प्रदर्शित होती है।

File:Metamorphose-torus-4ppfl.svg

दो अंतर्निहित सतहों के बीच कायापलट: एक टोरस और एक निरंतर दूरी उत्पाद सतह।

अन्तर्निहित सतहों का कायांतरण

नई अन्तर्निहित सतहों को उत्पन्न करने के लिए एक और सरल विधि को अन्तर्निहित सतहों का कायापलट कहा जाता है:

दो अंतर्निहित सतहों के लिए $F_{1}(x,y,z)=0,F_{2}(x,y,z)=0$ (रेखाचित्र में: एक निरंतर दूरी उत्पाद सतह और एक टोरस) डिजाइन पैरामीटर $\mu \in [0,1]$ का उपयोग करके नई सतहों को परिभाषित करता है:

$F(x,y,z)=\mu F_{1}(x,y,z)+(1-\mu )F_{2}(x,y,z)=0$

रेखाचित्र में डिज़ाइन पैरामीटर क्रमिक रूप से $\mu =0,\,0.33,\,0.66,\,1$है।

File:Approx-3tori.svg

तीन तोरी (समानांतर प्रक्षेपण) का अनुमान

File:Approx-3tori-pov.png

तीन टोरी के एक अनुमान की पीओवी-रे छवि (केंद्रीय प्रक्षेपण)।

कई अंतर्निहित सतहों का चिकना अनुमान

$\Pi$-सतहों का उपयोग $R^{3}$ में किसी भी चिकनी और बंधी हुई वस्तु का अनुमान लगाने के लिए किया जा सकता है, जिसकी सतह को सहायक बहुपदों के उत्पाद के रूप में एकल बहुपद द्वारा परिभाषित किया गया है। दूसरे शब्दों में, हम किसी भी चिकनी वस्तु को एक बीजगणितीय सतह के साथ डिज़ाइन कर सकते हैं। परिभाषित बहुपदों को $f_{i}\in \mathbb {R} [x_{1},\ldots ,x_{n}](i=1,\ldots ,k)$ के रूप में निरूपित करते हैं। फिर, अनुमानित वस्तु को बहुपद $F(x,y,z)=\prod _{i}f_{i}(x,y,z)-r$ द्वारा परिभाषित किया जाता है जहां $r\in \mathbb {R}$ सम्मिश्रण पैरामीटर के लिए खड़ा है जो अनुमानित त्रुटि को नियंत्रित करता है।

निहित वक्रों के साथ सहज सन्निकटन के अनुरूप, समीकरण

$F(x,y,z)=F_{1}(x,y,z)\cdot F_{2}(x,y,z)\cdot F_{3}(x,y,z)-r=0$

उपयुक्त मापदंडों के लिए प्रतिनिधित्व करता है $c$ समीकरणों के साथ तीन अन्तर्विभाजक तोरी का सहज सन्निकटन

${\begin{aligned}F_{1}=(x^{2}+y^{2}+z^{2}+R^{2}-a^{2})^{2}-4R^{2}(x^{2}+y^{2})=0,\\[3pt]F_{2}=(x^{2}+y^{2}+z^{2}+R^{2}-a^{2})^{2}-4R^{2}(x^{2}+z^{2})=0,\\[3pt]F_{3}=(x^{2}+y^{2}+z^{2}+R^{2}-a^{2})^{2}-4R^{2}(y^{2}+z^{2})=0.\end{aligned}}$

(रेखाचित्र में पैरामीटर हैं $R=1,\,a=0.2,\,r=0.01.$)

File:Metamorphose-kugel-6pfl.png

पीओवी-रे छवि: एक गोले और एक स्थिर दूरी उत्पाद सतह (6 अंक) के बीच रूपांतरित होती है।

अंतर्निहित सतहों का दृश्य

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

यह भी देखें

• निहित वक्र

अग्रिम पठन

• Gomes, A., Voiculescu, I., Jorge, J., Wyvill, B., Galbraith, C.: Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms, 2009, Springer-Verlag London, ISBN 978-1-84882-405-8
• Thorpe: Elementary Topics in Differential Geometry, Springer-Verlag, New York, 1979, ISBN 0-387-90357-7

बाहरी संबंध

• Sultanow: Implizite Flächen
• Hartmann: Geometry and Algorithms for COMPUTER AIDED DESIGN
• GEOMVIEW
• K3Dsurf: 3d surface generator
• SURF: Visualisierung algebraischer Flächen