Kernel (aljabar linear)
Dalam matematika, khususnya aljabar linear dan fungsi analisis, kernel dari sebuah peta linear (linear map) adalah himpunan semua vektor dalam domain pemetaan yang dipetakan ke vektor nol.[1][2] Artinya, bagi suatu peta linear L yang memetakan ruang vektor V ke ruang vektor W, kernel dari L adalah himpunan semua elemen v dari V yang memenuhi persamaan L(v) = 0, dengan 0 menandakan vektor nol dari W.[3] Hal ini dinyatakan secara simbolis sebagai:
Kernel juga dikenal dengan istilah null space atau nullspace.
Sifat
suntingKernel adalah suatu subruang linear dari domain .[3][4] Dalam peta linear , dua elemen di akan memiliki citra yang sama di , jika dan hanya jika selisih kedua elemen tersebut juga terletak di dalam kernel ; atau secara matematis:
- .
Hal ini mengakibatkan citra dari isomorfik ke ruang hasil bagi dengan kernel; atau secara matematis:
- .
Pada kasus memiliki dimensi yang hingga, hubungan ini menyiratkan teorema rank-nullity:
- .
Dalam hubungan ini, istilah rank merujuk pada besar dimensi citra dari , sedangkan nullity merujuk pada besar dimensi kernel dari .[5]
Jika adalah ruang hasil kali dalam, hasil bagi dapat diidentifikasi dengan komplemen ortogonal dalam dari . Ini adalah perumuman untuk operator linear dari ruang baris, atau kocitra dari sebuah matriks.
Representasi sebagai perkalian matriks
suntingMisalkan peta linear diwakili oleh matriks berukuran , dengan entri-entri berasal dari lapangan (biasanya atau ), dan beroperasi pada vektor kolom dengan komponen di atas lapangan . Kernel dari peta linear ini adalah himpunan solusi dari persamaan , dengan adalah vektor nol. Dimensi dari kernel disebut nolitas dari . Dengan menggunakan notasi himpunan, kernel dapat ditulis sebagai Lebih lanjut, persamaan matriks tersebut setara dengan sistem persamaan linear:
Dengan demikian, anggota dari kernel dari adalah solusi yang ditetapkan ke sistem persamaan di atas.
Sifat subruang
suntingArtikel atau sebagian dari artikel ini mungkin diterjemahkan dari Kernel (linear algebra) di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel) |
Kernel dari matriks (dengan ordo ) atas medan adalah subruang linear dari . Artinya, kernel dari , himpunan , mengikuti tiga sifat berikut:
- selalu memiliki vektor nol, karena .
- Jika dan , maka . Sifatnya mengikuti distributisi perkalian matriks terhadap penambahan.
- Jika dan adalah sebuah skalar , maka , karena .
Ruang baris matriks
suntingHasil kali ini dapat ditulis dalam bentuk darab bintik atau titik hasil kali dari vektor sebagai berikut:
- .
Dalam hal ini, menunjukkan baris matriks . Ini mengikuti adalah kernel dari , jika dan hanya jika adalah ortogonal (atau tegak lurus) untuk setiap baris vektor dari (karena ortogonal didefinisikan sebagai memiliki titik hasil kali dari ).
Ruang baris, atau kocitra, dari matriks adalah rentang dari baris vektor . Dengan alasan di atas, kernel dari adalah komplemen ortogonal untuk ruang baris. Artinya, vektor terletak pada kernel dari , jika dan hanya jika tegak lurus terhadap setiap vektor di ruang baris .
Dimensi ruang baris disebut peringkat dari , dan dimensi dari kernel disebut pembatalan . Jumlah ini terkait dengan urutan pembatalan teorema
- .[5]
Ruang null kiri
suntingRuang null kiri, atau kokernel, matriks terdiri dari semua kolom vektor sehingga , di mana menunjukkan transpose dari matriks. Ruang null kiri adalah sama dengan kernel . Ruang null kiri adalah pelengkap ortogonal untuk ruang kolom dari , dan ganda ke kokernel dari transformasi linear terkait. Kernel, Ruang baris, kolom ruang, dan ruang kosong di sebelah kiri adalah empat subruang fundamental terkait dengan matriks A.
Sistem non-homogen persamaan linear
suntingKernel juga memainkan peran dalam solusi untuk sistem non-homogen persamaan linear:
- atau
Jika dan adalah dua kemungkinan solusi untuk persamaan di atas, maka
Dengan demikian, perbedaan dua solusi untuk persamaan terletak di kernel .
Ini mengikuti bahwa setiap solusi untuk persamaan dapat dinyatakan sebagai jumlah solusi tetap dan elemen sebarang dari kernel. Artinya, solusi yang ditetapkan ke persamaan adalah
- ,
Secara geometrik, ini mengatakan bahwa solusi diatur untuk adalah terjemahan geometri dari kernel oleh vektor .
Contoh
sunting- Jika , maka kernel dari adalah solusi yang ditetapkan ke sistem persamaan linear. Seperti yang diilustrasikan di atas, jika adalah operator:
- maka kernel adalah serangkaian solusi untuk persamaan
- Misalkan melambangkan ruang vektor semua fungsi bernilai riil kontinu pada interval , dan mendefinisikan berdasarkan kaidah
- ,
- maka kernel terdiri dari semua fungsi untuk .
- Misalkan menjadi ruang vektor dari banyaknya fungsi terdiferensialkan , dan misalkan adalah operator diferensial:
- ,
- maka kernel terdiri dari semua fungsi dalam yang turunannya adalah nol, yaitu himpunan semua fungsi konstan.
- Misalkan menjadi hasil kali langsung dari banyaknya salinan , dan misalkan adalah operator diferensiasi.
- maka kernel adalah subruang berdimensi satu yang terdiri dari semua vektor .
- Jika adalah ruang hasil kali dalam dan adalah subruang, maka kernel dari proyeksi (aljabar linear) adalah komplemen ortogonal untuk di .
Perhitungan oleh eliminasi Gauss
suntingSebuah basis aljabar linear dari kernel matriks dapat dihitung oleh eliminasi Gauss.
Untuk tujuan ini, mengingat matriks , ordo , membangun baris pertama ditambah matriks , di mana adalah matriks identitas .
Komputasi bentuk eselon kolom oleh eliminasi Gauss (atau metode lain yang sesuai), akan mendapatkan matriks . Basis dari kernel terdiri dalam kolom taknol sehingga kolom yang sesuai adalah matriks atau kolom nol.
Sebenarnya, perhitungan dapat dihentikan segera setelah matriks atas di bentuk eselon kolom: sisa perhitungan terdiri dalam mengubah dasar ruang vektor yang dihasilkan oleh kolom yang bagian atas adalah nol.
Sebagai contoh, misalkan:
- , maka .
Tempatkan bagian atas di bentuk eselon kolom dengan operasi kolom pada seluruh matriks
Tiga kolom terakhir B adalah kolom nol. Oleh karena itu, tiga vektor terakhir dari C,
adalah basis dari kernel .
Bukti bahwa metode menghitung kernel: karena operasi kolom sesuai dengan pasca-perkalian oleh matriks terbalikkan, fakta bahwa dikurangi ke berarti bahwa ada ada matriks terbalikkan sehingga dengan dalam bentuk eselon kolom. Jadi , , dan . Sebuah kolom vektor termasuk dalam kernel (yaitu ) jika dan hanya di mana Ketika berada di bentuk eselon kolom, , jika dan hanya jika entri bukan nol dari berpadanan dengan kolom nol dari Mengalikan dengan , salah satunya dapat disimpulkan bahwa ini adalah kasus jika dan hanya adalah kombinasi linear dari kolom yang sesuai dari
Komputasi titik mengambang
suntingUntuk matriks yang entri-nya bilangan titik kambang, masalah komputasi kernel masuk akal hanya untuk matriks yang jumlah baris sama dengan peringkat bilangan titik kambang: karena kesalahan perbatasan, matriks titik kambang telah hampir selalu peringkat penuh, bahkan ketika peringkat matriks pendekatannya jauh lebih kecil.[6]
Lihat pula
suntingReferensi
sunting- ^ "The Definitive Glossary of Higher Mathematical Jargon—Null". Math Vault (dalam bahasa Inggris). 2019-08-01. Diakses tanggal 15 Agustus 2020.
- ^ Weisstein, Eric W. "Kernel". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 15 Agustus 2020.
- ^ a b "Kernel (Nullspace) | Brilliant Math & Science Wiki". brilliant.org (dalam bahasa Inggris). Diakses tanggal 15 Agustus 2020.
- ^ Linear algebra, as discussed in this article, is a very well established mathematical discipline for which there are many sources. Almost all of the material in this article can be found in Lay 2005, Meyer 2001, and Strang's lecture.
- ^ a b Weisstein, Eric W. "Rank-Nullity Theorem". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 15 Agustus 2020.
- ^ "Archived copy" (PDF). Diarsipkan dari versi asli (PDF) tanggal 2017-08-29. Diakses tanggal 15 Agustus 2020.
Bibliografi
sunting- Axler, Sheldon Jay (1997), Linear Algebra Done Right (edisi ke-2nd), Springer-Verlag, ISBN 0-387-98259-0.
- Lay, David C. (2005), Linear Algebra and Its Applications (edisi ke-3rd), Addison Wesley, ISBN 978-0-321-28713-7.
- Meyer, Carl D. (2001), Matrix Analysis and Applied Linear Algebra, Society for Industrial and Applied Mathematics (SIAM), ISBN 978-0-89871-454-8, diarsipkan dari versi asli tanggal 15 Agustus 2020.
- Poole, David (2006), Linear Algebra: A Modern Introduction (edisi ke-2nd), Brooks/Cole, ISBN 0-534-99845-3.
- Anton, Howard (2005), Elementary Linear Algebra (Applications Version) (edisi ke-9th), Wiley International.
- Leon, Steven J. (2006), Linear Algebra With Applications (edisi ke-7th), Pearson Prentice Hall.
- Lang, Serge (1987). Linear Algebra. Springer. ISBN 9780387964126.
- Trefethen, Lloyd N.; Bau, David III (1997), Numerical Linear Algebra, SIAM, ISBN 978-0-89871-361-9.
Pranala luar
sunting- Hazewinkel, Michiel, ed. (2001) [1994], "Kernel of a matrix", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Khan Academy, Introduction to the Null Space of a Matrix