प्यूसेक्स श्रृंखला: Difference between revisions

Latest revision as of 09:21, 16 April 2023

Truncated Puiseux expansions for the cubic curve y^2 = x^3 + x^2

क्यूबिक कर्व के लिए ट्रंकेटेड प्यूसेक्स एक्सपेंशन

y^{2}=x^{3}+x^{2}

दोहरे बिंदु पर

x=y=0

. गहरे रंग अधिक शब्दों का संकेत देते हैं।

गणित में प्यूसेक्स श्रृंखला पावर श्रृंखला का एक सामान्यीकरण है। जो अनिश्चित (चर) के श्रणात्मक और आंशिक घातांक के लिए अनुमति देता है। उदाहरण के लिए श्रृंखला

{\begin{aligned}x^{-2}&+2x^{-1/2}+x^{1/3}+2x^{11/6}+x^{8/3}+x^{5}+\cdots \\&=x^{-12/6}+2x^{-3/6}+x^{2/6}+2x^{11/6}+x^{16/6}+x^{30/6}+\cdots \end{aligned}}

अनिश्चित $x$ में एक प्यूसेक्स श्रृंखला है। 1676 में आइजैक न्यूटन द्वारा पहली बार प्यूसेक्स श्रृंखला प्रारम्भ की गई थी^[1] और 1850 में विक्टर प्यूसेक्स द्वारा फिर से खोजा गया।^[2] प्यूसेक्स श्रृंखला की परिभाषा में सम्मिलित है कि घातांकों के हर को परिबद्ध होना चाहिए। इसलिए घातांकों को एक उभयनिष्ठ भाजक $n$ में घटाकर प्यूसेक्स श्रृंखला nवें मूल में लॉरेंट श्रृंखला बन जाती है। उदाहरण के लिए ऊपर दिया गया उदाहरण एक लॉरेंट श्रृंखला $x^{1/6}.$ है क्योंकि $n$ जटिल संख्या है और $n$ वीं रूट्स अभिसरण श्रृंखला प्यूसेक्स श्रृंखला सामान्यतः परिभाषित करती है और $n$ के निकटतम (गणित) में $0$ कार्य करता है।

प्यूसेक्स की प्रमेय, जिसे कभी-कभी न्यूटन-प्यूसेक्स प्रमेय भी कहा जाता है, यह प्रमाणित करती है कि बहुपद समीकरण दिए जाने पर $P(x,y)=0$ जटिल गुणांक के साथ इसके समाधान में $y$ के कार्यों के रूप में देखा गया $x$ में प्यूसेक्स श्रृंखला $x$ के रूप में विस्तारित किया जा सकता है। जो कि कुछ निकटतम (गणित) अभिसरण श्रृंखला $0$ हैं। दूसरे शब्दों में एक बीजगणितीय वक्र की प्रत्येक शाखा को स्थानीय रूप से प्यूसेक्स श्रृंखला $x$ द्वारा वर्णित किया जा सकता है। (या में $x - x 0$ के निकटतम के ऊपर शाखाओं पर विचार करते समय $x 0 \neq 0$ )।

आधुनिक शब्दावली का प्रयोग करते हुए प्यूसेक्स के प्रमेय का दावा है कि विशेषता 0 के एक बीजगणितीय रूप से बंद क्षेत्र पर प्यूसेक्स श्रृंखला का समूह स्वयं बीजगणितीय रूप से बंद क्षेत्र है। जिसे प्यूसेक्स श्रृंखला का क्षेत्र कहा जाता है। यह औपचारिक पावर श्रृंखला औपचारिक लॉरेंट श्रृंखला का बीजगणितीय समापन है। जो स्वयं औपचारिक पावर श्रृंखला की रिंग्स के अंशों का क्षेत्र है।

परिभाषा

यदि $K$ एक क्षेत्र (गणित) है (जैसे कि सम्मिश्र संख्या)। प्यूसेक्स श्रृंखला जिसमें गुणांक हैं, $K$ रूप की अभिव्यक्ति है-

f=\sum _{k=k_{0}}^{+\infty }c_{k}T^{k/n}

जहाँ $n$ एक धनात्मक पूर्णांक है और $k_{0}$ एक पूर्णांक है। दूसरे शब्दों में प्यूसेक्स श्रृंखला लॉरेंट श्रृंखला से भिन्न होती है। जिसमें वे अनिश्चित के भिन्नात्मक घातांकों की अनुमति देते हैं। जब तक कि इन भिन्नात्मक घातांकों में परिबद्ध हर (यहाँ n) है। लॉरेंट श्रृंखला की प्रकार ही प्यूसेक्स श्रृंखला अनिश्चित के ऋणात्मक घातांकों की अनुमति देती है। जब तक कि ये ऋणात्मक घातांक नीचे परिबद्ध हैं (यहाँ द्वारा $k_{0}$ )। जोड़ और गुणा अपेक्षित हैं। उदाहरण के लिए-

(T^{-1}+2T^{-1/2}+T^{1/3}+\cdots )+(T^{-5/4}-T^{-1/2}+2+\cdots )=T^{-5/4}+T^{-1}+T^{-1/2}+2+\cdots

और

(T^{-1}+2T^{-1/2}+T^{1/3}+\cdots )\cdot (T^{-5/4}-T^{-1/2}+2+\cdots )=T^{-9/4}+2T^{-7/4}-T^{-3/2}+T^{-11/12}+4T^{-1/2}+\cdots .

घातांकों के हर को पहले कुछ सामान्य भाजक में उन्नत करके उन्हें परिभाषित किया जा सकता है और उसके बाद की औपचारिक लौरेंट श्रृंखला के इसी क्षेत्र में आपरेशन प्रदर्शन $T^{1/N}$ में गुणांक के साथ प्यूसेक्स श्रृंखला $K$ एक क्षेत्र बनाते हैं। जो संघ है-

\bigcup _{n>0}K(\!(T^{1/n})\!)

औपचारिक लॉरेंट श्रृंखला के क्षेत्रों में $T^{1/n}$ अनिश्चित के रूप में माना जाता है।

यह प्रत्यक्ष सीमा के संदर्भ में प्यूसेक्स श्रृंखला के क्षेत्र की वैकल्पिक परिभाषा देता है। प्रत्येक धनात्मक पूर्णांक $n$ के लिए $T_{n}$ होने देना एक अनिश्चित हो (प्रतिनिधित्व करने के लिए अर्थात् ${\textstyle T^{1/n}}$ ) और $K(\!(T_{n})\!)$ में औपचारिक लॉरेंट श्रृंखला $T_{n}.$ का क्षेत्र हो। यदि $m$ , $n$ को विभाजित करता है और मैपिंग $T_{m}\mapsto (T_{n})^{n/m}$ एक क्षेत्र $K(\!(T_{m})\!)\to K(\!(T_{n})\!),$ समरूपता को प्रेरित करता है और ये समरूपताएं प्रत्यक्ष प्रणाली बनाती हैं। जिसमें प्रत्यक्ष सीमा के रूप में प्यूसेक्स श्रृंखला का क्षेत्र होता है। यह प्रमाण है कि प्रत्येक क्षेत्र समरूपता अंतःक्षेपी है। यह प्रदर्शित करता है कि इस सीधी सीमा को उपरोक्त संघ के साथ पहचाना जा सकता है और यह कि दो परिभाषाएँ समतुल्य हैं (एक समरूपता तक)।

मूल्यांकन

एक गैर-शून्य प्यूसेक्स श्रृंखला $f$ को विशिष्ट रूप से लिखा जा सकता है-

f=\sum _{k=k_{0}}^{+\infty }c_{k}T^{k/n}

साथ $c_{k_{0}}\neq 0.$ मूल्यांकन-

v(f)={\frac {k_{0}}{n}}

का $f$ परिमेय संख्याओं के प्राकृतिक क्रम और संबंधित गुणांक को प्रारंभिक गुणांक या मूल्यांकन गुणांक f कहा जाता है। शून्य श्रृंखला का मूल्यांकन $+\infty .$ है।

फलन $v$ मूल्यांकन (बीजगणित) है और योगात्मक समूह के साथ प्यूसेक्स श्रृंखला को इसके मूल्यांकन समूह के रूप में परिमेय संख्याओं का महत्वपूर्ण क्षेत्र $\mathbb {Q}$ बनाता है।

प्रत्येक वैल्यूड फ़ील्ड के लिए मूल्यांकन सूत्र द्वारा अल्ट्रामेट्रिक स्पेस $d(f,g)=\exp(-v(f-g)).$ को परिभाषित करता है। इस दूरी के लिए प्यूसेक्स श्रृंखला का क्षेत्र मीट्रिक स्थान है। जिसका अंकन-

f=\sum _{k=k_{0}}^{+\infty }c_{k}T^{k/n}

अभिव्यक्त करता है कि प्यूसेक्स अपने आंशिक योगों की सीमा है। चूंकि प्यूसेक्स श्रृंखला का क्षेत्र पूर्ण मीट्रिक स्थान नहीं है। नीचे देखें § लेवी-सिविता क्षेत्र.

अभिसरण प्यूसेक्स श्रृंखला

न्यूटन-प्यूसेक्स प्रमेय न्यूटन-प्यूसेक्स द्वारा प्रदान की गई। प्यूसेक्स श्रृंखला अभिसरण श्रृंखला इस अर्थ में है कि शून्य का निकटतं है। जिसमें वे अभिसारी हैं। इसमें 0 को बाहर रखा गया है। यदि मूल्यांकन धनात्मक है।

अधिक स्पष्ट है-

f=\sum _{k=k_{0}}^{+\infty }c_{k}T^{k/n}

सम्मिश्र संख्या गुणांकों वाली प्यूसेक्स श्रृंखला हो। r एक वास्तविक संख्या है। जिसे अभिसरण की त्रिज्या कहा जाता है। जैसे कि श्रृंखला अभिसरण करती है। $T$ को अशून्य सम्मिश्र संख्या $t$ के लिए प्रतिस्थापित किया जाता है। निरपेक्ष मान $r$ से कम और $r$ इस गुण के साथ सबसे बड़ी संख्या है। एक प्यूसेक्स श्रृंखला अभिसरण है। यदि इसमें अभिसरण का शून्येतर त्रिज्या है।

क्योंकि $n$ एक अशून्य सम्मिश्र संख्या होती है। प्रतिस्थापन के लिए कुछ सावधानी चाहिए। T की एक विशिष्ट n वीं रूट, x कहते हैं, चुना जाना चाहिए। फिर प्रतिस्थापन में $T^{k/n}$ द्वारा $x^{k}$ प्रतिस्थापन प्रत्येक के लिए $k$ होता है।

अभिसरण की त्रिज्या का अस्तित्व पावर श्रृंखला के समान अस्तित्व से उत्पन्न होता है। जिस पर f निर्धारित होता है। जिसे एक पावर श्रृंखला के रूप में माना जाता है।

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

गुणांकों पर मूल्यांकन और क्रम

यदि आधार क्षेत्र $K$ आदेश दिया गया क्षेत्र है। फिर प्यूसेक्स श्रृंखला का क्षेत्र नष्ट हो गया है। $K$ भी स्वाभाविक रूप से ("शब्दकोशीय क्रम") निम्नानुसार आदेश दिया गया है। गैर-शून्य प्यूसेक्स श्रृंखला $f$ 0 के साथ धनात्मक घोषित किया जाता है। जब भी इसका मूल्यांकन गुणांक ऐसा होता है। अनिवार्य रूप से इसका अर्थ है कि अनिश्चित की कोई धनात्मक तर्कसंगत पावर $T$ धनात्मक बनाया जाता है। किन्तु आधार क्षेत्र $K$ में किसी भी धनात्मक तत्व से छोटा होता है।

यदि आधार क्षेत्र $K$ मूल्यांकन $w$ से संपन्न है। जिससे हम प्यूसेक्स श्रृंखला के क्षेत्र पर अलग मूल्यांकन $K$ का निर्माण कर सकते हैं। ${\hat {w}}(f)$ मूल्यांकन देकर $\omega \cdot v+w(c_{k}),$ होना। जहाँ $v=k/n$ पहले परिभाषित मूल्यांकन है ( $c_{k}$ पहला गैर-शून्य गुणांक है) और $\omega$ अधिक रूप से बड़ा है (दूसरे शब्दों में ${\hat {w}}$ का मान $\mathbb {Q} \times \Gamma$ समूह है। शाब्दिक रूप से आदेश दिया जहां $\Gamma$ का मान $w$ समूह है।) अनिवार्य रूप से इसका अर्थ यह है कि पहले परिभाषित मूल्यांकन $v$ मूल्यांकन को ध्यान में रखने के लिए अतिसूक्ष्म राशि द्वारा $w$ आधार क्षेत्र पर दिया गया है।

न्यूटन-प्यूसेक्स प्रमेय

1671 की प्रारम्भ में^[3] आइज़ैक न्यूटन ने स्पष्ट रूप से प्यूसेक्स श्रृंखला का उपयोग किया और श्रृंखला (गणित) के साथ अनुमान लगाने के लिए निम्नलिखित प्रमेय को बीजगणितीय समीकरणों के फलन के शून्य के रूप में सिद्ध किया। जिनके गुणांक फलन हैं। जो स्वयं श्रृंखला या बहुपदों के साथ अनुमानित हैं। इस उद्देश्य के लिए उन्होंने न्यूटन बहुभुज का परिचय दिया। जो इस संदर्भ में मूलभूत उपकरण बना हुआ है। न्यूटन ने काट-छाँट की श्रृंखला के साथ काम किया और यह केवल 1850 में विक्टर प्यूसेक्स है।^[2] प्यूसेक्स श्रृंखला की अवधारणा को प्रस्तुत किया और उस प्रमेय को सिद्ध किया, जिसे अब प्यूसेक्स के प्रमेय या न्यूटन-प्यूसेक्स प्रमेय के रूप में जाना जाता है।^[4] प्रमेय का अधिकार है कि एक बीजगणितीय समीकरण दिया गया है। जिसके गुणांक बहुपद हैं या अधिक सामान्यतः विशिष्ट शून्य के क्षेत्र (गणित) पर प्यूसेक्स श्रृंखला समीकरण के प्रत्येक समाधान को प्यूसेक्स श्रृंखला के रूप में व्यक्त किया जा सकता है। इसके अतिरिक्त प्रमाण इन प्यूसेक्स श्रृंखला की गणना के लिए एल्गोरिदम प्रदान करता है और जब जटिल संख्याओं पर काम करते हैं। जिससे परिणामी श्रृंखला अभिसरण होती है।

आधुनिक शब्दावली में प्रमेय को इस प्रकार दोहराया जा सकता है: विशेषता शून्य के क्षेत्र पर प्यूसेक्स श्रृंखला का क्षेत्र और जटिल संख्याओं पर अभिसारी प्यूसेक्स श्रृंखला का क्षेत्र दोनों बीजगणितीय रूप से बंद हैं।

न्यूटन बहुभुज

होने देना

P(y)=\sum _{a_{i}\neq 0}a_{i}(x)y^{i}

एक बहुपद हो। जिसका अशून्य गुणांक $a_{i}(x)$ बहुपद, घात श्रेणी या यहाँ तक कि $x$ प्यूसेक्स श्रृंखला भी हैं। इस खंड में मूल्यांकन $v(a_{i})$ का $a_{i}$ का निम्नतम घातांक $x$ में $a_{i}.$ है (निम्नलिखित में से अधिकांश सामान्यतः किसी भी महत्वपूर्ण क्षेत्र में गुणांकों पर अधिक निर्धारित होते हैं।)

