UPDF AI

Brouwer Fixed Point Theorem in the General Case

Karol Pąk

2011 · DOI: 10.2478/v10037-011-0024-3
Formalized Mathematics · 3 Citations

TLDR

The Brouwer fixed point theorem for an arbitrary convex compact subset of εn with a non empty interior is proved.

Abstract

Brouwer Fixed Point Theorem in the General Case 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].