EconPapers    
Economics at your fingertips  
 

No bullying! A playful proof of Brouwer’s fixed-point theorem

Henrik Petri and Mark Voorneveld

Journal of Mathematical Economics, 2018, vol. 78, issue C, 1-5

Abstract: We give an elementary proof of Brouwer’s fixed-point theorem. The only mathematical prerequisite is a version of the Bolzano–Weierstrass theorem: a sequence in a compact subset of n-dimensional Euclidean space has a convergent subsequence with a limit in that set. Our main tool is a ‘no-bullying’ lemma for agents with preferences over indivisible goods. What does this lemma claim? Consider a finite number of children, each with a single indivisible good (a toy) and preferences over those toys. Let us say that a group of children, possibly after exchanging toys, could bully some poor kid if all group members find their own current toy better than the toy of this victim. The no-bullying lemma asserts that some group S of children can redistribute their toys among themselves in such a way that all members of S get their favorite toy from S, but they cannot bully anyone.

Keywords: Brouwer; Fixed point; Indivisible goods; KKM lemma; Top trading cycles (search for similar items in EconPapers)
Date: 2018
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0304406818300703
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:mateco:v:78:y:2018:i:c:p:1-5

DOI: 10.1016/j.jmateco.2018.07.001

Access Statistics for this article

Journal of Mathematical Economics is currently edited by Atsushi (A.) Kajii

More articles in Journal of Mathematical Economics from Elsevier
Bibliographic data for series maintained by Catherine Liu ().

 
Page updated 2025-03-19
Handle: RePEc:eee:mateco:v:78:y:2018:i:c:p:1-5