Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions

Details Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions

2011-03-09

arxiv.org/abs/1103.1776v2

Mathematics

Logic

Scientific paper

We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions implies Sperner's lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner's lemma, our Brouwer's fixed point theorem is equivalent to Sperner's lemma.

Affiliated with

Also associated with

No associations

Rating

Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-644359