Matematika Sekolah Menengah Atas · Grades 10–12
30Matriks dan Graf
Matriks adalah larik bilangan berbentuk persegi panjang, yang dijumlahkan dan dikalikan menurut kaidah yang dirancang agar aljabar matriksnya mewakili komposisi transformasi linear. Matriks menyelesaikan sistem linear, menggerakkan barisan rekurensi yang berpasangan, dan mencacah jalan pada jaringan — yaitu matematika di balik mesin pencari dan algoritme lintasan terpendek.
30.1 Aljabar matriks
Definisi 30.1 (Matriks)
Suatu matriks adalah tabel bilangan real dengan baris dan kolom: , dengan isian pada baris , kolom . Dua matriks yang berukuran sama dijumlahkan isian demi isian, dan .
Definisi 30.2 (Hasil kali matriks)
Misalkan berukuran dan berukuran . Hasil kali adalah matriks yang isian -nya
(yaitu kaidah “baris dari kali kolom dari ”).
Contoh 30.3
, sedangkan : perkalian matriks tidak komutatif.
Proposisi 30.4 (Kaidah aljabar matriks)
Setiap kali ukurannya membuat hasil kalinya bermakna:
dan matriks satuan (berisi satu pada diagonalnya, nol di tempat lain) memenuhi untuk berukuran .
Bukti. Semuanya pemeriksaan isian demi isian dari Definisi 30.2; keasosiatifannya, satu-satunya yang tak sepele, sama saja dengan menukar dua jumlah berhingga: . ∎
Definisi 30.5 (Balikan)
Matriks persegi berukuran disebut dapat dibalik jika ada matriks dengan ; matriks itu lalu tunggal dan ditulis .
Proposisi 30.6 (Balikan matriks )
Misalkan dan (yaitu determinan matriks itu). Maka dapat dibalik jika dan hanya jika , dan dalam hal itu
Bukti. Perhitungan memberi ; jika , bagilah. Sebaliknya, jika , kolom sebanding, dan begitu pula kolom untuk sebarang ; padahal kolom tidak sebanding, jadi tak ada yang memenuhi . ∎
Metode 30.7 (Sistem linear)
Sistem adalah persamaan matriks dengan , . Jika , penyelesaian tunggalnya adalah . Formalisme yang sama mengurus persamaan dengan bilangan tak diketahui.
30.2 Pangkat matriks dan barisan rekurensi
Definisi 30.8
Untuk matriks persegi dan , ( faktor), dengan .
Metode 30.9 (Kasus diagonal-tambah-nilpoten dan kasus terdiagonalkan)
Dua cara baku untuk menghitung :
- Jika dengan , maka teorema binomial (yang berlaku di sini sebab dan komutatif) runtuh menjadi dua suku: .
- Jika orang menemukan yang dapat dibalik dengan dan diagonal, maka , dan dihitung isian demi isian. (Menemukan semacam itu secara sistematis adalah teori pendiagonalan, yang dikembangkan di universitas; pada tingkat ini sudah diberikan.)
Contoh 30.10 (Barisan berpasangan)
Misalkan dan . Dengan mengambil dan , kita peroleh , sehingga . Barisan bantunya dan memenuhi dan , jadi , dan
(Di balik layarnya: dan adalah arah vektor eigen .)
30.3 Graf dan jalan
Definisi 30.11 (Graf, matriks ketetanggaan)
Suatu graf terdiri atas simpul dan sisi yang menghubungkan pasangan simpul tertentu (pasangan terurut bagi graf berarah). Matriks ketetanggaan dari graf itu adalah matriks bernama dengan jika ada sisi dari ke , dan jika tidak. Suatu jalan sepanjang dari ke adalah barisan sisi berturut-turut yang membawa dari ke .
Teorema 30.12 (Mencacah jalan)
Banyaknya jalan sepanjang dari simpul ke simpul adalah isian pada .
Bukti. Induksi pada . Untuk inilah definisi . Andaikan pernyataannya benar untuk . Jalan sepanjang dari ke adalah jalan sepanjang dari ke suatu simpul , lalu diikuti sisi dari ke ; menurut asas penjumlahan dan asas perkalian, banyaknya adalah
∎
Contoh 30.13
Untuk graf segitiga ( simpul, semua pasangannya terhubung), dan : jadi dari tiap simpulnya ada jalan sepanjang yang kembali ke dirinya (lewat salah satu tetangganya) dan jalan ke tiap simpul lainnya.
30.4 Latihan
Latihan 30.1 ★
Misalkan dan . Hitunglah , , dan .
Solusi
Solusi Latihan 30.1.
Perhatikan bahwa .
Latihan 30.2 ★
Tentukan apakah matriks berikut dapat dibalik, lalu hitunglah balikannya jika ada:
Latihan 30.3 ★
Selesaikan lewat pembalikan matriks sistem
Latihan 30.4 ★★
Misalkan dengan .
- Periksalah bahwa dan bahwa dan komutatif.
- Simpulkan untuk semua lalu periksalah rumusnya untuk lewat perhitungan langsung.
Solusi
Solusi Latihan 30.4.
1. , dan komutatif dengan setiap matriks.
2. Karena kedua sukunya komutatif, teorema binomial berlaku dan semua suku yang memuat lenyap:
Periksalah untuk : , dan rumusnya memberi , . ✓
Latihan 30.5 ★★
Misalkan dan barisan Fibonacci (, , ). Tunjukkan lewat induksi bahwa untuk ,
lalu simpulkan identitas . (Petunjuk: determinan saling mengalikan: , dan itu boleh kamu periksa untuk matriks .)
Solusi
Solusi Latihan 30.5.
Induksinya. Untuk : . Andaikan rumusnya benar untuk ; maka
Identitasnya. Untuk matriks , penjabarannya menunjukkan ; karena itu , sedangkan . (Inilah identitas Cassini.)
Latihan 30.6 ★★
Sebuah graf berarah pada simpul mempunyai sisi , , dan .
- Tulislah matriks ketetanggaannya lalu hitung dan .
- Ada berapa jalan sepanjang dari ke ? Daftarkanlah.
Solusi
Solusi Latihan 30.6.
1. Dengan mengurutkan simpul :
2. : jadi tepat ada satu jalan tertutup sepanjang di simpul , yaitu . (Jalan hanya sepanjang , sedangkan lalu lalu berakhir di .)
Latihan 30.7 ★★
Sebuah perusahaan berbagi mobil memindahkan kendaraan antara dua kota dan . Tiap pekan, mobil di tinggal di dan pindah ke ; lalu mobil di pindah ke dan tinggal. Misalkan adalah bagian armadanya di tiap kota.
- Tulislah dengan lalu kenalilah .
- Carilah bagian yang setimbang (selesaikan dengan ).
- Tunjukkan bahwa memenuhi , lalu simpulkan bahwa distribusi armadanya menuju kesetimbangan itu.
Solusi
Solusi Latihan 30.7.
1. , , jadi .
2. memberi , yaitu , sehingga ; lalu dengan : , .
3. Dengan memakai : , sehingga
Jadi : maka dan , berapa pun distribusi awalnya.
Latihan 30.8 ★★★
Misalkan , .
- Hitunglah , lalu , dan periksalah bahwa diagonal.
- Simpulkan rumus tertutup bagi lalu bandingkan dengan Contoh 30.10.
Solusi
Solusi Latihan 30.8.
1. , jadi . Maka
2. Dari , induksi yang langsung memberi dengan , sehingga
Menerapkan pada menghasilkan kembali persis rumus pada Contoh 30.10.
30.5 Soal: Matriks yang hafal Fibonacci (dan cuaca)
Soal 30.1
Soal akhir pekan — satu matriks memikul seluruh Fibonacci, sebuah matriks Markov meramal cuaca jangka panjang, dan sebuah vektor eigen bernilai semiliar dolar
Matriks adalah mesin yang memakan sebuah keadaan lalu mengembalikan keadaan berikutnya — dan pangkatnya karena itu menyimpan seluruh masa depan. Soal ini dibuka dengan matriks mencengangkan yang pangkatnya mendaftar bilangan Fibonacci (dan membuktikan identitasnya masing-masing satu baris), lalu menjalankan cuaca sebagai rantai Markov sampai keadaan mapannya, dan ditutup dengan vektor eigen yang di atasnya sebuah mesin pencari dibangun (Teorema 30.12, Metode 30.9).
Bagian I — Kelancaran.
- Dengan dan : hitunglah dan . Vonis atas kekomutatifannya?
- Baliklah (Proposisi 30.6) lalu pakailah balikannya untuk menyelesaikan , .
- Misalkan : hitunglah , lalu simpulkan untuk setiap .
- Graf segitiga (tiga simpul, semua pasangannya terhubung): tulislah matriks ketetanggaannya , hitunglah , lalu tafsirkan isian diagonalnya (Teorema 30.12).
- Untuk : berikan dan perilakunya ketika .
Bagian II — Matriks Fibonacci. Misalkan dan misalkan adalah bilangan Fibonacci pada Soal 13.1.
- Hitunglah , , lalu terkalah bentuk umum dengan bilangan Fibonacci.
- Buktikan terkaan itu lewat induksi.
- Ambillah determinan kedua ruasnya (determinan hasil kali adalah hasil kali determinannya — periksalah pada matriks jika kamu belum pernah melihatnya): lalu simpulkan identitas Cassini — yaitu mesin kuadrat yang lenyap itu, yang terbukti dalam satu baris.
Dari , bacalah isian kanan atasnya lalu turunkan rumus penjumlahannya
Periksalah untuk .
- Simpulkan dari rumus penjumlahan itu (lewat induksi pada ) bahwa membagi , lalu periksalah pada dan .
- Untuk menghitung , orang tak perlu mengalikan matriks: kuadratkanlah berulang kali () lalu gabungkan. Berapa kali perkalian matriks yang cukup, dan muslihat perkalian kuno mana dari jilid sekolah menengah pertama yang ini, yang kini naik pangkat ke matriks?
Bagian III — Mesin cuaca. Di sebuah kota: sesudah hari yang cerah, hari berikutnya cerah dengan peluang ; sesudah hari yang hujan, cerah dengan peluang . Sandikan distribusi harinya sebagai satu kolom dan perubahannya oleh
- Periksalah bahwa tiap kolom berjumlah , lalu katakan mengapa setiap mesin cuaca harus punya sifat itu.
- Hari ini cerah. Hitunglah ramalan untuk besok dan untuk lusa.
- Carilah keadaan mapannya: yaitu distribusi dengan (dan isiannya berjumlah ). Berapa bagian harinya yang cerah dalam jangka panjang?
- Mulailah dari hari hujan, , lalu terapkan empat kali, sambil melacak jaraknya ke keadaan mapan pada tiap langkahnya. Dengan faktor berapa jurangnya menyusut tiap langkah — dan kekonvergenan macam apa ini?
- PageRank dalam ukuran mini: tiga halaman, dengan tautan , , , . Seorang peselancar acak mengikuti tautan keluar secara acak seragam. Tulislah matriks peralihannya, carilah keadaan mapannya, lalu peringkatkan halamannya.
- Tafsirkan peringkatnya: mengapa bernilai setinggi padahal menerima tautan dari lebih sedikit halaman — apa yang sebenarnya diukur keadaan mapan itu? (PageRank yang sungguhan menambahkan faktor peredam untuk jalan buntu dan lompatan; gagasan vektor eigennya tepat yang ini.)
Bagian IV — Untung dari diagonalnya.
- Dua besaran yang berpasangan menuruti , , yaitu matriks pada Latihan 30.8. Dengan memakai pendiagonalan latihan itu (), berikan rumus tertutup bagi ketika , , lalu periksalah terhadap perhitungan langsung untuk .
- Dalam satu atau dua kalimat: apa yang dilakukan pendiagonalan terhadap sistem yang berpasangan — dan dalam arti apa keadaan mapan Markov pada pertanyaan 14 juga sebuah kisah vektor eigen?
- Penutup — tiga wajah matriks pada akhir pekan ini: pembukuan (sistem dan balikan), kombinatorika (jalan dan tautan yang tercacah oleh pangkatnya), dan perubahan (Fibonacci, cuaca, jejaring — masa depan yang terbaca dari arah eigennya). Masing-masing satu kalimat, ditambah penunjuk ke depan: aljabar linear di jilid universitas menjadikan tiap wajah itu sebuah teori.
Solusi
Solusi Soal 30.1.
1. dan : jadi perkalian matriks tidak komutatif — menukar kolom bila di kanan, dan menukar baris bila di kiri.
2. Determinannya , jadi balikannya . Dengan menerapkannya pada : , .
3. . Maka lewat induksi: .
4. , dan berisian diagonal : jadi dari tiap simpulnya ada tepat dua jalan tertutup sepanjang (segitiganya ditempuh searah atau berlawanan arah jarum jam) — teorema pencacahan itu sedang beraksi.
5. : satu arahnya meledak, arah lainnya mati — nasib diagonalnya adalah barisan ukur yang saling bebas.
6. , , : Fibonacci di mana-mana; terkaannya seperti yang dinyatakan.
7. Jika , maka
itulah pewarisannya; sedangkan kasus dasarnya adalah sendiri, dengan memakai kesepakatan (yang memperluas rekurensinya ke belakang).
8. , jadi ; dan secara langsung : itulah Cassini, dalam satu baris. (Kaidah hasil kali bagi determinan adalah penjabaran lima menit yang menyenangkan.)
9. Kanan atas : ; kanan atas : . Untuk : .
10. Untuk : sepele. Jika , maka rumus penjumlahannya dengan memberi : kedua sukunya kelipatan . Jadi untuk semua : periksalah bahwa membagi dan .
11. : yaitu tujuh kali pengkuadratan () ditambah dua penggabungan — sembilan kali perkalian, bukan sembilan puluh sembilan. Inilah muslihat tabel pelipatduaan para juru tulis Mesir, yang diangkat dari bilangan ke matriks: tulislah dalam biner, lalu kalikan pelipatduaan yang kamu perlukan.
12. dan : besok haruslah suatu cuaca — tiap kolomnya adalah distribusi peluang yang lengkap, sehingga peluangnya kekal.
13. Besok: . Lusa: .
14. dengan , : maka memberi , jadi dan . Dalam jangka panjang, dua hari dari tiga hari cerah — bagaimanapun rupa hari ini.
15. Dari : komponen cerahnya , , , ; jurangnya terhadap : , , , — jadi tiap langkahnya mengalikan jurangnya tepat dengan (yaitu nilai eigen kedua mesinnya): kekonvergenan ukur menuju keadaan mapannya.
16. Kolomnya (dari , , ): . Keadaan mapannya: , , ; lalu dengan berjumlah : . Peringkatnya: dan seri di tempat pertama, terakhir.
17. Halaman menerima seluruh lalu lintas dan separuh milik , lalu menyalurkan semuanya kembali ke : keadaan mapannya mengukur di mana sang peselancar menghabiskan waktunya, bukan berapa banyak tautan yang menunjuk masuk — satu tautan dari halaman populer mengalahkan beberapa tautan dari halaman sepi. Pembobotan rekursif itu justru gagasan pendiri Google; peredamnya mengurus perangkap laba-laba dan jalan buntu.
18. memberi (dan ). Periksalah: , , ; sedangkan secara langsung: , jadi cocok.
19. Pendiagonalan mengganti ke koordinat yang membuat sistem berpasangan itu terurai menjadi barisan ukur yang saling bebas — tiap nilai eigennya berlari dalam lombanya sendiri. Keadaan mapan Markov adalah vektor eigen dengan nilai eigen , dan laju kekonvergenan pada pertanyaan 15 adalah nilai eigen berikutnya: jadi mesin cuaca itu sejak awal sebuah kisah eigen.
20. Pembukuan: satu sistem adalah satu persamaan matriks, yang diselesaikan oleh satu balikan. Kombinatorika: pangkat matriks ketetanggaan mencacah jalan, tautan, dan hubungan. Perubahan: pangkat mesinnya membawa keadaan menuju nasibnya, dan arah eigennya (yaitu arah emas milik Fibonacci, keadaan mapan cuaca, vektor peringkat milik jejaring) adalah nasib itu sendiri. Aljabar linear, di jilid universitas, adalah ilmu tentang justru hal ini.