Open mappings

  • Thread starter jgens
  • Start date
  • #1
jgens
Gold Member
1,581
50

Homework Statement



Let [itex](X,||\cdot||)[/itex] be a normed vector space and suppose that [itex]Y[/itex] is a closed vector subspace of [itex]X[/itex]. Show that the map [itex]||x||_1=\inf_{y \in Y}||x-y||[/itex] defines a pseudonorm on [itex]X[/itex]. Let [itex](X/Y,||\cdot||_1)[/itex] denote the normed vector space induced by [itex]||\cdot||_1[/itex] and prove that the canonical projection [itex]\phi:X \rightarrow X/Y[/itex] is an open mapping.

Homework Equations



All vector spaces are over [itex]\mathbb{R}[/itex].

The Attempt at a Solution



So far I have been able to show that [itex]||\cdot||_1[/itex] is a pseudonorm, but I am having difficulty showing the canonical projection is an open mapping. Obviously we need to take [itex]U[/itex] open in [itex]X[/itex] and then take [itex][x] \in \phi(U)[/itex]. From here we need to construct an open neighborhood around [itex][x][/itex] which is contained in [itex]\phi(U)[/itex] but I am having difficulty doing this. Any help?
 

Answers and Replies

  • #2
AKG
Science Advisor
Homework Helper
2,565
4
What does the fact that [itex]x\in U[/itex] with [itex]U[/itex] open tell you? Based on what that gets you, you should be able to think of a candidate for the desired open neighbourhood containing [itex][x][/itex] and contained in [itex]\phi(U)[/itex].
 
  • #3
jgens
Gold Member
1,581
50
Well I know that there exists [itex]0 < \varepsilon[/itex] such that [itex]B(x,\varepsilon) \subseteq U[/itex]. But the problem I then have is that [itex]||\cdot||_1 \leq ||\cdot||[/itex] so I am having trouble finding a criterion with [itex]||x-y||_1 < \delta[/itex] implies [itex]||x-y|| < \varepsilon[/itex].
 
  • #4
22,089
3,286
We wish to prove that [itex]B_1(\varphi(x),\varepsilon)\subseteq \varphi(B(x,\varepsilon))[/itex]. We can take x=0 if we want.

So take [itex]z\in B_1(0,\varepsilon)[/itex], write out what that means.
 

Related Threads on Open mappings

  • Last Post
Replies
2
Views
839
Replies
6
Views
2K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
12
Views
2K
Replies
1
Views
854
Replies
2
Views
775
Replies
1
Views
2K
Replies
8
Views
828
Replies
2
Views
3K
Top