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

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

सामान्यतः अनेक परिदृश्यों में, समरूपता की उपस्थिति से व्यापकता के हानि के बिना का उपयोग संभव हो जाता है। उदाहरण के लिए, यदि वास्तविक संख्याओं के कुछ गुण 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) सभी स्थितियों के लिए क्रियान्वित होता है।

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

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

"यदि तीन वस्तुओं में से प्रत्येक को लाल या नीले रंग से रंगा गया है, तब एकल रंग की कम से कम दो वस्तुएं होती है।"

कोई प्रमाण: "व्यापकता खोए बिना मान लीजिए कि पहली वस्तु लाल है। यदि अन्य दो वस्तुओं में से कोई भी लाल होती है, तब हम समाप्त हो गए, यदि नहीं, तब अन्य दो वस्तुएँ नीली होती है और हम अभी भी समाप्त हैं।"

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

यह भी देखें

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

बाहरी संबंध

 * "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.