Vector Space

A set is a vector space if there are 2 operations:

  • addition
  • multiplication by scalar

that satisfy the following properties:

Addition Properties

  1. Closure under addition: For any vectors , the sum is also in .
  2. Commutative property of addition: For any vectors , .
  3. Associative property of addition: For any vectors , .
  4. Existence of Additive Identity: There exists a vector such that for any vector , . Also known as the zero vector.
  5. Existence of Additive Inverse: For every vector , there exists a vector such that .

Scalar Multiplication Properties

  1. Closure under scalar multiplication: For any scalar and vector , the product is also in .
  2. Distributive Property over Vector Addition: For any scalar and vectors , .
  3. Distributive Property over scalar addition: For any scalars and vector , .
  4. Associative Property of scalar multiplication: For any scalars and vector , .
  5. Identity Element of scalar multiplication: For any vector , , where is the multiplicative identity in the field of scalars.

A vector space is defined as any Set of elements that obey these properties.

Note: this means that a vector space does not have to consist of “vectors” in the traditional sense (arrows in space); it can be any set with the defined operations that satisfy the vector space axioms.