Boundedness in uniform spaces and topological groups
Previous Page 3
Jan Hejcman (1959)
Czechoslovak Mathematical Journal
Karol Pąk (2011)
Formalized Mathematics
In this article we prove the Brouwer fixed point theorem for an arbitrary simplex which is the convex hull of its n + 1 affinely indepedent vertices of εn. First we introduce the Lebesgue number, which for an arbitrary open cover of a compact metric space M is a positive real number so that any ball of about such radius must be completely contained in a member of the cover. Then we introduce the notion of a bounded simplicial complex and the diameter of a bounded simplicial complex. We also prove...
Karol Pąk (2011)
Formalized Mathematics
In this article we prove the Brouwer fixed point theorem for an arbitrary convex compact subset of εn with a non empty interior. This article is based on [15].
Paul Deguire (1995)
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
Cancan, M. (2010)
Fixed Point Theory and Applications [electronic only]
Suzuki, Tomonari (2006)
Fixed Point Theory and Applications [electronic only]
Previous Page 3