Jumlah kosong


Dalam matematika, jumlah kosong (bahasa Inggris: empty sum, atau bahasa Inggris: nullary sum)[1] adalah sebuah penjumlahan dengan jumlah sukunya adalah nol. Cara alami untuk memperluas jumlah takkosong[2] adalah dengan memisalkan jumlah kosong adalah identitas aditif. Lebih lanjut, misalkan a 1 {\displaystyle a_{1}} , a 2 {\displaystyle a_{2}} , a 3 {\displaystyle a_{3}} , ... adalah deret bilangan, dan misalkan

s m = i = 1 m a i = a 1 + + a m {\displaystyle s_{m}=\sum _{i=1}^{m}a_{i}=a_{1}+\ldots +a_{m}}

adalah jumlah ke- m {\displaystyle m} pertama dari deret. Rumus ini dapat ditulis

s m = s m 1 + a m {\displaystyle s_{m}=s_{m-1}+a_{m}}

asalkan s 0 = 0 {\displaystyle s_{0}=0} dipakai sebagai ketentuan alami. Dengan kata lain, "jumlah" s 1 {\displaystyle s_{1}} dengan satu suku menghitung nilai suku tersebut, sementara "jumlah" s 0 {\displaystyle s_{0}} tanpa adanya suku menghitung nilainya menjadi 0. Dengan memungkinkan bahwa "jumlah" hanya terdiri dari suku bernilai 1 atau 0, mengurangi jumlah kasus yang harus dipertimbangkan dalam banyak rumus matematika. "Jumlah" tersebut adalah titik awal alami dalam bukti induksi dan dalam algoritma. Jadi, perluasan "jumlah kosong adalah nol" merupakan praktik standar dalam matematika dan pemrograman komputer (dengan asumsi domain mempunyai elemen nol ). Untuk alasan yang sama, darab kosong dianggap sebagai identitas perkalian.

Nilai penjumlahan kosong pada berbagai penjumlahan lain seperti vektor, matriks, polinomial, dianggap sebagai identitas aditif.

Contoh

Kombinasi linear kosong

Dalam aljabar linear, basis dari suatu ruang vektor V {\displaystyle V} adalah himpunan bagian linear bebas B {\displaystyle B} sehingga setiap elemen dari V {\displaystyle V} adalah kombinasi linear dari B {\displaystyle B} . Ketentuan jumlah kosong memungkinkan ruang vektor berdimensi V = { } {\displaystyle V=\{\emptyset \}} mempunyai basis, yaitu himpunan kosong.

Lihat juga

  • Darab kosong
  • Operasi biner berulang
  • Fungsi kosong

Referensi

  1. ^ Harper, Robert (2016). Practical Foundations for Programming Languages. Cambridge University Press. hlm. 86. ISBN 9781107029576. 
  2. ^ David M. Bloom (1979). Linear Algebra and GeometryPerlu mendaftar (gratis). hlm. 45. ISBN 0521293243.