Andrej Bauer: Topološki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov
Date of publication: 23. 2. 2009
Mathematics and theoretical computing seminar
Torek 24. 2. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Opomba: Ker bo pri nas an obisku seminar za diskretno matematiko, začnemo že ob 10h, kot običajno.
Povzetek: Predstavil bom konstrukcijo (netrivialnega) topološkega prostora D∞, ki je homeomorfen prostoru zveznih endofunkcij C(D∞, D∞), opremljenim s kompaktno-odprto topologijo. Tak prostor je prvi skonstruiral Dana Scott okoli leta 1969 in je bil prvi znani model za λ-račun brez tipov.
Vabljeni!
