A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity

DOI10.5402/2011/276040MaRDI QIDQ420168zbMATH OpenOpenAlexWikidataFDO

Authors Yasuhito Tanaka

Publication date 21 May 2012

Published in ISRN Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.5402/2011/276040

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Other constructive mathematics (03F65)

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; zbMATH DE number 6098677
• 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

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational Results
• Brouwer's -fixed point and Sperner's lemma
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
• Continuity properties in constructive mathematics
• Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
• Rental Harmony: Sperner's Lemma in Fair Division
• Sequentially continuous linear mappings in constructive analysis
• Strong continuity implies uniform sequential continuity
• Techniques of constructive analysis

Cited in

(5)

• On constructive versions of the Tychonoff and Schauder fixed point theorems
• Fixed point theorems in constructive mathematics
• A note on the constructive proof of Kakutani's fixed point theorem with uniformly locally at most one fixed point without countable choice
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
• A constructive version of Sperner's lemma and Brouwer's fixed point theorem

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)