शून्य की घात शून्य

शून्य से शून्य की घात, $0^{0}$ द्वारा निरूपित, एक गणितीय अभिव्यक्ति है जिसे या तो 1 के रूप में परिभाषित किया गया है या संदर्भ के आधार पर अपरिभाषित (गणित) छोड़ दिया गया है।

बीजगणित और साहचर्य में, सामान्यतः $0^{0} = 1$को परिभाषित करता है। जबकि गणितीय विश्लेषण में, अभिव्यक्ति को कभी-कभी अपरिभाषित छोड़ दिया जाता है। संगणक कार्यरचना भाषा और प्रक्रिया सामग्री में भी इस अभिव्यक्ति को संभालने की अलग-अलग विधि हैं।

असतत घातांक
प्राकृतिक संख्या घातांक वाले कई व्यापक रूप से उपयोग किए जाने वाले फ़ार्मुलों को 00 को 1 के रूप में परिभाषित करने की आवश्यकता होती है। उदाहरण के लिए, b0 की निम्नलिखित तीन व्याख्याएँ b = 0 के लिए उतनी ही समझ में आती हैं जितनी कि वे धनात्मक पूर्णांक b के लिए करती हैं।:
 * खाली उत्पाद के रूप में $b0$ की व्याख्या इसे मान $1$ निर्दिष्ट करती है।
 * $b^{0}$ की संयोजक व्याख्या एक $b$-तत्व सेट से तत्वों के 0-टुपल्स की संख्या है; ठीक एक 0-टपल है।
 * $b^{0}$ खाली सेट सैद्धांतिक व्याख्या रिक्त समुच्चय से b-तत्व समुच्चय में कार्यों की संख्या है; ऐसा ही एक कार्य है, अर्थात् खाली कार्य। ये तीनों $00 = 1$देने मे विशेषज्ञ हैं.

बहुपद और शक्ति श्रृंखला
बहुपदों का मूल्यांकन करते समय, $0^{0}$ को $1$ के रूप में परिभाषित करना सुविधाजनक होता है। A (वास्तविक) बहुपद $a_{0}x^{0} + ⋅⋅⋅ + a_{n}x^{n}$ के रूप का एक व्यंजक है, जहाँ  $x$ एक अनिश्चित है, और गुणांक $a_{i}$ वास्तविक संख्याएँ हैं। बहुपदों को शब्दवार जोड़ा जाता है, और वितरण कानून और घातांक के सामान्य नियमों को लागू करके गुणा किया जाता है। इन संक्रियाओं के साथ, बहुपद एक बहुपद वलय $R[x]$ बनाते हैं. $R[x]$ की गुणनात्मक पहचान $x^{0}$ बहुपद है; अर्थात्, किसी भी बहुपद $p(x)$ का $x^{0}$ गुना केवल $p(x)$ होता है. साथ ही, बहुपदों का मूल्यांकन x को वास्तविक संख्या में विशिष्ट करके किया जा सकता है। अधिक यथार्थता से, किसी दी गई वास्तविक संख्या r के लिए, एक अद्वितीय इकाई $R$-बीजगणित समरूपता $ev_{r} : R[x] → R$ ऐसा है कि $ev_{r}(x) = r$ है. इसलिये $ev_{r}$ एकात्मक है, $ev_{r}(x^{0}) = 1$. वह है, $r^{0} = 1$ प्रत्येक वास्तविक संख्या $r$,के लिए r0 = 1 जिसमे 0 भी सम्मिलित है। यही तर्क $R$ किसी भी रिंग (गणित) द्वारा लागू होता है।

कई बहुपद सर्वसमिकाओं के लिए $0^{0} = 1$ को परिभाषित करना आवश्यक है।। उदाहरण के लिए, द्विपद प्रमेय $(1 + x)^{n} = Σn k=0 (n k) x^{k}$ के लिए रखता है $x = 0$ के लिए मान्य है यदि $0^{0} = 1$.

इसी प्रकार, घात श्रृंखला के रिंग को x की सभी विशेषज्ञताओं के लिए 1 के रूप में परिभाषित करने के लिए $x^{0}$ की आवश्यकता होती है। उदाहरण के लिए, पहचान जैसे $1⁄1−x = Σ∞ n=0 x^{n}$ तथा $e^{x} = Σ∞ n=0 x^{n}⁄n!$ के लिए पकड़े $x = 0$ केवल $0^{0} = 1$.

एक सतत फलन $R → R$ को परिभाषित करने के लिए बहुपद $x^{0}$ के लिए, किसी को $0^{0} = 1$ को परिभाषित करना होगा।

अवकलन कलन में, घात नियम $d⁄dxx^{n} = nx^{n−1}$ केवल $x = 0$ पर $n = 1$ के लिये मान्य है यदि $0^{0} = 1$.

