Post by Jeppe Stig NielsenPost by Henning MakholmPost by Jeppe Stig NielsenNaturligvis kan man ikke *bevise* at en følge er begrænset ved kun at
beregne de første n elementer i den.
Jo, hvis beregningen kun afhænger af det foregående element (og altså
ikke positionen i følgen) og man er heldig nok til at ramme en eksakt
cykel. :-)
Helt sikkert. Men i det aktuelle tilfælde, Mandelbrotmængder, foretager
computeren bestemt afrundinger, og en cykel kan derfor være »falsk«.
Nu laver du generaliseringer. :-) Hvis du har c=a+ib, hvor a og b er
rationelle og starter din iteration ved z_0 = 0, så vil alle tallene i
følgen have rationelle realdele og imaginærdele. Det er derfor muligt
at beregne disse tal eksakt og derfor opdage cykler. Man kommer dog
godt nok til at skulle bruge en god bid plads til at repræsentere
tallene efter et par tusind iterationer. :-)
Post by Jeppe Stig NielsenMen når man laver følger af hele tal, har du helt klart ret.
Ikke kun hele tal, men enhver form for tal der kan repræsenteres på en
sådan måde at spørgsmålet x=y er afgørligt. Det kræver selvfølgelig
at talrummet er lukket under de operationer, der laves på tallene.
Hvis man holder sig til de fire regnearter, gælder det som nævnt
bl.a. rationelle tal og komplekse tal med rationelle real- og
imaginærdele, men også f.eks. for tal med periodiske kædebrøker.
Post by Jeppe Stig NielsenEt interessant eksempel: Lad f: N\{1} -> N være funktionen der er
fastlagt ved at f(n) er summen af alle divisorer i n undtagen n selv.
Så er et tal P fuldkomment, netop hvis f(P)=P, et fikspunkt.
Det er interessant at start med et tal n, og se om iterationsfølgen
n, f(n), f(f(n)), f(f(f(n))), ...
er endelig eller uendelig. Hvis den er uendelig, kan den være periodisk,
men man har ikke vished for om den kan være uendelig uden at være peri-
odisk.
Det er klart at følgen går mod plus uendelig hvis den ikke er periodisk
eller endelig.
Et andet kendt eksempel er Collatzfølger, dvs. n, f(n), f(f(n)),..., hvor
f(n) = if even(n) then n/2 else 3*n+1
For alle starttal man har prøvet (og det er mange) vil følgen på et
tidspunkt nå perioden 1, 4, 2, 1,..., men dette er ikke bevist (eller
modbevist) undtagen for tal af en bestemt form (f.eks. potenser af 2).
Der er udsat en præmie for bevis/modbevis.
Torben