解析学#2

証明が要らないほどの簡単な命題について述べていきますね。

命題1.2
(1)定義1.1(2)の零元は唯一つだけ存在する。
(2)$${\forall a\in\mathbb{R}}$$に対して、定義1.1(3)の逆元は唯一つだけ存在する。また、$${-(-a)=a}$$が成り立つ。
(3)定義1.1(6)の単位元は唯一つだけ存在する。
(4)$${0}$$でない$${\forall a\in\m