Modul Bebas dan Ruang Vektor (Aljabar Linear Lanjut)
-
Upload
universitasnegerimalang -
Category
Documents
-
view
0 -
download
0
Transcript of Modul Bebas dan Ruang Vektor (Aljabar Linear Lanjut)
MODUL BEBAS DAN RUANG VEKTOR
MAKALAH
UNTUK MEMENUHI TUGAS MATA KULIAH
Teori Modul
Yang dibina oleh Hery Susanto
oleh
Muhsang Sudadama Lieko Liedokto
100312400848
UNIVERSITAS NEGERI MALANG
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
JURUSAN MATEMATIKA
Mei 2013
MODUL BEBAS DAN RUANG VEKTOR
Definisi 2.8.
Misal π adalah ring dengan unsur satuan sehingga untuk setiap πΉ π -modul bebas, sebarang
dua basis dari πΉ mempunyai kardinal sama. Maka π dikatakan mempunyai invariant
dimension property dan bilangan kardinal untuk sebarang basis dari F disebut dimensi (atau
rank) untuk F atas R.
Dimensi untuk ruang vektor π atas ring pembagi π· dinotasikan dengan ππππ·π
sedangkan dimensi dari suatu modul bebas πΉ atas ring lain dinotasikan dengan ππππ πΉ.
Dalil 2.9.
Misal E dan F madul bebas atas suatu ring R yang mempunyai invariant dimension property.
Maka πΈ β πΉ jika dan hanya jika E dan F mempunyai rank sama (dimensi sama).
Bukti:
Misal π adalah basis untuk πΈ π -modul dan π adalah basis untuk πΉ π -modul.
πΌ:πΈ β πΉ adalah π -modul isomorfisma
Akan ditunjukkan πΈ β πΉ jika dan hanya jika π = π
βΉ) Akan ditunjukkan πΌ π adalah basis untuk πΉ
Ambil π β πΉ berarti ada π β πΈ sehingga πΌ π = π
Akan ditunjukkan π = πππΌ(π₯π)π , ππ β π ,πΌ π₯π β πΌ π , π₯π β π
Karena π basis untuk πΈ maka
π = πππ₯π (
π
ππ β π , π₯π β π) β πΌ π = πΌ( πππ₯ππ
) β π = πππΌ(π₯π)
π
Jadi πΌ π merentang πΉ
Akan ditunjukkan πΌ π bebas linear
Misal πππΌ(π₯π)π = 0
Akan ditunjukkan ππ = 0,βπ
πππΌ π₯π
π
= 0 β πΌ πππ₯ππ
= 0
Karena πΌ adalah bijektif maka πππ₯ππ = 0
Akibatnya ππ = 0,βπ (karena π bebas linear)
Jadi πΌ π adalah basis untuk πΉ
Selanjutnya, karena πΌ bijektif maka π = πΌ(π) *)
Karena Y dan πΌ π adalah basis untuk πΉ dan π mempunyai invariant dimension property,
maka πΌ(π) = π ββ).
Dari *) dan **) diperoleh π = π .
β) Misal π adalah basis dari πΈ π -modul bebas dan π adalah basis dari πΉ π -modul bebas
Akan dibuktikan πΈ β πΉ
Karena πΈ dan mempunyai rank sama maka π = π sehingga pemetaan π:π β π adalah
bijektif.
Misal πΌ:πΈ β πΉ yang didefinisikan πππ₯ππ βΌ πππ¦ππ (ππ β π ,π₯π β π, π¦π β π).
Akan ditunjukkan πΌ adalah isomorfisma π -modul.
Ambil sebarang πππ₯ππ β πΈ dan π ππ₯ππ β πΈ dengan πππ₯ππ = π ππ₯ππ
Akan ditunjukkan πΌ( πππ₯π)π = πΌ( π ππ₯π)π
πππ₯ππ
= π ππ₯ππ
β πππ₯ππ
β π ππ₯ππ
= 0 β (ππ β π π)π₯π = 0
π
Karena π bebas linear maka ππ β π π = 0 berakibat ππ = π π ,βπ
Perhatikan bahwa
πΌ πππ₯ππ
= πππ¦ππ
= π ππ¦π = πΌ π ππ₯ππ
π
Jadi πΌ terdefinisi dengan baik (πΌ adalah sebuah fungsi).
Selanjutnya akan dibuktikan πΌ adalah R-modul homomorfisma
Ambil sebarang πππ₯ππ , π ππ₯ππ β πΈ dan π β π
Akan ditunjukkan
i. πΌ πππ₯ππ + π ππ₯ππ = πΌ πππ₯ππ + πΌ( π ππ₯ππ ), dan
ii. πΌ π πππ₯ππ = ππΌ πππ₯ππ
Perhatikan bahwa
πΌ πππ₯ππ
+ π ππ₯ππ
= πΌ (ππ + π π)π₯π
π
= (ππ + π π)π¦π =
π
πππ¦π + π ππ¦π
π
= πππ¦ππ
+ π ππ¦π = πΌ πππ₯ππ
+ πΌ π ππ₯ππ
π
πΌ π πππ₯ππ
= πΌ (πππ)π₯ππ
= πππ π¦ππ
= π πππ¦ππ
= ππΌ πππ₯ππ
Jadi, πΌ:πΈ β πΉ adalah R-modul homomorfisma
Ambil sebarang πππ₯ππ , π ππ₯ππ β πΈ dengan πΌ( πππ₯π)π = πΌ( π ππ₯π)π
Akan ditunjukkan πππ₯ππ , = π ππ₯ππ
Perhatikan bahwa
πΌ πππ₯ππ
= πΌ π ππ₯ππ
β πππ¦ππ
= π ππ¦ππ
β πππ¦ππ
β π ππ¦ππ
= 0
β (ππ β π π)π¦π = 0
π
Karena π bebas linear maka ππ β π π = 0 berakibat ππ = π π ,βπ
Oleh karena itu πππ₯ππ , = π ππ₯ππ .
Jadi πΌ:πΈ β πΉ adalah R-modul monomorfisma
Ambil sebarang π β πΉ berarti π = πππππ dengan ππ β π dan ππ β π maka ada π₯π β π
sehingga ππ = π(π₯π), karena π:π β π onto.
Akan ditunjukkan ada π β πΈ β πΌ π = π
Pilih π = πππ₯ππ , sehingga
πΌ π = πΌ πππ₯ππ
= πππππ
= π
Jadi πΌ:πΈ β πΉ adalah R-modul epimorfisma.
Jadi, πΌ:πΈ β πΉ adalah R-modul isomorfisma (πΈ β πΉ). β
Lemma 2.10.
Misal R adalah ring dengan unsur satuan, πΌ β π sebuah ideal untuk R, F adalah
R-modul bebas dengan basis X dan π:πΉ β πΉ/πΌπΉ epimorfisma kanonikal. Maka πΉ/πΌπΉ adalah
R/I-modul bebas dengan basis π(π) dan π(π) = π .
Ingat kembali bahwa πΌπΉ = ππππππ=1 ππ β πΌ, ππ β πΉ,π β πβ dan bahwa untuk π /πΌ pada
πΉ/πΌπΉ memberikan π+ πΌ π + πΌπΉ = ππ + πΌπΉ (latihan 1.3).
Bukti lemma:
πΌπΉ = ππππ
π
π=1
ππ β πΌ,ππ β πΉ, π β πβ ,πΉ/πΌπΉ = π + πΌπΉ π β πΉ πππ π /πΌ = π + πΌ π β π
Misal +:πΉ/πΌπΉ Γ/πΌπΉ β πΉ/πΌπΉ didefinisikan π+ πΌπΉ, π + πΌπΉ βΌ π+ π + πΌπΉ dan
β’:π /πΌ Γ πΉ/πΌπΉ β πΉ/πΌπΉ didefinisikan π + πΌ,π + πΌπΉ βΌ ππ+ πΌπΉ
Akan dibuktikan + adalah terdefinisi dengan baik
Ambil sebarang π+ πΌπΉ,π + πΌπΉ = π + πΌπΉ, π + πΌπΉ β πΉ/πΌπΉ Γ/πΌπΉ akibatnya π + πΌπΉ = π +
πΌπΉ dan π + πΌπΉ = π + πΌπΉ sehingga π β π β πΌπΉ dan π β π β πΌπΉ. Diperoleh π β π + π β π =
π + π β π β π = π+ π β π+ π β πΌπΉ. Oleh karena itu π + π + πΌπΉ = π+ π + πΌπΉ.
Akan ditunjukkan + π+ πΌπΉ, π + πΌπΉ = + π + πΌπΉ, π + πΌπΉ
Perhatikan bahwa
+ π+ πΌπΉ, π + πΌπΉ = π+ π + πΌπΉ = π + π + πΌπΉ = + π + πΌπΉ, π + πΌπΉ
Jadi + berdefinisi dengan baik.
Selanjutnya akan dibuktikan β’ terdefinisi dengan baik.
Ambil sebarang π‘ + πΌ,π€ + πΌπΉ = (π₯ + πΌ, π¦ + πΌπΉ) β π /πΌ Γ πΉ/πΌπΉ,(π‘, π₯ β π πππ π€, π¦ β πΉ)
Akan ditunjukkan β’ π‘ + πΌ,π€ + πΌπΉ =β’ (π₯ + πΌ,π¦ + πΌπΉ)
Karena π‘ + πΌ,π€ + πΌπΉ = (π₯ + πΌ,π¦ + πΌπΉ) maka π‘ + πΌ = π₯ + πΌ dan π€ + πΌπΉ = π¦ + πΌπΉ.
Akibatnya π‘ β π₯ β πΌ dan π€ β π¦ β πΌπΉ berarti ada π β πΌ dan π β πΌπΉ sehingga π‘ = π₯ + π dan
π€ = π¦ + π.
Perhatikan bahwa
π‘π€ = π₯ + π π¦+ π
π‘π€ = π₯π¦+ π₯π+ ππ¦ + ππ
π‘π€ β π₯π¦ = π₯π + ππ¦ + ππ β πΌπΉ
Karena π‘π€ β π₯π¦ β πΌπΉ maka π‘π€ + πΌπΉ = π₯π¦ + πΌπΉ
Sehingga β’ π‘ + πΌ,π€ + πΌπΉ = π‘π€ + πΌπΉ = π₯π¦ + πΌπΉ =β’ (π₯ + πΌ, π¦ + πΌπΉ)
Jadi β’ terdefinisi dengan baik.
Selanjutnya akan dibuktikan πΉ/πΌπΉ adalah π /πΌ-modul.
Ambil sebarang π, π β π /πΌ , π, π β πΉ/πΌπΉ berarti
π = π£ + πΌ, π = π€ + πΌ, π£,π€ β π
π = π + πΌπΉ, π = π + πΌπΉ, π, π β πΉ
Akan ditunjukkan
i. π π + π = ππ + ππ
ii. π + π π = ππ + π π
iii. π π π = ππ π
Perhatikan
i. π π + π = π£ + πΌ π+ πΌπΉ + π + πΌπΉ = π£ + πΌ π+ π + πΌπΉ = π£ π+ π + πΌπΉ
= π£π + π£π + πΌπΉ = π£π + πΌ π£π + πΌπΉ
= π£ + πΌ π + πΌπΉ + π£ + πΌ (π + πΌπΉ) = ππ + ππ
ii. π + π π = π£ + πΌ + π€ + πΌ π+ πΌπΉ = π£ + π€ + πΌ π + πΌπΉ
= π£ +π€ π + πΌπΉ = π£π +π€π + πΌπΉ = π£π+ πΌπΉ + π€π + πΌπΉ
= π£ + πΌ π + πΌπΉ + π€ + πΌ π+ πΌπΉ = ππ + π π
iii. π π π = π£ + πΌ π€ + πΌ π+ πΌπΉ = π£ + πΌ π€π+ πΌπΉ = π£ π€π + πΌπΉ
= π£π€ π + πΌπΉ = π£π€ + πΌ π+ πΌπΉ
= π£ + πΌ π€+ πΌ π+ πΌπΉ = ππ π
Jadi πΉ/πΌπΉ adalah π /πΌ-modul.
Akan dibuktikan πΉ/πΌπΉ adalah π /πΌ-modul bebas dengan basis π π .π:πΉ β πΉ/πΌπΉ
epimorfisma kanonikal maka π β¦ π + πΌπΉ dengan π β πΉ, π + πΌπΉ β πΉ/πΌπΉ
Akan ditunjukkan π π = π₯ + πΌπΉ π₯ β π membangun πΉ/πΌπΉ
Ambil sebarang π β πΉ/πΌπΉ berarti π = π + πΌπΉ,π β πΉ
Karena π adalah basis dari πΉ maka π β πΉ sehingga
π = πππ₯ππ
(ππ β π ,π₯π β π)
Oleh karena itu
π = π+ πΌπΉ = πππ₯ππ + πΌπΉ = πππ₯π + πΌπΉ = ππ+πΌ)(π₯π + πΌπΉ = ππ + πΌ π(π₯π)πππ dengan
ππ + πΌ β π /πΌ dan π(π₯π) β π(π)
Diperoleh π(π) membangun πΉ/πΌπΉ.
Akan dibuktikan π(π) bebas linear
Misal ππ + πΌ π(π₯π)ππ=1 = 0 + πΌπΉ (karena unsur nol di πΉ/πΌπΉ adalah 0 + πΌπΉ = πΌπΉ)
Dengan ππ + πΌ β π /πΌ, π π₯π β π π , ππ β π , π₯π β π.
Akan ditunjukkan ππ + πΌ = πΌ, βπ (karena unsur nol di π /πΌ adalah πΌ)
ππ + πΌ π π₯π
π
π=1
= πΌπΉ β ππ + πΌ π₯π + πΌπΉ = πΌπΉ
π
π=1
β πππ₯π + πΌπΉ
π
π=1
= πΌπΉ
β πππ₯π β πΌπΉ
π
π=1
Karena π₯π β π dan π adalah suatu basis dari πΉ maka πππ₯πππ=1 tunggal
Diperoleh ππ β πΌ ,βπ maka ππ + πΌ = πΌ, βπ
Jadi π(π) bebas linear.
Jadi πΉ/πΌπΉ adalah π /πΌ-modul bebas dengan basis π π
Akan dibuktikan π(π) = π
Akan dibuktikan π:π β π π adalah bijektif
Ambil sebarang π₯,π₯β² β π dengan π π₯ = π π₯β²
Akan ditunjukkan π₯ = π₯β²
1π + πΌ π π₯ β 1π + πΌ π π₯ β² = 0 + πΌπΉ = πΌπΉ, (π π₯ ,π π₯ β² β π π )
Andaikan π₯ β π₯β² maka π π₯ β π π₯β²
Karena π π basis untuk πΉ/πΌπΉ maka 1π + πΌ = πΌ mengimplikasikan 1π β πΌ.
Karena 1π β πΌ dan 1π β π maka πΌ = π , sehingga kontradiksi dengan πΌ β π .
Jadi π:π β π π adalah injektif
Karena π:πΉ β πΉ/πΌπΉ epimorfisma kanonikal dan π β πΉ maka π:π β π π adalah surjektif.
Dengan demikian diperoleh π:π β π π bijektif
Jadi π(π) = π .β
Dalil 2.11.
Misal π:π β π adalah epimorfisma tak nol untuk ring dengan unsur satuan. Jika S
mempunyai inveriant dimension property, maka π juga.
Bukti:
Misal πΌ = πΎππ π (ideal) maka π β π /πΌ (akibat III.2.10)
Misal π dan π basis dari πΉ π -modul dan π:πΉ β πΌπΉ epimorfisma kanonikal (lemma 2.10)
maka πΉ/πΌπΉ adalah π /πΌ-modul bebas dengan basis π(π) dan π(π). Karena π β π /πΌ maka
pemetaan π: π β π /πΌ adalah R-modul isomorfisma.
Ambil sebarang π β π dan π β πΉ/πΌπΉ berakibat π(π ) β π /πΌ, karena π bijektif.
Perhatikan π π = π π π β πΉ/πΌπΉ (karena πΉ/πΌπΉ adalah π /πΌ-modul).
Maka πΉ/πΌπΉ adalah S-modul bebas dengan basis π(π) dan π(π). Sehingga π(π) = π dan
π(π) = π . Karena S mempunyai inveriant dimension property maka π(π) = π(π) .
Oleh karena itu π = π .
Jadi π mempunyai inveriant dimension property.β
Akibat 2.12.
Jika R adalah suatu ring dengan unsur satuan yang mempunyai peta homomorpik ring
pembagi , maka R mempunyai invarant dimension property. Secara khusus, setiap ring
komutatif dengan unsur satuan mempunyai invariant dimension property.
Bukti:
Misal π:π β π β² epimorfisma dengan ring pembagi π β² adalah peta homomorpik dari π yang
mempunyai unsur satuan. Misal π adalah π β-modul dan π,π adalah sebarang basis di π.
Karena π β ring pembagi maka π ruang vektor atas π β. Berdasarkan teorema 2.7 maka π =
π . Jadi π β mempunyai invariant dimension property.β
Misal π ring komuntatif dengan unsur satuan dan untuk setiap πΌ ideal dari π maka ada
π : maksimal ideal sehingga π β πΌ β π (teorema III.2.18)
Oleh karena itu π /π adalah lapangan (teorema 2.20)
Karena π /π lapangan maka π /π ring pembagi. Karena π ideal untuk π maka pemetaan
π:π β π /π didefinisikan π π = π + πΌ, π β π adalah epimorfisma. Karena π ring dengan
unsur satuan, π /π ring pembagi, dan pemetaan π:π β π /π adalah epimorfisma maka π
mempunyai invariant dimension property.β
Ruang vektor π atas ring pembagi π· dikatakan mempunyai dimensi hingga (finite
dimensional) jika ππππ·π adalah hingga.
Teorema 2.13.
Misal W subruang dari ruang vektor V atas pembagi ring D.
i. ππππ·π β€ ππππ·π;
ii. Jika ππππ·π = ππππ·π dan ππππ·π hingga, maka π = π;
iii. ππππ·π = ππππ·π + ππππ·(π/π).
Bukti :
i. Misal Y basis untuk π maka π bebas linear sehingga π β π β π. Berdasarkan
teorema 2.4 maka ada π basis untuk π sehingga π β π. Oleh karena itu ππππ·π =
π β€ π = ππππ·π.β
ii. Misal ππππ·π = ππππ·πmaka π = π dan ππππ·π = π hingga. Karena π β π
maka π = π. Diperoleh π = π.β
iii. Klim π = π₯ + π π₯ β π β π adalah basis untuk π/π = π£ + π π£ β π
Akan dibuktikan π merentang π/π
Ambil sebarang π£ β π
Karena π merentang π dan π β π dan π disjoin maka
π£ = πππ¦π + π ππ₯πππ
(ππ , π π β π·, π¦π β π,π₯π β π β π)
Sehingga
π£ + π = πππ¦π + π ππ₯πππ
+π = π ππ₯ππ
+ π = π π (π₯π + π)
π
Dengan π π β π· dan π₯π +π β π, π₯π β π β π.
Jadi π merentang π/π
Akan ditunjukkan π bebas linear.
Misal ππ π₯π + π = π, (π ππ β π·,π₯π + π β π,π₯π β π β π)
Akan ditunjukkan ππ = 0,βπ
ππ π₯π + π = π
π
β πππ₯π + π = π
π
Akibatnya πππ₯ππ β π
Karena Y merentang W maka
πππ₯ππ
= π ππ¦ππ
(π π β π·, π¦π β π) β πππ₯ππ
+ βπ π π¦π = 0
π
Karena π = π βͺ (π β π) adalah bebas linear maka ππ = 0,βπ dan π π = 0,βπ.
Jadi, π bebas linear dan π = π β π
Jadi π basis dari π/π maka ππππ· π/π = π .
Dengan demikian
ππππ·π = π = π βͺ π β π = π + π β π
= π + π = ππππ·π + ππππ·(π/π) β
Akibat 2.14
Jika π:π β πβ² adalah transformasi linear untuk ruang vektor atas pembagi ring π·, maka
adabasis X untuk V sehingga π β© πΎπππ adalah basis untuk πΎπππ dan π(π₯) π(π₯) β 0,π₯ β π
adalah basis untuk π. Secara khusus,
ππππ·π = ππππ· πΎπππ + ππππ· πΌππ .
Sketsa Bukti:
Untuk membuktikan pernyataan pertama dimisalkan π = πΎπππ dan misal π, π seperti
pembuktian di teorema 2.13. Pernyataan kedua mengikuti teorema 2.13 (iii) karena π/π β
πΌππ menurut teorema 1.7.β
Akibat 2.15
Jika π dan π subruang berdimensi hingga untuk ruang vektor atas pembagi ring π·, maka
ππππ·π + ππππ·π = ππππ· π β©π + ππππ· π +π .
Bukti:
Misal π dan π subruang dari ruang vektor π΄ atas ring pembagi π·. Karena π dan π
mempunyai dimensi hingga maka dimisalkan ππππ·π = π, ππππ·π = π, ππππ· π β©π = π
dan π = π£1 ,π£2,β¦ , π£π adalah basis dari π β©π.
Karena π β©π β π maka π dapat diperluas menjadi basis di π sehingga diperoleh
π΅1 = π£1,π£2 ,β¦ , π£π ,π’1 ,π’2,β¦ , π’πβπ adalah basis di π.
Karena π β©π β π maka P dapat diperluas menjadi basis di π sehingga diperoleh
π΅2 = π£1, π£2,β¦ , π£π ,π€1,π€2 ,β¦ ,π€πβπ adalah basis di π.
Klaim π΅ = π΅1 βͺ π΅2 = π£1 ,π£2,β¦ , π£π ,π’1, π’2,β¦ ,π’πβπ ,π€1,π€2 ,β¦ ,π€πβπ adalah basis untuk
π + π.
Bukti klaim
π + π = π£ + π€ π£ β π π€ β π
Akan ditunjukkan π΅1 βͺ π΅2 adalah basis untuk π +π.
Ambil sebarang π₯ β π + π berarti π₯ = π£ +π€, π£ β π,π€ β π.
π΅1 adalah basis untuk V akibatnya untuk setiap π£ β π sehingga
π£ = π1π£1 + π2π£2 +β―+ πππ£π + ππ+1π’1 + ππ+2π’2 + β―+ πππ’πβπ , ππ β π·
π΅2 adalah basis untuk W akibatnya untuk setiap π€ β π sehingga
π€ = π1π£1 + π2π£2 +β―+ πππ£π + ππ+1π€1 + ππ+2π€2 +β―+ πππ€πβπ ,ππ β π·.
Oleh karena itu untuk setiap π₯ β π +π
π₯ = π£ + π€ = π1π£1 + π2π£2 +β―+ πππ£π + ππ+1π’1 + ππ+2π’2 + β―+ πππ’πβπ +
(π1π£1 + π2π£2 + β―+ πππ£π + ππ+1π’1 + ππ+2π’2 + β―+ πππ’πβπ )
= π1 + π1)π£1 + (π2 + π2)π£2 + β―+ (ππ+ππ )π£π + ππ+1π’1 + ππ+2π’2 +β―+ πππ’πβπ +
ππ+1π€1 + ππ+2π€2 +β―+ πππ€πβπ untuk suatu ππ , ππ , ππ + ππ β π·
Jadi π΅1 βͺ π΅2 = π£1, π£2,β¦ , π£π , π’1,π’2 ,β¦ , π’πβπ ,π€1 ,π€2 ,β¦ ,π€πβπ merentang π + π.
Akan ditunjukkan π΅1 βͺ π΅2 bebas linear.
Misal 0 = π1π£1 + π2π£2 +β―+ πππ£π + π1π’1 + π2π’2 +β―+ πππ’πβπ + π1π€1 + π2π€2 +β―
+πππ€πβπ
Akan ditunjukkan ππ = ππ = ππ = 0,βπ, π,π
Andaikan π΅1 βͺ π΅2 tidak bebas linear maka ada indeks π sehingga ππ β 0 tetapi
0 = π1π£1 + π2π£2 +β―+ πππ£π .
Dengan demikian π = π£1, π£2,β¦ , π£π tidak bebas linear
Ini kontradiksi dengan π adalah basis untuk π β©π maka diperoleh
ππ = ππ = ππ = 0,βπ, π,π
Jadi π΅1 βͺ π΅2 bebas linear.
Jadi π΅1 βͺ π΅2 basis untuk π +π
Diperoleh
ππππ· π +π = π΅1 βͺ π΅2
= π + π β π + π β π
= π + π β π
= ππππ·π + ππππ·πβ ππππ·(π β©π)
Jadi ππππ·π + ππππ·π = ππππ· π β©π + ππππ· π + π .β
Teorema 2.16.
Misal π ,π,π pembagi ring sehingga π β π β π. Maka
ππππ π = ππππ π ππππ π .
Selanjutnya, ππππ π hingga jika dan hanya jika ππππ π dan ππππ π adalah hingga.
Bukti :
Misal π basis untuk π atas π, dan π basis untuk π atas π ,
Klaim π΅ = π£π’ π£ β π,π’ β π adalah basis untuk π atas π .
Akan ditunjukkan π΅ merentang π atas π
Ambil sebarang π’ β π berarti π’ = π ππ’πππ=1 (π π β π,π’π β π) karena π merentang π atas π
Karena π basis untuk π atas π maka π π β π sehingga π π = πππ π£ππ ππ=1 (πππ β π , π£π β π)
Dengan demikian
π’ = π ππ’π
π
π=1
= ππππ£π
π π
π=1
π’π =
π
π=1
πππ π£π
π π
π=1
π’π , (
π
π=1
πππ β π , π£ππ’π β π΅)
Oleh karena itu π΅ merenteang π atas π
Akan ditunjukkan π΅ bebas linear di π atas π
Misal πππ (π£πππ=1 π’π) = 0π
π=1 , (πππ β π , π£ππ’π β π΅)
Misal π π = πππ π£ππ ππ=1 β π, karena π basis untuk π atas π .
Perhatikan
0 = πππ (π£π
π
π=1
π’π) = ππππ£π
π π
π=1
π’π = π ππ’π
π
π=1
,
π
π=1
π
π=1
(π π β π,π’π β π)
Karena π bebas linear di π atas π maka π π = 0,βπ. Sehingga didapat
πππ π£π
π π
π=1
= 0 (πππ β π , π£π β π)
Karena bebas linear di π atas π maka πππ = 0,βπ, π
Jadi, π΅ = π£π’ π£ β π,π’ β π bebas linear.
Jadi, π΅ = π£π’ π£ β π,π’ β π basis untuk π atas π .
Oleh karena itu ππππ π = π΅ = ππ = π π = ππππ π ππππ π .
Bukti pernyataan selanjutnya
β) Karena ππππ π dan ππππ π adalah hingga maka hasil kali ππππ π ππππ π = ππππ π
adalah hingga (Bab Pendahuluan, Teorema 8.11)
β) Karena ππππ π hingga maka dua pengali ππππ π dan ππππ π adalah hingga (Bab
Pendahuluan, Teorema 8.11) β