Dirilecht'in Güvercin Yuvası İlkesi hakkında şunu sormak isterim; yani bu tümcenin kanıtından çok felsefi ve mantıki doğruluğu nedendir, tümevarıma benzer bir şekil gibi geliyor bana düşünceleriniz nelerdir?
Prensibi ve (devrik)`contrapositive'ini yazabilir misin?
Kısacası prensib şuna bağlı; "eğer elimizde güvercin ve bu güvercin sayısından az güvercin yuvası varsa ve güvercinler yuvaya girmek zorunda ise en az bir yuvaya birden fazla güvercin girer."
Su sekilde yazalim: n>m (pozitif tam sayilari) icin f:{1,2,⋯,n}→{1,2,⋯,m} birebir olamaz. Ya da devirelim: f:{1,2,⋯,n}→{1,2,⋯,m} birebir ise n≤m olmali.
Güvercin Gözü İlkesini: Analiz 3 te Nurettin hoca şöyle açıklamıştı yıl 2013 :D
Soru:11 Ceviz var bu cevizler 10 çekmeceye nasıl dizilir?
Cevap:En az 1 çekmecede en az 2 ceviz olmalıdır. İşte güvercin gözü ilkesi budur.
Guvercinli versiyonu da olsun:) n+1 tane güvercini n tane yuvaya dagitirsak en az bir tane yuvada iki tane güvercin bulunmalıdır.