Penjelasan untuk subruang.

Berdasarkan definisi:
Suatu subhimpunan 𝑊 dari suatu himpunan ruang vektor 𝑉, disebut subruang dari 𝑉 jika
𝑊 itu sendiri merupakan suatu ruang vektor di bawah penjumlahan dan perkalian skalar
yang didefinisikan pada 𝑉.
Berdasarkan definisi ini, Misalkan 𝑉 adalah ruang vector dan 𝑊 adalah subruang, maka
untuk membuktikan bahwa 𝑊 adalah subruang dari 𝑉 maka pada 𝑊 dibuktikan secara
definisi yaitu:

1. ∀𝒖, 𝒗 ∈ 𝑊, 𝒖 + 𝒗 ∈ 𝑊.
2. 𝒖 + 𝒗 = 𝒗 + 𝒖, ∀𝒖, 𝒗 ∈ 𝑊
3. 𝒖 + (𝒗 + 𝒘) = (𝒖 + 𝒗) + 𝒘, ∀𝒖, 𝒗, 𝒘 ∈ 𝑊
4. ∃𝟎 ∈ 𝑊, 𝟎 + 𝒖 = 𝒖 + 𝟎 = 𝒖, ∀𝒖, 𝒗 ∈ 𝑊
5. ∀𝒖 ∈ 𝑊, ∃ − 𝒖 ∈ 𝑊, 𝒖 + (−𝒖) = (−𝒖) + 𝒖 = 𝟎
6. Jika 𝑘 skalar sebarang dan 𝒗 ∈ 𝑊, maka 𝑘𝒗 ∈ 𝑊
7. 𝑘 (𝒖 + 𝒗) = 𝑘𝒖 + 𝑘𝒗
8. (𝑘 + 𝑙 )𝒖 = 𝑘𝒖 + 𝑙𝒖
9. 𝑘 (𝑙𝒖) = (𝑘𝑙 )𝒖
10. 1𝒖 = 𝒖
Oleh karena 𝑊 adalah himpunan bagian dari V , apakah harus dibuktikan 10 syarat
juga?? Pasti ada sifat yg terturunkan dr 𝑉 ke 𝑊. Oleh karena itu kita punya teorema
berikut:
Teorema 5.2.1
Jika 𝑊 adalah suatu himpunan yang terdiri dari satu atau lebih vektor dari suatu ruang
vektor 𝑉, maka 𝑊 adalah suatu subruang dari 𝑉, jika dan hanya jika syarat-syarat berikut
terpenuhi:
a. Jika 𝒖 dan 𝒗 adalah vektor-vektor pada 𝑊, maka 𝒖 + 𝒗 berada pada 𝑊.
b. Jika 𝑘 adalah skalar sebarang dan 𝒖 adalah vektor sebarang pada 𝑊, maka 𝑘𝒖
berada pada 𝑊.
Berdasar teorema ini maka untuk membuktikan bahwa 𝑊 adalah subruang dari ruang
vector 𝑉, maka cukup dibuktikan 4 hal, yaitu:
1. 𝑊⊂𝑉
2. 𝑊 ≠ ∅ (unsur nol di 𝑉 juga berada di 𝑊)
3. ∀𝒖, 𝒗 ∈ 𝑊, 𝒖 + 𝒗 ∈ 𝑊
4. Jika 𝑘 skalar sebarang dan 𝒗 ∈ 𝑊, maka 𝑘𝒗 ∈ 𝑊