प्यूसेक्स श्रृंखला $P$ (जो क्रियात्मक समीकरण का हल है $P(y)=0$ ), जो एक फलन के शून्य हैं, की गणना करने के लिए सर्वप्रथम जड़ों के मूल्यांकन की गणना करना है। यह न्यूटन बहुभुज की भूमिका है।

कार्तीय तल में निर्देशांकों के बिंदुओं $(i,v(a_{i})).$ पर विचार करें। न्यूटन का बहुभुज $P$ इन बिंदुओं का निचला उत्तल पतवार है। अर्थात् न्यूटन बहुभुज के किनारे इन दो बिंदुओं को जोड़ने वाले रेखा खंड हैं। जैसे कि ये सभी बिंदु खंड का समर्थन करने वाली रेखा से नीचे नहीं हैं (जैसा कि सामान्यतः, दूसरे निर्देशांक के मान के सापेक्ष होता है)।

प्यूसेक्स श्रृंखला $y_{0}$ को देखते हुए मूल्यांकन का $v_{0}$ , $P(y_{0})$ कम से कम न्यूनतम संख्या $iv_{0}+v(a_{i}),$ है और इस न्यूनतम के बराबर है। यदि यह न्यूनतम केवल $i$ के लिए पहुंचा है। अभी तक के लिए तो $y_{0}$ का मूल होना $P$ न्यूनतम कम से कम दो बार पहुंचा जाना चाहिए। अर्थात् दो मान $i_{1}$ और $i_{2}$ का $i$ होने चाहिए। ऐसा है कि $i_{1}v_{0}+v(a_{i_{1}})=i_{2}v_{0}+v(a_{i_{2}}),$ और $iv_{0}+v(a_{i})\geq i_{1}v_{0}+v(a_{i_{1}})$ प्रत्येक के लिए $i$ .

वह $(i_{1},v(a_{i_{1}}))$ और $(i_{2},v(a_{i_{2}}))$ है। न्यूटन बहुभुज के किनारे से संबंधित होना चाहिए और

v_{0}=-{\frac {v(a_{i_{1}})-v(a_{i_{2}})}{i_{1}-i_{2}}}

इस किनारे के ढलान के विपरीत होना चाहिए। यह सभी मूल्यांकनों के बाद

v(a_{i})

परिमेय संख्याएँ हैं और यही कारण है कि प्यूसेक्स श्रृंखला में परिमेय घातांकों को प्रस्तुत किया गया।

संक्षेप में, $P$ की जड़ का मूल्यांकन न्यूटन बहुपद के किनारे के ढलान के विपरीत होना चाहिए।

प्यूसेक्स श्रृंखला के समाधान का प्रारंभिक गुणांक $P(y)=0$ सरलता से निकाला जा सकता है। $c_{i}$ का प्रारंभिक गुणांक $a_{i}(x),$ हो अर्थात् $-v_{0}$ का गुणांक $x^{v(a_{i})}$ में $a_{i}(x).$ होने देना। न्यूटन बहुभुज का ढलान हो और $\gamma x_{0}^{v_{0}}$ के संबंधित प्यूसेक्स श्रृंखला समाधान की प्रारंभिक अवधि $P(y)=0.$ हो। यदि कोई रद्दीकरण नहीं होगा। तो ${\textstyle \sum _{i\in I}c_{i}\gamma ^{i},}$ का प्रारंभिक गुणांक $P(y)$ होगा।

जहाँ $I$ सूचकांकों का समूह $i$ है। ऐसा है कि $(i,v(a_{i}))$ ढलान के किनारे के अंतर्गत न्यूटन बहुभुज का $v_{0}$ आता है। तो, मूल होने के लिए प्रारंभिक गुणांक $\gamma$ बहुपद का शून्येतर मूल होना चाहिए।

\chi (x)=\sum _{i\in I}c_{i}x^{i}

(इस अंकन का उपयोग अगले भाग में किया जाएगा)।

संक्षेप में न्यूटन बहुपद प्यूसेक्स श्रृंखला के सभी संभावित प्रारंभिक शब्दों की सरल गणना की अनुमति देता है। जो $P(y)=0.$ समाधान हैं।

न्यूटन-प्यूसेक्स प्रमेय के प्रमाण में इन प्रारंभिक नियमों से पुनरावर्ती रूप से प्यूसेक्स श्रृंखला समाधानों की अगली नियमों की गणना करना सम्मिलित होगा।

रचनात्मक प्रमाण

माना कि पहला कार्यकाल $\gamma x^{v_{0}}$ प्यूसेक्स श्रृंखला के समाधान का $P(y)=0$ पिछले अनुभाग की विधि द्वारा गणना की गई है। $z=y-\gamma x^{v_{0}}.$ की गणना करना शेष है। इसके लिए हमने $y_{0}=\gamma x^{v_{0}},$ निर्धारित किया और $P$ पर $z=y-y_{0}:$ टेलर का विस्तार लिखिए।

Q(z)=P(y_{0}+z)=P(y_{0})+zP'(y_{0})+\cdots +z^{j}{\frac {P^{(j)}(y_{0})}{j!}}+\cdots

यह $z$ बहुपद है। जिसके गुणांक प्यूसेक्स श्रेणी $x$ में हैं। कोई इस पर न्यूटन बहुभुज की विधि निर्धारिक कर सकता है और क्रमशः प्यूसेक्स श्रृंखला की नियमों को प्राप्त करने के लिए पुनरावृति कर सकता है। किन्तु इसको $v(z)>v_{0},$ नियमित कराने के लिए कुछ सावधानी की आवश्यकता होती है और प्रदर्शित होता है कि प्यूसेक्स श्रृंखला प्राप्त करता है अर्थात, $x$ के घातांक के हर निर्धारित रहते हैं।

$y$ के संबंध में व्युत्पत्ति $x$ गुणांक मूल्यांकन में परिवर्तन नहीं करता है। वह है,

v\left(P^{(j)}(y_{0})z^{j}\right)\geq \min _{i}(v(a_{i})+v_{0})+j(v(z)-v_{0}),

और समानता होती है। यदि $\chi ^{(j)}(\gamma )\neq 0,$ जहाँ $\chi (x)$ पिछले खंड का बहुपद है। यदि $m$ की बहुलता $\gamma$ की जड़ के रूप में $\chi ,$ है। तो इसका परिणाम यह होता है कि असमानता के लिए समानता $j=m.$ है। $j>m$ नियम ऐसे हैं। जहां मूल्यांकन का संबंध है और $v(z)>v_{0}$ और $j>m$ को छोड़ा जा सकता है। अर्थात्-

v\left(P^{(j)}(y_{0})z^{j}\right)\geq \min _{i}(v(a_{i})+iv_{0})+j(v(z)-v_{0})>v\left(P^{(m)}(y_{0})z^{m}\right).

इसका अर्थ यह है कि न्यूटन बहुभुज की विधि को पुनरावृत्त करने के लिए किसी को केवल न्यूटन बहुभुज के उस भाग पर विचार करना चाहिए। जिसका पहला निर्देशांक $[0,m].$ अंतराल से संबंधित है। दो स्थितियों पर अलग से विचार किया जाना है और अगले उपखंडों का विषय होगा। जहाँ पर विखंडित स्थिति $m > 1$ और नियमित स्थिति $m = 1$ है।

नियमित स्थिति

रामिफाइड केस

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

सामान्यता की हानि के बिना $P(0)\neq 0,$ कोई यह मान सकता है। वह $a_{0}\neq 0.$ है। अर्थात् प्रत्येक कारक $y$ का $P(y)$ एक ऐसा समाधान प्रदान करता है। जो शून्य प्यूसियक्स श्रृंखला है और ऐसे कारकों का कारक निकाला जा सकता है।

जैसा कि विशेषता को शून्य माना जाता है। कोई यह भी मान सकता है कि $P(y)$ एक वर्ग-मुक्त बहुपद है। जिसका समाधान $P(y)=0$ है। अर्थात् वर्ग मुक्त गुणनखंडन फ़ैक्टरिंग के लिए केवल गुणांक के क्षेत्र के संचालन का उपयोग करता है और $P(y)$ वर्ग-मुक्त कारकों में अलग से हल किया जा सकता है। विशेषता शून्य की परिकल्पना की आवश्यकता है क्योंकि $p$ विशेषता में वर्ग-मुक्त अपघटन अलघुकरणीय कारक प्रदान कर सकता है। जैसे $y^{p}-x,$ जिसकी बीजगणितीय विस्तार पर कई रूट्स उपस्थित हैं।

इस संदर्भ में न्यूटन बहुभुज के किनारे की लंबाई को इसके अंतिम बिंदुओं के भुज के अंतर के रूप में परिभाषित करता है। बहुभुज की लंबाई उसके किनारों की लंबाई का योग है। $P(0)\neq 0,$ परिकल्पना के साथ न्यूटन के बहुभुज की लंबाई $P$ इसकी डिग्री $y$ है। वह इसकी जड़ों की संख्या है। न्यूटन बहुभुज के किनारे की लंबाई किसी दिए गए मूल्यांकन की जड़ों की संख्या है। यह संख्या पहले परिभाषित बहुपद की डिग्री $\chi (x).$ के बराबर है।

इस प्रकार रेमीफाइड स्थिति दो या अधिक समाधानों से मिलती है। जिनकी प्रारंभिक अवधि समान है। चूंकि इन समाधानों को अलग होना चाहिए (वर्ग-मुक्त परिकल्पना), उन्हें पुनरावृत्तियों की एक सीमित संख्या के बाद अलग होना चाहिए। अर्थात् अंततः एक बहुपद $\chi (x)$ प्राप्त होता है। यह वर्ग मुक्त है और गणना प्रत्येक रूट के लिए नियमित स्थिति $\chi (x).$ में जारी रह सकती है।

चूंकि नियमित स्थिति की पुनरावृत्ति घातांक के हर में वृद्धि नहीं करती है। इससे पता चलता है कि विधि प्यूसेक्स श्रृंखला के रूप में सभी समाधान प्रदान करती है। अर्थात जटिल संख्या पर प्यूसेक्स श्रृंखला का क्षेत्र एक बीजीय रूप से बंद क्षेत्र है। जिसमें एक ओर बहुपद होता है।

धनात्मक विशेषता में विफलता

न्यूटन-प्यूसेक्स प्रमेय धनात्मक विशेषता वाले क्षेत्रों पर मान्य नहीं है। उदाहरण के लिए समीकरण $X^{2}-X=T^{-1}$ समाधान हैं।

X=T^{-1/2}+{\frac {1}{2}}+{\frac {1}{8}}T^{1/2}-{\frac {1}{128}}T^{3/2}+\cdots

और

X=-T^{-1/2}+{\frac {1}{2}}-{\frac {1}{8}}T^{1/2}+{\frac {1}{128}}T^{3/2}+\cdots

(प्रथम कुछ नियमों पर सरलता से जांच की जाती है कि इन दो श्रृंखलाओं का योग और उत्पाद 1 है और $-T^{-1}$ क्रमश; यह तब मान्य होता है। जब आधार फ़ील्ड K की विशेषता 2 से भिन्न होती है)।

जैसा कि पिछले उदाहरण के गुणांकों के हरों में 2 की पावर किसी को विश्वास करने के लिए प्रेरित कर सकती हैं और प्रमेय का कथन धनात्मक विशेषता में सत्य नहीं है। आर्टिन-श्रेयर सिद्धांत का उदाहरण आर्टिन-श्रेयर समीकरण $X^{p}-X=T^{-1}$ यह दिखाता है: वैल्यूएशन के साथ तर्क से पता चलता है कि X का वैल्यूएशन ${\textstyle -{\frac {1}{p}}}$ होना चाहिए और यदि हम इसे $X=T^{-1/p}+X_{1}$ फिर से लिखते हैं। तब

X^{p}=T^{-1}+{X_{1}}^{p},{\text{ so }}{X_{1}}^{p}-X_{1}=T^{-1/p}

और $X_{1}$ ऐसा ही प्रदर्शित होता है, ${\textstyle -{\frac {1}{p^{2}}}}$ मूल्यांकन होना चाहिए और इस प्रकार आगे बढ़ने से श्रृंखला प्राप्त होती है।

T^{-1/p}+T^{-1/p^{2}}+T^{-1/p^{3}}+\cdots ;

चूँकि इस श्रृंखला का प्यूसेक्स श्रृंखला के रूप में कोई अर्थ नहीं है क्योंकि घातांकों में असीम भाजक हैं। मूल समीकरण का कोई हल नहीं है। चूंकि इस प्रकार के ईसेनस्टीन अनिवार्य रूप से केवल एक समाधान नहीं है क्योंकि यदि $K$ बीजगणितीय रूप से $p>0$ विशेषता से बंद है। फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया और $K$ के अधिकतम टेमिली रेमिफिकेशन (गणित) विस्तार का पूर्ण समापन $K(\!(T)\!)$ है।^[4]

इसी प्रकार बीजगणितीय बंद होने के स्थिति में, वास्तविक बंद क्षेत्र के लिए एक समान प्रमेय है। यदि $K$ एक वास्तविक बंद क्षेत्र है। जिससे प्यूसेक्स श्रृंखला का क्षेत्र $K$ खत्म हो गया है। औपचारिक लॉरेंट श्रृंखला के क्षेत्र $K$ के खत्म होने का वास्तविक समापन है।^[5] (यह पूर्व प्रमेय का तात्पर्य है क्योंकि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र कुछ वास्तविक-बंद क्षेत्र का अद्वितीय द्विघात विस्तार है।)

p-एडिकली क्लोज्ड फील्ड: यदि $K$ के लिए एक अनुरूप परिणाम भी है। $p$ मूल्यांकन के संबंध में $w$ आदर्श रूप से बंद क्षेत्र है। फिर प्यूसेक्स श्रृंखला का क्षेत्र $K$ खत्म हो गया।^[6]

बीजगणितीय वक्रों और कार्यों का प्यूसेक्स विस्तार

बीजगणितीय वक्र

$X$ एक बीजगणितीय वक्र हो।^[7] यह एक अफीन समीकरण $F(x,y)=0$ द्वारा दिया गया है। बीजगणितीय रूप से बंद क्षेत्र $K$ पर विशेषता शून्य की और एक बिंदु पर $p$ पर $X$ विचार करें। जिसे हम $(0,0)$ मान सकते हैं। हम यह भी मानते हैं $X$ निर्देशांक अक्ष $x=0$ नहीं है। फिर प्यूसेक्स विस्तार $X$ पर $p$ प्यूसेक्स श्रृंखला $f$ धनात्मक मूल्यांकन होने के लिये $F(x,f(x))=0$ है।

