Detail produktu

Compactificability Simulator

KOVÁR, M. CHERNIKAVA, A.

Typ produktu

software

Abstrakt

Compactificability Simulator simulates the topological properties of a space, defined by J. Thomas already in 1969. The space, which is, of course, infinite, is simulated by a sequence of finite approximations, parametrized by two parametres, available for the user's input. The generated iterations topologically represent the studied space as their inverse limit.

Klíčová slova

Mutual compactificability, compact space, theta-regular space, Tychonoff space, discrete space.

Datum vzniku

10.12.2012

Umístění

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Dokumenty