Definition:Scalar Multiplication on Vector Space