निरंतर घातांक
बीजगणितीय संक्रियाओं से जुड़ी सीमाओं का अक्सर उप-अभिव्यक्तियों को उनकी सीमाओं द्वारा प्रतिस्थापित करके मूल्यांकन किया जा सकता है; यदि परिणामी अभिव्यक्ति मूल सीमा निर्धारित नहीं करती है, तो अभिव्यक्ति को एक अनिश्चित रूप के रूप में जाना जाता है। व्यंजक $00$ एक अनिश्चित रूप है: वास्तविक मूल्यवान फलन $f(t)$ और $g(t)$ $0$ की ओर बढ़ रहे हैं (चूंकि $t$ एक वास्तविक संख्या या $±∞$ तक पहुंचता है) $f(t) > 0$ के साथ, $f(t)^{g(t)}$ कोई भी गैर-ऋणात्मक वास्तविक संख्या या $+∞$, हो सकता है, या यह  $f$  तथा $g$. के आधार पर विचलन कर सकता है। उदाहरण के लिए, नीचे दी गई प्रत्येक सीमा में एक फ़ंक्शन $f(t)^{g(t)}$  $f(t), g(t) → 0$ जैसा $t → 0^{+}$ (एकतरफा सीमा) सम्मिलित है, लेकिन उनके मान भिन्न हैं:$$ \lim_{t \to 0^+} {t}^{t} = 1 ,$$ $$ \lim_{t \to 0^+} \left(e^{-1/t^2}\right)^t = 0, $$ $$ \lim_{t \to 0^+} \left(e^{-1/t^2}\right)^{-t} = +\infty, $$ $$ \lim_{t \to 0^+} \left(e^{-1/t}\right)^{at} = e^{-a} .$$ इस प्रकार, दो-चर फलन $x$, चूंकि समुच्चय ${(x, y) : x > 0 }$ पर संतत है, ${(x, y) : x > 0} ∪ {(0, 0) }$, इससे कोई फर्क नहीं पड़ता कि कोई $0^{0}$ को कैसे परिभाषित करता है।.

वहीं दूसरी ओर यदि $f$ तथा $g$ किसी संख्या $c$ के खुले पड़ोस पर विश्लेषणात्मक कार्य हैं, तो  $f(t)^{g(t)} → 1$ के रूप में  $t$  किसी भी तरफ से $c$ तक पहुंचता है जिस पर  $f$  घनात्मक है। यह और अधिक सामान्य परिणाम फलन $ln(f(t)^{g(t)}) = g(t) ln f(t)$ के सीमित व्यवहार का अध्ययन करके प्राप्त किए जा सकते हैं.

जटिल घातांक
जटिल डोमेन में,फलन $z$ को गैर-शून्य $z$ के लिए $log z$ की एक शाखा का चयन करके और $z$ को $e$ के रूप में परिभाषित करके परिभाषित किया जा सकता है। यह $0^{w}$ को परिभाषित नहीं करता है क्योंकि $z = 0$ पर परिभाषित $log z$ की कोई शाखा नहीं है, अकेले $0$ के निकट में रहने दें।.

मूल्य के रूप में
1752 में, विश्लेषण में इनफिनिटोरम के परिचय में लियोनहार्ड यूलर ने लिखा था कि $a0 = 1$ और स्पष्ट रूप से उल्लेख किया कि $00 = 1$. यूलर की पुस्तकअंतर कलन के संस्थान के 1787 के संस्करण में लोरेंजो माशेरोनी को जिम्मेदार ठहराया गया एक व्याख्या ने "औचित्य" प्रस्तुत की $$0^0 = (a-a)^{n-n} = \frac{(a-a)^n}{(a-a)^n} = 1$$ साथ ही एक और अधिक सम्मिलित औचित्य। 1830 के दशक में, सोमाजा से गुग्लिल्मो लिब्री कारुची ने $0^{0} = 1$ दावे को सही ठहराने का प्रयास करते हुए कई और तर्क प्रकाशित किए, चूंकि ये उस समय की कठोरता के मानकों से भी बहुत दूर थे।

एक सीमित रूप
के रूप में

यूलर, जब $00 = 1$ सेट करते हैं, तो उल्लेख किया जाता है कि फलन, $0x$ के मान एक "बड़ी छलांग" लगाते हैं, x के लिए $∞$ से $x < 0$, प्रति $x = 0$ पर $1$ से, $x > 0$ के लिये 0 से. 1814 में, जोहान फ्रेडरिक फाफ ने निचोड़ प्रमेय तर्क का उपयोग यह साबित करने के लिए किया कि $xx → 1$ जैसा $x → 0+$ के रूप में है।.

