On constructive versions of the Tychonoff and Schauder fixed point theorems
zbMATH Open1231.03055MaRDI QIDQ5198366FDOQ5198366
Publication date: 5 August 2011
Full work available at URL: https://eudml.org/doc/226271
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
- A constructive version of Sperner's lemma and Brouwer's fixed point theorem
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Fixed point theorems in constructive mathematics
- Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
- 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
Banach spaceconstructive mathematicslocally convex spaceSperner's lemmaSchauder's fixed-point theoremTychonoff's fixed-point theorem
Fixed-point and coincidence theorems (topological aspects) (54H25) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)
This page was built for publication: On constructive versions of the Tychonoff and Schauder fixed point theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5198366)
