Previous Page 5

Displaying 81 – 88 of 88

Showing per page

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 81 – 88 of 88

Previous Page 5