Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T14:09:22Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29462898; atribusi sumber disertakan.

2026-08-25T13:48:25Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29462898; atribusi sumber disertakan.

Halaman baru

'''Teorema peringkat kenolan''' adalah teorema dalam [[aljabar linear]] yang mengatakan:

* jumlah kolom dari matrix adalah penjumlahan dari [[Rank (aljabar linear)|peringkat]] dari dan [[Kernel (aljabar linear)#nullity|kenolan]] dari ; dan
* [[Ruang vektor berdimensi hingga|dimensi]] [[Ranah fungsi|domain]] dari [[Peta linear|transformasi linear]] dari '''' adalah penjumlahan dari peringkat dari '''' (dimensi dari [[Bayangan (matematika)|bayangan]] '''') dan kenolan dari '''' (dimensi dari [[Kernel (aljabar linear)|kernel]] '''').

Teorema ini mengikuti transformasi lineari dari [[ruang vektor]] dengan dimensi hingga yang sama, antara [[fungsi injektif]] atau [[Fungsi surjektif|surjektif]] yang menyiratkan [[bijeksi]].

== Penulisan teorema ==

=== Transformasi linear ===

Misalkan adalah transformasi linear antara dua ruang vektor, dengan domain dari adalah dimensi hingga. Maka,

dengan adalah [[Rank (aljabar linear)|peringkat]] dari ([[Ruang vektor berdimensi hingga|dimensi]] dari [[Bayangan (matematika)|bayangannya]]) dan adalah [[Kernel (aljabar linear)#nullity|kenolan]] dari (dimensi dari [[Kernel (aljabar linear)|kernelnya]]). Dengan kata lain,

Teorema ini dapat disempurnakan dengan agar pernyataan tentang [[isomorfisme]] pada ruang, tidak hanya dimensi. Secara eksplisit, karena menginduksi isomorfisme dari ke , keberadaan basis untuk yang memperluas basis apa pun dari menyiratkan, dengan lema pembagian, bahwa . Teorema kenolan peringkat dapat dilihat dengan mengambil dimensi pernyataan tersebut.

=== Matriks ===
Peta linear dapat direpresentasikan dengan [[Matriks (matematika)|matriks]]. Lebih presisi, matriks dengan dimensi merepresentasikan peta linear , dengan adalah [[Lapangan (matematika)|lapangan]] yang mendasarinya. Maka, dimensi dari domain adalah , jumlah dari kolom matriks , dan teorema kenolan peringkat untuk matriks dengan dimensi adalah

.

== Pembuktian ==
Di sini, terdapat dua pembuktian untuk teorema kenolan peringkat ini. Pembuktian pertama dioperasikan pada kasus uum, dengan peta linear. Pembuktian kedua menggunakan sistem homogen , dengan adalah dengan [[Rank (aljabar linear)|peringkat]] , dan terlihat secara eksplisit bahwa terdapat himpunan solusi [[kebebasan linear]] sejumlah yang membentang ruang kenol dari .

Sementara teorema ini membutuhkan domain dari peta linear berdimensi hingga, tidak terdapat asusi dari kodomain tersebut. Ini berarti bahwa terdapat peta linear yang tidak dituliskan oleh matriks yang diaplikasikan oleh teorema ini. Meskipun demikian, pembuktian pertama tidak lebih lebih umum dari yang kedua; karena bayangan dari peta linear bernimensi hingga, kita dapat merepresentasikan peta tersebut dari domain ke bayangannya dengan sebuah matriks, membuktikan teorema dari matriks tersebut, lalu ditulis dengan penyertaan bayangan pada kodomain yang penuh.

=== Pembuktian pertama ===
Misalkan adalah ruang vektor pada suatu lapangan , mendefinisikan seperti pada pernyataan dari teorema dengan .

Karena adalah [[Subruang vektor|subruang]], terdapat basis untuknya. Misalkan dan

adalah basisnya.

Kita sekarang dapat, dengan [[lema perturakan Steinitz]], mengembangkan dengan vektor kebebasan linear sejumlah untuk membentuk basisi penuh dari .

Misalkan,

dengan

adalah basis untuk .

Dari sini, kita tahu bahwa

Kita sekaram membuat klaim bahwa adalah basis untuk . Persamaan di atas sudah menyebutka bahwa adalah himpunan pembuat untuk . Hal ini tetap diperlihatkan bahwa ini juga bebas secara linear untuk menyimpulkan bahwa ini adalah sebuah basis.

Misalkan tidak bebas secara linear, dan misalkan

<math display="block"> \sum_{j=1}^{n-k} \alpha _j T(w_j) = 0_W </math>

untuk beberapa .

Maka, oleh karena linearitas dari , dapat disimpulkan bahwa

<math display="block"> T \left(\sum_{j=1}^{n-k} \alpha _j w_j \right) = 0_W \implies \left(\sum_{j=1}^{n-k} \alpha _j w_j \right) \in \operatorname{Ker} T = \operatorname{Span} \mathcal{K} \subset V .</math>

Ini adalah kontradiksi terhadap sebagai basis, kecuali seluruh bernilai nol. Ini menunjukkan bahwa bernilai bebas secara linear, dan lebih spesifik bahwa hal itu adalah basis dari .

Sebagai rangkuman, kita memiliki , sebuah basis untuk , dan , sebuah basis untuk .

Akhirnya, kita dapat menyebutkan bahwa

===Pembuktian kedua===

Misalkan adalah matriks dengan dimensi dan kolom [[kebebasan linear|bebas linear]] sejumlah (misalnya ). Kita akan memperlihatkan bahwa:

Untuk melakukannya, kita akan membuat matriks dengan dimensi yang kolomnya membentuk [[Basis (aljabar linear)|basis]] dari ruang nol dari .

Tanpa pengurangan generalisasi, kita asumsikan bahwa kolom pertama dari bersifat independen secara linar. Jadi, kita bisa menulis:

<math display="block">\mathbf{A} = \begin{pmatrix} \mathbf{A}_1 & \mathbf{A}_2\end{pmatrix} ,</math>

dengan
* adalah matriks dengan kolom vektor bebas linear sejumlah , dan
* adalah matriks yang setiap kolom ()-nya adalah kombinasi linear dari kolom

Ini berarti bahwa untuk beberapa matriks berdimensi (lihat ) dan, maka,

<math display="block">\mathbf{A} = \begin{pmatrix} \mathbf{A}_1 & \mathbf{A}_1\mathbf{B}\end{pmatrix} .</math>

Misalkan
<math display="block">\mathbf{X} = \begin{pmatrix} -\mathbf{B} \\ \mathbf{I}_{n-r} \end{pmatrix} , </math>

dengan adalah [[matriks identitas]] . Maka, adalah matriks \\
\implies \mathbf{u}_1 + \mathbf{B}\mathbf{u}_2 & = & \mathbf{0}_ \\
\implies \mathbf{u}_1 & = & -\mathbf{B}\mathbf{u}_2
\end{array}</math>
<math display="block"> \implies \mathbf{u} = \begin{pmatrix} \mathbf{u}_1 \\ \mathbf{u}_2 \end{pmatrix}
= \begin{pmatrix} -\mathbf{B} \\ \mathbf{I}_{n-r} \end{pmatrix}\mathbf{u}_2
= \mathbf{X}\mathbf{u}_2. </math>

Ini membuktikan bahwa setiap vektor yang adalah solusi dari harus merupakan kombinasi linear dari solusi spesial yang diberikan oleh kolom dari matriks . Dan kita telah melihat bahwa kolom dari bernilai bebas secara linear. Maka, kolom merupakan basis dari ruang kenol dari . Maka dari itu, [[kernel (aljabar linear)|kenolan]] dari adalah . Karena sama dengan peringkat (rank) dari , maka . [[Batu nisan (tipografi)|Batu nisan]]

== Subruang dasar ketiga ==

Ketika adalah transformasi linear antara dua subruang berdimensi hingga, dengan dan , teorema kenolan peringkat menegaskan bahwa jika memiliki [[Rank (aljabar linear)|peringkat]] , maka adalah dimensi ruang nol dari , yang merepresentasikan kernel dari . Pada beberapa teks, subruang dasar ketiga yang diasosiasikan pada dihitung bersama dengan bayangan dan kernelnya: sebuah dari adalah , dan dimensinya adalah . Formula dimensi ini bersama dengan teorema kenolan peringkat kadang disebut sebagai ''teorema fundamental dari aljabar linear'' atau ''teorema dasar dari aljabar linear''.

== Reformulasi dan generalisasi ==
Teorema kenolan peringkat ini adalah pernyataan dari [[Teorema isomorfisme#Teorema isomorfisme pertama|teorema isomorfisme pertama]] dari aljabar untuk kasus ruang vektor; teorema ini menggeneralisasi .

Pada bahasa yang lebih modern, teorema ini juga dapat difrasakan sebagai pernyataan yang mengatakan bahwa setiap barisan eksak pendek dari setiap ruang vektor terbagi. Secara eksplisit, untuk:

adalah [[Barisan eksak#Barisan eksak pendek|barisan eksak pendek]] dari ruang vektor, maka , maka

Di sini, memainkan peran sebagai dan adalah ; yaitu

Pada kasus dimensi takhingga, formulasi ini rentan terhadap generalisasi: jika

adalah [[barisan eksak]] dari [[ruang vektor berdimensi hingga]], maka

<math display="block">\sum_{i=1}^r (-1)^i\dim(V_i) = 0.</math>

Teorema kenolan perangkat untuk ruang vektor berimensi hingga dapat juga diformulasikan dalam hal ''indeks'' pada peta linear. Indeks pada peta linear , di mana dan adalah dimensi hingga, didefinisikan oleh

Secara intuitif, adalah jumlah solusi independen dari untuk persamaan dan adalah jumlah pembatasan independen yang harus diberikan pada untuk membuat dapat diselesaikan. Teorema kenolan peringkat untuk ruang vektor berdimensi hingga setara pada pernyataan

Kita dapat melihat bahwa kita masih dapat membaca indeks pada peta linear dengan mudah dari ruang yang terlibat, tanpa kebutuhan untuk menganalisis secara detail; Efek ini juga muncul pada hasil yang lebih dalam: [[Teorema indeks Atiyah–Singer]] mengatakan bahwa indeks dari beberapa operator diferensial dapat dibaca dari geometri ruang yang terlibat.

== Catatan kaki ==

== Referensi ==

=== Kutipan ===

=== Daftar pustaka ===

*
*
*
*
* .
*

== Pranala luar ==

* , [https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-10-the-four-fundamental-subspaces/ MIT Linear Algebra Lecture on the Four Fundamental Subspaces], dari [[MIT OpenCourseWare]]

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+kenolan+peringkat&oldid=29462898 Wikipedia bahasa Indonesia], revisi 29462898 (2026-07-15T20:55:16Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

Teorema kenolan peringkat - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29462898; atribusi sumber disertakan.