Generalization of the Bolzano theorem for simplices (Q260521)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalization of the Bolzano theorem for simplices |
scientific article |
Statements
Generalization of the Bolzano theorem for simplices (English)
0 references
21 March 2016
0 references
In the paper under review, the very important and pioneering Bolzano theorem (also called intermediate value theorem), which states that ``if \(f:[a,b] \subset \mathbb{R} \rightarrow \mathbb{R}\) is a continuous function satisfying \(f(a)f(b) < 0\), then there exists at least one \(x \in (a,b)\) such that \(f(x) = 0\)'', is generalized to the case of simplices. The proof is essentially based on the Knaster-Kuratowski-Mazurkiewicz lemma, often called the KKM covering theorem or KKM covering principle, which states that a family of \((n + 1)\) closed subsets covering an \(n\)-dimensional simplex and satisfying the Knaster-Kuratowski-Mazurkiewicz boundary conditions has a non-empty intersection.
0 references
existence theorems
0 references
roots
0 references
fixed points
0 references
nonlinear equations
0 references
Bolzano theorem
0 references
Bolzano-Poincaré-Miranda theorem
0 references
Brouwer fixed point theorem
0 references
Sperner lemma
0 references
Knaster-Kuratowski-Mazurkiewicz covering lemma
0 references
KKM covering
0 references
Shapley's KKMS theorem
0 references