Vector space/Generating system/Definition
Spanning system
Let be a field, and let be a -vector space. A family , , is called a generating system (or spanning system) of , if every vector can be written as
with a finite subfamily , and with .
Let be a
field,
and let
be a
-vector space.
A family
,
,
is called a generating system
(or spanning system)
of
, if every vector
can be written as
with a finite subfamily
,
and with
.