VectorSpace

Vector Space

A vector space (also called a linear space) is a collection of objects called vectors, which can be added together and can be multiplied by scalars, where scalars are elements from a field.

More formally, a vector space $V$ over a field $F$ (such as the real numbers $\mathbb{R}$ or complex numbers $\mathbb{C}$) is a set equipped with two operations: vector addition and scalar multiplication. These operations must satisfy the following eight axioms:

1. Associativity of addition: For all $u, v, w$ in $V$, we have $(u + v) + w = u + (v + w)$
2. Commutativity of addition: For all $u, v$ in $V$, we have $u + v = v + u$
3. Identity element of addition: There exists an element $0$ in $V$, called the zero vector, such that for all $v$ in $V$, we have $v + 0 = v$
4. Inverse elements of addition: For every $v$ in $V$, there exists an element $-v$ in $V$, called the additive inverse of $v$, such that $v + (-v) = 0$
5. Compatibility of scalar multiplication with field multiplication: For all $a, b$ in $F$ and all $v$ in $V$, we have $a \cdot (b \cdot v) = (a \cdot b) \cdot v$
6. Identity element of scalar multiplication: For all $v$ in $V$, we have $1 \cdot v = v$, where $1$ denotes the multiplicative identity in $F$
7. Distributivity of scalar multiplication with respect to vector addition: For all $a$ in $F$ and all $u, v$ in $V$, we have $a \cdot (u + v) = a \cdot u + a \cdot v$
8. Distributivity of scalar multiplication with respect to scalar addition: For all $a, b$ in $F$ and all $v$ in $V$, we have $(a + b) \cdot v = a \cdot v + b \cdot v$

Examples of vector spaces include the set of all real numbers (which is a vector space over itself), the set of all complex numbers (also a vector space over itself), the set of all $n$-tuples of real numbers (a vector space over the real numbers), the set of all sequences of real numbers, the set of all functions from the real numbers to the real numbers, and many others.