vector subspace
let
be a vector space, if
we say
is a subspace of
and we write
only if the following is true:
,
- for
its also true that
(addition closure),
- for
(scalar multiplication closure).
if
then
is a vector space
let
then
, let
then 
to be continued..
to be continued..
strictly speaking, a subspace is a vector space included in another larger vector space. therefore, all properties of a vector space, such as being closed under addition and scalar multiplication still hold true when applied to the subspace.
let the set of vectors
, consider the following set:
by the definition of this set, a vector
is in the set
only if 
for
to be a subspace of
, it has to meet 3 conditions:
condition 1:
, in this case 
condition 2: addition closure, meaning if
then 
condition 3: multiplication closure, meaning if
then 

for
condition 1: