Vector Space
A set is a vector space if there are 2 operations:
- addition
- multiplication by scalar
that satisfy the following properties:
Addition Properties
- Closure under addition: For any vectors , the sum is also in .
- Commutative property of addition: For any vectors , .
- Associative property of addition: For any vectors , .
- Existence of Additive Identity: There exists a vector such that for any vector , . Also known as the zero vector.
- Existence of Additive Inverse: For every vector , there exists a vector such that .
Scalar Multiplication Properties
- Closure under scalar multiplication: For any scalar and vector , the product is also in .
- Distributive Property over Vector Addition: For any scalar and vectors , .
- Distributive Property over scalar addition: For any scalars and vector , .
- Associative Property of scalar multiplication: For any scalars and vector , .
- 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.