dimensi ruang yang direntang oleh himpunan vektor bebas linier adalah sama dengan jumlah
vektor dalam himpunan tersebut.
1 3 −2 0 2 0 0
1 2
[0 0 0 3 0] 𝑏 ⟺ 𝑏4
0 0 0 0 0 0 0 3
0 0 0 0 0 1 0
1 3 −2 0 2 0 0
1 2
[0 0 0 3 0]
0 0 0 0 0 1 0
0 0 0 0 0 0 0
(b) Jika v adalah vektor dalam S yang dapat dinyatakan sebagai kombinasi linier dari vektor
lain dalam S, dan jika 𝑆 − {𝑣} menyatakan himpunan yang diperoleh dengan
menghilangkan v dari S, maka S dan 𝑆 − {𝑣} rentang ruangnya sama yaitu
span (S) = 𝑠𝑝𝑎𝑛(𝑆 − {𝑣})
Bukti Teorema 4.5.3 (a) Asumsikan bahwa 𝑆 = {𝑣1 , 𝑣2 , 𝑣3 , … 𝑣𝑟 } adalah himpunan vektor -
vektor bebas linier dalam V, dan v adalah suatu vektor dalam V yang berada di luar rentang
(S). Untuk menunjukkan bahwa 𝑆 ′ = {𝑣1 , 𝑣2 , 𝑣3 , … , 𝑣𝑟 , 𝑣} adalah himpunan yang bebas linier,
kita harus menunjukkan bahwa satu-satunya scalar yang memenuhi.
𝑘1 𝑣1 + 𝑘2 𝑣2 + ⋯ + 𝑘𝑟 𝑣𝑟 + 𝑘𝑟+1 𝑣 = 0 (8)
adalah 𝑘1 = 𝑘2 =···= 𝑘𝑟 = 𝑘𝑟+1 = 0. Tetapi, harus mendapatkan 𝑘𝑟+1 = 0 , jika tidak,
kita dapat menyelesaikan (8) untuk v sebagai kombinasi linier dari 𝑣1 , 𝑣2 , … , 𝑣𝑟 yang
berlawanan dengan asumsi bahwa 𝑣 berada di luar span(S). Jadi, (8) disederhanakan menjadi
𝑘1 𝑣1 + 𝑘2 𝑣2 + ⋯ + 𝑘𝑟 𝑣𝑟 = 0 (9)
Yang berdasarkan kebebasan linear dari { 𝑣1 , 𝑣2 , 𝑣3 , … , 𝑣𝑟 }, mengimplikasikan bahwa
𝑘1 = 𝑘2 = ⋯ = 𝑘𝑟 = 0
Bukti Teorema 4.5.3 (b) Asumsikan bahwa 𝑆 = {𝑣1 , 𝑣2 , … , 𝑣𝑟 } adalah suatu himpunan vektor
- vektor dalam V, dan (untuk lebih spesifik) misalkan 𝑣𝑟 adalah kombinasi linier dari
𝑣1 , 𝑣2 , … , 𝑣𝑟−1 , misalkan
𝑣𝑟 = 𝑐1 𝑣1 + 𝑐2 𝑣2 + ⋯ + 𝑐𝑟−1 𝑣𝑟−1 (10)
Kami ingin menunjukkan bahwa jika vr dihilangkan dari S, maka himpunan vektor yang tersisa
{𝑣1 , 𝑣2 , … , 𝑣𝑟−1 } masih merentang S yaitu, kita harus menunjukkan bahwa setiap vektor w
dalam rentang(S) dinyatakan sebagai kombinasi linier dari {𝑣1 , 𝑣2 , … , 𝑣𝑟−1 }. Tetapi jika w
berada dalam rentang(S), maka w dapat dinyatakan dalam bentuk
𝑤 = 𝑘1 𝑣1 + 𝑘2 𝑣2 + ⋯ + 𝑘𝑟−1 𝑣𝑟−1 + 𝑘𝑟 𝑣𝑟 = 0
atau, dengan mensubstitusi (10),
𝑤 = 𝑘1 𝑣1 + 𝑘2 𝑣2 + ⋯ + 𝑘𝑟−1 𝑣𝑟−1 + 𝑘𝑟 (𝑐1 𝑣1 + 𝑐2 𝑣2 + ⋯ + 𝑐𝑟−1 𝑣𝑟−1 ) = 0
yang menyatakan w sebagai kombinasi linier dari 𝑣1 , 𝑣2 , … , 𝑣𝑟−1
Pembuktian Teorema 4.5.5 (a) Jika S adalah himpunan vektor yang merentang V tetapi bukan
merupakan basis untuk V, maka S adalah himpunan bergantung linier. Jadi beberapa vektor v
dalam S dapat diekspresikan sebagai linear kombinasi vektor lain di S. Dengan Teorema
Plus/Minus (4.5.3b), kita dapat hapus v dari S, dan himpunan yang dihasilkan S masih akan
merentang V. Jika S bebas linier, lalu S adalah basis untuk V, dan kita selesai. Jika S
tergantung linier, maka kita dapat menghapus beberapa vektor yang sesuai dari S menghasilkan
himpunan S yang masih merentang V. Kita bisa melanjutkan menghilangkan vektor dengan
cara ini sampai akhirnya kita sampai pada himpunan vektor di S yang linear independen dan
merentang V. Subset dari S ini adalah basis untuk V.
Bukti Teorema 4.5.5 (b) Misalkan dim(V ) = n. Jika S adalah himpunan bebas linier yang
belum menjadi basis untuk V, maka S gagal merentang V, jadi ada beberapa vektor v di V yang
tidak dalam rentang(S). Dengan Teorema Plus/Minus (4.5.3a), kita dapat memasukkan v ke
dalam S, dan himpunan yang dihasilkan 𝑆′ akan tetap bebas linier. Jika 𝑆′ merentang V, maka
𝑆 ′ merupakan basis untuk V, dan kita selesai. Jika 𝑆 ′ tidak merentang V, maka kita dapat
menyisipkan vektor yang sesuai ke S menghasilkan himpunan 𝑆 ′′ yang masih bebas linier. Kita
bisa melanjutkan memasukkan vektor dengan cara ini sampai kita mencapai himpunan dengan
n vektor bebas linier di V. Himpunan ini akan menjadi dasar untuk V dengan Teorema 4.5.4.
TEOREMA 4.5.6 Jika W adalah subruang dari ruang vektor berdimensi hingga V, maka :
(a) W berdimensi-hingga.
(b) 𝑑𝑖𝑚(𝑊 ) ≤ 𝑑𝑖𝑚(𝑉 ).
(c) 𝑊 = 𝑉 jika dan hanya jika 𝑑𝑖𝑚(𝑊 ) = 𝑑𝑖𝑚(𝑉 )
Bukti (b) Bagian (a) menunjukkan bahwa W berdimensi-hingga, sehingga memiliki basis
𝑆 = {𝑤1 , 𝑤2 , … , 𝑤𝑚 }
Tiap S juga merupakan basis untuk V atau tidak. Jika ya, maka 𝑑𝑖𝑚(𝑉 ) = 𝑚, yang berarti
𝑑𝑖𝑚(𝑉) = 𝑑𝑖𝑚(𝑊). Jika tidak, maka karena S adalah himpunan bebas linier maka dapat
diperluas ke basis untuk V dengan bagian (b) dari Teorema 4.5.5. Tetapi ini nengimplikasikan
bahwa 𝑑𝑖𝑚(𝑊 ) < 𝑑𝑖𝑚(𝑉 ), jadi kami telah menunjukkan bahwa dim (𝑊 ) ≤ 𝑑𝑖𝑚(𝑉 )
dalam semua kasus.
Bukti (c) Asumsikan bahwa 𝑑𝑖𝑚(𝑊 ) = 𝑑𝑖𝑚(𝑉 ) dan bahwa 𝑆 = {𝑤1 , 𝑤2 , … , 𝑤𝑚 }
adalah basis untuk W. Jika S juga bukan basis untuk V, maka S bebas linier dapat diperpanjang
ke basis untuk V dengan bagian (b) dari Teorema 4.5.5. Tapi ini berarti 𝑑𝑖𝑚(𝑉 ) > 𝑑𝑖𝑚(𝑊 ),
yang bertentangan dengan hipotesis kami. Jadi S juga harus menjadi basis untuk V, yang berarti
bahwa 𝑊 = 𝑉 . Kebalikannya jelas.