Theorem 1 (T.1.5) Misalkan S V maka span (S) subruang dari V .

Lebih
lanjut setiap subruang yang memuat S juga memuat span (S)
Proof. Misalkan S V
Adb span (S) subruang dari V
Span (S) = fx = a1 v1 + ::: + an vn j a1 ; :::; an 2 F dan v1 ; :::; vn 2 S g
1. Adb span (S) 6= ;

Karena 0V = 0F v1 + ::: + 0F vn
Maka 0V 2 span (S)
) Span (S) 6= ;

2. Adb span (S)

Ambil sebarang x 2 span (S)

Adb x 2 V

Karena x 2 span (S) maka x = a1 v1 + ::: + an vn untuk suatu a1 ; :::; an 2 F

dan v1 ; :::; vn 2 S
Karena S

) Span (S)

V dan V ruang vektor maka x = a1 v1 + ::: + an vn 2 V

V

3. Ambil sebarang x; y 2 span (S)

Adb x + y 2 span (S)

Karena x 2 span (S) maka x = a1 v1 + ::: + an vn untuk suatu a1 ; :::; an 2 F

dan v1 ; :::; vn 2 S

Karena y 2 span (S) maka y = b1 v1 + ::: + bn vn untuk suatu b1 ; :::; bn 2 F

dan v1 ; :::; vn 2 S
Perhatikan,

x+y

= (a1 v1 + ::: + an vn ) + (b1 v1 + ::: + bn vn )

=
(a1 v1 + b1 v1 + ::: + an vn + bn vn )
=
(a1 + b1 ) v1 + ::: + (an + bn ) vn
[sif at distributif ]
=
c1 v1 + ::: + cn vn
[ untuk suatu c1 ; :::; cn 2 F dan v1 ; :::; vn 2 S dan

) x + y 2 span (S)
4. Ambil sebarang x 2 span (S) dan c 2 F
Adb cx 2 span (S)

Karena x 2 span (S) maka x = a1 v1 +:::+an vn untuk suatu a1 ; :::; an 2 F

dan v1 ; :::; vn 2 S
Perhatikan,

cx = c (a1 v1 + ::: + an vn )
= ca1 v1 + ::: + can vn
[sif at distributif ]
=
d1 v1 + ::: + dn vn
[ untuk suatu d1 ; :::; dn 2 F dan v1 ; :::; vn 2 S dan F lapangan]
) cx 2 span (S)