दूसरी ओर, 1821 में कॉची ने समझाया कि क्यों की सीमा $xy$ धनात्मक संख्या $x$ तथा $y$ दृष्टिकोण $0$ के रूप में संबंध से विवश होने के कारण संबंध को उचित रूप से चुनकर $0$ तथा $∞$ के बीच किसी भी मान को ग्रहण करने के लिए बनाया जा सकता है। उन्होंने निष्कर्ष निकाला कि एक निर्दिष्ट बाधा के बिना पूर्ण दो-चर फलन $xy$ की सीमा "अनिश्चित" है। इस औचित्य के साथ, उन्होंने $0^{0}$ को भावों के साथ सूचीबद्ध किया $0⁄0$ अनिश्चित रूपों की एक तालिका के रूप में व्यक्त किया जा सकय है।

स्पष्ट रूप से कॉची के काम से अनभिज्ञ, अगस्त फर्डिनेंड मोबियस 1834 में, फाफ के तर्क पर निर्माण करते हुए, गलत तरीके से दावा किया कि $f(x)^{g(x)} → 1$ जब भी $f(x),g(x) → 0$ जैसा $x$ एक संख्या $c$ तक पहुँचता है  (संभवतः $f$ से धनात्मक माना जाता है $c$). मोबियस स्थिति में $c = 0$ कम हो गया, लेकिन फिर यह मानने की गलती की कि $f$ तथा $g$ में से प्रत्येक को  $Pxn$ के रूप में व्यक्त किया जा सकता है, कुछ निरंतर फ़ंक्शन $P$ के लिये जो $0$ पर गायब नहीं होता है और कुछ गैर-नकारात्मक पूर्णांक $n$, जो विश्लेषणात्मक कार्यों के लिए सही है।, लेकिन सामान्य तौर पर नहीं। एक अनाम टिप्पणीकार ने अनुचित चरण की ओर इशारा किया;  फिर एक अन्य टिप्पणीकार जिसने अपने नाम पर S के रूप में हस्ताक्षर किए, स्पष्ट प्रति उदाहरण $(e^{−1/x})^{x} → e−1$ तथा $(e^{−1/x})^{2x} → e−2$ प्रदान किया जैसा $x → 0+$ के रूप में और यह लिखकर स्थिति व्यक्त की कि $00$ के कई अलग-अलग मान हो सकते हैं।

वर्तमान स्थिति

 * कुछ लेखक $0^{0}$ को $1$ के रूप में परिभाषित करते हैं क्योंकि यह कई प्रमेय कथनों को सरल करता है। बेंसन (1999) के अनुसार, $0^{0}$ को परिभाषित करने का विकल्प सुविधा पर आधारित है, शुद्धता पर नहीं। यदि हम $0^{0}$, को परिभाषित करने से बचते हैं, तो कुछ अभिकथन अनावश्यक रूप से अजीब हो जाते हैं। ... सर्वसम्मत परिभाषा $0^{0} = 1$, का उपयोग करना है।, हालांकि ऐसी पाठ्यपुस्तकें हैं जो $0^{0}$.  को परिभाषित करने से परहेज करती हैं। डोनाल्ड नुथ (1992) इसका अधिक मजबूती से विरोध करता है कि ;  वह मूल्य $0^{0}$ के बीच एक अन्तर बनता है, जो $1$ के बराबर होना चाहिए, और सीमित रूप $0^{0}$  $f(t)^{g(t)}$ की सीमा के लिए एक संक्षिप्त नाम जहां $f(t), g(t) → 0$ जो एक अनिश्चित रूप है: "कॉची और लिब्री दोनों सही थे, लेकिन लिब्री और उनके रक्षकों को यह समझ में नहीं आया कि सच्चाई उनके पक्ष में क्यों थी                       वह मूल्य के बीच अंतर करता है $0^{0}$, जो बराबर होना चाहिए $1$, और सीमित रूप  (की सीमा के लिए एक संक्षिप्त नाम  कहाँ पे ), जो एक अनिश्चित रूप है: कॉची और लिब्री दोनों सही थे, लेकिन लिब्री और उनके रक्षक यह नहीं समझ पाए कि सच्चाई उनके पक्ष में क्यों थी। * अन्य लेखक चले जाते हैं $0^{0}$ अपरिभाषित क्योंकि $0^{0}$ एक अनिश्चित रूप है: $f(t), g(t) → 0$ मतलब नहीं है $f(t)^{g(t)} → 1$.

ऐसा लगता है कि कोई लेखक असाइन नहीं कर रहा है $0^{0}$ 1 के अलावा एक विशिष्ट मूल्य।

