0
$\begingroup$

I would like to see one or preferrably two isometries on $L^2(\mathbb{R})$ which are non surjective (equivalently non unitaries)?

Thanks in advance.

Math.

$\endgroup$
2
  • $\begingroup$ Transfer the unilateral (right) shift on $\ell^2$ to $L^2(\mathbb{R})$, for example. $\endgroup$ Jun 6 '19 at 14:29
  • $\begingroup$ some more details are welcome. Thanks $\endgroup$
    – Math
    Jun 6 '19 at 14:32
5
$\begingroup$

I'll give you uncountably many non-unitary isometries. For $T>0$, define $U_T:L^2(\mathbb R)\to L^2(\mathbb R)$ by \begin{align*} (U_Tf)(t)=\left\{\begin{array}{lcl} f(t-T) &:& t\in[T,\infty),\\ 0 &:& t\in[0,T),\\ f(t)&:&t\in(-\infty,0). \end{array}\right. \end{align*}

That is $$U_Tf (x) = \mathbb{1}_{(-\infty,0)}(x)f(x) + f(x-T)\mathbb{1}_{[T,\infty)}(x)$$

$\endgroup$
5
  • $\begingroup$ Thanks a lot Aweygan. But I would like one "in one piece" if this is possible. $\endgroup$
    – Math
    Jun 6 '19 at 14:45
  • $\begingroup$ Please define what you mean. $\endgroup$
    – Aweygan
    Jun 6 '19 at 14:46
  • $\begingroup$ I mean just one expression for $t$ fully in $\mathbb{R}$ not in three parts as is your interesting example. $\endgroup$
    – Math
    Jun 6 '19 at 14:48
  • 1
    $\begingroup$ @Math: It is not difficult to put things in one line. Try to do it yourself. The pint being is that the operator $U_T$ is the summer of two operators: the first $S$ is multiplication by $\mathbb{1}_{(-\infty,0)}$ as in $Sf=\mathbb{1}_{(-\infty,0)}f$, and the second $W$ is the composition of multiplication by $\mathbb{1}_{[0,\infty)}$ with the translation (by T units) to the right as in $Wf =\tau_T(\mathbb{1}_{([0,\infty)}f)$, where $\tau_Tg=g(\cdot-T)$. $\endgroup$ Jun 6 '19 at 20:02
  • $\begingroup$ Thanks a lot Oliver Diaz. $\endgroup$
    – Math
    Jun 6 '19 at 20:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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