The Fundamental Group and Brouwer’s Fixed Point Theorem
نویسنده
چکیده
The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies the fundamental group, its basic properties, some elementary computations, and a resulting theorem: the Fixed Point Theorem of Brouwer, which states that every continuous function mapping the disk to itself has a fixed point.
منابع مشابه
Fundamental Groups and the Van Kampen’s Theorem
In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove VanKampen’s Theorem, which helps to calculate the fundamental groups of complicated topological spaces from the fundamental groups we know already. We also use the properties of covering space to prove the Fundamental Theorem of Algebra and Brouwer’s Fixed Point...
متن کاملConstructive Proof of Brouwer’s Fixed Point Theorem for Sequentially Locally Non-constant and Uniformly Sequentially Continuous Functions
We present a constructive proof of Brouwer’s fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions based on the existence of approximate fixed points. And we will show that our Brouwer’s fixed point theorem implies Sperner’s lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner’s lemma, our Brouwer’s fixe...
متن کاملProof of Constructive Version of the Fan-Glicksberg Fixed Point Theorem Directly by Sperner’s Lemma and Approximate Nash Equilibrium with Continuous Strategies: A Constructive Analysis
It is often demonstrated that Brouwer’s fixed point theorem can not be constructively proved. Therefore, Kakutani’s fixed point theorem, the Fan-Glicksberg fixed point theorem and the existence of a pure strategy Nash equilibrium in a strategic game with continuous (infinite) strategies and quasi-concave payoff functions also can not be constructively proved. On the other hand, however, Sperner...
متن کاملCoarse Dynamics and Fixed Point Property
We investigate the fixed point property of the group actions on a coarse space and its Higson corona. We deduce the coarse version of Brouwer’s fixed point theorem.
متن کاملThe Complexity of Hex and the Jordan Curve Theorem
The Jordan curve theorem and Brouwer’s fixed-point theorem are fundamental problems in topology. We study their computational relationship, showing that a stylized computational version of Jordan’s theorem is PPAD-complete, and therefore in a sense computationally equivalent to Brouwer’s theorem. As a corollary, our computational result implies that these two theorems directly imply each other ...
متن کامل