Sorduğunuz nokta, içerme dışarma prensibi nin ispatı oluyor. \dbinom{n}{1} ile kendisi ile eşleşen bir elemanı seçiyoruz. Geri kalan (n-1) eleman (n-1)! yolla sıralanıyorlar ve bunlar istenmeyen durumlar oluşturuyor. Örneğin f(1)=1 olan bir f permütasyonu (n-1)! yolla oluşturulabilir ve bu istenmeyen bir durumdur. Ayrıca f(2)=2 olan bir f permütasyonu da (n-1)! yolla oluşturulabilir ve bu da istenmeyen bir durumdur. Bunları tüm durumdan çıkarıyoruz. n! - \dbinom{n}{1}(n-1)! olur. Ama burada bir yanlışlık olduğunu hissediyorsunuzdur. Çünkü bu farkın değeri 0 oldu. Açıkça fazla çıkarma yaptık. Neyi fazla çıkardık? f(1)=1,f(2)=2 olan bir f permütasyonu hem ilk istenmeyen durumda, hem de ikinci istenmeyen durumda hesapladı. İki defa dışarı atmışız. O halde bunlardan birini geri alalım. f(1)=1,f(2)=2 olan f permütasyonlarının sayısı (n-2)! dir. Bu şekilde iki elemanın doğru yere gittiği f permütasyonlarının sayısı \dbinom{n}{2}(n-2)! olur. Bunları toplama geri alalım. n! - \dbinom{n}{1}(n-1)! + \dbinom{n}{2}(n-2)! oldu. Fakat halen bu hesapta bir sorun var. f(1)=1, f(2)=2, f(3)=3 olan f permütasyonları var. f(1)=1, f(2)=2 olanları aldık, f(1)=1, f(3)=3 olanları da aldık, f(2)=2, f(3)=3 olanları da aldık. Fazla mı aldık ne? f(1)=1, f(2)=2, f(3)=3 olan f permütasyonlarını yine dışarı atalım ...
Bu şekilde devam eden bir süreç devam etmektedir. Bu tür durumların hesabı, doğrudan istenen durum hesabı yaparak pek kolay yapılamıyor. Hata yapmak, eksik/fazla sayma yapmak işten bile değildir. Neyse ki içerme dışarma prensibimiz var ve hatasız hesap yapma imkanı sunuyor bize. Üç küme için
|A\cup B \cup C| = |A| + |B| + |C| - |A \cap B | - |B \cap C| - |C\cap A| + |A\cap B \cap C | biçiminde verilen bu teoremin genel haldeki ispatı internette araştırıp bulunabilir.
Dikkatimi çeken üç önemli uygulaması şunlardır:
-
Düzensiz dizilişlerin sayısı (yukarıda uyguladık)
-
Euler \phi fonksiyonunun formülünün ispatı (burada verildi)
-
Örten fonksiyon sayısı (henüz bir bağlantı paylaşmadık sanırım)
Tatlı sert bir örten fonksiyon sayısı probleminin çözümünü şurada video olarak yapmıştım. Yöntemi kavrama bakımından iş görebilir.