अधिक स्पष्ट रूप से आइए हम $X$ पर $p$ की शाखाओं को परिभाषित करें। $q$ नोथेर सामान्यीकरण लेम्मा का $Y$ का $X$ किस मानचित्र पर $p$ अंक उपस्थित है। ऐसे प्रत्येक $q$ के लिए एक स्थानीय समन्वय $t$ का $Y$ पर $q$ है। जैसे कि निर्देशांक $x$ और $y$ की औपचारिक पावर श्रृंखला $t$ के रूप में व्यक्त किया जा सकता है। ज्ञात है कि $x=t^{n}+\cdots$ (तब से $K$ बीजगणितीय रूप से बंद है। हम मान सकते हैं कि मूल्यांकन गुणांक 1) और $y=ct^{k}+\cdots$ : तब फॉर्म की एक रिंग प्यूसेक्स श्रृंखला $f=cT^{k/n}+\cdots$ (एक पावर श्रृंखला में $T^{1/n}$ ) है। ऐसा है कि $y(t)=f(x(t))$ (बाद की अभिव्यक्ति तब से अर्थपूर्ण है। $x(t)^{1/n}=t+\cdots$ में अच्छी प्रकार से परिभाषित पावर श्रृंखला $t$ है)। यह $X$ पर $p$ का प्यूसेक्स विस्तार है। जो $q$ की दी हुई शाखा से संबंधित बताया जाता है। (या उस शाखा का प्यूसेक्स विस्तार $X$ ) और प्रत्येक प्यूसेक्स का विस्तार $X$ पर $p$ की एक विशेष शाखा $X$ पर $p$ के लिए इस प्रकार दिया जाता है।^[8]^[9]

बीजगणितीय वक्र या फलन की शाखाओं के औपचारिक पैरामीट्रिजेशन के अस्तित्व को प्यूसेक्स के प्रमेय के रूप में भी संदर्भित किया जाता है। इसमें वह ही गणितीय सामग्री है। जो इस तथ्य के रूप में है कि प्यूसेक्स श्रृंखला का क्षेत्र बीजगणितीय रूप से बंद है और पूर्ण रूप से अधिक स्पष्ट वर्णन है।^[10]

उदाहरण के लिए वक्र $y^{2}=x^{3}+x^{2}$ (जिसका सामान्यीकरण समन्वय $t$ के साथ एक रेखा है और क्षेत्र $t\mapsto (t^{2}-1,t^{3}-t)$ ) की दो शाखाएँ दोहरे बिंदु (0,0) पर होती हैं। जो $t=+1$ और $t=-1$ सामान्यीकरण पर बिंदुओं के अनुरूप होती हैं। जिनके प्यूसेक्स विस्तार ${\textstyle y=x+{\frac {1}{2}}x^{2}-{\frac {1}{8}}x^{3}+\cdots }$ और ${\textstyle y=-x-{\frac {1}{2}}x^{2}+{\frac {1}{8}}x^{3}+\cdots }$ क्रमशः हैं। (यहाँ दोनों घात श्रेणी हैं क्योंकि $x$ समन्वय एटेल मोर्फिज्म में संबंधित बिंदुओं पर है)। चिकने बिंदु पर $(-1,0)$ (जो $t=0$ सामान्यीकरण में है)। इसकी एक ही शाखा है। जिसे प्यूसेक्स विस्तार द्वारा दिया गया है- $y=-(x+1)^{1/2}+(x+1)^{3/2}$ (इस बिंदु पर $x$ समन्वय शाखा करता है। इसलिए यह एक पावर श्रृंखला नहीं है)।

वक्र $y^{2}=x^{3}$ (जिसका सामान्यीकरण फिर से $t$ समन्वय वाली एक रेखा है और क्षेत्र $t\mapsto (t^{2},t^{3})$ दूसरी ओर कस्प (विलक्षणता) $(0,0)$ पर एक ही शाखा है। जिसका प्यूसेक्स विस्तार $y=x^{3/2}$ है।

विश्लेषणात्मक अभिसरण

जब $K=\mathbb {C}$ सम्मिश्र संख्याओं का क्षेत्र है। बीजगणितीय वक्र (जैसा कि ऊपर परिभाषित किया गया है) का प्यूसेक्स विस्तार इस अर्थ में अभिसरण की त्रिज्या है कि किसी दिए गए विकल्प के लिए $n$ -वाँ मूल $x$ वे काफी छोटे $|x|$ के लिए अभिसरण करते हैं। इसलिए की प्रत्येक शाखा के विश्लेषणात्मक पैरामीट्रिजेशन $X$ के निकटम में $p$ को परिभाषित करें। (अधिक स्पष्ट रूप से पैरामीट्रिजेशन $n$ -वाँ मूल $x$ इसके द्वारा है।)

सामान्यीकरण

लेवी-सिविता क्षेत्र

प्यूसेक्स श्रृंखला का क्षेत्र मीट्रिक स्थान के रूप में पूर्ण मीट्रिक स्थान नहीं है। इसकी पूर्णता का वर्णन इस प्रकार किया जा सकता है। जिसे लेवी-सीविटा क्षेत्र कहा जाता है। यह ${\textstyle f=\sum _{e}c_{e}T^{e},}$ रूप की औपचारिक अभिव्यक्ति का क्षेत्र है। जहां गुणांकों का समर्थन (अर्थात, e का समूह $c_{e}\neq 0$ है।) परिमेय संख्याओं के बढ़ते क्रम की श्रेणी है। जो या तो परिमित है या जिसकी ओर झुकाव $+\infty$ है। दूसरे शब्दों में ऐसी श्रंखला असीमित भाजक के घातांकों को स्वीकार करती है। बिना शर्त के लिये कि किसी दिए गए बंधन के लिए $A$ घातांक के बहुत से पद $A$ इससे कम हों। उदाहरण के लिए ${\textstyle \sum _{k=1}^{+\infty }T^{k+{\frac {1}{k}}}}$ प्यूसेक्स श्रृंखला नहीं है। किन्तु यह प्यूसेक्स श्रृंखला के कॉची अनुक्रम की सीमा है। विशेष रूप से यह ${\textstyle \sum _{k=1}^{N}T^{k+{\frac {1}{k}}}}$ की सीमा है। जैसा $N\to +\infty$ . चूंकि यह पूर्णता अभी भी इस अर्थ में अधिकतम रूप से पूर्ण नहीं है कि यह गैर-तुच्छ विस्तारों को स्वीकार करती है। जो समान मूल्य समूह और अवशेष क्षेत्र वाले मूल्यवान क्षेत्र हैं।^[11]^[12] इसलिए इसे और भी पूरा करने का अवसर नहीं प्राप्त हुआ है।

हैन श्रृंखला

हैन श्रृंखला प्यूसेक्स श्रृंखला का अधिक (बड़ा) सामान्यीकरण रूप है। जिसे हंस हैन (गणितज्ञ) ने 1907 में अपने हैन एम्बेडिंग प्रमेय के प्रमाण के समय प्रस्तुत किया था और फिर हिल्बर्ट की सत्रहवीं समस्या के प्रति उनके दृष्टिकोण में उनके द्वारा अध्ययन किया गया था। हैन श्रृंखला में घातांकों को परिबद्ध भाजक की आवश्यकता के अतिरिक्त उन्हें सुव्यवस्थित उपसमुच्चय बनाने की आवश्यकता होती है। इन्हें बाद में अनातोली माल्टसेव और बर्नहार्ड न्यूमैन द्वारा गैर-कम्यूटेटिव सेटिंग के लिए सामान्यीकृत किया गया था। इसलिए उन्हें कभी-कभी हैन-मालसेव-न्यूमैन श्रृंखला के रूप में जाना जाता है। हैन श्रृंखला का उपयोग करना धनात्मक विशेषता में पावर श्रृंखला के क्षेत्र के बीजगणितीय समापन का विवरण देना संभव है। जो प्यूसेक्स श्रृंखला के क्षेत्र के अनुरूप है।^[13]

↑ Newton (1960)
↑ ^2.0 ^2.1 Puiseux (1850, 1851)
↑ Newton (1736)
↑ ^4.0 ^4.1 cf. Kedlaya (2001), introduction
↑ Basu &al (2006), chapter 2 ("Real Closed Fields"), theorem 2.91 (p. 75)
↑ Cherlin (1976), chapter 2 ("The Ax–Kochen–Ershof Transfer Principle"), §7 ("Puiseux series fields")
↑ We assume that $X$ is irreducible or, at least, that it is reduced and that it does not contain the $y$ coordinate axis.
↑ Shafarevich (1994), II.5, pp. 133–135
↑ Cutkosky (2004), chapter 2, pp. 3–11
↑ Puiseux (1850), p. 397
↑ Poonen, Bjorn (1993). "ज़्यादा से ज़्यादा पूरे फ़ील्ड". Enseign. Math. 39: 87–106.
↑ Kaplansky, Irving (1942). "वैल्यूएशन के साथ मैक्सिमल फील्ड्स". Duke Math. J. 9 (2): 303–321. doi:10.1215/s0012-7094-42-00922-0.
↑ Kedlaya (2001)

यह भी देखें

लॉरेंट श्रृंखला
माधव श्रृंखला
न्यूटन बहुपद|न्यूटन का विभाजित अंतर प्रक्षेप
पदे सन्निकट

संदर्भ

Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise (2006). Algorithms in Real Algebraic Geometry. Algorithms and Computations in Mathematics 10 (2nd ed.). Springer-Verlag. doi:10.1007/3-540-33099-2. ISBN 978-3-540-33098-1.
Cherlin, Greg (1976). Model Theoretic Algebra Selected Topics. Lecture Notes in Mathematics 521. Springer-Verlag. ISBN 978-3-540-07696-4.^{[dead link]}
Cutkosky, Steven Dale (2004). Resolution of Singularities. Graduate Studies in Mathematics 63. American Mathematical Society. ISBN 0-8218-3555-6.
Eisenbud, David (1995). Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics 150. Springer-Verlag. ISBN 3-540-94269-6.
Kedlaya, Kiran Sridhara (2001). "The algebraic closure of the power series field in positive characteristic". Proc. Amer. Math. Soc. 129 (12): 3461–3470. doi:10.1090/S0002-9939-01-06001-4.
Newton, Isaac (1736) [1671], The method of fluxions and infinite series; with its application to the geometry of curve-lines, translated by Colson, John, London: Henry Woodfall, p. 378 (Translated from Latin)
Newton, Isaac (1960). "letter to Oldenburg dated 1676 Oct 24". The correspondence of Isaac Newton. Vol. II. Cambridge University press. pp. 126–127. ISBN 0-521-08722-8.
Puiseux, Victor Alexandre (1850). "Recherches sur les fonctions algébriques" (PDF). J. Math. Pures Appl. 15: 365–480.
Puiseux, Victor Alexandre (1851). "Nouvelles recherches sur les fonctions algébriques" (PDF). J. Math. Pures Appl. 16: 228–240.
Shafarevich, Igor Rostislavovich (1994). Basic Algebraic Geometry (2nd ed.). Springer-Verlag. ISBN 3-540-54812-2.
Walker, R.J. (1978). Algebraic Curves (PDF) (Reprint ed.). Springer-Verlag. ISBN 0-387-90361-5.

बाहरी संबंध

[1] Newton (1960)

[Puiseux1850-2] 2.0 ^2.1 Puiseux (1850, 1851)

[3] Newton (1736)

[Kedlaya2001Intro-4] 4.0 ^4.1 cf. Kedlaya (2001), introduction

[5] Basu &al (2006), chapter 2 ("Real Closed Fields"), theorem 2.91 (p. 75)

[6] Cherlin (1976), chapter 2 ("The Ax–Kochen–Ershof Transfer Principle"), §7 ("Puiseux series fields")

[7] We assume that $X$ is irreducible or, at least, that it is reduced and that it does not contain the $y$ coordinate axis.

[8] Shafarevich (1994), II.5, pp. 133–135

[9] Cutkosky (2004), chapter 2, pp. 3–11

[10] Puiseux (1850), p. 397

[11] Poonen, Bjorn (1993). "ज़्यादा से ज़्यादा पूरे फ़ील्ड". Enseign. Math. 39: 87–106.

[12] Kaplansky, Irving (1942). "वैल्यूएशन के साथ मैक्सिमल फील्ड्स". Duke Math. J. 9 (2): 303–321. doi:10.1215/s0012-7094-42-00922-0.

[13] Kedlaya (2001)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Line 8: / Line 8: @@
 &=x^{-12/6}+ 2x^{-3/6} + x^{2/6} + 2x^{11/6} + x^{16/6} + x^{30/6} +  \cdots
 \end{align}</math>
-अनिश्चित {{mvar|x}} में एक  प्यूसेक्स श्रृंखला है। 1676 में [[आइजैक न्यूटन]] द्वारा पहली बार  प्यूसेक्स श्रृंखला प्रारम्भ की गई थी<ref>{{harvtxt|Newton|1960}}</ref> और 1850 में विक्टर प्यूसेक्स द्वारा फिर से खोजा गया।<ref name="Puiseux1850">Puiseux (1850, 1851)</ref> प्यूसेक्स श्रृंखला की परिभाषा में सम्मिलित है कि घातांकों के हर को परिबद्ध होना चाहिए। इसलिए घातांकों को एक उभयनिष्ठ भाजक {{mvar|n}} में घटाकर प्यूसेक्स श्रृंखला nवें मूल में [[लॉरेंट श्रृंखला]] बन जाती है। उदाहरण के लिए ऊपर दिया गया उदाहरण एक लॉरेंट श्रृंखला <math>x^{1/6}.</math> है क्योंकि {{mvar|n}} जटिल संख्या है और  {{mvar|n}}वीं रूट्स [[अभिसरण श्रृंखला]] प्यूसेक्स श्रृंखला सामान्यतः परिभाषित करती है और {{mvar|n}} के [[पड़ोस (गणित)|निकटतम (गणित)]] में {{math|0}} कार्य करता है।
+अनिश्चित {{mvar|x}} में एक प्यूसेक्स श्रृंखला है। 1676 में [[आइजैक न्यूटन]] द्वारा पहली बार प्यूसेक्स श्रृंखला प्रारम्भ की गई थी<ref>{{harvtxt|Newton|1960}}</ref> और 1850 में विक्टर प्यूसेक्स द्वारा फिर से खोजा गया।<ref name="Puiseux1850">Puiseux (1850, 1851)</ref> प्यूसेक्स श्रृंखला की परिभाषा में सम्मिलित है कि घातांकों के हर को परिबद्ध होना चाहिए। इसलिए घातांकों को एक उभयनिष्ठ भाजक {{mvar|n}} में घटाकर प्यूसेक्स श्रृंखला nवें मूल में [[लॉरेंट श्रृंखला]] बन जाती है। उदाहरण के लिए ऊपर दिया गया उदाहरण एक लॉरेंट श्रृंखला <math>x^{1/6}.</math> है क्योंकि {{mvar|n}} जटिल संख्या है और {{mvar|n}}वीं रूट्स [[अभिसरण श्रृंखला]] प्यूसेक्स श्रृंखला सामान्यतः परिभाषित करती है और {{mvar|n}} के [[पड़ोस (गणित)|निकटतम (गणित)]] में {{math|0}} कार्य करता है।
 प्यूसेक्स की प्रमेय, जिसे कभी-कभी न्यूटन-प्यूसेक्स प्रमेय भी कहा जाता है, यह प्रमाणित करती है कि [[बहुपद समीकरण]] दिए जाने पर <math>P(x,y)=0</math> जटिल गुणांक के साथ इसके समाधान में {{mvar|y}} के कार्यों के रूप में देखा गया {{mvar|x}} में प्यूसेक्स श्रृंखला {{mvar|x}} के रूप में विस्तारित किया जा सकता है। जो कि कुछ [[पड़ोस (गणित)|निकटतम (गणित)]] अभिसरण श्रृंखला {{math|0}} हैं। दूसरे शब्दों में एक [[बीजगणितीय वक्र]] की प्रत्येक शाखा को स्थानीय रूप से प्यूसेक्स श्रृंखला {{mvar|x}} द्वारा वर्णित किया जा सकता है। (या में {{math|''x'' − ''x''{{sub|0}}}} के निकटतम के ऊपर शाखाओं पर विचार करते समय {{math|''x''{{sub|0}} ≠ 0}})।
@@ Line 17: / Line 17: @@
 यदि {{mvar|K}} एक [[क्षेत्र (गणित)]] है (जैसे कि सम्मिश्र संख्या)। प्यूसेक्स श्रृंखला जिसमें गुणांक हैं, {{mvar|K}} रूप की अभिव्यक्ति है-
 :<math>f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}</math>
