Ruiz Sancho, Jesús M.Alonso Lorenzo, Aitor2023-06-212023-06-212016[1] K. Fan: A generalization of Tucker combinatorial lemma with topological applications. Ann. of Math. 56 (1952) 431–437. [2] M. de Longueville: A course in Topological Combinatorics. Springer, 2013. [3] Jiri Matousek: Using the Borsuk-Ulam Theorem. Springer 2003. [4] T. Prescott, F.E. Su: A constructive proof of Ky Fan’s generalization of Tucker’s lemma. J. Comb. Theory 111 (2005) 2, 257–265https://hdl.handle.net/20.500.14352/66628En este trabajo se estudian dos problemas de división y la topología que se requiere para resolverlos. Los problemas son el reparto libre de envidia y la división consensuada, y los resultados topológicos involucrados son el Teorema del Punto Fijo de Brouwer y el Teorema de Borsuk-Ulam. Estos teoremas se deducen de sus análogos discretos: el Lema de Sperner y el Lema de Tucker. También analizamos las equivalencias formales entre estos cuatro resultados. Palabras clave: División justa y libre de envidia, división consensuada, lema de Sperner, teorema del punto fijo de Brouwer, lema débil de Ky Fan, lema de Tucker, teorema de Borsuk-UlamIn this work we study two division problems, and the topology behind their solutions. The problems are fair division and consensus division, and the topological results involved are the Brouwer Fixed Point Theorem and the Borsuk-Ulam Theorem. These theorems are deduced from their discrete versions: the Sperner Lemma and the Tucker Lemma. Also we discuss the formal equivalences among these four resultsspabachelor thesisopen access515.1515.12515.126.4Envy-free fair divisionConsensus divisionSperner’s lemmaBrouwer’s fixed point theoremWeak Ky Fan’s lemmaTucker’s lemmaBorsuk-Ulam’s theoremTeoría del punto fijoMatemáticas (Matemáticas)Topología12 Matemáticas1210 Topología