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

शून्य से शून्य की घात, $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}$ के बीच एक अन्तर बनता है, जो $1$ के बराबर होना चाहिए, और सीमित रूप $0^{0}$  $f(t)^{g(t)}$ की सीमा के लिए एक संक्षिप्त नाम जहां $f(t), g(t) → 0$ जो एक अनिश्चित रूप है: "कॉची और लिब्री दोनों सही थे, लेकिन लिब्री और उनके रक्षकों को यह समझ में नहीं आया कि सच्चाई उनके पक्ष में क्यों थी
 * अन्य लेखक $0^{0}$ को अपरिभाषित छोड़ देते हैं क्योंकि $0^{0}$ एक अनिश्चित रूप है:: $f(t), g(t) → 0$ का अर्थ $f(t)^{g(t)} → 1$ नहीं है।

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

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

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

गणितीय और वैज्ञानिक सॉफ्टवेयर
एपीएल (प्रोग्रामिंग भाषा), आर (प्रोग्रामिंग भाषा), स्टाटा, सेजमैथ, मैटलैब, मैग्मा (संगणक बीजगणित प्रणाली), GAP (संगणक बीजगणित प्रणाली), सिंगुलर (सॉफ्टवेयर), पीएआरआई/जीपी, और जीएनयू ऑक्टेव $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