Constructive proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions

Details Constructive proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions Constructive proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions

2011-05-18

arxiv.org/abs/1105.3616v1

Mathematics

Logic

Scientific paper

We present a constructive proof of Tychonoff's fixed point theorem in a
locally convex space for sequentially locally non-constant functions, As a
corollary to this theorem we also present Schauder's fixed point theorem in a
Banach space for sequentially locally non-constant functions. We follow the
Bishop style constructive mathematics.

Affiliated with

Also associated with

No associations

Rating

Constructive proofs of Tychonoff's and Schauder's fixed point theorems 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 proofs of Tychonoff's and Schauder's fixed point theorems 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 proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-54060