Saved in:
Bibliographic Details
Main Author: Minagawa, Junichi
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2507.02366
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma holds in the ordered field of rational numbers, whereas proving the Brouwer theorem requires the property of completeness.