In  a generalization of Hall's theorem was proved for families of hypergraphs. The proof used Sperner's lemma. In  Meshulam proved an extension of this result, using homology and the nerve theorem. In this paper we show how the triangulations method can be used to derive Meshulam's results. As in , the proof is based on results on extensions of triangulations from the sphere to the full ball. A typical result of this type is that any triangulation of the (d -1)-dimensional sphere Sd-1 can be extended to a triangulation of the ball Bd, by adding one point at a time, having degree at most 2d to its predecessors.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Geometry and Topology
- Discrete Mathematics and Combinatorics
- Computational Theory and Mathematics