Detail aplikovaného výsledku

Compactificability Simulator

KOVÁR, M.; CHERNIKAVA, A.

Originální název

Compactificability Simulator

Anglický název

Compactificability Simulator

Druh

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.

Abstrakt anglicky

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.

Klíčová slova anglicky

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

Umístění

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

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

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

www

http://matika.umat.feec.vutbr.cz/software/webmath/CThetaSimulator.jsp