13.15. Tétel

Egész számok összeadása kommutatív és asszociatív

Jelölje $\oplus$ a 13.13. Definícióban bevezetett műveletet. Ekkor a $Z$ halmaz tetszőleges $[(a; b)]$ , $[(c; d)]$ és $[(e; f)]$ elemeire igazak az alábbi összefüggések:

\oplus

művelet kommutatív, azaz

[(a; b)] \oplus [(c; d)] = [(c; d)] \oplus [(a; b)]

\oplus

művelet asszociatív, azaz

([(a; b)] \oplus [(c; d)]) \oplus [(e; f)] = [(a; b)] \oplus ([(c; d)] \oplus [(e; f)])

♣

Alárendelt lap:Bizonyítás

Iratkozz fel a hírlevelünkre