आईईईई फ़्लोटिंग-पॉइंट मानक
IEEE 754-2008 फ़्लोटिंग-पॉइंट मानक का उपयोग अधिकांश फ़्लोटिंग-पॉइंट लाइब्रेरीज़ के डिज़ाइन में किया जाता है। यह शक्ति की गणना के लिए कई परिचालनों की सिफारिश करता है:
 * (जिसका प्रतिपादक एक पूर्णांक है) व्यवहार करता है $0^{0}$ जैसा $1$; देखना.
 * (जिसका इरादा गैर-नाएन परिणाम वापस करना है जब एक्सपोनेंट एक पूर्णांक है, जैसे ) व्यवहार करता है $0^{0}$ जैसा $1$.
 * व्यवहार करता है $0^{0}$ अनिश्चित रूप के कारण NaN (नॉट-ए-नंबर) के रूप में; देखना .  e> वैरिएंट से प्रेरित है   मुख्य रूप से अनुकूलता के लिए C99 से कार्य करता है। यह ज्यादातर एकल पावर फ़ंक्शन वाली भाषाओं के लिए उपयोगी है।   ई> और   पावर फ़ंक्शंस के परस्पर विरोधी उपयोग और विभिन्न दृष्टिकोणों (जैसा कि ऊपर कहा गया है) के कारण वेरिएंट पेश किए गए हैं।

प्रोग्रामिंग लैंग्वेज
C और C++ मानक के परिणाम निर्दिष्ट नहीं करते हैं $0^{0}$ (एक डोमेन त्रुटि हो सकती है)। लेकिन C के लिए, C99 के रूप में, यदि मानक अनुलग्नक F समर्थित है, तो वास्तविक फ़्लोटिंग-पॉइंट प्रकारों के लिए परिणाम होना आवश्यक है $1$ क्योंकि ऐसे महत्वपूर्ण अनुप्रयोग हैं जिनके लिए यह मान NaN से अधिक उपयोगी है (उदाहरण के लिए, #Discrete_exponents के साथ); जटिल प्रकारों पर परिणाम निर्दिष्ट नहीं है, भले ही जानकारीपूर्ण अनुलग्नक जी समर्थित हो। जावा (प्रोग्रामिंग भाषा) मानक, .NET फ्रेमवर्क विधि (कंप्यूटर विज्ञान), जूलिया (प्रोग्रामिंग भाषा), और पायथन (प्रोग्रामिंग भाषा)  इलाज भी करें $0^{0}$ जैसा $1$. कुछ भाषाएँ दस्तावेज करती हैं कि उनकी घातांक संक्रिया इसके अनुरूप है  सी गणितीय कार्यों से कार्य; यह लुआ (प्रोग्रामिंग भाषा) के मामले में है और पर्ल   ऑपरेटर (जहां यह स्पष्ट रूप से उल्लेख किया गया है कि का परिणाम   प्लेटफ़ॉर्म-निर्भर है)।

गणितीय और वैज्ञानिक सॉफ्टवेयर
एपीएल (प्रोग्रामिंग भाषा), आर (प्रोग्रामिंग भाषा), था, सेजमैथ, मतलब, मैग्मा (कंप्यूटर बीजगणित प्रणाली), GAP (कंप्यूटर बीजगणित प्रणाली), एकवचन (सॉफ्टवेयर), PARI/GP, और जीएनयू ऑक्टेव मूल्यांकन $x0$ प्रति $1$. मेथेमेटिका और मैकसिमा सरल करें $x0$ प्रति $1$ भले ही कोई प्रतिबंध न लगाया गया हो $x$; हालांकि, यदि $00$ सीधे दर्ज किया जाता है, तो इसे त्रुटि या अनिश्चित के रूप में माना जाता है। सेजमैथ सरल नहीं करता है $0x$. मेपल (सॉफ्टवेयर), गणित और पारी/जीपी आगे पूर्णांक और फ़्लोटिंग-पॉइंट मानों के बीच अंतर करें: यदि प्रतिपादक पूर्णांक प्रकार का शून्य है, तो वे वापस लौटते हैं $1$ आधार के प्रकार; मूल्य शून्य के फ्लोटिंग-पॉइंट एक्सपोनेंट के साथ एक्सपोनेंटिएशन को अपरिभाषित, अनिश्चित या त्रुटि के रूप में माना जाता है।

इस पेज में लापता आंतरिक लिंक की सूची

 * समारोह (गणित)
 * खाली समारोह
 * बहुपद की अंगूठी
 * बिजली की श्रृंखला
 * निरंतर कार्य
 * अंतर कलन
 * सीमा (गणित)
 * एक तरफा सीमा
 * इनफिनिटिमल्स के विश्लेषण का परिचय
 * नेन
 * मानक का
 * सेज मठ
 * जीएपी (कंप्यूटर बीजगणित प्रणाली)

बाहरी संबंध

 * sci.math FAQ: What is $0$?
 * What does $A[(X_{i})_{i∈I}]$ (zero to the zeroth power) equal? on AskAMathematician.com