Dual space topology

  • Thread starter kakarukeys
  • Start date
190
0
let
[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?
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
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.
 
190
0
thanks...
I know the answer now.
But it doesn't solve my problem of understanding certain steps in
http://en.wikipedia.org/wiki/Rigged_hilbert_space

"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?
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
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].
 
190
0
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?
 

matt grime

Science Advisor
Homework Helper
9,394
3
Set inclusion is a function. Duality reverses arrows, and hence inclusions. Also very few topoological spaces have any notion of duality.
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
kakarukeys said:
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?
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.
 
190
0
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].
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
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.
 
190
0
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.
 

Related Threads for: Dual space topology

  • Posted
Replies
2
Views
2K
  • Posted
Replies
8
Views
3K
  • Posted
Replies
6
Views
2K
  • Posted
Replies
9
Views
4K
  • Posted
Replies
4
Views
3K
  • Posted
Replies
8
Views
4K
  • Posted
Replies
2
Views
6K
Replies
7
Views
943

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top