4.5 Dimensi
4.5 Dimensi
(b) Jika S adalah himpunan bebas linier yang belum menjadi basis
untuk V, maka S dapat diperbesar menjadi basis untuk V dengan
menyisipkan vektor-vektor yang sesuai ke dalam S.
TEOREMA 4.5.6
Jika W adalah subruang dari ruang vektor berdimensi hingga V. maka
Entah S juga merupakan basis untuk V atau bukan. Jika demikian, maka dim(V ) =
m, yang artinya dim(V ) = dim(W). Jika tidak, maka karena S merupakan himpunan
bebas linier maka S dapat diperbesar ke basis untuk V dengan bagian (b) Teorema
4.5.5. Tapi ini menyiratkan bahwa dim(W) < dim(V ), Jadi kita telah menunjukkan
bahwa redup(W) ≤ redup(V ) dalam semua kasus.
BUKTI TERKAIT TEOREMA 4.5.6
Kemudian kita asumsikan lagi andai dim(W) = dim(V) dan
adalah basis untuk W. Jika S juga bukan basis untuk V, maka S bebas
linier dapat diperluas ke basis untuk V dengan bagian (b) dari Teorema
4.5.5. Tapi ini berarti dim(V ) > dim(W), yang bertentangan dengan
hipotesis yang kita perkirakan. Jadi S juga harus menjadi basis untuk
V, yang berarti bahwa W = V . Jadi, kebalikannya jelas.
BUKTI TERKAIT TEOREMA 4.5.6