[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Home]
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.

File: 1336093988038.jpg (17 KB, 250x250) Image search: [iqdb] [SauceNao] [Google]
17 KB, 250x250
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)