TYT Matematik · Sayma, Olasılık ve İstatistik
Fonksiyon Sayısı
Bu sayfanın tek fikri şudur: 'dan 'ye bir fonksiyon kurmak, 'nın her elemanına 'den bir görüntü seçmek demektir. Bu yüzden fonksiyon saymak, bu seçimleri saymaktır. Bire bir, örten, artan ya da " olsun" gibi koşullar seçimlere yeni bir kural ekler; hangi seçimin kısıtlandığını görürsek sayım kendiliğinden kurulur.
Bu sayfadaki varsayımlar
- ve sonlu, boş olmayan kümelerdir. ve yazacağız. "'dan 'ye fonksiyon" ifadesinde tanım kümesi , değer kümesi 'dir; yön her soruda açıkça belirtilir.
- Tanım kümesindeki her eleman tam olarak bir görüntüye gider. Değer kümesindeki bir eleman birden çok elemanın görüntüsü olabilir ya da hiçbir elemanın görüntüsü olmayabilir.
- İki fonksiyon, en az bir elemanın görüntüsü farklıysa farklı sayılır.
- "Artan", "azalan" ve "azalmayan" sözcükleri, elemanları sayı olan kümelerde sayıların olağan sıralamasına göre kullanılır.
- Bağıntı sayısı bu sayfanın konusu değildir.
Fonksiyon, tanım kümesi, değer kümesi, bire bir ve örten kavramlarını Fonksiyon Kavramı sayfasından hatırlayabilirsin. Burada Sayma Kuralları sayfasındaki çarpma kuralını ve modelini, Dahil Etme–Hariç Tutma ilkesini ve Gruplara Ayırma ve Dağıtma sayfasındaki yöntemleri kullanacağız. Sayma konusuna temelden bakmak istersen Sayma ve Permütasyon (10. sınıf) sayfası iyi bir başlangıçtır; Maarif programında sayma, permütasyon ve kombinasyon 10. sınıfta işlenir. Bütün alt konuların haritası Permütasyon ve Kombinasyon sayfasındadır.
1. Her Eleman Bir Görüntü Seçer: s(B)^s(A)
Önce küçük bir örneği eksiksiz listeleyelim. ve olsun. Bir fonksiyon, ve değerleri seçilince tamamen belirlenir:
Tabloda her hücre bir fonksiyondur; biçiminde yazdık. Toplam fonksiyon var. elemanı görüntüden birini seçer, elemanı da bu seçimden bağımsız olarak yine görüntüden birini seçer. Çarpma kuralı verir.
Genel durumda 'nın elemanının her biri seçenekten birini seçer:
Bu sayım, Sayma Kuralları sayfasındaki "mektuplar kutulara atılıyor" modelinin aynısıdır: mektuplar tanım kümesinin elemanları, kutular değer kümesinin elemanlarıdır. Orada sorduğumuz "karar veren kim?" sorusunun cevabı burada hep aynıdır: karar veren, tanım kümesinin elemanlarıdır.
Fonksiyon olmayan eşlemeler: Bir elemanı görüntüsüz bırakan ya da bir elemana iki görüntü veren eşleme fonksiyon değildir. Bu yüzden sayımda tanım kümesindeki her elemanın seçimi çarpıma girmelidir. Koşullu sorularda koşulsuz kalan elemanları unutmak bu konudaki en yaygın hatalardan biridir.
2. Yön Tuzağı: A'dan B'ye mi, B'den A'ya mı?
Üs, seçim yapanların sayısıdır; seçim yapanlar da tanım kümesinin elemanlarıdır. Taban, seçenek sayısı, yani değer kümesinin eleman sayısıdır.
| Yön | Seçim yapan | Seçenek sayısı | Sayı |
|---|---|---|---|
| 'dan 'ye | 'nın elemanı | ||
| 'den 'ya | 'nin elemanı |
ise bu iki sayı genellikle farklıdır. Yukarıdaki listede 'den 'e fonksiyon vardı. Ters yönde 'nin üç elemanının her biri ya da 'yi seçer: fonksiyon. Üssü ters yazan öğrenci 'dan 'ye sayımda bulur; oysa tabloda tam hücre vardır.
3. Sabit ve Sabit Olmayan Fonksiyonlar
Tanım kümesinin bütün elemanlarını aynı görüntüye gönderen fonksiyona sabit fonksiyon denir. Sabit fonksiyonu belirlemek için yalnızca o ortak görüntüyü seçmek yeterlidir:
"Sabit olmayan" fonksiyonları doğrudan saymak zordur: en az iki farklı görüntü kullanılmalıdır ve bunun pek çok biçimi vardır. Tümleyen yolu çok daha kısadır:
Listelediğimiz fonksiyondan sabit olanlar köşegendeki , , 'tür. Sabit olmayan fonksiyon kalır.
4. Bire Bir Fonksiyon Sayısı: P(n, m)
Bire bir fonksiyonda tanım kümesinin farklı elemanları farklı görüntülere gider. Bu kez seçimler birbirini etkiler: bir görüntü kullanıldıktan sonra sonraki elemanlar onu seçemez.
Listemize dönelim: , . Bire bir olanlar köşegen dışındaki altı hücredir: , , , , , . Çarpma kuralıyla: için seçenek, için 'nın görüntüsü dışında kalan seçenek, toplam .
Neden kombinasyon değil? ile aynı görüntü kümesini, yani 'yi kullanır; ama ilkinde , ikincisinde 'dir. Bunlar iki ayrı fonksiyondur. Hangi elemanın hangi görüntüye gittiği önemli olduğundan sıralı seçim yaparız. yazmak, bu altı fonksiyonun yarısını kaybetmek demektir.
ise bire bir fonksiyon yoktur. Tanım kümesindeki elemana, görüntü arasından birbirinden farklı görüntüler verilemez; en az iki eleman aynı görüntüyü paylaşmak zorunda kalır. Bu durumda bire bir fonksiyon sayısı 'dır. (Bu, Dahil Etme–Hariç Tutma sayfasındaki güvercin yuvası ilkesinin en basit hâlidir.)
5. Bire Bir ve Örten: n Elemandan n Elemana n!
ise bire bir her fonksiyon aynı zamanda örtendir: farklı görüntü kullanılır ve değer kümesinde de tam eleman vardır. Tersine, bu durumda örten her fonksiyon da bire birdir: elemanın görüntünün hepsine ulaşması için hiçbir görüntünün iki kez kullanılmaması gerekir. elemanlı bir kümeden elemanlı bir kümeye tanımlanan bire bir ve örten fonksiyonların sayısı şudur:
Örneğin 'ten kendisine bire bir ve örten fonksiyon sayısı 'dır. Bu fonksiyonlar, sayılarının altı farklı sıralanışına karşılık gelir.
6. Koşullu Fonksiyonlar: Sabit Değer, f(a) ≠ a, Tek–Çift Koşulu
Koşullu sorularda yöntem hep aynıdır: her eleman için kaç seçenek kaldığını yaz ve çarp. Koşulun bağladığı elemanları önce, serbest elemanları sonra yerleştir.
| Koşul | Etkilenen elemanın seçenek sayısı | Not |
|---|---|---|
| Diğer elemanlar serbest kalır | ||
| () | Görüntü bir alt kümeyle sınırlı | |
| Her için () | (her eleman için) | Sonuç |
| için , için | Tümleyen: | |
| çift | Tek–tek ya da çift–çift | İki durum toplanır |
Tablodaki bazı satırları ve benzer bir koşulu kısaca açıklayalım:
- Her için : olsun. , dışındaki iki değerden birini; , dışındaki iki değerden birini; de dışındaki iki değerden birini seçer. Toplam fonksiyon vardır. Burada fonksiyon bire bir olmak zorunda değildir; örneğin , , de sayılır.
- : Tümleyen olayda 'dir. Bu ikiliye ortak bir görüntü seçmek yolla yapılır; diğer elemanın her biri serbesttir. Tümleyende fonksiyon olduğundan istenen sayı olur.
- çift: İki tam sayının toplamı ancak ikisi de tek ya da ikisi de çiftse çifttir. için ikilisi tek–tek olarak , çift–çift olarak yolla seçilir; toplam ikili vardır. Diğer elemanlar yine serbesttir.
- türü koşullar: Küçük kümelerde her eleman için uygun görüntüleri tek tek yaz. ise için , için , için seçenek vardır; toplam .
7. Kesin Artan Fonksiyonlar: C(n, m)
ve olsun. olan fonksiyonları listeleyelim:
Altı fonksiyon var. Bu sayı 'ya eşittir ve bu bir rastlantı değildir. Kesin artan bir fonksiyonda görüntüler birbirinden farklıdır, üstelik sıraları da önceden bellidir: en küçük görüntü 'e, bir sonraki 'ye gider. Dolayısıyla yalnızca hangi görüntülerin kullanılacağını seçmek yeterlidir; yerleştirme tek biçimde yapılır.
Kesin azalan fonksiyonlar için de aynı sayı geçerlidir: seçilen görüntüler bu kez büyükten küçüğe yerleştirilir, yine tek bir yol vardır. Bire bir fonksiyon sayısı olduğundan, her görüntü kümesinin yerleştirmesinden yalnız biri kesin artandır.
8. Azalmayan Fonksiyonlar: Tekrarlı Seçim (Derinleştirme)
Azalmayan fonksiyonda olur; yani eşit görüntülere izin verilir. Bu, kesin artandan farklı bir sayımdır. , için listeleyelim:
Altı fonksiyon var; kesin artan olanlar ise yalnızca , , 'tür.
Azalmayan bir fonksiyon, 'nin her elemanının kaç kez görüntü olarak kullanıldığı bilinince tamamen belirlenir; sıralama zaten bellidir. 'nin elemanlarının kullanılma sayıları ise
denkleminin her doğal sayı çözümü bir azalmayan fonksiyona karşılık gelir. Bu denklemin çözüm sayısı Gruplara Ayırma ve Dağıtma sayfasındaki çubuk–yıldız yöntemiyle bulunur:
Gruplara Ayırma sayfasındaki yazımı da aynı sayıdır, çünkü . Listemizde , için çıkar.
9. Örten Fonksiyon: Gruplayarak Say
Örten fonksiyonda değer kümesinin her elemanı en az bir kez görüntü olur.
ise örten fonksiyon yoktur. eleman en çok farklı görüntü üretir; ise değer kümesinin en az bir elemanı görüntü olmadan kalır.
İki elemanlı değer kümesi. ise fonksiyondan yalnız ikisi örten değildir: hepsini 'e gönderen ve hepsini 'ye gönderen sabit fonksiyonlar. Bu yüzden örten fonksiyon sayısı 'dir. için olur.
Üç elemanlı değer kümesi: gruplama. Örten bir fonksiyon, tanım kümesini boş olmayan üç bloğa ayırır (aynı görüntüye gidenler bir blok oluşturur) ve bu blokları 'nin üç elemanıyla eşler. 'ten 'ye dört eleman üç bloğa ancak -- biçiminde ayrılabilir:
- Aynı görüntüyü paylaşacak ikiliyi seç: .
- Oluşan üç bloğu (ikili ve iki tekli) , , 'ye eşle: .
Toplam örten fonksiyon vardır.
Eşit büyüklükteki bloklar. Aynı büyüklükte iki blok varsa, bloklar sırayla seçildiğinde sonuç bölünmelidir; çünkü hangi bloğun önce seçildiğinin bir önemi yoktur. 'ten 'ye örten fonksiyonları desenlere ayırarak sayalım:
- - deseni: üçlü blok yolla seçilir, iki blok ve 'ye yolla eşlenir: .
- - deseni: önce bir ikili, sonra kalan ikili seçilirse bulunur. Ama ayrımı ile ayrımı aynı ayrımdır; her ayrım iki kez sayılmıştır. Doğru blok sayısı 'tür. Bloklar ve 'ye yolla eşlenir: .
Toplam . İki yöntem aynı sonucu verdi; 'ye bölmeseydik bulurduk.
Aynı sayım, farklı bir dil. " farklı topu farklı kutuya, hiçbir kutu boş kalmayacak biçimde yerleştir" sorusu da tam olarak örten fonksiyon sayısını sorar: toplar tanım kümesi, kutular değer kümesidir; "hiçbir kutu boş değil" ise "her kutu bir görüntüdür" demektir. Cevap yine 'dır.
"Önce her kutuya bir top koy" neden yanlış? Sık görülen bir yol şudur: "Önce her kutuya bir top koyalım, yol; kalan topu üç kutudan birine atalım, yol; toplam ." Bu sayı doğru cevabın tam iki katıdır. Sebep Şekil 3'te görülüyor: 'de iki top bulunan her dağılımda, o iki toptan hangisinin "ilk turda" konulduğu seçilebilir. Aynı son dağılıma iki farklı yoldan ulaşılır ve yöntem bunu iki kez sayar.
Dikkat: Özdeş toplarda "önce her kutuya bir top koy" yöntemi doğrudur; çünkü özdeş toplarda hangi topun ilk turda konduğu ayırt edilemez. Toplar farklı olduğunda bu yöntem çift sayar. Özdeş nesnelerin dağıtımı Gruplara Ayırma ve Dağıtma sayfasındadır.
10. Örten Fonksiyon: Dahil Etme–Hariç Tutma ile Doğrula
Aynı 'yı tümleyen yoluyla da bulalım. 'ten 'ye toplam fonksiyon vardır. Örten olmayanlar, en az bir değeri hiç kullanmayanlardır.
- 'yı kullanmayan fonksiyonlar her elemanı 'ye gönderir: . ya da için de durum aynıdır. İlk tahmin: örten olmayan fonksiyon.
- Ama bu sayımda bazı fonksiyonlar iki kez çıkarıldı. Örneğin her şeyi 'ye gönderen sabit fonksiyon hem "'yı kullanmayanlar" hem "'yi kullanmayanlar" arasında sayıldı. Bu türden sabit fonksiyon vardır ve her biri bir kez geri eklenmelidir.
Gruplama ile aynı sonuç çıktı. Düzeltme terimini () unutan öğrenci bulur. Üç elemanlı değer kümesine örten fonksiyon sayısı genel olarak şöyledir:
Örneğin için bulunur.
Kapsam notu: Değer kümesi üçten fazla elemanlı olduğunda örten fonksiyonlar bu sayfada ele alınmaz. İki ya da üç elemanlı değer kümesinde gruplama ile dahil etme–hariç tutma birbirini denetlemek için yeterlidir.
Çözümlü Sorular
ve olmak üzere,
a) 'dan 'ye kaç fonksiyon tanımlanabilir?
b) 'den 'ya kaç fonksiyon tanımlanabilir?
Üs, seçim yapan elemanların sayısıdır. Seçim yapanlar her zaman tanım kümesinin elemanlarıdır.
-
a) Tanım kümesi 'dır; 'nın elemanının her biri 'nin elemanından birini seçer: .
-
b) Tanım kümesi bu kez 'dir; 'nin elemanının her biri 'nın elemanından birini seçer: .
-
Yaygın hata: a şıkkına yazmak, yani üssü ters kurmak. Daha küçük bir örnekte dene: 'den 'e. Bölüm 1'deki tabloda tam fonksiyon var, değil.
-
Denetim: İki yönün sonuçları farklıdır (); yön önemlidir. a şıkkında 'nın birinci elemanının görüntüsü için satır, ikinci elemanının görüntüsü için sütun açan bir tablo, Bölüm 1'deki gibi hücre verir.
ve olmak üzere,
a) 'dan 'ye kaç bire bir fonksiyon tanımlanabilir?
b) 'den 'ya kaç bire bir fonksiyon tanımlanabilir?
-
a) 'nın elemanlarına sırayla görüntü seçelim. Birinci eleman görüntüden birini, ikinci eleman kalan görüntüden birini, üçüncü eleman kalan görüntüden birini seçer: .
-
Yaygın hata: yazmak. Kombinasyon yalnızca hangi görüntülerin kullanıldığını sayar, hangi elemanın hangi görüntüye gittiğini saymaz. Küçük bir karşı örnek: 'den 'ye "" ve "" iki ayrı bire bir fonksiyondur; oysa 'dir. Doğrusu 'dir.
-
b) Tanım kümesi bu kez elemanlı , değer kümesi elemanlı 'dır. 'nin elemanına birbirinden farklı görüntü vermek için en az farklı görüntü gerekir; 'da yalnızca eleman vardır. Dördüncü eleman, ilk üçünün kullandığı bir görüntüyü tekrar kullanmak zorunda kalır. Bu yüzden bire bir fonksiyon yoktur: .
-
Yaygın hata: b şıkkına da yazmak. Bire bir fonksiyon ancak ise vardır.
-
Denetim: . Her görüntü kümesi elemana biçimde dağıtılır; kombinasyon cevabı bu yüzden kat küçük çıkar.
ve olmak üzere, 'dan 'ye tanımlı fonksiyonlarından kaç tanesinde ve tek sayıdır?
Koşul yalnız ve 'yi bağlar. ve da birer görüntü seçmek zorundadır.
-
olduğundan için seçenek vardır.
-
tek olmalı: 'deki tek sayılar , , 'tir. için seçenek vardır.
-
ve için koşul yoktur; her biri seçenekten birini seçer.
-
Çarpma kuralı: .
-
Yaygın hata: Yalnız koşullu elemanları sayıp bulmak. Bu, ve elemanlarını görüntüsüz bırakmak demektir; görüntüsüz eleman bırakan bir eşleme fonksiyon değildir.
-
Denetim: Koşulsuz toplam 'tir. Bu fonksiyonların 'inde 'dir; bunların da 'inde tektir, çünkü iki koşul farklı elemanları bağlar: .
ve olmak üzere, 'dan 'ye tanımlı fonksiyonlardan
a) kaç tanesi sabit fonksiyon değildir?
b) kaç tanesi için olur?
İki şıkta da "olmayanı" saymak kolaydır: sabit fonksiyonları ve olanları say, toplamdan çıkar.
-
Toplam fonksiyon sayısı 'tür.
-
a) Sabit fonksiyon, üç elemanı da aynı görüntüye gönderir; ortak görüntü yolla seçilir. Sabit olmayan fonksiyon sayısı 'tır.
-
b) Tümleyen yolu: olanları sayalım. Ortak görüntü yolla, de yolla seçilir: . İstenen: .
-
b) Doğrudan yol: için , için 'den farklı , için yine serbest seçenek vardır: . İki yol aynı sonucu verdi.
-
Dikkat: b şıkkında fonksiyon bire bir olmak zorunda değildir; yalnızca ile farklıdır. , ya da ile aynı olabilir. Bu yüzden cevap değildir.
-
Denetim: olmalıdır, çünkü olan her fonksiyon sabit olmayan bir fonksiyondur; tersi doğru değildir. Örneğin , sabit değildir ama b koşulunu sağlamaz.
ve olmak üzere, 'dan 'ye tanımlı fonksiyonlardan
a) kaç tanesi için olur?
b) kaç tanesi için olur?
a şıkkında görüntüler farklı ve sıraları belli; yalnız hangi üç görüntünün kullanılacağını seç. b şıkkında eşitliğe izin var; her değerin kaç kez kullanıldığını düşün.
-
a) Kesin artan fonksiyonda üç görüntü birbirinden farklıdır. 'den üç sayı seçildiğinde bunları olacak biçimde yerleştirmenin tek yolu vardır: en küçüğü 'e, ortancayı 'ye, en büyüğü 'e. Sayı: .
-
b) Bu kez eşit görüntülere izin var; örneğin ve de sayılır. 'nin altı elemanının kullanılma sayıları olsun. Her azalmayan fonksiyon , denkleminin bir çözümüne karşılık gelir. Çubuk–yıldız ile çözüm sayısı 'dır.
-
İkinci yol (durumlara ayırma): Üç görüntünün farklı olduğu durumlar a şıkkındaki fonksiyondur. Tam iki görüntünün eşit olduğu durumlarda kullanılan iki farklı değer yolla seçilir ve hangisinin iki kez kullanılacağı yolla belirlenir: . Üçünün eşit olduğu durumlar sabit fonksiyonlardır: . Toplam .
-
Yaygın hata: b şıkkına da yazmak. Kesin artan ile azalmayan farklı koşullardır; azalmayanda eşit görüntülere izin verildiği için sayı daha büyüktür.
-
Denetim (küçük örnek): , için formül verir ve Bölüm 8'deki listede tam altı fonksiyon vardır.
Birbirinden farklı kitap Ayşe, Burak ve Ceren'e dağıtılacaktır. Kitapların tamamı dağıtılacak ve her öğrenci en az bir kitap alacaktır. Bu dağıtım kaç farklı biçimde yapılabilir?
Her kitap bir öğrenci "seçer": bu, kitaplardan öğrencilere bir fonksiyondur. "Her öğrenci en az bir kitap alır" koşulu fonksiyonun örten olması demektir.
-
Model: Kitaplar tanım kümesi ( eleman), öğrenciler değer kümesi ( eleman). İstenen, elemanlı kümeden elemanlı kümeye örten fonksiyon sayısıdır.
-
Desenler: kitap boş olmayan üç bloğa ancak -- ya da -- biçiminde ayrılır.
-
-- deseni: Üçlü blok yolla seçilir; kalan iki kitap zaten birer kitaplık iki blok oluşturur. Üç blok üç öğrenciye yolla verilir: .
-
-- deseni: Tek kalacak kitap yolla seçilir. Kalan kitap iki ikiliye yolla ayrılır; iki ikili aynı büyüklükte olduğu için 'ye bölünür. Bloklar öğrencilere yolla verilir: .
-
Toplam: .
-
Dahil etme–hariç tutma ile denetim: Toplam dağıtım var. Bir öğrencinin kitapsız kaldığı dağıtımlar ; iki öğrencinin kitapsız kaldığı (bütün kitapların tek öğrenciye gittiği) dağıtım iki kez çıkarıldığı için geri eklenir: . İki yöntem aynı sonucu verdi.
-
Yaygın hatalar:
- -- deseninde 'ye bölmeyi unutmak: o desen , toplam çıkar.
- Dahil etme–hariç tutmada düzeltmesini unutmak: .
- "Önce her öğrenciye birer kitap ver (), kalan iki kitabı serbestçe dağıt ()" demek: . Bölüm 9'daki Şekil 3'te görüldüğü gibi aynı dağılım birden çok yoldan elde edilir ve bu yöntem onu tekrar tekrar sayar.
ve olmak üzere, 'dan 'ye tanımlı örten fonksiyonlardan kaç tanesi için olur?
sabitlendi. Geriye elemanları kalıyor. Fonksiyonun örten olması için hangi değerlerin hâlâ kullanılması gerekiyor? yeniden kullanılabilir mi?
-
olduğundan zaten görüntü kümesindedir. Fonksiyonun örten olması için elemanlarının görüntüleri arasında ve mutlaka bulunmalıdır. ise bu elemanlar için de serbest bir seçenektir.
-
Tümleyen ile: 'ten 'ye fonksiyon var. 'yi kullanmayanlar , 'yi kullanmayanlar . İkisini de kullanmayanlar (hepsini 'ya gönderen) tanedir ve iki kez çıkarılmıştır: .
-
Durumlara ayırarak (ikinci yol): 'in görüntü kümesi ya ya da olabilir.
- Görüntü kümesi tam olarak : dört elemandan iki elemanlı kümeye örten fonksiyon, .
- Görüntü kümesi : dört elemandan üç elemanlı kümeye örten fonksiyon, Bölüm 9'daki gibi .
Toplam: .
-
Yaygın hatalar:
- 'nın yeniden kullanılabileceğini unutup yalnız birinci durumu saymak: .
- Kalan dört elemanın da 'ye örten olması gerektiğini sanıp yalnız ikinci durumu saymak: .
-
Denetim: elemandan elemana örten fonksiyon vardır (Örnek 6). 'nin elemanlarının adlarını değiştirmek örten bir fonksiyonu yine örten bir fonksiyona dönüştürdüğünden , ve olan örten fonksiyonların sayıları eşittir; . Sonuç tutuyor.
olmak üzere, 'dan 'ye tanımlanabilen bire bir fonksiyonların sayısı 'dur. Buna göre 'dan 'ye tanımlanabilen sabit olmayan fonksiyonların sayısı kaçtır?
Önce için bire bir fonksiyon sayısını cinsinden yaz ve 'a eşitle.
-
olsun. 'nın üç elemanına farklı görüntüler seçmenin sayısı 'dir.
-
denkleminin sol tarafı ardışık üç tam sayının çarpımıdır. olduğundan bulunur. ( ve olduğundan başka çözüm yoktur; çarpım büyüdükçe artar.)
-
'dan 'ye fonksiyon sayısı , sabit fonksiyon sayısı 'dir.
-
Sabit olmayan fonksiyon sayısı: .
-
Yaygın hata: Bire bir fonksiyon sayısını ile kurmak. , , olduğundan denkleminin doğal sayı çözümü bile yoktur. Denklemin çözümsüz çıkması, modelin yanlış kurulduğunu gösterir.
-
Denetim: için . Ayrıca sonuç 'ten küçük olmalıdır: .
Pekiştirme Soruları
Konuyu pekiştirmek için hazırlanmış özgün sorular.
Çözümlü Sorular
Her soruyu önce kendin dene; takıldığında Çözüme Bak.
- Tanım kümesi ile değer kümesi aynı ve elemanlıdır. Bu durumda bire bir her fonksiyon aynı zamanda örtendir; bire bir fonksiyonları saymak yeterlidir.
- için , için kalan , için , için , için seçenek vardır.
- Çarpma kuralı: .
- Dikkat: bütün fonksiyonların sayısıdır; bire bir olma koşulu orada kullanılmaz. ise sabit olmayan fonksiyonların sayısıdır.
- olsun. 'dan 'ye fonksiyon sayısı 'dir.
- olduğundan bulunur.
- Bire bir fonksiyonda 'nın elemanının görüntüleri birbirinden farklı olmalıdır. 'de yalnızca eleman vardır; dördüncü eleman ilk üçünden birinin görüntüsünü kullanmak zorundadır.
- Bu yüzden 'dan 'ye bire bir fonksiyon yoktur: .
- Dikkat: , 'den 'ya bire bir fonksiyon sayısıdır; yön ters kurulmuş olur.
- Her eleman yalnızca kendisini görüntü olarak seçemez: , , , .
- Her elemanın seçeneği vardır ve seçimler birbirini etkilemez.
- Çarpma kuralı: .
- Dikkat: Fonksiyonun bire bir olması istenmiyor; örneğin olabilir. Bire bir olsaydı (düzensiz permütasyon) bulunurdu. Üssü ters kurup yazmak da yanlıştır: üs, seçim yapan eleman sayısı olan 'tür. yazan, aynı seçeneğin dört kez çarpılması gerektiğini atlamış olur. ise koşulsuz bire bir fonksiyonların sayısıdır.
- Her oyuncak bir kardeşi "seçer": bu, elemanlı oyuncak kümesinden kümesine bir fonksiyondur. "Her kardeş en az bir oyuncak alır" koşulu, fonksiyonun örten olması demektir.
- Bütün dağıtımlar: .
- Örten olmayanlar, bütün oyuncakları tek kardeşe veren dağıtımdır.
- İstenen: .
- Yaygın hatalar: "Önce her kardeşe birer oyuncak ver (), kalan oyuncağı serbestçe dağıt ()" demek verir; aynı dağıtım birden çok kez sayılır. Yalnızca ilk adımı yapıp yazmak, kalan oyuncağı dağıtmayı unutmaktır. yazmak, "her kardeş en az bir oyuncak alır" koşulunu hiç kullanmamak demektir. Kardeşlerin adları olduğu için 'ye bölüp yazmak da yanlıştır. ise oyuncaklar özdeş olsaydı doğru cevap olurdu.
- İki tam sayının toplamı ancak ikisi de tek ya da ikisi de çiftse çifttir.
- 'deki tek sayılar ( tane), çift sayılar ( tane).
- Tek–tek: ikili. Çift–çift: ikili. için toplam ikili vardır.
- için koşul yoktur; seçenek vardır. İstenen: .
- Denetim: Toplamın tek olduğu fonksiyonlar tanedir ve eder.
- Yaygın hatalar: 'ü unutup yazmak; yalnız tek–tek durumunu sayıp bulmak; tek ve çift karışık ikilileri sayıp bulmak.
- olarak verilmiştir. olmalıdır: , seçenek.
- olmalıdır: , seçenek.
- İki seçim birbirinden bağımsızdır ve ikisi birlikte yapılır; çarpma kuralı: .
- Yaygın hatalar: Seçenekleri toplayıp yazmak; dışındaki altı sayıdan herhangi ikisini seçip bulmak (oysa biri 'ten büyük, diğeri küçük olmalı); koşulunu atlayıp bütün kesin azalan fonksiyonları sayarak bulmak.
- Bütün bire bir fonksiyonlar: .
- Tümleyen: olan bire bir fonksiyonlar. için dışındaki , için kalan seçenek vardır: .
- İstenen: .
- Doğrudan yol: için dışındaki seçenek, için dışındaki seçenek ( artık kullanılabilir), için seçenek: .
- Yaygın hatalar: 'i bütün elemanlardan silip yazmak; oysa yalnız için yasaktır. Bire bir koşulunu unutup bulmak.
- .
- : 'nın yalnız elemanı vardır; en çok farklı görüntü oluşur. 'nin elemanının hepsi görüntü olamaz, bu yüzden .
- : elemandan elemana örten fonksiyon. Bütün fonksiyonlar tanedir; örten olmayanlar, bütün elemanları aynı değere gönderen sabit fonksiyondur: .
- .
- Yaygın hatalar: 'yi de sanmak (); sabit fonksiyonları çıkarmayıp almak (); iki sabit fonksiyondan yalnız birini çıkarıp almak (); 'yi "önce 'nın her elemanına birer eleman ver (), kalan iki elemanı serbest bırak ()" diyerek saymak ().
- 'e girecek top yolla seçilir.
- Kalan top ve 'e konulacak ve iki kutu da dolu olacak. Bu, elemanlı bir kümeden elemanlı bir kümeye örten fonksiyondur: .
- Çarpma kuralı: .
- Yaygın hatalar: 'e girecek topun seçimini unutup yalnız yazmak; ile 'ü aynı kutu gibi düşünüp 'ü 'ye bölerek bulmak (kutular numaralı olduğu için bu yanlıştır); "boş kalmama" koşulunu kalan topların ikişer ikişer dağıtılması sanıp yazmak; hiçbir kutunun boş kalmadığı yerleşimin üçte birini alıp yazmak. Son yol yanlıştır: , belirli bir topun 'e gittiği örten yerleşimlerin sayısıdır; 'de tam bir top olması bundan farklı bir koşuldur, çünkü 'de , ya da top bulunabilir.
- olduğundan ve her zaman aynı görüntüye gider; bu iki elemanı tek bir "" elemanı gibi düşünebiliriz.
- Böylece gibi "elemanlı" bir kümeden 'ye örten fonksiyon sayılır.
- Gruplama: dört "eleman" üç bloğa yalnız -- biçiminde ayrılır; .
- Denetim (dahil etme–hariç tutma): .
- Yaygın hatalar: Örten koşulunu unutup yazmak; düzeltmesini unutup bulmak; "önce her görüntüye bir eleman ver" diyerek saymak; örten fonksiyonun üçte birinde olduğunu varsayıp yazmak.
Sık Yapılan Hatalar
- Fonksiyon sayısında üssü ters yazmak (). Üs, seçim yapan tanım kümesi elemanlarının sayısıdır: 'dan 'ye (Örnek 1).
- Bire bir fonksiyonda kombinasyon kullanmak. Hangi elemanın hangi görüntüye gittiği önemlidir; sayı 'dir, değil (Örnek 2, Örnek 8).
- iken bire bir fonksiyon olduğunu sanmak. Bu durumda en az iki eleman aynı görüntüyü paylaşır; bire bir fonksiyon sayısı 'dır (Örnek 2b).
- Koşulsuz elemanları görüntüsüz bırakmak. Koşul yalnız birkaç elemanı bağlasa da diğer elemanların seçimleri çarpıma girer (Örnek 3).
- Kesin artan ile azalmayanı karıştırmak. Kesin artan , azalmayan verir; azalmayanda eşit görüntülere izin vardır (Bölüm 8, Örnek 5).
- Örten sayımında eşit büyüklükteki blokları bölmemek. -- deseninde iki ikili için 'ye bölünür (Bölüm 9, Örnek 6).
- Dahil etme–hariç tutmada düzeltme terimini unutmak. Üç elemanlı değer kümesinde ; son olmadan sonuç eksik çıkar (Bölüm 10, Örnek 6).
- Farklı nesnelerde "önce her kutuya birer tane koy, kalanı dağıt" demek. Bu yöntem aynı dağılımı birden çok kez sayar (Bölüm 9, Şekil 3, Örnek 6).
- Bir eleman sabitlenince kalan değerlerin yeniden kullanılabileceğini unutmak. olsa da diğer elemanlar da 'ya gidebilir (Örnek 7).
Özet
| Ne sayılıyor? (, ) | Sayı |
|---|---|
| 'dan 'ye bütün fonksiyonlar | |
| Sabit fonksiyonlar / sabit olmayanlar | / |
| Bire bir fonksiyonlar | ; ise |
| elemandan elemana bire bir ve örten | |
| Kesin artan (ya da kesin azalan) | |
| Azalmayan (Derinleştirme) | |
| İki elemanlı kümeye örten | |
| Üç elemanlı kümeye örten | (gruplama ile denetle) |
| iken örten |
Pratik İpucu
- Her soruda önce yönü yaz: tanım kümesi kim, değer kümesi kim? Seçim yapan taraf tanım kümesidir.
- Koşullu sorularda her eleman için bir kutu çiz, içine o elemanın seçenek sayısını yaz; koşulsuz kutuları boş bırakma.
- Örten sayımını her zaman iki yolla yap: gruplama ve dahil etme–hariç tutma. İki sonuç uyuşmuyorsa ya bir bölme ya da düzeltme terimi eksiktir.
Sonraki adım (AYT): Seçim sayılarının bir toplam içinde nasıl göründüğünü Binom Açılımı sayfasında görebilirsin.