Let K be a simplicial complex with four vertices v1,…,v4 with simplices ⟨v1,v2,v3⟩, ⟨v1,v4⟩ and ⟨v2,v4⟩ and their faces.
(a) Draw a picture of ∣K∣, labelling the vertices.
(b) Using the definition of homology, calculate Hn(K) for all n.
(c) Let L be the subcomplex of K consisting of the vertices v1,v2,v4 and the 1 simplices ⟨v1,v2⟩,⟨v1,v4⟩,⟨v2,v4⟩. Let i:L→K be the inclusion. Construct a simplicial mapj:K→L such that the topological realisation ∣j∣ of j is a homotopy inverse to ∣i∣. Construct an explicit chain homotopy h:C∙(K)→C∙(K) between i∙∘j∙ and idC∙(K), and verify that h is a chain homotopy.