دون فقد العمومية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

دون فقد العمومية (بالإنجليزية: Without loss of generality)‏ وتُكتَب في البراهين الرياضية اختصاراً WLOG، هي مصطلح شائع في الرياضيات، يُستخدم للدلالة على أن الافتراض الآتي وُضِعَ اختيارياً ليختزلَ إثبات الفرضية في حالة خاصة، دون أن يُؤثِّر إثباتُ هذه الحالة الخاصة في صحة البرهان كاملاً. غالباً ما تشمل الحالات الأخرى إثباتاً مُناظراً أو مكافئاً مُتشابهاً معه. كنتيجة، يُصبح الإثبات لحالة وحيدة كافٍ لإثبات جميع الحالات.[1]

في العديد من الحالات، يكون استخدام "دون فقد العمومية" مُتاحاً بوجود التناظر. فعلى سبيل المثال، إن كانت الخاصيَّة متناظرةً لأعدادٍ حقيقيَّةٍ، فإنه بالإمكان افتراض (دون فقد العمومية) أنَّ . بصفةٍ أكثرَ رياضية، إذا كانت الخاصية تُكافئ فإنَّ إثبات الخاصية عندما كافٍ لإثبات الخاصية عامَّةً.[2]

فيما دون ذلكَ من الحالاتِ، إذا انعدم وجود التكافؤ أو التناظر بين الخاصيّتين، ففي هذه الحالة يكون استخدام "دون فقد العمومية" غير صحيح لإثبات الخاصية. ويُعتَبر في هذه الحالة استدلالاً بمثالٍ، وهي مغالطة منطقية عبر إثبات إدعاءٍ باستخدام مثال غير شامل.[3][4]

مثال[عدل]

المثال الآتي هو حالةٌ خاصة من مبدأ برج الحمام:

«إذا طُلِيَت ثلاثُ كراتٍ بالأزرق أو الأحمر، فعلى الأقل هناك كُرَتانِ لهما اللون نفسه.»

البرهان:

بافتراض، دون فقد العمومية، أن الكرة الأولى حمراء. فإما أن تحتوي الكرتان المتبقيتان على كرةٍ حمراءَ فينتهي الإثبات؛ أو خلاف ذلك تكون كلا الكرتان زرقاوتينِ وهو المطلوب إثباته.

هذه الحُجّة صحيحة لأن التبرير نفسه بالإمكان تطبيقه إن كانت الكرة الأولى زرقاء. وكنتيجة، يصح استخدام "دون فقد العمومية" في هذه الحالة.

انظر أيضاً[عدل]

مراجع[عدل]

  1. ^ from the just proved implication by interchanging x and y
  2. ^ by symmetry of P
  3. ^ "An Acyclic Inequality in Three Variables". www.cut-the-knot.org. مؤرشف من الأصل في 14 أبريل 2019. اطلع عليه بتاريخ 21 أكتوبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  4. ^ "The Definitive Glossary of Higher Mathematical Jargon — Without Loss of Generality". Math Vault (باللغة الإنجليزية). 2019-08-01. مؤرشف من الأصل في 28 فبراير 2020. اطلع عليه بتاريخ 21 أكتوبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)

وصلات خارجية[عدل]