# Proof of Tietze Extension Theorem in Munkres

• Sep 12th 2011, 05:21 PM
Bingk
Proof of Tietze Extension Theorem in Munkres
Hi! I don't understand a part of the proof.

The theorem states:
Let X be a normal space; let A be a closed subspace of X.
(a) Any continuous map of A into the closed interval [a,b] of R may be extended to a continuous map of all of X into [a,b].
(b) Any continuous map of A into R may be extended to a continuous map of all of X into R.

My question is about part (b).

Let f be a continuous map from A into (-1,1).
It then states that "The half of the Tietze theorem already proved shows that we can extend f to a continuous map g:X --> [-1,1] mapping X into the closed interval".

How does part (a) show this?
(a) tells us that f should be a continuous map from A into the closed interval [-1,1] so that we can extend it to a continuous map g from the entire space X into [-1,1]. It doesn't say anything about A being mapped into open intervals. What's the connection I'm missing?

Thanks!
• Sep 12th 2011, 05:35 PM
Drexel28
Re: Proof of Tietze Extension Theorem in Munkres
Quote:

Originally Posted by Bingk
Hi! I don't understand a part of the proof.

The theorem states:
Let X be a normal space; let A be a closed subspace of X.
(a) Any continuous map of A into the closed interval [a,b] of R may be extended to a continuous map of all of X into [a,b].
(b) Any continuous map of A into R may be extended to a continuous map of all of X into R.

My question is about part (b).

Let f be a continuous map from A into (-1,1).
It then states that "The half of the Tietze theorem already proved shows that we can extend f to a continuous map g:X --> [-1,1] mapping X into the closed interval".

How does part (a) show this?
(a) tells us that f should be a continuous map from A into the closed interval [-1,1] so that we can extend it to a continuous map g from the entire space X into [-1,1]. It doesn't say anything about A being mapped into open intervals. What's the connection I'm missing?

Thanks!

I don't quote know what book you are using, but here is a way to think about it. It clearly suffices to prove this for mappings $\displaystyle A\to(-1,1)$ since $\displaystyle \mathbb{R}\approx(-1,1)$. So, let $\displaystyle f:A\to (-1,1)$ be continuous, we know that we can extend $\displaystyle f$ to $\displaystyle \widetilde{f}:X\to[-1,1]$. So, let $\displaystyle Y=\widetilde{f}^{-1}(\{1\})\cup\widetilde{f}^{-1}(\{-1\})$. By continuity we know that $\displaystyle Y$ is closed in $\displaystyle X$. That said, since $\displaystyle \widetilde{f}$ is an extension of $\displaystyle f$ and we know $\displaystyle \widetilde{f}(A)=f(A)\subseteq(-1,1)$ and so $\displaystyle A$ is disjoint from $\displaystyle Y$. Now, by Urysohn's lemma there exists some continuous map $\displaystyle h:X\to[0,1]$ with $\displaystyle h(Y)=\{0\}$ and $\displaystyle h(A)=\{1\}$. So, define $\displaystyle k(x)=h(x)\wildetile{f}(x)$. From basic topology we know that $\displaystyle k$ is continuous and we know it's an extension for $\displaystyle f$ since $\displaystyle k(a)=h(a)\widetilde{f}(a)=1\cdot \widetilde{f}(a)=f(a)$ for all $\displaystyle a\in A$. I'm pretty sure then you can checking where elements of $\displaystyle Y$ and $\displaystyle X-Y$ go under $\displaystyle k$ separately that $\displaystyle h(A)\subseteq(-1,1)$. Make sense?
• Sep 12th 2011, 06:20 PM
Bingk
Re: Proof of Tietze Extension Theorem in Munkres
Thanks!

I got the rest of the proof, but it's that particular part that I don't get ... how do we know that we can extend $\displaystyle f$ to $\displaystyle \widetilde{f}:X\to[-1,1]$ so that $\displaystyle \widetilde{f}$ is continuous?

Sorry, it seems like it should be something obvious, but I guess I'm not thinking along the right lines :)

Oh, and your proof is very similar to that of the book, same ideas :)
• Sep 12th 2011, 06:36 PM
Drexel28
Re: Proof of Tietze Extension Theorem in Munkres
Quote:

Originally Posted by Bingk
Thanks!

I got the rest of the proof, but it's that particular part that I don't get ... how do we know that we can extend $\displaystyle f$ to $\displaystyle \widetilde{f}:X\to[-1,1]$ so that $\displaystyle \widetilde{f}$ is continuous?

Sorry, it seems like it should be something obvious, but I guess I'm not thinking along the right lines :)

Oh, and your proof is very similar to that of the book, same ideas :)

Because Tietze's extension theorem, the first part, says that you can extend things into a closed interval to the whole space, no?
• Sep 13th 2011, 06:52 AM
Bingk
Re: Proof of Tietze Extension Theorem in Munkres
I guess ... I thought Tietze's theorem tells us that if the domain is a closed subspace that maps into a closed interval, then we can extend the function to map the entire space into the same closed interval. Wherein was my problem, because the function we are talking about for the second part maps into an open interval, yet we still extended the domain to the entire space mapping into the closed interval. It was the open/closed combination that was bugging me, and I'm assuming that first the range was extended into the closed interval, then we used Tietze to extend the domain. Is that right?

Or is it because in the proof of the first part, where we divided the closed interval [a,b] (actually the interval [-1,1] to make things simpler), we could replace the closed interval with an open interval and the proof would still work?

Thanks!