Definition talk:Vector Addition

From ProofWiki
Jump to navigation Jump to search

IMHO it would make more sense were this page to define vector addition as the abelian group operation on a vector space. --Lord_Farin (talk) 23:12, 28 November 2012 (UTC)

Do you mean, while keeping Definition:Vector Sum the same? --GFauxPas (talk) 23:45, 28 November 2012 (UTC)
GFP: No. LF: would it make sense to add another page to prove that vectors under addition form an abelian group? --prime mover (talk) 07:11, 29 November 2012 (UTC)
I here mean 'vector' as in 'element of vector space'; the title of Definition:Vector Sum is inaccurate because it concerns specific vectors (in $\R^n$ or $\C^n$, maybe $\Q^n$ if you insist) rather than general ones. In particular, it wouldn't make sense to have such a proof because the abelian group structure is implicit. Of course, vector addition in the sense of current Definition:Vector Sum must be proven commutative, but isn't this already done somewhere? --Lord_Farin (talk) 07:54, 29 November 2012 (UTC)
It's already done in Properties of Matrix Entrywise Addition if you're willing to take vectors as column matrices --GFauxPas (talk) 12:53, 29 November 2012 (UTC)