Displaying similar documents to “On the Schauder fixed point theorem”

Bertrand’s Ballot Theorem

Karol Pąk (2014)

Formalized Mathematics

Similarity:

In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...

A finite dimensional reduction of the Schauder Conjecture

Espedito De Pascale (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Schauder’s Conjecture (i.eėvery compact convex set in a Hausdorff topological vector space has the f.p.p.) is reduced to the search for fixed points of suitable multivalued maps in finite dimensional spaces.