-जहाँ <math>n</math> एक धनात्मक पूर्णांक है और <math>k_0</math> एक पूर्णांक है। दूसरे शब्दों में  प्यूसेक्स श्रृंखला लॉरेंट श्रृंखला से भिन्न होती है। जिसमें वे अनिश्चित के भिन्नात्मक घातांकों की अनुमति देते हैं। जब तक कि इन भिन्नात्मक घातांकों में परिबद्ध हर (यहाँ n) है। लॉरेंट श्रृंखला की तरह ही प्यूसेक्स श्रृंखला अनिश्चित के ऋणात्मक घातांकों की अनुमति देती है। जब तक कि ये ऋणात्मक घातांक नीचे परिबद्ध हैं (यहाँ द्वारा <math>k_0</math>)। जोड़ और गुणा अपेक्षित हैं। उदाहरण के लिए-
+जहाँ <math>n</math> एक धनात्मक पूर्णांक है और <math>k_0</math> एक पूर्णांक है। दूसरे शब्दों में प्यूसेक्स श्रृंखला लॉरेंट श्रृंखला से भिन्न होती है। जिसमें वे अनिश्चित के भिन्नात्मक घातांकों की अनुमति देते हैं। जब तक कि इन भिन्नात्मक घातांकों में परिबद्ध हर (यहाँ n) है। लॉरेंट श्रृंखला की प्रकार ही प्यूसेक्स श्रृंखला अनिश्चित के ऋणात्मक घातांकों की अनुमति देती है। जब तक कि ये ऋणात्मक घातांक नीचे परिबद्ध हैं (यहाँ द्वारा <math>k_0</math>)। जोड़ और गुणा अपेक्षित हैं। उदाहरण के लिए-
 :<math> (T^{-1} + 2T^{-1/2} + T^{1/3} + \cdots) + (T^{-5/4} - T^{-1/2} + 2 + \cdots) = T^{-5/4} + T^{-1} + T^{-1/2} + 2 + \cdots</math>
 और
 :<math> (T^{-1} + 2T^{-1/2} + T^{1/3} + \cdots) \cdot (T^{-5/4} - T^{-1/2} + 2 + \cdots) = T^{-9/4} + 2T^{-7/4} - T^{-3/2} + T^{-11/12} + 4T^{-1/2} + \cdots.</math>
-घातांकों के हर को पहले कुछ सामान्य भाजक में उन्नत करके उन्हें परिभाषित किया जा सकता है  और उसके बाद की औपचारिक लौरेंट श्रृंखला के इसी क्षेत्र में आपरेशन प्रदर्शन <math>T^{1/N}</math>में गुणांक के साथ प्यूसेक्स श्रृंखला {{mvar|K}} एक क्षेत्र बनाते हैं। जो संघ है-
+घातांकों के हर को पहले कुछ सामान्य भाजक में उन्नत करके उन्हें परिभाषित किया जा सकता है और उसके बाद की औपचारिक लौरेंट श्रृंखला के इसी क्षेत्र में आपरेशन प्रदर्शन <math>T^{1/N}</math>में गुणांक के साथ प्यूसेक्स श्रृंखला {{mvar|K}} एक क्षेत्र बनाते हैं। जो संघ है-
 :<math>\bigcup_{n>0} K(\!(T^{1/n})\!)</math>
 [[औपचारिक लॉरेंट श्रृंखला]] के क्षेत्रों में <math>T^{1/n}</math> अनिश्चित के रूप में माना जाता है।
-यह [[प्रत्यक्ष सीमा]] के संदर्भ में प्यूसेक्स श्रृंखला के क्षेत्र की वैकल्पिक परिभाषा देता है। प्रत्येक धनात्मक पूर्णांक {{mvar|n}} के लिए <math>T_n</math> होने देना एक अनिश्चित हो (प्रतिनिधित्व करने के लिए अर्थात् <math display="inline">T^{1/n}</math>) और <math>K(\!(T_n)\!)</math> में औपचारिक लॉरेंट श्रृंखला <math>T_n.</math> का क्षेत्र हो। यदि {{math|''m''}}, {{math|''n''}} को  विभाजित करता है और मैपिंग <math>T_m \mapsto (T_n)^{n/m}</math> एक क्षेत्र <math>K(\!(T_m)\!) \to K(\!(T_n)\!),</math> समरूपता को प्रेरित करता है और ये समरूपताएं [[प्रत्यक्ष प्रणाली]] बनाती हैं। जिसमें प्रत्यक्ष सीमा के रूप में प्यूसेक्स श्रृंखला का क्षेत्र होता है। यह प्रमाण है कि प्रत्येक क्षेत्र समरूपता अंतःक्षेपी है। यह प्रदर्शित करता है कि इस सीधी सीमा को उपरोक्त संघ के साथ पहचाना जा सकता है और यह कि दो परिभाषाएँ समतुल्य हैं (एक समरूपता [[तक]])।
+यह [[प्रत्यक्ष सीमा]] के संदर्भ में प्यूसेक्स श्रृंखला के क्षेत्र की वैकल्पिक परिभाषा देता है। प्रत्येक धनात्मक पूर्णांक {{mvar|n}} के लिए <math>T_n</math> होने देना एक अनिश्चित हो (प्रतिनिधित्व करने के लिए अर्थात् <math display="inline">T^{1/n}</math>) और <math>K(\!(T_n)\!)</math> में औपचारिक लॉरेंट श्रृंखला <math>T_n.</math> का क्षेत्र हो। यदि {{math|''m''}}, {{math|''n''}} को विभाजित करता है और मैपिंग <math>T_m \mapsto (T_n)^{n/m}</math> एक क्षेत्र <math>K(\!(T_m)\!) \to K(\!(T_n)\!),</math> समरूपता को प्रेरित करता है और ये समरूपताएं [[प्रत्यक्ष प्रणाली]] बनाती हैं। जिसमें प्रत्यक्ष सीमा के रूप में प्यूसेक्स श्रृंखला का क्षेत्र होता है। यह प्रमाण है कि प्रत्येक क्षेत्र समरूपता अंतःक्षेपी है। यह प्रदर्शित करता है कि इस सीधी सीमा को उपरोक्त संघ के साथ पहचाना जा सकता है और यह कि दो परिभाषाएँ समतुल्य हैं (एक समरूपता [[तक]])।
 === मूल्यांकन ===
@@ Line 36: / Line 36: @@
 फलन {{mvar|v}} [[मूल्यांकन (बीजगणित)]] है और योगात्मक समूह के साथ प्यूसेक्स श्रृंखला को इसके [[मूल्यांकन समूह]] के रूप में परिमेय संख्याओं का महत्वपूर्ण क्षेत्र <math>\Q</math> बनाता है।
-प्रत्येक वैल्यूड फ़ील्ड के लिए मूल्यांकन सूत्र द्वारा [[अल्ट्रामेट्रिक स्पेस]] <math>d(f,g)=\exp(-v(f-g)).</math> को परिभाषित करता है।  इस दूरी के लिए प्यूसेक्स श्रृंखला का क्षेत्र [[मीट्रिक स्थान]] है। जिसका अंकन-
+प्रत्येक वैल्यूड फ़ील्ड के लिए मूल्यांकन सूत्र द्वारा [[अल्ट्रामेट्रिक स्पेस]] <math>d(f,g)=\exp(-v(f-g)).</math> को परिभाषित करता है। इस दूरी के लिए प्यूसेक्स श्रृंखला का क्षेत्र [[मीट्रिक स्थान]] है। जिसका अंकन-
 :<math>f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}</math>
 अभिव्यक्त करता है कि प्यूसेक्स अपने आंशिक योगों की सीमा है। चूंकि प्यूसेक्स श्रृंखला का क्षेत्र [[पूर्ण मीट्रिक स्थान]] नहीं है। नीचे देखें {{slink||लेवी-सिविता क्षेत्र}}.
@@ Line 44: / Line 44: @@
 अधिक स्पष्ट है-
 :<math>f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}</math>
-सम्मिश्र संख्या गुणांकों वाली प्यूसेक्स श्रृंखला हो। r एक वास्तविक संख्या है। जिसे [[अभिसरण की त्रिज्या]] कहा जाता है। जैसे कि श्रृंखला अभिसरण करती है। {{mvar|T}} को अशून्य सम्मिश्र संख्या   {{mvar|t}} के लिए प्रतिस्थापित किया जाता है, निरपेक्ष मान {{mvar|r}} से कम और {{mvar|r}} इस गुण के साथ सबसे बड़ी संख्या है। एक प्यूसेक्स श्रृंखला अभिसरण है। यदि इसमें अभिसरण का शून्येतर त्रिज्या है।
+सम्मिश्र संख्या गुणांकों वाली प्यूसेक्स श्रृंखला हो। r एक वास्तविक संख्या है। जिसे [[अभिसरण की त्रिज्या]] कहा जाता है। जैसे कि श्रृंखला अभिसरण करती है। {{mvar|T}} को अशून्य सम्मिश्र संख्या {{mvar|t}} के लिए प्रतिस्थापित किया जाता है। निरपेक्ष मान {{mvar|r}} से कम और {{mvar|r}} इस गुण के साथ सबसे बड़ी संख्या है। एक प्यूसेक्स श्रृंखला अभिसरण है। यदि इसमें अभिसरण का शून्येतर त्रिज्या है।
-क्योंकि {{mvar|n}} एक अशून्य सम्मिश्र संख्या होती है। प्रतिस्थापन के लिए कुछ सावधानी चाहिए:। T की एक विशिष्ट n वीं जड़, x कहते हैं, चुना जाना चाहिए। फिर प्रतिस्थापन में  <math>T^{k/n}</math> द्वारा <math>x^k</math> प्रतिस्थापन प्रत्येक के लिए {{mvar|k}} होता है।
+क्योंकि {{mvar|n}} एक अशून्य सम्मिश्र संख्या होती है। प्रतिस्थापन के लिए कुछ सावधानी चाहिए। T की एक विशिष्ट n वीं रूट, x कहते हैं, चुना जाना चाहिए। फिर प्रतिस्थापन में <math>T^{k/n}</math> द्वारा <math>x^k</math> प्रतिस्थापन प्रत्येक के लिए {{mvar|k}} होता है।
 अभिसरण की त्रिज्या का अस्तित्व पावर श्रृंखला के समान अस्तित्व से उत्पन्न होता है। जिस पर f निर्धारित होता है। जिसे एक पावर श्रृंखला के रूप में माना जाता है।
-यह न्यूटन-प्यूसेक्स प्रमेय का एक भाग है। जो प्रदान की गई प्यूसेक्स श्रृंखला में अभिसरण का धनात्मक क्षेत्र है और इस प्रकार शून्य के कुछ निकटतम में (बहुमूल्य फ़ंक्शन) विश्लेषणात्मक फलन को परिभाषित करता है (शून्य स्वयं संभवतः बाहर रखा गया है)।
+यह न्यूटन-प्यूसेक्स प्रमेय का एक भाग है। जो प्रदान की गई प्यूसेक्स श्रृंखला में अभिसरण का धनात्मक क्षेत्र है और इस प्रकार शून्य के कुछ निकटतम में (बहुमूल्य फलन) विश्लेषणात्मक फलन को परिभाषित करता है (शून्य स्वयं संभवतः बाहर रखा गया है)।
 === गुणांकों पर मूल्यांकन और क्रम ===
-यदि आधार क्षेत्र <math>K</math> आदेश दिया गया क्षेत्र है, फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया है <math>K</math> भी स्वाभाविक रूप से ("शब्दकोशीय क्रम") निम्नानुसार आदेश दिया गया है: एक गैर-शून्य प्यूसेक्स श्रृंखला <math>f</math> 0 के साथ सकारात्मक घोषित किया जाता है जब भी इसका मूल्यांकन गुणांक ऐसा होता है। अनिवार्य रूप से, इसका मतलब है कि अनिश्चित की कोई सकारात्मक तर्कसंगत शक्ति <math>T</math> धनात्मक बनाया जाता है, लेकिन आधार क्षेत्र में किसी भी धनात्मक तत्व से छोटा होता है <math>K</math>.
+यदि आधार क्षेत्र <math>K</math> आदेश दिया गया क्षेत्र है। फिर प्यूसेक्स श्रृंखला का क्षेत्र नष्ट हो गया है। <math>K</math> भी स्वाभाविक रूप से ("शब्दकोशीय क्रम") निम्नानुसार आदेश दिया गया है। गैर-शून्य प्यूसेक्स श्रृंखला <math>f</math> 0 के साथ धनात्मक घोषित किया जाता है। जब भी इसका मूल्यांकन गुणांक ऐसा होता है। अनिवार्य रूप से इसका अर्थ है कि अनिश्चित की कोई धनात्मक तर्कसंगत पावर <math>T</math> धनात्मक बनाया जाता है। किन्तु आधार क्षेत्र <math>K</math> में किसी भी धनात्मक तत्व से छोटा होता है।
-यदि आधार क्षेत्र <math>K</math> मूल्यांकन से संपन्न है <math>w</math>, तो हम प्यूसेक्स श्रृंखला के क्षेत्र पर एक अलग मूल्यांकन का निर्माण कर सकते हैं <math>K</math> मूल्यांकन देकर <math>\hat w(f)</math> होना <math>\omega\cdot v + w(c_k),</math> कहाँ <math>v=k/n</math> पहले परिभाषित मूल्यांकन है (<math>c_k</math> पहला गैर-शून्य गुणांक है) और <math>\omega</math> असीम रूप से बड़ा है (दूसरे शब्दों में, का मान समूह <math>\hat w</math> है <math>\Q \times \Gamma</math> शाब्दिक रूप से आदेश दिया, जहां <math>\Gamma</math> का मान समूह है <math>w</math>). अनिवार्य रूप से, इसका मतलब है कि पहले परिभाषित मूल्यांकन <math>v</math> मूल्यांकन को ध्यान में रखने के लिए एक अतिसूक्ष्म राशि द्वारा सही किया जाता है <math>w</math> आधार क्षेत्र पर दिया गया।
+यदि आधार क्षेत्र <math>K</math> मूल्यांकन <math>w</math> से संपन्न है। जिससे हम प्यूसेक्स श्रृंखला के क्षेत्र पर अलग मूल्यांकन <math>K</math> का निर्माण कर सकते हैं। <math>\hat w(f)</math> मूल्यांकन देकर <math>\omega\cdot v + w(c_k),</math> होना। जहाँ <math>v=k/n</math> पहले परिभाषित मूल्यांकन है (<math>c_k</math> पहला गैर-शून्य गुणांक है) और <math>\omega</math> अधिक रूप से बड़ा है (दूसरे शब्दों में <math>\hat w</math> का मान <math>\Q \times \Gamma</math> समूह है। शाब्दिक रूप से आदेश दिया जहां <math>\Gamma</math> का मान <math>w</math> समूह है।) अनिवार्य रूप से इसका अर्थ यह है कि पहले परिभाषित मूल्यांकन <math>v</math> मूल्यांकन को ध्यान में रखने के लिए अतिसूक्ष्म राशि द्वारा <math>w</math> आधार क्षेत्र पर दिया गया है।
 == न्यूटन-प्यूसेक्स प्रमेय ==
