Bagian 2.

1 Algebraic dan rangka properti dari R

Kita mulai dengan diskusi singkat dari “struktur algebraic” dari sistem bilangan real. Kita akan
memberi daftar pendek properti dasar dari penjumlahan dan perkalian dari properti algebraic
lainnya yang berasal dari teori. Dalam terminologi aljabar abstrak, sistem bilangan real adalah
“field” dengan operasi penjumlahan dan perkalian. Properti dasar terdapat di 2.1.1 dikenal
sebagai ‘aksioma field’. Suatu operasi biner berasosiasi dengan setiap pasangan (a,b) suatu
elemen tunggal B (a,b), tetapi kita akan menggunakan notasi konvensional dari a+b dan a . b
ketika berdiskusi properti dari penjumlahan dan perkalian.
2.1.1 Properti Algebraic dari R

Pada himpunan R dari bilangan real ada dua operasi biner, dinotasikan oleh + dan . dan disebut
penjumlahan dan perkalian, masing-masing. Operasi ini memenuhi property berikut.
(A1) a + b = b + a untuk semua a, b di R (property komutatif dari penjumlahan)
(A2) (a+b) + c = a+(b+c) untuk semua a, b, c di R (property asosiatif dari penjumlahan)

(A3) terdapat suatu elemen 0 di R seperti 0 + a = a dan a + 0 = a untuk semua a di R (keberadaan

elemen 0 )

(A4) untuk setiap a di R terdapat suatu elemen -a di R seperti a + (-a) = 0 dan (-a) + a = 0
(keberadaan elemen negatif)
(M1) a . b = b . a untuk semua a, b di R (property komutatif dari perkalian)
(M2) (a.b) . c = a.(b.c) untuk semua a, b, c di R (property asosiatif dari perkalian)

(M3) terdapat suatu elemen 1 di R berbeda dari 0 seperti 1 . a = a dan a . 1 = a untuk semua a
di R (keberadaan elemen a )

(M4) untuk setiap a ≠ 0 di R terdapat suatu elemen 1/a di R seperti a . (1/a) = 1 dan (1/a) . a =
1 (keberadaan kebalikan)

(D) a. (b+c) = (a . b) + (a . c) dan (b+c).a = (b . a) + (c . a) ) untuk semua a, b, c di R (property

distributif dari perkalian terhadap penjumlahan)

Properti ini seharusnya sudah dikenal oleh pembaca. Empat yang pertama bersangkutan
dengan penjumlahan, empat selanjutnya dengan perkalian, dan yang terakhir bersangkutan
dengan kedua operasi. Poin dari daftar adalah semua teknik yang dikenal dari aljabar berasal
dari 9 properti, di banyak spirit yang sama bahwa teorema dari geometri Euclidian bisa
disimpulkan dari lima dasar aksioma yang dinyatakan oleh Euclid di Elemennya. Tugas ini
lebih baik oleh aljabar abstrak, kita tidak akan membawanya ke sini. Namun, untuk
menunjukkan spirit dari endeavor, kita akan memberikan beberapa hasil dan bukti.

Pertama-tama kita membangun fakta dasar bahwa elemen 0 dan 1 , yang keberadaannya
ditegaskan di (A3) dan (M3), adalah fakta tunggal. Kita juga menunjukkan bahwa perkalian
oleh 0 selalu menghasilkan 0.