Matematika Universitas — Tahun 1 · Bachelor Year 1
2Pencacahan
Mencacah himpunan hingga terdengar sederhana — dan dengan cepat menjadi halus. Bab ini mendefinisikan kardinalitas secara benar (lewat bijeksi, sejalan dengan Bab 1), menegakkan segelintir asas pencacahan yang darinya segala sesuatu mengikut, lalu menurunkan hasil cacah yang klasik: daftar, permutasi, himpunan bagian, koefisien binomial.
2.1 Kardinalitas himpunan hingga
Definisi 2.1 (Himpunan hingga, kardinalitas)
Untuk , tulis . Himpunan disebut hingga bila atau ada bijeksi dari pada untuk suatu ; bilangan ini tunggal (Teorema 2.2) dan merupakan kardinalitas dari , ditulis (dengan ).
Teorema 2.2 (Kardinalitas terdefinisi dengan baik)
Jika , tidak ada bijeksi dari pada . Lebih tepatnya, jika maka tidak ada injeksi dari ke dalam .
Bukti. Kita buktikan dengan induksi pada pernyataan berikut: untuk setiap , tidak ada injeksi . Untuk sasarannya kosong sedangkan : tidak ada pemetaan sama sekali. Andaikan pernyataan itu berlaku untuk , dan andaikan sebuah injeksi dengan . Bila nilai tidak tercapai, adalah injeksi ke dalam , bertentangan dengan hipotesis induksinya. Bila tercapai, untuk tepat satu ; tukarkan dengan (secara formal: komposisikan dengan transposisi kedua nilai itu), sehingga injeksi baru memenuhi . Maka pembatasan pada adalah injeksi ke dalam dengan — kontradiksi lagi. ∎
Akibat 2.3 (Prinsip sarang merpati)
Jika , tak ada pemetaan yang injektif: ada dua unsur yang berbagi peta.
Bukti. Tulis , dengan , lalu pilih bijeksi dan . Jika injektif, maka akan menjadi injeksi dari ke dalam (komposisi injeksi, Proposisi 1.26), bertentangan dengan Teorema 2.2. ∎
Catatan 2.4 (Selingan: mengapa ada penukaran pada bukti teorema itu?)
Bukti Teorema 2.2 memuat langkah cerdik pertama bab ini, yang layak diputar ulang perlahan. Rintangannya: untuk memakai hipotesis induksi kita ingin menghapus titik terakhir pada sumbernya dan titik terakhir pada sasarannya, tetapi mungkin mengirim titik lain ke , dan menghapus titik sasaran itu lalu merusak pemetaan di tempat lain. Obatnya: komposisikan dengan transposisi kedua nilai dan — sebuah bijeksi pada sasarannya, jadi keinjektifan terjaga — setelah itu nilai yang merepotkan tadi duduk pada posisi yang tak berbahaya, dan kedua penghapusan menjadi bersih. Pola “normalkan dulu, baru potong” ini berulang: begitulah rekursi permutasi kacau mengalihkan pada soal akhir pekan bab ini, dan begitulah permutasi ditambal di sepanjang soal Bab 7 tentang grup simetri.
Proposisi 2.5 (Injeksi, surjeksi dan kardinalitas)
Misalkan himpunan hingga dengan , dan . Maka
Bukti. Andaikan injektif. Maka adalah bijeksi dari pada , sehingga . Jika melewatkan sebuah titik pada , maka akan menjadi injeksi dari ke dalam , yaitu himpunan berkardinalitas — mustahil menurut prinsip sarang merpati. Jadi : surjektif, sehingga bijektif.
Andaikan surjektif. Pilih untuk setiap satu prapeta ; maka , jadi injektif (Proposisi 1.26). Menurut paragraf sebelumnya yang diterapkan pada (kardinalitas keduanya sama), bijektif. Dari kita peroleh , jadi bijektif. Akhirnya, pemetaan bijektif menurut definisinya sekaligus injektif dan surjektif, dan itu menutup daur implikasinya. ∎
Contoh 2.6 (Kehinggaan itu penting)
Pada himpunan yang hingga, Proposisi 2.5 adalah jalan pintas yang ampuh: setiap pemetaan injektif dari ke dirinya sendiri otomatis menjadi permutasi — separuh dari kebijektifan datang cuma-cuma. Kedua implikasi itu runtuh pada himpunan tak hingga: injektif dari ke tetapi melewatkan , dan pemetaan yang mengirim dan untuk surjektif tetapi tidak injektif. Setiap kali proposisi ini dipanggil, hipotesis kehinggaannya sedang bekerja sungguhan — tema yang ditelusuri soal akhir pekan Bab 1 dari sisi yang berlawanan, tempat himpunan tak hingga persis adalah himpunan yang punya pemetaan-diri semacam itu.
Contoh 2.7 (Separuh pekerjaan, cuma-cuma)
Tinjau pemetaan pada yang mengirim ke sisa pembagian oleh ; tabel nilainya adalah
Apakah sebuah bijeksi? Keinjektifan saja sudah cukup (Proposisi 2.5): jika dan bersisa sama, maka membagi , dan karena prima serta tidak membagi , ia membagi (lema Euclid, yang di sini dipakai pada taraf sekolah menengah dan dibuktikan pada Bab 6); dengan hal ini memaksa . Kesurjektifan datang cuma-cuma — tak perlu menyelesaikan untuk setiap , meskipun tabelnya membenarkan bahwa setiap nilai muncul tepat sekali. Jalan pintas itu adalah kuda beban: ia membuktikan keterbalikan perkalian modular (Bab 6), menggerakkan pemasangan pada teorema Wilson, dan kembali dalam aljabar linear sebagai “endomorfisma ruang berdimensi hingga bersifat injektif jika dan hanya jika surjektif” (Bab 19).
2.2 Asas pencacahan
Proposisi 2.8 (Kaidah jumlah dan kaidah hasil kali)
Misalkan himpunan hingga.
Bukti. (1) Sambungkan pencacahannya: jika dan tanpa pengulangan, maka mencacah tanpa pengulangan (karena saling lepas). Induksi memperluasnya ke potongan.
(2) adalah gabungan saling lepas dari dan , dan adalah gabungan saling lepas dari dan ; jadi .
(3) adalah gabungan saling lepas, atas , dari himpunan , yang masing-masing berkardinalitas ; terapkan (1).
(4) Sebuah pemetaan dari ke persis sama dengan pemilihan tupel- ; padanan ini adalah bijeksi, dan menurut (3) beserta induksi.
(5) Himpunan bagian berpadanan secara bijektif dengan pemetaan (kirim ke fungsi indikatornya); terapkan (4). ∎
Contoh 2.9 (Mencacah lewat komplemen)
Berapa banyak kode PIN angka (angka –, urutan penting, pengulangan dibolehkan) yang memuat sekurang-kurangnya satu angka berulang? Mencacahnya secara langsung berarti kita harus menjungkirkan kasus “tepat satu pasang, dua pasang, kembar tiga, kembar empat” — lima konfigurasi yang saling bertindihan. Cacah komplemennya saja: seluruh kode berjumlah (kaidah hasil kali), sedangkan kode dengan empat angka berbeda berjumlah (susunan-), jadi jawabannya adalah
Hampir separuh dari semua PIN mengulang sebuah angka. Inti gagasannya: setiap kali sebuah cacahan dirumuskan dengan “sekurang-kurangnya” atau “tidak semua”, cobalah komplemennya lebih dulu — kaidah jumlah menjamin , dan komplemennya sering berupa satu konfigurasi yang bersih.
Contoh 2.10 (Lintasan pada kisi)
Cacah lintasan terpendek dari sudut ke sudut sebuah kisi, dengan hanya boleh melangkah satu petak ke kanan (K) atau satu petak ke atas (A) setiap kali. Setiap lintasan semacam itu menempuh tepat langkah, yang di antaranya K dan di antaranya A; sebaliknya, setiap kata sepanjang atas huruf K, A dengan empat huruf K menggambarkan tepat satu lintasan. Jadi lintasan berpadanan secara bijektif dengan pilihan posisi huruf K:
Inti gagasannya ada pada penyandiannya: cacahan itu menjadi sepele begitu setiap lintasan diterjemahkan menjadi sebuah kata, yakni sebuah himpunan bagian posisi — satu lagi contoh dari semboyan bahwa cacahan yang benar adalah bijeksi yang menyamar (Metode 2.19).
2.3 Daftar, permutasi, himpunan bagian
Definisi 2.11 (Susunan, permutasi, kombinasi)
Misalkan himpunan dengan dan .
- Susunan- dari adalah tupel- injektif berisi unsur (pemilihan terurut tanpa pengulangan);
- permutasi dari adalah bijeksi dari ke dirinya sendiri — setara dengan susunan-;
- kombinasi- adalah himpunan bagian beranggota unsur (pemilihan tak terurut tanpa pengulangan). Banyaknya ditulis , dibaca “ pilih ” .
Teorema 2.12 (Ketiga cacahan itu)
Dengan dan :
- banyaknya susunan- dari adalah ;
- banyaknya permutasi adalah ;
- .
Bukti. (1) Pilih koordinat pertama ( cara), lalu yang kedua ( pilihan tersisa), …, lalu yang ke- ( pilihan). Secara formal, berinduksilah pada . Untuk ada tupel injektif bersuku satu. Andaikan cacahannya berlaku untuk . Setiap susunan- diperoleh dari tepat satu susunan- — yaitu pemenggalannya — dengan menambahkan koordinat terakhir di luar , yang untuknya tepat nilai tersedia. Jadi susunan- terpartisi, lewat pemenggalan, atas kelas-kelas berukuran sama yang terindeks oleh susunan-, dan kaidah jumlah memberikan
(2) adalah (1) dengan .
(3) Setiap himpunan bagian beranggota terurutkan menjadi susunan- yang berbeda, dan setiap susunan- muncul dari tepat satu himpunan bagian: jadi . ∎
Contoh 2.13 (Meja bundar: membagi habis simetrinya)
Dengan berapa cara tamu dapat duduk mengelilingi meja bundar, bila dua susunan dianggap sama ketika setiap tamu mempunyai tetangga kiri dan kanan yang sama — yakni sampai rotasi? Setiap susunan melingkar berpadanan dengan tepat susunan lurus (potong lingkarannya di salah satu dari tempat), jadi urutan lurus itu melebur dalam kelompok beranggota :
Setara dengan itu: dudukkan satu tamu istimewa di mana saja (mematikan kebebasan rotasinya), lalu urutkan tamu sisanya searah jarum jam. Untuk : ada meja. Kedua penyelesaian itu memperlihatkan dua obat baku bagi pencacahan berlebih: bagilah dengan banyaknya pengulangan yang persis, atau patahkan simetrinya dengan memaku satu objek. Keduanya menuntut ukuran kelompok pengulangan itu sama bagi setiap konfigurasi — syarat yang juga dipakai bukti rumus di atas, dengan menggantikan .
Contoh 2.14 (Menambahkan satu kendala)
Melanjutkan meja bundar tadi: di antara meja berisi tamu, berapa banyak yang mendudukkan dua tamu tertentu dan terpisah (tidak berdampingan)? Cacah komplemennya. Meja yang dan -nya duduk bersama: rekatkan keduanya menjadi satu blok — objek mengelilingi meja, yakni susunan melingkar — lalu urutkan pasangan itu di dalam bloknya ( cara): ada meja yang berdampingan. Jadi
meja membuat keduanya terpisah. Pemeriksaan kewajaran: memberikan (mengelilingi segitiga, semua orang bersentuhan) dan memberikan , yang mudah didaftar dengan tangan. Kiat perekatan — perlakukan blok yang dipaksakan sebagai satu objek, lalu cacah susunan di dalamnya — adalah obat baku bagi kendala kebersebelahan, baik lurus maupun melingkar.
Proposisi 2.15 (Kesamaan dasar)
Untuk :
Bukti. Kesamaan pertama: adalah bijeksi antara himpunan bagian beranggota dan himpunan bagian beranggota . Kaidah Pascal: tetapkan sebuah unsur ; himpunan bagian beranggota terbelah atas yang memuat (pilih unsur lainnya: ) dan yang menghindari (). Kesamaan ketiga: kedua ruasnya mencacah semua himpunan bagian , dan di ruas kiri cacahan itu dipilah menurut ukurannya (Proposisi 2.8 (1) dan (5)). ∎
Teorema 2.16 (Teorema binomial)
Untuk setiap dalam sebuah ring komutatif (misalnya atau ) dan :
Bukti. Menjabarkan secara distributif menghasilkan satu suku bagi setiap pilihan, pada masing-masing faktor, antara atau : suku muncul sekali untuk setiap cara memilih faktor mana di antara faktor itu yang menyumbang — yaitu sebanyak kali. (Cara lain: berinduksi pada memakai kaidah Pascal.) ∎
Contoh 2.17
Dua pengkhususan klasik: memulihkan ; , memberikan untuk : di antara himpunan bagian sebuah himpunan tak kosong, tepat separuhnya berkardinalitas genap.
Contoh 2.18 (Satu kesamaan, dua bukti)
Pengkhususan , pada teorema binomial berbunyi
Berikut kesamaan yang sama tanpa aljabar sama sekali. Ruas kanan mencacah kata sepanjang atas abjad (kaidah hasil kali). Golongkan setiap kata menurut himpunan berisi posisi yang memuat huruf tak nol: memilih dengan menelan biaya , lalu masing-masing posisi secara bebas memuat atau : ada cara. Kaidah jumlah atas memberikan ruas kiri. Selain kenikmatan melihat keduanya cocok, kedua bukti itu punya keutamaan yang berbeda: yang aljabar dapat diperluas ke sebarang nilai , sedangkan yang kombinatorial menjelaskan rumusnya dan menyesuaikan diri pada kendala (larang huruf pada posisi terakhir, misalnya) yang tak tertangkap oleh substitusi apa pun. Menjaga kedua teknik itu tetap hidup adalah keterampilan praktis yang dilatih bab ini.
Metode 2.19 (Cacahan mana yang berlaku?)
Sebelum menghitung, jawablah dua pertanyaan tentang pemilihannya: apakah urutan penting, dan apakah pengulangan dibolehkan?
| urutan penting | urutan tidak penting | |
|---|---|---|
| tanpa pengulangan | ||
| [6pt] pengulangan dibolehkan | (Latihan 2.10) |
Lalu carilah bijeksi atau partisi yang menyusutkan masalahnya menjadi cacahan model itu; cacahan yang benar adalah bijeksi yang menyamar.
Catatan 2.20 (Jebakan yang lazim dalam pencacahan)
- Menjumlahkan kasus yang tidak saling lepas. Kaidah jumlah menuntut sebuah partisi; jika sebuah konfigurasi dapat memenuhi dua kasus sekaligus, ia tercacah dua kali — obatnya adalah inklusi–eksklusi (Teorema 2.24) atau pemilahan kasus yang lebih halus.
- Terurut lawan tak terurut. Memilih “panitia beranggota dua” adalah , bukan : putuskan sebelum menghitung apakah pemilihannya membawa urutan, dan bila cacahan terurut lebih mudah, bagilah dengan banyaknya pengurutan pada akhirnya — tetapi hanya bila setiap objek tak terurut muncul dari sama banyak objek terurut.
- Pilihan bertahap yang tidak saling bebas. Kaidah hasil kali menuntut banyaknya pilihan pada setiap tahap tidak bergantung pada pilihan sebelumnya. “Pilih seorang kapten, lalu seorang wakil kapten yang berbeda” aman (); “pilih dua pemain yang cocok satu sama lain” sama sekali bukan hasil kali dua tahap.
- Pencacahan ganda karena konstruksinya. Membangun setiap objek dua kali — misalnya mencacah tangan berisi sekurang-kurangnya satu raja sebagai (pilih satu raja) (pilih kartu lagi) — melebihkan cacahan tangan yang memuat dua raja. “Sekurang-kurangnya” hampir selalu menuntut komplemen (Contoh 2.9).
Contoh 2.21 (Cacahan bergaya poker)
Dari setumpuk kartu, banyaknya tangan berisi kartu adalah . Tangan yang memuat tepat satu raja: pilih rajanya ( cara) lalu kartu di antara kartu bukan raja: . Kaidah hasil kali berlaku karena pilihannya terbelah atas tahap-tahap yang saling bebas.
Metode 2.22 (Pencacahan ganda)
Untuk membuktikan kesamaan antara dua ungkapan cacahan, carilah satu himpunan hingga yang dicacah oleh kedua ruasnya — lazimnya himpunan pasangan — lalu hitung kardinalitasnya dengan dua urutan yang berbeda. Prototipenya adalah lema jabat tangan: pada sebuah pesta, cacah pasangan (orang, tangan yang dijabat). Menjumlahkan atas orang memberikan (banyaknya jabat tangan tiap orang ); menjumlahkan atas jabat tangan memberikan dua kali banyaknya jabat tangan (masing-masing melibatkan dua orang). Jadi genap — sehingga banyaknya orang yang menjabat tangan sejumlah ganjil selalu genap, kesimpulan tak sepele yang diperoleh tanpa rumus sama sekali. Mesin yang sama menggerakkan Latihan 2.12 dan beberapa pertanyaan pada soal akhir pekan di bawah.
Contoh 2.23 (Himpunan bagian rata-rata)
Berapa kardinalitas rata-rata sebuah himpunan bagian dari himpunan beranggota unsur, katakanlah , bila semua himpunan bagiannya sama-sama mungkin? Cacah ganda pasangan dengan : menjumlahkan atas himpunan bagian memberikan , yaitu total yang kita cari; menjumlahkan atas unsur memberikan (masing-masing dari unsur itu terletak tepat di separuh himpunan bagiannya — pasangkan setiap yang memuat dengan ). Jadi
himpunan bagian, rata-rata, terisi separuh — sebagaimana juga diramalkan simetri (yang memasangkan ukuran dengan ). Dua bukti, satu jawaban, dan keduanya menghindari perhitungan langsung pada Latihan 2.5: pemasangan yang dipilih dengan baik sering menggantikan sebuah kesamaan.
2.4 Inklusi–eksklusi
Teorema 2.24 (Inklusi–eksklusi)
Untuk himpunan hingga :
Untuk : .
Bukti. Tetapkan sebuah unsur pada gabungannya lalu cacah sumbangannya pada ruas kanan. Misalkan , berkardinalitas . Unsur tercacah sekali pada tepat ketika , dengan tanda ; sumbangan totalnya adalah
menurut Contoh 2.17. Jadi setiap unsur gabungan itu tercacah tepat sekali. ∎
Contoh 2.25 (Mencacah bilangan bulat yang saling prima)
Berapa banyak bilangan bulat di yang saling prima dengan ? Sebuah bilangan bulat berbagi faktor dengan tepat ketika ia habis dibagi , atau , jadi cacahlah komplemen , dengan mengumpulkan kelipatan . Di dalam , kelipatan berjumlah setiap kali membagi — tanpa perlu fungsi lantai — dan , dan seterusnya. Inklusi–eksklusi:
jadi ada bilangan bulat yang saling prima dengan . Menarik untuk mengelompokkan ulang perhitungan itu sebagai hasil kali:
menjabarkan ketiga kurung itu mereproduksi persis kedelapan suku bertanda pada inklusi–eksklusi, satu untuk setiap himpunan bagian . Bentuk hasil kali ini mendefinisikan fungsi totien Euler, yang peran aritmetikanya muncul bersama kekongruenan Bab 6 dan dikembangkan pada jilid Tahun ke-2.
Contoh 2.26 (Permutasi kacau)
Permutasi kacau adalah permutasi tanpa titik tetap. Misalkan himpunan permutasi yang menetapkan ; maka , dan inklusi–eksklusi mencacah permutasi yang mempunyai sekurang-kurangnya satu titik tetap; permutasi kacau berjumlah
Karena (lihat Bab 17), sekitar dari semua permutasi adalah permutasi kacau, berapa pun itu.
Catatan 2.27 (Di mana bab ini dipakai)
Koefisien binomial adalah objek bab ini yang paling banyak dipakai ulang: ia menggerakkan teorema binomial pada Bab 8 (penjabaran ), rumus Leibniz bagi turunan ke- sebuah hasil kali pada Bab 14, dan koefisien ekspansi Taylor pada Bab 16. Permutasi kembali sebagai grup — dengan tanda yang dibangun dari pencacahan inversi — pada Bab 7, dan tanda itu pada gilirannya mendefinisikan determinan pada Bab 22. Inklusi–eksklusi dan asas pencacahan adalah tulang punggung hingga bagi peluang diskret, yang dikembangkan pada jilid Tahun ke-2; bilangan permutasi kacau pada Contoh 2.26 dipelajari secara mendalam pada soal akhir pekan di bawah.
2.5 Latihan
Latihan 2.1 ★
Sebuah pelat nomor terdiri atas dua huruf (A–Z), lalu tiga angka, lalu dua huruf lagi. Berapa banyak pelat yang mungkin? Berapa banyak yang tidak mempunyai huruf berulang di antara keempat hurufnya?
Solusi
Solusi Latihan 2.1.
Tahap yang saling bebas dan kaidah hasil kali: ada pelat. Bila keempat hurufnya berbeda dua-dua, tahap hurufnya membentuk susunan- atas abjad: cara, jadi ada pelat.
Latihan 2.2 ★
Berapa banyak anagram (penyusunan ulang huruf, bermakna atau tidak) yang dimiliki kata sepatu? Dan ananas?
Solusi
Solusi Latihan 2.2.
sepatu mempunyai huruf yang berbeda: anagram. ananas mempunyai huruf dengan pengulangan ( huruf a, huruf n, huruf s): setiap anagram ditentukan oleh posisi huruf a ( pilihan), lalu posisi huruf n di antara tempat sisanya (), sedangkan huruf s menempati tempat terakhir: anagram (setara dengan ).
Latihan 2.3 ★
Sebuah panitia beranggota orang dipilih dari perempuan dan laki-laki. Berapa banyak panitia: seluruhnya? yang beranggota tepat perempuan? yang beranggota sekurang-kurangnya satu laki-laki?
Solusi
Solusi Latihan 2.3.
Seluruhnya: . Tepat perempuan: pilih mereka () lalu laki-laki (): ada panitia. Sekurang-kurangnya satu laki-laki: komplemen dari “tanpa laki-laki”, .
Latihan 2.4 ★
Buktikan bahwa pada sebarang kelompok berisi orang, ada dua orang yang sama bulan lahirnya; dan bahwa di antara sebarang bilangan bulat yang dipilih dari , ada dua yang berurutan. (Sarang merpati dua-duanya: sebutkan kotaknya.)
Solusi
Solusi Latihan 2.4.
Bulan lahir: kotaknya adalah bulan; orang ke dalam kotak memaksa dua orang berada pada kotak yang sama (Akibat 2.3).
Bilangan bulat berurutan: kotaknya adalah pasangan , yang mempartisi . Memilih bilangan bulat menempatkan dua di antaranya pada pasangan yang sama, dan kedua unsur sebuah pasangan itu berurutan.
Latihan 2.5 ★
Hitung . Petunjuk: turunkan , atau pakai (buktikan dulu).
Solusi
Solusi Latihan 2.5.
Untuk ,
Dengan menjumlahkan lalu mengindeks ulang memakai :
menurut Proposisi 2.15. (Cara lain: turunkan lalu ambil .)
Latihan 2.6 ★★
Ada berapa banyak pemetaan naik tegas dari ke ? Simpulkan banyaknya pemetaan naik (tidak harus tegas). Petunjuk untuk cacahan kedua: naik .
Solusi
Solusi Latihan 2.6.
Pemetaan naik tegas ditentukan oleh petanya, yaitu himpunan bagian beranggota dari (daftarkan himpunan bagian itu dalam urutan naik); sebaliknya setiap himpunan bagian beranggota memberi tepat satu pemetaan semacam itu. Jadi ada pemetaan naik tegas.
Jika hanya naik, tulis . Maka naik tegas (di antara dua argumen berurutan, bertambah sedangkan bertambah ) dengan nilai di ; dan memulihkan dari sebarang yang naik tegas ke dalam . Ini sebuah bijeksi, jadi ada pemetaan naik.
Latihan 2.7 ★★
(Vandermonde) Buktikan, dengan mencacah himpunan bagian beranggota dari sebuah himpunan yang terbelah atas dua blok berukuran dan :
Simpulkan .
Solusi
Solusi Latihan 2.7.
Belah himpunan beranggota unsur atas blok ( unsur) dan ( unsur). Himpunan bagian beranggota dari memuat sejumlah unsur () dan unsur ; untuk yang tetap ada himpunan bagian semacam itu, dan kasus mempartisi himpunan bagian beranggota tadi. Kaidah jumlah memberikan kesamaan Vandermonde.
Dengan : , memakai .
Latihan 2.8 ★★
Berapa banyak bilangan bulat di yang habis dibagi atau atau ? (Inklusi–eksklusi; mencacah kelipatan , dan seterusnya.)
Solusi
Solusi Latihan 2.8.
Misalkan himpunan kelipatan di , sehingga . Inklusi–eksklusi (Teorema 2.24) dengan , sambil memperhatikan dan seterusnya:
Jadi ada bilangan bulat yang habis dibagi , atau .
Latihan 2.9 ★★
Cacah surjeksi dari himpunan beranggota unsur pada himpunan beranggota unsur; lalu pada himpunan beranggota unsur. Petunjuk: cacah pemetaan yang tak surjektif dengan inklusi–eksklusi atas nilai yang terlewat.
Solusi
Solusi Latihan 2.9.
Pada unsur: seluruh pemetaan kecuali pemetaan konstan: ada surjeksi.
Pada unsur: dengan inklusi–eksklusi atas nilai yang terlewat, banyaknya pemetaan dari himpunan beranggota ke himpunan beranggota yang melewatkan sekurang-kurangnya satu nilai adalah ; seluruh pemetaan berjumlah ; jadi surjeksinya: . (Periksa: surjeksi dari pada unsur menggandakan tepat satu nilai: pilih nilai yang digandakan (), pasangan yang terpetakan ke sana (), lalu bijeksi bagi sisanya (): .)
Latihan 2.10 ★★
(Bintang dan sekat) Buktikan bahwa banyaknya pemilihan- dari objek dengan pengulangan dan urutan diabaikan — setara dengan banyaknya yang memenuhi — adalah . Petunjuk: sandikan sebuah penyelesaian sebagai sebaris bintang dan sekat.
Solusi
Solusi Latihan 2.10.
Sebuah penyelesaian di tersandikan sebagai sebaris bintang dan sekat: tulis bintang, sebuah sekat, bintang, sebuah sekat, …, lalu diakhiri bintang. Ini bijeksi pada kata sepanjang yang memakai bintang dan sekat, dan kata semacam itu ditentukan oleh posisi bintangnya: . Pemilihan dengan pengulangan berpadanan dengan penyelesaian persamaan itu ( = banyaknya salinan objek ), jadi cacahannya sama.
Latihan 2.11 ★★★
Buktikan rumus Contoh 2.26 untuk secara terperinci, lalu simpulkan (buktikan pula kesamaan ini secara langsung dengan menggolongkan permutasi menurut himpunan titik tetapnya).
Solusi
Solusi Latihan 2.11.
Dengan , sebuah permutasi di menetapkan setiap dan mempermutasikan titik lainnya secara bebas: . Inklusi–eksklusi:
karena ada himpunan bagian berukuran . Jadi
Untuk kesamaan kedua: golongkan permutasi dari menurut himpunan titik tetapnya . Untuk himpunan bagian beranggota yang tetap, katakanlah , permutasi dengan tepat adalah permutasi kacau pada komplemennya: ada buah. Menjumlahkan atas pilihan untuk setiap memberikan .
Latihan 2.12 ★★★
Untuk , buktikan dengan pencacahan ganda pasangan (himpunan bagian, unsur bertanda):
Untuk yang kedua: cacah pasangan unsur bertanda, sama atau tidak.
Solusi
Solusi Latihan 2.12.
Kesamaan pertama. Cacah pasangan dengan () dan . Menurut ukuran : ada pasangan. Dengan memilih unsur bertanda lebih dulu: ada pilihan bagi , lalu sebarang himpunan bagian dari unsur sisanya untuk melengkapi : ada pasangan.
Kesamaan kedua. Cacah tripel dengan (boleh ). Menurut ukurannya: . Secara langsung: entah (ada tripel, cacahan sebelumnya) atau (ada pilihan terurut, lalu sebarang himpunan bagian dari unsur lainnya: ). Totalnya
2.6 Soal: Permutasi kacau, atau surat yang salah alamat
Soal 2.1
Seorang sekretaris memasukkan surat ke dalam amplop beralamat secara acak: berapa peluang bahwa tak seorang pun menerima surat yang benar? Pertanyaan klasik ini (Montmort, 1708) mengantar ke bilangan permutasi kacau pada Contoh 2.26. Rumus inklusi–eksklusi hanyalah langkah pembuka: soal ini mengembangkan rekursi yang menghitung , dua bukti mandiri lain bagi rumus itu, teorema mencengangkan bahwa adalah bilangan bulat terdekat dengan , distribusi lengkap titik tetap sebuah permutasi acak, serta aritmetika ganjil barisan . Di sepanjang soal ini, menyatakan banyaknya permutasi kacau (permutasi tanpa titik tetap) dari , dengan kesepakatan (permutasi kosong tidak mempunyai titik tetap).
Bagian I — Kasus kecil dan sensus titik tetap.
- Hitung secara langsung, dan dengan mendaftar permutasi kacau yang dikelompokkan menurut nilai . (Anda semestinya memperoleh .)
- Untuk , tunjukkan bahwa banyaknya permutasi yang mempunyai tepat titik tetap adalah .
- Periksa sensusnya untuk : hitung lalu periksa bahwa jumlahnya . Mana yang lebih mungkin untuk empat surat: tak ada yang cocok, atau tepat satu yang cocok?
Dengan pencacahan ganda (Metode 2.22) pasangan yang memenuhi , tunjukkan bahwa
rata-rata, sebuah permutasi acak mempunyai tepat satu titik tetap, berapa pun itu.
Bagian II — Dua rekursi dan dua bukti baru bagi rumus itu.
Buktikan secara kombinatorial, untuk :
(Golongkan permutasi kacau dari menurut , lalu menurut apakah ; pada kasus , bangunlah bijeksi dengan permutasi kacau dengan mengalihkan prapeta ke .) Periksa rekursi itu secara numerik sampai .
Dengan menulis , simpulkan dari pertanyaan 5 bahwa , lalu simpulkan rekursi kedua:
Dari pertanyaan 6, buktikan dengan induksi rumus pada Contoh 2.26,
— sebuah bukti yang sama sekali tak bergantung pada inklusi–eksklusi.
(Inversi binomial) Misalkan dan dua barisan sedemikian sehingga untuk setiap . Buktikan bahwa
(Tegakkan lebih dulu revisi trinomial , lalu pakai jumlah baris berselang-seling pada Contoh 2.17.)
- Terapkan pertanyaan 8 pada kesamaan dari Latihan 2.11 untuk memperoleh bukti ketiga bagi rumus .
Bagian III — Bilangan bulat terdekat dengan . Terima untuk bagian ini — teorinya dibangun pada Bab 17 — bahwa dengan , beserta batas deret berselang-seling yang tegas untuk setiap .
- Tunjukkan bahwa untuk setiap .
- Simpulkan teorema utamanya: untuk setiap , adalah bilangan bulat terdekat dengan . Mengapa argumen itu memerlukan ?
- Tentukan tanda galatnya: tunjukkan bahwa tepat ketika genap. (Cari suku pertama yang diabaikan pada deret berselang-seling itu.)
- Hitung sampai dengan rekursi pertanyaan 5, lalu cocokkan dengan (, ).
- (Peluang penitipan topi) Misalkan peluang bahwa sebuah permutasi acak seragam merupakan permutasi kacau. Tunjukkan lalu hitung sampai lima angka desimal. Beri komentar: mengapa jawaban atas pertanyaan Montmort pada dasarnya tidak bergantung pada — bahkan sudah untuk selusin surat?
Bagian IV — Distribusi titik tetap.
Tetapkan . Tunjukkan bahwa proporsi permutasi yang mempunyai tepat titik tetap memenuhi
(Nilai limit ini, yang berjumlah , membentuk distribusi Poisson berparameter , objek pusat pada mata kuliah peluang di jilid Tahun ke-2.)
- Dengan mencacah ganda tripel yang -nya sama-sama ditetapkan oleh , tunjukkan bahwa untuk . Digabungkan dengan pertanyaan 4: rata-rata adalah , jadi “sebaran” (ragam) banyaknya titik tetap sama dengan — sekali lagi tak bergantung pada , dan sekali lagi cocok dengan hukum Poisson.
- Hitung proporsi permutasi yang mempunyai sekurang-kurangnya satu titik tetap untuk (sebagai pecahan dan sampai empat angka desimal), lalu bandingkan dengan .
- Tunjukkan secara langsung — tanpa perlu limit — bahwa , lalu simpulkan bahwa peluang pada pertanyaan 14 berayun: dan , dengan nilai yang genap menurun dan nilai yang ganjil menaik menuju limit bersama .
- (Tukar kado rahasia) orang masing-masing menarik satu nama dari sebuah topi; jika ada yang menarik namanya sendiri, seluruh penarikan diulang dari awal. Dengan memakai fakta baku bahwa sebuah kejadian berpeluang rata-rata menuntut percobaan, taksirlah rata-rata banyaknya penarikan lengkap yang diperlukan, lalu simpulkan bahwa prosedur itu menelan sekitar penarikan secara rata-rata, pada dasarnya tak bergantung pada .
Bagian V — Aritmetika , dan sebuah sintesis.
- Perhalus pertanyaan 5: tunjukkan bahwa untuk yang tetap, permutasi kacau dengan berjumlah tepat , tak bergantung pada . Simpulkan bahwa membagi untuk setiap .
- Buktikan bahwa ganjil jika dan hanya jika genap. (Bekerjalah modulo pada rekursi pertanyaan 6.)
- Buktikan bahwa untuk , lalu periksa kekongruenan itu pada angka terakhir .
- Tunjukkan dari pertanyaan 6 bahwa untuk , jadi rasio dua bilangan permutasi kacau yang berurutan hampir persis ; jelaskan dalam satu kalimat mengapa hal ini sejalan dengan .
- Di mana persisnya soal ini memakai: (i) kaidah hasil kali dan kaidah jumlah; (ii) pencacahan ganda; (iii) teorema binomial; (iv) batas deret berselang-seling yang diterima tanpa bukti? Satu kalimat untuk masing-masing.
- Sintesis. Rumus untuk kini mempunyai tiga bukti (inklusi–eksklusi, rekursi beserta induksi, inversi binomial). Dalam satu paragraf pendek, bandingkan apa yang dijelaskan masing-masing bukti: mana yang menghitung paling cepat, mana yang dapat diperluas ke cacahan titik tetap yang lain, dan mana yang mengungkap mengapa muncul pada soal tentang amplop.
Solusi
Solusi Soal 2.1.
1. (satu-satunya permutasi menetapkan ), (pertukarannya), (dalam notasi satu baris: dan ). Untuk , kelompokkan menurut : dengan permutasi kacaunya adalah , , ; dengan : , , ; dengan : , , . Tiga buah pada masing-masing kelompok: .
2. Sebuah permutasi dengan tepat titik tetap ditentukan oleh pilihan himpunan titik tetapnya ( cara) beserta pembatasannya pada komplemen, yang haruslah permutasi titik tanpa titik tetap ( cara). Kedua pilihan itu saling bebas dan padanannya bijektif: .
3. ; ; ; (tiga titik tetap memaksa adanya titik tetap yang keempat); . Jumlahnya: . Tak ada yang cocok ( kasus) mengungguli tepat satu yang cocok ( kasus) — tipis saja.
4. Cacah pasangan dengan . Untuk yang tetap, permutasi yang menetapkan adalah permutasi titik lainnya: ada buah. Jadi banyaknya pasangan adalah , dan bilangan itu juga sama dengan . Dengan membaginya dengan banyaknya permutasi, yaitu : rata-rata banyaknya titik tetap adalah tepat , untuk setiap .
5. Misalkan permutasi kacau dan : ada nilai yang mungkin. Kasus : titik dan bertukar, sedangkan yang dibatasi pada titik sisanya adalah permutasi kacau sembarang atas titik-titik itu: ada kemungkinan. Kasus : tulis ; di sini dan . Definisikan pada dengan untuk dan . Maka adalah permutasi (nilai telah digantikan oleh nilai yang hilang), dan ia permutasi kacau: , dan di tempat lain. Sebaliknya, dari sebuah permutasi kacau atas dan nilai , kita pulihkan dengan menetapkan , dan di tempat lain: sebuah bijeksi, yang memberikan kemungkinan. Dengan menjumlahkan atas : . Secara numerik: , .
6. Dari pertanyaan 5, , jadi
Karena , induksi memberikan , yakni untuk .
7. Induksi pada . Basis: . Langkah: dengan mengandaikan ,
yang tepat merupakan rumus itu. Tak ada inklusi–eksklusi yang dipakai: hanya rekursi kombinatorial pertanyaan 5.
8. Revisi trinomial, lewat faktorial:
Sekarang substitusikan lalu tukarkan kedua jumlah hingga itu:
Jumlah bagian dalamnya adalah penjabaran (teorema binomial, Teorema 2.16): ia lenyap untuk dan bernilai untuk . Hanya yang bertahan, dan ruas kanannya adalah , sesuai yang diklaim.
9. Menurut simetri , kesamaan pada Latihan 2.11 dapat ditulis ulang sebagai . Terapkan pertanyaan 8 dengan dan :
dengan mengindeks ulang lewat : rumus itu untuk ketiga kalinya.
10. (pertanyaan 7), jadi
11. Untuk berlaku , dan ketaksamaan pertanyaan 10 bersifat tegas: terletak pada jarak dari , jadi ia satu-satunya bilangan bulat terdekat. Untuk batas itu hanya memberikan jarak , dan klaimnya memang gagal di situ: mempunyai bilangan bulat terdekat , sedangkan .
12. adalah deret berselang-seling dengan suku yang menurun tegas, jadi tandanya sama dengan tanda suku pertamanya . Jadi bertanda : untuk genap, dan ; untuk ganjil, .
13. ; ; ; . Periksa: , yang bilangan bulat terdekatnya adalah — dan , sebagaimana diramalkan pertanyaan 12 untuk genap.
14. . Untuk : (lima angka desimal), berbanding ; selisihnya di bawah . Batas runtuh demikian cepat sehingga peluangnya sudah terpaku sampai banyak angka desimal bahkan untuk selusin surat: jawaban “sekitar ” itu, untuk setiap keperluan praktis, tak bergantung pada — kejutan yang termasyhur dari soal ini.
15. Menurut pertanyaan 2 dan :
ketika dengan yang tetap, karena . Nilai limit () adalah bobot distribusi Poisson berparameter .
16. Cacah tripel dengan , , . Dengan memilih pasangan terurutnya lebih dulu: ada cara; permutasi yang menetapkan sekaligus adalah permutasi titik sisanya: ada buah. Totalnya: . Sebaliknya, menjumlahkan atas lebih dulu mencacah, untuk setiap , pasangan terurut titik tetap yang berbeda: . Jadi kesamaan yang dinyatakan itu berlaku; dengan membaginya dengan , rata-rata adalah , sehingga rata-rata adalah dan ragamnya .
17. Proporsi : untuk , ; untuk , ; untuk , . Semuanya dalam jarak satu persen dari , dan berayun di sekitarnya.
18. Secara langsung:
sedangkan kurungnya bernilai . Untuk genap selisihnya negatif: , jadi ; untuk ganjil ia positif: Digabungkan dengan pertanyaan 12 (yang genap di atas , yang ganjil di bawah) dan pertanyaan 14 (jarak ke menuju ): kedua tangga itu menjepit di antara keduanya.
19. Satu penarikan lengkap adalah permutasi acak seragam, yang sah bila ia permutasi kacau: peluangnya . Menurut fakta yang dikutip tadi, rata-rata banyaknya penarikan sampai berhasil adalah , dan pertanyaan 14 memberikan dengan galat yang sudah dapat diabaikan bahkan untuk yang kecil. Jadi tukar kado rahasia dengan pengulangan menelan rata-rata sekitar penarikan lengkap — entah kantornya berisi orang atau .
20. Tetapkan lalu jalankan penggolongan pertanyaan 5 pada nilai . Jika : sisa titik memikul permutasi kacau sembarang, ada cara. Jika : alihkan prapeta ke persis seperti pada pertanyaan 5; ini bijeksi dengan permutasi kacau atas titik : ada cara. Totalnya , sama untuk setiap . Dengan menjumlahkan atas nilai : , yang memperlihatkan faktor : .
21. Klaimnya: ganjil jika dan hanya jika genap. Induksi memakai , yakni . Basis: genap sedangkan ganjil: klaimnya berlaku. Jika genap, genap dan : ganjil, sesuai klaim. Jika ganjil, maka genap, sehingga ganjil menurut hipotesis, dan : genap. Induksinya pun tertutup.
22. Mereduksi modulo mematikan suku pertamanya: . Untuk : , dan memang berakhir pada angka .
23. Untuk berlaku , dan membagi rekursi pertanyaan 6 dengan memberikan , dengan dan menuju dengan cepat. Kesejalanannya: jika , maka — faktor saling hapus pada rasionya, dan rekursi itu membenarkannya sampai ketelitian .
24. (i) Kaidah hasil kali dan kaidah jumlah melandasi setiap cacahan: pertanyaan 2 dan 5 mempartisi himpunan permutasi atas tahap-tahap yang saling bebas. (ii) Pencacahan ganda memberikan rata-rata (pertanyaan 4) dan ragam (pertanyaan 16) banyaknya titik tetap tanpa rumus sama sekali. (iii) Teorema binomial menghitung jumlah dalam yang berselang-seling , yang membuat inversi binomial berjalan (pertanyaan 8). (iv) Batas deret berselang-seling mengubah jumlah yang eksak tetapi buram menjadi pernyataan yang bening, yaitu “bilangan bulat terdekat dengan ” (pertanyaan 10–14).
25. Inklusi–eksklusi (Contoh 2.26 dan Latihan 2.11) adalah bukti yang konseptual: ia menjelaskan jumlah berselang-seling itu sebagai koreksi atas pencacahan yang berlebih, dan ia dapat diperluas kata demi kata ke pencacahan unsur yang menghindari sebarang keluarga himpunan “buruk”. Jalur rekursi (pertanyaan 5–7) menghitung paling cepat — waktu linear, aritmetika bilangan bulat yang eksak, tanpa faktorial — dan menjadi sumber fakta aritmetika pada Bagian V. Inversi binomial (pertanyaan 8–9) menempatkan rumus itu di dalam transformasi umum yang akan muncul kembali di mana pun dua sistem kesamaan segitiga saling berhadapan. Dan munculnya paling baik dijelaskan oleh rumus itu sendiri: proporsi permutasi kacau adalah jumlah parsial dari deret untuk , jadi amplop Montmort itu, tiga dasawarsa sebelum notasi Euler, sudah menghitung bilangan .