تناظر یک به یک

از shaazzz
نسخهٔ تاریخ ‏۲۵ ژوئن ۲۰۱۹، ساعت ۱۵:۰۴ توسط Hamid (بحث | مشارکت‌ها) (صفحه‌ای تازه حاوی «این روش یکی از روش های اساسی برای اثبات برابری ها در ترکیبیات است. در این روش...» ایجاد کرد)
(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)
پرش به ناوبری پرش به جستجو

این روش یکی از روش های اساسی برای اثبات برابری ها در ترکیبیات است. در این روش برای اثبات برابری اندازه دو مجموعه متناهی مانند A و B یک تابع f:A->B تعریف می کنیم و ثابت می کنیم معکوس این تابع وجود دارد، یعنی تابع وجود دارد به طوری که: و وجود این تابع نتیجه می دهد که اندازه A با B برابر است.

تمارین

  1. [برابری مجموعه های زوج عضوی با فرد عضوی]
  2. [زیر مجموعه های بخش پذیر به 32]
  3. [تعداد مسیرهای بالا و راست]
  4. [تعداد افراز ها و ماکسیمم افراز]
  5. [افراز های فرد و افراز های متمایز]