Theorem
- + | is closed under addition
- + = + | Addition is commutative
- ( + ) + = + ( + ) | Addition is associative
- c | is closed under scalar multiplication
- c(d ) = (cd) | Scalar Multiplication is associative
- (c + d) = c + d | Distributive Law
- c( + ) = c + c | Distributive Law
Vector Algebra behaves as expected, but it isn’t always nice for example AB BA