Applied result detail

Compactificability Simulator

KOVÁR, M.; CHERNIKAVA, A.

Original Title

Compactificability Simulator

English Title

Compactificability Simulator

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.

Abstract in English

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.

Key words in English

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

Location

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

Possibilities of use

only the provider uses the result

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www