youproof.orgDeep Math. Human Access.

14.11. Definíció

Egész számok kivonása

A Z\Z halmazon az alábbi képlet szerint értelmezett ⊖\ominus-szal jelölt kétváltozós műveletet kivonásnak nevezzük:

[(a;b)]⊖[(c;d)]=[(a;b)]⊕−[(c;d)]=[(a;b)]⊕[(d;c)][(a;b)] \ominus [(c;d)] = [(a;b)] \oplus -[(c;d)] = [(a;b)] \oplus [(d;c)]

A fentiekben ⊕\oplus a 13.13. Definíció szerinti összeadást, −[(x;y)]-[(x;y)] pedig az [(x;y)][(x;y)] egész szám ellentettjét jelöli a ⊕\oplus műveletre nézve.

Hagyományos jelölésekkel, műveleti jelként ⊖\ominus helyett a megszokott −- szimbólumot használva ezt is írhatjuk:

n−k=n+(−k)n - k = n + (-k)

Ez tehát azt jelenti, hogy egy nn egész számból egy kk egész számot úgy vonunk ki, hogy hozzáadjuk az ellentettjét.

♣