-की प्रारम्भ में,<ref>Newton (1736)</ref> आइज़ैक न्यूटन ने स्पष्ट रूप से प्यूसेक्स श्रृंखला का उपयोग किया और [[श्रृंखला (गणित)]] के साथ अनुमान लगाने के लिए निम्नलिखित प्रमेय को [[बीजगणितीय समीकरण]]ों के एक फ़ंक्शन के शून्य के रूप में सिद्ध किया, जिनके गुणांक फ़ंक्शन हैं जो स्वयं श्रृंखला या [[बहुपद]]ों के साथ अनुमानित हैं। इस उद्देश्य के लिए, उन्होंने [[न्यूटन बहुभुज]] का परिचय दिया, जो इस संदर्भ में एक मूलभूत उपकरण बना हुआ है। न्यूटन ने काट-छाँट की श्रृंखला के साथ काम किया, और यह केवल 1850 में विक्टर प्यूसेक्स है<ref name="Puiseux1850"/>(गैर-छंटनी) प्यूसेक्स श्रृंखला की अवधारणा को पेश किया और उस प्रमेय को सिद्ध किया जिसे अब प्यूसेक्स के प्रमेय या न्यूटन-प्यूसेक्स प्रमेय के रूप में जाना जाता है।<ref name="Kedlaya2001Intro">cf. Kedlaya (2001), introduction</ref> प्रमेय का दावा है कि, एक बीजगणितीय समीकरण दिया गया है जिसके गुणांक बहुपद हैं या अधिक सामान्यतः, विशिष्ट शून्य के एक क्षेत्र (गणित) पर प्यूसेक्स श्रृंखला, समीकरण के प्रत्येक समाधान को एक प्यूसेक्स श्रृंखला के रूप में व्यक्त किया जा सकता है। इसके अलावा, सबूत इन प्यूसियक्स श्रृंखला की गणना के लिए एक एल्गोरिदम प्रदान करता है, और जब जटिल संख्याओं पर काम करते हैं, परिणामी श्रृंखला अभिसरण होती है।
+की प्रारम्भ में<ref>Newton (1736)</ref> आइज़ैक न्यूटन ने स्पष्ट रूप से प्यूसेक्स श्रृंखला का उपयोग किया और [[श्रृंखला (गणित)]] के साथ अनुमान लगाने के लिए निम्नलिखित प्रमेय को [[बीजगणितीय समीकरण|बीजगणितीय समीकरणों]] के फलन के शून्य के रूप में सिद्ध किया। जिनके गुणांक फलन हैं। जो स्वयं श्रृंखला या [[बहुपद|बहुपदों]] के साथ अनुमानित हैं। इस उद्देश्य के लिए उन्होंने [[न्यूटन बहुभुज]] का परिचय दिया। जो इस संदर्भ में मूलभूत उपकरण बना हुआ है। न्यूटन ने काट-छाँट की श्रृंखला के साथ काम किया और यह केवल 1850 में विक्टर प्यूसेक्स है।<ref name="Puiseux1850"/> प्यूसेक्स श्रृंखला की अवधारणा को प्रस्तुत किया और उस प्रमेय को सिद्ध किया, जिसे अब प्यूसेक्स के प्रमेय या न्यूटन-प्यूसेक्स प्रमेय के रूप में जाना जाता है।<ref name="Kedlaya2001Intro">cf. Kedlaya (2001), introduction</ref> प्रमेय का अधिकार है कि एक बीजगणितीय समीकरण दिया गया है। जिसके गुणांक बहुपद हैं या अधिक सामान्यतः विशिष्ट शून्य के क्षेत्र (गणित) पर प्यूसेक्स श्रृंखला समीकरण के प्रत्येक समाधान को प्यूसेक्स श्रृंखला के रूप में व्यक्त किया जा सकता है। इसके अतिरिक्त प्रमाण इन प्यूसेक्स श्रृंखला की गणना के लिए एल्गोरिदम प्रदान करता है और जब जटिल संख्याओं पर काम करते हैं। जिससे परिणामी श्रृंखला अभिसरण होती है।
-आधुनिक शब्दावली में, प्रमेय को इस प्रकार दोहराया जा सकता है: [[विशेषता शून्य]] के एक क्षेत्र पर  प्यूसेक्स श्रृंखला का क्षेत्र, और जटिल संख्याओं पर अभिसारी प्यूसेक्स श्रृंखला का क्षेत्र, दोनों [[बीजगणितीय रूप से बंद]] हैं।
+आधुनिक शब्दावली में प्रमेय को इस प्रकार दोहराया जा सकता है: [[विशेषता शून्य]] के क्षेत्र पर प्यूसेक्स श्रृंखला का क्षेत्र और जटिल संख्याओं पर अभिसारी प्यूसेक्स श्रृंखला का क्षेत्र दोनों [[बीजगणितीय रूप से बंद]] हैं।
 ===न्यूटन बहुभुज===
-{{see also|Newton polygon}}
+{{see also|न्यूटन बहुभुज}}
 होने देना
 :<math>P(y)=\sum_{a_i\neq 0} a_i(x) y^i</math>
-एक बहुपद हो जिसका अशून्य गुणांक <math>a_i(x)</math> बहुपद, घात श्रेणी, या यहाँ तक कि प्यूसेक्स श्रृंखला भी हैं {{mvar|x}}. इस खंड में, मूल्यांकन <math>v(a_i)</math> का <math>a_i</math> का निम्नतम घातांक है {{mvar|x}} में <math>a_i.</math> (निम्नलिखित में से अधिकांश सामान्यतः किसी भी महत्वपूर्ण क्षेत्र में गुणांकों पर अधिक लागू होते हैं।)
+एक बहुपद हो। जिसका अशून्य गुणांक <math>a_i(x)</math> बहुपद, घात श्रेणी या यहाँ तक कि {{mvar|x}} प्यूसेक्स श्रृंखला भी हैं। इस खंड में मूल्यांकन <math>v(a_i)</math> का <math>a_i</math> का निम्नतम घातांक {{mvar|x}} में <math>a_i.</math> है (निम्नलिखित में से अधिकांश सामान्यतः किसी भी महत्वपूर्ण क्षेत्र में गुणांकों पर अधिक निर्धारित होते हैं।)
-प्यूसेक्स श्रृंखला की गणना करने के लिए जो एक फ़ंक्शन के शून्य हैं {{mvar|P}} (जो क्रियात्मक समीकरण का हल है <math>P(y)=0</math>), करने के लिए पहली बात जड़ों के मूल्यांकन की गणना करना है। यह न्यूटन बहुभुज की भूमिका है।
+प्यूसेक्स श्रृंखला {{mvar|P}} (जो क्रियात्मक समीकरण का हल है <math>P(y)=0</math>), जो एक फलन के शून्य हैं, की गणना करने के लिए सर्वप्रथम जड़ों के मूल्यांकन की गणना करना है। यह न्यूटन बहुभुज की भूमिका है।
-कार्तीय तल में, निर्देशांकों के बिंदुओं पर विचार करें <math>(i, v(a_i)).</math> न्यूटन का बहुभुज {{mvar|P}} इन बिंदुओं का निचला उत्तल पतवार है। अर्थात्, न्यूटन बहुभुज के किनारे इन दो बिंदुओं को जोड़ने वाले [[रेखा खंड]] हैं, जैसे कि ये सभी बिंदु खंड का समर्थन करने वाली रेखा से नीचे नहीं हैं (नीचे, जैसा कि सामान्यतः, दूसरे निर्देशांक के मान के सापेक्ष होता है)।
+कार्तीय तल में निर्देशांकों के बिंदुओं <math>(i, v(a_i)).</math> पर विचार करें। न्यूटन का बहुभुज {{mvar|P}} इन बिंदुओं का निचला उत्तल पतवार है। अर्थात् न्यूटन बहुभुज के किनारे इन दो बिंदुओं को जोड़ने वाले [[रेखा खंड]] हैं। जैसे कि ये सभी बिंदु खंड का समर्थन करने वाली रेखा से नीचे नहीं हैं (जैसा कि सामान्यतः, दूसरे निर्देशांक के मान के सापेक्ष होता है)।
-प्यूसेक्स श्रृंखला को देखते हुए <math>y_0</math> मूल्यांकन का <math>v_0</math>, का मूल्यांकन <math>P(y_0)</math> कम से कम न्यूनतम संख्या है <math>i v_0 + v(a_i),</math> और इस न्यूनतम के बराबर है यदि यह न्यूनतम केवल एक के लिए पहुंचा है {{mvar|i}}. अभीतक के लिए तो <math>y_0</math> का मूल होना {{mvar|P}}, न्यूनतम कम से कम दो बार पहुंचा जाना चाहिए। यानी दो मान होने चाहिए <math>i_1</math> और <math>i_2</math> का {{mvar|i}} ऐसा है कि <math>i_1 v_0 + v(a_{i_1}) = i_2 v_0 + v(a_{i_2}),</math> और <math>i v_0 + v(a_{i}) \ge i_1 v_0 + v(a_{i_1})</math> हरएक के लिए {{mvar|i}}.
+प्यूसेक्स श्रृंखला <math>y_0</math> को देखते हुए मूल्यांकन का <math>v_0</math>, <math>P(y_0)</math> कम से कम न्यूनतम संख्या <math>i v_0 + v(a_i),</math> है और इस न्यूनतम के बराबर है। यदि यह न्यूनतम केवल {{mvar|i}} के लिए पहुंचा है। अभी तक के लिए तो <math>y_0</math> का मूल होना {{mvar|P}} न्यूनतम कम से कम दो बार पहुंचा जाना चाहिए। अर्थात् दो मान <math>i_1</math> और <math>i_2</math> का {{mvar|i}} होने चाहिए। ऐसा है कि <math>i_1 v_0 + v(a_{i_1}) = i_2 v_0 + v(a_{i_2}),</math> और <math>i v_0 + v(a_{i}) \ge i_1 v_0 + v(a_{i_1})</math> प्रत्येक के लिए {{mvar|i}}.
-वह है, <math>(i_1, v(a_{i_1})) </math> और <math>(i_2, v(a_{i_2})) </math> न्यूटन बहुभुज के किनारे से संबंधित होना चाहिए, और
+वह <math>(i_1, v(a_{i_1})) </math> और <math>(i_2, v(a_{i_2})) </math> है। न्यूटन बहुभुज के किनारे से संबंधित होना चाहिए और
 <math display=block>v_0=-\frac{v(a_{i_1})-v(a_{i_2})}{i_1-i_2}</math>
-इस किनारे के ढलान के विपरीत होना चाहिए। यह सभी मूल्यांकनों के बाद एक परिमेय संख्या है <math>v(a_i)</math> परिमेय संख्याएँ हैं, और यही कारण है कि प्यूसेक्स श्रृंखला में परिमेय घातांकों को प्रस्तुत किया गया।
+इस किनारे के ढलान के विपरीत होना चाहिए। यह सभी मूल्यांकनों के बाद <math>v(a_i)</math> परिमेय संख्याएँ हैं और यही कारण है कि प्यूसेक्स श्रृंखला में परिमेय घातांकों को प्रस्तुत किया गया।
-संक्षेप में, की जड़ का मूल्यांकन {{mvar|P}} न्यूटन बहुपद के किनारे के ढलान के विपरीत होना चाहिए।
+संक्षेप में, {{mvar|P}} की जड़ का मूल्यांकन न्यूटन बहुपद के किनारे के ढलान के विपरीत होना चाहिए।
-प्यूसेक्स श्रृंखला के समाधान का प्रारंभिक गुणांक <math>P(y)=0</math> आसानी से निकाला जा सकता है। होने देना <math>c_i</math> का प्रारंभिक गुणांक हो <math>a_i(x),</math> अर्थात्, का गुणांक <math>x^{v(a_i)}</math> में <math>a_i(x).</math> होने देना <math>-v_0</math> न्यूटन बहुभुज का ढलान हो, और <math>\gamma x_0^{v_0}</math> के संबंधित प्यूसेक्स श्रृंखला समाधान की प्रारंभिक अवधि हो <math>P(y)=0.</math> यदि कोई रद्दीकरण नहीं होगा, तो का प्रारंभिक गुणांक <math>P(y)</math> होगा <math display=inline>\sum_{i\in I}c_i \gamma^i,</math>
+प्यूसेक्स श्रृंखला के समाधान का प्रारंभिक गुणांक <math>P(y)=0</math> सरलता से निकाला जा सकता है। <math>c_i</math> का प्रारंभिक गुणांक <math>a_i(x),</math> हो अर्थात् <math>-v_0</math> का गुणांक <math>x^{v(a_i)}</math> में <math>a_i(x).</math> होने देना। न्यूटन बहुभुज का ढलान हो और <math>\gamma x_0^{v_0}</math> के संबंधित प्यूसेक्स श्रृंखला समाधान की प्रारंभिक अवधि <math>P(y)=0.</math> हो। यदि कोई रद्दीकरण नहीं होगा। तो <math display="inline">\sum_{i\in I}c_i \gamma^i,</math> का प्रारंभिक गुणांक <math>P(y)</math> होगा।
-कहाँ {{mvar|I}} सूचकांकों का समूह है {{mvar|i}} ऐसा है कि <math>(i, v(a_i))</math> ढलान के किनारे के अंतर्गत आता है <math>v_0</math> न्यूटन बहुभुज का। तो, मूल होने के लिए, प्रारंभिक गुणांक <math>\gamma</math> बहुपद का शून्येतर मूल होना चाहिए
-<math display=block>\chi(x)=\sum_{i\in I}c_i x^i</math>
+जहाँ {{mvar|I}} सूचकांकों का समूह {{mvar|i}} है। ऐसा है कि <math>(i, v(a_i))</math> ढलान के किनारे के अंतर्गत न्यूटन बहुभुज का <math>v_0</math> आता है। तो, मूल होने के लिए प्रारंभिक गुणांक <math>\gamma</math> बहुपद का शून्येतर मूल होना चाहिए।<math display="block">\chi(x)=\sum_{i\in I}c_i x^i</math>
 (इस अंकन का उपयोग अगले भाग में किया जाएगा)।
-संक्षेप में, न्यूटन बहुपद प्यूसेक्स श्रृंखला के सभी संभावित प्रारंभिक शब्दों की एक आसान गणना की अनुमति देता है जो समाधान हैं <math>P(y)=0.</math>
+संक्षेप में न्यूटन बहुपद प्यूसेक्स श्रृंखला के सभी संभावित प्रारंभिक शब्दों की सरल गणना की अनुमति देता है। जो <math>P(y)=0.</math> समाधान हैं।
-न्यूटन-प्यूसेक्स प्रमेय के प्रमाण में इन प्रारंभिक शर्तों से पुनरावर्ती रूप से प्यूसेक्स श्रृंखला समाधानों की अगली शर्तों की गणना करना सम्मिलित होगा।
-=== रचनात्मक प्रमाण ===
+न्यूटन-प्यूसेक्स प्रमेय के प्रमाण में इन प्रारंभिक नियमों से पुनरावर्ती रूप से प्यूसेक्स श्रृंखला समाधानों की अगली नियमों की गणना करना सम्मिलित होगा।
-मान लीजिए कि पहला कार्यकाल <math>\gamma x^{v_0}</math> एक प्यूसेक्स श्रृंखला के समाधान का <math>P(y)=0</math> पिछले अनुभाग की विधि द्वारा गणना की गई है। हिसाब करना बाकी है <math>z=y-\gamma x^{v_0}.</math> इसके लिए हमने सेट किया <math>y_0=\gamma x^{v_0},</math> और टेलर का विस्तार लिखिए {{mvar|P}} पर <math>z=y-y_0:</math>
+=== <u>रचनात्मक प्रमाण</u> ===
+माना कि पहला कार्यकाल <math>\gamma x^{v_0}</math> प्यूसेक्स श्रृंखला के समाधान का <math>P(y)=0</math> पिछले अनुभाग की विधि द्वारा गणना की गई है। <math>z=y-\gamma x^{v_0}.</math> की गणना करना शेष है। इसके लिए हमने <math>y_0=\gamma x^{v_0},</math> निर्धारित किया और {{mvar|P}} पर <math>z=y-y_0:</math> टेलर का विस्तार लिखिए।
 :<math>Q(z)=P(y_0+z)=P(y_0)+zP'(y_0)+\cdots + z^j\frac {P^{(j)}(y_0)} {j!} +\cdots</math>
