學海無涯,思境無維;數乃六藝,理之始也。
或有一得足矣 愚千慮
Vector Space
+ :
Associative
Communative
Inverse
Identity
Scaler Multiplication
Linear Combination
Basis
Linear Indpendent
Basis Size is Constant
is a vector space with a basis containing elements, then all bases of contain elements.
Dimention of
over with basis {}, dim =
Group Isomorphic