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

Dual space topology

  1. Oct 7, 2006 #1
    [tex]A \hookrightarrow B[/tex]
    be a continuous inclusion map from A to B.
    A, B are two topological spaces. [tex]A \subset B[/tex]

    what can we say about the induced map between topological dual spaces
    [tex]B^* \hookrightarrow A^* [/tex]?

    is it continuous and injective?
  2. jcsd
  3. Oct 7, 2006 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Look at special cases. If we have an injective map

    [tex]\mathbb{R}^2 \rightarrow \mathbb{R}^3[/tex]

    then when we dualize, what sort of map do we get on the dual spaces:

    [tex]\mathbb{R}^2^* \cong \mathbb{R}^2 \leftarrow \mathbb{R}^3 \cong \mathbb{R}^3^*[/tex]


    Dualities tend to reverse most notions. "monic" and "epic" are dual notions, so when you dualize a monomorphism, it tends to become an epimorphism, and vice versa.

    Of course, it's always a good idea to work out the details for yourself. :smile: It gives you good practice with the notions involved.
  4. Oct 7, 2006 #3
    I know the answer now.
    But it doesn't solve my problem of understanding certain steps in

    "that is one for which the natural inclusion
    [tex]\Phi\subset H[/tex]
    is continuous. It is no loss to assume that [tex]\Phi[/tex] is dense in H for the Hilbert norm. We consider the inclusion of dual spaces [tex]H^*[/tex] in [tex]\Phi^*[/tex]."

    Why [tex]\Phi\subset H \implies H^*\subset\Phi^*[/tex]?
    Could you please take a look?
  5. Oct 8, 2006 #4


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I'm confused. You just said you understand why [itex]A \longmapsto B[/itex] implies [itex]B^* \longmapsto A^*[/itex]. So, I don't see why you don't get [itex]\Phi \longmapsto H[/itex] implies [itex]H^* \longmapsto \Phi^*[/itex].
  6. Oct 8, 2006 #5
    no... in my second post, I used set operation "[tex]\subset[/tex]"
    I understand there is a map from [tex]H^*[/tex] to [/tex]]Phi^*[/tex] which is the induced map. The wiki articles says
    [tex]\Phi\subset H \implies H^*\subset\Phi^*[/tex]

    H* a subset of Phi* ??? in what sense?
    I mean the functions in H* and the functions in Phi* have different domains, how could the two be related?
  7. Oct 8, 2006 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Set inclusion is a function. Duality reverses arrows, and hence inclusions. Also very few topoological spaces have any notion of duality.
  8. Oct 8, 2006 #7


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Ah, so that's what you're worried about.

    Generally, injective maps are what matter, whether or not you have an actual subset is irrelevant. But inclusions are notationally convenient... so sometimes (for convenience) when we have an injective map, we identify the the objects of the domain with their images.

    Basically, because the restriction map [itex]H^* \longmapsto \Phi^*[/itex] is so natural, there isn't really any benefit in making a distinction between an element of [itex]H^*[/itex] and its image.
  9. Oct 8, 2006 #8
    so is it right to say the wiki article is wrong?
    the map from [tex]H^*[/tex] to [tex]\Phi^*[/tex] is onto but not injective.
    So there is no inclusion and [tex]H^*[/tex] is not a subset of [tex]\Phi^*[/tex].
  10. Oct 9, 2006 #9


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Hrm. Now that I think more about it, I think the maps [itex]\Phi \rightarrow H[/itex] and [itex] H^* \rightarrow \Phi^*[/itex] are both monic and epic in the categorical sense. I know that epic doesn't always imply surjective... I don't know if monic implies injective in this category. :frown: (For a simpler example of what I mean, the ring homomorphism [itex]\mathbb{Z} \rightarrow \mathbb{Q}[/itex] is epic... but it's not surjective)

    Oh well; if we want to prove injectivity, that just means we'll have to resort to a dirtier method. I think it's not too difficult to prove that the kernel of the map [itex] H^* \rightarrow \Phi^*[/itex] is zero.
  11. Oct 9, 2006 #10
    hi, thanks for your reply... I think I got the answer
    the map [tex]H^* \longmapsto \Phi^*[/tex] is injective and not surjective.
    it's (in general) not surjective because H is infinite dimensional (in physics)
    it's injective because [tex]\Phi[/tex] is dense in H, you can prove injectivity in a few steps.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook