Injectivity of a linear operator

Click For Summary

Homework Help Overview

The discussion revolves around the injectivity of a linear operator defined by a continuous, complex-valued function on the interval [0, 1]. The operator, denoted as M_f, acts on functions in L^2[0,1] and raises questions about its boundedness and the conditions under which it is one-to-one and onto.

Discussion Character

  • Conceptual clarification, Assumption checking, Mixed

Approaches and Questions Raised

  • Participants explore the implications of the operator being one-to-one and the conditions under which the range is closed. There are attempts to connect the properties of the operator to the open mapping theorem and discussions about the implications of the function f being zero on the interval.

Discussion Status

The discussion is ongoing, with participants questioning the validity of certain assumptions and exploring different interpretations of the conditions for injectivity and the closed range of the operator. Some participants have offered observations that may guide further exploration, but there is no explicit consensus on the proof or resolution of the problem.

Contextual Notes

There is a mention of the injectivity of M_f being related to the measure of the set of zeroes of f, and some participants express confusion regarding the implications of f being zero across the entire interval. The original poster indicates frustration with proving part (b) of the problem, suggesting a lack of clarity in the existing arguments.

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?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K