Vector space/Finitely generated/Dimension/Definition
Jump to navigation
Jump to search
Dimension
Let be a field, and let be a -vector space with a finite generating system. Then the number of vectors in any basis of , is called the dimension of , written