Penambahan: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
||
Baris 230:
Ada dua cara populer untuk mendefinisikan jumlah dari dua bilangan asli ''a'' dan ''b''. Jika bilangan asli didefinisikan sebagai [[Bilangan kardinal|kardinalitas]] dari himpunan hingga, (kardinalitas suatu himpunan adalah banyak unsur dalam himpunan tersebut), maka jumlah dua bilangan asli bisa didefinisikan sebagai berikut:
* Misalkan N(''S'') adalah lambang untuk kardinalitas himpunan ''S''. Misalkan terdapat dua himpunan saling lepas ''A'' dan ''B'', dengan {{nowrap|1=N(''A'') = ''a''}} dan {{nowrap|1=N(''B'') = ''b''}}. Maka {{nowrap|''a'' + ''b''}} didefinisikan sebagai <math> N(A \cup B)</math>.<ref>Begle p. 49, Johnson p. 120, Devine et al. p. 75</ref>
Di sini, {{nowrap|1=''A'' ∪ ''B''}} adalah [[gabungan (teori himpunan)|gabungan]] dari ''A'' dan ''B''. Versi alternatif dari definisi ini memungkinkan ''A'' dan ''B'' bertindih dan kemudian mengambil [[satuan disjoin]], mekanisme yang memungkinkan unsur-unsur umum untuk dipisahkan dan karena itu dihitung dua kali.
Definisi populer lainnya bersifat rekursif:
* Misalkan ''n''<sup>+</sup> adalah lambang untuk [[fungsi penerus|penerus]] dari ''n'', yaitu bilangan setelah ''n'' dalam himpunan bilangan asli, jadi 0<sup>+</sup>=1, 1<sup>+</sup>=2. Definisikan {{nowrap|1=''a'' + 0 = ''a''}}. Definisikan jumlah secara umum menggunakan rekursi {{nowrap|1=''a'' + (''b''<sup>+</sup>) = (''a'' + ''b'')<sup>+</sup>}}. Jadi misalnya {{nowrap|1=1 + 1 = 1 + 0<sup>+</sup> = (1 + 0)<sup>+</sup> =}} {{nowrap|1=1<sup>+</sup> = 2}}.<ref>Enderton
Sekali lagi, variasi kecil pada definisi ini dalam literatur. Secara harfiah, definisi di atas adalah aplikasi dari [[Rekursi#Teorema rekursi|teorema rekursi]] pada [[himpunan terurut parsial]] '''N'''<sup>2</sup>.<ref>Untuk versi yang berlaku untuk pohimpunan apa pun dengan [[kondisi rantai turunan]], lihat Bergman hal. 100.</ref> Di sisi lain, beberapa sumber lebih sering menggunakan teorema rekursi hingga yang hanya berlaku untuk himpunan bilangan asli. Salah satu ''a'' untuk sementara "diperbaiki", menerapkan rekursi pada ''b'' untuk mendefinisikan fungsi "''a'' +", dan menempelkan operasi uner ini untuk semua ''a'' dengan membentuk operasi biner penuh.<ref>Enderton (p. 79) observes, "But we want one binary operation +, not all these little one-place functions."</ref>
Perumusan penambahan rekursif ini telah dikembangkan oleh Dedekind pada tahun 1854, dan dia kemudian mengembangkannya selama dekade-dekade berikutnya.<ref>Ferreirós p. 223</ref> Dia membuktikan sifat asosiatif dan komutatifnya menggunakan [[induksi matematika]].
| |||