# Vector spaces
## Motivation

If the reader is familiar with analytic geometry, she will probably know that points in the plane can be identified by ordered tuples ${\begin{aligned}(x,y)\end{aligned}}$ where each entry is a number denoting the distance of the point from the origin in a certain direction. We call ${\begin{aligned}x\end{aligned}}$ and ${\begin{aligned}y\end{aligned}}$ the coordinates of the point in the plane, and they are often real numbers.
Although these ordered tuples are useful for describing the plane, it would seem that they lack some of the desirable behaviour of real numbers. Consider the equation ${\begin{aligned}2\cdot (42.125-x)=98.543\end{aligned}}$; we know that it defines a unique number ${\begin{aligned}x\end{aligned}}$ , and we can find that number by noting that the equation is equivalent to ${\begin{aligned}{\frac {84.25-98.543}{2}}=x\end{aligned}}$ . Can we do the same for ordered tuples? Given an equation like ${\begin{aligned}4\cdot ((x,y)+(13,12.5))=(1,4)\end{aligned}}$, can we identify ${\begin{aligned}(x,y)\end{aligned}}$ ? Does the equation even make sense?
As you may have guessed, this equation does make sense, and yes, we can solve it, but first we must make clear what it means to add two ordered tuples, and what it means to multiply them by a number.

## Definitions

A vector space ${\begin{aligned}V\end{aligned}}$ over a field ${\begin{aligned}F\end{aligned}}$ is a set of objects under two binary operations
${\begin{aligned}+&:V\times V\rightarrow V\\\cdot &:F\times V\rightarrow V\end{aligned}}$
typically called vector addition and scalar multiplication respectively, which satisfies axioms below. Note that we call elements of ${\begin{aligned}V\end{aligned}}$ vectors and elements of ${\begin{aligned}F\end{aligned}}$ scalars.
* 1) There is a vector ${\vec {z}}\in V$ such that for any ${\vec {x}}\in V$ we have ${\begin{aligned}{\vec {z}}+{\vec {x}}={\vec {x}}\end{aligned}}$ (existence of additive identity).
* 2) For any ${\vec {x}},{\vec {y}}\in V$ we have ${\begin{aligned}{\vec {x}}+{\vec {y}}={\vec {y}}+{\vec {x}}\end{aligned}}$ (commutativity of vector addition).
* 3) For any ${\vec {w}},{\vec {x}},{\vec {y}}\in V$ we have ${\begin{aligned}{\vec {w}}+({\vec {x}}+{\vec {y}})=({\vec {w}}+{\vec {x}})+{\vec {y}}\end{aligned}}$ (associativity of vector addition).
* 4) For any ${\vec {x}}\in V$ there is a vector ${\vec {y}}\in V$ such that ${\begin{aligned}{\vec {x}}+{\vec {y}}={\vec {z}}\end{aligned}}$ where ${\vec {z}}$ is the additive identity mentioned above (existence of additive inverse).
* 5) There is a scalar $a\in F$ such that for any ${\vec {x}}\in V$ we have $a\cdot {\vec {x}}={\vec {x}}$ (existence of multiplicative identity).
* 6) For any vectors ${\vec {x}},{\vec {y}}\in V$ and scalar $a\in F$ we have $a\cdot ({\vec {x}}+{\vec {y}})=a\cdot {\vec {x}}+a\cdot {\vec {y}}$ (distributivity of scalar multiplication over vector addition).
* 7) For any vector ${\vec {x}}\in V$ and scalars $a,b\in F$ we have $(a+_{F}b)\cdot {\vec {x}}=a\cdot {\vec {x}}+b\cdot {\vec {x}}$ (distributivity of scalar multiplication over field addition). Note that ${\begin{aligned}+_{F}\end{aligned}}$ is addition in the field.
* 8) For any vector ${\vec {x}}\in V$ and scalars $a,b\in F$ we have $a\cdot (b\cdot {\vec {x}})=(a\cdot _{F}b)\cdot {\vec {x}}$ (compatibility of field multiplication with scalar multiplication). Note that $\cdot _{F}$ is multiplication in the field.
Exercise: Compare these axioms with those for other algebraic structures like groups, rings, and fields. Note the similarities and differences. In what sense is a vector space like a group? How is a vector space like a field? Can you think of a structure that is both a vector space and a field?
Exercise: Although not stated explicitly, these axioms imply that ${\begin{aligned}0_{F}\cdot {\vec {x}}={\vec {0}}\end{aligned}}$ for any vector ${\vec {x}}\in V$ where ${\begin{aligned}0_{F}\end{aligned}}$ is the additive identity in the field. Prove this. Hint: use axioms 1 and 7.

### Examples

* Ordered tuples like those mentioned in the beginning of this lesson, with appropriate definitions of vector addition and scalar multiplication, can be made into elements of a vector space. Let ${\begin{aligned}{\vec {x}}=(x_{1},x_{2}),{\vec {y}}=(y_{1},y_{2})\end{aligned}}$ and define:
where $a\in \mathbb {R}$ (but any field would work). This gives us definitions of vector addition and scalar multiplication in terms of field addition and field multiplication, concepts with which we are quite comfortable. Checking these definitions against the axioms should convince you that the set of ordered tuples under these operations is a vector space over $\mathbb {R}$.
Now consider these definitions:
Remarkably, this defines a vector space over $\mathbb {R}$ as well! Although this vector space and the one previously defined share the same set of vectors, and are defined over the same field, they are different as vector spaces.
* Any field is a vector space over itself. To see this, take the elements of the field to be the vectors, then check this against the axioms.
* The complex numbers are a vector space over the real numbers.

## Subspaces

Any non-empty subset of is called a subspace of V if it respect the two following properties:
∀(x, y)∈V, x+y∈V{\textstyle \forall (x, y)\in V, x+y\in V}
∀(a, x$^→$)∈F×V, a⋅x$^→$∈V{\textstyle \forall (a, {\vec {x}})\in F\times V, a\cdot {\vec {x}}\in V}
And we can easily verify that such a set is a vector space over $F$.

## Linear Combinations
### Dependence Relations and Linear Independence

Any set $(e_{n})_{n\in J\subseteq \mathrm {N} }$ of elements of $V$ is said linearly independent (or "free") if it is every linear combination of those vectors is different from the zero vector. In other words, that :
$\forall (x_{1},x_{2},...)\in F^{J},{\begin{aligned}(\exists n\in J,x_{n}\neq 0)\Longrightarrow x_{1}\cdot e_{1}+x_{2}\cdot e_{2}+...\neq 0_{V}\end{aligned}}$
or, in a completely equivalent manner :
$\forall (x_{1},x_{2},...)\in F^{J},{\begin{aligned}x_{1}\cdot e_{1}+x_{2}\cdot e_{2}+...=0_{V}\Longrightarrow (\forall n\in J,x_{n}=0)\end{aligned}}$
Otherwise, such a set is said "dependent".