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
    0 references
    0 references
    0 references
    0 references
    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
    0 references