arXiv++ Combinatorics

We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.

Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.

We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces.

Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered.