door Sjoerd Job » di 17 jul 2012, 06:27
barto schreef:Vreemd genoeg krijg je bij een som als deze ook een niet-oneindige oplossing:
\(s=2+4+8+16+...\)
Je vindt
\(s=2s+2\)
en dus het volstrekt logische
\(s=-2\)
Daar moet zeker een goede verklaring voor zijn.
Dit is zeker waar in de 2-adische metriek:
\(d(m,n) = 1/2^k\)
waar
\(k\)
maximaal is met
\(2^k | m - n\)
(voorbeeld:
\(d(1,4) = 1^0\)
,
\(d(1, 5) = 1/2^4\)
,
\(d(1, 7) = 1/2^1\)
,
\(d(1/3, 1/4) = 4\)
)
In deze metriek geldt:
\(d(-2,2) = 1/4\)
,
\(d(-2,2+4) = 1/8\)
, en
\(d(-2, 2 + 4 + \dotsb + 2^k) = 1/2^{k+1}\)
(eigenlijk gaat 1 + 2 + 4 + 8 + 16 + ... al naar (-1)...)
[quote="barto"]Vreemd genoeg krijg je bij een som als deze ook een niet-oneindige oplossing:
[tex]s=2+4+8+16+...[/tex]
Je vindt [tex]s=2s+2[/tex] en dus het volstrekt logische :shock: [tex]s=-2[/tex] :?: :?:
Daar moet zeker een goede verklaring voor zijn. :? [/quote]
Dit is zeker waar in de 2-adische metriek: [tex]d(m,n) = 1/2^k[/tex] waar [tex]k[/tex] maximaal is met [tex]2^k | m - n[/tex] (voorbeeld: [tex]d(1,4) = 1^0[/tex], [tex]d(1, 5) = 1/2^4[/tex], [tex]d(1, 7) = 1/2^1[/tex], [tex]d(1/3, 1/4) = 4[/tex])
In deze metriek geldt:
[tex]d(-2,2) = 1/4[/tex], [tex]d(-2,2+4) = 1/8[/tex], en [tex]d(-2, 2 + 4 + \dotsb + 2^k) = 1/2^{k+1}[/tex]
(eigenlijk gaat 1 + 2 + 4 + 8 + 16 + ... al naar (-1)...)