zde - Univerzita Karlova
zde - Univerzita Karlova
zde - Univerzita Karlova
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Pokud jde o obor racionálních čísel, pak nejprve každému racionálnímu<br />
číslu r přiřadíme dvoučlennou posloupnost a, b celých čísel takovou,<br />
že čísla a, b jsou nesoudělná, b kladné, r = a b<br />
. Potom stejným způsobem<br />
jako prve, pouze s tím rozdílem, že se omezíme na uvedené dvoučlenné<br />
posloupnosti, seřadíme tyto posloupnosti, a tím i všechna racionální čísla,<br />
do posloupnosti jediné.<br />
Dedekind odepsal Cantorovi obratem. Napsal, že očíslovat všechna<br />
reálná čísla čísly přirozenými nedovede a také neví, proč by si tato otázka<br />
zasluhovala pozornost. Vypracoval však přesný důkaz toho, že všechna<br />
reálná algebraická čísla lze přirozenými čísly očíslovat. Opíral se přitom<br />
o Cantorovy myšlenky obsažené v dosud neuveřejněné Cantorově práci,<br />
jejíž rukopis znal, zvláště pak o pojem výšky mnohočlenu, který byl<br />
v ní zaveden.<br />
Připomeňme, že algebraickým číslem rozumíme každé číslo, které je<br />
kořenem algebraické rovnice<br />
a n x n + ···+ a 0 =0,<br />
kde a 0 ,...,a n jsou celá čísla. (Zřejmě každé racionální číslo je algebraické<br />
ataké √ 2 je algebraické číslo, neboť je kořenem rovnice x 2 − 2=0.)<br />
Protože každá algebraická rovnice n-tého stupně má nejvýše n různých<br />
reálných kořenů (což v těchto rozpravách nebudeme dokazovat),<br />
lze očíslování všech algebraických čísel přirozenými čísly provést, velmi<br />
stručně řečeno, následujícím způsobem. V prve popsané posloupnosti S<br />
všech konečných posloupností celých čísel nahradíme každou posloupnost<br />
a 0 ,...,a n reálnými kořeny rovnice a n x n + ···+ a 0 = 0 seřazenými<br />
podle velikosti, pokud ovšem některý z nich nebyl použit už dříve. Nemáli<br />
tato rovnice žádný dosud nepoužitý kořen, popřípadě nemá-li žádný<br />
reálný kořen, pak posloupnost a 0 ,...,a n vyškrtneme z posloupnosti S.<br />
K tomu dodejme, že i Zeus by se při této práci dost nadřel; Bohočlověk<br />
by ji ovšem zvládl snadno.<br />
V dopise ze dne 2. prosince 1873 napsal Cantor Dedekindovi, že se<br />
už několik let čas od času marně pokoušel očíslovat reálná čísla všemi<br />
přirozenými čísly. Nebyl si však jist, zda mu z jeho čistě osobní zahleděnosti<br />
určitým směrem neuniká nějaké jednoduché řešení. Proto také<br />
tuto otázku položil Dedekindovi, a když nyní vidí, že ani on nezná odpověď,<br />
nabyl přesvědčení, že důvody neúspěchu mají hlubší příčinu. Ani<br />
Cantor až dosud neviděl žádný vážný důvod, proč by si tato otázka zasluhovala<br />
pozornost, a kladl si jí jen proto, že ho prostě zajímala. Po<br />
79