Vector space/Generating system/Definition

From Wikiversity
Jump to navigation Jump to search
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 .