Displaying similar documents to “A Proof of Bárány's Theorem”

Brouwer Fixed Point Theorem for Simplexes

Karol Pąk (2011)

Formalized Mathematics

Similarity:

In this article we prove the Brouwer fixed point theorem for an arbitrary simplex which is the convex hull of its n + 1 affinely indepedent vertices of εn. First we introduce the Lebesgue number, which for an arbitrary open cover of a compact metric space M is a positive real number so that any ball of about such radius must be completely contained in a member of the cover. Then we introduce the notion of a bounded simplicial complex and the diameter of a bounded simplicial complex....

Effective homology for homotopy colimit and cofibrant replacement

Marek Filakovský (2014)

Archivum Mathematicum

Similarity:

We extend the notion of simplicial set with effective homology presented in [22] to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets X : sSet such that each simplicial set X ( i ) has effective homology, we present an algorithm computing the homotopy colimit hocolim X as a simplicial set with effective homology. We also give an algorithm computing the cofibrant replacement X cof of X as a diagram with effective homology. This is applied to computing of equivariant cohomology...