-यह एक बहुपद है {{mvar|z}} जिसके गुणांक प्यूसेक्स श्रेणी में हैं {{mvar|x}}. कोई इस पर न्यूटन बहुभुज की विधि लागू कर सकता है, और एक के बाद एक प्यूसेक्स श्रृंखला की शर्तों को प्राप्त करने के लिए पुनरावृति कर सकता है। लेकिन इसका बीमा कराने के लिए कुछ सावधानी बरतने की जरूरत होती है <math>v(z)>v_0,</math> और दिखा रहा है कि एक प्यूसेक्स श्रृंखला प्राप्त करता है, अर्थात, के घातांक के हर {{mvar|x}} बंधे रहते हैं।
+यह {{mvar|z}} बहुपद है। जिसके गुणांक प्यूसेक्स श्रेणी {{mvar|x}} में हैं। कोई इस पर न्यूटन बहुभुज की विधि निर्धारिक कर सकता है और क्रमशः प्यूसेक्स श्रृंखला की नियमों को प्राप्त करने के लिए पुनरावृति कर सकता है। किन्तु इसको <math>v(z)>v_0,</math> नियमित कराने के लिए कुछ सावधानी की आवश्यकता होती है और प्रदर्शित होता है कि प्यूसेक्स श्रृंखला प्राप्त करता है अर्थात, {{mvar|x}} के घातांक के हर निर्धारित रहते हैं।
-के संबंध में व्युत्पत्ति {{mvar|y}} मूल्यांकन में परिवर्तन नहीं करता है {{mvar|x}} गुणांक; वह है,
+{{mvar|y}} के संबंध में व्युत्पत्ति {{mvar|x}} गुणांक मूल्यांकन में परिवर्तन नहीं करता है। वह है,
 :<math>v\left(P^{(j)}(y_0)z^j\right)\ge \min_i (v(a_i) +v_0)+j(v(z)-v_0),</math>
-और समानता होती है अगर और केवल अगर  <math>\chi^{(j)}(\gamma)\neq 0,</math> कहाँ <math>\chi(x)</math> पिछले खंड का बहुपद है। अगर {{mvar|m}} की बहुलता है <math>\gamma</math> की जड़ के रूप में <math>\chi,</math> इसका परिणाम यह होता है कि असमानता के लिए एक समानता है <math>j=m.</math> शर्तें ऐसी हैं <math>j>m</math> जहां तक मूल्यांकन का संबंध है, भुलाया जा सकता है <math>v(z)>v_0</math> और <math>j>m</math> मतलब
+और समानता होती है। यदि <math>\chi^{(j)}(\gamma)\neq 0,</math> जहाँ <math>\chi(x)</math> पिछले खंड का बहुपद है। यदि {{mvar|m}} की बहुलता <math>\gamma</math> की जड़ के रूप में <math>\chi,</math> है। तो इसका परिणाम यह होता है कि असमानता के लिए समानता <math>j=m.</math> है। <math>j>m</math> नियम ऐसे हैं। जहां मूल्यांकन का संबंध है और <math>v(z)>v_0</math> और <math>j>m</math> को छोड़ा जा सकता है। अर्थात्-
 :<math>v\left(P^{(j)}(y_0)z^j\right) \ge \min_i (v(a_i) +iv_0)+j(v(z)-v_0) >
 v\left(P^{(m)}(y_0)z^m\right).</math>
-इसका मतलब यह है कि, न्यूटन बहुभुज की विधि को पुनरावृत्त करने के लिए, किसी को केवल न्यूटन बहुभुज के उस भाग पर विचार करना चाहिए जिसका पहला निर्देशांक अंतराल से संबंधित है <math>[0, m].</math> दो मामलों पर अलग से विचार किया जाना है और अगले उपखंडों का विषय होगा, तथाकथित विखंडित मामला, जहां {{math|''m'' > 1}}, और नियमित मामला जहां {{math|1=''m'' = 1}}.
+इसका अर्थ यह है कि न्यूटन बहुभुज की विधि को पुनरावृत्त करने के लिए किसी को केवल न्यूटन बहुभुज के उस भाग पर विचार करना चाहिए। जिसका पहला निर्देशांक <math>[0, m].</math> अंतराल से संबंधित है। दो स्थितियों पर अलग से विचार किया जाना है और अगले उपखंडों का विषय होगा। जहाँ पर विखंडित स्थिति {{math|''m'' > 1}} और नियमित स्थिति {{math|1=''m'' = 1}} है।
-=== नियमित मामला ===
+=== नियमित स्थिति ===
-{{empty section|date=October 2021}}
+=== <u>रामिफाइड केस</u> ===
+न्यूटन बहुभुज की विधि को पुनरावर्ती रूप से निर्धारितकरने का उपाय पहले वर्णित किया गया है। जैसा कि विधि के प्रत्येक अनुप्रयोग में वृद्धि हो सकती है। शाखायुक्त स्थितियोे में घातांकों के हर (मूल्यांकन), यह सिद्ध करने के लिए रहता है कि पुनरावृत्तियों की परिमित संख्या के बाद नियमित स्थिति तक पहुँचता है। अन्यथा परिणामी श्रृंखला के घातांकों के हर बाध्य नहीं होगा और यह श्रृंखला प्यूसेक्स श्रृंखला नहीं होगी। उसी प्रकार यह भी सिद्ध किया जाएगा कि किसी को स्पष्ट रूप से कई प्यूसेक्स श्रृंखला के समाधान मिलते हैं। जो कि <math>P(y)</math> में {{mvar|y}} डिग्री है।
-=== रामिफाइड केस ===
+सामान्यता की हानि के बिना <math>P(0)\neq 0,</math> कोई यह मान सकता है। वह <math>a_0\neq 0.</math> है। अर्थात् प्रत्येक कारक {{mvar|y}} का <math>P(y)</math> एक ऐसा समाधान प्रदान करता है। जो शून्य प्यूसियक्स श्रृंखला है और ऐसे कारकों का कारक निकाला जा सकता है।
-न्यूटन बहुभुज की विधि को पुनरावर्ती रूप से लागू करने का तरीका पहले वर्णित किया गया है। जैसा कि विधि के प्रत्येक अनुप्रयोग में वृद्धि हो सकती है, शाखायुक्त मामले में, घातांकों के हर (मूल्यांकन), यह साबित करने के लिए रहता है कि पुनरावृत्तियों की एक परिमित संख्या के बाद नियमित मामले तक पहुँचता है (अन्यथा परिणामी श्रृंखला के घातांकों के हर) बाध्य नहीं होगा, और यह श्रृंखला एक प्यूसेक्स श्रृंखला नहीं होगी। वैसे, यह भी सिद्ध किया जाएगा कि किसी को उम्मीद के मुताबिक सटीक रूप से कई प्यूसेक्स श्रृंखला के समाधान मिलते हैं, जो कि डिग्री है <math>P(y)</math> में {{mvar|y}}.
-सामान्यता के नुकसान के बिना, कोई यह मान सकता है <math>P(0)\neq 0,</math> वह है, <math>a_0\neq 0.</math> दरअसल, प्रत्येक कारक {{mvar|y}} का <math>P(y)</math> एक ऐसा समाधान प्रदान करता है जो शून्य प्यूसियक्स श्रृंखला है, और ऐसे कारकों का कारक निकाला जा सकता है।
+जैसा कि विशेषता को शून्य माना जाता है। कोई यह भी मान सकता है कि <math>P(y)</math> एक वर्ग-मुक्त बहुपद है। जिसका समाधान <math>P(y)=0</math> है। अर्थात् [[वर्ग मुक्त गुणनखंडन]] फ़ैक्टरिंग के लिए केवल गुणांक के क्षेत्र के संचालन का उपयोग करता है और <math>P(y)</math> वर्ग-मुक्त कारकों में अलग से हल किया जा सकता है। विशेषता शून्य की परिकल्पना की आवश्यकता है क्योंकि {{mvar|p}} विशेषता में वर्ग-मुक्त अपघटन अलघुकरणीय कारक प्रदान कर सकता है। जैसे <math>y^p-x,</math> जिसकी बीजगणितीय विस्तार पर कई रूट्स उपस्थित हैं।
-जैसा कि विशेषता को शून्य माना जाता है, कोई यह भी मान सकता है <math>P(y)</math> एक वर्ग-मुक्त बहुपद है, जिसका समाधान है <math>P(y)=0</math> सब अलग हैं। दरअसल, [[वर्ग मुक्त गुणनखंडन]] फ़ैक्टरिंग के लिए केवल गुणांक के क्षेत्र के संचालन का उपयोग करता है <math>P(y)</math> वर्ग-मुक्त कारकों में अलग से हल किया जा सकता है। (विशेषता शून्य की परिकल्पना की आवश्यकता है, क्योंकि विशेषता में {{mvar|p}}, वर्ग-मुक्त अपघटन अलघुकरणीय कारक प्रदान कर सकता है, जैसे <math>y^p-x,</math> जिसकी एक बीजगणितीय विस्तार पर कई जड़ें हैं।)
+इस संदर्भ में न्यूटन बहुभुज के किनारे की लंबाई को इसके अंतिम बिंदुओं के भुज के अंतर के रूप में परिभाषित करता है। बहुभुज की लंबाई उसके किनारों की लंबाई का योग है। <math>P(0)\neq 0,</math> परिकल्पना के साथ न्यूटन के बहुभुज की लंबाई {{mvar|P}} इसकी डिग्री {{mvar|y}} है। वह इसकी जड़ों की संख्या है। न्यूटन बहुभुज के किनारे की लंबाई किसी दिए गए मूल्यांकन की जड़ों की संख्या है। यह संख्या पहले परिभाषित बहुपद की डिग्री <math>\chi(x).</math> के बराबर है।
-इस संदर्भ में, एक न्यूटन बहुभुज के किनारे की लंबाई को इसके अंतिम बिंदुओं के भुज के अंतर के रूप में परिभाषित करता है। बहुभुज की लंबाई उसके किनारों की लंबाई का योग है। परिकल्पना के साथ <math>P(0)\neq 0,</math> न्यूटन के बहुभुज की लंबाई {{mvar|P}} इसकी डिग्री है {{mvar|y}}, वह इसकी जड़ों की संख्या है। न्यूटन बहुभुज के किनारे की लंबाई किसी दिए गए मूल्यांकन की जड़ों की संख्या है। यह संख्या पहले परिभाषित बहुपद की डिग्री के बराबर है <math>\chi(x).</math>
+इस प्रकार रेमीफाइड स्थिति दो या अधिक समाधानों से मिलती है। जिनकी प्रारंभिक अवधि समान है। चूंकि इन समाधानों को अलग होना चाहिए (वर्ग-मुक्त परिकल्पना), उन्हें पुनरावृत्तियों की एक सीमित संख्या के बाद अलग होना चाहिए। अर्थात् अंततः एक बहुपद <math>\chi(x)</math> प्राप्त होता है। यह वर्ग मुक्त है और गणना प्रत्येक रूट के लिए नियमित स्थिति <math>\chi(x).</math> में जारी रह सकती है।
-इस प्रकार रेमीफाइड मामला दो (या अधिक) समाधानों से मेल खाता है जिनकी प्रारंभिक अवधि समान है। चूंकि इन समाधानों को अलग होना चाहिए (वर्ग-मुक्त परिकल्पना), उन्हें पुनरावृत्तियों की एक सीमित संख्या के बाद अलग होना चाहिए। यानी, अंततः एक बहुपद प्राप्त होता है <math>\chi(x)</math> यह वर्ग मुक्त है, और गणना प्रत्येक रूट के लिए नियमित मामले में जारी रह सकती है <math>\chi(x).</math>
-चूंकि नियमित मामले की पुनरावृत्ति घातांक के हर में वृद्धि नहीं करती है, इससे पता चलता है कि विधि प्यूसेक्स श्रृंखला के रूप में सभी समाधान प्रदान करती है, अर्थात, जटिल संख्या पर प्यूसेक्स श्रृंखला का क्षेत्र एक बीजीय रूप से बंद क्षेत्र है जिसमें एकतरफा बहुपद होता है जटिल गुणांक के साथ अंगूठी।
-=== सकारात्मक विशेषता में विफलता ===
+चूंकि नियमित स्थिति की पुनरावृत्ति घातांक के हर में वृद्धि नहीं करती है। इससे पता चलता है कि विधि प्यूसेक्स श्रृंखला के रूप में सभी समाधान प्रदान करती है। अर्थात जटिल संख्या पर प्यूसेक्स श्रृंखला का क्षेत्र एक बीजीय रूप से बंद क्षेत्र है। जिसमें एक ओर बहुपद होता है।
-न्यूटन-प्यूसेक्स प्रमेय सकारात्मक विशेषता वाले क्षेत्रों पर मान्य नहीं है। उदाहरण के लिए, समीकरण <math>X^2 - X = T^{-1}</math> समाधान हैं
+=== धनात्मक विशेषता में विफलता ===
+न्यूटन-प्यूसेक्स प्रमेय धनात्मक विशेषता वाले क्षेत्रों पर मान्य नहीं है। उदाहरण के लिए समीकरण <math>X^2 - X = T^{-1}</math> समाधान हैं।
 :<math>X = T^{-1/2} + \frac{1}{2} + \frac{1}{8}T^{1/2} - \frac{1}{128}T^{3/2} + \cdots</math>
@@ Line 121: / Line 122: @@
 :<math>X = -T^{-1/2} + \frac{1}{2} - \frac{1}{8}T^{1/2} + \frac{1}{128}T^{3/2} + \cdots</math>
