Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X=C(S)$ where $S$ is compact. Suppose $T\subset S$ is a closed subset such that for every $g\in C(T),$ there is an $f\in C(S)$ such that: $f\mid_{T}=g$. Show that there exists a constant $C>0$ such that every $g\in C(T)$ can be continuously extended to $f\in C(S)$ such that: $\sup_{x\in S}\left|f(x)\right|\leq C\sup_{y\in T}\left|g(y)\right|$

share|cite|improve this question

$C(S) \to C(T)$ is a surjective bounded linear map of Banach spaces (with sup norms), so there is a closed linear subspace $M \subset C(S)$ such that $C(S)/M \to T$ is bijective and bounded with the quotient norm. Inverse mapping theorem says that the inverse is a bounded linear map. The statement then follows.

By the way, how is this related to Banach-Steinhaus/Hahn-Banach?

share|cite|improve this answer

So $A:C(S)/M \rightarrow C(T)$, then $A^{-1}:C(T)\rightarrow C(S)/M$, apply the inverse mapping theorem, we obtain $\left\Vert A^{-1}g\right\Vert \leq\left\Vert A^{-1}\right\Vert \left\Vert g\right\Vert $, then $\inf_{f'\in M}\left\Vert f+f^{'}\right\Vert \leq C\left\Vert g\right\Vert $. We must show that there exists a function in $f+M$ whose restriction is $g$ and it's norm is less than C$\left\Vert g\right\Vert $

But How to show the existence of such function?

share|cite|improve this answer
Rewind the definition of the maps: what does all these $f+M$ restrict to? – Soarer Feb 8 '11 at 1:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.