Take the 2-minute tour ×
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.

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|improve this question
add comment

2 Answers

$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|improve this answer
add comment

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|improve this answer
    
Rewind the definition of the maps: what does all these $f+M$ restrict to? –  Soarer Feb 8 '11 at 1:52
add comment

Your Answer

 
discard

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.