- #1
Dethrone
- 717
- 0
Let $V$ be a vector space, and define $V^n$ to be the set of all n-tuples $(v_1, v_2,...,v_n)$ of n vectors $v_i$, each belonging to $V$. Define addition and scalar multiplcation in $V^n$ as follows:
$(u_1,u_2,...,u_n)+(v_1,v_2,...,v_n)=(u_1+v_1, u_2+v_2,...,u_n+v_n)$
$a(v_1,v_2,...,v_n)=(av_1,av_2,...,av_n)$, $a \in \Bbb{R}$
Proving this is quite trivial, but I'm quite confused about something. In proving that it is associative, then $(u+v)+w=u+(v+w)$. Let $u=(u_1,u_2,...,u_n), v=(v_1,v_2,...,v_n), w=(w_1,w_2,...,w_n)$, where $u, v,w \in V$. $\left[\left((u_1,u_2,...,u_n)+(v_1,v_2,...,v_n)\right)+(w_1,w_2,...,w_n)\right]$
$=[(u_1+v_1, u_2+v_2,...,u_n+v_n)+(w_1,w_2,...,w_n)]$
$=[(u_1+v_1)+w_1, (u_2+v_2)+w_2,...,(u_n+v_n)+w_n]$
$=[u_1+(v_1+w_1), u_2+(v_2+w_2),...,u_n+(v_n+w_n)]$
Now, at this step, my TA justifies this step of switching the brackets by saying since $u_1$, $v_1$, and $w_1$ are in the vector space, then by the associative axiom $(u_1+v_1)+w_1=u_1+(v_1+w_1)$. I'm not sure if I agree with that...aren't we trying to prove that it satisfies the associative axiom, so why are we using that in our proof? This is what I think it should be: since the components of the tuples are real numbers, then they are equivalent because the addition of real numbers is associative. Am I right?
$(u_1,u_2,...,u_n)+(v_1,v_2,...,v_n)=(u_1+v_1, u_2+v_2,...,u_n+v_n)$
$a(v_1,v_2,...,v_n)=(av_1,av_2,...,av_n)$, $a \in \Bbb{R}$
Proving this is quite trivial, but I'm quite confused about something. In proving that it is associative, then $(u+v)+w=u+(v+w)$. Let $u=(u_1,u_2,...,u_n), v=(v_1,v_2,...,v_n), w=(w_1,w_2,...,w_n)$, where $u, v,w \in V$. $\left[\left((u_1,u_2,...,u_n)+(v_1,v_2,...,v_n)\right)+(w_1,w_2,...,w_n)\right]$
$=[(u_1+v_1, u_2+v_2,...,u_n+v_n)+(w_1,w_2,...,w_n)]$
$=[(u_1+v_1)+w_1, (u_2+v_2)+w_2,...,(u_n+v_n)+w_n]$
$=[u_1+(v_1+w_1), u_2+(v_2+w_2),...,u_n+(v_n+w_n)]$
Now, at this step, my TA justifies this step of switching the brackets by saying since $u_1$, $v_1$, and $w_1$ are in the vector space, then by the associative axiom $(u_1+v_1)+w_1=u_1+(v_1+w_1)$. I'm not sure if I agree with that...aren't we trying to prove that it satisfies the associative axiom, so why are we using that in our proof? This is what I think it should be: since the components of the tuples are real numbers, then they are equivalent because the addition of real numbers is associative. Am I right?