Difference between revisions of "Addition of vector spaces"

$$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$$

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)$$

$$(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^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$$

• The alternative notation $$\bigoplus_{i\in K}^\text{ext}$$ is sometimes used

1. A
2. B