Addition of vector spaces

Definitions

Name	Expression	Notes
Finite
External direct sum	Given $$V_1,\cdots,V_n$$ which are vector spaces over the same field $F$: $$V=\mathop{\boxplus}^n_{i=1}V_i=\left\{(v_1,\cdots,v_n)|v_i\in V_i,\ i=1,2,\cdots,n\right\}$$ Often written: $$V=V_1\boxplus V_2\boxplus\cdots\boxplus V_n$$	This is the easiest definition, for example $$\mathbb{R}^n=\mathop{\boxplus}^n_{i=1}\mathbb{R}=\underbrace{\mathbb{R}\boxplus\cdots\boxplus\mathbb{R}}_{n\text{ times}}$$ Operations: (given $u,v\in V$ where $u_i$ and $c$ is a scalar in $F$) $$(u_1,\cdots,u_n)+(v_1,\cdots,v_n)=(u_1+v_1,\cdots,u_n+v_n)$$ $$c(v_1,\cdots,v_n)=(cv_1,\cdots,cv_n)$$
	Alternative form
	$$V=\mathop{\boxplus}^n_{i=1}V_i=\left\{\left.f:\{1,\cdots,n\}\rightarrow\bigcup_{i=1}^nV_i\right|f(i)\in V_i\ \forall i\in\{1,\cdots,n\}\right\}$$	Consider the association: $$(v_1,\cdots,v_n)\mapsto\left[\left.f:\{1,\cdots,n\}\rightarrow\bigcup_{i=1}^nV_i\right|f(i)=v_i\ \forall i\right]$$ That is, that maps a vector to a function which takes a number from 1 to $n$ to the $i^\text{th}$ component, and: Given a function $$f:\{1,\cdots,n\}\rightarrow\cup_{i=1}^nV_i$$ where $$f(i)\in V_i\ \forall i$$ we can define the following association: $$f\mapsto(f(1),\cdots,f(n))$$ Thus: $$V=\mathop{\boxplus}^n_{i=1}V_i=\left\{\left.f:\{1,\cdots,n\}\rightarrow\bigcup_{i=1}^nV_i\right|f(i)\in V_i\ \forall i\right\}$$ $$V=\mathop{\boxplus}^n_{i=1}V_i=\left\{(v_1,\cdots,v_n)|v_i\in V_i,\ \forall i\right\}$$ Are isomorphic
Sum of vector spaces	Given $V_1,\cdots,V_n$ which are vector subspaces of $V$ $$\sum^n_{i=1}V_i=\left\{v_1+\cdots+v_n|v_i\in V_i,\ i=1,2,\cdots,n\right\}$$ Sometimes this is written: $$V_1+V_2+\cdots+V_n$$
Direct product	Given $$\mathcal{F}=\left\{V_i|i\in K\right\}$$ (a family of vector spaces over $F$) $$V=\prod_{i\in K}V_i=\left\{\left.f:K\rightarrow\bigcup_{i\in K}V_i\right|f(i)\in V_i\ \forall i\in K\right\}$$