How do you prove -0 = 0 for any vector space...

Images are sometimes not shown due to bandwidth/network limitations. Refreshing the page usually helps.

You are currently reading a thread in /wsr/ - Worksafe Requests

You are currently reading a thread in /wsr/ - Worksafe Requests

Thread images: 1

How do you prove -0 = 0 for any vector space using the 10 axioms?

>>

\(\displaystyle -0 + 0\) \(=\) \(\displaystyle 0\) $\quad$ Real Number Axioms: $\R A 4$ $\quad$

\(\displaystyle \implies \ \ \) \(\displaystyle -0\) \(=\) \(\displaystyle 0\) $\quad$ Real Addition Identity is Zero: Corollary $\quad$

$\blacksquare$

>>

>>32096

You use the fact that the vectors with addition (+) build a group with neutral element 0 (that is, the equality -0 = 0 holds for groups in general).

0 is neutral element:

for all a : 0 + a = a => 0 + (-0) = -0 (1)

existence of the inverse element:

for each b there is a (-b) with b + (-b) = 0

=>

0 + (-0) = 0 (2)

Since + is an operation,

(1), (2) => -0 = 0

(corrected a mistake)

Thread images: 1

Thread DB ID: 415656

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.

This is a 4chan archive - all of the shown content originated from that site. This means that 4Archive shows their content, archived. If you need information for a Poster - contact them.

If a post contains personal/copyrighted/illegal content, then use the post's