The geometry of relations

From MaRDI portal




Abstract: There is a canonical way to associate two simplicial complexes K, L to any relation RsubsetXimesY. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations RsubsetXimesY when X is fixed and use these constructions to investigate finite posets (or equivalently, finite topological spaces) from a geometrical point of view. Given any poset (X,leq), we define the simplicial complexes K, L associated to the relation leq. In many cases these polyhedra have the same homotopy type as the standard simplicial complex C of nonempty finite chains in X. We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K and L are geometrically equivalent to the smaller complexes K',L' induced by the relation <. More precisely, we prove that K (resp. L) simplicially collapses to K' (resp. L').









This page was built for publication: The geometry of relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q981684)