Product detail

Compactificability Simulator

KOVÁR, M. CHERNIKAVA, A.

Product type

software

Abstract

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.

Keywords

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

Create date

10. 12. 2012

Location

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

Possibilities of use

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

Licence fee

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

www