The Brouwer’s Fixed Point Theorem is one of the most well known and important existence principles in mathematics. Since the theorem and its many equivalent formulations or extensions are powerful tools in showing the existence of solutions for many problems in pure and applied mathematics, many scholars have been studying its further extensions and applications.
The Brouwer Theorem itself gives no information about the location of fixed points. However, effective ways have been developed to calculate or approximate the fixed points. Such techniques are important in various applications including calculation of economic equilibria.
Because Brouwer Fixed Point Theorem has a significant role in mathematics, there are many generalizations and proofs of this theorem. In this paper, we will try to show several proves of Brouwer Fixed Point Theorem. First, let’s take a look at Brouwer Theorem from real world illustrations. There are several real world examples, and we will take in consideration few of them.
Table of Contents
1. Brouwer Fixed Point Theorem on R1
2. Combinatorial: Sperner’s Lemma
3. Sperner’s Lemma implies Brouwer’s Fixed Point Theorem
4. Brouwer Fixed Point Theorem for C’ - map
5. Milnor and Rogers proof of Brouwer’s Theorem
6. Proof of Brouwer Fixed Point Theorem by Retraction
Objectives and Topics
This work aims to present various mathematical proofs and illustrations of the Brouwer Fixed Point Theorem, exploring its significance in pure and applied mathematics. It covers intuitive real-world examples, combinatorial approaches using Sperner's Lemma, analytic perspectives through C'-maps, and topological methods involving homology and retraction.
- Intuitive and visual interpretations of fixed point properties.
- Proof of Sperner's Lemma and its application to fixed points.
- Analytic proof techniques for mappings on unit balls.
- Topological implications and proofs using retraction and homology functors.
Excerpt from the Book
1. Brouwer Fixed Point Theorem on R1
Take two sheets of paper with identical images one lying directly above the other. If you fold the top paper and change its shape completely, and you put on the top of the other sheet. The Brouwer Theorem says there is at least one point on the top paper that is directly above the corresponding point on the bottom sheet.
For instance, suppose we have two identical deck’s cards. Let’s keep one of the cards unchanged, and let the other rotate and stretch (fold) it. However, we do not cut or tore. Furthermore, let’s take the deformed card and put on top of the unchanged card. According to Brouwer’s Theorem, there must be a point on the deformed deck’s card that will map exactly on the same point of the unchanged deck’s card.
Another example on Brouwer’s Theorem that is similar to previous examples is if we take two identical same disks. We place one on the top of the other. Then we change the shape and the form of the disk on the top, and on the other hand, we do not make any change to the bottom disk. Moreover, we put the deformed disk on the top of the disk that is on the bottom. Brouwer Theorem tells us there is at least one point of the top disk that is mapped exactly on the same point of the bottom disk.
Summary of Chapters
1. Brouwer Fixed Point Theorem on R1: Introduces the theorem through intuitive, real-world analogies such as folding paper or deforming disks.
2. Combinatorial: Sperner’s Lemma: Details the proof of Sperner’s Lemma and establishes its foundational role in proving fixed point theorems.
3. Sperner’s Lemma implies Brouwer’s Fixed Point Theorem: Demonstrates how the labeling of triangulations leads to the existence of fixed points for continuous functions.
4. Brouwer Fixed Point Theorem for C’ - map: Explores the analytic approach to the theorem for C¹-maps on the unit ball.
5. Milnor and Rogers proof of Brouwer’s Theorem: Presents a proof utilizing the Stone-Weierstrass theorem to approximate continuous maps with polynomials.
6. Proof of Brouwer Fixed Point Theorem by Retraction: Uses homotopy equivalence and homology functors to prove the theorem via the concept of retraction.
Keywords
Brouwer Fixed Point Theorem, Sperner's Lemma, Topology, Continuous Functions, Triangulation, Barycentric Coordinates, Fixed Point Property, Homotopy, Retraction, Homology Functor, Unit Ball, Compact Convex Set, Stone-Weierstrass Theorem, Fixed Point, Mathematical Proofs
Frequently Asked Questions
What is the fundamental subject of this publication?
The paper explores the Brouwer Fixed Point Theorem, one of the most significant existence principles in mathematics, covering its definition, various proofs, and wide-ranging applications.
What are the central thematic areas covered in the text?
The text focuses on visual intuition, combinatorial techniques (Sperner’s Lemma), analytic methods (C¹-maps), and topological strategies (homology and retraction).
What is the primary objective of this work?
The primary goal is to provide a comprehensive overview of several proofs for the Brouwer Fixed Point Theorem, moving from simple physical illustrations to complex topological frameworks.
Which scientific methods are primarily utilized?
The work employs methods ranging from induction and combinatorial labeling to advanced mathematical tools like homotopy equivalence, homology functors, and the Stone-Weierstrass approximation theorem.
What is addressed in the main body of the paper?
The main body systematically examines the theorem through different lenses, including 1-dimensional segments, triangle triangulation, mappings on unit balls, and formal retraction arguments.
Which keywords best characterize the work?
Key terms include Brouwer Fixed Point Theorem, Sperner's Lemma, Topology, Triangulation, Homology Functor, and Fixed Point Property.
How does the author connect Sperner's Lemma to Brouwer's Theorem?
The author demonstrates that a Sperner labeling of a triangulation necessitates the existence of a "full-colored" triangle, which, as triangulations get smaller, converges to a fixed point for any continuous function.
Why is the retraction approach considered important in this text?
The retraction approach is crucial because it provides a topological proof showing that a continuous function from a disk to itself must have a fixed point, relying on the fact that a disk is contractible while a sphere is not.
How does the author handle the distinction between standard and constructive proofs?
The author notes that while many standard proofs are non-constructive, the approach using Sperner's Lemma offers a more intuitive and semi-constructive pathway to identifying fixed points.
- Quote paper
- Duli Pllana (Author), 2018, Reflection on Brouwer's Fixed Point Theorem, Munich, GRIN Verlag, https://www.grin.com/document/428448