-(पहली कुछ शर्तों पर आसानी से जांच की जाती है कि इन दो श्रृंखलाओं का योग और उत्पाद 1 और है <math>-T^{-1}</math> क्रमश; यह तब मान्य होता है जब आधार फ़ील्ड K की विशेषता 2 से भिन्न होती है)।
+(प्रथम कुछ नियमों पर सरलता से जांच की जाती है कि इन दो श्रृंखलाओं का योग और उत्पाद 1 है और <math>-T^{-1}</math> क्रमश; यह तब मान्य होता है। जब आधार फ़ील्ड K की विशेषता 2 से भिन्न होती है)।
-जैसा कि पिछले उदाहरण के गुणांकों के हरों में 2 की शक्तियां किसी को विश्वास करने के लिए प्रेरित कर सकती हैं, प्रमेय का कथन सकारात्मक विशेषता में सत्य नहीं है। आर्टिन-श्रेयर सिद्धांत का उदाहरण | आर्टिन-श्रेयर समीकरण <math>X^p - X = T^{-1}</math> यह दिखाता है: वैल्यूएशन के साथ तर्क से पता चलता है कि एक्स का वैल्यूएशन होना चाहिए <math display="inline">-\frac{1}{p}</math>, और अगर हम इसे फिर से लिखते हैं <math>X = T^{-1/p} + X_1</math> तब
+जैसा कि पिछले उदाहरण के गुणांकों के हरों में 2 की पावर किसी को विश्वास करने के लिए प्रेरित कर सकती हैं और प्रमेय का कथन धनात्मक विशेषता में सत्य नहीं है। आर्टिन-श्रेयर सिद्धांत का उदाहरण आर्टिन-श्रेयर समीकरण <math>X^p - X = T^{-1}</math> यह दिखाता है: वैल्यूएशन के साथ तर्क से पता चलता है कि X का वैल्यूएशन <math display="inline">-\frac{1}{p}</math> होना चाहिए और यदि हम इसे <math>X = T^{-1/p} + X_1</math> फिर से लिखते हैं। तब
 :<math>X^p = T^{-1} + {X_1}^p,\text{ so }{X_1}^p - X_1 = T^{-1/p}</math>
-और एक ऐसा ही दिखाता है <math>X_1</math> मूल्यांकन होना चाहिए <math display="inline">-\frac{1}{p^2}</math>, और इस तरह आगे बढ़ने से श्रृंखला प्राप्त होती है
+और <math>X_1</math> ऐसा ही प्रदर्शित होता है, <math display="inline">-\frac{1}{p^2}</math> मूल्यांकन होना चाहिए और इस प्रकार आगे बढ़ने से श्रृंखला प्राप्त होती है।
 :<math>T^{-1/p} + T^{-1/p^2} + T^{-1/p^3} + \cdots;</math>
-चूँकि इस श्रृंखला का प्यूज़ेक्स श्रृंखला के रूप में कोई मतलब नहीं है - क्योंकि घातांकों में असीम भाजक हैं - मूल समीकरण का कोई हल नहीं है। हालांकि, इस तरह के ईसेनस्टीन की कसौटी अनिवार्य रूप से केवल एक समाधान नहीं है, क्योंकि, अगर <math>K</math> बीजगणितीय रूप से विशेषता से बंद है <math>p>0</math>, फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया <math>K</math> के अधिकतम टेमिली रेमिफिकेशन (गणित) विस्तार का पूर्ण समापन है <math>K(\!(T)\!)</math>.<ref name="Kedlaya2001Intro" />
+चूँकि इस श्रृंखला का प्यूसेक्स श्रृंखला के रूप में कोई अर्थ नहीं है क्योंकि घातांकों में असीम भाजक हैं। मूल समीकरण का कोई हल नहीं है। चूंकि इस प्रकार के ईसेनस्टीन अनिवार्य रूप से केवल एक समाधान नहीं है क्योंकि यदि <math>K</math> बीजगणितीय रूप से <math>p>0</math> विशेषता से बंद है। फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया और <math>K</math> के अधिकतम टेमिली रेमिफिकेशन (गणित) विस्तार का पूर्ण समापन <math>K(\!(T)\!)</math> है।<ref name="Kedlaya2001Intro" />
-इसी तरह बीजगणितीय बंद होने के मामले में, वास्तविक बंद क्षेत्र के लिए एक समान प्रमेय है: यदि <math>K</math> एक वास्तविक बंद क्षेत्र है, तो प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया है <math>K</math> औपचारिक लॉरेंट श्रृंखला के क्षेत्र के खत्म होने का वास्तविक समापन है <math>K</math>.<ref>Basu &amp;al (2006), chapter&nbsp;2 ("Real Closed Fields"), theorem&nbsp;2.91 (p.&nbsp;75)</ref> (यह पूर्व प्रमेय का तात्पर्य है क्योंकि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र कुछ वास्तविक-बंद क्षेत्र का अद्वितीय द्विघात विस्तार है।)
+इसी प्रकार बीजगणितीय बंद होने के स्थिति में, वास्तविक बंद क्षेत्र के लिए एक समान प्रमेय है। यदि <math>K</math> एक वास्तविक बंद क्षेत्र है। जिससे प्यूसेक्स श्रृंखला का क्षेत्र <math>K</math> खत्म हो गया है। औपचारिक लॉरेंट श्रृंखला के क्षेत्र <math>K</math> के खत्म होने का वास्तविक समापन है।<ref>Basu &amp;al (2006), chapter&nbsp;2 ("Real Closed Fields"), theorem&nbsp;2.91 (p.&nbsp;75)</ref> (यह पूर्व प्रमेय का तात्पर्य है क्योंकि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र कुछ वास्तविक-बंद क्षेत्र का अद्वितीय द्विघात विस्तार है।)
+p-एडिकली क्लोज्ड फील्ड: यदि <math>K</math> के लिए एक अनुरूप परिणाम भी है। <math>p</math> मूल्यांकन के संबंध में <math>w</math> आदर्श रूप से बंद क्षेत्र है। फिर प्यूसेक्स श्रृंखला का क्षेत्र <math>K</math> खत्म हो गया।<ref>Cherlin (1976), chapter&nbsp;2 ("The Ax–Kochen–Ershof Transfer Principle"), §7 ("Puiseux series fields")</ref>
-p-adically Closed field|p-adic Closer: if के लिए एक अनुरूप परिणाम भी है <math>K</math> एक है <math>p</math>मूल्यांकन के संबंध में -आदर्श रूप से बंद क्षेत्र <math>w</math>, फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया <math>K</math> ई आल्सो <math>p</math>-आदर्श रूप से बंद।<ref>Cherlin (1976), chapter&nbsp;2 ("The Ax–Kochen–Ershof Transfer Principle"), §7 ("Puiseux series fields")</ref><!-- I don't know whether it is *the* p-adic closure or whether it can be larger: can someone settle this? -->
@@ Line 139: / Line 141: @@
 === बीजगणितीय वक्र ===
