Nová infinitní matematika
III. Reálná čísla a jejich diskretizace
Vopěnka Petr
Páteří, byť často skrytou, veškeré infinitní matematiky od jejích počátků až do dnešní doby jsou reálná čísla. Také v nové infinitní matematice hrají tato čísla klíčovou roli.
Umístili jsme je až na samu hranici antického geometrického světa, kde by měla zachycovat jeho soudržnost a kontinuitu. Tuto hranici pak neklademe až do jakéhosi absolutního nekonečna, ale vykládáme ji jako obzor, i když jen jako obzor geometrický. To nám dovoluje manipulovat jak s touto hranicí, tak s čísly na ní ležícími. Díky tomu lze vhodným posunutím geometrického obzoru provést diskretizaci reálných čísel. To znamená vyložit celou třídu reálných čísel jako podtřídu jisté konečné množiny ležící na vhodném posunutém obzoru.