Previous Page 7

Displaying 121 – 135 of 135

Showing per page

Bourbaki's Fixpoint Lemma reconsidered

Bernhard Banaschewski (1992)

Commentationes Mathematicae Universitatis Carolinae

A constructively valid counterpart to Bourbaki’s Fixpoint Lemma for chain-complete partially ordered sets is presented to obtain a condition for one closure system in a complete lattice L to be stable under another closure operator of L . This is then used to deal with coproducts and other aspects of frames.

Box products

Rudin, M. E. (1972)

General Topology and its Relations to Modern Analysis and Algebra

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

Brouwer Invariance of Domain Theorem

Karol Pąk (2014)

Formalized Mathematics

In this article we focus on a special case of the Brouwer invariance of domain theorem. Let us A, B be a subsets of εn, and f : A → B be a homeomorphic. We prove that, if A is closed then f transform the boundary of A to the boundary of B; and if B is closed then f transform the interior of A to the interior of B. These two cases are sufficient to prove the topological invariance of dimension, which is used to prove basic properties of the n-dimensional manifolds, and also to prove basic properties...

Currently displaying 121 – 135 of 135

Previous Page 7