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.

I got this problem in my homework. Let $X$ be a normed space, and let $X_0\subset X$ be a subspace.

Let $T$ be a continuous linear function from $X_0$ to $Y$, where $Y$ is an $n$-dimensional normed space.

Prove that $T$ can be extended to a continuous linear function $T'$ on $X$ s.t. $\|T'\|\le n\|T\|$

In my attempt to solve this problem, I took an Auberbach basis $\{e_i\},\{e^i\}$ of $Y$. I assumed WLoG that $T$ is onto $Y$ and for each $e_i$ chose an $x_i\in X_0$ s.t. $Tx_i=e_i$.

I then examined $\operatorname{Span}\{x_i\}$, this is an $n$-dimensional subspace of $X$, and I can thus define a projection $P$ from $X$ to $\operatorname{Span}\{x_i\}$ such that $\|P\|\le n$. I get that the composition $T\circ P$ is bound as needed, satisfies all the conditions and identifies with $T$ on $\operatorname{Span}\{x_i\}$. However, I wasn't able to prove that implies that it identifies with $T$ on the entire $X_0$. Furthermore, I wasn't even able to convince myself that it's true.

Any suggestions?
Thanks in advance

share|improve this question
    
Do you mean, $ T:X_0 \to Y$ instead of $ T:X \to Y$? –  math Jan 7 '12 at 9:35
    
affirmative.... –  Shai Deshe Jan 7 '12 at 9:37
1  
Hint: Reduce to the case $Y = \mathbb{R}^n$ with the $\|\cdot\|_\infty$-norm for which Hahn-Banach allows you to extend norm-preservingly. –  t.b. Jan 7 '12 at 9:45
    
But... Hahn-Banach only works for functionals (I know I accidentally wrote that T is a functional but it clearly isn't). –  Shai Deshe Jan 7 '12 at 9:47
1  
Choose a basis $e_1,\ldots,e_n$ for $\mathbb{R}^n$ and observe that $T = \sum T_k e_k$ for some linear functionals $T_k:X_0 \to \mathbb{R}$. Extend those... –  t.b. Jan 7 '12 at 9:48
show 2 more comments

1 Answer

up vote 4 down vote accepted

For the sake of having an answer:

Choose a basis $e_1,\ldots,e_n$ of unit vectors of $Y$ with dual basis $e^1,\ldots,e^n$. Put $T_k = e^k \circ T: X_0 \to \mathbb{R}$. Observe that $\|T_k\| \leq \|T\|$. We can extend $T_k$ to a functional $S_k: X \to \mathbb{R}$ with $\|S_k\| = \|T_k\|$ by Hahn-Banach. Now put $S = \sum_{k=1}^n S_{k} \cdot e_k : X \to Y$. To see that $S$ extends $T$ just note that for $y \in Y$ we have $y = \sum e^k(y) \cdot e_k$ so that $Tx_0 = \sum e^k(Tx_0) \cdot e_k = \sum S_k(x_0)\cdot e_k$ for all $x_0 \in X_0$.

Finally, $\|S\| \leq \sum \|S_k\| \leq n \|T\|$.

share|improve this answer
    
Thanks for your help. If you won't mind taking a look at the other question I've posted today, I think you'll find it more challenging :) –  Shai Deshe Jan 7 '12 at 11:27
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.