Hilberts hotel, som tidligere flygtigt er blevet nævnt på denne blog, er en pædagogisk model til illustrering af begrebet uendelighed. Hotellet har (tælleligt) uendeligt mange værelser og kan derfor rumme (tælleligt) uendeligt mange gæster. Normalt, når man diskuterer Hilberts hotel, bekymrer man sig om, hvordan man får plads til flere gæster, hvis alle værelser er optagede. En anden bekymring kunne gå på, hvordan man dog får bespist alle disse gæster.
Her er en mulig løsning: Lav en kæmpe grydefuld suppe. Gæsterne kan nu efter tur tage suppe, dog må de højst tage halvdelen af grydens indhold. På den måde er der suppe til alle, omend første gæst nok får mere suppe end gæst nummer én milliard. Hvis vi i det følgende regner i enheden grydefuld suppe, så kan første gæst højst få 1/2, hvorefter gæst nummer to højst kan tage 1/4, gæst nummer tre højst 1/8 osv. Tager første gæst 1/2, er der 1/2 tilbage, tager anden gæst 1/4, er der 1/4 tilbage osv., så der efter den ’te gæst, som tager
, er
tilbage, og der vil således ikke være noget tilbage, når alle gæster har taget. Lægger vi disse tal sammen, får vi altså hele grydens indhold:
eller, som den velopdragne matematiker ville skrive:
Vi kan altså lægge uendeligt mange tal sammen og få noget endeligt. Det er klart, at dette kun kan lade sig gøre, fordi leddene i summen bliver mindre og mindre jo længere ud i summen, vi når. Det er dog ikke et tilstrækkeligt krav på leddene, hvis vi ønsker at en sum skal være endelig, som følgende eksempel illustrerer.
Antag, at første gæst har én kubikmeter bagage med, den næste en halv kubikmeter bagage, den tredje en tredjedel kubikmeter bagage og så fremdeles, således at den ’te gæst har
kubikmeter bagage. Kan alle gæsternes bagage være i ét (endeligt) stort rum? Vi kan begynde med at se lidt på, hvor meget plads de første
gæsters bagage fylder, hvor
er et eller andet (stort) tal. Kald det samlede antal kubikmeter for
, så har vi at:
Bemærk, at , for
. Vi får derfor følgende vurdering.
hvor er det samlede antal kubikmeter for de første
gæsters bagage. Vi har nu vist at
,
og kan konkludere, at al bagagen ikke kan være på endeligt megen plads: hver gang, vi fordobler antallet af gæster, vi tager bagagen fra, får vi brug for mere end en halv kubikmeter mere plads! Har vi 100 kubikmeter, løber vi altså helt sikkert tør for plads efter 200 fordoblinger af antallet af gæster, og har vi kubikmeter, løber vi tør efter
fordoblinger. Den førnævnte velopdragne matematiker ville skrive
til trods for, at også går mod
, når
går mod
. Grunden til at
er endelig mens
er uendelig, er kort fortalt at
går meget hurtigt mod
mens
går noget langsommere mod
, når
går mod
. Tilsvarende:
går hurtigere mod
end
går mod
, når
går mod
.
Som Lisbeth har nævnt i et tidligere blogindlæg, så har vi siden Euklid vidst, at der findes uendeligt mange primtal. Ser vi på de første tal i følgerne af tal på formen og
samt følgen af primtal,
er det klart, at primtalsfølgen vokser noget hurtigere end følgen af naturlige tal, men også at den (i hvert fald i begyndelsen?) vokser meget langsommere end følgen af toerpotenser. Man kunne derfor spørge sig selv om, om summen , hvor
betegner det
’te primtal, er endelig eller ej? Vi vil i det følgende give et bevis for, at det sidste er tilfældet. Beviset er ret kort, hvis ellers man vil acceptere et par relativt simple resultater som bruges undervejs.
Først bemærker vi, at ethvert naturligt tal kan skrives entydigt på formen
,
hvor er det
’te primtal og
er en potens mellem
og
, hvor vi husker, at
uanset
(i hvertfald så længe
). Produktet kunne også skrives
, hvor produkttegnet
defineres ved
. Vi illustrerer med de første fire naturlige tal:
osv. Betragt nu udtrykket
Dette viser sig at være summen af alle tal på formen , hvor
er et tal mellem
og
, begge inkl. (over vej dette!). Dette udtryk er altså større end summen
, som blot er summen af alle tal mellem
og
(hvor leddene altså blot er nogle af tallene på formen
). Præcis samme argument giver os, at
Ovenfor så vi, at hvis vi “lader gå mod
” i
, så får vi
, eller:
(Husk, at , så summen giver
, hvis vi tager
med også). Man kan vise, at der generelt gælder, at
hvis ellers . En sådan sum kaldes en geometrisk række og behandles bl.a. i dette indlæg. Prøv evt. selv at overveje tilfældet
, hvor der er
gryde suppe, og første gæst tager 1/3 gryde, dvs. 2/3 af grydens indhold, hvorefter der er
tilbage, næste gæst tager 2/3 af grydens indhold, dvs.
osv. (Generelt kan man betragte en gryde, som til at begynde med er
fyldt og hvor hver gæst tager
af, hvad der er tilbage: det svarer til, at første gæst tager
grydefuld, anden gæst tager
osv. og efter uendeligt mange gæster er der intet tilbage). Vi ser nu, at
Vi bemærker nu, at hvis , så er
(prøv evt. selv at bevise dette eller nøjes med at konstatere det på en grafisk lommeregner), og da alle primtal netop er større eller lig
, så fås:
hvor vi gjorde brug af potensregnereglen . Vi er nu ved vejs ende: Venstre side går mod
når
går mod
, højre side er
opløftet i
gange summen af de første
reciprokke primtal. Altså må summen af de reciprokke primtal også gå mod uendelig (tag evt. logaritmen på begge sider af ulighedstegnet og dividér med
, hvis du ikke er overbevist — logaritmen er en voksende funktion, så uligheden bevares!).