by   Martin Kovár, Alena Chernikava

Two topological spaces X, Y are mutually compactificable if there exists a compact (not necessarily Hausdorff) topology on their disjoint union, which induces on both of the sets X,Y their original topologies, such that any two points, on taken from X and the other from Y, have disjoint neighborhoods. The problem how to determine, whether two topological spaces are mutually compactificable is so far unsolved in the most general case. It was proved by the first author that if two spaces constitute a mutually compactificable pair, both are -regular. The application 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 selected space is interesting since it is regular, but not Tychonoff (such examples are relatively rare in topology). The fact that the space of J. Thomas is also mutually compactificable with a countably infinite discrete space was proved by the first autor in 2007. The authors hope that the aplication could help to more deeply understand to the topological proceses in the neighborhoods of the points of the both spaces, the space of J. Thomas and the countably infinite discrete space, which are responsible for the mutual compactificability. For details and the construction of the studied topology we refer the reader to [1]. The reseach has also some potential impact to the study of the singularity properties and asymptotical behavior of the integral curves of various systems of differential equations.