Displaying similar documents to “A topological version of Bertini's theorem”

Tietze Extension Theorem for n-dimensional Spaces

Karol Pąk (2014)

Formalized Mathematics

Similarity:

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