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

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

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