Result Details
Compactificability Simulator
Created: 2012
Type
software
Language
English
Authors
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEEC)
Chernikava Alena, Mgr., Ph.D., UMAT (FEEC)
Chernikava Alena, Mgr., Ph.D., UMAT (FEEC)
Description
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.
URL
Location
Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Departments
Department of Mathematics
(UMAT)