跳转到内容

加法逆元

本页使用了标题或全文手工转换
维基百科,自由的百科全书

加法逆元(additive inverse)又稱相反數opposite)、反数,其定義是對於任意數,存在相反数滿足其與(加法單位元); 的加法逆元表示為

實數中,數的相反數,稱為其加法逆元;相對地,數倒數,則稱為其乘法逆元

一般定義

[编辑]

設「+」為一個交換性二元運算,即對於所有, , 。若該集合中存在一個元素,使得對於所有, ,則此元素是唯一的。如果對於一個給定的,存在一個使得,則稱的加法逆元。

特殊情況

[编辑]

定義

[编辑]

若「+」滿足結合律,則任意數的加法逆元是唯一的。

證明

[编辑]

反證法: 設有兩個相異的加法逆元
的關係。


產生矛盾證訖

[编辑]

参考文献

[编辑]