برهان دوسویی

در ترکیبیات، برهان دوسویی (انگلیسی: Bijective proof‎) یک فن اثباتی است که تابع دوسویی $f : A \to B$ بین دو مجموعه متناهی A و B، یا با حفظ اندازه یک تابع دوسویی بین دو کلاس ترکیبیاتی، را پیدا می‌کند و نشان می‌دهد که تعداد اعضای دو مجموعه (یا کلاس) برابر است ( $| A | = | B |$ ). یکی از موارد کاربرد این روش وقتی است که مراد است اندازهٔ A بدست آورده شود، ولی راهی برای شمردن عناصر آن وجود ندارد. با ایجاد تناظر دوسویی از A به یک B که شمردن عناصرش ساده‌تر است، مسئله حل می‌شود.

جستارهای وابسته

منابع

مشارکت‌کنندگان ویکی‌پدیا. «Bijective proof». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۵ نوامبر ۲۰۱۸.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.