Up

量０ ──零元

作成: 2013-06-04 更新: 2013-06-04

---

「量」では，加法＋が考えられている。 そして，加法の零元 (「0」) を導入しておくのが，量計算のうえで，都合のよいことになる。 例えば，量ｐ，ｑの相等を「ｐとｑの差は0」のように表現できることは，この「都合のよい」の一つである。 零元は，「量ゼロ」がこれの意味になる。 実際，量ｑと足してｑになる量は，「量ゼロ」である。