Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros

DOI10.1016/J.TOPOL.2019.107036MaRDI QIDQ1985674zbMATH OpenOpenAlexWikidataFDO

Authors Michael N. Vrahatis

Publication date 7 April 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2019.107036

zbMATH Keywords

Bolzano theoremBolzano-Poincaré-Miranda theoremBrouwer fixed point theoremequilibriaintermediate value theoremsKnaster-Kuratowski-Mazurkiewicz lemmamathematical economicssimplicial approximationSperner coveringSperner lemma

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Fixed-point and coincidence theorems (topological aspects) (54H25) Fixed points and coincidences in algebraic topology (55M20) Numerical computation of solutions to systems of equations (65H10) Games involving topology, set theory, or logic (91A44) General equilibrium theory (91B50)

Review text

In this paper, two short proofs of a recently proposed intermediate value theorem for simplices are given in Theorem 2.1. The obtained proofs are based on Sperner covering principles, Lemmas 2.2 and 2.3. Theorem 3.1 deals with simplicial approximations of zeros of continuous mappings which is based on Theorem 2.1 and Sperner's Lemma 3.1. An error estimate is presented in Theorem 3.2. The technique used in Theorem 2.1 seems quite interesting.

Recommendations

• A simplicial mapping method for locating the zeros of a function
• Survey on generalizations of the intermediate value theorem and applications
• scientific article; zbMATH DE number 4018247
• On the stability of finding approximate fixed points by simplicial methods
• scientific article; zbMATH DE number 4013878

Cites work

• A fixed point theorem based on Miranda
• A further extension of the KKMS theorem.
• A set intersection theorem and applications
• A Short Proof and a Generalization of Miranda's Existence Theorem
• A simple proof of K-K-M-S theorem
• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• Algorithm 666: Chabis: a mathematical software package for locating and evaluating roots of systems of nonlinear equations
• Alternative Version of Shapley's Theorem on Closed Coverings of a Simplex
• An efficient method for locating and computing periodic orbits of nonlinear mappings
• An elementary proof of the Knaster-Kuratowski-Mazurkiewicz-Shapley theorem
• An extension of the KKMS theorem
• An extremely simple proof of the K-K-M-S theorem
• Computing the topological degree of a mapping in \(R^n\)
• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• Equilibria, fixed points, and complexity classes
• Equilibrium Selection in Auctions and High Stakes Games
• Existence of an Equilibrium for a Competitive Economy
• Existence of fuzzy cores and generalizations of the K-K-M-S theorem
• Existence Verification for Singular Zeros of Complex Nonlinear Systems
• Generalization of the Bolzano theorem for simplices
• scientific article; zbMATH DE number 3117214 (Why is no real title available?)
• scientific article; zbMATH DE number 3827624 (Why is no real title available?)
• scientific article; zbMATH DE number 4060637 (Why is no real title available?)
• scientific article; zbMATH DE number 3726278 (Why is no real title available?)
• scientific article; zbMATH DE number 31256 (Why is no real title available?)
• scientific article; zbMATH DE number 3487169 (Why is no real title available?)
• scientific article; zbMATH DE number 3436325 (Why is no real title available?)
• scientific article; zbMATH DE number 1828023 (Why is no real title available?)
• scientific article; zbMATH DE number 3422228 (Why is no real title available?)
• scientific article; zbMATH DE number 3048044 (Why is no real title available?)
• scientific article; zbMATH DE number 3063640 (Why is no real title available?)
• Nash and Walras equilibrium via Brouwer
• Non-cooperative games
• On a covering theorem
• On Kakutani's fixed point theorem, the K-K-M-S theorem and the core of a balanced game
• On Piecewise Linear Approximations to Smooth Mappings
• On the existence theorems of Kantorovich, Miranda and Borsuk
• On the Knaster-Kuratowski-Mazurkiewicz-Shapley theorem
• Simplicial and Continuation Methods for Approximating Fixed Points and Solutions to Systems of Equations
• Solving systems of nonlinear equations using the nonzero value of the topological degree
• Studies on Piecewise-Linear Approximations of Piecewise-C¹ Mappings in Fixed Points and Complementarity Theory
• The Approximation of Fixed Points of a Continuous Mapping
• The Bolzano-Poincaré-Miranda theorem -- discrete version
• The Bolzano-Poincaré-Miranda theorem in infinite-dimensional Banach spaces
• The computation of fixed points and applications
• The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg
• The Poincare-Miranda Theorem

Cited in

(7)

• The intermediate value theorem and decision-making in psychology and economics: an expositional consolidation
• Survey on generalizations of the intermediate value theorem and applications
• Generalization of the Bolzano theorem for simplices
• scientific article; zbMATH DE number 4143361 (Why is no real title available?)
• scientific article; zbMATH DE number 29734 (Why is no real title available?)
• Generalizations of Bolzano intermediate value theorem for balls and convex domains
• The legacy of Bolzano-Miranda-Poincaré intermediate value theorem

Describes a project that uses

Uses Software

• CHABIS

This page was built for publication: Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1985674)