Satuan dalam sistem matematis yang abstrak dan dapat diunitkan, ditambah, atau dikalikan. Ide yang bersifat
abstrak yang bukan simbol atau lambang, yang memberi keterangan tentang banyaknya anggota himpunan.
PERKEMBANGAN BILANGAN
Bilangan Asli;
Notasi : 1, 2, 3, ...
N = {1, 2, 3, …}
Bilangan Cacah;
Notasi : 0, 1, 2, 3, …
C = {0, 1, 2, 3, …}
Bilangan Bulat;
Bilangan Rasional;
Q = {a/b: a, b Î Z dan b = 0}
Bilangan Bulat
Definisi:
a + (b + c) = (a + b) + c.
a x (b x c) = (a x b) x c.
- a x (b + c) = a x b + a x c.
- (a + b) x c = a x c + b x c.
a + -a = -a + a = 0,
a + 0 = 0 + a = a,
a x 1 = 1 x a = a,
Urutan pada Z.
Definisi:
a + c = b.
Sifat Trikonomi pada Z
Sifat ini menyatakan bahwa jika a, b Î Z sebarang, maka berlaku tepat satu relasi dari tiga kemungkinan yang
dapat dipenuhi, yaitu :
(1) a < b
(2) a = b
(3) a > b
Demikian pula, anda dengan mudah dapat menunjukkan kebenaran-kebanaran pernyataan berikut :
(1) a = b maka a + c = b + c
(4) a + c = b + c maka a = b
Sifat (4) dan (5) di atas berturut-turut disebut sifat kanselasi terhadap penjumlahan dan perkalian.
Teorema 1
Jika a, b, c Î Z, maka
a < b Û a + c < b + c.
a + (c + k) = b + c (sifat komutatif +)
(a + c) + k = b + c (sifat assosiatif +)
(a + c) + n = b + c (definisi <)
a + (c + n) = b + c (sifat assosiatif +)
a + (n + c) = b + c (sifat komutatif +)
(a + n) + c = b + c (sifat assosiatif +)
(a + n) + 0 = b + 0 (sifat invers +)
Teorema 2
Jika a, b Î Z.
Jadi terbukti, jika a, b bilangan-bilangan bulat dan c bilangan bulat positif serta a < b maka a . c < b . c.
Karena k bilangan bulat positif dan c bilangan bulat negatif, maka (k.c) suatu bilangan bulat negatif, sehingga -
(k.c) bilangan bulat positif, maka
Jadi terbukti, jika a, b bilangan-bilangan bulat dan c bilangan bulat negatif serta a < b maka a . c > b . c.
Bagaimana jika c = 0
Teorema 3
Bukti :
a < b dan b < c berati berarti ada bilangan-billangan bulat positif m dan n sedemikian hingga
(a + m) + n = c (b + n = c)
a + (m + n) = c (sifat assosiatif +)