Tietze Extension Theorem for n-dimensional Spaces

Karol Pąk
2014 Formalized Mathematics  
In this article we prove the Tietze extension theorem for an arbitrary convex compact subset of εn with a non-empty interior. This theorem states that, if T is a normal topological space, X is a closed subset of T, and A is a convex compact subset of εn with a non-empty interior, then a continuous function f : X → A can be extended to a continuous function g : T → εn. Additionally we show that a subset A is replaceable by an arbitrary subset of a topological space that is homeomorphic with a
more » ... eomorphic with a convex compact subset of En with a non-empty interior. This article is based on [20]; [23] and [22] can also serve as reference books.
doi:10.2478/forma-2014-0002 fatcat:x2vcrs2nqbbulcjwvwemlym5oa