Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose X' and Y are Banach spaces and X is a linear subspace dense in X'. Let T be a continuous map of X to Y satisfying:

(1) ||T(x+y)|| is less than or equal to ||T(x)||+||T(y)||.

Please prove whether or not in general it is true that T has a continuous extension to X'.

Please also answer the same question for the case where we assume in addition that

(2) ||T(cx)||=|c|*||T(x)|| for all c real.

If so far, the answer has been "no," then assume that Y is an L^p space on some sigma finite measure space, with p>1. (Let me know if it's true for p=1 too.) If instead of using the p norm in the definitions (1) of subadditivity or (1) and (2) of sublinearity, we have pointwise almost everywhere inequalities of absolute values, then can T be extended?

To be completely explicit, in this case we would have

|T(x+y)| is less than or equal to |T(x)|+|T(y)| and |T(cx)|=|c|*|T(x)| for all c real pointwise almost everywhere on the measure space.

share|improve this question
Do you really want assume continuity of $T$ in your second sentence? –  Yemon Choi Apr 18 '11 at 23:52
As stated, there are trivial counterexamples even when both spaces are the real line: Take $X$ to be a dense subset such that $x+y$ is not in $X$ for all $x$, $y$ in $X4 to make (1) irrelevant. –  Bill Johnson Apr 19 '11 at 1:03
Yes. The purpose of proving the theorem above is to be able to use the Marcinkiewicz Interpolation theorem. The interpolation theorem states that if T is subadditive, and operates on functions with support of finite measure, then inequalities concerning infinity norms and weak L1 norms imply inequalities concerning p norms for 1<p<infinity. The problem is getting something useful out of this theorem for functions that are not bounded, supported on sets of finite measure. To still have the bounds would be nice, since it would imply a maximal inequality for the Hardy Littlewood function. –  Jeffrey Apr 19 '11 at 1:20
My last comment was a response to Yemon, but this one is a response to Bill: X is a subspace. That is, it is a normed linear space. Hence, it is closed under addition. Sorry if I was not clear and you thought I meant topological space. –  Jeffrey Apr 19 '11 at 1:22
edited to show this –  Gerald Edgar Apr 19 '11 at 4:08

1 Answer 1

To 1) and 2). Let $X^{'}=Y=c_{0}$ , and let $X=c_{00}$. Take some $p\in X^{'}\smallsetminus X$, and define $T:X\rightarrow Y$ by $Tx:=\left\Vert x\right\Vert \cdot\left(\sin\left(\left\Vert x-p\right\Vert ^{-1}\right),1,0,0,0,...\right)$.

Then $T$ satisfies your conditions, yet it is not continuously extendable.

share|improve this answer

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.