A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
From MaRDI portal
Publication:420168
DOI10.5402/2011/276040zbMATH Open1244.54101OpenAlexW2156629569WikidataQ58689166 ScholiaQ58689166MaRDI QIDQ420168FDOQ420168
Authors: Yasuhito Tanaka 
Publication date: 21 May 2012
Published in: ISRN Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.5402/2011/276040
Recommendations
- On constructive versions of the Tychonoff and Schauder fixed point theorems
- A constructive version of Sperner's lemma and Brouwer's fixed point theorem
- scientific article
- 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
- Fixed point theorems in constructive mathematics
Fixed-point and coincidence theorems (topological aspects) (54H25) Other constructive mathematics (03F65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational Results
- Techniques of constructive analysis
- Rental Harmony: Sperner's Lemma in Fair Division
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
- Brouwer's \(\epsilon\)-fixed point and Sperner's lemma
- Strong continuity implies uniform sequential continuity
- Continuity properties in constructive mathematics
- Sequentially continuous linear mappings in constructive analysis
Cited In (3)
This page was built for publication: A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420168)