-होने देना <math>X</math> एक बीजगणितीय वक्र हो<ref>We assume that <math>X</math> is [[Algebraic variety|irreducible]] or, at least, that it is reduced and that it does not contain the <math>y</math> coordinate axis.</ref> एक affine समीकरण द्वारा दिया गया <math>F(x,y)=0</math> बीजगणितीय रूप से बंद क्षेत्र पर <math>K</math> विशेषता शून्य की, और एक बिंदु पर विचार करें <math>p</math> पर <math>X</math> जिसे हम मान सकते हैं <math>(0,0)</math>. हम यह भी मानते हैं <math>X</math> निर्देशांक अक्ष नहीं है <math>x=0</math>. फिर एक  प्यूसेक्स विस्तार (द <math>y</math> का समन्वय) <math>X</math> पर <math>p</math> प्यूसेक्स श्रृंखला है <math>f</math> सकारात्मक मूल्यांकन होने के नाते <math>F(x,f(x))=0</math>.
+<math>X</math> एक बीजगणितीय वक्र हो।<ref>We assume that <math>X</math> is [[Algebraic variety|irreducible]] or, at least, that it is reduced and that it does not contain the <math>y</math> coordinate axis.</ref> यह एक अफीन समीकरण <math>F(x,y)=0</math> द्वारा दिया गया है। बीजगणितीय रूप से बंद क्षेत्र <math>K</math> पर विशेषता शून्य की और एक बिंदु पर <math>p</math> पर <math>X</math> विचार करें। जिसे हम <math>(0,0)</math> मान सकते हैं। हम यह भी मानते हैं <math>X</math> निर्देशांक अक्ष <math>x=0</math> नहीं है। फिर प्यूसेक्स विस्तार <math>X</math> पर <math>p</math> प्यूसेक्स श्रृंखला <math>f</math> धनात्मक मूल्यांकन होने के लिये <math>F(x,f(x))=0</math> है।
-अधिक सटीक रूप से, आइए हम की शाखाओं को परिभाषित करें <math>X</math> पर <math>p</math> अंक होना <math>q</math> [[नोथेर सामान्यीकरण लेम्मा]] का <math>Y</math> का <math>X</math> किस मानचित्र पर <math>p</math>. ऐसे प्रत्येक के लिए <math>q</math>, एक स्थानीय समन्वय है <math>t</math> का <math>Y</math> पर <math>q</math> (जो एक चिकना बिंदु है) जैसे कि निर्देशांक <math>x</math> और <math>y</math> की औपचारिक शक्ति श्रृंखला के रूप में व्यक्त किया जा सकता है <math>t</math>, कहना <math>x = t^n + \cdots</math> (तब से <math>K</math> बीजगणितीय रूप से बंद है, हम मान सकते हैं कि मूल्यांकन गुणांक 1) और <math>y = c t^k + \cdots</math>: तब फॉर्म की एक अनूठी प्यूसेक्स श्रृंखला है <math>f = c T^{k/n} + \cdots</math> (एक शक्ति श्रृंखला में <math>T^{1/n}</math>), ऐसा है कि <math>y(t)=f(x(t))</math> (बाद की अभिव्यक्ति तब से अर्थपूर्ण है <math>x(t)^{1/n} = t+\cdots</math> में एक अच्छी तरह से परिभाषित शक्ति श्रृंखला है <math>t</math>). यह का प्यूसेक्स विस्तार है <math>X</math> पर <math>p</math> जो की दी हुई शाखा से संबंधित बताया जाता है <math>q</math> (या बस, उस शाखा का प्यूसेक्स विस्तार <math>X</math>), और प्रत्येक प्यूसेक्स का विस्तार <math>X</math> पर <math>p</math> की एक अनूठी शाखा के लिए इस प्रकार दिया जाता है <math>X</math> पर <math>p</math>.<ref>Shafarevich (1994), II.5, pp.&nbsp;133–135</ref><ref>Cutkosky (2004), chapter&nbsp;2, pp.&nbsp;3–11</ref>
+अधिक स्पष्ट रूप से आइए हम <math>X</math> पर <math>p</math> की शाखाओं को परिभाषित करें। <math>q</math> [[नोथेर सामान्यीकरण लेम्मा]] का <math>Y</math> का <math>X</math> किस मानचित्र पर <math>p</math> अंक उपस्थित है। ऐसे प्रत्येक <math>q</math> के लिए एक स्थानीय समन्वय <math>t</math> का <math>Y</math> पर <math>q</math> है। जैसे कि निर्देशांक <math>x</math> और <math>y</math> की औपचारिक पावर श्रृंखला <math>t</math> के रूप में व्यक्त किया जा सकता है। ज्ञात है कि <math>x = t^n + \cdots</math> (तब से <math>K</math> बीजगणितीय रूप से बंद है। हम मान सकते हैं कि मूल्यांकन गुणांक 1) और <math>y = c t^k + \cdots</math>: तब फॉर्म की एक रिंग प्यूसेक्स श्रृंखला <math>f = c T^{k/n} + \cdots</math> (एक पावर श्रृंखला में <math>T^{1/n}</math>) है। ऐसा है कि <math>y(t)=f(x(t))</math> (बाद की अभिव्यक्ति तब से अर्थपूर्ण है। <math>x(t)^{1/n} = t+\cdots</math> में अच्छी प्रकार से परिभाषित पावर श्रृंखला <math>t</math> है)। यह <math>X</math> पर <math>p</math> का प्यूसेक्स विस्तार है। जो <math>q</math> की दी हुई शाखा से संबंधित बताया जाता है। (या उस शाखा का प्यूसेक्स विस्तार <math>X</math>) और प्रत्येक प्यूसेक्स का विस्तार <math>X</math> पर <math>p</math> की एक विशेष शाखा <math>X</math> पर <math>p</math> के लिए इस प्रकार दिया जाता है।<ref>Shafarevich (1994), II.5, pp.&nbsp;133–135</ref><ref>Cutkosky (2004), chapter&nbsp;2, pp.&nbsp;3–11</ref>
-एक बीजगणितीय वक्र या फलन की शाखाओं के एक औपचारिक पैरामीट्रिजेशन के अस्तित्व को प्यूसेक्स के प्रमेय के रूप में भी संदर्भित किया जाता है: इसमें यकीनन वही गणितीय सामग्री है जो इस तथ्य के रूप में है कि प्यूसेक्स श्रृंखला का क्षेत्र बीजगणितीय रूप से बंद है और ऐतिहासिक रूप से अधिक सटीक वर्णन है मूल लेखक का कथन।<ref>Puiseux (1850), p.&nbsp;397</ref>
-उदाहरण के लिए, वक्र <math>y^2 = x^3 + x^2</math> (जिसका सामान्यीकरण समन्वय के साथ एक रेखा है <math>t</math> और नक्शा <math>t \mapsto (t^2-1,t^3-t)</math>) की दो शाखाएँ दोहरे बिंदु (0,0) पर होती हैं, जो बिंदुओं के अनुरूप होती हैं <math>t=+1</math> और <math>t=-1</math> सामान्यीकरण पर, जिनके प्यूसेक्स विस्तार हैं <math display="inline">y = x + \frac{1}{2}x^2 - \frac{1}{8}x^3 + \cdots</math> और <math display="inline">y = - x - \frac{1}{2}x^2 + \frac{1}{8}x^3 + \cdots</math> क्रमशः (यहाँ, दोनों घात श्रेणी हैं क्योंकि <math>x</math> समन्वय Étale morphism|étale सामान्यीकरण में संबंधित बिंदुओं पर है)। चिकने बिंदु पर <math>(-1,0)</math> (जो है <math>t=0</math> सामान्यीकरण में), इसकी एक ही शाखा है, जिसे प्यूसेक्स विस्तार द्वारा दिया गया है <math>y = -(x+1)^{1/2} + (x+1)^{3/2}</math> (द <math>x</math> समन्वय इस बिंदु पर शाखा करता है, इसलिए यह एक शक्ति श्रृंखला नहीं है)।
-वक्र <math>y^2 = x^3</math> (जिसका सामान्यीकरण फिर से समन्वय वाली एक रेखा है <math>t</math> और नक्शा <math>t \mapsto (t^2,t^3)</math>), दूसरी ओर, [[कस्प (विलक्षणता)]] पर एक ही शाखा है <math>(0,0)</math>, जिसका प्यूसेक्स विस्तार है <math>y = x^{3/2}</math>.
+बीजगणितीय वक्र या फलन की शाखाओं के औपचारिक पैरामीट्रिजेशन के अस्तित्व को प्यूसेक्स के प्रमेय के रूप में भी संदर्भित किया जाता है। इसमें वह ही गणितीय सामग्री है। जो इस तथ्य के रूप में है कि प्यूसेक्स श्रृंखला का क्षेत्र बीजगणितीय रूप से बंद है और पूर्ण रूप से अधिक स्पष्ट वर्णन है।<ref>Puiseux (1850), p.&nbsp;397</ref>
+उदाहरण के लिए वक्र <math>y^2 = x^3 + x^2</math> (जिसका सामान्यीकरण समन्वय <math>t</math> के साथ एक रेखा है और क्षेत्र <math>t \mapsto (t^2-1,t^3-t)</math>) की दो शाखाएँ दोहरे बिंदु (0,0) पर होती हैं। जो <math>t=+1</math> और <math>t=-1</math> सामान्यीकरण पर बिंदुओं के अनुरूप होती हैं। जिनके प्यूसेक्स विस्तार <math display="inline">y = x + \frac{1}{2}x^2 - \frac{1}{8}x^3 + \cdots</math> और <math display="inline">y = - x - \frac{1}{2}x^2 + \frac{1}{8}x^3 + \cdots</math> क्रमशः हैं। (यहाँ दोनों घात श्रेणी हैं क्योंकि <math>x</math> समन्वय एटेल मोर्फिज्म में संबंधित बिंदुओं पर है)। चिकने बिंदु पर <math>(-1,0)</math> (जो <math>t=0</math> सामान्यीकरण में है)। इसकी एक ही शाखा है। जिसे प्यूसेक्स विस्तार द्वारा दिया गया है- <math>y = -(x+1)^{1/2} + (x+1)^{3/2}</math> (इस बिंदु पर <math>x</math> समन्वय शाखा करता है। इसलिए यह एक पावर श्रृंखला नहीं है)।
+वक्र <math>y^2 = x^3</math> (जिसका सामान्यीकरण फिर से <math>t</math> समन्वय वाली एक रेखा है और क्षेत्र <math>t \mapsto (t^2,t^3)</math> दूसरी ओर [[कस्प (विलक्षणता)]] <math>(0,0)</math> पर एक ही शाखा है। जिसका प्यूसेक्स विस्तार <math>y = x^{3/2}</math> है।
 === विश्लेषणात्मक अभिसरण ===
-कब <math>K=\Complex</math> सम्मिश्र संख्याओं का क्षेत्र है, एक बीजगणितीय वक्र (जैसा कि ऊपर परिभाषित किया गया है) का  प्यूसेक्स विस्तार इस अर्थ में अभिसरण का त्रिज्या है कि किसी दिए गए विकल्प के लिए <math>n</math>-वाँ मूल <math>x</math>, वे काफी छोटे के लिए अभिसरण करते हैं <math>|x|</math>, इसलिए की प्रत्येक शाखा के एक विश्लेषणात्मक parametrization को परिभाषित करें <math>X</math> के पड़ोस में <math>p</math> (अधिक सटीक रूप से, पैरामीट्रिजेशन इसके द्वारा है <math>n</math>-वाँ मूल <math>x</math>).
+जब <math>K=\Complex</math> सम्मिश्र संख्याओं का क्षेत्र है। बीजगणितीय वक्र (जैसा कि ऊपर परिभाषित किया गया है) का प्यूसेक्स विस्तार इस अर्थ में अभिसरण की त्रिज्या है कि किसी दिए गए विकल्प के लिए <math>n</math>-वाँ मूल <math>x</math> वे काफी छोटे <math>|x|</math> के लिए अभिसरण करते हैं। इसलिए की प्रत्येक शाखा के विश्लेषणात्मक पैरामीट्रिजेशन <math>X</math> के निकटम में <math>p</math> को परिभाषित करें। (अधिक स्पष्ट रूप से पैरामीट्रिजेशन <math>n</math>-वाँ मूल <math>x</math> इसके द्वारा है।)
 == सामान्यीकरण ==
 === लेवी-सिविता क्षेत्र ===
-{{main|Levi-Civita field}}
+{{main|लेवी- सिविता क्षेत्र}}
-प्यूसेक्स श्रृंखला का क्षेत्र मीट्रिक स्थान के रूप में पूर्ण मीट्रिक स्थान नहीं है। इसकी पूर्णता, जिसे लेवी-सीविटा क्षेत्र कहा जाता है, का वर्णन इस प्रकार किया जा सकता है: यह रूप की औपचारिक अभिव्यक्ति का क्षेत्र है <math display="inline">f = \sum_e c_e T^e,</math> जहां गुणांकों का समर्थन (अर्थात, ई का सेट ऐसा है <math>c_e \neq 0</math>) परिमेय संख्याओं के बढ़ते क्रम की श्रेणी है जो या तो परिमित है या जिसकी ओर झुकाव है <math>+\infty</math>. दूसरे शब्दों में, ऐसी श्रंखला असीमित भाजक के घातांकों को स्वीकार करती है, बशर्ते कि घातांक के बहुत से पद इससे कम हों <math>A</math> किसी दिए गए बंधन के लिए <math>A</math>. उदाहरण के लिए, <math display="inline">\sum_{k=1}^{+\infty} T^{k+\frac{1}{k}}</math> प्यूसेक्स श्रृंखला नहीं है, लेकिन यह प्यूसेक्स श्रृंखला के [[कॉची अनुक्रम]] की सीमा है; विशेष रूप से, यह की सीमा है <math display="inline">\sum_{k=1}^{N} T^{k+\frac{1}{k}}</math> जैसा <math>N \to +\infty</math>. चूंकि, यह पूर्णता अभी भी इस अर्थ में अधिकतम रूप से पूर्ण नहीं है कि यह गैर-तुच्छ विस्तारों को स्वीकार करती है जो समान मूल्य समूह और अवशेष क्षेत्र वाले मूल्यवान क्षेत्र हैं,<ref>{{cite journal |last1=Poonen |first1=Bjorn |year=1993 |title=ज़्यादा से ज़्यादा पूरे फ़ील्ड|journal=Enseign. Math. |volume=39 |pages=87–106 }}</ref><ref>{{cite journal |last1=Kaplansky |first1=Irving |year=1942 |title=वैल्यूएशन के साथ मैक्सिमल फील्ड्स|journal=Duke Math. J. |volume=9 |issue=2 |pages=303–321|doi=10.1215/s0012-7094-42-00922-0}}</ref> इसलिए इसे और भी पूरा करने का अवसर।
+प्यूसेक्स श्रृंखला का क्षेत्र मीट्रिक स्थान के रूप में पूर्ण मीट्रिक स्थान नहीं है। इसकी पूर्णता का वर्णन इस प्रकार किया जा सकता है। जिसे लेवी-सीविटा क्षेत्र कहा जाता है। यह <math display="inline">f = \sum_e c_e T^e,</math> रूप की औपचारिक अभिव्यक्ति का क्षेत्र है। जहां गुणांकों का समर्थन (अर्थात, e का समूह <math>c_e \neq 0</math> है।) परिमेय संख्याओं के बढ़ते क्रम की श्रेणी है। जो या तो परिमित है या जिसकी ओर झुकाव <math>+\infty</math> है। दूसरे शब्दों में ऐसी श्रंखला असीमित भाजक के घातांकों को स्वीकार करती है। बिना शर्त के लिये कि किसी दिए गए बंधन के लिए <math>A</math> घातांक के बहुत से पद <math>A</math> इससे कम हों। उदाहरण के लिए <math display="inline">\sum_{k=1}^{+\infty} T^{k+\frac{1}{k}}</math> प्यूसेक्स श्रृंखला नहीं है। किन्तु यह प्यूसेक्स श्रृंखला के [[कॉची अनुक्रम]] की सीमा है। विशेष रूप से यह <math display="inline">\sum_{k=1}^{N} T^{k+\frac{1}{k}}</math> की सीमा है। जैसा <math>N \to +\infty</math>. चूंकि यह पूर्णता अभी भी इस अर्थ में अधिकतम रूप से पूर्ण नहीं है कि यह गैर-तुच्छ विस्तारों को स्वीकार करती है। जो समान मूल्य समूह और अवशेष क्षेत्र वाले मूल्यवान क्षेत्र हैं।<ref>{{cite journal |last1=Poonen |first1=Bjorn |year=1993 |title=ज़्यादा से ज़्यादा पूरे फ़ील्ड|journal=Enseign. Math. |volume=39 |pages=87–106 }}</ref><ref>{{cite journal |last1=Kaplansky |first1=Irving |year=1942 |title=वैल्यूएशन के साथ मैक्सिमल फील्ड्स|journal=Duke Math. J. |volume=9 |issue=2 |pages=303–321|doi=10.1215/s0012-7094-42-00922-0}}</ref> इसलिए इसे और भी पूरा करने का अवसर नहीं प्राप्त हुआ है।
 === हैन श्रृंखला ===
-{{main|Hahn series}}
+{{main|हान श्रृंखला}}
-हैन श्रृंखला, प्यूसेक्स श्रृंखला का एक और (बड़ा) सामान्यीकरण है, जिसे [[हंस हैन (गणितज्ञ)]] ने 1907 में अपने [[हैन एम्बेडिंग प्रमेय]] के प्रमाण के दौरान पेश किया था और फिर हिल्बर्ट की सत्रहवीं समस्या के प्रति उनके दृष्टिकोण में उनके द्वारा अध्ययन किया गया था। एक हैन श्रृंखला में, घातांकों को परिबद्ध भाजक की आवश्यकता के बजाय उन्हें एक [[अच्छी तरह से आदेश]] बनाने की आवश्यकता होती है। मूल्य समूह का सुव्यवस्थित उपसमुच्चय (सामान्यतः <math>\Q</math> या <math>\R</math>). इन्हें बाद में [[अनातोली माल्टसेव]] और [[बर्नहार्ड न्यूमैन]] द्वारा एक गैर-कम्यूटेटिव सेटिंग के लिए सामान्यीकृत किया गया था (इसलिए उन्हें कभी-कभी हैन-मालसेव-न्यूमैन श्रृंखला के रूप में जाना जाता है)। हैन श्रृंखला का उपयोग करना, सकारात्मक विशेषता में बिजली श्रृंखला के क्षेत्र के बीजगणितीय समापन का विवरण देना संभव है जो कुछ हद तक प्यूसेक्स श्रृंखला के क्षेत्र के अनुरूप है।<ref>Kedlaya (2001)</ref>
+हैन श्रृंखला प्यूसेक्स श्रृंखला का अधिक (बड़ा) सामान्यीकरण रूप है। जिसे [[हंस हैन (गणितज्ञ)]] ने 1907 में अपने [[हैन एम्बेडिंग प्रमेय]] के प्रमाण के समय प्रस्तुत किया था और फिर हिल्बर्ट की सत्रहवीं समस्या के प्रति उनके दृष्टिकोण में उनके द्वारा अध्ययन किया गया था। हैन श्रृंखला में घातांकों को परिबद्ध भाजक की आवश्यकता के अतिरिक्त उन्हें [[अच्छी तरह से आदेश|सुव्यवस्थित उपसमुच्चय]] बनाने की आवश्यकता होती है। इन्हें बाद में [[अनातोली माल्टसेव]] और [[बर्नहार्ड न्यूमैन]] द्वारा गैर-कम्यूटेटिव सेटिंग के लिए सामान्यीकृत किया गया था। इसलिए उन्हें कभी-कभी हैन-मालसेव-न्यूमैन श्रृंखला के रूप में जाना जाता है। हैन श्रृंखला का उपयोग करना धनात्मक विशेषता में पावर श्रृंखला के क्षेत्र के बीजगणितीय समापन का विवरण देना संभव है। जो प्यूसेक्स श्रृंखला के क्षेत्र के अनुरूप है।<ref>Kedlaya (2001)</ref>
@@ Line 194: / Line 199: @@
 {{Isaac Newton}}
 {{series (mathematics)}}
-[[Category: क्रमविनिमेय बीजगणित]] [[Category: बीजगणितीय वक्र]] [[Category: गणितीय श्रृंखला]]
-[[Category: Machine Translated Page]]
+[[Category:All articles with dead external links]]
+[[Category:Articles with dead external links from June 2020]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Collapse templates]]
 [[Category:Created On 03/03/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Multi-column templates]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages using div col with small parameter]]
+[[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 Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Templates using under-protected Lua modules]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:Wikipedia metatemplates]]
+[[Category:क्रमविनिमेय बीजगणित]]
+[[Category:गणितीय श्रृंखला]]
+[[Category:बीजगणितीय वक्र]]

v t e Sir Isaac Newton
Publications	Fluxions (1671) De Motu (1684) Principia (1687; writing) Opticks (1704) Queries (1704) Arithmetica (1707) De Analysi (1711)
Other writings	Quaestiones (1661–1665) "standing on the shoulders of giants" (1675) Notes on the Jewish Temple (c. 1680) "General Scholium" (1713; "hypotheses non fingo" ) Ancient Kingdoms Amended (1728) Corruptions of Scripture (1754)
Contributions	Calculus fluxion Impact depth Inertia Newton disc Newton polygon Newton–Okounkov body Newton's reflector Newtonian telescope Newton scale Newton's metal Spectrum Structural coloration
Newtonianism	Bucket argument Newton's inequalities Newton's law of cooling Newton's law of universal gravitation post-Newtonian expansion parameterized gravitational constant Newton–Cartan theory Schrödinger–Newton equation Newton's laws of motion Kepler's laws Newtonian dynamics Newton's method in optimization Apollonius's problem truncated Newton method Gauss–Newton algorithm Newton's rings Newton's theorem about ovals Newton–Pepys problem Newtonian potential Newtonian fluid Classical mechanics Corpuscular theory of light Leibniz–Newton calculus controversy Newton's notation Rotating spheres Newton's cannonball Newton–Cotes formulas Newton's method generalized Gauss–Newton method Newton fractal Newton's identities Newton polynomial Newton's theorem of revolving orbits Newton–Euler equations Newton number kissing number problem Newton's quotient Parallelogram of force Newton–Puiseux theorem Absolute space and time Luminiferous aether Newtonian series table
Personal life	Woolsthorpe Manor (birthplace) Cranbury Park (home) Early life Later life Religious views Occult studies Scientific Revolution Copernican Revolution
Relations	Catherine Barton (niece) John Conduitt (nephew-in-law) Isaac Barrow (professor) William Clarke (mentor) Benjamin Pulleyn (tutor) John Keill (disciple) William Stukeley (friend) William Jones (friend) Abraham de Moivre (friend)
Depictions	Newton by Blake (monotype) Newton by Paolozzi (sculpture)
Namesake	Newton (unit) Newton's cradle Isaac Newton Institute Isaac Newton Medal Isaac Newton Telescope Isaac Newton Group of Telescopes Sir Isaac Newton Sixth Form Statal Institute of Higher Education Isaac Newton Newton International Fellowship
Categories	Category Isaac Newton not found

Anonymous

Search

प्यूसेक्स श्रृंखला: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:21, 16 April 2023

Contents

परिभाषा

मूल्यांकन

अभिसरण प्यूसेक्स श्रृंखला

गुणांकों पर मूल्यांकन और क्रम

न्यूटन-प्यूसेक्स प्रमेय

न्यूटन बहुभुज

रचनात्मक प्रमाण

नियमित स्थिति

रामिफाइड केस

धनात्मक विशेषता में विफलता

बीजगणितीय वक्रों और कार्यों का प्यूसेक्स विस्तार

बीजगणितीय वक्र

विश्लेषणात्मक अभिसरण

सामान्यीकरण

लेवी-सिविता क्षेत्र

हैन श्रृंखला

टिप्पणियाँ

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

प्यूसेक्स श्रृंखला: Difference between revisions

Latest revision as of 09:21, 16 April 2023

परिभाषा

मूल्यांकन

अभिसरण प्यूसेक्स श्रृंखला

गुणांकों पर मूल्यांकन और क्रम

न्यूटन-प्यूसेक्स प्रमेय

न्यूटन बहुभुज

रचनात्मक प्रमाण

नियमित स्थिति

रामिफाइड केस

धनात्मक विशेषता में विफलता

बीजगणितीय वक्रों और कार्यों का प्यूसेक्स विस्तार

बीजगणितीय वक्र

विश्लेषणात्मक अभिसरण

सामान्यीकरण

लेवी-सिविता क्षेत्र

हैन श्रृंखला

टिप्पणियाँ

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories