Injectivity of a linear operator

D_Miller
Messages
17
Reaction score
0
Technically this isn't homework, but just something I saw another user state without proof in a very different thread. I believe, however, that it is specific enough to pass as a "homework question" so I thought I'd pretend that it was and post it here, because I'm getting a bit frustrated with it:

Let f be a continuous, complex-valued function on [0, 1] and define a linear operator M_f on L^2[0,1] by (M_f g)(x)=f(x)g(x). Then
(a) M_f is bounded and ||M_f||=||f||_{\infty}.
(b) Suppose that M_f is one-to-one. Then the range of M_f is closed if and only if f(x)=0 for all x∈[0,1]. In that case M_f is one-to-one and
onto, and the inverse map is bounded.

Part (a) is rather trivial, but part (b) bugs me. I have never seen this result before, and I cannot seem to prove it. My original idea was to use the open mapping theorem in relation to the kernel of the operator, but I couldn't make it work. I still think the open mapping theorem or a similar result is the right way forward, but I would very much appreciate it if someone could write out a proof.

Oh, and if it could be of help to anyone, the injectivity of M_f follows when the set of zeroes of f has measure 0.
 
Last edited:
Physics news on Phys.org
I don't understand. If f(x)=0 for all x in [0,1] then M_f=0, so how can it be one-to-one?
 
One quick observation is (that you probably know about) is that if the range is closed then the inverse operator (restricted to the range) is bounded, therefore f must never vanish. Conversely, if f never vanish, then the inverse exist on the whole space, thus, in particular, the range is closed. I hope the above is correct and that you will be able to fill the holes.
 
Last edited:
Hmm, I just accepted this fact in the other thread without thinking about it. But thinking about it, it seems to be less obvious. But what if you take f=1 (the constant 1-function). Then certainly this is one-to-one and has a closed range...
 
So, what's wrong with that?
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top