1 + 2 + 4 + 8 + ⋯

Dalam matematika, Templat:Nowrap adalah deret tak terhingga yang suku-sukunya berupa pangkat dua. Sebagai deret geometrik, deret ini mempunyai suku pertama, 1, dan rasio umum, 2. Sebagai deret bilangan riil, deret ini divergen menuju ke tak terhingga, dalam artian tidak memiliki penjumlahan. Dalam arti yang lebih luas, deret ini dikaitkan dengan nilai selain $\infty$ , yaitu −1, yang merupakan batas deret menggunakan metrik 2-adic.

Penjumlahan

Jumlah parsial $1 + 2 + 4 + 8 + \dots$ adalah $1, 3, 7, 15, \dots$ karena deret tersebut divergen menuju ke tak terhingga. Begitu pula dengan deret.

2^{0} + 2^{1} + \dots + 2^{k} = 2^{k + 1} - 1

Oleh karena itu, setiap metode penjumlahan beraturan total memberikan nilai penjumlahan, yaitu tak terhingga. Contoh metode tersebut di antaranya penjumlahan Cesàro dan penjumlahan Abel.Templat:Sfn Di sisi lain, setidaknya ada satu metode yang secara umum berguna yang menghitung penjumlahan $1 + 2 + 4 + 8 + \dots$ , dan hasil penjumlahan tersebut memberikan nilai terhingga, yaitu −1. Deret pangkat iring $f (x) = 1 + 2 x + 4 x^{2} + 8 x^{3} + \dots + 2^{n} x^{n} + \dots = \frac{1}{1 - 2 x}$ memiliki jeruji kekonvergenan di antara 0 dan Templat:Sfrac, sehingga tidak konvergen di $x = 1$ . Meskipun demikian, fungsi $f$ yang terdefinisi memiliki kekontinuan analitik tunggal untuk bidang kompleks dengan menghilangkan titik $x = \frac{1}{2}$ , dan deret ini dirumuskan dengan aturan yang sama, yaitu $f (x) = \frac{1}{1 - 2 x}$ . Karena $f (1) = - 1$ , maka deret aslinya $1 + 2 + 4 + 8 + \dots$ dikatakan terjumlahkan (E) menjadi −1, dan −1 merupakan jumlah (E) dari deret tersebut. (Notasi ini dipakai oleh G. H. Hardy untuk mengartikan pendekatan Euler menuju deret divergen).Templat:Sfn

Pendekatan yang hampir identik (yang dikerjakan oleh Euler sendiri) adalah dengan memisalkan deret pangkat yang semua koefisiennya adalah 1, yaitu $1 + y + y^{2} + y^{3} + \dots = \frac{1}{1 - y}$ dan memasukkan $y = 2$ . Dengan demikian, kedua deret di atas berkaitan dengan substitusi $y = 2 x$ .

Fakta bahwa penjumlahan (E) yang memberikan nilai terhingga $1 + 2 + 4 + 8 + \dots$ menunjukkan bahwa metode umum tidak beraturan sepenuhnya. Di sisi lain, penjumlahan (E) memiliki beberapa sifat lain yang diinginkan untuk metode penjumlahan, di antaranya stabilitas dan linieritas. Dua aksioma terakhir ini sebenarnya memaksa penjumlahan bernilai menjadi −1, dengan memanipulasi aljabar berikut:

\begin{matrix} s & = & 1 + 2 + 4 + 8 + 16 + \dots \\ = & 1 + 2 (1 + 2 + 4 + 8 + \dots) \\ = & 1 + 2 s \end{matrix}

$s = \infty$ merupakan akar persamaan $s = 1 + 2 s$ .Templat:Efn Jika terdapat beberapa metode penjumlahan yang mengembalikan bilangan biasa untuk $s$ , yaitu bukan $\infty$ , maka dapat mudah ditentukan perhitungan tersebut. Dalam hal ini, $s$ dapat dikurangi dari kedua ruas persamaan, yang mengakibatkan persamaan menjadi $0 = 1 + s$ , dan demikian bahwa $s = - 1$ .Templat:Sfn

Manipulasi di atas dapat digunakan untuk menghasilkan −1 di luar konteks dalam mengerjakan penjumlahan yang cukup kuat. Untuk konsep penjumlahan yang paling terkenal dan yang mudah, seperti konsep penjumlahan konvergen fundamental, tidak masuk akal bahwa deret dari suku positif dapat bernilai negatif. Fenomena yang serupa terjadi dengan deret Grandi, sebuah deret divergen dengan jumlah deret dari suku berupa bilangan bulat memiliki hasil yang bukan bilangan bulat, yaitu Templat:Sfrac. Contoh-contoh ini mengilustrasikan bahayanya dalam menerapkan argumen serupa ke deret yang tersirat oleh desimal berulang seperti 0,11 ... dan yang paling terkenal, 0,999…. Argumen dibenarkan untuk deret konvergen ini, yang menyiratkan bahwa Templat:Nowrap dan Templat:Nowrap, tetapi bukti yang mendasari menuntut pemikiran yang cermat tentang pandangan penjumlahan yang tak berakhir.Templat:Sfn

Selain itu, deret $1 + 2 + 4 + 8 + \dots$ juga dapat dipandang sebagai deret yang konvergen dalam sistem bilangan yang berbeda dari bilangan real, yaitu, bilangan 2-adic. Sebagai deret bilangan 2-adic, deret ini konvergen menuju ke hasil jumlah yang sama, −1, yang dapat diperoleh dengan menggunakan kekontinuan analitik.^[1]