व्यापकता के नुकसान के बिना

सामान्यता के नुकसान के बिना (अक्सर WOLOG, WLOG का संक्षिप्त रूप या डब्ल्यू.एल.ओ.जी.; आमतौर पर बिना किसी नुकसान के सामान्यता या बिना किसी नुकसान के सामान्यता के रूप में कहा जाता है) गणित में अक्सर इस्तेमाल की जाने वाली अभिव्यक्ति है। इस शब्द का उपयोग उस धारणा को इंगित करने के लिए किया जाता है जो किसी विशेष मामले में आधार को सीमित करते हुए मनमाने ढंग से चुना जाता है, लेकिन सामान्य रूप से गणितीय प्रमाण की वैधता को प्रभावित नहीं करता है। अन्य मामले पर्याप्त रूप से प्रस्तुत एक के समान हैं जो उन्हें साबित करते हुए अनिवार्य रूप से एक ही तर्क का पालन करते हैं। नतीजतन, एक बार विशेष मामले के लिए सबूत दिया जाता है, यह अन्य सभी मामलों में निष्कर्ष साबित करने के लिए इसे अनुकूलित करने के लिए तुच्छ (गणित) है।

कई परिदृश्यों में, समरूपता की उपस्थिति से व्यापकता के नुकसान के बिना का उपयोग संभव हो जाता है। उदाहरण के लिए, यदि वास्तविक संख्याओं के कुछ गुण P(x,y) को x और y में सममित के रूप में जाना जाता है, अर्थात् P(x,y) P(y,x) के समतुल्य है, तो P(x) को सिद्ध करने में ,y) प्रत्येक x और y के लिए मान्य है, कोई भी व्यापकता को खोए बिना यह मान सकता है कि x ≤ y। इस धारणा में व्यापकता का कोई नुकसान नहीं है, क्योंकि एक बार मामला x ≤ y सामग्री सशर्त | ⇒ P(x,y) साबित हो गया है, अन्य मामला x और y&hairsp;: y ≤ x ⇒ P(y, x), और P की समरूपता से, इसका तात्पर्य P(x, y) से है, जिससे यह पता चलता है कि P (x, y) सभी मामलों के लिए लागू होता है।

दूसरी ओर, यदि न तो इस तरह की समरूपता और न ही तुल्यता का कोई अन्य रूप स्थापित किया जा सकता है, तो व्यापकता के नुकसान के बिना का उपयोग गलत है और उदाहरण के तौर पर सबूत के उदाहरण के बराबर हो सकता है - एक दावे को साबित करके दावा साबित करने की एक तार्किक गिरावट गैर-प्रतिनिधि उदाहरण।

उदाहरण
निम्नलिखित प्रमेय पर विचार करें (जो कबूतरबाजी सिद्धांत का मामला है):

"If three objects are each painted either red or blue, then there must be at least two objects of the same color."

कोई प्रमाण: "Assume, without loss of generality, that the first object is red. If either of the other two objects is red, then we are finished; if not, then the other two objects must both be blue and we are still finished."

उपरोक्त तर्क काम करता है क्योंकि ठीक उसी तर्क को लागू किया जा सकता है यदि वैकल्पिक धारणा, अर्थात्, पहली वस्तु नीली है, बनाई गई थी, या, इसी तरह, शब्द 'लाल' और 'नीला' शब्दों का स्वतंत्र रूप से आदान-प्रदान किया जा सकता है। प्रमाण का। नतीजतन, सामान्यता के नुकसान के बिना का उपयोग इस मामले में मान्य है।

यह भी देखें

 * तक
 * गणितीय शब्दजाल

बाहरी संबंध

 * "Without Loss of Generality" by John Harrison - discussion of formalizing "WLOG" arguments in an automated theorem prover.
 * "Without Loss of Generality" by John Harrison - discussion of formalizing "WLOG" arguments in an automated theorem prover.