Previous Page 3

Displaying 41 – 46 of 46

Showing per page

Brouwer Fixed Point Theorem for Simplexes

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...

Brouwer Fixed Point Theorem in the General Case

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].

Currently displaying 41 – 46 of 46

Previous Page 3