Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Confusing definition of resolvent set

  1. Aug 7, 2011 #1
    The definition I have found in a couple of places is the following: We have [itex]\lambda \in \rho(T)[/itex] for a bounded linear operator [itex]T[/itex] on a Banach space [itex]X[/itex] iff [itex](T-\lambda)[/itex] is bijective with a bounded inverse. (This seems to be equivalent to just saying that [itex](T-\lambda)[/itex] is both injective and surjective, since this implies [itex](T-\lambda)^{-1}[/itex] is bounded by the inverse mapping theorem.) But in class, my professor said that [itex]\lambda \in \rho(T)[/itex] iff [itex](T-\lambda)^{-1}[/itex] exists and [itex]\mathcal R(T-\lambda) = X[/itex].

    I don't see why my professor's definition doesn't contain superfluous information. Obviously, if [itex]\mathcal R(T-\lambda) = X[/itex], then [itex](T-\lambda)[/itex] is surjective. But doesn't saying "[itex](T-\lambda)^{-1}[/itex] exists" contain the surjectivity statement? I mean, why not just say: "We need (1) [itex](T-\lambda)[/itex] injective and (2) [itex](T-\lambda)[/itex] surjective" and be done with it? It just seems he's said more than he really needs to.

    Of course, if [itex]\mathcal R(T-\lambda) \neq X[/itex], I guess that [itex](T-\lambda)^{-1}[/itex] only makes sense as a map [itex]\mathcal R(T-\lambda) \to X[/itex]...so you can't really just say "[itex]\lambda \in \rho(T)[/itex] iff [itex](T-\lambda)^{-1}[/itex] exists as a bounded operator" without there being some ambiguity...because can't [itex](T-\lambda)^{-1}: \mathcal R(T-\lambda) \to X[/itex] be bounded without having [itex]\mathcal R(T-\lambda) = X[/itex]?
     
  2. jcsd
  3. Aug 7, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You are absolutely correct, when dealing with the classical functional analysis.
    However, your professor most likely likes to work with unbounded operators. With unbounded operators, it's normal to have operators that are only densely defined (that is: only defined on a dense subset). So it's ok if the inverse of an operator is only defined on a dense subset. What your professor asks is that the operator is actually defined on the entire set, and not only on the dense subset.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook