सुपरिभाषित

गणित में, किसी कथन को सुपरिभाषित कहा जाता है यदि यह स्पष्ट है और इसके अवयव इसके निरूपण से स्वतंत्र होते हैं। अधिक सरल शब्दों में, इसका मतलब यह है कि एक गणितीय कथन प्रत्यक्ष और स्पष्ट हो। विशेष रूप से, एक फलन सुपरिभाषित कहलाता है यदि इसके निविष्ट में बदलाव किये बिना इसके रूप में परिवर्तन (जिस रूप में यह प्रस्तुत किया जाता है) करने पर यह समान परिणाम देता है। एक सुपरिभाषित फलन 0.5 के लिए वही परिणाम देता है जो 1/2 के लिए देता है।जोसेफ जे॰ रोटमान, The Theory of Groups: an Introduction [समूह सिद्धान्त: एक परिचय] (अंग्रेज़ी में), पृ॰ २८७ "...a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965. शब्द सुपरिभाषित को एक तार्किक कथन के स्पष्ट के लिए भी काम में लिया जाता था और आंशिक अवकल समीकरण को सुपरिभाषित कहा जाता है यदि यह सीमाओं पर सतत है।

सुपरिभाषित अंकन
वास्तविक संख्या के लिए  का परिणाम स्पष्ट है क्योंकि  होता है। इस स्थिति में इस अंकन को सुपरिभाषित कहा जाता है। हालाँकि यदि संक्रिया (यहाँ ) साहचर्य गुणधर्म नहीं रखती तो यहाँ एक परिपाटी परिभाषित होनी चाहिए जिसमें दो अवयवों को पहले गुणा किया जाता है। अन्यथा, यह गुणा सुपरिभाषित नहीं है। उदाहरण के लिए संक्रिया घटाना  साहचर्य नहीं है। हालाँकि निरूपण  संक्रिया  के साथ सुपरिभाषित है जिसके अनुसार इसे विपरितों के योग से समझा जा सकता है और  को  के समान माना जाता है। भाग भी साहचर्य नहीं है। हालाँकि  स्पष्ट परिभाषा नहीं रखता अतः यह सुपरिभाषित नहीं है।

सन्दर्भ

श्रेणी:परिभाषा
श्रेणी:गणितीय शब्दावली